Stats for satsolver: Bob Dondero

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 Bob Dondero 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 Bob Dondero 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:	Bob Dondero
Rank:	99 / 118
Average Score:	18.35
Median Score:	15.02
Description:	This sat-solver starts with the pure symbol and unit clause heuristics; flips the symbol that will minimize the number of unsatisfied clauses; applies random restarts with some probability p, or with certainty if the min flip symbol is unhelpful; and consistently checks if the model has been improved.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:0	Andrew Werner	0.01	0.00	0	0
2	K.L.:1	KingBach	0.01	0.00	0	0
3	bigwig:1	KingBach	0.01	0.00	0	0
4	Ravi Tandon:1	KingBach	0.01	0.00	0	0
5	Bebe Shi:1	KingBach	0.01	0.00	0	0
6	Happy:1	KingBach	0.01	0.00	0	0
7	Bebe Shi:0	KingBach	0.01	0.00	0	0
8	Ravi Tandon:0	KingBach	0.01	0.00	0	0
9	BMJ:1	burrito	0.02	0.00	0	0
10	bchouGenerator:0	haoyu	0.02	0.00	0	0
11	Jonathan Kwok:0	Elphaba	0.03	0.00	0	0
12	Daffy Duck:1	haoyu	0.03	0.00	0	0
13	Mike Honcho:1	Jessie Chen	0.03	0.01	0	0
14	Jonathan Kwok:1	KingBach	0.03	0.00	0	0
15	BMJ:0	Elphaba	0.03	0.00	0	0
16	Miranda:0	cat	0.04	0.00	0	0
17	Miranda:1	cat	0.04	0.00	0	0
18	Daffy Duck:0	Andrew Werner	0.05	0.00	0	0
19	K.L.:0	haoyu	0.06	0.00	0	0
20	Solving For Clauses:1	haoyu	0.08	0.00	0	0
21	Solving For Clauses:0	Glenn Fisher	0.15	0.00	0	0
22	Happy:0	haoyu	0.23	0.00	0	0
23	bchouGenerator:1	Jonathan Kwok	0.24	0.01	0	0
24	Scheduling Generator 203:1	Jameh	0.37	0.02	0	0
25	Tom T:1	Andrew Werner	0.38	0.02	0	0
26	Joshua Zimmer:0	haoyu	0.57	0.00	0	0
27	Scheduling Generator 203:0	jgs	0.72	0.01	0	0
28	Mike Honcho:0	Miranda	0.95	0.01	0	0
29	Gewang:0	Jonathan Kwok	1.05	0.00	0	0
30	Bob Dondero:0	Andrew Grasso	1.12	0.02	0	0
31	haoyu:1	Anon5	2.10	0.01	0	0
32	Quite Satisfied:0	haoyu	2.21	0.00	0	0
33	Dr Roberto:0	Andrew Grasso	2.42	0.03	0	0
34	Tom T:0	EC	2.45	0.02	0	0
35	R. A. B.:1	cat	2.46	0.00	0	0
36	Blam:1	Elphaba	2.51	0.00	0	0
37	Bob Dondero:1	Mickey Mouse	4.00	0.03	0	0
38	Dr Roberto:1	Andrew Grasso	5.36	0.02	0	0
39	Joshua Zimmer:1	haoyu	6.87	0.00	0	0
40	Gewang:1	Jonathan Kwok	13.60	0.00	0	0
41	Jessie Chen:0	Joel Faron	15.00	0.13	1	1
42	haoyu:0	KingBach	15.00	0.01	1	0
43	Quite Satisfied:1	Joel Faron	15.00	2.11	1	1
44	Jessie Chen:1	Joel Faron	15.00	0.12	1	1
45	Blam:0	Elphaba	15.00	0.00	1	0
46	T. Capote:0	haoyu	15.00	0.00	2	2
47	T. Capote:1	haoyu	15.00	0.00	2	2
48	Sunny:0	Green "The Bean" Choi	15.00	0.02	6	0
49	Sunny:1	jabreezy	15.00	0.01	6	0
50	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	15.00	0.00	7	0
51	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	15.00	0.01	8	0
52	Jordan Ash:1	Bar Shabtai	15.00	0.01	11	0
53	Tree Prophet:0	haoyu	15.00	0.00	19	0
54	Tree Prophet:1	haoyu	15.00	0.00	28	0
55	The Kraken:0	haoyu	15.00	0.00	34	0
56	SuperFan:1	jgs	15.00	14.98	36	4
57	SuperFan:0	jgs	15.00	14.98	47	4
58	The Kraken:1	haoyu	15.00	0.00	54	0
59	R. A. B.:0	Nihar the Great	15.00	0.00	62	0
60	Qinlan Shen:1	R. A. B.	15.00	9.00	66	1
61	DeeEmEm:1	haoyu	15.00	0.02	110	0
62	DeeEmEm:0	CAPS LOCK	15.00	13.00	114	1
63	Tao:1	Aristotle	15.00	0.07	1512	0
64	0108:1	haoyu	15.00	0.01	77	0
65	Jameh:0	haoyu	15.00	0.01	123	0
66	Dusty:1	Shaheed Chagani	15.00	0.22	537	0
67	David Paulk:0	cat	15.00	0.00	89	0
68	Qinlan Shen:0	Bar Shabtai	15.00	0.01	104	0
69	David Paulk:1	Bar Shabtai	15.00	0.00	106	0
70	Supahaka:0	Andrew Werner	15.00	15.00	153	35
71	0108:0	jgs	15.00	14.98	216	1
72	Alex Fish:0	haoyu	15.00	0.01	680	0
73	David H.:0	AFC	15.00	0.28	801	0
74	Alex Fish:1	haoyu	15.00	0.02	828	0
75	Ben Chen:0	Elphaba	15.00	0.07	4732	0
76	Glenn Fisher:0	Elphaba	15.00	0.02	2629	0
77	Jordan Ash:0	EC	15.01	0.03	324	0
78	Mickey Mouse:1	haoyu	15.01	0.01	470	0
79	Andrew Grasso:1	Shaheed Chagani	15.01	0.15	550	0
80	weezy:0	Bar Shabtai	15.01	0.01	636	0
81	David Lackey:1	Bar Shabtai	15.01	0.03	12	0
82	Brendan Wright:1	Deric Cheng	15.01	0.10	12	0
83	Nikhilesh Sigatapu:1	haoyu	15.01	0.04	1970	0
84	Walter Little:0	haoyu	15.01	0.04	5123	0
85	David Lackey:0	Anon5	15.01	0.03	7	0
86	cmF5a3ly:0	Nihar the Great	15.01	0.00	97	0
87	Mickey Mouse:0	Bar Shabtai	15.01	0.01	510	0
88	Mr. Blobby:1	dusty	15.01	0.12	2559	0
89	AFC:1	Aristotle	15.01	0.16	3200	0
90	David H.:1	DeeEmEm	15.01	0.33	810	0
91	cat:1	haoyu	15.01	0.03	2019	0
92	Samuel Jerome:0	haoyu	15.01	0.03	2240	0
93	Batman:1	haoyu	15.01	0.04	8501	0
94	Supahaka:1	Joel Faron	15.01	15.00	130	35
95	Matt Haake:1	haoyu	15.01	0.05	1007	0
96	Boomshanka:0	haoyu	15.01	0.01	5	0
97	cmF5a3ly:1	Nihar the Great	15.01	0.00	92	0
98	Tao:0	Bar Shabtai	15.01	0.02	1310	0
99	Mercury:1	haoyu	15.01	0.05	6319	0
100	Mark S. Fillmore:1	Supahaka	15.01	0.04	79	79
101	weezy:1	Bar Shabtai	15.01	0.01	587	0
102	Anon5:1	Green "The Bean" Choi	15.01	0.07	642	0
103	Tiny Wings:0	haoyu	15.01	0.02	791	0
104	Tiny Wings:1	haoyu	15.01	0.01	833	0
105	Keji Xu:0	Nihar the Great	15.01	0.03	960	0
106	EC:0	haoyu	15.01	0.03	2686	0
107	Valya Barboy:1	Shaheed Chagani	15.02	0.18	767	0
108	Valya Barboy:0	Aristotle	15.02	0.06	747	0
109	Keji Xu:1	Nihar the Great	15.02	0.04	857	0
110	Fanny:1	Aristotle	15.02	0.12	1595	0
111	Dusty:0	CookieMonster	15.02	1.39	542	0
112	kt4124:0	haoyu	15.02	0.03	1453	0
113	Janie Gu:1	Jonathan Kwok	15.02	0.07	22	0
114	Jameh:1	haoyu	15.02	0.01	321	0
115	Anon_K_P:1	Aristotle	15.02	0.03	770	0
116	Linda:0	Andrew Grasso	15.02	0.01	642	0
117	Matt Haake:0	haoyu	15.02	0.05	1232	0
118	The Whitman Whale:0	bigwig	15.02	0.04	1445	0
119	Janie Gu:0	Glenn Fisher	15.02	0.07	20	0
120	The Whitman Whale:1	Andrew Grasso	15.03	0.03	1415	0
121	Anon5:0	haoyu	15.03	0.05	1737	0
122	vluu:0	Nihar the Great	15.03	0.01	1414	0
123	Andrew Grasso:0	Aaron Doll	15.03	0.18	559	0
124	Ytterbium:0	Andrew Grasso	15.03	0.02	1163	0
125	Nikhilesh Sigatapu:0	haoyu	15.03	0.03	1834	0
126	Lisa Kim:0	Aristotle	15.04	0.07	4522	0
127	Anon_K_P:0	haoyu	15.04	0.02	1569	0
128	George Okeowo:0	Andrew Grasso	15.04	0.01	3605	0
129	kt4124:1	haoyu	15.04	0.04	1411	0
130	snowflakes:0	haoyu	15.04	0.03	2436	0
131	NA:1	Elphaba	15.04	0.04	1571	0
132	vluu:1	Nihar the Great	15.04	0.02	1434	0
133	cat:0	haoyu	15.04	0.03	1892	0
134	EC:1	haoyu	15.04	0.03	3378	0
135	Samuel Jerome:1	haoyu	15.05	0.03	2494	0
136	Yan Wu:0	haoyu	15.05	0.05	1217	0
137	Glenn Fisher:1	jabreezy	15.05	0.09	2533	0
138	Mark S. Fillmore:0	Supahaka	15.05	0.01	116	116
139	Absurdity:1	Aristotle	15.05	0.18	9741	0
140	Boomshanka:1	Bar Shabtai	15.06	0.01	83	0
141	Yan Wu:1	haoyu	15.06	0.04	482	0
142	Fanny:0	Aristotle	15.06	0.10	1348	0
143	Sally Smith:0	haoyu	15.06	0.04	2682	0
144	Ben Chen:1	spl	15.06	0.20	4792	0
145	Lisa Kim:1	Bar Shabtai	15.06	0.06	3831	0
146	NA:0	haoyu	15.07	0.03	1383	0
147	Mercury:0	haoyu	15.07	0.05	6837	0
148	CookieMonster:0	CookieMonster	15.07	0.82	1225	0
149	CookieMonster:1	CookieMonster	15.07	1.10	1172	0
150	Sally Smith:1	haoyu	15.07	0.04	2927	0
151	snowflakes:1	haoyu	15.08	0.03	2553	0
152	Mr. Blobby:0	Green "The Bean" Choi	15.09	0.14	2384	0
153	Andys:1	Aristotle	15.10	0.13	30041	0
154	Linda:1	Andrew Grasso	15.10	0.02	1938	0
155	AFC:0	CookieMonster	15.11	0.34	3242	0
156	Batman:0	haoyu	15.12	0.04	8720	0
157	Ytterbium:1	Nihar the Great	15.12	0.02	3355	0
158	John Whelchel:0	haoyu	15.15	0.06	19126	0
159	Walter Little:1	haoyu	15.16	0.03	4983	0
160	KingBach:1	haoyu	15.17	0.04	10226	0
161	spl:1	haoyu	15.18	0.06	3957	0
162	bfang:0	haoyu	15.19	0.04	7233	0
163	jabreezy:0	Mercury	15.20	0.09	5401	0
164	Andrew Werner:0	Aaron Doll	15.21	0.33	30729	0
165	Absurdity:0	Aristotle	15.22	0.23	10004	0
166	Sabar Dasgupta:1	Aaron Doll	15.23	0.17	13913	0
167	burrito:0	haoyu	15.25	0.09	22480	0
168	Charliezsc:0	jgs	15.26	14.98	12530	1
169	jabreezy:1	Mercury	15.27	0.10	5415	0
170	spl:0	Elphaba	15.27	0.09	3890	0
171	bfang:1	haoyu	15.28	0.04	7053	0
172	Sprt:1	haoyu	15.30	0.05	10996	0
173	Sabar Dasgupta:0	spl	15.31	0.23	12996	0
174	Khoa:1	Aristotle	15.32	0.09	7703	0
175	soccer:1	haoyu	15.32	0.04	7242	0
176	soccer:0	haoyu	15.34	0.04	6609	0
177	Brendan Wright:0	haoyu	15.34	0.10	16	0
178	Yacob Y.:1	Aristotle	15.40	15.00	11432	1
179	Lil Thug:0	Andrew Grasso	15.41	0.03	31337	0
180	KingBach:0	haoyu	15.41	0.06	9577	0
181	Khoa:0	haoyu	15.44	0.09	7573	0
182	Yacob Y.:0	haoyu	15.45	0.06	9798	0
183	ebp:1	haoyu	15.47	0.04	7863	0
184	ebp:0	haoyu	15.48	0.04	7646	0
185	Charliezsc:1	haoyu	15.49	0.07	14662	0
186	George Okeowo:1	Andrew Grasso	15.63	0.01	3616	0
187	Deric Cheng:0	jgs	15.72	14.99	52908	1
188	DinnerPartyPlannerBM:1	Nihar the Great	15.97	0.06	23337	0
189	dfshasdsf12:0	haoyu	16.06	0.09	20664	0
190	Deric Cheng:1	jgs	16.16	14.98	55364	1
191	Andys:0	Aristotle	16.33	0.12	30361	0
192	Sprt:0	Aristotle	16.36	0.11	26103	0
193	Mike Hunt:0	Aristotle	16.63	0.27	23800	0
194	Lil Thug:1	Andrew Grasso	16.70	0.03	31140	0
195	burrito:1	haoyu	16.76	0.10	49101	0
196	Mike Hunt:1	Aristotle	16.84	0.29	21609	0
197	totallyOnFallBreak:1	Nikhilesh Sigatapu	16.86	0.01	1272	0
198	John Whelchel:1	haoyu	16.91	0.11	16286	0
199	DinnerPartyPlannerBM:0	Aristotle	16.93	0.11	46158	0
200	totallyOnFallBreak:0	Nikhilesh Sigatapu	17.10	0.01	2475	0
201	Andrew Werner:1	haoyu	17.18	0.11	28563	0
202	Aaron H:1	Aristotle	17.23	0.11	24532	0
203	Aaron H:0	Aristotle	17.35	0.11	26164	0
204	BH:0	haoyu	17.68	0.07	21193	0
205	Shaheed Chagani:1	Aristotle	17.80	0.11	34909	0
206	BH:1	haoyu	18.05	0.05	20312	0
207	dfshasdsf12:1	Nihar the Great	18.76	0.11	30197	0
208	nupog:0	Aristotle	19.09	0.13	5059	0
209	nupog:1	Aristotle	19.83	0.12	5066	0
210	jgs:1	haoyu	20.80	0.18	56247	0
211	CAPS LOCK:0	Aristotle	21.85	0.20	40152	0
212	Bar Shabtai:1	haoyu	23.23	0.12	52726	0
213	Elphaba:0	Aristotle	24.71	0.24	106267	0
214	jgs:0	Aristotle	24.93	0.12	58100	0
215	CAPS LOCK:1	Aristotle	26.25	0.25	74783	0
216	Elphaba:1	Aristotle	26.94	0.22	105270	0
217	Shaheed Chagani:0	Aristotle	29.64	0.17	36201	0
218	13a:0	Aaron Doll	40.55	15.00	121688	21
219	13a:1	Aaron Doll	43.48	15.00	131389	29
220	Nihar the Great:1	Aristotle	101.81	0.25	106238	0
221	Aaron Doll:0	Aristotle	120.22	0.56	279867	0
222	Nihar the Great:0	Aristotle	131.87	0.23	141672	0
223	Matt Goldsmith:0	Nihar the Great	-	0.03	-	0
224	Aristotle:1	Aristotle	-	9.69	-	0
225	Aaron Doll:1	Aristotle	-	1.27	-	0
226	Bar Shabtai:0	Aaron Doll	-	15.01	-	1
227	Aristotle:0	Aristotle	-	15.00	-	1
228	Matt Goldsmith:1	Happy	-	0.03	-	0

SatSolvers Ranklist

Generators Ranklist