SatSolvers Ranklist Generators Ranklist

Stats for satsolver: bfang

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 bfang 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 bfang 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: bfang
Rank: 64 / 118
Average Score: 9.59
Median Score: 13.71
Description: Runs DPLL (pure symbol heuristic, unit clause heuristic, degree heuristic) and switches to WalkSAT with frequent random restarts when time is almost up.
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
3Bebe Shi:1 KingBach 0.00 0.00 0 0
4Jonathan Kwok:1 KingBach 0.00 0.00 0 0
5BMJ:1 burrito 0.00 0.00 0 0
6Jonathan Kwok:0 Elphaba 0.00 0.00 0 0
7BMJ:0 Elphaba 0.00 0.00 0 0
8Bebe Shi:0 KingBach 0.00 0.00 0 0
9Happy:1 KingBach 0.00 0.00 0 0
10K.L.:1 KingBach 0.00 0.00 0 0
11Daffy Duck:1 haoyu 0.01 0.00 0 0
12Happy:0 haoyu 0.01 0.00 0 0
13R. A. B.:1 cat 0.01 0.00 0 0
14Daffy Duck:0 Andrew Werner 0.02 0.00 0 0
15Miranda:0 cat 0.02 0.00 0 0
16Ravi Tandon:0 KingBach 0.02 0.00 0 0
17Tree Prophet:1 haoyu 0.02 0.00 0 0
18Solving For Clauses:0 Glenn Fisher 0.02 0.00 0 0
19Tree Prophet:0 haoyu 0.02 0.00 0 0
20Joshua Zimmer:1 haoyu 0.02 0.00 0 0
21Quite Satisfied:0 haoyu 0.02 0.00 0 0
22Joshua Zimmer:0 haoyu 0.02 0.00 0 0
23Gewang:1 Jonathan Kwok 0.02 0.00 0 0
24Gewang:0 Jonathan Kwok 0.02 0.00 0 0
25Blam:1 Elphaba 0.02 0.00 0 0
26David Paulk:0 cat 0.02 0.00 0 0
27K.L.:0 haoyu 0.02 0.00 0 0
28Blam:0 Elphaba 0.03 0.00 0 0
29David Paulk:1 Bar Shabtai 0.03 0.00 0 0
30Ravi Tandon:1 KingBach 0.03 0.00 0 0
31Solving For Clauses:1 haoyu 0.03 0.00 0 0
32Miranda:1 cat 0.03 0.00 0 0
33bchouGenerator:1 Jonathan Kwok 0.03 0.01 0 0
34Jordan Ash:1 Bar Shabtai 0.03 0.01 0 0
35bchouGenerator:0 haoyu 0.04 0.00 0 0
36The Kraken:1 haoyu 0.04 0.00 0 0
37The Kraken:0 haoyu 0.04 0.00 0 0
38Sunny:1 jabreezy 0.05 0.01 0 0
39Sunny:0 Green "The Bean" Choi 0.05 0.02 0 0
40Scheduling Generator 203:0 jgs 0.06 0.01 0 0
41weezy:0 Bar Shabtai 0.07 0.01 0 0
42weezy:1 Bar Shabtai 0.07 0.01 0 0
43R. A. B.:0 Nihar the Great 0.07 0.00 0 0
44David Lackey:0 Anon5 0.07 0.03 0 0
45David Lackey:1 Bar Shabtai 0.07 0.03 0 0
46Alex Fish:1 haoyu 0.09 0.02 0 0
47Boomshanka:0 haoyu 0.09 0.01 0 0
48Jordan Ash:0 EC 0.09 0.03 0 0
49Alex Fish:0 haoyu 0.09 0.01 0 0
500108:1 haoyu 0.09 0.01 0 0
51DeeEmEm:1 haoyu 0.10 0.02 0 0
52Dr Roberto:0 Andrew Grasso 0.10 0.03 0 0
53Brendan Wright:1 Deric Cheng 0.10 0.10 0 0
54Scheduling Generator 203:1 Jameh 0.12 0.02 0 0
55Boomshanka:1 Bar Shabtai 0.13 0.01 0 0
56Bob Dondero:1 Mickey Mouse 0.14 0.03 0 0
57AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.14 0.01 0 0
58Brendan Wright:0 haoyu 0.16 0.10 0 0
59Bob Dondero:0 Andrew Grasso 0.16 0.02 0 0
60AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.17 0.00 0 0
61Anon5:1 Green "The Bean" Choi 0.17 0.07 0 0
62Tom T:0 EC 0.20 0.02 0 0
63Anon_K_P:1 Aristotle 0.24 0.03 0 0
64Tom T:1 Andrew Werner 0.24 0.02 0 0
65Mickey Mouse:0 Bar Shabtai 0.26 0.01 0 0
66Mickey Mouse:1 haoyu 0.28 0.01 0 0
67Tiny Wings:1 haoyu 0.30 0.01 0 0
68Linda:0 Andrew Grasso 0.32 0.01 0 0
69Tiny Wings:0 haoyu 0.33 0.02 0 0
70Linda:1 Andrew Grasso 0.38 0.02 0 0
71Yan Wu:0 haoyu 0.40 0.05 0 0
72Jameh:0 haoyu 0.45 0.01 0 0
73haoyu:0 KingBach 0.55 0.01 0 0
74Ytterbium:0 Andrew Grasso 0.56 0.02 0 0
75Nikhilesh Sigatapu:0 haoyu 0.81 0.03 0 0
76Dr Roberto:1 Andrew Grasso 0.81 0.02 0 0
77Nikhilesh Sigatapu:1 haoyu 0.84 0.04 0 0
78Mike Honcho:0 Miranda 0.96 0.01 0 0
79haoyu:1 Anon5 1.02 0.01 0 0
80Anon_K_P:0 haoyu 1.06 0.02 0 0
81Mercury:1 haoyu 1.12 0.05 0 0
82Mercury:0 haoyu 1.14 0.05 0 0
83The Whitman Whale:0 bigwig 1.34 0.04 0 0
84The Whitman Whale:1 Andrew Grasso 1.36 0.03 0 0
85Samuel Jerome:0 haoyu 1.45 0.03 0 0
86Mike Honcho:1 Jessie Chen 1.47 0.01 0 0
87Matt Haake:0 haoyu 1.64 0.05 0 0
88Glenn Fisher:0 Elphaba 1.93 0.02 0 0
89cat:0 haoyu 2.01 0.03 0 0
90cat:1 haoyu 2.06 0.03 0 0
91snowflakes:0 haoyu 2.06 0.03 0 0
92snowflakes:1 haoyu 2.06 0.03 0 0
93vluu:0 Nihar the Great 2.23 0.01 0 0
94NA:1 Elphaba 2.34 0.04 0 0
95Jameh:1 haoyu 2.64 0.01 0 0
96Glenn Fisher:1 jabreezy 2.66 0.09 0 0
97EC:1 haoyu 2.71 0.03 0 0
98Ytterbium:1 Nihar the Great 2.81 0.02 0 0
99vluu:1 Nihar the Great 2.83 0.02 0 0
100NA:0 haoyu 2.87 0.03 0 0
101Anon5:0 haoyu 3.34 0.05 0 0
102Lisa Kim:1 Bar Shabtai 4.08 0.06 0 0
103Lisa Kim:0 Aristotle 4.40 0.07 0 0
104EC:0 haoyu 5.92 0.03 0 0
105Sally Smith:0 haoyu 6.17 0.04 0 0
106Sally Smith:1 haoyu 7.73 0.04 0 0
107kt4124:1 haoyu 8.74 0.04 0 0
108Qinlan Shen:0 Bar Shabtai 9.21 0.01 0 0
109cmF5a3ly:1 Nihar the Great 9.51 0.00 0 0
110kt4124:0 haoyu 9.54 0.03 0 0
111cmF5a3ly:0 Nihar the Great 11.28 0.00 0 0
112David H.:0 AFC 11.48 0.28 0 0
113Mr. Blobby:1 dusty 12.43 0.12 0 0
114Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
1150108:0 jgs 15.00 14.98 1 1
116T. Capote:0 haoyu 15.00 0.00 2 2
117T. Capote:1 haoyu 15.00 0.00 2 2
118Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
119Tao:1 Aristotle 15.00 0.07 1 0
120David H.:1 DeeEmEm 15.00 0.33 1 0
121CookieMonster:0 CookieMonster 15.00 0.82 1 0
122Jessie Chen:0 Joel Faron 15.00 0.13 2 1
123Jessie Chen:1 Joel Faron 15.00 0.12 2 1
124Tao:0 Bar Shabtai 15.00 0.02 2 0
125Fanny:0 Aristotle 15.00 0.10 3 0
126Walter Little:1 haoyu 15.00 0.03 3 0
127DeeEmEm:0 CAPS LOCK 15.00 13.00 3 1
128Fanny:1 Aristotle 15.00 0.12 3 0
129Samuel Jerome:1 haoyu 15.00 0.03 4 0
130Valya Barboy:1 Shaheed Chagani 15.00 0.18 5 0
131CookieMonster:1 CookieMonster 15.00 1.10 5 0
132SuperFan:1 jgs 15.00 14.98 6 4
133Keji Xu:0 Nihar the Great 15.00 0.03 6 0
134Valya Barboy:0 Aristotle 15.00 0.06 7 0
135Walter Little:0 haoyu 15.00 0.04 14 0
136Matt Haake:1 haoyu 15.00 0.05 14 0
137Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 15 0
138Dusty:0 CookieMonster 15.00 1.39 19 0
139Andrew Grasso:1 Shaheed Chagani 15.00 0.15 20 0
140Andrew Grasso:0 Aaron Doll 15.00 0.18 22 0
141Dusty:1 Shaheed Chagani 15.00 0.22 23 0
142SuperFan:0 jgs 15.00 14.98 27 4
143Janie Gu:1 Jonathan Kwok 15.00 0.07 52 0
144Janie Gu:0 Glenn Fisher 15.00 0.07 56 0
145bfang:1 haoyu 15.00 0.04 60 0
146Quite Satisfied:1 Joel Faron 15.00 2.11 106 1
147bfang:0 haoyu 15.00 0.04 114 0
148Supahaka:1 Joel Faron 15.00 15.00 172 35
149Supahaka:0 Andrew Werner 15.00 15.00 173 35
150Mark S. Fillmore:0 Supahaka 15.00 0.01 362 116
151Yan Wu:1 haoyu 15.00 0.04 650 0
152totallyOnFallBreak:1 Nikhilesh Sigatapu 15.00 0.01 1116 0
153totallyOnFallBreak:0 Nikhilesh Sigatapu 15.00 0.01 1297 0
154Yacob Y.:0 haoyu 15.00 0.06 1971 0
155Ben Chen:0 Elphaba 15.00 0.07 2986 0
156Ben Chen:1 spl 15.00 0.20 3106 0
157spl:1 haoyu 15.00 0.06 3203 0
158Yacob Y.:1 Aristotle 15.00 15.00 3227 1
159George Okeowo:0 Andrew Grasso 15.00 0.01 3233 0
160George Okeowo:1 Andrew Grasso 15.00 0.01 3339 0
161spl:0 Elphaba 15.00 0.09 3383 0
162jabreezy:0 Mercury 15.00 0.09 3894 0
163jabreezy:1 Mercury 15.00 0.10 3901 0
164Batman:0 haoyu 15.00 0.04 4481 0
165Batman:1 haoyu 15.00 0.04 4621 0
166soccer:0 haoyu 15.00 0.04 4882 0
167ebp:1 haoyu 15.00 0.04 6351 0
168ebp:0 haoyu 15.00 0.04 6645 0
169Khoa:1 Aristotle 15.00 0.09 6687 0
170Khoa:0 haoyu 15.00 0.09 6838 0
171Charliezsc:0 jgs 15.00 14.98 7360 1
172Absurdity:1 Aristotle 15.00 0.18 7760 0
173Absurdity:0 Aristotle 15.00 0.23 7771 0
174Charliezsc:1 haoyu 15.00 0.07 10826 0
175Sabar Dasgupta:1 Aaron Doll 15.00 0.17 10879 0
176Sabar Dasgupta:0 spl 15.00 0.23 11361 0
177Mike Hunt:0 Aristotle 15.00 0.27 19940 0
178Mike Hunt:1 Aristotle 15.00 0.29 20508 0
179DinnerPartyPlannerBM:1 Nihar the Great 15.00 0.06 20773 0
180John Whelchel:0 haoyu 15.00 0.06 26698 0
181Andrew Werner:0 Aaron Doll 15.00 0.33 27661 0
182Lil Thug:0 Andrew Grasso 15.00 0.03 29998 0
183DinnerPartyPlannerBM:0 Aristotle 15.00 0.11 42262 0
184Elphaba:0 Aristotle 15.00 0.24 103436 0
185Keji Xu:1 Nihar the Great 15.00 0.04 17 0
186soccer:1 haoyu 15.00 0.04 4832 0
187KingBach:0 haoyu 15.00 0.06 6450 0
188dfshasdsf12:0 haoyu 15.00 0.09 17397 0
189John Whelchel:1 haoyu 15.00 0.11 26637 0
190dfshasdsf12:1 Nihar the Great 15.00 0.11 27678 0
191jgs:0 Aristotle 15.00 0.12 54955 0
192AFC:1 Aristotle 15.00 0.16 3 0
193AFC:0 CookieMonster 15.00 0.34 4 0
194nupog:1 Aristotle 15.00 0.12 4767 0
195KingBach:1 haoyu 15.00 0.04 6181 0
196Sprt:1 haoyu 15.00 0.05 10173 0
197BH:1 haoyu 15.00 0.05 17453 0
198CAPS LOCK:0 Aristotle 15.00 0.20 45833 0
199nupog:0 Aristotle 15.00 0.13 4791 0
200Sprt:0 Aristotle 15.00 0.11 25866 0
201burrito:1 haoyu 15.00 0.10 41533 0
202BH:0 haoyu 15.00 0.07 17079 0
203Andys:0 Aristotle 15.00 0.12 22628 0
204Aaron H:0 Aristotle 15.00 0.11 24813 0
205Andrew Werner:1 haoyu 15.00 0.11 28628 0
206Nihar the Great:1 Aristotle 15.00 0.25 66216 0
207Aaron H:1 Aristotle 15.01 0.11 23651 0
208Lil Thug:1 Andrew Grasso 15.01 0.03 29565 0
209Shaheed Chagani:1 Aristotle 15.01 0.11 30463 0
210Deric Cheng:1 jgs 15.01 14.98 35100 1
211Elphaba:1 Aristotle 15.01 0.22 103657 0
212burrito:0 haoyu 15.01 0.09 20734 0
213jgs:1 haoyu 15.01 0.18 54281 0
214Andys:1 Aristotle 15.01 0.13 22276 0
21513a:1 Aaron Doll 15.01 15.00 118970 29
216Deric Cheng:0 jgs 15.01 14.99 35806 1
217Bar Shabtai:1 haoyu 15.01 0.12 48981 0
218Shaheed Chagani:0 Aristotle 15.01 0.17 31368 0
219Aaron Doll:1 Aristotle 15.01 1.27 330679 0
220Nihar the Great:0 Aristotle 15.02 0.23 61413 0
22113a:0 Aaron Doll 15.02 15.00 119576 21
222CAPS LOCK:1 Aristotle 15.04 0.25 73772 0
223Aaron Doll:0 Aristotle 15.05 0.56 273307 0
224Matt Goldsmith:0 Nihar the Great 15.06 0.03 505335 0
225Matt Goldsmith:1 Happy 15.17 0.03 504299 0
226Aristotle:0 Aristotle 88.64 15.00 119 1
227Aristotle:1 Aristotle 108.88 9.69 119 0
228Bar Shabtai:0 Aaron Doll - 15.01 - 1


SatSolvers Ranklist Generators Ranklist