SatSolvers Ranklist Generators Ranklist

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


SatSolvers Ranklist Generators Ranklist