Stats for satsolver: BH

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 BH 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 BH 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:	BH
Rank:	10 / 118
Average Score:	4.53
Median Score:	0.66
Description:	WalkSat Breakcount: Use a breakcount- the number of already satisfied clauses that become broken if a symbol is flipped, to choose which bit to flip

	Generator	Best solver	Time taken	Best time	Unsat	Best unsat
1	Ravi Tandon:0	KingBach	0.00	0.00	0	0
2	bigwig:1	KingBach	0.00	0.00	0	0
3	K.L.:1	KingBach	0.00	0.00	0	0
4	Bebe Shi:0	KingBach	0.00	0.00	0	0
5	Ravi Tandon:1	KingBach	0.00	0.00	0	0
6	Bebe Shi:1	KingBach	0.01	0.00	0	0
7	bigwig:0	Andrew Werner	0.01	0.00	0	0
8	Happy:1	KingBach	0.01	0.00	0	0
9	Jonathan Kwok:0	Elphaba	0.01	0.00	0	0
10	K.L.:0	haoyu	0.01	0.00	0	0
11	R. A. B.:1	cat	0.01	0.00	0	0
12	Miranda:1	cat	0.01	0.00	0	0
13	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
14	BMJ:1	burrito	0.01	0.00	0	0
15	Solving For Clauses:0	Glenn Fisher	0.01	0.00	0	0
16	Joshua Zimmer:1	haoyu	0.01	0.00	0	0
17	Joshua Zimmer:0	haoyu	0.02	0.00	0	0
18	Solving For Clauses:1	haoyu	0.02	0.00	0	0
19	Miranda:0	cat	0.02	0.00	0	0
20	haoyu:1	Anon5	0.02	0.01	0	0
21	bchouGenerator:0	haoyu	0.02	0.00	0	0
22	BMJ:0	Elphaba	0.03	0.00	0	0
23	Quite Satisfied:0	haoyu	0.03	0.00	0	0
24	Daffy Duck:0	Andrew Werner	0.03	0.00	0	0
25	Blam:0	Elphaba	0.03	0.00	0	0
26	haoyu:0	KingBach	0.03	0.01	0	0
27	Daffy Duck:1	haoyu	0.03	0.00	0	0
28	Gewang:0	Jonathan Kwok	0.03	0.00	0	0
29	Blam:1	Elphaba	0.04	0.00	0	0
30	Gewang:1	Jonathan Kwok	0.04	0.00	0	0
31	Tree Prophet:0	haoyu	0.04	0.00	0	0
32	Tree Prophet:1	haoyu	0.04	0.00	0	0
33	Happy:0	haoyu	0.04	0.00	0	0
34	The Kraken:0	haoyu	0.04	0.00	0	0
35	David Paulk:1	Bar Shabtai	0.05	0.00	0	0
36	The Kraken:1	haoyu	0.05	0.00	0	0
37	David Paulk:0	cat	0.05	0.00	0	0
38	Jordan Ash:1	Bar Shabtai	0.05	0.01	0	0
39	Sunny:0	Green "The Bean" Choi	0.05	0.02	0	0
40	R. A. B.:0	Nihar the Great	0.06	0.00	0	0
41	Qinlan Shen:0	Bar Shabtai	0.06	0.01	0	0
42	Scheduling Generator 203:0	jgs	0.06	0.01	0	0
43	bchouGenerator:1	Jonathan Kwok	0.07	0.01	0	0
44	cmF5a3ly:0	Nihar the Great	0.07	0.00	0	0
45	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	0.07	0.00	0	0
46	Mickey Mouse:0	Bar Shabtai	0.07	0.01	0	0
47	cmF5a3ly:1	Nihar the Great	0.08	0.00	0	0
48	Jordan Ash:0	EC	0.08	0.03	0	0
49	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	0.08	0.01	0	0
50	0108:1	haoyu	0.08	0.01	0	0
51	Mickey Mouse:1	haoyu	0.09	0.01	0	0
52	weezy:0	Bar Shabtai	0.09	0.01	0	0
53	Jameh:0	haoyu	0.10	0.01	0	0
54	Sunny:1	jabreezy	0.10	0.01	0	0
55	totallyOnFallBreak:0	Nikhilesh Sigatapu	0.10	0.01	0	0
56	Tom T:0	EC	0.11	0.02	0	0
57	Alex Fish:1	haoyu	0.11	0.02	0	0
58	Tiny Wings:1	haoyu	0.11	0.01	0	0
59	weezy:1	Bar Shabtai	0.11	0.01	0	0
60	Tom T:1	Andrew Werner	0.11	0.02	0	0
61	Boomshanka:1	Bar Shabtai	0.11	0.01	0	0
62	Alex Fish:0	haoyu	0.12	0.01	0	0
63	DeeEmEm:1	haoyu	0.12	0.02	0	0
64	Janie Gu:1	Jonathan Kwok	0.12	0.07	0	0
65	Dr Roberto:1	Andrew Grasso	0.13	0.02	0	0
66	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.13	0.01	0	0
67	Scheduling Generator 203:1	Jameh	0.13	0.02	0	0
68	Keji Xu:0	Nihar the Great	0.14	0.03	0	0
69	Tiny Wings:0	haoyu	0.14	0.02	0	0
70	Ytterbium:0	Andrew Grasso	0.15	0.02	0	0
71	Anon_K_P:1	Aristotle	0.15	0.03	0	0
72	The Whitman Whale:0	bigwig	0.15	0.04	0	0
73	David Lackey:0	Anon5	0.15	0.03	0	0
74	Keji Xu:1	Nihar the Great	0.15	0.04	0	0
75	Boomshanka:0	haoyu	0.15	0.01	0	0
76	The Whitman Whale:1	Andrew Grasso	0.15	0.03	0	0
77	Jameh:1	haoyu	0.16	0.01	0	0
78	vluu:1	Nihar the Great	0.16	0.02	0	0
79	vluu:0	Nihar the Great	0.16	0.01	0	0
80	Dr Roberto:0	Andrew Grasso	0.16	0.03	0	0
81	Anon_K_P:0	haoyu	0.17	0.02	0	0
82	cat:1	haoyu	0.17	0.03	0	0
83	Nikhilesh Sigatapu:1	haoyu	0.17	0.04	0	0
84	Nikhilesh Sigatapu:0	haoyu	0.18	0.03	0	0
85	Tao:1	Aristotle	0.18	0.07	0	0
86	Tao:0	Bar Shabtai	0.18	0.02	0	0
87	Mike Honcho:0	Miranda	0.18	0.01	0	0
88	cat:0	haoyu	0.19	0.03	0	0
89	Samuel Jerome:0	haoyu	0.25	0.03	0	0
90	Janie Gu:0	Glenn Fisher	0.26	0.07	0	0
91	David Lackey:1	Bar Shabtai	0.26	0.03	0	0
92	Linda:0	Andrew Grasso	0.28	0.01	0	0
93	Ytterbium:1	Nihar the Great	0.29	0.02	0	0
94	Lisa Kim:1	Bar Shabtai	0.32	0.06	0	0
95	Fanny:1	Aristotle	0.33	0.12	0	0
96	Glenn Fisher:0	Elphaba	0.34	0.02	0	0
97	Samuel Jerome:1	haoyu	0.35	0.03	0	0
98	kt4124:0	haoyu	0.36	0.03	0	0
99	Lisa Kim:0	Aristotle	0.38	0.07	0	0
100	Bob Dondero:0	Andrew Grasso	0.39	0.02	0	0
101	George Okeowo:1	Andrew Grasso	0.40	0.01	0	0
102	George Okeowo:0	Andrew Grasso	0.41	0.01	0	0
103	Bob Dondero:1	Mickey Mouse	0.44	0.03	0	0
104	Sally Smith:1	haoyu	0.46	0.04	0	0
105	Sally Smith:0	haoyu	0.47	0.04	0	0
106	kt4124:1	haoyu	0.49	0.04	0	0
107	Linda:1	Andrew Grasso	0.49	0.02	0	0
108	Mercury:1	haoyu	0.52	0.05	0	0
109	Mike Honcho:1	Jessie Chen	0.53	0.01	0	0
110	Mr. Blobby:0	Green "The Bean" Choi	0.54	0.14	0	0
111	Yan Wu:0	haoyu	0.57	0.05	0	0
112	bfang:0	haoyu	0.59	0.04	0	0
113	bfang:1	haoyu	0.60	0.04	0	0
114	Valya Barboy:1	Shaheed Chagani	0.66	0.18	0	0
115	Mercury:0	haoyu	0.67	0.05	0	0
116	Yan Wu:1	haoyu	0.68	0.04	0	0
117	Brendan Wright:1	Deric Cheng	0.68	0.10	0	0
118	Anon5:1	Green "The Bean" Choi	0.69	0.07	0	0
119	Matt Haake:1	haoyu	0.73	0.05	0	0
120	Matt Haake:0	haoyu	0.73	0.05	0	0
121	KingBach:0	haoyu	0.78	0.06	0	0
122	Batman:1	haoyu	0.78	0.04	0	0
123	Batman:0	haoyu	0.80	0.04	0	0
124	soccer:0	haoyu	0.82	0.04	0	0
125	soccer:1	haoyu	0.92	0.04	0	0
126	KingBach:1	haoyu	0.92	0.04	0	0
127	Fanny:0	Aristotle	1.05	0.10	0	0
128	Glenn Fisher:1	jabreezy	1.06	0.09	0	0
129	Valya Barboy:0	Aristotle	1.08	0.06	0	0
130	Yacob Y.:0	haoyu	1.15	0.06	0	0
131	Ben Chen:0	Elphaba	1.21	0.07	0	0
132	Khoa:1	Aristotle	1.26	0.09	0	0
133	Khoa:0	haoyu	1.36	0.09	0	0
134	EC:1	haoyu	1.40	0.03	0	0
135	Sprt:1	haoyu	1.63	0.05	0	0
136	jabreezy:1	Mercury	1.68	0.10	0	0
137	Brendan Wright:0	haoyu	1.81	0.10	0	0
138	jabreezy:0	Mercury	1.83	0.09	0	0
139	Ben Chen:1	spl	1.84	0.20	0	0
140	spl:1	haoyu	2.15	0.06	0	0
141	burrito:0	haoyu	2.30	0.09	0	0
142	Mr. Blobby:1	dusty	2.67	0.12	0	0
143	Sabar Dasgupta:1	Aaron Doll	2.73	0.17	0	0
144	Sabar Dasgupta:0	spl	2.82	0.23	0	0
145	EC:0	haoyu	3.49	0.03	0	0
146	snowflakes:1	haoyu	3.52	0.03	0	0
147	Andys:1	Aristotle	3.96	0.13	0	0
148	Mike Hunt:0	Aristotle	4.00	0.27	0	0
149	Walter Little:1	haoyu	4.32	0.03	0	0
150	Aaron H:0	Aristotle	4.78	0.11	0	0
151	snowflakes:0	haoyu	4.85	0.03	0	0
152	DinnerPartyPlannerBM:1	Nihar the Great	4.86	0.06	0	0
153	NA:0	haoyu	4.92	0.03	0	0
154	ebp:0	haoyu	5.12	0.04	0	0
155	Andys:0	Aristotle	5.24	0.12	0	0
156	Lil Thug:0	Andrew Grasso	5.31	0.03	0	0
157	Lil Thug:1	Andrew Grasso	5.37	0.03	0	0
158	John Whelchel:0	haoyu	5.44	0.06	0	0
159	Charliezsc:1	haoyu	5.47	0.07	0	0
160	Aaron H:1	Aristotle	6.24	0.11	0	0
161	dfshasdsf12:0	haoyu	6.27	0.09	0	0
162	David H.:1	DeeEmEm	6.41	0.33	0	0
163	BH:1	haoyu	6.49	0.05	0	0
164	Mike Hunt:1	Aristotle	6.76	0.29	0	0
165	BH:0	haoyu	6.83	0.07	0	0
166	Sprt:0	Aristotle	6.90	0.11	0	0
167	AFC:0	CookieMonster	6.95	0.34	0	0
168	CookieMonster:0	CookieMonster	7.35	0.82	0	0
169	David H.:0	AFC	7.47	0.28	0	0
170	Andrew Werner:1	haoyu	7.70	0.11	0	0
171	John Whelchel:1	haoyu	7.97	0.11	0	0
172	nupog:1	Aristotle	8.45	0.12	0	0
173	nupog:0	Aristotle	8.94	0.13	0	0
174	burrito:1	haoyu	9.00	0.10	0	0
175	CAPS LOCK:0	Aristotle	9.14	0.20	0	0
176	dfshasdsf12:1	Nihar the Great	10.54	0.11	0	0
177	Walter Little:0	haoyu	11.08	0.04	0	0
178	Andrew Werner:0	Aaron Doll	13.51	0.33	0	0
179	ebp:1	haoyu	13.79	0.04	0	0
180	Jessie Chen:0	Joel Faron	15.00	0.13	1	1
181	Qinlan Shen:1	R. A. B.	15.00	9.00	1	1
182	Anon5:0	haoyu	15.00	0.05	1	0
183	Charliezsc:0	jgs	15.00	14.98	1	1
184	Quite Satisfied:1	Joel Faron	15.00	2.11	1	1
185	Jessie Chen:1	Joel Faron	15.00	0.12	1	1
186	Absurdity:1	Aristotle	15.00	0.18	1	0
187	AFC:1	Aristotle	15.00	0.16	1	0
188	DeeEmEm:0	CAPS LOCK	15.00	13.00	1	1
189	0108:0	jgs	15.00	14.98	1	1
190	CookieMonster:1	CookieMonster	15.00	1.10	1	0
191	Absurdity:0	Aristotle	15.00	0.23	1	0
192	NA:1	Elphaba	15.00	0.04	2	0
193	spl:0	Elphaba	15.00	0.09	2	0
194	T. Capote:0	haoyu	15.00	0.00	2	2
195	T. Capote:1	haoyu	15.00	0.00	2	2
196	SuperFan:0	jgs	15.00	14.98	4	4
197	SuperFan:1	jgs	15.00	14.98	4	4
198	Yacob Y.:1	Aristotle	15.00	15.00	6	1
199	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	8	0
200	Andrew Grasso:0	Aaron Doll	15.00	0.18	11	0
201	Dusty:1	Shaheed Chagani	15.00	0.22	13	0
202	Dusty:0	CookieMonster	15.00	1.39	16	0
203	Supahaka:0	Andrew Werner	15.00	15.00	37	35
204	Supahaka:1	Joel Faron	15.00	15.00	37	35
205	Mark S. Fillmore:1	Supahaka	15.00	0.04	79	79
206	Mark S. Fillmore:0	Supahaka	15.00	0.01	116	116
207	Bar Shabtai:1	haoyu	15.00	0.12	153	0
208	Shaheed Chagani:0	Aristotle	15.00	0.17	5791	0
209	Deric Cheng:1	jgs	15.00	14.98	1	1
210	Deric Cheng:0	jgs	15.01	14.99	1	1
211	jgs:0	Aristotle	15.01	0.12	157	0
212	Shaheed Chagani:1	Aristotle	15.01	0.11	8455	0
213	Elphaba:0	Aristotle	15.01	0.24	53675	0
214	jgs:1	haoyu	15.01	0.18	2698	0
215	DinnerPartyPlannerBM:0	Aristotle	15.01	0.11	4504	0
216	13a:1	Aaron Doll	15.01	15.00	90662	29
217	13a:0	Aaron Doll	15.01	15.00	86581	21
218	Elphaba:1	Aristotle	15.01	0.22	52938	0
219	Nihar the Great:0	Aristotle	15.02	0.23	21755	0
220	Nihar the Great:1	Aristotle	15.02	0.25	21825	0
221	Aristotle:1	Aristotle	15.02	9.69	741491	0
222	CAPS LOCK:1	Aristotle	15.02	0.25	2999	0
223	Aaron Doll:1	Aristotle	15.05	1.27	310650	0
224	Aaron Doll:0	Aristotle	15.06	0.56	245373	0
225	Matt Goldsmith:1	Happy	15.06	0.03	516565	0
226	Bar Shabtai:0	Aaron Doll	15.08	15.01	313299	1
227	Matt Goldsmith:0	Nihar the Great	15.09	0.03	511382	0
228	Aristotle:0	Aristotle	15.16	15.00	754620	1

SatSolvers Ranklist

Generators Ranklist