Stats for satsolver: Mike Honcho

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 Honcho 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 Honcho 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 Honcho
Rank:	56 / 118
Average Score:	8.21
Median Score:	0.60
Description:	Based around walkSAT, but prioritizes unsatisfied clauses with less literals in them, and then prioritizes literals which are in lessclauses with exactly 1 satisfied literal in them (i.e. that would become unsatisfied if said literal changed signs

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:1	KingBach	0.00	0.00	0	0
2	Bebe Shi:1	KingBach	0.00	0.00	0	0
3	bigwig:0	Andrew Werner	0.00	0.00	0	0
4	Happy:1	KingBach	0.00	0.00	0	0
5	Bebe Shi:0	KingBach	0.00	0.00	0	0
6	Ravi Tandon:1	KingBach	0.00	0.00	0	0
7	K.L.:1	KingBach	0.00	0.00	0	0
8	Ravi Tandon:0	KingBach	0.00	0.00	0	0
9	Miranda:1	cat	0.00	0.00	0	0
10	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
11	K.L.:0	haoyu	0.01	0.00	0	0
12	Miranda:0	cat	0.01	0.00	0	0
13	BMJ:1	burrito	0.01	0.00	0	0
14	Happy:0	haoyu	0.01	0.00	0	0
15	Daffy Duck:1	haoyu	0.01	0.00	0	0
16	R. A. B.:1	cat	0.01	0.00	0	0
17	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
18	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
19	Solving For Clauses:1	haoyu	0.01	0.00	0	0
20	Solving For Clauses:0	Glenn Fisher	0.02	0.00	0	0
21	Tree Prophet:0	haoyu	0.02	0.00	0	0
22	haoyu:0	KingBach	0.02	0.01	0	0
23	bchouGenerator:1	Jonathan Kwok	0.02	0.01	0	0
24	BMJ:0	Elphaba	0.02	0.00	0	0
25	Blam:1	Elphaba	0.02	0.00	0	0
26	David Paulk:0	cat	0.02	0.00	0	0
27	Quite Satisfied:0	haoyu	0.02	0.00	0	0
28	Gewang:0	Jonathan Kwok	0.02	0.00	0	0
29	David Paulk:1	Bar Shabtai	0.02	0.00	0	0
30	Gewang:1	Jonathan Kwok	0.02	0.00	0	0
31	bchouGenerator:0	haoyu	0.03	0.00	0	0
32	haoyu:1	Anon5	0.03	0.01	0	0
33	Scheduling Generator 203:0	jgs	0.04	0.01	0	0
34	Qinlan Shen:0	Bar Shabtai	0.04	0.01	0	0
35	R. A. B.:0	Nihar the Great	0.04	0.00	0	0
36	The Kraken:0	haoyu	0.04	0.00	0	0
37	Jordan Ash:1	Bar Shabtai	0.05	0.01	0	0
38	Blam:0	Elphaba	0.07	0.00	0	0
39	Scheduling Generator 203:1	Jameh	0.07	0.02	0	0
40	Tom T:1	Andrew Werner	0.07	0.02	0	0
41	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.08	0.01	0	0
42	Mickey Mouse:0	Bar Shabtai	0.08	0.01	0	0
43	Mickey Mouse:1	haoyu	0.08	0.01	0	0
44	Jonathan Kwok:0	Elphaba	0.09	0.00	0	0
45	Tom T:0	EC	0.10	0.02	0	0
46	Jordan Ash:0	EC	0.10	0.03	0	0
47	Daffy Duck:0	Andrew Werner	0.10	0.00	0	0
48	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.10	0.01	0	0
49	The Kraken:1	haoyu	0.10	0.00	0	0
50	Boomshanka:0	haoyu	0.11	0.01	0	0
51	Boomshanka:1	Bar Shabtai	0.13	0.01	0	0
52	David Lackey:1	Bar Shabtai	0.13	0.03	0	0
53	Tiny Wings:0	haoyu	0.13	0.02	0	0
54	weezy:1	Bar Shabtai	0.14	0.01	0	0
55	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.14	0.01	0	0
56	Janie Gu:0	Glenn Fisher	0.15	0.07	0	0
57	weezy:0	Bar Shabtai	0.15	0.01	0	0
58	Alex Fish:1	haoyu	0.16	0.02	0	0
59	Keji Xu:1	Nihar the Great	0.17	0.04	0	0
60	Jameh:0	haoyu	0.18	0.01	0	0
61	Alex Fish:0	haoyu	0.18	0.01	0	0
62	David Lackey:0	Anon5	0.18	0.03	0	0
63	Anon5:1	Green "The Bean" Choi	0.19	0.07	0	0
64	Anon_K_P:1	Aristotle	0.19	0.03	0	0
65	Janie Gu:1	Jonathan Kwok	0.19	0.07	0	0
66	Keji Xu:0	Nihar the Great	0.20	0.03	0	0
67	Linda:0	Andrew Grasso	0.21	0.01	0	0
68	Ytterbium:0	Andrew Grasso	0.22	0.02	0	0
69	Anon5:0	haoyu	0.22	0.05	0	0
70	Dr Roberto:0	Andrew Grasso	0.22	0.03	0	0
71	Tiny Wings:1	haoyu	0.22	0.01	0	0
72	Samuel Jerome:0	haoyu	0.23	0.03	0	0
73	Matt Haake:1	haoyu	0.24	0.05	0	0
74	Jameh:1	haoyu	0.24	0.01	0	0
75	Dr Roberto:1	Andrew Grasso	0.25	0.02	0	0
76	vluu:1	Nihar the Great	0.25	0.02	0	0
77	Bob Dondero:1	Mickey Mouse	0.25	0.03	0	0
78	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.25	0.00	0	0
79	Nikhilesh Sigatapu:1	haoyu	0.26	0.04	0	0
80	Sunny:0	Green "The Bean" Choi	0.26	0.02	0	0
81	vluu:0	Nihar the Great	0.26	0.01	0	0
82	Bob Dondero:0	Andrew Grasso	0.26	0.02	0	0
83	Samuel Jerome:1	haoyu	0.27	0.03	0	0
84	cat:1	haoyu	0.27	0.03	0	0
85	Yan Wu:1	haoyu	0.27	0.04	0	0
86	0108:1	haoyu	0.28	0.01	0	0
87	The Whitman Whale:1	Andrew Grasso	0.28	0.03	0	0
88	Tao:0	Bar Shabtai	0.29	0.02	0	0
89	Tao:1	Aristotle	0.29	0.07	0	0
90	Yan Wu:0	haoyu	0.31	0.05	0	0
91	Linda:1	Andrew Grasso	0.31	0.02	0	0
92	Nikhilesh Sigatapu:0	haoyu	0.31	0.03	0	0
93	Matt Haake:0	haoyu	0.32	0.05	0	0
94	Glenn Fisher:0	Elphaba	0.32	0.02	0	0
95	Mike Honcho:0	Miranda	0.34	0.01	0	0
96	cat:0	haoyu	0.35	0.03	0	0
97	The Whitman Whale:0	bigwig	0.35	0.04	0	0
98	Anon_K_P:0	haoyu	0.36	0.02	0	0
99	Sally Smith:0	haoyu	0.38	0.04	0	0
100	George Okeowo:1	Andrew Grasso	0.39	0.01	0	0
101	George Okeowo:0	Andrew Grasso	0.41	0.01	0	0
102	Mike Honcho:1	Jessie Chen	0.42	0.01	0	0
103	David H.:0	AFC	0.45	0.28	0	0
104	Sally Smith:1	haoyu	0.46	0.04	0	0
105	Sunny:1	jabreezy	0.46	0.01	0	0
106	Ytterbium:1	Nihar the Great	0.46	0.02	0	0
107	Mr. Blobby:0	Green "The Bean" Choi	0.52	0.14	0	0
108	Lisa Kim:0	Aristotle	0.55	0.07	0	0
109	kt4124:0	haoyu	0.58	0.03	0	0
110	Lisa Kim:1	Bar Shabtai	0.59	0.06	0	0
111	Tree Prophet:1	haoyu	0.60	0.00	0	0
112	kt4124:1	haoyu	0.60	0.04	0	0
113	cmF5a3ly:1	Nihar the Great	0.64	0.00	0	0
114	Valya Barboy:0	Aristotle	0.66	0.06	0	0
115	Mercury:0	haoyu	0.67	0.05	0	0
116	Fanny:1	Aristotle	0.69	0.12	0	0
117	Mercury:1	haoyu	0.72	0.05	0	0
118	Ben Chen:1	spl	0.73	0.20	0	0
119	Mr. Blobby:1	dusty	0.77	0.12	0	0
120	Ben Chen:0	Elphaba	0.79	0.07	0	0
121	cmF5a3ly:0	Nihar the Great	0.86	0.00	0	0
122	David H.:1	DeeEmEm	0.89	0.33	0	0
123	bfang:1	haoyu	0.95	0.04	0	0
124	bfang:0	haoyu	1.08	0.04	0	0
125	KingBach:1	haoyu	1.15	0.04	0	0
126	soccer:1	haoyu	1.24	0.04	0	0
127	EC:1	haoyu	1.28	0.03	0	0
128	Khoa:0	haoyu	1.42	0.09	0	0
129	Yacob Y.:0	haoyu	1.43	0.06	0	0
130	Glenn Fisher:1	jabreezy	1.45	0.09	0	0
131	Khoa:1	Aristotle	1.52	0.09	0	0
132	soccer:0	haoyu	1.52	0.04	0	0
133	KingBach:0	haoyu	1.63	0.06	0	0
134	Batman:0	haoyu	1.75	0.04	0	0
135	Batman:1	haoyu	1.84	0.04	0	0
136	Sprt:1	haoyu	2.33	0.05	0	0
137	Charliezsc:1	haoyu	3.12	0.07	0	0
138	Sabar Dasgupta:0	spl	3.99	0.23	0	0
139	burrito:0	haoyu	4.16	0.09	0	0
140	Brendan Wright:1	Deric Cheng	4.55	0.10	0	0
141	Sabar Dasgupta:1	Aaron Doll	4.60	0.17	0	0
142	Walter Little:1	haoyu	4.66	0.03	0	0
143	DeeEmEm:1	haoyu	4.73	0.02	0	0
144	Andrew Grasso:1	Shaheed Chagani	5.45	0.15	0	0
145	Walter Little:0	haoyu	5.64	0.04	0	0
146	nupog:0	Aristotle	6.20	0.13	0	0
147	nupog:1	Aristotle	6.23	0.12	0	0
148	snowflakes:1	haoyu	6.66	0.03	0	0
149	Andys:1	Aristotle	6.94	0.13	0	0
150	Andys:0	Aristotle	7.42	0.12	0	0
151	DinnerPartyPlannerBM:1	Nihar the Great	7.69	0.06	0	0
152	Aaron H:1	Aristotle	7.90	0.11	0	0
153	Absurdity:1	Aristotle	7.94	0.18	0	0
154	Brendan Wright:0	haoyu	8.16	0.10	0	0
155	EC:0	haoyu	8.42	0.03	0	0
156	Aaron H:0	Aristotle	8.47	0.11	0	0
157	Absurdity:0	Aristotle	9.23	0.23	0	0
158	Andrew Grasso:0	Aaron Doll	9.25	0.18	0	0
159	John Whelchel:0	haoyu	9.27	0.06	0	0
160	Mike Hunt:0	Aristotle	9.89	0.27	0	0
161	Dusty:1	Shaheed Chagani	10.29	0.22	0	0
162	Sprt:0	Aristotle	10.79	0.11	0	0
163	dfshasdsf12:0	haoyu	11.22	0.09	0	0
164	AFC:1	Aristotle	11.72	0.16	0	0
165	Lil Thug:0	Andrew Grasso	12.32	0.03	0	0
166	John Whelchel:1	haoyu	12.63	0.11	0	0
167	Mike Hunt:1	Aristotle	12.63	0.29	0	0
168	ebp:1	haoyu	13.16	0.04	0	0
169	CAPS LOCK:0	Aristotle	13.18	0.20	0	0
170	burrito:1	haoyu	13.41	0.10	0	0
171	Lil Thug:1	Andrew Grasso	13.63	0.03	0	0
172	NA:0	haoyu	14.06	0.03	0	0
173	CAPS LOCK:1	Aristotle	14.44	0.25	0	0
174	jabreezy:1	Mercury	14.55	0.10	0	0
175	Fanny:0	Aristotle	15.00	0.10	1	0
176	Jessie Chen:0	Joel Faron	15.00	0.13	1	1
177	Valya Barboy:1	Shaheed Chagani	15.00	0.18	1	0
178	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
179	Charliezsc:0	jgs	15.00	14.98	1	1
180	Quite Satisfied:1	Joel Faron	15.00	2.11	1	1
181	Jessie Chen:1	Joel Faron	15.00	0.12	1	1
182	CookieMonster:0	CookieMonster	15.00	0.82	1	0
183	DeeEmEm:0	CAPS LOCK	15.00	13.00	1	1
184	0108:0	jgs	15.00	14.98	1	1
185	CookieMonster:1	CookieMonster	15.00	1.10	1	0
186	T. Capote:0	haoyu	15.00	0.00	2	2
187	spl:1	haoyu	15.00	0.06	2	0
188	T. Capote:1	haoyu	15.00	0.00	2	2
189	AFC:0	CookieMonster	15.00	0.34	2	0
190	NA:1	Elphaba	15.00	0.04	3	0
191	Dusty:0	CookieMonster	15.00	1.39	3	0
192	spl:0	Elphaba	15.00	0.09	3	0
193	SuperFan:0	jgs	15.00	14.98	4	4
194	Andrew Werner:1	haoyu	15.00	0.11	4	0
195	SuperFan:1	jgs	15.00	14.98	4	4
196	Yacob Y.:1	Aristotle	15.00	15.00	4	1
197	snowflakes:0	haoyu	15.00	0.03	8	0
198	jabreezy:0	Mercury	15.00	0.09	8	0
199	ebp:0	haoyu	15.00	0.04	10	0
200	Supahaka:0	Andrew Werner	15.00	15.00	37	35
201	Supahaka:1	Joel Faron	15.00	15.00	37	35
202	BH:0	haoyu	15.00	0.07	40	0
203	Mark S. Fillmore:1	Supahaka	15.00	0.04	114	79
204	BH:1	haoyu	15.00	0.05	130	0
205	Mark S. Fillmore:0	Supahaka	15.00	0.01	161	116
206	Deric Cheng:0	jgs	15.00	14.99	45	1
207	dfshasdsf12:1	Nihar the Great	15.00	0.11	93	0
208	Deric Cheng:1	jgs	15.00	14.98	45	1
209	Shaheed Chagani:0	Aristotle	15.00	0.17	500	0
210	Nihar the Great:1	Aristotle	15.00	0.25	1000	0
211	Nihar the Great:0	Aristotle	15.01	0.23	1000	0
212	Shaheed Chagani:1	Aristotle	15.01	0.11	500	0
213	Andrew Werner:0	Aaron Doll	15.01	0.33	50	0
214	13a:1	Aaron Doll	15.01	15.00	150	29
215	DinnerPartyPlannerBM:0	Aristotle	15.02	0.11	57	0
216	Matt Goldsmith:1	Happy	15.03	0.03	0	0
217	jgs:0	Aristotle	15.03	0.12	110	0
218	Elphaba:1	Aristotle	15.04	0.22	56	0
219	jgs:1	haoyu	15.04	0.18	110	0
220	Elphaba:0	Aristotle	15.04	0.24	56	0
221	Bar Shabtai:1	haoyu	15.05	0.12	35	0
222	Matt Goldsmith:0	Nihar the Great	15.06	0.03	0	0
223	13a:0	Aaron Doll	15.06	15.00	150	21
224	Aristotle:1	Aristotle	-	9.69	-	0
225	Aaron Doll:0	Aristotle	-	0.56	-	0
226	Aaron Doll:1	Aristotle	-	1.27	-	0
227	Bar Shabtai:0	Aaron Doll	-	15.01	-	1
228	Aristotle:0	Aristotle	-	15.00	-	1

SatSolvers Ranklist

Generators Ranklist