Stats for satsolver: bfang

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 bfang 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 bfang 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:	bfang
Rank:	64 / 118
Average Score:	9.59
Median Score:	13.71
Description:	Runs DPLL (pure symbol heuristic, unit clause heuristic, degree heuristic) and switches to WalkSAT with frequent random restarts when time is almost up.

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	bigwig:0	Andrew Werner	0.00	0.00	0	0
2	bigwig:1	KingBach	0.00	0.00	0	0
3	Bebe Shi:1	KingBach	0.00	0.00	0	0
4	Jonathan Kwok:1	KingBach	0.00	0.00	0	0
5	BMJ:1	burrito	0.00	0.00	0	0
6	Jonathan Kwok:0	Elphaba	0.00	0.00	0	0
7	BMJ:0	Elphaba	0.00	0.00	0	0
8	Bebe Shi:0	KingBach	0.00	0.00	0	0
9	Happy:1	KingBach	0.00	0.00	0	0
10	K.L.:1	KingBach	0.00	0.00	0	0
11	Daffy Duck:1	haoyu	0.01	0.00	0	0
12	Happy:0	haoyu	0.01	0.00	0	0
13	R. A. B.:1	cat	0.01	0.00	0	0
14	Daffy Duck:0	Andrew Werner	0.02	0.00	0	0
15	Miranda:0	cat	0.02	0.00	0	0
16	Ravi Tandon:0	KingBach	0.02	0.00	0	0
17	Tree Prophet:1	haoyu	0.02	0.00	0	0
18	Solving For Clauses:0	Glenn Fisher	0.02	0.00	0	0
19	Tree Prophet:0	haoyu	0.02	0.00	0	0
20	Joshua Zimmer:1	haoyu	0.02	0.00	0	0
21	Quite Satisfied:0	haoyu	0.02	0.00	0	0
22	Joshua Zimmer:0	haoyu	0.02	0.00	0	0
23	Gewang:1	Jonathan Kwok	0.02	0.00	0	0
24	Gewang:0	Jonathan Kwok	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	K.L.:0	haoyu	0.02	0.00	0	0
28	Blam:0	Elphaba	0.03	0.00	0	0
29	David Paulk:1	Bar Shabtai	0.03	0.00	0	0
30	Ravi Tandon:1	KingBach	0.03	0.00	0	0
31	Solving For Clauses:1	haoyu	0.03	0.00	0	0
32	Miranda:1	cat	0.03	0.00	0	0
33	bchouGenerator:1	Jonathan Kwok	0.03	0.01	0	0
34	Jordan Ash:1	Bar Shabtai	0.03	0.01	0	0
35	bchouGenerator:0	haoyu	0.04	0.00	0	0
36	The Kraken:1	haoyu	0.04	0.00	0	0
37	The Kraken:0	haoyu	0.04	0.00	0	0
38	Sunny:1	jabreezy	0.05	0.01	0	0
39	Sunny:0	Green "The Bean" Choi	0.05	0.02	0	0
40	Scheduling Generator 203:0	jgs	0.06	0.01	0	0
41	weezy:0	Bar Shabtai	0.07	0.01	0	0
42	weezy:1	Bar Shabtai	0.07	0.01	0	0
43	R. A. B.:0	Nihar the Great	0.07	0.00	0	0
44	David Lackey:0	Anon5	0.07	0.03	0	0
45	David Lackey:1	Bar Shabtai	0.07	0.03	0	0
46	Alex Fish:1	haoyu	0.09	0.02	0	0
47	Boomshanka:0	haoyu	0.09	0.01	0	0
48	Jordan Ash:0	EC	0.09	0.03	0	0
49	Alex Fish:0	haoyu	0.09	0.01	0	0
50	0108:1	haoyu	0.09	0.01	0	0
51	DeeEmEm:1	haoyu	0.10	0.02	0	0
52	Dr Roberto:0	Andrew Grasso	0.10	0.03	0	0
53	Brendan Wright:1	Deric Cheng	0.10	0.10	0	0
54	Scheduling Generator 203:1	Jameh	0.12	0.02	0	0
55	Boomshanka:1	Bar Shabtai	0.13	0.01	0	0
56	Bob Dondero:1	Mickey Mouse	0.14	0.03	0	0
57	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.14	0.01	0	0
58	Brendan Wright:0	haoyu	0.16	0.10	0	0
59	Bob Dondero:0	Andrew Grasso	0.16	0.02	0	0
60	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.17	0.00	0	0
61	Anon5:1	Green "The Bean" Choi	0.17	0.07	0	0
62	Tom T:0	EC	0.20	0.02	0	0
63	Anon_K_P:1	Aristotle	0.24	0.03	0	0
64	Tom T:1	Andrew Werner	0.24	0.02	0	0
65	Mickey Mouse:0	Bar Shabtai	0.26	0.01	0	0
66	Mickey Mouse:1	haoyu	0.28	0.01	0	0
67	Tiny Wings:1	haoyu	0.30	0.01	0	0
68	Linda:0	Andrew Grasso	0.32	0.01	0	0
69	Tiny Wings:0	haoyu	0.33	0.02	0	0
70	Linda:1	Andrew Grasso	0.38	0.02	0	0
71	Yan Wu:0	haoyu	0.40	0.05	0	0
72	Jameh:0	haoyu	0.45	0.01	0	0
73	haoyu:0	KingBach	0.55	0.01	0	0
74	Ytterbium:0	Andrew Grasso	0.56	0.02	0	0
75	Nikhilesh Sigatapu:0	haoyu	0.81	0.03	0	0
76	Dr Roberto:1	Andrew Grasso	0.81	0.02	0	0
77	Nikhilesh Sigatapu:1	haoyu	0.84	0.04	0	0
78	Mike Honcho:0	Miranda	0.96	0.01	0	0
79	haoyu:1	Anon5	1.02	0.01	0	0
80	Anon_K_P:0	haoyu	1.06	0.02	0	0
81	Mercury:1	haoyu	1.12	0.05	0	0
82	Mercury:0	haoyu	1.14	0.05	0	0
83	The Whitman Whale:0	bigwig	1.34	0.04	0	0
84	The Whitman Whale:1	Andrew Grasso	1.36	0.03	0	0
85	Samuel Jerome:0	haoyu	1.45	0.03	0	0
86	Mike Honcho:1	Jessie Chen	1.47	0.01	0	0
87	Matt Haake:0	haoyu	1.64	0.05	0	0
88	Glenn Fisher:0	Elphaba	1.93	0.02	0	0
89	cat:0	haoyu	2.01	0.03	0	0
90	cat:1	haoyu	2.06	0.03	0	0
91	snowflakes:0	haoyu	2.06	0.03	0	0
92	snowflakes:1	haoyu	2.06	0.03	0	0
93	vluu:0	Nihar the Great	2.23	0.01	0	0
94	NA:1	Elphaba	2.34	0.04	0	0
95	Jameh:1	haoyu	2.64	0.01	0	0
96	Glenn Fisher:1	jabreezy	2.66	0.09	0	0
97	EC:1	haoyu	2.71	0.03	0	0
98	Ytterbium:1	Nihar the Great	2.81	0.02	0	0
99	vluu:1	Nihar the Great	2.83	0.02	0	0
100	NA:0	haoyu	2.87	0.03	0	0
101	Anon5:0	haoyu	3.34	0.05	0	0
102	Lisa Kim:1	Bar Shabtai	4.08	0.06	0	0
103	Lisa Kim:0	Aristotle	4.40	0.07	0	0
104	EC:0	haoyu	5.92	0.03	0	0
105	Sally Smith:0	haoyu	6.17	0.04	0	0
106	Sally Smith:1	haoyu	7.73	0.04	0	0
107	kt4124:1	haoyu	8.74	0.04	0	0
108	Qinlan Shen:0	Bar Shabtai	9.21	0.01	0	0
109	cmF5a3ly:1	Nihar the Great	9.51	0.00	0	0
110	kt4124:0	haoyu	9.54	0.03	0	0
111	cmF5a3ly:0	Nihar the Great	11.28	0.00	0	0
112	David H.:0	AFC	11.48	0.28	0	0
113	Mr. Blobby:1	dusty	12.43	0.12	0	0
114	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
115	0108:0	jgs	15.00	14.98	1	1
116	T. Capote:0	haoyu	15.00	0.00	2	2
117	T. Capote:1	haoyu	15.00	0.00	2	2
118	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
119	Tao:1	Aristotle	15.00	0.07	1	0
120	David H.:1	DeeEmEm	15.00	0.33	1	0
121	CookieMonster:0	CookieMonster	15.00	0.82	1	0
122	Jessie Chen:0	Joel Faron	15.00	0.13	2	1
123	Jessie Chen:1	Joel Faron	15.00	0.12	2	1
124	Tao:0	Bar Shabtai	15.00	0.02	2	0
125	Fanny:0	Aristotle	15.00	0.10	3	0
126	Walter Little:1	haoyu	15.00	0.03	3	0
127	DeeEmEm:0	CAPS LOCK	15.00	13.00	3	1
128	Fanny:1	Aristotle	15.00	0.12	3	0
129	Samuel Jerome:1	haoyu	15.00	0.03	4	0
130	Valya Barboy:1	Shaheed Chagani	15.00	0.18	5	0
131	CookieMonster:1	CookieMonster	15.00	1.10	5	0
132	SuperFan:1	jgs	15.00	14.98	6	4
133	Keji Xu:0	Nihar the Great	15.00	0.03	6	0
134	Valya Barboy:0	Aristotle	15.00	0.06	7	0
135	Walter Little:0	haoyu	15.00	0.04	14	0
136	Matt Haake:1	haoyu	15.00	0.05	14	0
137	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	15	0
138	Dusty:0	CookieMonster	15.00	1.39	19	0
139	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	20	0
140	Andrew Grasso:0	Aaron Doll	15.00	0.18	22	0
141	Dusty:1	Shaheed Chagani	15.00	0.22	23	0
142	SuperFan:0	jgs	15.00	14.98	27	4
143	Janie Gu:1	Jonathan Kwok	15.00	0.07	52	0
144	Janie Gu:0	Glenn Fisher	15.00	0.07	56	0
145	bfang:1	haoyu	15.00	0.04	60	0
146	Quite Satisfied:1	Joel Faron	15.00	2.11	106	1
147	bfang:0	haoyu	15.00	0.04	114	0
148	Supahaka:1	Joel Faron	15.00	15.00	172	35
149	Supahaka:0	Andrew Werner	15.00	15.00	173	35
150	Mark S. Fillmore:0	Supahaka	15.00	0.01	362	116
151	Yan Wu:1	haoyu	15.00	0.04	650	0
152	totallyOnFallBreak:1	Nikhilesh Sigatapu	15.00	0.01	1116	0
153	totallyOnFallBreak:0	Nikhilesh Sigatapu	15.00	0.01	1297	0
154	Yacob Y.:0	haoyu	15.00	0.06	1971	0
155	Ben Chen:0	Elphaba	15.00	0.07	2986	0
156	Ben Chen:1	spl	15.00	0.20	3106	0
157	spl:1	haoyu	15.00	0.06	3203	0
158	Yacob Y.:1	Aristotle	15.00	15.00	3227	1
159	George Okeowo:0	Andrew Grasso	15.00	0.01	3233	0
160	George Okeowo:1	Andrew Grasso	15.00	0.01	3339	0
161	spl:0	Elphaba	15.00	0.09	3383	0
162	jabreezy:0	Mercury	15.00	0.09	3894	0
163	jabreezy:1	Mercury	15.00	0.10	3901	0
164	Batman:0	haoyu	15.00	0.04	4481	0
165	Batman:1	haoyu	15.00	0.04	4621	0
166	soccer:0	haoyu	15.00	0.04	4882	0
167	ebp:1	haoyu	15.00	0.04	6351	0
168	ebp:0	haoyu	15.00	0.04	6645	0
169	Khoa:1	Aristotle	15.00	0.09	6687	0
170	Khoa:0	haoyu	15.00	0.09	6838	0
171	Charliezsc:0	jgs	15.00	14.98	7360	1
172	Absurdity:1	Aristotle	15.00	0.18	7760	0
173	Absurdity:0	Aristotle	15.00	0.23	7771	0
174	Charliezsc:1	haoyu	15.00	0.07	10826	0
175	Sabar Dasgupta:1	Aaron Doll	15.00	0.17	10879	0
176	Sabar Dasgupta:0	spl	15.00	0.23	11361	0
177	Mike Hunt:0	Aristotle	15.00	0.27	19940	0
178	Mike Hunt:1	Aristotle	15.00	0.29	20508	0
179	DinnerPartyPlannerBM:1	Nihar the Great	15.00	0.06	20773	0
180	John Whelchel:0	haoyu	15.00	0.06	26698	0
181	Andrew Werner:0	Aaron Doll	15.00	0.33	27661	0
182	Lil Thug:0	Andrew Grasso	15.00	0.03	29998	0
183	DinnerPartyPlannerBM:0	Aristotle	15.00	0.11	42262	0
184	Elphaba:0	Aristotle	15.00	0.24	103436	0
185	Keji Xu:1	Nihar the Great	15.00	0.04	17	0
186	soccer:1	haoyu	15.00	0.04	4832	0
187	KingBach:0	haoyu	15.00	0.06	6450	0
188	dfshasdsf12:0	haoyu	15.00	0.09	17397	0
189	John Whelchel:1	haoyu	15.00	0.11	26637	0
190	dfshasdsf12:1	Nihar the Great	15.00	0.11	27678	0
191	jgs:0	Aristotle	15.00	0.12	54955	0
192	AFC:1	Aristotle	15.00	0.16	3	0
193	AFC:0	CookieMonster	15.00	0.34	4	0
194	nupog:1	Aristotle	15.00	0.12	4767	0
195	KingBach:1	haoyu	15.00	0.04	6181	0
196	Sprt:1	haoyu	15.00	0.05	10173	0
197	BH:1	haoyu	15.00	0.05	17453	0
198	CAPS LOCK:0	Aristotle	15.00	0.20	45833	0
199	nupog:0	Aristotle	15.00	0.13	4791	0
200	Sprt:0	Aristotle	15.00	0.11	25866	0
201	burrito:1	haoyu	15.00	0.10	41533	0
202	BH:0	haoyu	15.00	0.07	17079	0
203	Andys:0	Aristotle	15.00	0.12	22628	0
204	Aaron H:0	Aristotle	15.00	0.11	24813	0
205	Andrew Werner:1	haoyu	15.00	0.11	28628	0
206	Nihar the Great:1	Aristotle	15.00	0.25	66216	0
207	Aaron H:1	Aristotle	15.01	0.11	23651	0
208	Lil Thug:1	Andrew Grasso	15.01	0.03	29565	0
209	Shaheed Chagani:1	Aristotle	15.01	0.11	30463	0
210	Deric Cheng:1	jgs	15.01	14.98	35100	1
211	Elphaba:1	Aristotle	15.01	0.22	103657	0
212	burrito:0	haoyu	15.01	0.09	20734	0
213	jgs:1	haoyu	15.01	0.18	54281	0
214	Andys:1	Aristotle	15.01	0.13	22276	0
215	13a:1	Aaron Doll	15.01	15.00	118970	29
216	Deric Cheng:0	jgs	15.01	14.99	35806	1
217	Bar Shabtai:1	haoyu	15.01	0.12	48981	0
218	Shaheed Chagani:0	Aristotle	15.01	0.17	31368	0
219	Aaron Doll:1	Aristotle	15.01	1.27	330679	0
220	Nihar the Great:0	Aristotle	15.02	0.23	61413	0
221	13a:0	Aaron Doll	15.02	15.00	119576	21
222	CAPS LOCK:1	Aristotle	15.04	0.25	73772	0
223	Aaron Doll:0	Aristotle	15.05	0.56	273307	0
224	Matt Goldsmith:0	Nihar the Great	15.06	0.03	505335	0
225	Matt Goldsmith:1	Happy	15.17	0.03	504299	0
226	Aristotle:0	Aristotle	88.64	15.00	119	1
227	Aristotle:1	Aristotle	108.88	9.69	119	0
228	Bar Shabtai:0	Aaron Doll	-	15.01	-	1

SatSolvers Ranklist

Generators Ranklist