SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Supahaka

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 Supahaka 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 Supahaka 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: Supahaka
Rank: 88 / 118
Average Score: 14.69
Median Score: 15.00
Description: The love-child of WalkSAT and DPLL. Performs forward chaining while doing WalkSAT. As an impatient child, will give up if it doesn't see much progress being made.
Generator Best solver Time taken Best time Unsat Best unsat
1Ravi Tandon:1 KingBach 0.00 0.00 0 0
2Ravi Tandon:0 KingBach 0.01 0.00 0 0
3Miranda:1 cat 0.01 0.00 0 0
4Mark S. Fillmore:0 Supahaka 0.01 0.01 116 116
5Miranda:0 cat 0.01 0.00 0 0
6Mark S. Fillmore:1 Supahaka 0.04 0.04 79 79
7Mike Honcho:0 Miranda 0.04 0.01 0 0
8Mike Honcho:1 Jessie Chen 0.06 0.01 0 0
9Scheduling Generator 203:0 jgs 0.26 0.01 0 0
10Bob Dondero:1 Mickey Mouse 0.41 0.03 0 0
11Bob Dondero:0 Andrew Grasso 0.53 0.02 0 0
12Scheduling Generator 203:1 Jameh 2.18 0.02 0 0
13Dr Roberto:0 Andrew Grasso 2.67 0.03 0 0
14Dr Roberto:1 Andrew Grasso 5.65 0.02 0 0
15Tom T:1 Andrew Werner 7.44 0.02 0 0
16Bebe Shi:1 KingBach 0.03 0.00 4 0
17bigwig:1 KingBach 0.00 0.00 5 0
18totallyOnFallBreak:1 Nikhilesh Sigatapu 5.11 0.01 7 0
19bigwig:0 Andrew Werner 0.00 0.00 9 0
20K.L.:1 KingBach 0.03 0.00 11 0
21totallyOnFallBreak:0 Nikhilesh Sigatapu 5.17 0.01 11 0
22BMJ:1 burrito 0.03 0.00 12 0
23BMJ:0 Elphaba 0.02 0.00 13 0
24Bebe Shi:0 KingBach 0.05 0.00 14 0
25T. Capote:0 haoyu 0.03 0.00 16 2
26Happy:1 KingBach 0.03 0.00 19 0
27Solving For Clauses:0 Glenn Fisher 0.05 0.00 20 0
28Solving For Clauses:1 haoyu 0.18 0.00 23 0
29K.L.:0 haoyu 0.04 0.00 27 0
30T. Capote:1 haoyu 0.03 0.00 28 2
31Blam:0 Elphaba 0.03 0.00 28 0
32Jonathan Kwok:1 KingBach 0.04 0.00 29 0
33Happy:0 haoyu 0.03 0.00 31 0
34Jonathan Kwok:0 Elphaba 0.05 0.00 35 0
35R. A. B.:1 cat 0.03 0.00 38 0
36Janie Gu:0 Glenn Fisher 9.50 0.07 42 0
37Daffy Duck:1 haoyu 0.03 0.00 44 0
38Joshua Zimmer:0 haoyu 0.05 0.00 44 0
39Daffy Duck:0 Andrew Werner 0.03 0.00 47 0
40Joshua Zimmer:1 haoyu 0.03 0.00 47 0
41haoyu:1 Anon5 0.03 0.01 51 0
42David Paulk:1 Bar Shabtai 0.07 0.00 52 0
43Tree Prophet:1 haoyu 0.05 0.00 58 0
44Janie Gu:1 Jonathan Kwok 7.20 0.07 59 0
45Sunny:1 jabreezy 0.04 0.01 59 0
46haoyu:0 KingBach 0.05 0.01 65 0
47Quite Satisfied:1 Joel Faron 0.08 2.11 68 1
48Sunny:0 Green "The Bean" Choi 0.07 0.02 70 0
49Boomshanka:0 haoyu 0.45 0.01 82 0
50Tree Prophet:0 haoyu 0.04 0.00 89 0
51Jessie Chen:1 Joel Faron 1.75 0.12 92 1
52bchouGenerator:0 haoyu 0.40 0.00 95 0
53Jessie Chen:0 Joel Faron 0.04 0.13 97 1
54David Paulk:0 cat 0.04 0.00 114 0
55SuperFan:0 jgs 0.13 14.98 119 4
56R. A. B.:0 Nihar the Great 0.04 0.00 119 0
57cmF5a3ly:0 Nihar the Great 0.80 0.00 124 0
58bchouGenerator:1 Jonathan Kwok 0.05 0.01 126 0
59cmF5a3ly:1 Nihar the Great 0.51 0.00 139 0
60The Kraken:1 haoyu 14.56 0.00 165 0
61Supahaka:0 Andrew Werner 0.25 15.00 185 35
62SuperFan:1 jgs 0.10 14.98 185 4
63Quite Satisfied:0 haoyu 0.33 0.00 186 0
64AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.20 0.01 188 0
65Supahaka:1 Joel Faron 0.25 15.00 189 35
66The Kraken:0 haoyu 2.29 0.00 201 0
67Jordan Ash:1 Bar Shabtai 0.95 0.01 216 0
68AARON BURR, DROPPIN' HAMILTONS:0 haoyu 1.35 0.00 224 0
69Jameh:0 haoyu 0.08 0.01 230 0
70Gewang:0 Jonathan Kwok 1.33 0.00 232 0
71Qinlan Shen:0 Bar Shabtai 0.18 0.01 234 0
72Boomshanka:1 Bar Shabtai 1.34 0.01 254 0
730108:1 haoyu 0.27 0.01 259 0
74Qinlan Shen:1 R. A. B. 0.33 9.00 285 1
75Gewang:1 Jonathan Kwok 0.33 0.00 298 0
76DeeEmEm:0 CAPS LOCK 1.62 13.00 357 1
77Jameh:1 haoyu 0.19 0.01 370 0
78DeeEmEm:1 haoyu 1.53 0.02 443 0
79Andrew Grasso:0 Aaron Doll 5.52 0.18 477 0
80Dusty:0 CookieMonster 2.59 1.39 605 0
81Dusty:1 Shaheed Chagani 0.64 0.22 618 0
82Valya Barboy:1 Shaheed Chagani 3.42 0.18 686 0
83Mickey Mouse:0 Bar Shabtai 1.29 0.01 689 0
84Valya Barboy:0 Aristotle 2.90 0.06 753 0
85Mickey Mouse:1 haoyu 1.56 0.01 763 0
86Jordan Ash:0 EC 0.93 0.03 853 0
87Keji Xu:0 Nihar the Great 1.84 0.03 930 0
880108:0 jgs 1.74 14.98 959 1
89weezy:0 Bar Shabtai 3.87 0.01 981 0
90Anon5:1 Green "The Bean" Choi 8.59 0.07 1038 0
91Anon_K_P:1 Aristotle 13.86 0.03 1119 0
92Matt Haake:1 haoyu 3.06 0.05 1155 0
93Alex Fish:0 haoyu 3.99 0.01 1164 0
94weezy:1 Bar Shabtai 3.90 0.01 1171 0
95David H.:1 DeeEmEm 9.61 0.33 1174 0
96Tao:0 Bar Shabtai 3.70 0.02 1176 0
97Tiny Wings:1 haoyu 12.62 0.01 1292 0
98Tiny Wings:0 haoyu 5.05 0.02 1344 0
99The Whitman Whale:1 Andrew Grasso 3.71 0.03 1348 0
100David H.:0 AFC 14.11 0.28 1374 0
101Sally Smith:1 haoyu 3.86 0.04 1392 0
102Sally Smith:0 haoyu 3.53 0.04 1402 0
103kt4124:1 haoyu 10.65 0.04 1422 0
104George Okeowo:1 Andrew Grasso 1.46 0.01 1423 0
105Tao:1 Aristotle 12.05 0.07 1424 0
106Alex Fish:1 haoyu 2.28 0.02 1466 0
107CookieMonster:0 CookieMonster 8.33 0.82 1501 0
108kt4124:0 haoyu 8.82 0.03 1582 0
109cat:1 haoyu 8.13 0.03 1584 0
110George Okeowo:0 Andrew Grasso 1.55 0.01 1597 0
111The Whitman Whale:0 bigwig 12.96 0.04 1868 0
112Mr. Blobby:1 dusty 6.70 0.12 2105 0
113Ytterbium:0 Andrew Grasso 4.22 0.02 2105 0
114Glenn Fisher:1 jabreezy 6.04 0.09 2516 0
115Glenn Fisher:0 Elphaba 9.80 0.02 2623 0
116Samuel Jerome:0 haoyu 12.30 0.03 2798 0
117Brendan Wright:1 Deric Cheng 15.00 0.10 36 0
118David Lackey:0 Anon5 15.00 0.03 95 0
119David Lackey:1 Bar Shabtai 15.00 0.03 215 0
120Tom T:0 EC 15.00 0.02 262 0
121Andrew Grasso:1 Shaheed Chagani 15.00 0.15 473 0
122Keji Xu:1 Nihar the Great 15.00 0.04 927 0
123Matt Haake:0 haoyu 15.00 0.05 1214 0
124vluu:0 Nihar the Great 15.00 0.01 1216 0
125NA:0 haoyu 15.00 0.03 1456 0
126vluu:1 Nihar the Great 15.00 0.02 1464 0
127Anon_K_P:0 haoyu 15.00 0.02 1642 0
128NA:1 Elphaba 15.00 0.04 1650 0
129Nikhilesh Sigatapu:1 haoyu 15.00 0.04 1676 0
130Nikhilesh Sigatapu:0 haoyu 15.00 0.03 1745 0
131CookieMonster:1 CookieMonster 15.00 1.10 1749 0
132cat:0 haoyu 15.00 0.03 1783 0
133Yan Wu:1 haoyu 15.00 0.04 1827 0
134snowflakes:1 haoyu 15.00 0.03 1947 0
135Fanny:0 Aristotle 15.00 0.10 1974 0
136Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 2112 0
137snowflakes:0 haoyu 15.00 0.03 2114 0
138Samuel Jerome:1 haoyu 15.00 0.03 2368 0
139Anon5:0 haoyu 15.00 0.05 2507 0
140AFC:0 CookieMonster 15.00 0.34 2711 0
141EC:0 haoyu 15.00 0.03 2787 0
142AFC:1 Aristotle 15.00 0.16 2994 0
143spl:1 haoyu 15.00 0.06 3104 0
144spl:0 Elphaba 15.00 0.09 3324 0
145Lisa Kim:1 Bar Shabtai 15.00 0.06 3669 0
146Yan Wu:0 haoyu 15.00 0.05 3707 0
147EC:1 haoyu 15.00 0.03 3737 0
148Lisa Kim:0 Aristotle 15.00 0.07 3771 0
149Walter Little:0 haoyu 15.00 0.04 3779 0
150nupog:1 Aristotle 15.00 0.12 3819 0
151nupog:0 Aristotle 15.00 0.13 3835 0
152jabreezy:0 Mercury 15.00 0.09 4001 0
153Ben Chen:1 spl 15.00 0.20 4093 0
154Ben Chen:0 Elphaba 15.00 0.07 4136 0
155Ytterbium:1 Nihar the Great 15.00 0.02 4204 0
156Walter Little:1 haoyu 15.00 0.03 4476 0
157jabreezy:1 Mercury 15.00 0.10 4831 0
158Khoa:0 haoyu 15.00 0.09 4923 0
159bfang:1 haoyu 15.00 0.04 5213 0
160Mercury:1 haoyu 15.00 0.05 5325 0
161soccer:0 haoyu 15.00 0.04 5705 0
162bfang:0 haoyu 15.00 0.04 5718 0
163ebp:1 haoyu 15.00 0.04 5737 0
164soccer:1 haoyu 15.00 0.04 5795 0
165Khoa:1 Aristotle 15.00 0.09 6256 0
166ebp:0 haoyu 15.00 0.04 6283 0
167Mercury:0 haoyu 15.00 0.05 6343 0
168Batman:1 haoyu 15.00 0.04 7184 0
169Yacob Y.:0 haoyu 15.00 0.06 7190 0
170Absurdity:0 Aristotle 15.00 0.23 7493 0
171Batman:0 haoyu 15.00 0.04 7933 0
172KingBach:1 haoyu 15.00 0.04 9121 0
173Sabar Dasgupta:0 spl 15.00 0.23 9265 0
174Yacob Y.:1 Aristotle 15.00 15.00 9811 1
175Sabar Dasgupta:1 Aaron Doll 15.00 0.17 9925 0
176Charliezsc:0 jgs 15.00 14.98 10065 1
177Charliezsc:1 haoyu 15.00 0.07 11239 0
178Mike Hunt:0 Aristotle 15.00 0.27 14594 0
179dfshasdsf12:0 haoyu 15.00 0.09 14968 0
180John Whelchel:1 haoyu 15.00 0.11 16336 0
181Aaron H:0 Aristotle 15.00 0.11 18101 0
182Lil Thug:0 Andrew Grasso 15.00 0.03 19774 0
183Andys:0 Aristotle 15.00 0.12 25415 0
184dfshasdsf12:1 Nihar the Great 15.00 0.11 28589 0
185burrito:1 haoyu 15.00 0.10 30364 0
186Shaheed Chagani:0 Aristotle 15.00 0.17 33021 0
187Elphaba:0 Aristotle 15.00 0.24 82788 0
18813a:0 Aaron Doll 15.00 15.00 105334 21
189Linda:1 Andrew Grasso 15.00 0.02 1467 0
190Sprt:1 haoyu 15.00 0.05 8898 0
191KingBach:0 haoyu 15.00 0.06 9806 0
192BH:0 haoyu 15.00 0.07 15672 0
193Mike Hunt:1 Aristotle 15.00 0.29 16528 0
194Sprt:0 Aristotle 15.00 0.11 19458 0
195Aaron H:1 Aristotle 15.00 0.11 20447 0
196Andrew Werner:0 Aaron Doll 15.00 0.33 20966 0
197Andrew Werner:1 haoyu 15.00 0.11 22425 0
198DinnerPartyPlannerBM:0 Aristotle 15.00 0.11 30567 0
199Shaheed Chagani:1 Aristotle 15.00 0.11 31155 0
200jgs:0 Aristotle 15.00 0.12 38171 0
201BH:1 haoyu 15.00 0.05 14529 0
202burrito:0 haoyu 15.00 0.09 15488 0
203DinnerPartyPlannerBM:1 Nihar the Great 15.00 0.06 16938 0
204Lil Thug:1 Andrew Grasso 15.00 0.03 20611 0
205Andys:1 Aristotle 15.00 0.13 21898 0
206Deric Cheng:0 jgs 15.00 14.99 39658 1
207Elphaba:1 Aristotle 15.00 0.22 85353 0
208Absurdity:1 Aristotle 15.00 0.18 8326 0
209John Whelchel:0 haoyu 15.00 0.06 20252 0
210Bar Shabtai:1 haoyu 15.00 0.12 35199 0
211Fanny:1 Aristotle 15.01 0.12 1855 0
212Deric Cheng:1 jgs 15.01 14.98 34790 1
213jgs:1 haoyu 15.01 0.18 39749 0
214Nihar the Great:1 Aristotle 15.01 0.25 96350 0
215Brendan Wright:0 haoyu 15.01 0.10 90 0
216Nihar the Great:0 Aristotle 15.01 0.23 56086 0
217Aristotle:1 Aristotle 15.01 9.69 764547 0
218Linda:0 Andrew Grasso 15.01 0.01 1415 0
21913a:1 Aaron Doll 15.02 15.00 103254 29
220Matt Goldsmith:0 Nihar the Great 15.02 0.03 513287 0
221Aaron Doll:0 Aristotle 15.02 0.56 279672 0
222Bar Shabtai:0 Aaron Doll 15.02 15.01 321326 1
223CAPS LOCK:0 Aristotle 15.02 0.20 16539 0
224Aristotle:0 Aristotle 15.02 15.00 753496 1
225CAPS LOCK:1 Aristotle 15.03 0.25 35347 0
226Aaron Doll:1 Aristotle 15.06 1.27 322016 0
227Matt Goldsmith:1 Happy 15.09 0.03 516327 0
228Blam:1 Elphaba - 0.00 - 0


SatSolvers Ranklist Generators Ranklist