SatSolvers Ranklist Generators Ranklist

Stats for satsolver: BMJ

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 BMJ 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 BMJ 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: BMJ
Rank: 86 / 118
Average Score: 13.87
Median Score: 15.00
Description: This solver implements WalkSAT with the unit clause heuristic.
Generator Best solver Time taken Best time Unsat Best unsat
1Ravi Tandon:0 KingBach 0.01 0.00 0 0
2Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
3Ravi Tandon:1 KingBach 0.01 0.00 0 0
4Bebe Shi:1 KingBach 0.02 0.00 0 0
5Bebe Shi:0 KingBach 0.03 0.00 0 0
6Mike Honcho:0 Miranda 0.03 0.01 0 0
7Happy:1 KingBach 0.03 0.00 0 0
8Mike Honcho:1 Jessie Chen 0.04 0.01 0 0
9Daffy Duck:1 haoyu 0.10 0.00 0 0
10BMJ:1 burrito 0.15 0.00 0 0
11Jonathan Kwok:0 Elphaba 0.24 0.00 0 0
12Scheduling Generator 203:0 jgs 0.29 0.01 0 0
13Bob Dondero:0 Andrew Grasso 0.44 0.02 0 0
14BMJ:0 Elphaba 1.64 0.00 0 0
15Bob Dondero:1 Mickey Mouse 1.92 0.03 0 0
16Jonathan Kwok:1 KingBach 2.07 0.00 0 0
17haoyu:1 Anon5 3.12 0.01 0 0
18cmF5a3ly:0 Nihar the Great 3.13 0.00 0 0
19Scheduling Generator 203:1 Jameh 13.98 0.02 0 0
20bigwig:0 Andrew Werner 15.00 0.00 2 0
21bigwig:1 KingBach 15.00 0.00 3 0
22T. Capote:1 haoyu 15.00 0.00 6 2
23T. Capote:0 haoyu 15.00 0.00 8 2
24haoyu:0 KingBach 15.00 0.01 13 0
25Dr Roberto:0 Andrew Grasso 15.00 0.03 15 0
26Jessie Chen:1 Joel Faron 15.00 0.12 17 1
27Solving For Clauses:1 haoyu 15.00 0.00 20 0
28Jessie Chen:0 Joel Faron 15.00 0.13 23 1
29K.L.:1 KingBach 15.00 0.00 23 0
30Joshua Zimmer:0 haoyu 15.00 0.00 25 0
31cmF5a3ly:1 Nihar the Great 15.00 0.00 27 0
32Joshua Zimmer:1 haoyu 15.00 0.00 27 0
33K.L.:0 haoyu 15.00 0.00 32 0
34Happy:0 haoyu 15.00 0.00 35 0
35Dr Roberto:1 Andrew Grasso 15.00 0.02 36 0
36The Kraken:1 haoyu 15.00 0.00 38 0
37R. A. B.:1 cat 15.00 0.00 40 0
38Qinlan Shen:0 Bar Shabtai 15.00 0.01 42 0
39Solving For Clauses:0 Glenn Fisher 15.00 0.00 45 0
40Blam:1 Elphaba 15.00 0.00 47 0
41Miranda:0 cat 15.00 0.00 49 0
42David Lackey:1 Bar Shabtai 15.00 0.03 55 0
43The Kraken:0 haoyu 15.00 0.00 56 0
44The Whitman Whale:0 bigwig 15.00 0.04 61 0
45Janie Gu:0 Glenn Fisher 15.00 0.07 64 0
46Blam:0 Elphaba 15.00 0.00 64 0
47Janie Gu:1 Jonathan Kwok 15.00 0.07 64 0
48Tree Prophet:1 haoyu 15.00 0.00 65 0
49bchouGenerator:1 Jonathan Kwok 15.00 0.01 66 0
50bchouGenerator:0 haoyu 15.00 0.00 70 0
51Tree Prophet:0 haoyu 15.00 0.00 71 0
52Miranda:1 cat 15.00 0.00 71 0
53Sunny:1 jabreezy 15.00 0.01 71 0
54Brendan Wright:1 Deric Cheng 15.00 0.10 74 0
55Sunny:0 Green "The Bean" Choi 15.00 0.02 83 0
56David Lackey:0 Anon5 15.00 0.03 91 0
57AARON BURR, DROPPIN' HAMILTONS:1 haoyu 15.00 0.01 94 0
58AARON BURR, DROPPIN' HAMILTONS:0 haoyu 15.00 0.00 95 0
59Anon_K_P:0 haoyu 15.00 0.02 99 0
60Keji Xu:1 Nihar the Great 15.00 0.04 104 0
61Qinlan Shen:1 R. A. B. 15.00 9.00 113 1
62Boomshanka:0 haoyu 15.00 0.01 116 0
63R. A. B.:0 Nihar the Great 15.00 0.00 120 0
64Mark S. Fillmore:1 Supahaka 15.00 0.04 123 79
65Tom T:1 Andrew Werner 15.00 0.02 124 0
66Jordan Ash:1 Bar Shabtai 15.00 0.01 126 0
67David H.:1 DeeEmEm 15.00 0.33 132 0
68Tiny Wings:1 haoyu 15.00 0.01 137 0
69Tao:0 Bar Shabtai 15.00 0.02 154 0
70SuperFan:0 jgs 15.00 14.98 159 4
71vluu:0 Nihar the Great 15.00 0.01 161 0
72Anon_K_P:1 Aristotle 15.00 0.03 167 0
73Tao:1 Aristotle 15.00 0.07 172 0
74vluu:1 Nihar the Great 15.00 0.02 172 0
75David Paulk:0 cat 15.00 0.00 172 0
76David Paulk:1 Bar Shabtai 15.00 0.00 175 0
77Mickey Mouse:1 haoyu 15.00 0.01 177 0
78Mark S. Fillmore:0 Supahaka 15.00 0.01 181 116
79SuperFan:1 jgs 15.00 14.98 181 4
80Samuel Jerome:0 haoyu 15.00 0.03 184 0
81Boomshanka:1 Bar Shabtai 15.00 0.01 186 0
82Mickey Mouse:0 Bar Shabtai 15.00 0.01 191 0
830108:1 haoyu 15.00 0.01 200 0
84Supahaka:0 Andrew Werner 15.00 15.00 205 35
85DeeEmEm:1 haoyu 15.00 0.02 210 0
86Supahaka:1 Joel Faron 15.00 15.00 213 35
87Keji Xu:0 Nihar the Great 15.00 0.03 216 0
88Quite Satisfied:0 haoyu 15.00 0.00 217 0
89Jameh:0 haoyu 15.00 0.01 226 0
90David H.:0 AFC 15.00 0.28 226 0
91The Whitman Whale:1 Andrew Grasso 15.00 0.03 237 0
92DeeEmEm:0 CAPS LOCK 15.00 13.00 252 1
930108:0 jgs 15.00 14.98 252 1
94Matt Haake:0 haoyu 15.00 0.05 253 0
95Matt Haake:1 haoyu 15.00 0.05 270 0
96Gewang:1 Jonathan Kwok 15.00 0.00 273 0
97NA:0 haoyu 15.00 0.03 279 0
98Tom T:0 EC 15.00 0.02 301 0
99weezy:0 Bar Shabtai 15.00 0.01 314 0
100Quite Satisfied:1 Joel Faron 15.00 2.11 324 1
101NA:1 Elphaba 15.00 0.04 367 0
102Gewang:0 Jonathan Kwok 15.00 0.00 367 0
103Glenn Fisher:1 jabreezy 15.00 0.09 391 0
104Tiny Wings:0 haoyu 15.00 0.02 392 0
105Valya Barboy:0 Aristotle 15.00 0.06 393 0
106Nikhilesh Sigatapu:1 haoyu 15.00 0.04 436 0
107Valya Barboy:1 Shaheed Chagani 15.00 0.18 452 0
108Jameh:1 haoyu 15.00 0.01 472 0
109Andrew Grasso:1 Shaheed Chagani 15.00 0.15 485 0
110Samuel Jerome:1 haoyu 15.00 0.03 488 0
111Andrew Grasso:0 Aaron Doll 15.00 0.18 505 0
112Linda:0 Andrew Grasso 15.00 0.01 524 0
113Glenn Fisher:0 Elphaba 15.00 0.02 594 0
114Dusty:1 Shaheed Chagani 15.00 0.22 615 0
115snowflakes:0 haoyu 15.00 0.03 615 0
116Jordan Ash:0 EC 15.00 0.03 615 0
117snowflakes:1 haoyu 15.00 0.03 735 0
118Dusty:0 CookieMonster 15.00 1.39 763 0
119EC:0 haoyu 15.00 0.03 786 0
120Alex Fish:0 haoyu 15.00 0.01 815 0
121weezy:1 Bar Shabtai 15.00 0.01 817 0
122Anon5:1 Green "The Bean" Choi 15.00 0.07 872 0
123Nikhilesh Sigatapu:0 haoyu 15.00 0.03 875 0
124totallyOnFallBreak:0 Nikhilesh Sigatapu 15.00 0.01 994 0
125Alex Fish:1 haoyu 15.00 0.02 1011 0
126totallyOnFallBreak:1 Nikhilesh Sigatapu 15.00 0.01 1020 0
127Yan Wu:1 haoyu 15.00 0.04 1031 0
128Fanny:0 Aristotle 15.00 0.10 1093 0
129Fanny:1 Aristotle 15.00 0.12 1117 0
130Yan Wu:0 haoyu 15.00 0.05 1163 0
131EC:1 haoyu 15.00 0.03 1186 0
132Mr. Blobby:1 dusty 15.00 0.12 1391 0
133kt4124:0 haoyu 15.00 0.03 1407 0
134CookieMonster:0 CookieMonster 15.00 0.82 1465 0
135kt4124:1 haoyu 15.00 0.04 1543 0
136Anon5:0 haoyu 15.00 0.05 1556 0
137Ytterbium:0 Andrew Grasso 15.00 0.02 1576 0
138cat:1 haoyu 15.00 0.03 1646 0
139Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 1657 0
140Walter Little:1 haoyu 15.00 0.03 1700 0
141CookieMonster:1 CookieMonster 15.00 1.10 1749 0
142Walter Little:0 haoyu 15.00 0.04 1919 0
143cat:0 haoyu 15.00 0.03 2076 0
144spl:1 haoyu 15.00 0.06 2377 0
145Lisa Kim:1 Bar Shabtai 15.00 0.06 2510 0
146spl:0 Elphaba 15.00 0.09 2579 0
147AFC:1 Aristotle 15.00 0.16 2762 0
148George Okeowo:0 Andrew Grasso 15.00 0.01 2878 0
149George Okeowo:1 Andrew Grasso 15.00 0.01 2908 0
150Lisa Kim:0 Aristotle 15.00 0.07 2932 0
151jabreezy:1 Mercury 15.00 0.10 2965 0
152Sally Smith:1 haoyu 15.00 0.04 3279 0
153Sally Smith:0 haoyu 15.00 0.04 3286 0
154nupog:1 Aristotle 15.00 0.12 3814 0
155jabreezy:0 Mercury 15.00 0.09 3979 0
156Mercury:0 haoyu 15.00 0.05 4039 0
157Ytterbium:1 Nihar the Great 15.00 0.02 4049 0
158AFC:0 CookieMonster 15.00 0.34 4147 0
159Ben Chen:0 Elphaba 15.00 0.07 4569 0
160soccer:0 haoyu 15.00 0.04 4879 0
161bfang:1 haoyu 15.00 0.04 5160 0
162Ben Chen:1 spl 15.00 0.20 5165 0
163soccer:1 haoyu 15.00 0.04 5198 0
164ebp:0 haoyu 15.00 0.04 5269 0
165ebp:1 haoyu 15.00 0.04 5476 0
166Mercury:1 haoyu 15.00 0.05 5855 0
167bfang:0 haoyu 15.00 0.04 5859 0
168Khoa:0 haoyu 15.00 0.09 6025 0
169Khoa:1 Aristotle 15.00 0.09 6474 0
170Yacob Y.:0 haoyu 15.00 0.06 7035 0
171Absurdity:1 Aristotle 15.00 0.18 7430 0
172KingBach:1 haoyu 15.00 0.04 7790 0
173Yacob Y.:1 Aristotle 15.00 15.00 7882 1
174Absurdity:0 Aristotle 15.00 0.23 7964 0
175Batman:0 haoyu 15.00 0.04 8135 0
176Batman:1 haoyu 15.00 0.04 8202 0
177KingBach:0 haoyu 15.00 0.06 8940 0
178Sprt:1 haoyu 15.00 0.05 9600 0
179Charliezsc:0 jgs 15.00 14.98 11357 1
180Charliezsc:1 haoyu 15.00 0.07 12090 0
181John Whelchel:1 haoyu 15.00 0.11 15553 0
182Mike Hunt:0 Aristotle 15.00 0.27 17903 0
183dfshasdsf12:0 haoyu 15.00 0.09 18814 0
184Lil Thug:0 Andrew Grasso 15.00 0.03 19130 0
185Andys:1 Aristotle 15.00 0.13 19751 0
186Aaron H:0 Aristotle 15.00 0.11 21427 0
187Aaron H:1 Aristotle 15.00 0.11 22794 0
188Sprt:0 Aristotle 15.00 0.11 25384 0
189dfshasdsf12:1 Nihar the Great 15.00 0.11 28094 0
190Deric Cheng:1 jgs 15.00 14.98 42134 1
191BH:1 haoyu 15.00 0.05 12780 0
192Andys:0 Aristotle 15.00 0.12 17655 0
193John Whelchel:0 haoyu 15.00 0.06 18190 0
194Lil Thug:1 Andrew Grasso 15.00 0.03 19293 0
195Andrew Werner:1 haoyu 15.00 0.11 27597 0
196Shaheed Chagani:1 Aristotle 15.00 0.11 28867 0
197Bar Shabtai:0 Aaron Doll 15.00 15.01 331791 1
198Brendan Wright:0 haoyu 15.00 0.10 38 0
199nupog:0 Aristotle 15.00 0.13 3890 0
200BH:0 haoyu 15.00 0.07 13501 0
201burrito:0 haoyu 15.00 0.09 18393 0
202Mike Hunt:1 Aristotle 15.00 0.29 18888 0
203Shaheed Chagani:0 Aristotle 15.00 0.17 29587 0
204Bar Shabtai:1 haoyu 15.00 0.12 37128 0
205DinnerPartyPlannerBM:0 Aristotle 15.00 0.11 43833 0
206Linda:1 Andrew Grasso 15.00 0.02 1913 0
207Sabar Dasgupta:1 Aaron Doll 15.00 0.17 11175 0
208Andrew Werner:0 Aaron Doll 15.00 0.33 26334 0
209Sabar Dasgupta:0 spl 15.00 0.23 10644 0
210Deric Cheng:0 jgs 15.00 14.99 41364 1
211jgs:0 Aristotle 15.01 0.12 46018 0
212CAPS LOCK:0 Aristotle 15.01 0.20 41799 0
213Elphaba:0 Aristotle 15.01 0.24 93364 0
21413a:1 Aaron Doll 15.01 15.00 112786 29
215DinnerPartyPlannerBM:1 Nihar the Great 15.01 0.06 20043 0
21613a:0 Aaron Doll 15.01 15.00 107732 21
217jgs:1 haoyu 15.01 0.18 44887 0
218CAPS LOCK:1 Aristotle 15.01 0.25 75223 0
219burrito:1 haoyu 15.01 0.10 36356 0
220Nihar the Great:0 Aristotle 15.01 0.23 89319 0
221Aaron Doll:1 Aristotle 15.02 1.27 346083 0
222Nihar the Great:1 Aristotle 15.02 0.25 104810 0
223Matt Goldsmith:1 Happy 15.03 0.03 509425 0
224Elphaba:1 Aristotle 15.04 0.22 91046 0
225Aaron Doll:0 Aristotle 15.06 0.56 260748 0
226Matt Goldsmith:0 Nihar the Great 15.08 0.03 518243 0
227Aristotle:0 Aristotle 15.16 15.00 753981 1
228Aristotle:1 Aristotle 15.16 9.69 754316 0


SatSolvers Ranklist Generators Ranklist