Stats for satsolver: Mike Hawk

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 Mike Hawk 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 Mike Hawk 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:	Mike Hawk
Rank:	15 / 118
Average Score:	4.96
Median Score:	0.67
Description:	A modified WalkSat

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	Bebe Shi:1	KingBach	0.00	0.00	0	0
2	bigwig:0	Andrew Werner	0.00	0.00	0	0
3	bigwig:1	KingBach	0.00	0.00	0	0
4	Ravi Tandon:0	KingBach	0.00	0.00	0	0
5	Happy:1	KingBach	0.00	0.00	0	0
6	Ravi Tandon:1	KingBach	0.00	0.00	0	0
7	Miranda:1	cat	0.00	0.00	0	0
8	K.L.:1	KingBach	0.00	0.00	0	0
9	Miranda:0	cat	0.00	0.00	0	0
10	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
11	Solving For Clauses:1	haoyu	0.01	0.00	0	0
12	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
13	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
14	Bebe Shi:0	KingBach	0.01	0.00	0	0
15	BMJ:1	burrito	0.01	0.00	0	0
16	K.L.:0	haoyu	0.01	0.00	0	0
17	Quite Satisfied:0	haoyu	0.01	0.00	0	0
18	David Paulk:1	Bar Shabtai	0.01	0.00	0	0
19	R. A. B.:1	cat	0.01	0.00	0	0
20	bchouGenerator:0	haoyu	0.01	0.00	0	0
21	David Paulk:0	cat	0.01	0.00	0	0
22	Gewang:0	Jonathan Kwok	0.01	0.00	0	0
23	Jonathan Kwok:0	Elphaba	0.01	0.00	0	0
24	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
25	Jordan Ash:1	Bar Shabtai	0.01	0.01	0	0
26	haoyu:1	Anon5	0.01	0.01	0	0
27	Blam:1	Elphaba	0.02	0.00	0	0
28	Mike Honcho:0	Miranda	0.02	0.01	0	0
29	cmF5a3ly:1	Nihar the Great	0.02	0.00	0	0
30	R. A. B.:0	Nihar the Great	0.02	0.00	0	0
31	cmF5a3ly:0	Nihar the Great	0.02	0.00	0	0
32	bchouGenerator:1	Jonathan Kwok	0.02	0.01	0	0
33	Gewang:1	Jonathan Kwok	0.02	0.00	0	0
34	BMJ:0	Elphaba	0.02	0.00	0	0
35	Blam:0	Elphaba	0.02	0.00	0	0
36	Mike Honcho:1	Jessie Chen	0.02	0.01	0	0
37	Qinlan Shen:0	Bar Shabtai	0.02	0.01	0	0
38	Tree Prophet:0	haoyu	0.02	0.00	0	0
39	The Kraken:1	haoyu	0.02	0.00	0	0
40	Scheduling Generator 203:0	jgs	0.02	0.01	0	0
41	Daffy Duck:0	Andrew Werner	0.03	0.00	0	0
42	Mickey Mouse:1	haoyu	0.03	0.01	0	0
43	Daffy Duck:1	haoyu	0.03	0.00	0	0
44	Mickey Mouse:0	Bar Shabtai	0.03	0.01	0	0
45	Happy:0	haoyu	0.03	0.00	0	0
46	Boomshanka:1	Bar Shabtai	0.03	0.01	0	0
47	Jameh:0	haoyu	0.03	0.01	0	0
48	0108:1	haoyu	0.03	0.01	0	0
49	The Kraken:0	haoyu	0.03	0.00	0	0
50	haoyu:0	KingBach	0.03	0.01	0	0
51	weezy:0	Bar Shabtai	0.03	0.01	0	0
52	weezy:1	Bar Shabtai	0.04	0.01	0	0
53	Scheduling Generator 203:1	Jameh	0.04	0.02	0	0
54	Tom T:1	Andrew Werner	0.04	0.02	0	0
55	David Lackey:0	Anon5	0.05	0.03	0	0
56	Ytterbium:0	Andrew Grasso	0.05	0.02	0	0
57	Sunny:0	Green "The Bean" Choi	0.05	0.02	0	0
58	Tree Prophet:1	haoyu	0.05	0.00	0	0
59	vluu:1	Nihar the Great	0.06	0.02	0	0
60	Jordan Ash:0	EC	0.06	0.03	0	0
61	Tiny Wings:1	haoyu	0.06	0.01	0	0
62	Boomshanka:0	haoyu	0.06	0.01	0	0
63	Dr Roberto:1	Andrew Grasso	0.06	0.02	0	0
64	Sunny:1	jabreezy	0.06	0.01	0	0
65	Tom T:0	EC	0.06	0.02	0	0
66	vluu:0	Nihar the Great	0.07	0.01	0	0
67	David Lackey:1	Bar Shabtai	0.07	0.03	0	0
68	Bob Dondero:1	Mickey Mouse	0.07	0.03	0	0
69	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.08	0.01	0	0
70	Bob Dondero:0	Andrew Grasso	0.08	0.02	0	0
71	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.09	0.01	0	0
72	Anon_K_P:0	haoyu	0.09	0.02	0	0
73	Jameh:1	haoyu	0.09	0.01	0	0
74	The Whitman Whale:0	bigwig	0.09	0.04	0	0
75	The Whitman Whale:1	Andrew Grasso	0.10	0.03	0	0
76	cat:0	haoyu	0.10	0.03	0	0
77	Anon_K_P:1	Aristotle	0.10	0.03	0	0
78	cat:1	haoyu	0.11	0.03	0	0
79	Janie Gu:0	Glenn Fisher	0.11	0.07	0	0
80	Samuel Jerome:1	haoyu	0.11	0.03	0	0
81	Tiny Wings:0	haoyu	0.12	0.02	0	0
82	Nikhilesh Sigatapu:1	haoyu	0.12	0.04	0	0
83	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.12	0.00	0	0
84	Ytterbium:1	Nihar the Great	0.12	0.02	0	0
85	Keji Xu:1	Nihar the Great	0.12	0.04	0	0
86	Keji Xu:0	Nihar the Great	0.12	0.03	0	0
87	Nikhilesh Sigatapu:0	haoyu	0.12	0.03	0	0
88	Alex Fish:1	haoyu	0.14	0.02	0	0
89	Linda:0	Andrew Grasso	0.14	0.01	0	0
90	George Okeowo:0	Andrew Grasso	0.16	0.01	0	0
91	George Okeowo:1	Andrew Grasso	0.17	0.01	0	0
92	Fanny:1	Aristotle	0.17	0.12	0	0
93	Dr Roberto:0	Andrew Grasso	0.18	0.03	0	0
94	Alex Fish:0	haoyu	0.19	0.01	0	0
95	Lisa Kim:1	Bar Shabtai	0.20	0.06	0	0
96	Lisa Kim:0	Aristotle	0.20	0.07	0	0
97	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.22	0.01	0	0
98	Samuel Jerome:0	haoyu	0.23	0.03	0	0
99	Yan Wu:0	haoyu	0.25	0.05	0	0
100	Tao:0	Bar Shabtai	0.26	0.02	0	0
101	Matt Haake:0	haoyu	0.27	0.05	0	0
102	Matt Haake:1	haoyu	0.31	0.05	0	0
103	bfang:1	haoyu	0.35	0.04	0	0
104	Andrew Grasso:0	Aaron Doll	0.36	0.18	0	0
105	Sally Smith:0	haoyu	0.41	0.04	0	0
106	kt4124:0	haoyu	0.41	0.03	0	0
107	DeeEmEm:1	haoyu	0.43	0.02	0	0
108	Linda:1	Andrew Grasso	0.52	0.02	0	0
109	Batman:1	haoyu	0.53	0.04	0	0
110	Mercury:0	haoyu	0.57	0.05	0	0
111	Sally Smith:1	haoyu	0.58	0.04	0	0
112	KingBach:1	haoyu	0.60	0.04	0	0
113	Batman:0	haoyu	0.66	0.04	0	0
114	Ben Chen:1	spl	0.67	0.20	0	0
115	soccer:0	haoyu	0.72	0.04	0	0
116	Valya Barboy:0	Aristotle	0.74	0.06	0	0
117	Mercury:1	haoyu	0.75	0.05	0	0
118	Sprt:1	haoyu	0.75	0.05	0	0
119	Tao:1	Aristotle	0.76	0.07	0	0
120	bfang:0	haoyu	0.77	0.04	0	0
121	Janie Gu:1	Jonathan Kwok	0.83	0.07	0	0
122	Ben Chen:0	Elphaba	0.92	0.07	0	0
123	Yan Wu:1	haoyu	0.93	0.04	0	0
124	Glenn Fisher:0	Elphaba	1.10	0.02	0	0
125	kt4124:1	haoyu	1.11	0.04	0	0
126	Khoa:0	haoyu	1.40	0.09	0	0
127	Khoa:1	Aristotle	1.40	0.09	0	0
128	Yacob Y.:0	haoyu	1.47	0.06	0	0
129	DinnerPartyPlannerBM:1	Nihar the Great	1.73	0.06	0	0
130	soccer:1	haoyu	1.76	0.04	0	0
131	burrito:0	haoyu	1.81	0.09	0	0
132	Sabar Dasgupta:0	spl	1.87	0.23	0	0
133	EC:0	haoyu	2.04	0.03	0	0
134	dfshasdsf12:0	haoyu	2.37	0.09	0	0
135	Dusty:1	Shaheed Chagani	2.81	0.22	0	0
136	Lil Thug:1	Andrew Grasso	2.88	0.03	0	0
137	Lil Thug:0	Andrew Grasso	2.94	0.03	0	0
138	Dusty:0	CookieMonster	3.01	1.39	0	0
139	Aaron H:1	Aristotle	3.38	0.11	0	0
140	Sprt:0	Aristotle	3.46	0.11	0	0
141	Brendan Wright:0	haoyu	3.50	0.10	0	0
142	Mr. Blobby:0	Green "The Bean" Choi	3.52	0.14	0	0
143	Anon5:1	Green "The Bean" Choi	3.75	0.07	0	0
144	AFC:1	Aristotle	3.82	0.16	0	0
145	Fanny:0	Aristotle	3.94	0.10	0	0
146	Charliezsc:1	haoyu	4.04	0.07	0	0
147	KingBach:0	haoyu	4.09	0.06	0	0
148	Mr. Blobby:1	dusty	4.47	0.12	0	0
149	Aaron H:0	Aristotle	4.66	0.11	0	0
150	NA:0	haoyu	4.67	0.03	0	0
151	dfshasdsf12:1	Nihar the Great	4.85	0.11	0	0
152	DinnerPartyPlannerBM:0	Aristotle	5.07	0.11	0	0
153	ebp:0	haoyu	5.22	0.04	0	0
154	Sabar Dasgupta:1	Aaron Doll	5.78	0.17	0	0
155	Glenn Fisher:1	jabreezy	6.05	0.09	0	0
156	Andrew Grasso:1	Shaheed Chagani	6.38	0.15	0	0
157	ebp:1	haoyu	6.40	0.04	0	0
158	David H.:0	AFC	6.40	0.28	0	0
159	snowflakes:0	haoyu	6.93	0.03	0	0
160	NA:1	Elphaba	7.11	0.04	0	0
161	BH:1	haoyu	7.79	0.05	0	0
162	burrito:1	haoyu	8.02	0.10	0	0
163	BH:0	haoyu	9.08	0.07	0	0
164	Andys:0	Aristotle	10.34	0.12	0	0
165	David H.:1	DeeEmEm	10.44	0.33	0	0
166	Mike Hunt:0	Aristotle	11.48	0.27	0	0
167	Anon5:0	haoyu	11.64	0.05	0	0
168	CAPS LOCK:0	Aristotle	12.27	0.20	0	0
169	Mike Hunt:1	Aristotle	12.56	0.29	0	0
170	Andrew Werner:0	Aaron Doll	13.66	0.33	0	0
171	jabreezy:0	Mercury	13.74	0.09	0	0
172	jgs:0	Aristotle	13.92	0.12	0	0
173	nupog:1	Aristotle	13.96	0.12	0	0
174	jabreezy:1	Mercury	14.20	0.10	0	0
175	nupog:0	Aristotle	14.43	0.13	0	0
176	Jessie Chen:0	Joel Faron	15.00	0.13	1	1
177	Walter Little:0	haoyu	15.00	0.04	1	0
178	Valya Barboy:1	Shaheed Chagani	15.00	0.18	1	0
179	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
180	Charliezsc:0	jgs	15.00	14.98	1	1
181	Quite Satisfied:1	Joel Faron	15.00	2.11	1	1
182	Jessie Chen:1	Joel Faron	15.00	0.12	1	1
183	Walter Little:1	haoyu	15.00	0.03	1	0
184	CookieMonster:0	CookieMonster	15.00	0.82	1	0
185	DeeEmEm:0	CAPS LOCK	15.00	13.00	1	1
186	0108:0	jgs	15.00	14.98	1	1
187	T. Capote:0	haoyu	15.00	0.00	2	2
188	T. Capote:1	haoyu	15.00	0.00	2	2
189	snowflakes:1	haoyu	15.00	0.03	2	0
190	spl:0	Elphaba	15.00	0.09	3	0
191	spl:1	haoyu	15.00	0.06	3	0
192	SuperFan:0	jgs	15.00	14.98	4	4
193	SuperFan:1	jgs	15.00	14.98	4	4
194	Supahaka:1	Joel Faron	15.00	15.00	36	35
195	Supahaka:0	Andrew Werner	15.00	15.00	37	35
196	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
197	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
198	Matt Goldsmith:1	Happy	15.00	0.03	501953	0
199	EC:1	haoyu	15.00	0.03	1	0
200	CookieMonster:1	CookieMonster	15.00	1.10	1	0
201	AFC:0	CookieMonster	15.00	0.34	1	0
202	Absurdity:1	Aristotle	15.00	0.18	1	0
203	Brendan Wright:1	Deric Cheng	15.00	0.10	1	0
204	Yacob Y.:1	Aristotle	15.00	15.00	7	1
205	13a:1	Aaron Doll	15.00	15.00	47515	29
206	John Whelchel:0	haoyu	15.01	0.06	1	0
207	Elphaba:0	Aristotle	15.01	0.24	13673	0
208	Shaheed Chagani:0	Aristotle	15.01	0.17	4	0
209	Absurdity:0	Aristotle	15.01	0.23	1	0
210	Aaron Doll:0	Aristotle	15.01	0.56	249450	0
211	CAPS LOCK:1	Aristotle	15.01	0.25	109	0
212	13a:0	Aaron Doll	15.01	15.00	45591	21
213	Shaheed Chagani:1	Aristotle	15.01	0.11	4	0
214	Bar Shabtai:1	haoyu	15.01	0.12	19	0
215	Elphaba:1	Aristotle	15.01	0.22	14805	0
216	Nihar the Great:1	Aristotle	15.01	0.25	20022	0
217	Nihar the Great:0	Aristotle	15.02	0.23	20528	0
218	Aaron Doll:1	Aristotle	15.02	1.27	307108	0
219	Andys:1	Aristotle	15.03	0.13	1	0
220	jgs:1	haoyu	15.03	0.18	1	0
221	Deric Cheng:0	jgs	15.04	14.99	1	1
222	Aristotle:1	Aristotle	15.05	9.69	719174	0
223	Matt Goldsmith:0	Nihar the Great	15.06	0.03	501785	0
224	Bar Shabtai:0	Aaron Doll	15.06	15.01	299698	1
225	Deric Cheng:1	jgs	15.09	14.98	1	1
226	Andrew Werner:1	haoyu	15.10	0.11	1	0
227	John Whelchel:1	haoyu	15.11	0.11	1	0
228	Aristotle:0	Aristotle	15.18	15.00	727864	1

SatSolvers Ranklist

Generators Ranklist