Stats for satsolver: Boomshanka

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 Boomshanka 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 Boomshanka 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:	Boomshanka
Rank:	72 / 118
Average Score:	11.42
Median Score:	15.00
Description:	Implements a version of walkSAT that has several improvements including adding a watch literal, a HashMap of symbols to their respective clauses, a maximizing function to flip the variable that maximizes true clauses, and more.

	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	Ravi Tandon:1	KingBach	0.00	0.00	0	0
4	Ravi Tandon:0	KingBach	0.01	0.00	0	0
5	Bebe Shi:1	KingBach	0.01	0.00	0	0
6	K.L.:1	KingBach	0.01	0.00	0	0
7	R. A. B.:1	cat	0.01	0.00	0	0
8	Miranda:1	cat	0.01	0.00	0	0
9	Bebe Shi:0	KingBach	0.01	0.00	0	0
10	Joshua Zimmer:0	haoyu	0.01	0.00	0	0
11	Jonathan Kwok:1	KingBach	0.01	0.00	0	0
12	Joshua Zimmer:1	haoyu	0.02	0.00	0	0
13	Miranda:0	cat	0.02	0.00	0	0
14	Daffy Duck:1	haoyu	0.02	0.00	0	0
15	David Paulk:0	cat	0.02	0.00	0	0
16	Happy:1	KingBach	0.02	0.00	0	0
17	BMJ:1	burrito	0.03	0.00	0	0
18	Solving For Clauses:1	haoyu	0.03	0.00	0	0
19	Jonathan Kwok:0	Elphaba	0.03	0.00	0	0
20	David Paulk:1	Bar Shabtai	0.03	0.00	0	0
21	Gewang:0	Jonathan Kwok	0.03	0.00	0	0
22	The Kraken:0	haoyu	0.04	0.00	0	0
23	R. A. B.:0	Nihar the Great	0.04	0.00	0	0
24	The Kraken:1	haoyu	0.05	0.00	0	0
25	Solving For Clauses:0	Glenn Fisher	0.06	0.00	0	0
26	haoyu:0	KingBach	0.07	0.01	0	0
27	BMJ:0	Elphaba	0.07	0.00	0	0
28	Daffy Duck:0	Andrew Werner	0.07	0.00	0	0
29	haoyu:1	Anon5	0.07	0.01	0	0
30	cmF5a3ly:0	Nihar the Great	0.08	0.00	0	0
31	cmF5a3ly:1	Nihar the Great	0.08	0.00	0	0
32	vluu:0	Nihar the Great	0.12	0.01	0	0
33	Scheduling Generator 203:0	jgs	0.12	0.01	0	0
34	vluu:1	Nihar the Great	0.12	0.02	0	0
35	Ytterbium:0	Andrew Grasso	0.16	0.02	0	0
36	weezy:1	Bar Shabtai	0.16	0.01	0	0
37	Boomshanka:0	haoyu	0.17	0.01	0	0
38	Jordan Ash:1	Bar Shabtai	0.19	0.01	0	0
39	weezy:0	Bar Shabtai	0.22	0.01	0	0
40	totallyOnFallBreak:1	Nikhilesh Sigatapu	0.23	0.01	0	0
41	Boomshanka:1	Bar Shabtai	0.25	0.01	0	0
42	Tom T:0	EC	0.26	0.02	0	0
43	Scheduling Generator 203:1	Jameh	0.31	0.02	0	0
44	Tom T:1	Andrew Werner	0.34	0.02	0	0
45	George Okeowo:1	Andrew Grasso	0.36	0.01	0	0
46	Tiny Wings:0	haoyu	0.38	0.02	0	0
47	George Okeowo:0	Andrew Grasso	0.39	0.01	0	0
48	The Whitman Whale:0	bigwig	0.39	0.04	0	0
49	Mike Honcho:0	Miranda	0.40	0.01	0	0
50	DeeEmEm:1	haoyu	0.45	0.02	0	0
51	Mike Honcho:1	Jessie Chen	0.53	0.01	0	0
52	Ytterbium:1	Nihar the Great	0.55	0.02	0	0
53	Tiny Wings:1	haoyu	0.68	0.01	0	0
54	Nikhilesh Sigatapu:0	haoyu	0.88	0.03	0	0
55	The Whitman Whale:1	Andrew Grasso	1.12	0.03	0	0
56	Tao:0	Bar Shabtai	1.61	0.02	0	0
57	Khoa:1	Aristotle	1.64	0.09	0	0
58	Khoa:0	haoyu	1.78	0.09	0	0
59	Nikhilesh Sigatapu:1	haoyu	1.83	0.04	0	0
60	Keji Xu:0	Nihar the Great	2.10	0.03	0	0
61	Sprt:1	haoyu	2.99	0.05	0	0
62	Alex Fish:0	haoyu	3.72	0.01	0	0
63	Samuel Jerome:0	haoyu	3.84	0.03	0	0
64	KingBach:1	haoyu	3.94	0.04	0	0
65	nupog:1	Aristotle	4.75	0.12	0	0
66	Keji Xu:1	Nihar the Great	5.24	0.04	0	0
67	nupog:0	Aristotle	6.11	0.13	0	0
68	Batman:1	haoyu	7.21	0.04	0	0
69	Batman:0	haoyu	7.40	0.04	0	0
70	DinnerPartyPlannerBM:1	Nihar the Great	13.50	0.06	0	0
71	Linda:0	Andrew Grasso	14.31	0.01	0	0
72	Dr Roberto:1	Andrew Grasso	0.84	0.02	1	0
73	Gewang:1	Jonathan Kwok	0.03	0.00	1	0
74	Brendan Wright:0	haoyu	2.06	0.10	1	0
75	Dr Roberto:0	Andrew Grasso	0.84	0.03	1	0
76	Janie Gu:0	Glenn Fisher	15.00	0.07	1	0
77	Alex Fish:1	haoyu	0.60	0.02	1	0
78	K.L.:0	haoyu	15.00	0.00	1	0
79	0108:1	haoyu	2.52	0.01	1	0
80	Janie Gu:1	Jonathan Kwok	0.62	0.07	1	0
81	Qinlan Shen:0	Bar Shabtai	0.05	0.01	1	0
82	bchouGenerator:1	Jonathan Kwok	0.06	0.01	2	0
83	Qinlan Shen:1	R. A. B.	0.11	9.00	2	1
84	Happy:0	haoyu	0.02	0.00	2	0
85	totallyOnFallBreak:0	Nikhilesh Sigatapu	15.00	0.01	2	0
86	Mickey Mouse:0	Bar Shabtai	0.08	0.01	2	0
87	Mickey Mouse:1	haoyu	0.07	0.01	3	0
88	Lisa Kim:0	Aristotle	0.83	0.07	3	0
89	T. Capote:0	haoyu	15.00	0.00	3	2
90	DeeEmEm:0	CAPS LOCK	1.90	13.00	3	1
91	Quite Satisfied:0	haoyu	0.03	0.00	3	0
92	bchouGenerator:0	haoyu	0.03	0.00	3	0
93	Blam:1	Elphaba	15.00	0.00	5	0
94	Quite Satisfied:1	Joel Faron	0.04	2.11	5	1
95	T. Capote:1	haoyu	15.00	0.00	5	2
96	Blam:0	Elphaba	15.00	0.00	5	0
97	Tree Prophet:1	haoyu	15.00	0.00	5	0
98	Jessie Chen:0	Joel Faron	15.00	0.13	6	1
99	Jessie Chen:1	Joel Faron	15.00	0.12	7	1
100	Sunny:0	Green "The Bean" Choi	0.07	0.02	9	0
101	Sunny:1	jabreezy	0.08	0.01	9	0
102	Lisa Kim:1	Bar Shabtai	0.65	0.06	10	0
103	Anon5:1	Green "The Bean" Choi	0.16	0.07	10	0
104	cat:0	haoyu	0.18	0.03	10	0
105	Sally Smith:1	haoyu	4.39	0.04	10	0
106	Sally Smith:0	haoyu	14.95	0.04	13	0
107	Tree Prophet:0	haoyu	15.00	0.00	13	0
108	cat:1	haoyu	0.23	0.03	13	0
109	soccer:0	haoyu	1.20	0.04	13	0
110	CookieMonster:0	CookieMonster	0.34	0.82	14	0
111	Valya Barboy:1	Shaheed Chagani	15.00	0.18	15	0
112	soccer:1	haoyu	1.49	0.04	16	0
113	SuperFan:1	jgs	15.00	14.98	16	4
114	Anon5:0	haoyu	0.22	0.05	18	0
115	CookieMonster:1	CookieMonster	0.33	1.10	18	0
116	AFC:1	Aristotle	0.44	0.16	24	0
117	AFC:0	CookieMonster	0.52	0.34	24	0
118	Fanny:1	Aristotle	0.65	0.12	25	0
119	Fanny:0	Aristotle	0.76	0.10	26	0
120	SuperFan:0	jgs	15.00	14.98	29	4
121	Valya Barboy:0	Aristotle	15.00	0.06	30	0
122	AARON BURR, DROPPIN' HAMILTONS:1	haoyu	15.00	0.01	34	0
123	spl:0	Elphaba	15.00	0.09	35	0
124	kt4124:0	haoyu	15.00	0.03	36	0
125	spl:1	haoyu	0.94	0.06	37	0
126	Jameh:0	haoyu	15.00	0.01	39	0
127	Mr. Blobby:0	Green "The Bean" Choi	15.00	0.14	41	0
128	Mr. Blobby:1	dusty	0.26	0.12	41	0
129	Ben Chen:1	spl	0.83	0.20	41	0
130	Ben Chen:0	Elphaba	0.79	0.07	45	0
131	kt4124:1	haoyu	15.00	0.04	58	0
132	AARON BURR, DROPPIN' HAMILTONS:0	haoyu	15.00	0.00	61	0
133	Supahaka:0	Andrew Werner	15.00	15.00	65	35
134	Aaron H:0	Aristotle	15.00	0.11	67	0
135	David Lackey:1	Bar Shabtai	15.00	0.03	68	0
136	Supahaka:1	Joel Faron	15.00	15.00	68	35
137	Mark S. Fillmore:1	Supahaka	15.00	0.04	80	79
138	Jameh:1	haoyu	15.00	0.01	90	0
139	Mark S. Fillmore:0	Supahaka	15.00	0.01	117	116
140	Dusty:1	Shaheed Chagani	15.00	0.22	120	0
141	Andrew Grasso:0	Aaron Doll	15.00	0.18	122	0
142	Jordan Ash:0	EC	15.00	0.03	131	0
143	Dusty:0	CookieMonster	15.00	1.39	141	0
144	Sprt:0	Aristotle	15.00	0.11	183	0
145	bfang:0	haoyu	15.00	0.04	219	0
146	Mike Hunt:1	Aristotle	15.00	0.29	225	0
147	Tao:1	Aristotle	15.00	0.07	234	0
148	Glenn Fisher:0	Elphaba	15.00	0.02	239	0
149	Anon_K_P:1	Aristotle	15.00	0.03	250	0
150	ebp:0	haoyu	15.00	0.04	256	0
151	Yan Wu:1	haoyu	15.00	0.04	290	0
152	0108:0	jgs	15.00	14.98	298	1
153	Andrew Grasso:1	Shaheed Chagani	15.00	0.15	309	0
154	Glenn Fisher:1	jabreezy	15.00	0.09	325	0
155	David Lackey:0	Anon5	15.00	0.03	349	0
156	Aaron H:1	Aristotle	15.00	0.11	368	0
157	Yan Wu:0	haoyu	15.00	0.05	430	0
158	ebp:1	haoyu	15.00	0.04	448	0
159	EC:1	haoyu	15.00	0.03	466	0
160	Anon_K_P:0	haoyu	15.00	0.02	474	0
161	David H.:1	DeeEmEm	15.00	0.33	491	0
162	EC:0	haoyu	15.00	0.03	561	0
163	NA:1	Elphaba	15.00	0.04	587	0
164	NA:0	haoyu	15.00	0.03	610	0
165	Sabar Dasgupta:0	spl	15.00	0.23	633	0
166	jabreezy:0	Mercury	15.00	0.09	645	0
167	burrito:0	haoyu	15.00	0.09	645	0
168	Sabar Dasgupta:1	Aaron Doll	15.00	0.17	652	0
169	bfang:1	haoyu	15.00	0.04	692	0
170	Absurdity:1	Aristotle	15.00	0.18	705	0
171	Matt Haake:0	haoyu	15.00	0.05	746	0
172	Mike Hunt:0	Aristotle	15.00	0.27	751	0
173	Mercury:0	haoyu	15.00	0.05	752	0
174	Matt Haake:1	haoyu	15.00	0.05	766	0
175	Absurdity:0	Aristotle	15.00	0.23	822	0
176	KingBach:0	haoyu	15.00	0.06	883	0
177	Yacob Y.:0	haoyu	15.00	0.06	1033	0
178	Charliezsc:1	haoyu	15.00	0.07	1061	0
179	jabreezy:1	Mercury	15.00	0.10	1075	0
180	snowflakes:1	haoyu	15.00	0.03	1093	0
181	Walter Little:0	haoyu	15.00	0.04	1267	0
182	Andrew Werner:0	Aaron Doll	15.00	0.33	1272	0
183	snowflakes:0	haoyu	15.00	0.03	1339	0
184	Yacob Y.:1	Aristotle	15.00	15.00	1355	1
185	Walter Little:1	haoyu	15.00	0.03	1357	0
186	BH:0	haoyu	15.00	0.07	1391	0
187	Charliezsc:0	jgs	15.00	14.98	1432	1
188	David H.:0	AFC	15.00	0.28	1487	0
189	Samuel Jerome:1	haoyu	15.00	0.03	1598	0
190	Mercury:1	haoyu	15.00	0.05	1704	0
191	BH:1	haoyu	15.00	0.05	1769	0
192	dfshasdsf12:0	haoyu	15.00	0.09	10309	0
193	dfshasdsf12:1	Nihar the Great	15.00	0.11	33902	0
194	Brendan Wright:1	Deric Cheng	15.00	0.10	11	0
195	Lil Thug:1	Andrew Grasso	15.00	0.03	16264	0
196	Andrew Werner:1	haoyu	15.00	0.11	17301	0
197	John Whelchel:0	haoyu	15.00	0.06	11239	0
198	Lil Thug:0	Andrew Grasso	15.00	0.03	18157	0
199	John Whelchel:1	haoyu	15.00	0.11	19815	0
200	Shaheed Chagani:0	Aristotle	15.01	0.17	33276	0
201	burrito:1	haoyu	15.01	0.10	35504	0
202	Deric Cheng:1	jgs	15.02	14.98	51422	1
203	Andys:1	Aristotle	15.02	0.13	20681	0
204	DinnerPartyPlannerBM:0	Aristotle	15.02	0.11	41675	0
205	Bar Shabtai:1	haoyu	15.02	0.12	47738	0
206	Deric Cheng:0	jgs	15.02	14.99	56438	1
207	Andys:0	Aristotle	15.03	0.12	23144	0
208	jgs:0	Aristotle	15.04	0.12	54952	0
209	Shaheed Chagani:1	Aristotle	15.05	0.11	30033	0
210	jgs:1	haoyu	15.05	0.18	49712	0
211	Linda:1	Andrew Grasso	15.09	0.02	2575	0
212	Elphaba:0	Aristotle	15.09	0.24	107563	0
213	13a:1	Aaron Doll	15.18	15.00	126434	29
214	Bob Dondero:0	Andrew Grasso	15.24	0.02	7	0
215	CAPS LOCK:0	Aristotle	15.35	0.20	46826	0
216	13a:0	Aaron Doll	15.40	15.00	121600	21
217	Elphaba:1	Aristotle	15.49	0.22	108556	0
218	Matt Goldsmith:1	Happy	15.80	0.03	512512	0
219	CAPS LOCK:1	Aristotle	16.11	0.25	69925	0
220	Aaron Doll:0	Aristotle	16.28	0.56	284339	0
221	Aristotle:1	Aristotle	16.37	9.69	757335	0
222	Aristotle:0	Aristotle	17.16	15.00	740570	1
223	Matt Goldsmith:0	Nihar the Great	17.17	0.03	520478	0
224	Aaron Doll:1	Aristotle	17.47	1.27	350972	0
225	Bob Dondero:1	Mickey Mouse	19.52	0.03	5005	0
226	Bar Shabtai:0	Aaron Doll	20.22	15.01	349880	1
227	Nihar the Great:0	Aristotle	69.94	0.23	145710	0
228	Nihar the Great:1	Aristotle	93.13	0.25	141969	0

SatSolvers Ranklist

Generators Ranklist