SatSolvers Ranklist Generators Ranklist

Stats for satsolver: ebp

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 ebp 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 ebp 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: ebp
Rank: 113 / 118
Average Score: 44.34
Median Score: 12.55
Description: Keeps track of both a current model and symbols that we're certain of, trying to find the latter when we can and otherwise choosing which variable to flip randomly as in WalkSat.
Generator Best solver Time taken Best time Unsat Best unsat
1David Paulk:0 cat 0.00 0.00 0 0
2R. A. B.:0 Nihar the Great 0.00 0.00 0 0
3David Paulk:1 Bar Shabtai 0.00 0.00 0 0
4Miranda:1 cat 0.00 0.00 0 0
5Miranda:0 cat 0.00 0.00 0 0
6R. A. B.:1 cat 0.00 0.00 0 0
7bigwig:1 KingBach 0.00 0.00 0 0
8Bebe Shi:1 KingBach 0.01 0.00 0 0
9Happy:1 KingBach 0.01 0.00 0 0
10Bebe Shi:0 KingBach 0.01 0.00 0 0
11Ravi Tandon:0 KingBach 0.01 0.00 0 0
12cmF5a3ly:1 Nihar the Great 0.01 0.00 0 0
13cmF5a3ly:0 Nihar the Great 0.01 0.00 0 0
14Ravi Tandon:1 KingBach 0.02 0.00 0 0
15T. Capote:0 haoyu 0.02 0.00 2 2
16T. Capote:1 haoyu 0.02 0.00 2 2
17Happy:0 haoyu 0.02 0.00 0 0
18Daffy Duck:1 haoyu 0.03 0.00 0 0
19bchouGenerator:0 haoyu 0.03 0.00 0 0
20Joshua Zimmer:1 haoyu 0.04 0.00 0 0
21Solving For Clauses:0 Glenn Fisher 0.04 0.00 0 0
22Solving For Clauses:1 haoyu 0.04 0.00 0 0
23Joshua Zimmer:0 haoyu 0.05 0.00 0 0
24Daffy Duck:0 Andrew Werner 0.07 0.00 0 0
25Tree Prophet:0 haoyu 0.08 0.00 0 0
26Matt Goldsmith:0 Nihar the Great 0.10 0.03 0 0
27Tree Prophet:1 haoyu 0.10 0.00 0 0
28Matt Goldsmith:1 Happy 0.10 0.03 0 0
29totallyOnFallBreak:0 Nikhilesh Sigatapu 0.10 0.01 0 0
30totallyOnFallBreak:1 Nikhilesh Sigatapu 0.11 0.01 0 0
310108:1 haoyu 0.15 0.01 0 0
32DeeEmEm:1 haoyu 0.18 0.02 0 0
33Scheduling Generator 203:0 jgs 0.18 0.01 0 0
34Dr Roberto:0 Andrew Grasso 0.23 0.03 0 0
35Alex Fish:1 haoyu 0.26 0.02 0 0
36Alex Fish:0 haoyu 0.26 0.01 0 0
37Dr Roberto:1 Andrew Grasso 0.26 0.02 0 0
38bchouGenerator:1 Jonathan Kwok 0.31 0.01 0 0
39Tiny Wings:0 haoyu 0.32 0.02 0 0
40Tom T:0 EC 0.34 0.02 0 0
41Mickey Mouse:1 haoyu 0.35 0.01 0 0
42Tiny Wings:1 haoyu 0.35 0.01 0 0
43Tom T:1 Andrew Werner 0.36 0.02 0 0
44Bob Dondero:0 Andrew Grasso 0.36 0.02 0 0
45Bob Dondero:1 Mickey Mouse 0.37 0.03 0 0
46Mickey Mouse:0 Bar Shabtai 0.48 0.01 0 0
47Scheduling Generator 203:1 Jameh 0.50 0.02 0 0
48Anon5:0 haoyu 0.56 0.05 0 0
49Anon_K_P:0 haoyu 0.59 0.02 0 0
50Yan Wu:1 haoyu 0.68 0.04 0 0
51cat:1 haoyu 0.72 0.03 0 0
52Anon_K_P:1 Aristotle 0.73 0.03 0 0
53David Lackey:0 Anon5 0.74 0.03 0 0
54Anon5:1 Green "The Bean" Choi 0.75 0.07 0 0
55Yan Wu:0 haoyu 0.76 0.05 0 0
56Ytterbium:0 Andrew Grasso 0.77 0.02 0 0
57David Lackey:1 Bar Shabtai 0.80 0.03 0 0
58vluu:1 Nihar the Great 0.81 0.02 0 0
59vluu:0 Nihar the Great 0.83 0.01 0 0
60Matt Haake:1 haoyu 0.83 0.05 0 0
61Matt Haake:0 haoyu 0.86 0.05 0 0
62cat:0 haoyu 0.86 0.03 0 0
63Nikhilesh Sigatapu:0 haoyu 0.92 0.03 0 0
64Nikhilesh Sigatapu:1 haoyu 1.02 0.04 0 0
65Samuel Jerome:1 haoyu 1.07 0.03 0 0
66Samuel Jerome:0 haoyu 1.38 0.03 0 0
67EC:0 haoyu 1.59 0.03 0 0
68Linda:0 Andrew Grasso 2.22 0.01 0 0
69Ytterbium:1 Nihar the Great 2.54 0.02 0 0
70Mercury:1 haoyu 3.02 0.05 0 0
71Sally Smith:0 haoyu 3.16 0.04 0 0
72Sally Smith:1 haoyu 3.20 0.04 0 0
73Mercury:0 haoyu 3.25 0.05 0 0
74Lisa Kim:1 Bar Shabtai 3.82 0.06 0 0
75bfang:0 haoyu 4.20 0.04 0 0
76bfang:1 haoyu 4.62 0.04 0 0
77Linda:1 Andrew Grasso 5.28 0.02 0 0
78Yacob Y.:0 haoyu 6.30 0.06 0 0
79Batman:1 haoyu 6.95 0.04 0 0
80Batman:0 haoyu 6.98 0.04 0 0
81ebp:1 haoyu 11.16 0.04 0 0
82Mike Honcho:1 Jessie Chen 11.96 0.01 0 0
83Charliezsc:1 haoyu 12.17 0.07 0 0
84ebp:0 haoyu 12.54 0.04 0 0
85David H.:0 AFC 12.55 0.28 0 0
86Khoa:0 haoyu 13.51 0.09 0 0
87Khoa:1 Aristotle 13.61 0.09 0 0
88Sprt:1 haoyu 13.76 0.05 0 0
89Mike Honcho:0 Miranda 14.34 0.01 0 0
90BH:0 haoyu 14.55 0.07 0 0
91haoyu:0 KingBach 14.99 0.01 3 0
92Fanny:1 Aristotle 14.99 0.12 3 0
93Tao:0 Bar Shabtai 14.99 0.02 4 0
94Tao:1 Aristotle 14.99 0.07 5 0
95Qinlan Shen:0 Bar Shabtai 14.99 0.01 5 0
96haoyu:1 Anon5 14.99 0.01 6 0
97EC:1 haoyu 14.99 0.03 7 0
98The Kraken:0 haoyu 14.99 0.00 7 0
99Jordan Ash:0 EC 14.99 0.03 8 0
100Qinlan Shen:1 R. A. B. 14.99 9.00 9 1
101The Kraken:1 haoyu 14.99 0.00 10 0
102Jordan Ash:1 Bar Shabtai 14.99 0.01 10 0
103The Whitman Whale:0 bigwig 14.99 0.04 11 0
104Fanny:0 Aristotle 14.99 0.10 13 0
105The Whitman Whale:1 Andrew Grasso 14.99 0.03 13 0
1060108:0 jgs 14.99 14.98 13 1
107David H.:1 DeeEmEm 14.99 0.33 14 0
108AFC:0 CookieMonster 14.99 0.34 14 0
109Lisa Kim:0 Aristotle 14.99 0.07 16 0
110AFC:1 Aristotle 14.99 0.16 16 0
111Keji Xu:1 Nihar the Great 14.99 0.04 19 0
112Keji Xu:0 Nihar the Great 14.99 0.03 19 0
113DeeEmEm:0 CAPS LOCK 2.03 13.00 20 1
114DinnerPartyPlannerBM:1 Nihar the Great 14.99 0.06 21 0
115Lil Thug:0 Andrew Grasso 14.99 0.03 22 0
116Lil Thug:1 Andrew Grasso 14.99 0.03 23 0
117Charliezsc:0 jgs 14.99 14.98 24 1
118Bar Shabtai:1 haoyu 14.99 0.12 26 0
119Andys:0 Aristotle 14.99 0.12 30 0
120Andys:1 Aristotle 14.99 0.13 30 0
121Yacob Y.:1 Aristotle 14.99 15.00 30 1
122Sabar Dasgupta:0 spl 14.99 0.23 32 0
123Deric Cheng:0 jgs 14.99 14.99 32 1
124Deric Cheng:1 jgs 14.99 14.98 33 1
125Brendan Wright:0 haoyu 14.99 0.10 36 0
126Sabar Dasgupta:1 Aaron Doll 14.99 0.17 36 0
127John Whelchel:1 haoyu 14.99 0.11 39 0
128DinnerPartyPlannerBM:0 Aristotle 14.99 0.11 39 0
129John Whelchel:0 haoyu 15.00 0.06 39 0
130Sprt:0 Aristotle 14.99 0.11 44 0
131Andrew Werner:0 Aaron Doll 14.99 0.33 48 0
132Andrew Werner:1 haoyu 14.99 0.11 48 0
133Elphaba:1 Aristotle 14.99 0.22 55 0
134Elphaba:0 Aristotle 14.99 0.24 55 0
135Aaron H:1 Aristotle 14.99 0.11 60 0
136Mike Hunt:0 Aristotle 14.99 0.27 62 0
137Aaron H:0 Aristotle 14.99 0.11 64 0
138BH:1 haoyu 14.99 0.05 64 0
139Mike Hunt:1 Aristotle 14.99 0.29 65 0
140jabreezy:1 Mercury 14.99 0.10 76 0
141jabreezy:0 Mercury 14.99 0.09 76 0
142Bar Shabtai:0 Aaron Doll 14.99 15.01 86 1
143Ben Chen:0 Elphaba 14.99 0.07 87 0
144Ben Chen:1 spl 14.99 0.20 87 0
145Janie Gu:0 Glenn Fisher 14.99 0.07 89 0
146Walter Little:0 haoyu 14.99 0.04 98 0
147Walter Little:1 haoyu 14.99 0.03 98 0
148jgs:1 haoyu 14.99 0.18 102 0
149jgs:0 Aristotle 14.99 0.12 102 0
150Janie Gu:1 Jonathan Kwok 14.99 0.07 109 0
151Glenn Fisher:1 jabreezy 14.99 0.09 110 0
152Aristotle:1 Aristotle 14.99 9.69 120 0
153Aristotle:0 Aristotle 14.99 15.00 120 1
154Glenn Fisher:0 Elphaba 14.99 0.02 148 0
15513a:1 Aaron Doll 14.99 15.00 148 29
15613a:0 Aaron Doll 14.99 15.00 151 21
157Aaron Doll:1 Aristotle 14.99 1.27 156 0
158Aaron Doll:0 Aristotle 14.99 0.56 156 0
159snowflakes:0 haoyu 14.99 0.03 341 0
160snowflakes:1 haoyu 14.99 0.03 342 0
161Shaheed Chagani:0 Aristotle 14.99 0.17 498 0
162Shaheed Chagani:1 Aristotle 14.99 0.11 498 0
163burrito:0 haoyu 14.99 0.09 540 0
164Nihar the Great:1 Aristotle 15.00 0.25 965 0
165CAPS LOCK:0 Aristotle 14.99 0.20 1286 0
166burrito:1 haoyu 15.00 0.10 1496 0
167CAPS LOCK:1 Aristotle 14.99 0.25 1860 0
168nupog:1 Aristotle 14.99 0.12 4853 0
169nupog:0 Aristotle 14.99 0.13 4891 0
170Nihar the Great:0 Aristotle 15.00 0.23 971 0
171AARON BURR, DROPPIN' HAMILTONS:0 haoyu - 0.00 - 0
172KingBach:0 haoyu - 0.06 - 0
173Mr. Blobby:0 Green "The Bean" Choi - 0.14 - 0
174Jameh:0 haoyu - 0.01 - 0
175George Okeowo:1 Andrew Grasso - 0.01 - 0
176Jessie Chen:0 Joel Faron - 0.13 - 1
177Dusty:1 Shaheed Chagani - 0.22 - 0
178Blam:1 Elphaba - 0.00 - 0
179soccer:1 haoyu - 0.04 - 0
180Valya Barboy:1 Shaheed Chagani - 0.18 - 0
181dfshasdsf12:1 Nihar the Great - 0.11 - 0
182kt4124:1 haoyu - 0.04 - 0
183Mark S. Fillmore:1 Supahaka - 0.04 - 79
184Boomshanka:0 haoyu - 0.01 - 0
185Sunny:0 Green "The Bean" Choi - 0.02 - 0
186Gewang:1 Jonathan Kwok - 0.00 - 0
187Jonathan Kwok:1 KingBach - 0.00 - 0
188NA:1 Elphaba - 0.04 - 0
189BMJ:1 burrito - 0.00 - 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
194bigwig:0 Andrew Werner - 0.00 - 0
195Jessie Chen:1 Joel Faron - 0.12 - 1
196spl:0 Elphaba - 0.09 - 0
197SuperFan:0 jgs - 14.98 - 4
198soccer:0 haoyu - 0.04 - 0
199Absurdity:1 Aristotle - 0.18 - 0
200weezy:1 Bar Shabtai - 0.01 - 0
201Andrew Grasso:1 Shaheed Chagani - 0.15 - 0
202dfshasdsf12:0 haoyu - 0.09 - 0
203kt4124:0 haoyu - 0.03 - 0
204Gewang:0 Jonathan Kwok - 0.00 - 0
205Mark S. Fillmore:0 Supahaka - 0.01 - 116
206Supahaka:0 Andrew Werner - 15.00 - 35
207CookieMonster:0 CookieMonster - 0.82 - 0
208Jonathan Kwok:0 Elphaba - 0.00 - 0
209NA:0 haoyu - 0.03 - 0
210BMJ:0 Elphaba - 0.00 - 0
211K.L.:0 haoyu - 0.00 - 0
212AARON BURR, DROPPIN' HAMILTONS:1 haoyu - 0.01 - 0
213Quite Satisfied:0 haoyu - 0.00 - 0
214Brendan Wright:1 Deric Cheng - 0.10 - 0
215spl:1 haoyu - 0.06 - 0
216KingBach:1 haoyu - 0.04 - 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
222weezy:0 Bar Shabtai - 0.01 - 0
223Blam:0 Elphaba - 0.00 - 0
224Andrew Grasso:0 Aaron Doll - 0.18 - 0
225Boomshanka:1 Bar Shabtai - 0.01 - 0
226Valya Barboy:0 Aristotle - 0.06 - 0
227Supahaka:1 Joel Faron - 15.00 - 35
228Sunny:1 jabreezy - 0.01 - 0


SatSolvers Ranklist Generators Ranklist