SatSolvers Ranklist Generators Ranklist

Stats for satsolver: The Kraken

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 The Kraken 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 The Kraken 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: The Kraken
Rank: 85 / 118
Average Score: 13.42
Median Score: 15.00
Description: This implements the walkSat algorithm, which uses a hill climbing approach combined with some randomness. A couple improvements being randomly restarting fresh with a new input seed and sometimes flipping 2 bits instead of 1.
Generator Best solver Time taken Best time Unsat Best unsat
1Miranda:1 cat 0.00 0.00 0 0
2Miranda:0 cat 0.00 0.00 0 0
3Ravi Tandon:0 KingBach 0.00 0.00 0 0
4Happy:1 KingBach 0.00 0.00 0 0
5Bebe Shi:0 KingBach 0.01 0.00 0 0
6Bebe Shi:1 KingBach 0.02 0.00 0 0
7bigwig:0 Andrew Werner 0.02 0.00 0 0
8Jonathan Kwok:0 Elphaba 0.04 0.00 0 0
9Ravi Tandon:1 KingBach 0.04 0.00 0 0
10Jonathan Kwok:1 KingBach 0.06 0.00 0 0
11cmF5a3ly:0 Nihar the Great 0.07 0.00 0 0
12cmF5a3ly:1 Nihar the Great 0.08 0.00 0 0
13Daffy Duck:1 haoyu 0.08 0.00 0 0
14Daffy Duck:0 Andrew Werner 0.11 0.00 0 0
15Bob Dondero:1 Mickey Mouse 0.18 0.03 0 0
16Bob Dondero:0 Andrew Grasso 0.18 0.02 0 0
17BMJ:1 burrito 0.24 0.00 0 0
18weezy:1 Bar Shabtai 0.32 0.01 0 0
19BMJ:0 Elphaba 0.32 0.00 0 0
20Scheduling Generator 203:0 jgs 0.35 0.01 0 0
21weezy:0 Bar Shabtai 0.38 0.01 0 0
22Qinlan Shen:0 Bar Shabtai 0.43 0.01 0 0
23haoyu:1 Anon5 0.48 0.01 0 0
24Mike Honcho:0 Miranda 0.49 0.01 0 0
25haoyu:0 KingBach 0.54 0.01 0 0
26Scheduling Generator 203:1 Jameh 0.78 0.02 0 0
27Boomshanka:0 haoyu 1.04 0.01 0 0
28The Kraken:1 haoyu 6.03 0.00 0 0
29Mike Honcho:1 Jessie Chen 9.44 0.01 0 0
30The Kraken:0 haoyu 11.18 0.00 0 0
31K.L.:1 KingBach 12.03 0.00 0 0
32Gewang:1 Jonathan Kwok 15.00 0.00 1 0
33Gewang:0 Jonathan Kwok 15.00 0.00 1 0
34bigwig:1 KingBach 15.00 0.00 1 0
35T. Capote:0 haoyu 15.00 0.00 2 2
36T. Capote:1 haoyu 15.00 0.00 2 2
37Jessie Chen:1 Joel Faron 15.00 0.12 7 1
38bchouGenerator:0 haoyu 15.00 0.00 8 0
39Jessie Chen:0 Joel Faron 15.00 0.13 9 1
40Qinlan Shen:1 R. A. B. 15.00 9.00 9 1
41Happy:0 haoyu 15.00 0.00 9 0
42Jordan Ash:1 Bar Shabtai 15.00 0.01 10 0
43Joshua Zimmer:1 haoyu 15.00 0.00 11 0
44Mickey Mouse:1 haoyu 15.00 0.01 13 0
45Joshua Zimmer:0 haoyu 15.00 0.00 13 0
46K.L.:0 haoyu 15.00 0.00 19 0
47DeeEmEm:0 CAPS LOCK 15.00 13.00 22 1
48R. A. B.:1 cat 15.00 0.00 25 0
49Solving For Clauses:1 haoyu 15.00 0.00 26 0
50DeeEmEm:1 haoyu 15.00 0.02 27 0
51Blam:1 Elphaba 15.00 0.00 46 0
52Blam:0 Elphaba 15.00 0.00 46 0
53Solving For Clauses:0 Glenn Fisher 15.00 0.00 51 0
54bchouGenerator:1 Jonathan Kwok 15.00 0.01 54 0
55Tree Prophet:0 haoyu 15.00 0.00 62 0
56Tree Prophet:1 haoyu 15.00 0.00 64 0
57Sunny:1 jabreezy 15.00 0.01 67 0
58SuperFan:1 jgs 15.00 14.98 72 4
59Sunny:0 Green "The Bean" Choi 15.00 0.02 79 0
60David Paulk:0 cat 15.00 0.00 79 0
61SuperFan:0 jgs 15.00 14.98 80 4
62David Paulk:1 Bar Shabtai 15.00 0.00 81 0
63Quite Satisfied:0 haoyu 15.00 0.00 99 0
64R. A. B.:0 Nihar the Great 15.00 0.00 107 0
65Andrew Grasso:0 Aaron Doll 15.00 0.18 127 0
66Supahaka:0 Andrew Werner 15.00 15.00 180 35
67Supahaka:1 Joel Faron 15.00 15.00 202 35
68Jameh:0 haoyu 15.00 0.01 327 0
69Jameh:1 haoyu 15.00 0.01 588 0
70Boomshanka:1 Bar Shabtai 15.00 0.01 12 0
71Jordan Ash:0 EC 15.00 0.03 16 0
720108:1 haoyu 15.00 0.01 23 0
73Tiny Wings:1 haoyu 15.00 0.01 24 0
740108:0 jgs 15.00 14.98 24 1
75Tiny Wings:0 haoyu 15.00 0.02 33 0
76cat:0 haoyu 15.00 0.03 63 0
77cat:1 haoyu 15.00 0.03 64 0
78Valya Barboy:1 Shaheed Chagani 15.00 0.18 69 0
79Valya Barboy:0 Aristotle 15.00 0.06 121 0
80Andrew Grasso:1 Shaheed Chagani 15.00 0.15 149 0
81Dusty:0 CookieMonster 15.00 1.39 189 0
82Dusty:1 Shaheed Chagani 15.00 0.22 219 0
83kt4124:0 haoyu 15.00 0.03 272 0
84kt4124:1 haoyu 15.00 0.04 283 0
85Alex Fish:1 haoyu 15.00 0.02 389 0
86Alex Fish:0 haoyu 15.00 0.01 416 0
87Anon5:1 Green "The Bean" Choi 15.00 0.07 513 0
88Mickey Mouse:0 Bar Shabtai 15.00 0.01 12 0
89Anon_K_P:1 Aristotle 15.00 0.03 16 0
90David H.:1 DeeEmEm 15.00 0.33 17 0
91CookieMonster:1 CookieMonster 15.00 1.10 34 0
92AFC:1 Aristotle 15.00 0.16 42 0
93Glenn Fisher:1 jabreezy 15.00 0.09 97 0
94NA:0 haoyu 15.00 0.03 127 0
95NA:1 Elphaba 15.00 0.04 131 0
96Matt Haake:1 haoyu 15.00 0.05 131 0
97Glenn Fisher:0 Elphaba 15.00 0.02 157 0
98snowflakes:0 haoyu 15.00 0.03 195 0
99Mr. Blobby:1 dusty 15.00 0.12 713 0
100Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 743 0
101Mark S. Fillmore:1 Supahaka 15.00 0.04 747 79
102Anon5:0 haoyu 15.00 0.05 825 0
103Keji Xu:1 Nihar the Great 15.00 0.04 13 0
104Nikhilesh Sigatapu:1 haoyu 15.00 0.04 14 0
105Keji Xu:0 Nihar the Great 15.00 0.03 14 0
106David H.:0 AFC 15.00 0.28 20 0
107The Whitman Whale:0 bigwig 15.00 0.04 21 0
108vluu:0 Nihar the Great 15.00 0.01 22 0
109Anon_K_P:0 haoyu 15.00 0.02 25 0
110George Okeowo:0 Andrew Grasso 15.00 0.01 34 0
111Matt Haake:0 haoyu 15.00 0.05 130 0
112snowflakes:1 haoyu 15.00 0.03 196 0
113Ben Chen:1 spl 15.00 0.20 214 0
114Ben Chen:0 Elphaba 15.00 0.07 223 0
115Ytterbium:1 Nihar the Great 15.00 0.02 671 0
116vluu:1 Nihar the Great 15.00 0.02 22 0
117The Whitman Whale:1 Andrew Grasso 15.00 0.03 23 0
118CookieMonster:0 CookieMonster 15.00 0.82 26 0
119Janie Gu:0 Glenn Fisher 15.00 0.07 36 0
120totallyOnFallBreak:0 Nikhilesh Sigatapu 15.00 0.01 93 0
121Walter Little:1 haoyu 15.00 0.03 149 0
122Ytterbium:0 Andrew Grasso 15.00 0.02 227 0
123Tom T:1 Andrew Werner 15.01 0.02 11 0
124EC:0 haoyu 15.01 0.03 25 0
125David Lackey:1 Bar Shabtai 15.01 0.03 54 0
126totallyOnFallBreak:1 Nikhilesh Sigatapu 15.01 0.01 123 0
127Walter Little:0 haoyu 15.01 0.04 198 0
128ebp:1 haoyu 15.01 0.04 304 0
129Mark S. Fillmore:0 Supahaka 15.01 0.01 1319 116
130Mercury:1 haoyu 15.01 0.05 3003 0
131Nikhilesh Sigatapu:0 haoyu 15.01 0.03 18 0
132Samuel Jerome:0 haoyu 15.01 0.03 25 0
133George Okeowo:1 Andrew Grasso 15.01 0.01 32 0
134Janie Gu:1 Jonathan Kwok 15.01 0.07 54 0
135Yan Wu:1 haoyu 15.01 0.04 85 0
136spl:1 haoyu 15.01 0.06 1300 0
137soccer:1 haoyu 15.01 0.04 4510 0
138Tom T:0 EC 15.01 0.02 12 0
139bfang:0 haoyu 15.01 0.04 35 0
140David Lackey:0 Anon5 15.01 0.03 69 0
141Fanny:1 Aristotle 15.01 0.12 744 0
142Fanny:0 Aristotle 15.01 0.10 750 0
143soccer:0 haoyu 15.01 0.04 3904 0
144Dr Roberto:0 Andrew Grasso 15.01 0.03 6 0
145Mercury:0 haoyu 15.01 0.05 2938 0
146Dr Roberto:1 Andrew Grasso 15.01 0.02 6 0
147Samuel Jerome:1 haoyu 15.01 0.03 43 0
148EC:1 haoyu 15.01 0.03 45 0
149Absurdity:0 Aristotle 15.01 0.23 268 0
150ebp:0 haoyu 15.01 0.04 310 0
151Sally Smith:1 haoyu 15.01 0.04 1305 0
152Yan Wu:0 haoyu 15.01 0.05 64 0
153jabreezy:0 Mercury 15.01 0.09 80 0
154Khoa:1 Aristotle 15.01 0.09 140 0
155dfshasdsf12:0 haoyu 15.01 0.09 407 0
156spl:0 Elphaba 15.01 0.09 1289 0
157Lisa Kim:1 Bar Shabtai 15.01 0.06 33 0
158Khoa:0 haoyu 15.01 0.09 158 0
159nupog:0 Aristotle 15.01 0.13 4388 0
160Lisa Kim:0 Aristotle 15.01 0.07 50 0
161jabreezy:1 Mercury 15.01 0.10 77 0
162Sally Smith:0 haoyu 15.01 0.04 960 0
163burrito:0 haoyu 15.01 0.09 3656 0
164Brendan Wright:1 Deric Cheng 15.01 0.10 13 0
165Absurdity:1 Aristotle 15.02 0.18 364 0
166nupog:1 Aristotle 15.02 0.12 4427 0
167Linda:0 Andrew Grasso 15.02 0.01 11 0
168Sprt:1 haoyu 15.02 0.05 82 0
169Linda:1 Andrew Grasso 15.02 0.02 8 0
170Charliezsc:1 haoyu 15.02 0.07 103 0
171Batman:1 haoyu 15.02 0.04 39 0
172burrito:1 haoyu 15.02 0.10 7239 0
173Charliezsc:0 jgs 15.03 14.98 121 1
174Elphaba:1 Aristotle 15.03 0.22 144 0
175Lil Thug:1 Andrew Grasso 15.03 0.03 1318 0
176bfang:1 haoyu 15.03 0.04 73 0
177Yacob Y.:1 Aristotle 15.03 15.00 46 1
178Shaheed Chagani:1 Aristotle 15.03 0.11 361 0
179dfshasdsf12:1 Nihar the Great 15.04 0.11 571 0
180Lil Thug:0 Andrew Grasso 15.04 0.03 1416 0
181Elphaba:0 Aristotle 15.04 0.24 105 0
182Yacob Y.:0 haoyu 15.04 0.06 46 0
183Batman:0 haoyu 15.04 0.04 30 0
184Sprt:0 Aristotle 15.04 0.11 106 0
185Sabar Dasgupta:0 spl 15.05 0.23 130 0
186CAPS LOCK:0 Aristotle 15.05 0.20 159 0
187KingBach:0 haoyu 15.05 0.06 144 0
188KingBach:1 haoyu 15.05 0.04 75 0
189Mike Hunt:0 Aristotle 15.06 0.27 182 0
19013a:1 Aaron Doll 15.06 15.00 436 29
191Brendan Wright:0 haoyu 15.06 0.10 15 0
192Aaron H:1 Aristotle 15.08 0.11 59 0
193Andys:0 Aristotle 15.09 0.12 58 0
194Sabar Dasgupta:1 Aaron Doll 15.09 0.17 97 0
195Shaheed Chagani:0 Aristotle 15.09 0.17 355 0
196Mike Hunt:1 Aristotle 15.09 0.29 154 0
197Andrew Werner:0 Aaron Doll 15.10 0.33 29 0
198DinnerPartyPlannerBM:1 Nihar the Great 15.10 0.06 20 0
199Andys:1 Aristotle 15.10 0.13 69 0
200Bar Shabtai:0 Aaron Doll 15.12 15.01 98 1
201CAPS LOCK:1 Aristotle 15.12 0.25 271 0
202Aaron H:0 Aristotle 15.12 0.11 43 0
203jgs:0 Aristotle 15.12 0.12 50 0
204John Whelchel:1 haoyu 15.13 0.11 35 0
205Andrew Werner:1 haoyu 15.13 0.11 25 0
206jgs:1 haoyu 15.21 0.18 52 0
207Deric Cheng:0 jgs 15.21 14.99 41 1
208Deric Cheng:1 jgs 15.22 14.98 36 1
209Matt Goldsmith:1 Happy 15.23 0.03 253861 0
210Quite Satisfied:1 Joel Faron 15.23 2.11 76 1
211DinnerPartyPlannerBM:0 Aristotle 15.25 0.11 39 0
212Nihar the Great:1 Aristotle 15.28 0.25 805 0
213Nihar the Great:0 Aristotle 15.28 0.23 788 0
214AFC:0 CookieMonster 15.32 0.34 34 0
215BH:0 haoyu 15.36 0.07 1603 0
216John Whelchel:0 haoyu 15.38 0.06 25 0
217Tao:1 Aristotle 15.40 0.07 26 0
21813a:0 Aaron Doll 15.53 15.00 467 21
219Matt Goldsmith:0 Nihar the Great 15.55 0.03 250010 0
220AARON BURR, DROPPIN' HAMILTONS:1 haoyu 15.82 0.01 38 0
221AARON BURR, DROPPIN' HAMILTONS:0 haoyu 15.88 0.00 30 0
222Bar Shabtai:1 haoyu 16.38 0.12 130 0
223Tao:0 Bar Shabtai 16.57 0.02 18 0
224BH:1 haoyu 17.82 0.05 2060 0
225Aaron Doll:0 Aristotle 18.65 0.56 118 0
226Aaron Doll:1 Aristotle 24.12 1.27 123 0
227Aristotle:1 Aristotle 26.77 9.69 103 0
228Aristotle:0 Aristotle 36.37 15.00 101 1


SatSolvers Ranklist Generators Ranklist