SatSolvers Ranklist Generators Ranklist

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


SatSolvers Ranklist Generators Ranklist