SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Mr. Blobby

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 Mr. Blobby 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 Mr. Blobby 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: Mr. Blobby
Rank: 27 / 118
Average Score: 5.34
Median Score: 0.62
Description: Mr. Blobby's SAT solver is an implementation of WalkSat that random walks with probability 0.5 and random restarts if no solution is found within 6 seconds of last search.
Generator Best solver Time taken Best time Unsat Best unsat
1Ravi Tandon:0 KingBach 0.00 0.00 0 0
2bigwig:1 KingBach 0.00 0.00 0 0
3Bebe Shi:0 KingBach 0.00 0.00 0 0
4K.L.:1 KingBach 0.00 0.00 0 0
5bigwig:0 Andrew Werner 0.00 0.00 0 0
6Ravi Tandon:1 KingBach 0.00 0.00 0 0
7Solving For Clauses:1 haoyu 0.00 0.00 0 0
8Miranda:0 cat 0.00 0.00 0 0
9Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
10Miranda:1 cat 0.01 0.00 0 0
11Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
12Joshua Zimmer:0 haoyu 0.01 0.00 0 0
13Bebe Shi:1 KingBach 0.01 0.00 0 0
14haoyu:0 KingBach 0.01 0.01 0 0
15Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
16Blam:0 Elphaba 0.01 0.00 0 0
17BMJ:1 burrito 0.01 0.00 0 0
18haoyu:1 Anon5 0.01 0.01 0 0
19R. A. B.:1 cat 0.01 0.00 0 0
20Happy:1 KingBach 0.01 0.00 0 0
21bchouGenerator:0 haoyu 0.01 0.00 0 0
22Gewang:1 Jonathan Kwok 0.01 0.00 0 0
23Gewang:0 Jonathan Kwok 0.01 0.00 0 0
24Daffy Duck:1 haoyu 0.01 0.00 0 0
25The Kraken:1 haoyu 0.01 0.00 0 0
26Jonathan Kwok:1 KingBach 0.01 0.00 0 0
27David Paulk:1 Bar Shabtai 0.01 0.00 0 0
28David Paulk:0 cat 0.01 0.00 0 0
29Quite Satisfied:0 haoyu 0.01 0.00 0 0
30The Kraken:0 haoyu 0.01 0.00 0 0
31Tree Prophet:0 haoyu 0.01 0.00 0 0
32Joshua Zimmer:1 haoyu 0.01 0.00 0 0
33BMJ:0 Elphaba 0.01 0.00 0 0
34K.L.:0 haoyu 0.01 0.00 0 0
35bchouGenerator:1 Jonathan Kwok 0.02 0.01 0 0
36Mike Honcho:0 Miranda 0.02 0.01 0 0
37Happy:0 haoyu 0.02 0.00 0 0
38cmF5a3ly:0 Nihar the Great 0.02 0.00 0 0
39Qinlan Shen:0 Bar Shabtai 0.02 0.01 0 0
40Blam:1 Elphaba 0.02 0.00 0 0
41cmF5a3ly:1 Nihar the Great 0.02 0.00 0 0
42Jordan Ash:1 Bar Shabtai 0.02 0.01 0 0
43Tree Prophet:1 haoyu 0.02 0.00 0 0
44Mike Honcho:1 Jessie Chen 0.02 0.01 0 0
45Mickey Mouse:1 haoyu 0.03 0.01 0 0
46weezy:1 Bar Shabtai 0.03 0.01 0 0
47Scheduling Generator 203:0 jgs 0.03 0.01 0 0
48R. A. B.:0 Nihar the Great 0.03 0.00 0 0
49Scheduling Generator 203:1 Jameh 0.03 0.02 0 0
50Mickey Mouse:0 Bar Shabtai 0.03 0.01 0 0
510108:1 haoyu 0.03 0.01 0 0
52Jameh:0 haoyu 0.04 0.01 0 0
53weezy:0 Bar Shabtai 0.04 0.01 0 0
54Tom T:1 Andrew Werner 0.04 0.02 0 0
55Boomshanka:1 Bar Shabtai 0.04 0.01 0 0
56Dr Roberto:1 Andrew Grasso 0.04 0.02 0 0
57Tom T:0 EC 0.05 0.02 0 0
58totallyOnFallBreak:0 Nikhilesh Sigatapu 0.05 0.01 0 0
59totallyOnFallBreak:1 Nikhilesh Sigatapu 0.06 0.01 0 0
60The Whitman Whale:0 bigwig 0.06 0.04 0 0
61Boomshanka:0 haoyu 0.06 0.01 0 0
62Alex Fish:0 haoyu 0.06 0.01 0 0
63Ytterbium:0 Andrew Grasso 0.06 0.02 0 0
64Tiny Wings:0 haoyu 0.07 0.02 0 0
65David Lackey:1 Bar Shabtai 0.07 0.03 0 0
66DeeEmEm:1 haoyu 0.07 0.02 0 0
67Jordan Ash:0 EC 0.07 0.03 0 0
68cat:1 haoyu 0.08 0.03 0 0
69vluu:1 Nihar the Great 0.09 0.02 0 0
70David Lackey:0 Anon5 0.09 0.03 0 0
71The Whitman Whale:1 Andrew Grasso 0.09 0.03 0 0
72Anon_K_P:0 haoyu 0.09 0.02 0 0
73vluu:0 Nihar the Great 0.09 0.01 0 0
74Dr Roberto:0 Andrew Grasso 0.09 0.03 0 0
75cat:0 haoyu 0.10 0.03 0 0
76Alex Fish:1 haoyu 0.10 0.02 0 0
77AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.10 0.01 0 0
78Jameh:1 haoyu 0.10 0.01 0 0
79Tiny Wings:1 haoyu 0.11 0.01 0 0
80Tao:0 Bar Shabtai 0.11 0.02 0 0
81Sunny:1 jabreezy 0.13 0.01 0 0
82Janie Gu:0 Glenn Fisher 0.14 0.07 0 0
83AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.14 0.00 0 0
84Fanny:0 Aristotle 0.16 0.10 0 0
85Nikhilesh Sigatapu:0 haoyu 0.16 0.03 0 0
86Keji Xu:0 Nihar the Great 0.18 0.03 0 0
87Keji Xu:1 Nihar the Great 0.18 0.04 0 0
88Nikhilesh Sigatapu:1 haoyu 0.19 0.04 0 0
89Ytterbium:1 Nihar the Great 0.20 0.02 0 0
90Sunny:0 Green "The Bean" Choi 0.22 0.02 0 0
91Samuel Jerome:1 haoyu 0.23 0.03 0 0
92Bob Dondero:0 Andrew Grasso 0.24 0.02 0 0
93George Okeowo:1 Andrew Grasso 0.25 0.01 0 0
94Linda:0 Andrew Grasso 0.25 0.01 0 0
95George Okeowo:0 Andrew Grasso 0.26 0.01 0 0
96Lisa Kim:1 Bar Shabtai 0.26 0.06 0 0
97Lisa Kim:0 Aristotle 0.28 0.07 0 0
98Matt Haake:0 haoyu 0.30 0.05 0 0
99Glenn Fisher:0 Elphaba 0.31 0.02 0 0
100Yan Wu:0 haoyu 0.35 0.05 0 0
101Bob Dondero:1 Mickey Mouse 0.36 0.03 0 0
102Anon_K_P:1 Aristotle 0.36 0.03 0 0
103kt4124:0 haoyu 0.40 0.03 0 0
104Sally Smith:0 haoyu 0.40 0.04 0 0
105kt4124:1 haoyu 0.40 0.04 0 0
106Samuel Jerome:0 haoyu 0.41 0.03 0 0
107Janie Gu:1 Jonathan Kwok 0.42 0.07 0 0
108Mercury:1 haoyu 0.48 0.05 0 0
109Sally Smith:1 haoyu 0.48 0.04 0 0
110Tao:1 Aristotle 0.49 0.07 0 0
111bfang:0 haoyu 0.50 0.04 0 0
112bfang:1 haoyu 0.53 0.04 0 0
113Mercury:0 haoyu 0.60 0.05 0 0
114Valya Barboy:0 Aristotle 0.62 0.06 0 0
115KingBach:1 haoyu 0.71 0.04 0 0
116Batman:0 haoyu 0.72 0.04 0 0
117Linda:1 Andrew Grasso 0.74 0.02 0 0
118Batman:1 haoyu 0.80 0.04 0 0
119KingBach:0 haoyu 0.81 0.06 0 0
120Yan Wu:1 haoyu 0.84 0.04 0 0
121Anon5:1 Green "The Bean" Choi 1.05 0.07 0 0
122Khoa:0 haoyu 1.16 0.09 0 0
123NA:1 Elphaba 1.18 0.04 0 0
124Mr. Blobby:1 dusty 1.18 0.12 0 0
125Ben Chen:0 Elphaba 1.26 0.07 0 0
126Matt Haake:1 haoyu 1.28 0.05 0 0
127Sprt:1 haoyu 1.33 0.05 0 0
128Khoa:1 Aristotle 1.34 0.09 0 0
129soccer:1 haoyu 1.40 0.04 0 0
130soccer:0 haoyu 1.65 0.04 0 0
131Mr. Blobby:0 Green "The Bean" Choi 1.72 0.14 0 0
132Valya Barboy:1 Shaheed Chagani 1.79 0.18 0 0
133Fanny:1 Aristotle 1.87 0.12 0 0
134Andrew Grasso:0 Aaron Doll 2.13 0.18 0 0
135Brendan Wright:0 haoyu 2.14 0.10 0 0
136Ben Chen:1 spl 2.29 0.20 0 0
137Yacob Y.:0 haoyu 2.44 0.06 0 0
138DinnerPartyPlannerBM:1 Nihar the Great 2.45 0.06 0 0
139burrito:0 haoyu 2.94 0.09 0 0
140Dusty:1 Shaheed Chagani 3.07 0.22 0 0
141dfshasdsf12:0 haoyu 3.37 0.09 0 0
142EC:1 haoyu 3.41 0.03 0 0
143Brendan Wright:1 Deric Cheng 3.45 0.10 0 0
144Aaron H:1 Aristotle 3.63 0.11 0 0
145Aaron H:0 Aristotle 3.72 0.11 0 0
146Charliezsc:1 haoyu 3.82 0.07 0 0
147Sabar Dasgupta:1 Aaron Doll 4.19 0.17 0 0
148John Whelchel:0 haoyu 4.46 0.06 0 0
149Walter Little:0 haoyu 4.48 0.04 0 0
150Sabar Dasgupta:0 spl 4.92 0.23 0 0
151Lil Thug:1 Andrew Grasso 5.09 0.03 0 0
152Lil Thug:0 Andrew Grasso 5.37 0.03 0 0
153Sprt:0 Aristotle 5.54 0.11 0 0
154Glenn Fisher:1 jabreezy 7.34 0.09 0 0
155snowflakes:1 haoyu 9.78 0.03 0 0
156Andys:0 Aristotle 11.74 0.12 0 0
157David H.:0 AFC 12.77 0.28 0 0
158Andrew Grasso:1 Shaheed Chagani 14.88 0.15 0 0
159David H.:1 DeeEmEm 15.00 0.33 1 0
160Jessie Chen:0 Joel Faron 15.00 0.13 1 1
161snowflakes:0 haoyu 15.00 0.03 1 0
162Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
163Dusty:0 CookieMonster 15.00 1.39 1 0
164Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
165Jessie Chen:1 Joel Faron 15.00 0.12 1 1
166Walter Little:1 haoyu 15.00 0.03 1 0
167CookieMonster:0 CookieMonster 15.00 0.82 1 0
168DeeEmEm:0 CAPS LOCK 15.00 13.00 1 1
1690108:0 jgs 15.00 14.98 1 1
170EC:0 haoyu 15.00 0.03 1 0
171Anon5:0 haoyu 15.00 0.05 2 0
172T. Capote:0 haoyu 15.00 0.00 2 2
173Absurdity:1 Aristotle 15.00 0.18 2 0
174NA:0 haoyu 15.00 0.03 2 0
175spl:1 haoyu 15.00 0.06 2 0
176T. Capote:1 haoyu 15.00 0.00 2 2
177SuperFan:0 jgs 15.00 14.98 4 4
178SuperFan:1 jgs 15.00 14.98 4 4
179ebp:1 haoyu 15.00 0.04 5 0
180ebp:0 haoyu 15.00 0.04 13 0
181Supahaka:0 Andrew Werner 15.00 15.00 37 35
182Supahaka:1 Joel Faron 15.00 15.00 38 35
183Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
184Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
185nupog:0 Aristotle 15.00 0.13 2837 0
186dfshasdsf12:1 Nihar the Great 15.00 0.11 4216 0
187jgs:1 haoyu 15.00 0.18 26149 0
18813a:1 Aaron Doll 15.00 15.00 107839 29
189Mike Hunt:1 Aristotle 15.00 0.29 1 0
190CookieMonster:1 CookieMonster 15.00 1.10 1 0
191Andys:1 Aristotle 15.00 0.13 2 0
192AFC:0 CookieMonster 15.00 0.34 2 0
193Andrew Werner:0 Aaron Doll 15.00 0.33 3 0
194spl:0 Elphaba 15.00 0.09 3 0
195BH:1 haoyu 15.00 0.05 390 0
196Shaheed Chagani:0 Aristotle 15.00 0.17 11589 0
197AFC:1 Aristotle 15.00 0.16 1 0
198Absurdity:0 Aristotle 15.00 0.23 1 0
199jabreezy:0 Mercury 15.00 0.09 8 0
200DinnerPartyPlannerBM:0 Aristotle 15.00 0.11 4473 0
201Nihar the Great:1 Aristotle 15.00 0.25 24502 0
202Elphaba:0 Aristotle 15.00 0.24 81773 0
203jabreezy:1 Mercury 15.00 0.10 8 0
204Charliezsc:0 jgs 15.01 14.98 1 1
205nupog:1 Aristotle 15.01 0.12 3106 0
20613a:0 Aaron Doll 15.01 15.00 96867 21
207Bar Shabtai:1 haoyu 15.01 0.12 28109 0
208BH:0 haoyu 15.01 0.07 373 0
209burrito:1 haoyu 15.01 0.10 1195 0
210John Whelchel:1 haoyu 15.01 0.11 6 0
211Yacob Y.:1 Aristotle 15.01 15.00 7 1
212Deric Cheng:0 jgs 15.01 14.99 19448 1
213jgs:0 Aristotle 15.01 0.12 31332 0
214Shaheed Chagani:1 Aristotle 15.01 0.11 13670 0
215Deric Cheng:1 jgs 15.01 14.98 14778 1
216Andrew Werner:1 haoyu 15.02 0.11 9 0
217Mike Hunt:0 Aristotle 15.02 0.27 15 0
218Elphaba:1 Aristotle 15.02 0.22 80774 0
219Aaron Doll:1 Aristotle 15.02 1.27 320036 0
220Nihar the Great:0 Aristotle 15.03 0.23 24400 0
221CAPS LOCK:1 Aristotle 15.04 0.25 31431 0
222CAPS LOCK:0 Aristotle 15.04 0.20 4476 0
223Aaron Doll:0 Aristotle 15.08 0.56 267640 0
224Bar Shabtai:0 Aaron Doll 15.08 15.01 322164 1
225Matt Goldsmith:1 Happy 15.11 0.03 514653 0
226Aristotle:1 Aristotle 15.12 9.69 754025 0
227Aristotle:0 Aristotle 15.13 15.00 742822 1
228Matt Goldsmith:0 Nihar the Great 15.22 0.03 511516 0


SatSolvers Ranklist Generators Ranklist