Stats for satsolver: Bar Shabtai

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 Bar Shabtai 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 Bar Shabtai 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:	Bar Shabtai
Rank:	112 / 118
Average Score:	43.67
Median Score:	1.28
Description:	The SAT solver is an improvement on the classic WalkSat algorithm. It does so by picking the unsatisfied clause with the least amount of literals. The rest of the algorithm follows the classic one

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

SatSolvers Ranklist

Generators Ranklist