Stats for satsolver: SuperFan

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 SuperFan 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 SuperFan 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:	SuperFan
Rank:	98 / 118
Average Score:	18.04
Median Score:	15.03
Description:	This algorithm is an implementation of a k beam Walk-Sat with random restarts. The algorithm continuously updates the remembered models by randomly choosing a model and flipping a bit, then deciding whether to accept the move or use the heuristic.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:0	Andrew Werner	0.01	0.00	0	0
2	bigwig:1	KingBach	0.01	0.00	0	0
3	Ravi Tandon:0	KingBach	0.02	0.00	0	0
4	Mike Honcho:0	Miranda	0.02	0.01	0	0
5	Happy:1	KingBach	0.02	0.00	0	0
6	Bebe Shi:1	KingBach	0.02	0.00	0	0
7	K.L.:1	KingBach	0.02	0.00	0	0
8	Ravi Tandon:1	KingBach	0.02	0.00	0	0
9	Mike Honcho:1	Jessie Chen	0.03	0.01	0	0
10	Bebe Shi:0	KingBach	0.03	0.00	0	0
11	Jonathan Kwok:1	KingBach	0.04	0.00	0	0
12	Happy:0	haoyu	0.07	0.00	0	0
13	BMJ:0	Elphaba	0.08	0.00	0	0
14	Jonathan Kwok:0	Elphaba	0.11	0.00	0	0
15	BMJ:1	burrito	0.13	0.00	0	0
16	Miranda:1	cat	0.14	0.00	0	0
17	Solving For Clauses:0	Glenn Fisher	0.14	0.00	0	0
18	K.L.:0	haoyu	0.14	0.00	0	0
19	Miranda:0	cat	0.14	0.00	0	0
20	Daffy Duck:0	Andrew Werner	0.17	0.00	0	0
21	Daffy Duck:1	haoyu	0.20	0.00	0	0
22	bchouGenerator:0	haoyu	0.34	0.00	0	0
23	Joshua Zimmer:1	haoyu	0.36	0.00	0	0
24	Solving For Clauses:1	haoyu	0.36	0.00	0	0
25	R. A. B.:1	cat	0.48	0.00	0	0
26	Joshua Zimmer:0	haoyu	0.52	0.00	0	0
27	bchouGenerator:1	Jonathan Kwok	1.04	0.01	0	0
28	Gewang:0	Jonathan Kwok	1.24	0.00	0	0
29	haoyu:0	KingBach	1.37	0.01	0	0
30	Scheduling Generator 203:0	jgs	2.19	0.01	0	0
31	Blam:1	Elphaba	2.45	0.00	0	0
32	Gewang:1	Jonathan Kwok	2.89	0.00	0	0
33	Tom T:1	Andrew Werner	4.24	0.02	0	0
34	Tree Prophet:0	haoyu	4.25	0.00	0	0
35	The Kraken:0	haoyu	4.37	0.00	0	0
36	Scheduling Generator 203:1	Jameh	4.54	0.02	0	0
37	Tom T:0	EC	5.63	0.02	0	0
38	David Paulk:0	cat	7.23	0.00	0	0
39	David Paulk:1	Bar Shabtai	9.69	0.00	0	0
40	haoyu:1	Anon5	12.72	0.01	0	0
41	Dr Roberto:1	Andrew Grasso	12.77	0.02	0	0
42	Bob Dondero:0	Andrew Grasso	12.86	0.02	0	0
43	The Kraken:1	haoyu	13.85	0.00	0	0
44	Jessie Chen:0	Joel Faron	15.00	0.13	1	1
45	Jordan Ash:1	Bar Shabtai	15.00	0.01	1	0
46	Quite Satisfied:0	haoyu	15.00	0.00	1	0
47	Blam:0	Elphaba	15.00	0.00	1	0
48	Tree Prophet:1	haoyu	15.00	0.00	1	0
49	Qinlan Shen:0	Bar Shabtai	15.00	0.01	1	0
50	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	15.00	0.00	2	0
51	Quite Satisfied:1	Joel Faron	15.00	2.11	2	1
52	Jessie Chen:1	Joel Faron	15.00	0.12	2	1
53	T. Capote:0	haoyu	15.00	0.00	2	2
54	T. Capote:1	haoyu	15.00	0.00	2	2
55	0108:1	haoyu	15.00	0.01	3	0
56	DeeEmEm:1	haoyu	15.00	0.02	4	0
57	Sunny:1	jabreezy	15.00	0.01	6	0
58	Sunny:0	Green "The Bean" Choi	15.00	0.02	7	0
59	DeeEmEm:0	CAPS LOCK	15.00	13.00	7	1
60	R. A. B.:0	Nihar the Great	15.00	0.00	10	0
61	SuperFan:1	jgs	15.00	14.98	13	4
62	0108:0	jgs	15.00	14.98	48	1
63	Mickey Mouse:1	haoyu	15.00	0.01	150	0
64	Matt Haake:0	haoyu	15.00	0.05	1254	0
65	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
66	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	15.00	0.01	2	0
67	Jordan Ash:0	EC	15.00	0.03	6	0
68	SuperFan:0	jgs	15.00	14.98	11	4
69	Supahaka:1	Joel Faron	15.00	15.00	120	35
70	Alex Fish:1	haoyu	15.00	0.02	313	0
71	Anon_K_P:0	haoyu	15.00	0.02	1479	0
72	Jameh:0	haoyu	15.00	0.01	213	0
73	weezy:1	Bar Shabtai	15.00	0.01	311	0
74	Boomshanka:0	haoyu	15.01	0.01	3	0
75	cmF5a3ly:0	Nihar the Great	15.01	0.00	77	0
76	cmF5a3ly:1	Nihar the Great	15.01	0.00	86	0
77	Mickey Mouse:0	Bar Shabtai	15.01	0.01	140	0
78	Tiny Wings:1	haoyu	15.01	0.01	430	0
79	Tao:1	Aristotle	15.01	0.07	1376	0
80	The Whitman Whale:0	bigwig	15.01	0.04	1470	0
81	David Lackey:1	Bar Shabtai	15.01	0.03	1	0
82	weezy:0	Bar Shabtai	15.01	0.01	217	0
83	David H.:1	DeeEmEm	15.01	0.33	442	0
84	Keji Xu:1	Nihar the Great	15.01	0.04	835	0
85	Sally Smith:1	haoyu	15.01	0.04	3029	0
86	Valya Barboy:1	Shaheed Chagani	15.01	0.18	642	0
87	David Lackey:0	Anon5	15.01	0.03	8	0
88	Mark S. Fillmore:1	Supahaka	15.01	0.04	757	79
89	Mr. Blobby:1	dusty	15.01	0.12	2443	0
90	Supahaka:0	Andrew Werner	15.01	15.00	113	35
91	Anon5:1	Green "The Bean" Choi	15.01	0.07	149	0
92	Anon_K_P:1	Aristotle	15.01	0.03	502	0
93	Tiny Wings:0	haoyu	15.01	0.02	653	0
94	David H.:0	AFC	15.01	0.28	184	0
95	Alex Fish:0	haoyu	15.01	0.01	400	0
96	Nikhilesh Sigatapu:1	haoyu	15.01	0.04	1994	0
97	Yan Wu:1	haoyu	15.01	0.04	2468	0
98	The Whitman Whale:1	Andrew Grasso	15.01	0.03	1289	0
99	EC:0	haoyu	15.01	0.03	3146	0
100	EC:1	haoyu	15.01	0.03	3020	0
101	Dusty:0	CookieMonster	15.02	1.39	572	0
102	NA:0	haoyu	15.02	0.03	1468	0
103	Anon5:0	haoyu	15.02	0.05	1472	0
104	Linda:1	Andrew Grasso	15.02	0.02	3734	0
105	Valya Barboy:0	Aristotle	15.02	0.06	509	0
106	vluu:1	Nihar the Great	15.02	0.02	1541	0
107	Janie Gu:1	Jonathan Kwok	15.02	0.07	28	0
108	Jameh:1	haoyu	15.02	0.01	632	0
109	Keji Xu:0	Nihar the Great	15.02	0.03	921	0
110	Yan Wu:0	haoyu	15.02	0.05	3300	0
111	Dr Roberto:0	Andrew Grasso	15.03	0.03	2	0
112	Fanny:1	Aristotle	15.03	0.12	1594	0
113	Janie Gu:0	Glenn Fisher	15.03	0.07	27	0
114	Andrew Grasso:1	Shaheed Chagani	15.03	0.15	530	0
115	Dusty:1	Shaheed Chagani	15.03	0.22	526	0
116	Brendan Wright:1	Deric Cheng	15.04	0.10	16	0
117	Ben Chen:0	Elphaba	15.04	0.07	4937	0
118	Samuel Jerome:1	haoyu	15.04	0.03	2839	0
119	Ytterbium:0	Andrew Grasso	15.04	0.02	1604	0
120	Matt Haake:1	haoyu	15.04	0.05	1314	0
121	Tao:0	Bar Shabtai	15.04	0.02	1410	0
122	Andrew Grasso:0	Aaron Doll	15.04	0.18	539	0
123	vluu:0	Nihar the Great	15.04	0.01	1531	0
124	Fanny:0	Aristotle	15.04	0.10	1701	0
125	Glenn Fisher:1	jabreezy	15.04	0.09	2402	0
126	Lisa Kim:1	Bar Shabtai	15.04	0.06	4040	0
127	NA:1	Elphaba	15.05	0.04	1432	0
128	cat:1	haoyu	15.05	0.03	1925	0
129	Boomshanka:1	Bar Shabtai	15.06	0.01	252	0
130	Samuel Jerome:0	haoyu	15.06	0.03	2979	0
131	CookieMonster:0	CookieMonster	15.06	0.82	3362	0
132	soccer:1	haoyu	15.06	0.04	7060	0
133	Nikhilesh Sigatapu:0	haoyu	15.06	0.03	1902	0
134	cat:0	haoyu	15.06	0.03	1979	0
135	Lisa Kim:0	Aristotle	15.06	0.07	4420	0
136	spl:1	haoyu	15.06	0.06	3854	0
137	AFC:1	Aristotle	15.08	0.16	3392	0
138	Mr. Blobby:0	Green "The Bean" Choi	15.08	0.14	2078	0
139	KingBach:0	haoyu	15.08	0.06	10008	0
140	kt4124:0	haoyu	15.08	0.03	1462	0
141	snowflakes:1	haoyu	15.09	0.03	2508	0
142	Andys:0	Aristotle	15.10	0.12	28732	0
143	Linda:0	Andrew Grasso	15.10	0.01	1388	0
144	Mark S. Fillmore:0	Supahaka	15.10	0.01	1313	116
145	AFC:0	CookieMonster	15.10	0.34	3552	0
146	Brendan Wright:0	haoyu	15.11	0.10	53	0
147	snowflakes:0	haoyu	15.11	0.03	2416	0
148	Charliezsc:0	jgs	15.11	14.98	11147	1
149	Walter Little:0	haoyu	15.11	0.04	4800	0
150	kt4124:1	haoyu	15.12	0.04	1498	0
151	ebp:0	haoyu	15.12	0.04	7703	0
152	Glenn Fisher:0	Elphaba	15.12	0.02	2374	0
153	Ben Chen:1	spl	15.12	0.20	4864	0
154	Bob Dondero:1	Mickey Mouse	15.12	0.03	1	0
155	CookieMonster:1	CookieMonster	15.13	1.10	3475	0
156	Sally Smith:0	haoyu	15.13	0.04	3195	0
157	Sprt:1	haoyu	15.15	0.05	11230	0
158	Ytterbium:1	Nihar the Great	15.15	0.02	4080	0
159	George Okeowo:1	Andrew Grasso	15.17	0.01	3775	0
160	jabreezy:1	Mercury	15.18	0.10	5398	0
161	Walter Little:1	haoyu	15.19	0.03	4979	0
162	Batman:0	haoyu	15.20	0.04	8922	0
163	Charliezsc:1	haoyu	15.22	0.07	13742	0
164	bfang:0	haoyu	15.22	0.04	6741	0
165	Batman:1	haoyu	15.23	0.04	9421	0
166	spl:0	Elphaba	15.24	0.09	3977	0
167	CAPS LOCK:0	Aristotle	15.24	0.20	40344	0
168	KingBach:1	haoyu	15.28	0.04	10281	0
169	jabreezy:0	Mercury	15.29	0.09	5199	0
170	Yacob Y.:0	haoyu	15.31	0.06	9130	0
171	Mercury:0	haoyu	15.32	0.05	6324	0
172	Mercury:1	haoyu	15.33	0.05	6592	0
173	bfang:1	haoyu	15.36	0.04	6955	0
174	Absurdity:1	Aristotle	15.36	0.18	9628	0
175	soccer:0	haoyu	15.39	0.04	7030	0
176	Yacob Y.:1	Aristotle	15.39	15.00	10007	1
177	George Okeowo:0	Andrew Grasso	15.40	0.01	3716	0
178	Shaheed Chagani:1	Aristotle	15.40	0.11	33176	0
179	Khoa:1	Aristotle	15.41	0.09	7543	0
180	John Whelchel:0	haoyu	15.44	0.06	28201	0
181	Khoa:0	haoyu	15.47	0.09	7382	0
182	dfshasdsf12:1	Nihar the Great	15.49	0.11	29466	0
183	Absurdity:0	Aristotle	15.53	0.23	9461	0
184	Andys:1	Aristotle	15.53	0.13	27170	0
185	totallyOnFallBreak:0	Nikhilesh Sigatapu	15.55	0.01	1303	0
186	Sabar Dasgupta:1	Aaron Doll	15.67	0.17	13049	0
187	ebp:1	haoyu	15.78	0.04	7321	0
188	Sabar Dasgupta:0	spl	15.87	0.23	12599	0
189	Aaron H:0	Aristotle	15.90	0.11	24643	0
190	Lil Thug:0	Andrew Grasso	15.95	0.03	27453	0
191	Lil Thug:1	Andrew Grasso	16.20	0.03	28441	0
192	burrito:0	haoyu	16.22	0.09	21177	0
193	Aaron H:1	Aristotle	16.42	0.11	24252	0
194	DinnerPartyPlannerBM:1	Nihar the Great	16.50	0.06	22014	0
195	Shaheed Chagani:0	Aristotle	16.63	0.17	31220	0
196	Deric Cheng:1	jgs	16.70	14.98	53228	1
197	Andrew Werner:0	Aaron Doll	16.73	0.33	29435	0
198	Deric Cheng:0	jgs	16.78	14.99	50806	1
199	BH:0	haoyu	16.84	0.07	19801	0
200	totallyOnFallBreak:1	Nikhilesh Sigatapu	17.04	0.01	1598	0
201	John Whelchel:1	haoyu	17.20	0.11	27985	0
202	dfshasdsf12:0	haoyu	17.26	0.09	19305	0
203	Mike Hunt:1	Aristotle	17.48	0.29	21398	0
204	BH:1	haoyu	17.77	0.05	19277	0
205	Mike Hunt:0	Aristotle	17.86	0.27	21281	0
206	Bar Shabtai:1	haoyu	17.95	0.12	46944	0
207	Andrew Werner:1	haoyu	18.05	0.11	27204	0
208	jgs:0	Aristotle	18.15	0.12	54659	0
209	nupog:0	Aristotle	18.21	0.13	4860	0
210	burrito:1	haoyu	18.24	0.10	41792	0
211	Sprt:0	Aristotle	18.30	0.11	24892	0
212	nupog:1	Aristotle	18.34	0.12	4874	0
213	jgs:1	haoyu	19.49	0.18	51425	0
214	DinnerPartyPlannerBM:0	Aristotle	20.84	0.11	41480	0
215	Elphaba:1	Aristotle	23.17	0.22	103039	0
216	CAPS LOCK:1	Aristotle	26.37	0.25	53904	0
217	Elphaba:0	Aristotle	29.06	0.24	96945	0
218	13a:1	Aaron Doll	41.14	15.00	118810	29
219	13a:0	Aaron Doll	42.33	15.00	118027	21
220	Nihar the Great:1	Aristotle	90.02	0.25	80582	0
221	Nihar the Great:0	Aristotle	106.42	0.23	51047	0
222	Aaron Doll:0	Aristotle	113.97	0.56	264723	0
223	Aaron Doll:1	Aristotle	140.77	1.27	330194	0
224	Matt Goldsmith:0	Nihar the Great	-	0.03	-	0
225	Aristotle:1	Aristotle	-	9.69	-	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