Stats for satsolver: bchouSolver

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 bchouSolver 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 bchouSolver 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:	bchouSolver
Rank:	77 / 118
Average Score:	12.11
Median Score:	15.00
Description:	DPLL solver with random restarts and random walking. The random branching heuristic favors symbols that appear many times but in short clauses.

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

SatSolvers Ranklist

Generators Ranklist