SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Blam

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 Blam 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 Blam 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: Blam
Rank: 61 / 118
Average Score: 8.95
Median Score: 15.00
Description: This is an implementation on a variant of WalkSAT. The difference is it does a random restart if the time remaining is 1/3 the time that is allowed by the parameter
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:1 KingBach 0.00 0.00 0 0
2Ravi Tandon:0 KingBach 0.00 0.00 0 0
3Bebe Shi:1 KingBach 0.00 0.00 0 0
4bigwig:0 Andrew Werner 0.00 0.00 0 0
5Ravi Tandon:1 KingBach 0.00 0.00 0 0
6Miranda:0 cat 0.01 0.00 0 0
7Solving For Clauses:1 haoyu 0.01 0.00 0 0
8Miranda:1 cat 0.01 0.00 0 0
9Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
10K.L.:1 KingBach 0.01 0.00 0 0
11Joshua Zimmer:1 haoyu 0.01 0.00 0 0
12Joshua Zimmer:0 haoyu 0.01 0.00 0 0
13Daffy Duck:1 haoyu 0.01 0.00 0 0
14R. A. B.:1 cat 0.01 0.00 0 0
15Bebe Shi:0 KingBach 0.02 0.00 0 0
16Blam:0 Elphaba 0.02 0.00 0 0
17haoyu:1 Anon5 0.02 0.01 0 0
18Gewang:0 Jonathan Kwok 0.02 0.00 0 0
19Happy:0 haoyu 0.02 0.00 0 0
20Mike Honcho:0 Miranda 0.02 0.01 0 0
21Gewang:1 Jonathan Kwok 0.02 0.00 0 0
22Mike Honcho:1 Jessie Chen 0.02 0.01 0 0
23Happy:1 KingBach 0.02 0.00 0 0
24BMJ:0 Elphaba 0.02 0.00 0 0
25Quite Satisfied:0 haoyu 0.03 0.00 0 0
26Tree Prophet:0 haoyu 0.03 0.00 0 0
27David Paulk:0 cat 0.03 0.00 0 0
28cmF5a3ly:0 Nihar the Great 0.03 0.00 0 0
29cmF5a3ly:1 Nihar the Great 0.03 0.00 0 0
30The Kraken:1 haoyu 0.04 0.00 0 0
31K.L.:0 haoyu 0.04 0.00 0 0
32The Kraken:0 haoyu 0.04 0.00 0 0
33David Paulk:1 Bar Shabtai 0.04 0.00 0 0
34Scheduling Generator 203:1 Jameh 0.04 0.02 0 0
35Jonathan Kwok:1 KingBach 0.05 0.00 0 0
36bchouGenerator:0 haoyu 0.05 0.00 0 0
37Mickey Mouse:1 haoyu 0.05 0.01 0 0
38Scheduling Generator 203:0 jgs 0.05 0.01 0 0
39Daffy Duck:0 Andrew Werner 0.05 0.00 0 0
40R. A. B.:0 Nihar the Great 0.05 0.00 0 0
41Mickey Mouse:0 Bar Shabtai 0.05 0.01 0 0
42weezy:1 Bar Shabtai 0.06 0.01 0 0
43BMJ:1 burrito 0.06 0.00 0 0
44Tree Prophet:1 haoyu 0.06 0.00 0 0
45haoyu:0 KingBach 0.06 0.01 0 0
46totallyOnFallBreak:0 Nikhilesh Sigatapu 0.06 0.01 0 0
47Tom T:0 EC 0.07 0.02 0 0
48weezy:0 Bar Shabtai 0.07 0.01 0 0
49Tom T:1 Andrew Werner 0.07 0.02 0 0
50Dr Roberto:1 Andrew Grasso 0.08 0.02 0 0
51Qinlan Shen:0 Bar Shabtai 0.08 0.01 0 0
52totallyOnFallBreak:1 Nikhilesh Sigatapu 0.09 0.01 0 0
53Jonathan Kwok:0 Elphaba 0.09 0.00 0 0
54Bob Dondero:0 Andrew Grasso 0.10 0.02 0 0
55Dr Roberto:0 Andrew Grasso 0.11 0.03 0 0
56vluu:1 Nihar the Great 0.11 0.02 0 0
57Jameh:0 haoyu 0.11 0.01 0 0
58Jordan Ash:1 Bar Shabtai 0.12 0.01 0 0
59Linda:0 Andrew Grasso 0.12 0.01 0 0
60vluu:0 Nihar the Great 0.14 0.01 0 0
61bchouGenerator:1 Jonathan Kwok 0.15 0.01 0 0
62Ytterbium:0 Andrew Grasso 0.15 0.02 0 0
63Blam:1 Elphaba 0.19 0.00 0 0
64Linda:1 Andrew Grasso 0.23 0.02 0 0
65The Whitman Whale:1 Andrew Grasso 0.27 0.03 0 0
66The Whitman Whale:0 bigwig 0.28 0.04 0 0
67Boomshanka:0 haoyu 0.31 0.01 0 0
68Jameh:1 haoyu 0.34 0.01 0 0
69Ytterbium:1 Nihar the Great 0.37 0.02 0 0
70George Okeowo:0 Andrew Grasso 0.41 0.01 0 0
71Bob Dondero:1 Mickey Mouse 0.42 0.03 0 0
72George Okeowo:1 Andrew Grasso 0.42 0.01 0 0
73Tiny Wings:1 haoyu 0.46 0.01 0 0
74Sunny:0 Green "The Bean" Choi 0.53 0.02 0 0
75Janie Gu:1 Jonathan Kwok 0.74 0.07 0 0
76Boomshanka:1 Bar Shabtai 0.85 0.01 0 0
77DeeEmEm:1 haoyu 0.92 0.02 0 0
78kt4124:0 haoyu 1.17 0.03 0 0
79Sunny:1 jabreezy 1.27 0.01 0 0
80Janie Gu:0 Glenn Fisher 1.31 0.07 0 0
81Tiny Wings:0 haoyu 1.33 0.02 0 0
82Keji Xu:0 Nihar the Great 1.36 0.03 0 0
83cat:0 haoyu 1.77 0.03 0 0
84cat:1 haoyu 1.88 0.03 0 0
85kt4124:1 haoyu 2.09 0.04 0 0
86Lisa Kim:1 Bar Shabtai 2.29 0.06 0 0
87Sprt:1 haoyu 2.48 0.05 0 0
88Khoa:1 Aristotle 2.84 0.09 0 0
89Khoa:0 haoyu 3.17 0.09 0 0
90DinnerPartyPlannerBM:1 Nihar the Great 4.08 0.06 0 0
91soccer:0 haoyu 4.72 0.04 0 0
92Lisa Kim:0 Aristotle 5.62 0.07 0 0
93dfshasdsf12:0 haoyu 5.91 0.09 0 0
94Sally Smith:0 haoyu 6.57 0.04 0 0
95Lil Thug:1 Andrew Grasso 7.19 0.03 0 0
96Lil Thug:0 Andrew Grasso 8.54 0.03 0 0
97Brendan Wright:1 Deric Cheng 9.95 0.10 0 0
98Keji Xu:1 Nihar the Great 11.66 0.04 0 0
99Sprt:0 Aristotle 12.07 0.11 0 0
100Sally Smith:1 haoyu 12.47 0.04 0 0
101KingBach:1 haoyu 13.82 0.04 0 0
102Alex Fish:1 haoyu 14.14 0.02 0 0
103dfshasdsf12:1 Nihar the Great 14.60 0.11 0 0
104T. Capote:0 haoyu 15.00 0.00 2 2
105T. Capote:1 haoyu 15.00 0.00 3 2
106Qinlan Shen:1 R. A. B. 15.00 9.00 4 1
107Quite Satisfied:1 Joel Faron 15.00 2.11 5 1
108CookieMonster:0 CookieMonster 15.00 0.82 6 0
109CookieMonster:1 CookieMonster 15.00 1.10 6 0
110bfang:0 haoyu 15.00 0.04 7 0
111AARON BURR, DROPPIN' HAMILTONS:0 haoyu 15.00 0.00 9 0
112AARON BURR, DROPPIN' HAMILTONS:1 haoyu 15.00 0.01 10 0
113Jessie Chen:1 Joel Faron 15.00 0.12 11 1
114DeeEmEm:0 CAPS LOCK 15.00 13.00 11 1
115Tao:1 Aristotle 15.00 0.07 12 0
116soccer:1 haoyu 15.00 0.04 12 0
1170108:1 haoyu 15.00 0.01 12 0
1180108:0 jgs 15.00 14.98 13 1
119Tao:0 Bar Shabtai 15.00 0.02 13 0
120Jessie Chen:0 Joel Faron 15.00 0.13 14 1
121Alex Fish:0 haoyu 15.00 0.01 15 0
122Valya Barboy:1 Shaheed Chagani 15.00 0.18 17 0
123Anon5:1 Green "The Bean" Choi 15.00 0.07 19 0
124Anon_K_P:1 Aristotle 15.00 0.03 19 0
125Jordan Ash:0 EC 15.00 0.03 20 0
126Anon_K_P:0 haoyu 15.00 0.02 21 0
127Nikhilesh Sigatapu:0 haoyu 15.00 0.03 22 0
128David H.:1 DeeEmEm 15.00 0.33 23 0
129Valya Barboy:0 Aristotle 15.00 0.06 24 0
130David H.:0 AFC 15.00 0.28 27 0
131AFC:1 Aristotle 15.00 0.16 29 0
132Andys:1 Aristotle 15.00 0.13 30 0
133Sabar Dasgupta:0 spl 15.00 0.23 30 0
134Samuel Jerome:1 haoyu 15.00 0.03 31 0
135SuperFan:1 jgs 15.00 14.98 32 4
136ebp:1 haoyu 15.00 0.04 35 0
137Fanny:1 Aristotle 15.00 0.12 35 0
138SuperFan:0 jgs 15.00 14.98 41 4
139ebp:0 haoyu 15.00 0.04 42 0
140Absurdity:1 Aristotle 15.00 0.18 48 0
141Andrew Grasso:1 Shaheed Chagani 15.00 0.15 48 0
142Supahaka:0 Andrew Werner 15.00 15.00 50 35
143Supahaka:1 Joel Faron 15.00 15.00 50 35
144Dusty:0 CookieMonster 15.00 1.39 52 0
145Andrew Grasso:0 Aaron Doll 15.00 0.18 54 0
146Fanny:0 Aristotle 15.00 0.10 56 0
147Mr. Blobby:1 dusty 15.00 0.12 60 0
148Ben Chen:1 spl 15.00 0.20 62 0
149spl:0 Elphaba 15.00 0.09 65 0
150Walter Little:0 haoyu 15.00 0.04 67 0
151Glenn Fisher:1 jabreezy 15.00 0.09 67 0
152Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 70 0
153Dusty:1 Shaheed Chagani 15.00 0.22 70 0
154Ben Chen:0 Elphaba 15.00 0.07 73 0
155David Lackey:0 Anon5 15.00 0.03 78 0
156Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
157Yan Wu:0 haoyu 15.00 0.05 81 0
158Glenn Fisher:0 Elphaba 15.00 0.02 89 0
159Walter Little:1 haoyu 15.00 0.03 96 0
160Matt Haake:0 haoyu 15.00 0.05 109 0
161NA:1 Elphaba 15.00 0.04 111 0
162Mark S. Fillmore:0 Supahaka 15.00 0.01 117 116
163NA:0 haoyu 15.00 0.03 126 0
164Matt Haake:1 haoyu 15.00 0.05 157 0
165snowflakes:1 haoyu 15.00 0.03 158 0
166snowflakes:0 haoyu 15.00 0.03 172 0
167DinnerPartyPlannerBM:0 Aristotle 15.00 0.11 645 0
168BH:0 haoyu 15.00 0.07 940 0
169Shaheed Chagani:1 Aristotle 15.00 0.11 4515 0
170Bar Shabtai:1 haoyu 15.00 0.12 14242 0
171Bar Shabtai:0 Aaron Doll 15.00 15.01 334302 1
172bfang:1 haoyu 15.00 0.04 14 0
173Nikhilesh Sigatapu:1 haoyu 15.00 0.04 15 0
174jabreezy:0 Mercury 15.00 0.09 21 0
175jabreezy:1 Mercury 15.00 0.10 22 0
176Samuel Jerome:0 haoyu 15.00 0.03 23 0
177EC:0 haoyu 15.00 0.03 24 0
178John Whelchel:1 haoyu 15.00 0.11 25 0
179EC:1 haoyu 15.00 0.03 26 0
180Anon5:0 haoyu 15.00 0.05 26 0
181AFC:0 CookieMonster 15.00 0.34 27 0
182Yan Wu:1 haoyu 15.00 0.04 80 0
183BH:1 haoyu 15.00 0.05 823 0
184nupog:0 Aristotle 15.00 0.13 2830 0
185nupog:1 Aristotle 15.00 0.12 2992 0
186Shaheed Chagani:0 Aristotle 15.00 0.17 5390 0
187Aaron Doll:0 Aristotle 15.00 0.56 258101 0
188Brendan Wright:0 haoyu 15.00 0.10 7 0
189Mercury:0 haoyu 15.00 0.05 30 0
190spl:1 haoyu 15.00 0.06 54 0
191Yacob Y.:0 haoyu 15.00 0.06 37 0
192Deric Cheng:0 jgs 15.00 14.99 880 1
193jgs:1 haoyu 15.00 0.18 12174 0
194Nihar the Great:1 Aristotle 15.00 0.25 23723 0
195Charliezsc:0 jgs 15.01 14.98 12 1
196Yacob Y.:1 Aristotle 15.01 15.00 42 1
197jgs:0 Aristotle 15.01 0.12 11085 0
198KingBach:0 haoyu 15.01 0.06 17 0
199Mercury:1 haoyu 15.01 0.05 36 0
200Batman:1 haoyu 15.01 0.04 5 0
201Charliezsc:1 haoyu 15.01 0.07 17 0
202Absurdity:0 Aristotle 15.01 0.23 80 0
203Batman:0 haoyu 15.01 0.04 8 0
204Sabar Dasgupta:1 Aaron Doll 15.01 0.17 35 0
205David Lackey:1 Bar Shabtai 15.01 0.03 89 0
206Nihar the Great:0 Aristotle 15.02 0.23 23312 0
20713a:0 Aaron Doll 15.02 15.00 91942 21
208Andys:0 Aristotle 15.02 0.12 33 0
209burrito:0 haoyu 15.02 0.09 24 0
210Elphaba:1 Aristotle 15.02 0.22 57810 0
211Deric Cheng:1 jgs 15.02 14.98 2277 1
212Mike Hunt:0 Aristotle 15.02 0.27 30 0
213Mike Hunt:1 Aristotle 15.02 0.29 53 0
214Aaron H:1 Aristotle 15.03 0.11 27 0
215Aaron H:0 Aristotle 15.03 0.11 16 0
216Elphaba:0 Aristotle 15.03 0.24 73264 0
217Andrew Werner:1 haoyu 15.04 0.11 6 0
218Matt Goldsmith:0 Nihar the Great 15.04 0.03 509457 0
219Andrew Werner:0 Aaron Doll 15.05 0.33 35 0
220burrito:1 haoyu 15.05 0.10 339 0
221John Whelchel:0 haoyu 15.06 0.06 23 0
22213a:1 Aaron Doll 15.06 15.00 100119 29
223Matt Goldsmith:1 Happy 15.06 0.03 510797 0
224CAPS LOCK:1 Aristotle 15.07 0.25 10400 0
225Aaron Doll:1 Aristotle 15.12 1.27 335628 0
226Aristotle:0 Aristotle 15.12 15.00 735055 1
227Aristotle:1 Aristotle 15.12 9.69 758352 0
228CAPS LOCK:0 Aristotle 15.21 0.20 12 0


SatSolvers Ranklist Generators Ranklist