Stats for satsolver: David H.

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 David H. 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 David H. 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:	David H.
Rank:	8 / 118
Average Score:	4.31
Median Score:	0.42
Description:	This is an implementation of WalkSat

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:1	KingBach	0.00	0.00	0	0
2	bigwig:0	Andrew Werner	0.00	0.00	0	0
3	Ravi Tandon:1	KingBach	0.00	0.00	0	0
4	Ravi Tandon:0	KingBach	0.00	0.00	0	0
5	Bebe Shi:1	KingBach	0.00	0.00	0	0
6	K.L.:1	KingBach	0.00	0.00	0	0
7	Jonathan Kwok:0	Elphaba	0.00	0.00	0	0
8	Bebe Shi:0	KingBach	0.00	0.00	0	0
9	R. A. B.:1	cat	0.00	0.00	0	0
10	Happy:1	KingBach	0.01	0.00	0	0
11	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
12	K.L.:0	haoyu	0.01	0.00	0	0
13	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
14	BMJ:1	burrito	0.01	0.00	0	0
15	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
16	Blam:1	Elphaba	0.01	0.00	0	0
17	Miranda:1	cat	0.01	0.00	0	0
18	Miranda:0	cat	0.01	0.00	0	0
19	Blam:0	Elphaba	0.01	0.00	0	0
20	David Paulk:1	Bar Shabtai	0.01	0.00	0	0
21	David Paulk:0	cat	0.01	0.00	0	0
22	Tree Prophet:1	haoyu	0.01	0.00	0	0
23	BMJ:0	Elphaba	0.02	0.00	0	0
24	Tree Prophet:0	haoyu	0.02	0.00	0	0
25	haoyu:0	KingBach	0.02	0.01	0	0
26	Solving For Clauses:0	Glenn Fisher	0.02	0.00	0	0
27	Daffy Duck:1	haoyu	0.02	0.00	0	0
28	Daffy Duck:0	Andrew Werner	0.02	0.00	0	0
29	The Kraken:1	haoyu	0.02	0.00	0	0
30	Solving For Clauses:1	haoyu	0.02	0.00	0	0
31	R. A. B.:0	Nihar the Great	0.02	0.00	0	0
32	Quite Satisfied:0	haoyu	0.02	0.00	0	0
33	Gewang:0	Jonathan Kwok	0.03	0.00	0	0
34	haoyu:1	Anon5	0.03	0.01	0	0
35	bchouGenerator:0	haoyu	0.03	0.00	0	0
36	Gewang:1	Jonathan Kwok	0.03	0.00	0	0
37	Jameh:0	haoyu	0.03	0.01	0	0
38	Jordan Ash:1	Bar Shabtai	0.03	0.01	0	0
39	The Kraken:0	haoyu	0.03	0.00	0	0
40	Happy:0	haoyu	0.04	0.00	0	0
41	Mickey Mouse:1	haoyu	0.04	0.01	0	0
42	Qinlan Shen:0	Bar Shabtai	0.04	0.01	0	0
43	bchouGenerator:1	Jonathan Kwok	0.04	0.01	0	0
44	Jordan Ash:0	EC	0.04	0.03	0	0
45	Jameh:1	haoyu	0.04	0.01	0	0
46	0108:1	haoyu	0.04	0.01	0	0
47	Mickey Mouse:0	Bar Shabtai	0.04	0.01	0	0
48	Boomshanka:1	Bar Shabtai	0.05	0.01	0	0
49	weezy:1	Bar Shabtai	0.05	0.01	0	0
50	vluu:1	Nihar the Great	0.06	0.02	0	0
51	cmF5a3ly:1	Nihar the Great	0.06	0.00	0	0
52	vluu:0	Nihar the Great	0.06	0.01	0	0
53	Tiny Wings:1	haoyu	0.06	0.01	0	0
54	Alex Fish:1	haoyu	0.06	0.02	0	0
55	cmF5a3ly:0	Nihar the Great	0.06	0.00	0	0
56	The Whitman Whale:1	Andrew Grasso	0.07	0.03	0	0
57	Keji Xu:1	Nihar the Great	0.07	0.04	0	0
58	Scheduling Generator 203:0	jgs	0.07	0.01	0	0
59	DeeEmEm:1	haoyu	0.07	0.02	0	0
60	Tiny Wings:0	haoyu	0.07	0.02	0	0
61	Tao:1	Aristotle	0.07	0.07	0	0
62	The Whitman Whale:0	bigwig	0.07	0.04	0	0
63	Boomshanka:0	haoyu	0.08	0.01	0	0
64	Alex Fish:0	haoyu	0.08	0.01	0	0
65	weezy:0	Bar Shabtai	0.08	0.01	0	0
66	Janie Gu:1	Jonathan Kwok	0.08	0.07	0	0
67	Tom T:0	EC	0.08	0.02	0	0
68	Keji Xu:0	Nihar the Great	0.08	0.03	0	0
69	Anon_K_P:0	haoyu	0.08	0.02	0	0
70	Tom T:1	Andrew Werner	0.08	0.02	0	0
71	Nikhilesh Sigatapu:0	haoyu	0.08	0.03	0	0
72	Ytterbium:0	Andrew Grasso	0.09	0.02	0	0
73	cat:1	haoyu	0.09	0.03	0	0
74	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.09	0.01	0	0
75	cat:0	haoyu	0.09	0.03	0	0
76	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.09	0.00	0	0
77	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.09	0.01	0	0
78	Nikhilesh Sigatapu:1	haoyu	0.09	0.04	0	0
79	kt4124:0	haoyu	0.10	0.03	0	0
80	Janie Gu:0	Glenn Fisher	0.10	0.07	0	0
81	kt4124:1	haoyu	0.10	0.04	0	0
82	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.12	0.01	0	0
83	Scheduling Generator 203:1	Jameh	0.12	0.02	0	0
84	Anon_K_P:1	Aristotle	0.14	0.03	0	0
85	Tao:0	Bar Shabtai	0.14	0.02	0	0
86	Sunny:0	Green "The Bean" Choi	0.14	0.02	0	0
87	David Lackey:0	Anon5	0.15	0.03	0	0
88	Sunny:1	jabreezy	0.15	0.01	0	0
89	David Lackey:1	Bar Shabtai	0.16	0.03	0	0
90	Mr. Blobby:0	Green "The Bean" Choi	0.16	0.14	0	0
91	Mr. Blobby:1	dusty	0.17	0.12	0	0
92	Lisa Kim:1	Bar Shabtai	0.17	0.06	0	0
93	Lisa Kim:0	Aristotle	0.18	0.07	0	0
94	George Okeowo:1	Andrew Grasso	0.18	0.01	0	0
95	Matt Haake:1	haoyu	0.19	0.05	0	0
96	George Okeowo:0	Andrew Grasso	0.19	0.01	0	0
97	Samuel Jerome:1	haoyu	0.20	0.03	0	0
98	Samuel Jerome:0	haoyu	0.21	0.03	0	0
99	Dr Roberto:1	Andrew Grasso	0.21	0.02	0	0
100	Ytterbium:1	Nihar the Great	0.23	0.02	0	0
101	Glenn Fisher:0	Elphaba	0.24	0.02	0	0
102	Valya Barboy:0	Aristotle	0.26	0.06	0	0
103	Khoa:0	haoyu	0.30	0.09	0	0
104	Mike Honcho:0	Miranda	0.31	0.01	0	0
105	Khoa:1	Aristotle	0.34	0.09	0	0
106	Mike Honcho:1	Jessie Chen	0.34	0.01	0	0
107	bfang:1	haoyu	0.34	0.04	0	0
108	EC:1	haoyu	0.38	0.03	0	0
109	nupog:0	Aristotle	0.38	0.13	0	0
110	Glenn Fisher:1	jabreezy	0.39	0.09	0	0
111	nupog:1	Aristotle	0.39	0.12	0	0
112	Mercury:1	haoyu	0.41	0.05	0	0
113	bfang:0	haoyu	0.42	0.04	0	0
114	Dr Roberto:0	Andrew Grasso	0.42	0.03	0	0
115	jabreezy:1	Mercury	0.44	0.10	0	0
116	Matt Haake:0	haoyu	0.44	0.05	0	0
117	Yan Wu:0	haoyu	0.44	0.05	0	0
118	Sally Smith:0	haoyu	0.47	0.04	0	0
119	Sally Smith:1	haoyu	0.48	0.04	0	0
120	jabreezy:0	Mercury	0.49	0.09	0	0
121	Anon5:1	Green "The Bean" Choi	0.49	0.07	0	0
122	Yacob Y.:0	haoyu	0.51	0.06	0	0
123	Batman:1	haoyu	0.52	0.04	0	0
124	Mercury:0	haoyu	0.55	0.05	0	0
125	soccer:1	haoyu	0.55	0.04	0	0
126	Batman:0	haoyu	0.56	0.04	0	0
127	soccer:0	haoyu	0.60	0.04	0	0
128	KingBach:0	haoyu	0.71	0.06	0	0
129	EC:0	haoyu	0.72	0.03	0	0
130	Fanny:1	Aristotle	0.73	0.12	0	0
131	Sprt:1	haoyu	0.74	0.05	0	0
132	KingBach:1	haoyu	0.74	0.04	0	0
133	Bob Dondero:0	Andrew Grasso	0.81	0.02	0	0
134	Linda:0	Andrew Grasso	0.82	0.01	0	0
135	snowflakes:0	haoyu	0.83	0.03	0	0
136	Yan Wu:1	haoyu	0.89	0.04	0	0
137	Valya Barboy:1	Shaheed Chagani	1.01	0.18	0	0
138	Bob Dondero:1	Mickey Mouse	1.21	0.03	0	0
139	Fanny:0	Aristotle	1.23	0.10	0	0
140	Sabar Dasgupta:1	Aaron Doll	1.24	0.17	0	0
141	Walter Little:1	haoyu	1.25	0.03	0	0
142	Sabar Dasgupta:0	spl	1.32	0.23	0	0
143	Linda:1	Andrew Grasso	1.34	0.02	0	0
144	Charliezsc:1	haoyu	1.36	0.07	0	0
145	Anon5:0	haoyu	1.53	0.05	0	0
146	David H.:0	AFC	1.72	0.28	0	0
147	Mike Hunt:1	Aristotle	2.81	0.29	0	0
148	Mike Hunt:0	Aristotle	2.95	0.27	0	0
149	burrito:0	haoyu	2.95	0.09	0	0
150	DinnerPartyPlannerBM:1	Nihar the Great	3.10	0.06	0	0
151	snowflakes:1	haoyu	3.54	0.03	0	0
152	Aaron H:1	Aristotle	3.56	0.11	0	0
153	Aaron H:0	Aristotle	3.67	0.11	0	0
154	Sprt:0	Aristotle	3.99	0.11	0	0
155	dfshasdsf12:0	haoyu	4.54	0.09	0	0
156	Andrew Werner:1	haoyu	4.98	0.11	0	0
157	John Whelchel:0	haoyu	5.26	0.06	0	0
158	Ben Chen:1	spl	5.27	0.20	0	0
159	Lil Thug:1	Andrew Grasso	5.35	0.03	0	0
160	Andrew Werner:0	Aaron Doll	5.38	0.33	0	0
161	Dusty:0	CookieMonster	5.39	1.39	0	0
162	Andys:0	Aristotle	5.43	0.12	0	0
163	NA:1	Elphaba	5.47	0.04	0	0
164	Andys:1	Aristotle	5.54	0.13	0	0
165	Andrew Grasso:0	Aaron Doll	5.54	0.18	0	0
166	Andrew Grasso:1	Shaheed Chagani	5.63	0.15	0	0
167	Ben Chen:0	Elphaba	5.66	0.07	0	0
168	Lil Thug:0	Andrew Grasso	5.77	0.03	0	0
169	John Whelchel:1	haoyu	6.03	0.11	0	0
170	Brendan Wright:1	Deric Cheng	6.60	0.10	0	0
171	David H.:1	DeeEmEm	6.87	0.33	0	0
172	Brendan Wright:0	haoyu	6.91	0.10	0	0
173	Absurdity:0	Aristotle	7.10	0.23	0	0
174	AFC:0	CookieMonster	9.72	0.34	0	0
175	Walter Little:0	haoyu	9.75	0.04	0	0
176	dfshasdsf12:1	Nihar the Great	9.81	0.11	0	0
177	DinnerPartyPlannerBM:0	Aristotle	10.10	0.11	0	0
178	burrito:1	haoyu	12.68	0.10	0	0
179	AFC:1	Aristotle	12.75	0.16	0	0
180	Bar Shabtai:1	haoyu	14.28	0.12	0	0
181	T. Capote:1	haoyu	15.00	0.00	8	2
182	T. Capote:0	haoyu	15.00	0.00	62	2
183	Jessie Chen:0	Joel Faron	15.00	0.13	75	1
184	Jessie Chen:1	Joel Faron	15.00	0.12	118	1
185	SuperFan:0	jgs	15.00	14.98	150	4
186	Supahaka:0	Andrew Werner	15.00	15.00	193	35
187	SuperFan:1	jgs	15.00	14.98	204	4
188	Supahaka:1	Joel Faron	15.00	15.00	221	35
189	Quite Satisfied:1	Joel Faron	15.00	2.11	398	1
190	Qinlan Shen:1	R. A. B.	15.00	9.00	424	1
191	DeeEmEm:0	CAPS LOCK	15.00	13.00	473	1
192	Dusty:1	Shaheed Chagani	15.00	0.22	657	0
193	0108:0	jgs	15.00	14.98	775	1
194	Mark S. Fillmore:1	Supahaka	15.00	0.04	812	79
195	Mark S. Fillmore:0	Supahaka	15.00	0.01	1358	116
196	NA:0	haoyu	15.00	0.03	2013	0
197	CookieMonster:1	CookieMonster	15.00	1.10	3927	0
198	CookieMonster:0	CookieMonster	15.00	0.82	4064	0
199	ebp:0	haoyu	15.00	0.04	8082	0
200	Deric Cheng:1	jgs	15.00	14.98	9838	1
201	Yacob Y.:1	Aristotle	15.00	15.00	11081	1
202	jgs:0	Aristotle	15.00	0.12	20919	0
203	spl:0	Elphaba	15.00	0.09	4201	0
204	spl:1	haoyu	15.00	0.06	4359	0
205	Absurdity:1	Aristotle	15.00	0.18	10189	0
206	ebp:1	haoyu	15.00	0.04	8070	0
207	Charliezsc:0	jgs	15.01	14.98	12798	1
208	Shaheed Chagani:0	Aristotle	15.01	0.17	34128	0
209	Shaheed Chagani:1	Aristotle	15.01	0.11	36063	0
210	jgs:1	haoyu	15.01	0.18	13400	0
211	BH:1	haoyu	15.01	0.05	22592	0
212	BH:0	haoyu	15.01	0.07	21253	0
213	13a:0	Aaron Doll	15.02	15.00	110422	21
214	Deric Cheng:0	jgs	15.04	14.99	63560	1
215	13a:1	Aaron Doll	15.05	15.00	102033	29
216	Elphaba:0	Aristotle	15.07	0.24	82524	0
217	Aaron Doll:1	Aristotle	15.09	1.27	340432	0
218	Matt Goldsmith:1	Happy	15.09	0.03	512792	0
219	Aristotle:0	Aristotle	15.09	15.00	747050	1
220	Elphaba:1	Aristotle	15.12	0.22	84463	0
221	Aaron Doll:0	Aristotle	15.18	0.56	282898	0
222	CAPS LOCK:1	Aristotle	15.18	0.25	51451	0
223	Matt Goldsmith:0	Nihar the Great	15.19	0.03	516863	0
224	CAPS LOCK:0	Aristotle	15.21	0.20	53334	0
225	Bar Shabtai:0	Aaron Doll	15.42	15.01	343906	1
226	Aristotle:1	Aristotle	16.29	9.69	737344	0
227	Nihar the Great:0	Aristotle	16.86	0.23	65834	0
228	Nihar the Great:1	Aristotle	19.21	0.25	76379	0

SatSolvers Ranklist

Generators Ranklist