SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Bebe Shi

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 Bebe Shi 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 Bebe Shi 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: Bebe Shi
Rank: 97 / 118
Average Score: 17.52
Median Score: 15.01
Description: WalkSAT but returns the best model found.
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:0 Andrew Werner 0.00 0.00 0 0
2Bebe Shi:1 KingBach 0.01 0.00 0 0
3Jonathan Kwok:1 KingBach 0.01 0.00 0 0
4Ravi Tandon:0 KingBach 0.01 0.00 0 0
5K.L.:1 KingBach 0.01 0.00 0 0
6Bebe Shi:0 KingBach 0.01 0.00 0 0
7Ravi Tandon:1 KingBach 0.01 0.00 0 0
8bigwig:1 KingBach 0.01 0.00 0 0
9Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
10Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
11BMJ:1 burrito 0.01 0.00 0 0
12Happy:1 KingBach 0.02 0.00 0 0
13Mike Honcho:0 Miranda 0.02 0.01 0 0
14Joshua Zimmer:0 haoyu 0.02 0.00 0 0
15Miranda:1 cat 0.02 0.00 0 0
16Miranda:0 cat 0.02 0.00 0 0
17R. A. B.:1 cat 0.02 0.00 0 0
18Solving For Clauses:1 haoyu 0.03 0.00 0 0
19Mike Honcho:1 Jessie Chen 0.03 0.01 0 0
20Daffy Duck:1 haoyu 0.03 0.00 0 0
21Joshua Zimmer:1 haoyu 0.03 0.00 0 0
22bchouGenerator:0 haoyu 0.03 0.00 0 0
23Daffy Duck:0 Andrew Werner 0.03 0.00 0 0
24bchouGenerator:1 Jonathan Kwok 0.04 0.01 0 0
25K.L.:0 haoyu 0.04 0.00 0 0
26BMJ:0 Elphaba 0.08 0.00 0 0
27Happy:0 haoyu 0.17 0.00 0 0
28Tom T:0 EC 0.25 0.02 0 0
29Tom T:1 Andrew Werner 0.26 0.02 0 0
30David Paulk:0 cat 0.27 0.00 0 0
31Dr Roberto:0 Andrew Grasso 0.50 0.03 0 0
32Boomshanka:0 haoyu 0.63 0.01 0 0
33David Lackey:1 Bar Shabtai 0.76 0.03 0 0
34Bob Dondero:1 Mickey Mouse 0.91 0.03 0 0
35Mickey Mouse:0 Bar Shabtai 0.98 0.01 0 0
36David Lackey:0 Anon5 1.12 0.03 0 0
37Mickey Mouse:1 haoyu 1.26 0.01 0 0
38cmF5a3ly:0 Nihar the Great 1.32 0.00 0 0
39Bob Dondero:0 Andrew Grasso 1.33 0.02 0 0
40weezy:0 Bar Shabtai 1.46 0.01 0 0
41cmF5a3ly:1 Nihar the Great 1.71 0.00 0 0
42Tiny Wings:0 haoyu 2.05 0.02 0 0
43Quite Satisfied:0 haoyu 3.02 0.00 0 0
44Linda:0 Andrew Grasso 3.87 0.01 0 0
45Scheduling Generator 203:1 Jameh 4.07 0.02 0 0
46Boomshanka:1 Bar Shabtai 6.06 0.01 0 0
47Jameh:0 haoyu 7.97 0.01 0 0
48cat:0 haoyu 9.48 0.03 0 0
49cat:1 haoyu 9.49 0.03 0 0
50Ytterbium:0 Andrew Grasso 10.45 0.02 0 0
51vluu:0 Nihar the Great 12.60 0.01 0 0
52vluu:1 Nihar the Great 12.74 0.02 0 0
53Linda:1 Andrew Grasso 13.18 0.02 0 0
54David Paulk:1 Bar Shabtai 15.00 0.00 1 0
55Gewang:1 Jonathan Kwok 15.00 0.00 1 0
56Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
57Jessie Chen:1 Joel Faron 15.00 0.12 1 1
58Scheduling Generator 203:0 jgs 15.00 0.01 1 0
59Jordan Ash:1 Bar Shabtai 15.00 0.01 1 0
60Gewang:0 Jonathan Kwok 15.00 0.00 1 0
61haoyu:1 Anon5 15.00 0.01 1 0
62Jordan Ash:0 EC 15.00 0.03 1 0
63Qinlan Shen:0 Bar Shabtai 15.00 0.01 1 0
64Jessie Chen:0 Joel Faron 15.00 0.13 2 1
65Tiny Wings:1 haoyu 15.00 0.01 2 0
66haoyu:0 KingBach 15.00 0.01 2 0
67T. Capote:0 haoyu 15.00 0.00 2 2
68T. Capote:1 haoyu 15.00 0.00 2 2
69The Kraken:0 haoyu 15.00 0.00 2 0
70AARON BURR, DROPPIN' HAMILTONS:0 haoyu 15.00 0.00 3 0
71The Kraken:1 haoyu 15.00 0.00 3 0
72Blam:1 Elphaba 15.00 0.00 3 0
73Tree Prophet:0 haoyu 15.00 0.00 3 0
74Qinlan Shen:1 R. A. B. 15.00 9.00 3 1
75Alex Fish:1 haoyu 15.00 0.02 3 0
760108:1 haoyu 15.00 0.01 3 0
77AARON BURR, DROPPIN' HAMILTONS:1 haoyu 15.00 0.01 4 0
780108:0 jgs 15.00 14.98 4 1
79Blam:0 Elphaba 15.00 0.00 5 0
80Tree Prophet:1 haoyu 15.00 0.00 6 0
81DeeEmEm:1 haoyu 15.00 0.02 7 0
82DeeEmEm:0 CAPS LOCK 15.00 13.00 7 1
83Sunny:1 jabreezy 15.00 0.01 9 0
84SuperFan:1 jgs 15.00 14.98 12 4
85R. A. B.:0 Nihar the Great 15.00 0.00 15 0
86Sunny:0 Green "The Bean" Choi 15.00 0.02 16 0
87Supahaka:1 Joel Faron 15.00 15.00 46 35
88Anon5:1 Green "The Bean" Choi 15.00 0.07 4 0
89AFC:1 Aristotle 15.00 0.16 8 0
90SuperFan:0 jgs 15.00 14.98 18 4
91Aaron H:1 Aristotle 15.00 0.11 28347 0
92Alex Fish:0 haoyu 15.00 0.01 1 0
93weezy:1 Bar Shabtai 15.00 0.01 1 0
94Tao:1 Aristotle 15.00 0.07 2 0
95The Whitman Whale:0 bigwig 15.00 0.04 2 0
96Dusty:0 CookieMonster 15.00 1.39 31 0
97David H.:1 DeeEmEm 15.00 0.33 6 0
98David H.:0 AFC 15.01 0.28 3 0
99Keji Xu:0 Nihar the Great 15.01 0.03 5 0
100Jameh:1 haoyu 15.01 0.01 228 0
101Anon_K_P:0 haoyu 15.01 0.02 2 0
102Valya Barboy:0 Aristotle 15.01 0.06 7 0
103Fanny:1 Aristotle 15.01 0.12 1 0
104Anon_K_P:1 Aristotle 15.01 0.03 5 0
105Mark S. Fillmore:1 Supahaka 15.01 0.04 443 79
106Tao:0 Bar Shabtai 15.01 0.02 2 0
107Yan Wu:1 haoyu 15.01 0.04 22 0
108Dusty:1 Shaheed Chagani 15.01 0.22 26 0
109Matt Haake:1 haoyu 15.01 0.05 46 0
110Anon5:0 haoyu 15.01 0.05 7 0
111Supahaka:0 Andrew Werner 15.01 15.00 48 35
112Lisa Kim:1 Bar Shabtai 15.01 0.06 1302 0
113Valya Barboy:1 Shaheed Chagani 15.01 0.18 7 0
114Andrew Grasso:0 Aaron Doll 15.01 0.18 22 0
115Keji Xu:1 Nihar the Great 15.01 0.04 4 0
116Andrew Grasso:1 Shaheed Chagani 15.01 0.15 25 0
117snowflakes:1 haoyu 15.01 0.03 306 0
118Dr Roberto:1 Andrew Grasso 15.02 0.02 1 0
119Absurdity:1 Aristotle 15.02 0.18 9506 0
120Nikhilesh Sigatapu:0 haoyu 15.02 0.03 6 0
121Lisa Kim:0 Aristotle 15.02 0.07 1804 0
122soccer:0 haoyu 15.02 0.04 4863 0
123Samuel Jerome:0 haoyu 15.02 0.03 4 0
124Samuel Jerome:1 haoyu 15.02 0.03 4 0
125Janie Gu:1 Jonathan Kwok 15.02 0.07 7 0
126The Whitman Whale:1 Andrew Grasso 15.02 0.03 3 0
127Brendan Wright:1 Deric Cheng 15.02 0.10 4 0
128Glenn Fisher:1 jabreezy 15.02 0.09 218 0
129Ben Chen:1 spl 15.02 0.20 2292 0
130EC:0 haoyu 15.03 0.03 9 0
131Sprt:0 Aristotle 15.03 0.11 27098 0
132Nikhilesh Sigatapu:1 haoyu 15.03 0.04 3 0
133Janie Gu:0 Glenn Fisher 15.03 0.07 9 0
134NA:1 Elphaba 15.03 0.04 107 0
135kt4124:0 haoyu 15.03 0.03 340 0
136Matt Haake:0 haoyu 15.03 0.05 40 0
137Glenn Fisher:0 Elphaba 15.04 0.02 227 0
138snowflakes:0 haoyu 15.04 0.03 366 0
139EC:1 haoyu 15.04 0.03 6 0
140Mr. Blobby:1 dusty 15.04 0.12 425 0
141Ytterbium:1 Nihar the Great 15.04 0.02 509 0
142Fanny:0 Aristotle 15.04 0.10 14 0
143kt4124:1 haoyu 15.05 0.04 361 0
144NA:0 haoyu 15.05 0.03 92 0
145Yan Wu:0 haoyu 15.05 0.05 27 0
146AFC:0 CookieMonster 15.05 0.34 183 0
147KingBach:0 haoyu 15.05 0.06 10138 0
148Mr. Blobby:0 Green "The Bean" Choi 15.06 0.14 636 0
149CookieMonster:1 CookieMonster 15.06 1.10 342 0
150CookieMonster:0 CookieMonster 15.06 0.82 343 0
151Walter Little:0 haoyu 15.07 0.04 1713 0
152Sally Smith:1 haoyu 15.07 0.04 640 0
153Batman:1 haoyu 15.08 0.04 7264 0
154ebp:0 haoyu 15.08 0.04 7655 0
155Mike Hunt:1 Aristotle 15.08 0.29 22559 0
156Mark S. Fillmore:0 Supahaka 15.09 0.01 1222 116
157jabreezy:1 Mercury 15.10 0.10 4590 0
158Charliezsc:1 haoyu 15.10 0.07 14128 0
159Ben Chen:0 Elphaba 15.12 0.07 1590 0
160Walter Little:1 haoyu 15.12 0.03 1929 0
161spl:0 Elphaba 15.13 0.09 3305 0
162Sally Smith:0 haoyu 15.13 0.04 557 0
163totallyOnFallBreak:0 Nikhilesh Sigatapu 15.14 0.01 798 0
164jabreezy:0 Mercury 15.14 0.09 4689 0
165Mercury:0 haoyu 15.16 0.05 2991 0
166KingBach:1 haoyu 15.19 0.04 8852 0
167Andys:0 Aristotle 15.19 0.12 32839 0
168soccer:1 haoyu 15.20 0.04 6117 0
169bfang:1 haoyu 15.21 0.04 4128 0
170Brendan Wright:0 haoyu 15.23 0.10 6 0
171Batman:0 haoyu 15.24 0.04 6860 0
172Mercury:1 haoyu 15.25 0.05 3997 0
173Yacob Y.:0 haoyu 15.26 0.06 8430 0
174spl:1 haoyu 15.27 0.06 2927 0
175bfang:0 haoyu 15.27 0.04 4123 0
176George Okeowo:0 Andrew Grasso 15.27 0.01 2248 0
177CAPS LOCK:0 Aristotle 15.32 0.20 50817 0
178Khoa:0 haoyu 15.36 0.09 7476 0
179Charliezsc:0 jgs 15.37 14.98 10685 1
180Yacob Y.:1 Aristotle 15.38 15.00 9871 1
181Khoa:1 Aristotle 15.40 0.09 7744 0
182Sabar Dasgupta:0 spl 15.42 0.23 13311 0
183George Okeowo:1 Andrew Grasso 15.42 0.01 2561 0
184John Whelchel:1 haoyu 15.51 0.11 30692 0
185Absurdity:0 Aristotle 15.52 0.23 9634 0
186Sprt:1 haoyu 15.56 0.05 11009 0
187ebp:1 haoyu 15.67 0.04 7829 0
188Andrew Werner:0 Aaron Doll 15.74 0.33 31077 0
189dfshasdsf12:1 Nihar the Great 15.89 0.11 30786 0
190Sabar Dasgupta:1 Aaron Doll 15.94 0.17 13051 0
191John Whelchel:0 haoyu 15.99 0.06 31503 0
192Andys:1 Aristotle 16.10 0.13 28800 0
193dfshasdsf12:0 haoyu 16.37 0.09 21320 0
194burrito:0 haoyu 16.43 0.09 22923 0
195Lil Thug:0 Andrew Grasso 16.51 0.03 29549 0
196BH:1 haoyu 16.52 0.05 20395 0
197DinnerPartyPlannerBM:1 Nihar the Great 16.62 0.06 24348 0
198totallyOnFallBreak:1 Nikhilesh Sigatapu 16.74 0.01 811 0
199Andrew Werner:1 haoyu 16.84 0.11 29274 0
200BH:0 haoyu 16.89 0.07 20978 0
201burrito:1 haoyu 17.03 0.10 44826 0
202Mike Hunt:0 Aristotle 17.25 0.27 23093 0
203Aaron H:0 Aristotle 17.45 0.11 26325 0
204jgs:0 Aristotle 17.64 0.12 57823 0
205Lil Thug:1 Andrew Grasso 17.67 0.03 31403 0
206nupog:0 Aristotle 18.10 0.13 5098 0
207nupog:1 Aristotle 18.78 0.12 4939 0
208Deric Cheng:0 jgs 20.16 14.99 52984 1
209DinnerPartyPlannerBM:0 Aristotle 20.19 0.11 43482 0
210Shaheed Chagani:0 Aristotle 20.49 0.17 37534 0
211Deric Cheng:1 jgs 21.46 14.98 61074 1
212Bar Shabtai:1 haoyu 21.59 0.12 51703 0
213jgs:1 haoyu 22.97 0.18 53896 0
214Elphaba:0 Aristotle 24.74 0.24 106569 0
215CAPS LOCK:1 Aristotle 27.06 0.25 78452 0
216Elphaba:1 Aristotle 27.14 0.22 102736 0
217Shaheed Chagani:1 Aristotle 29.17 0.11 34129 0
21813a:0 Aaron Doll 43.55 15.00 123329 21
21913a:1 Aaron Doll 45.19 15.00 125553 29
220Nihar the Great:0 Aristotle 87.30 0.23 86245 0
221Nihar the Great:1 Aristotle 102.49 0.25 116227 0
222Aaron Doll:0 Aristotle 127.01 0.56 294139 0
223Aaron Doll:1 Aristotle 138.01 1.27 330979 0
224Matt Goldsmith:0 Nihar the Great - 0.03 - 0
225Aristotle:1 Aristotle - 9.69 - 0
226Bar Shabtai:0 Aaron Doll - 15.01 - 1
227Aristotle:0 Aristotle - 15.00 - 1
228Matt Goldsmith:1 Happy - 0.03 - 0


SatSolvers Ranklist Generators Ranklist