Stats for satsolver: Supahaka

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 Supahaka 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 Supahaka 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:	Supahaka
Rank:	88 / 118
Average Score:	14.69
Median Score:	15.00
Description:	The love-child of WalkSAT and DPLL. Performs forward chaining while doing WalkSAT. As an impatient child, will give up if it doesn't see much progress being made.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	Ravi Tandon:1	KingBach	0.00	0.00	0	0
2	Ravi Tandon:0	KingBach	0.01	0.00	0	0
3	Miranda:1	cat	0.01	0.00	0	0
4	Mark S. Fillmore:0	Supahaka	0.01	0.01	116	116
5	Miranda:0	cat	0.01	0.00	0	0
6	Mark S. Fillmore:1	Supahaka	0.04	0.04	79	79
7	Mike Honcho:0	Miranda	0.04	0.01	0	0
8	Mike Honcho:1	Jessie Chen	0.06	0.01	0	0
9	Scheduling Generator 203:0	jgs	0.26	0.01	0	0
10	Bob Dondero:1	Mickey Mouse	0.41	0.03	0	0
11	Bob Dondero:0	Andrew Grasso	0.53	0.02	0	0
12	Scheduling Generator 203:1	Jameh	2.18	0.02	0	0
13	Dr Roberto:0	Andrew Grasso	2.67	0.03	0	0
14	Dr Roberto:1	Andrew Grasso	5.65	0.02	0	0
15	Tom T:1	Andrew Werner	7.44	0.02	0	0
16	Bebe Shi:1	KingBach	0.03	0.00	4	0
17	bigwig:1	KingBach	0.00	0.00	5	0
18	totallyOnFallBreak:1	Nikhilesh Sigatapu	5.11	0.01	7	0
19	bigwig:0	Andrew Werner	0.00	0.00	9	0
20	K.L.:1	KingBach	0.03	0.00	11	0
21	totallyOnFallBreak:0	Nikhilesh Sigatapu	5.17	0.01	11	0
22	BMJ:1	burrito	0.03	0.00	12	0
23	BMJ:0	Elphaba	0.02	0.00	13	0
24	Bebe Shi:0	KingBach	0.05	0.00	14	0
25	T. Capote:0	haoyu	0.03	0.00	16	2
26	Happy:1	KingBach	0.03	0.00	19	0
27	Solving For Clauses:0	Glenn Fisher	0.05	0.00	20	0
28	Solving For Clauses:1	haoyu	0.18	0.00	23	0
29	K.L.:0	haoyu	0.04	0.00	27	0
30	T. Capote:1	haoyu	0.03	0.00	28	2
31	Blam:0	Elphaba	0.03	0.00	28	0
32	Jonathan Kwok:1	KingBach	0.04	0.00	29	0
33	Happy:0	haoyu	0.03	0.00	31	0
34	Jonathan Kwok:0	Elphaba	0.05	0.00	35	0
35	R. A. B.:1	cat	0.03	0.00	38	0
36	Janie Gu:0	Glenn Fisher	9.50	0.07	42	0
37	Daffy Duck:1	haoyu	0.03	0.00	44	0
38	Joshua Zimmer:0	haoyu	0.05	0.00	44	0
39	Daffy Duck:0	Andrew Werner	0.03	0.00	47	0
40	Joshua Zimmer:1	haoyu	0.03	0.00	47	0
41	haoyu:1	Anon5	0.03	0.01	51	0
42	David Paulk:1	Bar Shabtai	0.07	0.00	52	0
43	Tree Prophet:1	haoyu	0.05	0.00	58	0
44	Janie Gu:1	Jonathan Kwok	7.20	0.07	59	0
45	Sunny:1	jabreezy	0.04	0.01	59	0
46	haoyu:0	KingBach	0.05	0.01	65	0
47	Quite Satisfied:1	Joel Faron	0.08	2.11	68	1
48	Sunny:0	Green "The Bean" Choi	0.07	0.02	70	0
49	Boomshanka:0	haoyu	0.45	0.01	82	0
50	Tree Prophet:0	haoyu	0.04	0.00	89	0
51	Jessie Chen:1	Joel Faron	1.75	0.12	92	1
52	bchouGenerator:0	haoyu	0.40	0.00	95	0
53	Jessie Chen:0	Joel Faron	0.04	0.13	97	1
54	David Paulk:0	cat	0.04	0.00	114	0
55	SuperFan:0	jgs	0.13	14.98	119	4
56	R. A. B.:0	Nihar the Great	0.04	0.00	119	0
57	cmF5a3ly:0	Nihar the Great	0.80	0.00	124	0
58	bchouGenerator:1	Jonathan Kwok	0.05	0.01	126	0
59	cmF5a3ly:1	Nihar the Great	0.51	0.00	139	0
60	The Kraken:1	haoyu	14.56	0.00	165	0
61	Supahaka:0	Andrew Werner	0.25	15.00	185	35
62	SuperFan:1	jgs	0.10	14.98	185	4
63	Quite Satisfied:0	haoyu	0.33	0.00	186	0
64	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.20	0.01	188	0
65	Supahaka:1	Joel Faron	0.25	15.00	189	35
66	The Kraken:0	haoyu	2.29	0.00	201	0
67	Jordan Ash:1	Bar Shabtai	0.95	0.01	216	0
68	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	1.35	0.00	224	0
69	Jameh:0	haoyu	0.08	0.01	230	0
70	Gewang:0	Jonathan Kwok	1.33	0.00	232	0
71	Qinlan Shen:0	Bar Shabtai	0.18	0.01	234	0
72	Boomshanka:1	Bar Shabtai	1.34	0.01	254	0
73	0108:1	haoyu	0.27	0.01	259	0
74	Qinlan Shen:1	R. A. B.	0.33	9.00	285	1
75	Gewang:1	Jonathan Kwok	0.33	0.00	298	0
76	DeeEmEm:0	CAPS LOCK	1.62	13.00	357	1
77	Jameh:1	haoyu	0.19	0.01	370	0
78	DeeEmEm:1	haoyu	1.53	0.02	443	0
79	Andrew Grasso:0	Aaron Doll	5.52	0.18	477	0
80	Dusty:0	CookieMonster	2.59	1.39	605	0
81	Dusty:1	Shaheed Chagani	0.64	0.22	618	0
82	Valya Barboy:1	Shaheed Chagani	3.42	0.18	686	0
83	Mickey Mouse:0	Bar Shabtai	1.29	0.01	689	0
84	Valya Barboy:0	Aristotle	2.90	0.06	753	0
85	Mickey Mouse:1	haoyu	1.56	0.01	763	0
86	Jordan Ash:0	EC	0.93	0.03	853	0
87	Keji Xu:0	Nihar the Great	1.84	0.03	930	0
88	0108:0	jgs	1.74	14.98	959	1
89	weezy:0	Bar Shabtai	3.87	0.01	981	0
90	Anon5:1	Green "The Bean" Choi	8.59	0.07	1038	0
91	Anon_K_P:1	Aristotle	13.86	0.03	1119	0
92	Matt Haake:1	haoyu	3.06	0.05	1155	0
93	Alex Fish:0	haoyu	3.99	0.01	1164	0
94	weezy:1	Bar Shabtai	3.90	0.01	1171	0
95	David H.:1	DeeEmEm	9.61	0.33	1174	0
96	Tao:0	Bar Shabtai	3.70	0.02	1176	0
97	Tiny Wings:1	haoyu	12.62	0.01	1292	0
98	Tiny Wings:0	haoyu	5.05	0.02	1344	0
99	The Whitman Whale:1	Andrew Grasso	3.71	0.03	1348	0
100	David H.:0	AFC	14.11	0.28	1374	0
101	Sally Smith:1	haoyu	3.86	0.04	1392	0
102	Sally Smith:0	haoyu	3.53	0.04	1402	0
103	kt4124:1	haoyu	10.65	0.04	1422	0
104	George Okeowo:1	Andrew Grasso	1.46	0.01	1423	0
105	Tao:1	Aristotle	12.05	0.07	1424	0
106	Alex Fish:1	haoyu	2.28	0.02	1466	0
107	CookieMonster:0	CookieMonster	8.33	0.82	1501	0
108	kt4124:0	haoyu	8.82	0.03	1582	0
109	cat:1	haoyu	8.13	0.03	1584	0
110	George Okeowo:0	Andrew Grasso	1.55	0.01	1597	0
111	The Whitman Whale:0	bigwig	12.96	0.04	1868	0
112	Mr. Blobby:1	dusty	6.70	0.12	2105	0
113	Ytterbium:0	Andrew Grasso	4.22	0.02	2105	0
114	Glenn Fisher:1	jabreezy	6.04	0.09	2516	0
115	Glenn Fisher:0	Elphaba	9.80	0.02	2623	0
116	Samuel Jerome:0	haoyu	12.30	0.03	2798	0
117	Brendan Wright:1	Deric Cheng	15.00	0.10	36	0
118	David Lackey:0	Anon5	15.00	0.03	95	0
119	David Lackey:1	Bar Shabtai	15.00	0.03	215	0
120	Tom T:0	EC	15.00	0.02	262	0
121	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	473	0
122	Keji Xu:1	Nihar the Great	15.00	0.04	927	0
123	Matt Haake:0	haoyu	15.00	0.05	1214	0
124	vluu:0	Nihar the Great	15.00	0.01	1216	0
125	NA:0	haoyu	15.00	0.03	1456	0
126	vluu:1	Nihar the Great	15.00	0.02	1464	0
127	Anon_K_P:0	haoyu	15.00	0.02	1642	0
128	NA:1	Elphaba	15.00	0.04	1650	0
129	Nikhilesh Sigatapu:1	haoyu	15.00	0.04	1676	0
130	Nikhilesh Sigatapu:0	haoyu	15.00	0.03	1745	0
131	CookieMonster:1	CookieMonster	15.00	1.10	1749	0
132	cat:0	haoyu	15.00	0.03	1783	0
133	Yan Wu:1	haoyu	15.00	0.04	1827	0
134	snowflakes:1	haoyu	15.00	0.03	1947	0
135	Fanny:0	Aristotle	15.00	0.10	1974	0
136	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	2112	0
137	snowflakes:0	haoyu	15.00	0.03	2114	0
138	Samuel Jerome:1	haoyu	15.00	0.03	2368	0
139	Anon5:0	haoyu	15.00	0.05	2507	0
140	AFC:0	CookieMonster	15.00	0.34	2711	0
141	EC:0	haoyu	15.00	0.03	2787	0
142	AFC:1	Aristotle	15.00	0.16	2994	0
143	spl:1	haoyu	15.00	0.06	3104	0
144	spl:0	Elphaba	15.00	0.09	3324	0
145	Lisa Kim:1	Bar Shabtai	15.00	0.06	3669	0
146	Yan Wu:0	haoyu	15.00	0.05	3707	0
147	EC:1	haoyu	15.00	0.03	3737	0
148	Lisa Kim:0	Aristotle	15.00	0.07	3771	0
149	Walter Little:0	haoyu	15.00	0.04	3779	0
150	nupog:1	Aristotle	15.00	0.12	3819	0
151	nupog:0	Aristotle	15.00	0.13	3835	0
152	jabreezy:0	Mercury	15.00	0.09	4001	0
153	Ben Chen:1	spl	15.00	0.20	4093	0
154	Ben Chen:0	Elphaba	15.00	0.07	4136	0
155	Ytterbium:1	Nihar the Great	15.00	0.02	4204	0
156	Walter Little:1	haoyu	15.00	0.03	4476	0
157	jabreezy:1	Mercury	15.00	0.10	4831	0
158	Khoa:0	haoyu	15.00	0.09	4923	0
159	bfang:1	haoyu	15.00	0.04	5213	0
160	Mercury:1	haoyu	15.00	0.05	5325	0
161	soccer:0	haoyu	15.00	0.04	5705	0
162	bfang:0	haoyu	15.00	0.04	5718	0
163	ebp:1	haoyu	15.00	0.04	5737	0
164	soccer:1	haoyu	15.00	0.04	5795	0
165	Khoa:1	Aristotle	15.00	0.09	6256	0
166	ebp:0	haoyu	15.00	0.04	6283	0
167	Mercury:0	haoyu	15.00	0.05	6343	0
168	Batman:1	haoyu	15.00	0.04	7184	0
169	Yacob Y.:0	haoyu	15.00	0.06	7190	0
170	Absurdity:0	Aristotle	15.00	0.23	7493	0
171	Batman:0	haoyu	15.00	0.04	7933	0
172	KingBach:1	haoyu	15.00	0.04	9121	0
173	Sabar Dasgupta:0	spl	15.00	0.23	9265	0
174	Yacob Y.:1	Aristotle	15.00	15.00	9811	1
175	Sabar Dasgupta:1	Aaron Doll	15.00	0.17	9925	0
176	Charliezsc:0	jgs	15.00	14.98	10065	1
177	Charliezsc:1	haoyu	15.00	0.07	11239	0
178	Mike Hunt:0	Aristotle	15.00	0.27	14594	0
179	dfshasdsf12:0	haoyu	15.00	0.09	14968	0
180	John Whelchel:1	haoyu	15.00	0.11	16336	0
181	Aaron H:0	Aristotle	15.00	0.11	18101	0
182	Lil Thug:0	Andrew Grasso	15.00	0.03	19774	0
183	Andys:0	Aristotle	15.00	0.12	25415	0
184	dfshasdsf12:1	Nihar the Great	15.00	0.11	28589	0
185	burrito:1	haoyu	15.00	0.10	30364	0
186	Shaheed Chagani:0	Aristotle	15.00	0.17	33021	0
187	Elphaba:0	Aristotle	15.00	0.24	82788	0
188	13a:0	Aaron Doll	15.00	15.00	105334	21
189	Linda:1	Andrew Grasso	15.00	0.02	1467	0
190	Sprt:1	haoyu	15.00	0.05	8898	0
191	KingBach:0	haoyu	15.00	0.06	9806	0
192	BH:0	haoyu	15.00	0.07	15672	0
193	Mike Hunt:1	Aristotle	15.00	0.29	16528	0
194	Sprt:0	Aristotle	15.00	0.11	19458	0
195	Aaron H:1	Aristotle	15.00	0.11	20447	0
196	Andrew Werner:0	Aaron Doll	15.00	0.33	20966	0
197	Andrew Werner:1	haoyu	15.00	0.11	22425	0
198	DinnerPartyPlannerBM:0	Aristotle	15.00	0.11	30567	0
199	Shaheed Chagani:1	Aristotle	15.00	0.11	31155	0
200	jgs:0	Aristotle	15.00	0.12	38171	0
201	BH:1	haoyu	15.00	0.05	14529	0
202	burrito:0	haoyu	15.00	0.09	15488	0
203	DinnerPartyPlannerBM:1	Nihar the Great	15.00	0.06	16938	0
204	Lil Thug:1	Andrew Grasso	15.00	0.03	20611	0
205	Andys:1	Aristotle	15.00	0.13	21898	0
206	Deric Cheng:0	jgs	15.00	14.99	39658	1
207	Elphaba:1	Aristotle	15.00	0.22	85353	0
208	Absurdity:1	Aristotle	15.00	0.18	8326	0
209	John Whelchel:0	haoyu	15.00	0.06	20252	0
210	Bar Shabtai:1	haoyu	15.00	0.12	35199	0
211	Fanny:1	Aristotle	15.01	0.12	1855	0
212	Deric Cheng:1	jgs	15.01	14.98	34790	1
213	jgs:1	haoyu	15.01	0.18	39749	0
214	Nihar the Great:1	Aristotle	15.01	0.25	96350	0
215	Brendan Wright:0	haoyu	15.01	0.10	90	0
216	Nihar the Great:0	Aristotle	15.01	0.23	56086	0
217	Aristotle:1	Aristotle	15.01	9.69	764547	0
218	Linda:0	Andrew Grasso	15.01	0.01	1415	0
219	13a:1	Aaron Doll	15.02	15.00	103254	29
220	Matt Goldsmith:0	Nihar the Great	15.02	0.03	513287	0
221	Aaron Doll:0	Aristotle	15.02	0.56	279672	0
222	Bar Shabtai:0	Aaron Doll	15.02	15.01	321326	1
223	CAPS LOCK:0	Aristotle	15.02	0.20	16539	0
224	Aristotle:0	Aristotle	15.02	15.00	753496	1
225	CAPS LOCK:1	Aristotle	15.03	0.25	35347	0
226	Aaron Doll:1	Aristotle	15.06	1.27	322016	0
227	Matt Goldsmith:1	Happy	15.09	0.03	516327	0
228	Blam:1	Elphaba	-	0.00	-	0

SatSolvers Ranklist

Generators Ranklist