Stats for satsolver: George Okeowo

How to interpret the values

Each satsolver was run against each test case. Two cnf formulas were generated from each submitted generator to form the set of generators. For each run, a number of seconds were charged to the program based on the criteria described on the assignments webpage; this was the score for that run. If the program crashed or went into a loop, 150 seconds were charged. The two cnf formulas generated by a generator is denoted by generator_name:i where i is 0 for the first cnf and 1 for the second. The table below shows the time satsolver George Okeowo took for each formula and how many clauses it left unsatisfied; the formulas are sorted by the satsolver's score on it (which is different from its runtime). For each formula , we also list the name of the best solver, the time taken by the best solver (Best time) and the number of clauses left unsatisfied by him/her (Best unsat). A blank symbol denotes that George Okeowo took more than 150 seconds for that formula or terminated with an exception. Some important stats are summarized at the start. Click on the name of a formula to view details.

Summary

Satsolver:	George Okeowo
Rank:	80 / 118
Average Score:	12.57
Median Score:	15.00
Description:	This sat-solver uses a simplified blend of DPLL and randomization, returning the best found thus far when time runs out.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:0	Andrew Werner	0.01	0.00	0	0
2	bigwig:1	KingBach	0.01	0.00	0	0
3	R. A. B.:1	cat	0.01	0.00	0	0
4	K.L.:1	KingBach	0.01	0.00	0	0
5	Happy:1	KingBach	0.01	0.00	0	0
6	Bebe Shi:1	KingBach	0.01	0.00	0	0
7	T. Capote:0	haoyu	0.01	0.00	2	2
8	Miranda:1	cat	0.01	0.00	0	0
9	Bebe Shi:0	KingBach	0.01	0.00	0	0
10	R. A. B.:0	Nihar the Great	0.01	0.00	0	0
11	David Paulk:1	Bar Shabtai	0.01	0.00	0	0
12	Miranda:0	cat	0.02	0.00	0	0
13	Blam:0	Elphaba	0.02	0.00	0	0
14	David Paulk:0	cat	0.02	0.00	0	0
15	Blam:1	Elphaba	0.03	0.00	0	0
16	Solving For Clauses:0	Glenn Fisher	0.03	0.00	0	0
17	Gewang:1	Jonathan Kwok	0.06	0.00	0	0
18	weezy:0	Bar Shabtai	0.12	0.01	0	0
19	weezy:1	Bar Shabtai	0.14	0.01	0	0
20	Ytterbium:0	Andrew Grasso	0.16	0.02	0	0
21	cmF5a3ly:0	Nihar the Great	0.16	0.00	0	0
22	vluu:1	Nihar the Great	0.16	0.02	0	0
23	cmF5a3ly:1	Nihar the Great	0.18	0.00	0	0
24	Scheduling Generator 203:1	Jameh	0.18	0.02	0	0
25	vluu:0	Nihar the Great	0.18	0.01	0	0
26	Ytterbium:1	Nihar the Great	0.25	0.02	0	0
27	George Okeowo:1	Andrew Grasso	0.46	0.01	0	0
28	George Okeowo:0	Andrew Grasso	0.47	0.01	0	0
29	Linda:0	Andrew Grasso	0.52	0.01	0	0
30	Dr Roberto:0	Andrew Grasso	0.67	0.03	0	0
31	Bob Dondero:0	Andrew Grasso	0.94	0.02	0	0
32	Bob Dondero:1	Mickey Mouse	0.95	0.03	0	0
33	Linda:1	Andrew Grasso	1.55	0.02	0	0
34	Mike Honcho:0	Miranda	2.43	0.01	0	0
35	Mike Honcho:1	Jessie Chen	2.59	0.01	0	0
36	Matt Goldsmith:0	Nihar the Great	2.97	0.03	0	0
37	Matt Goldsmith:1	Happy	3.73	0.03	0	0
38	Lil Thug:0	Andrew Grasso	4.89	0.03	0	0
39	Lil Thug:1	Andrew Grasso	6.20	0.03	0	0
40	Dr Roberto:1	Andrew Grasso	1.35	0.02	1	0
41	Gewang:0	Jonathan Kwok	0.06	0.00	1	0
42	Ravi Tandon:0	KingBach	0.01	0.00	2	0
43	Scheduling Generator 203:0	jgs	0.21	0.01	2	0
44	Ravi Tandon:1	KingBach	0.01	0.00	2	0
45	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.93	0.01	2	0
46	Solving For Clauses:1	haoyu	0.04	0.00	3	0
47	BMJ:1	burrito	0.01	0.00	3	0
48	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.88	0.01	3	0
49	CookieMonster:0	CookieMonster	0.33	0.82	3	0
50	T. Capote:1	haoyu	0.01	0.00	3	2
51	Daffy Duck:0	Andrew Werner	0.02	0.00	5	0
52	BMJ:0	Elphaba	0.01	0.00	5	0
53	haoyu:1	Anon5	0.03	0.01	5	0
54	bchouGenerator:0	haoyu	0.04	0.00	5	0
55	Jessie Chen:1	Joel Faron	0.03	0.12	6	1
56	Daffy Duck:1	haoyu	0.02	0.00	6	0
57	CookieMonster:1	CookieMonster	0.36	1.10	6	0
58	bchouGenerator:1	Jonathan Kwok	0.04	0.01	8	0
59	Jonathan Kwok:0	Elphaba	0.01	0.00	9	0
60	Qinlan Shen:1	R. A. B.	0.07	9.00	10	1
61	Jonathan Kwok:1	KingBach	0.01	0.00	10	0
62	haoyu:0	KingBach	0.03	0.01	10	0
63	Qinlan Shen:0	Bar Shabtai	0.06	0.01	10	0
64	Tom T:0	EC	0.39	0.02	11	0
65	Quite Satisfied:0	haoyu	0.05	0.00	11	0
66	The Kraken:0	haoyu	0.06	0.00	11	0
67	The Kraken:1	haoyu	0.06	0.00	12	0
68	Quite Satisfied:1	Joel Faron	0.05	2.11	12	1
69	Happy:0	haoyu	0.03	0.00	13	0
70	Tom T:1	Andrew Werner	0.40	0.02	14	0
71	Tree Prophet:0	haoyu	0.04	0.00	15	0
72	Alex Fish:0	haoyu	0.15	0.01	15	0
73	Alex Fish:1	haoyu	0.22	0.02	15	0
74	Mickey Mouse:1	haoyu	0.11	0.01	16	0
75	Tiny Wings:1	haoyu	0.14	0.01	16	0
76	Boomshanka:0	haoyu	0.16	0.01	16	0
77	Tiny Wings:0	haoyu	0.15	0.02	16	0
78	Joshua Zimmer:1	haoyu	0.03	0.00	16	0
79	K.L.:0	haoyu	0.02	0.00	16	0
80	Mickey Mouse:0	Bar Shabtai	0.11	0.01	16	0
81	Jessie Chen:0	Joel Faron	0.02	0.13	18	1
82	Joshua Zimmer:0	haoyu	0.03	0.00	18	0
83	Tao:1	Aristotle	0.19	0.07	20	0
84	EC:1	haoyu	0.27	0.03	20	0
85	DeeEmEm:1	haoyu	0.07	0.02	20	0
86	DeeEmEm:0	CAPS LOCK	0.07	13.00	20	1
87	EC:0	haoyu	0.29	0.03	20	0
88	Tao:0	Bar Shabtai	0.20	0.02	20	0
89	Valya Barboy:1	Shaheed Chagani	0.12	0.18	22	0
90	cat:1	haoyu	0.27	0.03	22	0
91	Brendan Wright:0	haoyu	7.29	0.10	22	0
92	Jordan Ash:1	Bar Shabtai	0.07	0.01	22	0
93	cat:0	haoyu	0.26	0.03	22	0
94	Valya Barboy:0	Aristotle	0.13	0.06	22	0
95	0108:1	haoyu	0.08	0.01	24	0
96	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.06	0.00	25	0
97	Batman:1	haoyu	1.13	0.04	25	0
98	Batman:0	haoyu	1.11	0.04	25	0
99	Anon5:1	Green "The Bean" Choi	0.15	0.07	26	0
100	David H.:1	DeeEmEm	0.15	0.33	28	0
101	David H.:0	AFC	0.14	0.28	28	0
102	Jordan Ash:0	EC	0.11	0.03	28	0
103	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.06	0.01	29	0
104	Brendan Wright:1	Deric Cheng	2.87	0.10	29	0
105	0108:0	jgs	0.13	14.98	29	1
106	Charliezsc:0	jgs	1.42	14.98	30	1
107	Tree Prophet:1	haoyu	0.04	0.00	30	0
108	Boomshanka:1	Bar Shabtai	0.19	0.01	31	0
109	Charliezsc:1	haoyu	1.71	0.07	32	0
110	soccer:1	haoyu	0.97	0.04	32	0
111	Anon5:0	haoyu	0.23	0.05	32	0
112	soccer:0	haoyu	0.91	0.04	32	0
113	Anon_K_P:1	Aristotle	0.15	0.03	32	0
114	KingBach:1	haoyu	1.50	0.04	34	0
115	Andys:0	Aristotle	7.84	0.12	35	0
116	Andys:1	Aristotle	8.56	0.13	35	0
117	Anon_K_P:0	haoyu	0.20	0.02	36	0
118	KingBach:0	haoyu	1.51	0.06	40	0
119	Samuel Jerome:1	haoyu	0.32	0.03	40	0
120	Sabar Dasgupta:0	spl	1.48	0.23	40	0
121	The Whitman Whale:0	bigwig	0.17	0.04	40	0
122	John Whelchel:1	haoyu	10.74	0.11	40	0
123	John Whelchel:0	haoyu	7.75	0.06	40	0
124	Nikhilesh Sigatapu:1	haoyu	0.27	0.04	40	0
125	The Whitman Whale:1	Andrew Grasso	0.17	0.03	40	0
126	Nikhilesh Sigatapu:0	haoyu	0.23	0.03	40	0
127	Samuel Jerome:0	haoyu	0.30	0.03	40	0
128	Sabar Dasgupta:1	Aaron Doll	1.51	0.17	40	0
129	Keji Xu:1	Nihar the Great	0.18	0.04	41	0
130	Keji Xu:0	Nihar the Great	0.17	0.03	41	0
131	Fanny:0	Aristotle	0.73	0.10	42	0
132	Sally Smith:0	haoyu	0.66	0.04	42	0
133	Fanny:1	Aristotle	1.44	0.12	42	0
134	Sunny:0	Green "The Bean" Choi	0.04	0.02	44	0
135	AFC:1	Aristotle	0.40	0.16	44	0
136	Janie Gu:0	Glenn Fisher	0.28	0.07	44	0
137	Sally Smith:1	haoyu	1.65	0.04	44	0
138	AFC:0	CookieMonster	0.33	0.34	44	0
139	DinnerPartyPlannerBM:1	Nihar the Great	4.82	0.06	46	0
140	Sunny:1	jabreezy	0.05	0.01	46	0
141	Lisa Kim:1	Bar Shabtai	0.32	0.06	48	0
142	Mercury:0	haoyu	1.17	0.05	48	0
143	ebp:0	haoyu	1.44	0.04	48	0
144	Mercury:1	haoyu	0.80	0.05	48	0
145	ebp:1	haoyu	0.79	0.04	48	0
146	spl:1	haoyu	0.62	0.06	48	0
147	Lisa Kim:0	Aristotle	0.33	0.07	49	0
148	Andrew Werner:0	Aaron Doll	12.39	0.33	50	0
149	Andrew Werner:1	haoyu	11.02	0.11	50	0
150	David Lackey:0	Anon5	0.46	0.03	51	0
151	Jameh:0	haoyu	0.10	0.01	51	0
152	spl:0	Elphaba	0.72	0.09	51	0
153	Janie Gu:1	Jonathan Kwok	0.10	0.07	56	0
154	DinnerPartyPlannerBM:0	Aristotle	13.92	0.11	57	0
155	Yacob Y.:0	haoyu	1.21	0.06	60	0
156	bfang:1	haoyu	0.88	0.04	60	0
157	Yacob Y.:1	Aristotle	1.44	15.00	60	1
158	bfang:0	haoyu	0.85	0.04	60	0
159	Sprt:1	haoyu	1.23	0.05	62	0
160	Yan Wu:0	haoyu	0.96	0.05	65	0
161	Yan Wu:1	haoyu	0.88	0.04	65	0
162	David Lackey:1	Bar Shabtai	0.44	0.03	67	0
163	Absurdity:1	Aristotle	1.10	0.18	71	0
164	Absurdity:0	Aristotle	1.10	0.23	71	0
165	SuperFan:0	jgs	0.06	14.98	75	4
166	SuperFan:1	jgs	0.05	14.98	75	4
167	dfshasdsf12:0	haoyu	4.38	0.09	77	0
168	jabreezy:1	Mercury	0.35	0.10	80	0
169	jabreezy:0	Mercury	0.68	0.09	80	0
170	Aaron H:0	Aristotle	6.79	0.11	90	0
171	Aaron H:1	Aristotle	6.68	0.11	90	0
172	Ben Chen:0	Elphaba	0.52	0.07	90	0
173	Ben Chen:1	spl	0.53	0.20	90	0
174	Sprt:0	Aristotle	5.57	0.11	90	0
175	Mr. Blobby:0	Green "The Bean" Choi	0.19	0.14	91	0
176	Mr. Blobby:1	dusty	0.18	0.12	91	0
177	Mike Hunt:0	Aristotle	2.66	0.27	92	0
178	Mike Hunt:1	Aristotle	2.72	0.29	92	0
179	dfshasdsf12:1	Nihar the Great	10.57	0.11	93	0
180	Walter Little:0	haoyu	0.47	0.04	101	0
181	Walter Little:1	haoyu	0.43	0.03	101	0
182	Glenn Fisher:1	jabreezy	0.18	0.09	113	0
183	Mark S. Fillmore:1	Supahaka	0.19	0.04	114	79
184	Khoa:0	haoyu	1.04	0.09	150	0
185	Khoa:1	Aristotle	0.98	0.09	150	0
186	Glenn Fisher:0	Elphaba	0.20	0.02	153	0
187	Mark S. Fillmore:0	Supahaka	0.11	0.01	161	116
188	Supahaka:1	Joel Faron	0.08	15.00	189	35
189	Jameh:1	haoyu	0.17	0.01	193	0
190	Supahaka:0	Andrew Werner	0.07	15.00	195	35
191	BH:0	haoyu	3.89	0.07	200	0
192	BH:1	haoyu	0.86	0.05	200	0
193	kt4124:1	haoyu	0.33	0.04	242	0
194	kt4124:0	haoyu	0.31	0.03	242	0
195	Andrew Grasso:1	Shaheed Chagani	0.22	0.15	244	0
196	Andrew Grasso:0	Aaron Doll	0.16	0.18	244	0
197	Dusty:1	Shaheed Chagani	0.13	0.22	259	0
198	Dusty:0	CookieMonster	0.12	1.39	259	0
199	Matt Haake:1	haoyu	0.12	0.05	304	0
200	Matt Haake:0	haoyu	0.13	0.05	304	0
201	snowflakes:0	haoyu	0.32	0.03	350	0
202	snowflakes:1	haoyu	0.34	0.03	351	0
203	NA:0	haoyu	0.22	0.03	352	0
204	NA:1	Elphaba	0.26	0.04	354	0
205	Shaheed Chagani:0	Aristotle	12.72	0.17	500	0
206	Shaheed Chagani:1	Aristotle	14.71	0.11	500	0
207	burrito:0	haoyu	7.71	0.09	1260	0
208	nupog:0	Aristotle	10.50	0.13	4556	0
209	Bar Shabtai:1	haoyu	15.00	0.12	35	0
210	Bar Shabtai:0	Aaron Doll	15.00	15.01	87	1
211	nupog:1	Aristotle	15.00	0.12	3810	0
212	Elphaba:1	Aristotle	15.00	0.22	56	0
213	13a:0	Aaron Doll	15.00	15.00	150	21
214	burrito:1	haoyu	15.00	0.10	1892	0
215	Elphaba:0	Aristotle	15.00	0.24	56	0
216	jgs:0	Aristotle	15.00	0.12	110	0
217	Deric Cheng:1	jgs	15.01	14.98	45	1
218	CAPS LOCK:1	Aristotle	15.01	0.25	2406	0
219	Aaron Doll:0	Aristotle	15.01	0.56	160	0
220	jgs:1	haoyu	15.01	0.18	110	0
221	13a:1	Aaron Doll	15.01	15.00	150	29
222	Deric Cheng:0	jgs	15.02	14.99	45	1
223	Nihar the Great:1	Aristotle	15.02	0.25	1000	0
224	CAPS LOCK:0	Aristotle	15.03	0.20	1984	0
225	Aristotle:1	Aristotle	15.04	9.69	120	0
226	Aaron Doll:1	Aristotle	15.04	1.27	160	0
227	Aristotle:0	Aristotle	15.08	15.00	120	1
228	Nihar the Great:0	Aristotle	15.44	0.23	1000	0

SatSolvers Ranklist

Generators Ranklist