SatSolvers Ranklist Generators Ranklist

Stats for satsolver: KingBach

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 KingBach 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 KingBach 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: KingBach
Rank: 73 / 118
Average Score: 11.45
Median Score: 0.57
Description: Sat solver does unit resolution sets most common variable first and then follows standard WalkSat procedure (but does not reset original unit resolved variables).
Generator Best solver Time taken Best time Unsat Best unsat
1Ravi Tandon:0 KingBach 0.00 0.00 0 0
2Bebe Shi:1 KingBach 0.00 0.00 0 0
3Jonathan Kwok:1 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
6Happy:1 KingBach 0.00 0.00 0 0
7bigwig:1 KingBach 0.00 0.00 0 0
8Bebe Shi:0 KingBach 0.00 0.00 0 0
9Ravi Tandon:1 KingBach 0.00 0.00 0 0
10BMJ:1 burrito 0.00 0.00 0 0
11Miranda:1 cat 0.00 0.00 0 0
12BMJ:0 Elphaba 0.00 0.00 0 0
13Blam:0 Elphaba 0.00 0.00 0 0
14Miranda:0 cat 0.00 0.00 0 0
15R. A. B.:1 cat 0.00 0.00 0 0
16Blam:1 Elphaba 0.00 0.00 0 0
17Solving For Clauses:0 Glenn Fisher 0.00 0.00 0 0
18Solving For Clauses:1 haoyu 0.00 0.00 0 0
19Happy:0 haoyu 0.00 0.00 0 0
20Joshua Zimmer:0 haoyu 0.00 0.00 0 0
21bchouGenerator:0 haoyu 0.01 0.00 0 0
22Joshua Zimmer:1 haoyu 0.01 0.00 0 0
23Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
24Daffy Duck:1 haoyu 0.01 0.00 0 0
25Gewang:1 Jonathan Kwok 0.01 0.00 0 0
26haoyu:0 KingBach 0.01 0.01 0 0
27Gewang:0 Jonathan Kwok 0.01 0.00 0 0
28haoyu:1 Anon5 0.01 0.01 0 0
29Daffy Duck:0 Andrew Werner 0.01 0.00 0 0
30Tree Prophet:0 haoyu 0.01 0.00 0 0
31Quite Satisfied:0 haoyu 0.01 0.00 0 0
32The Kraken:1 haoyu 0.01 0.00 0 0
33David Paulk:1 Bar Shabtai 0.01 0.00 0 0
34David Paulk:0 cat 0.01 0.00 0 0
35Tree Prophet:1 haoyu 0.01 0.00 0 0
36The Kraken:0 haoyu 0.01 0.00 0 0
37Jameh:0 haoyu 0.01 0.01 0 0
38bchouGenerator:1 Jonathan Kwok 0.01 0.01 0 0
39R. A. B.:0 Nihar the Great 0.01 0.00 0 0
40Qinlan Shen:0 Bar Shabtai 0.01 0.01 0 0
41Jordan Ash:1 Bar Shabtai 0.02 0.01 0 0
42Mickey Mouse:0 Bar Shabtai 0.02 0.01 0 0
43Mickey Mouse:1 haoyu 0.02 0.01 0 0
44cmF5a3ly:0 Nihar the Great 0.02 0.00 0 0
45Scheduling Generator 203:0 jgs 0.02 0.01 0 0
46cmF5a3ly:1 Nihar the Great 0.03 0.00 0 0
47Jordan Ash:0 EC 0.03 0.03 0 0
48Jameh:1 haoyu 0.03 0.01 0 0
49Tom T:1 Andrew Werner 0.03 0.02 0 0
50Scheduling Generator 203:1 Jameh 0.03 0.02 0 0
510108:1 haoyu 0.03 0.01 0 0
52Boomshanka:1 Bar Shabtai 0.04 0.01 0 0
53Tom T:0 EC 0.04 0.02 0 0
54Tiny Wings:1 haoyu 0.04 0.01 0 0
55weezy:1 Bar Shabtai 0.04 0.01 0 0
56totallyOnFallBreak:1 Nikhilesh Sigatapu 0.05 0.01 0 0
57weezy:0 Bar Shabtai 0.05 0.01 0 0
58Ytterbium:0 Andrew Grasso 0.05 0.02 0 0
59totallyOnFallBreak:0 Nikhilesh Sigatapu 0.05 0.01 0 0
60Tiny Wings:0 haoyu 0.05 0.02 0 0
61DeeEmEm:1 haoyu 0.06 0.02 0 0
62vluu:0 Nihar the Great 0.06 0.01 0 0
63vluu:1 Nihar the Great 0.07 0.02 0 0
64Alex Fish:1 haoyu 0.07 0.02 0 0
65Sunny:1 jabreezy 0.07 0.01 0 0
66Boomshanka:0 haoyu 0.07 0.01 0 0
67AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.07 0.01 0 0
68The Whitman Whale:1 Andrew Grasso 0.08 0.03 0 0
69Janie Gu:1 Jonathan Kwok 0.09 0.07 0 0
70Keji Xu:0 Nihar the Great 0.09 0.03 0 0
71cat:0 haoyu 0.09 0.03 0 0
72Keji Xu:1 Nihar the Great 0.09 0.04 0 0
73cat:1 haoyu 0.09 0.03 0 0
74Dr Roberto:1 Andrew Grasso 0.10 0.02 0 0
75The Whitman Whale:0 bigwig 0.10 0.04 0 0
76Mike Honcho:0 Miranda 0.11 0.01 0 0
77Mike Honcho:1 Jessie Chen 0.11 0.01 0 0
78Ytterbium:1 Nihar the Great 0.12 0.02 0 0
79Sunny:0 Green "The Bean" Choi 0.12 0.02 0 0
80David Lackey:1 Bar Shabtai 0.12 0.03 0 0
81David Lackey:0 Anon5 0.15 0.03 0 0
82Janie Gu:0 Glenn Fisher 0.15 0.07 0 0
83Nikhilesh Sigatapu:0 haoyu 0.15 0.03 0 0
84Samuel Jerome:0 haoyu 0.15 0.03 0 0
85Bob Dondero:0 Andrew Grasso 0.16 0.02 0 0
86Lisa Kim:1 Bar Shabtai 0.17 0.06 0 0
87kt4124:0 haoyu 0.18 0.03 0 0
88Linda:0 Andrew Grasso 0.19 0.01 0 0
89Dr Roberto:0 Andrew Grasso 0.19 0.03 0 0
90George Okeowo:1 Andrew Grasso 0.20 0.01 0 0
91kt4124:1 haoyu 0.20 0.04 0 0
92Nikhilesh Sigatapu:1 haoyu 0.22 0.04 0 0
93Lisa Kim:0 Aristotle 0.22 0.07 0 0
94Bob Dondero:1 Mickey Mouse 0.22 0.03 0 0
95George Okeowo:0 Andrew Grasso 0.24 0.01 0 0
96Alex Fish:0 haoyu 0.27 0.01 0 0
97Anon_K_P:1 Aristotle 0.34 0.03 0 0
98Sally Smith:0 haoyu 0.35 0.04 0 0
99AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.38 0.00 0 0
100Glenn Fisher:0 Elphaba 0.40 0.02 0 0
101bfang:0 haoyu 0.41 0.04 0 0
102Anon_K_P:0 haoyu 0.43 0.02 0 0
103Batman:1 haoyu 0.45 0.04 0 0
104Sally Smith:1 haoyu 0.46 0.04 0 0
105soccer:1 haoyu 0.47 0.04 0 0
106Mercury:1 haoyu 0.51 0.05 0 0
107KingBach:1 haoyu 0.53 0.04 0 0
108bfang:1 haoyu 0.56 0.04 0 0
109Batman:0 haoyu 0.57 0.04 0 0
110Samuel Jerome:1 haoyu 0.58 0.03 0 0
111Linda:1 Andrew Grasso 0.61 0.02 0 0
112Mercury:0 haoyu 0.63 0.05 0 0
113KingBach:0 haoyu 0.76 0.06 0 0
114Tao:0 Bar Shabtai 0.80 0.02 0 0
115Glenn Fisher:1 jabreezy 0.85 0.09 0 0
116Tao:1 Aristotle 0.90 0.07 0 0
117soccer:0 haoyu 0.91 0.04 0 0
118Sprt:1 haoyu 0.91 0.05 0 0
119Khoa:0 haoyu 0.93 0.09 0 0
120Brendan Wright:1 Deric Cheng 0.95 0.10 0 0
121Khoa:1 Aristotle 1.14 0.09 0 0
122Brendan Wright:0 haoyu 1.29 0.10 0 0
123Yan Wu:1 haoyu 1.46 0.04 0 0
124Yan Wu:0 haoyu 1.51 0.05 0 0
125Fanny:0 Aristotle 1.65 0.10 0 0
126snowflakes:1 haoyu 1.69 0.03 0 0
127Charliezsc:1 haoyu 1.76 0.07 0 0
128John Whelchel:1 haoyu 1.84 0.11 0 0
129Ben Chen:0 Elphaba 1.85 0.07 0 0
130DinnerPartyPlannerBM:1 Nihar the Great 1.85 0.06 0 0
131John Whelchel:0 haoyu 1.95 0.06 0 0
132Sabar Dasgupta:0 spl 2.02 0.23 0 0
133burrito:0 haoyu 2.25 0.09 0 0
134Fanny:1 Aristotle 2.47 0.12 0 0
135dfshasdsf12:0 haoyu 2.76 0.09 0 0
136Lil Thug:0 Andrew Grasso 3.31 0.03 0 0
137Sprt:0 Aristotle 3.62 0.11 0 0
138Sabar Dasgupta:1 Aaron Doll 3.69 0.17 0 0
139Aaron H:0 Aristotle 3.81 0.11 0 0
140Aaron H:1 Aristotle 4.30 0.11 0 0
141jabreezy:0 Mercury 4.56 0.09 0 0
142Mike Hunt:1 Aristotle 4.67 0.29 0 0
143snowflakes:0 haoyu 4.70 0.03 0 0
144Andrew Werner:1 haoyu 4.96 0.11 0 0
145Yacob Y.:0 haoyu 4.98 0.06 0 0
146dfshasdsf12:1 Nihar the Great 4.99 0.11 0 0
147Lil Thug:1 Andrew Grasso 5.03 0.03 0 0
148ebp:0 haoyu 5.33 0.04 0 0
149jabreezy:1 Mercury 6.24 0.10 0 0
150DinnerPartyPlannerBM:0 Aristotle 6.92 0.11 0 0
151burrito:1 haoyu 8.30 0.10 0 0
152Ben Chen:1 spl 8.82 0.20 0 0
153CAPS LOCK:0 Aristotle 9.80 0.20 0 0
154Mike Hunt:0 Aristotle 9.94 0.27 0 0
155Valya Barboy:0 Aristotle 11.86 0.06 0 0
156Andrew Werner:0 Aaron Doll 13.81 0.33 0 0
157BH:1 haoyu 13.93 0.05 0 0
158Bar Shabtai:1 haoyu 14.08 0.12 0 0
159ebp:1 haoyu 14.38 0.04 0 0
160Jessie Chen:0 Joel Faron 15.00 0.13 1 1
161EC:1 haoyu 15.00 0.03 1 0
162Valya Barboy:1 Shaheed Chagani 15.00 0.18 1 0
163Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
164Charliezsc:0 jgs 15.00 14.98 1 1
165Jessie Chen:1 Joel Faron 15.00 0.12 1 1
166CookieMonster:0 CookieMonster 15.00 0.82 1 0
167DeeEmEm:0 CAPS LOCK 15.00 13.00 1 1
1680108:0 jgs 15.00 14.98 1 1
169CookieMonster:1 CookieMonster 15.00 1.10 1 0
170Anon5:1 Green "The Bean" Choi 15.00 0.07 2 0
171David H.:0 AFC 15.00 0.28 2 0
172T. Capote:0 haoyu 15.00 0.00 2 2
173T. Capote:1 haoyu 15.00 0.00 2 2
174David H.:1 DeeEmEm 15.00 0.33 3 0
175Anon5:0 haoyu 15.00 0.05 3 0
176Walter Little:1 haoyu 15.00 0.03 3 0
177AFC:1 Aristotle 15.00 0.16 3 0
178spl:1 haoyu 15.00 0.06 3 0
179EC:0 haoyu 15.00 0.03 3 0
180Walter Little:0 haoyu 15.00 0.04 4 0
181spl:0 Elphaba 15.00 0.09 4 0
182SuperFan:0 jgs 15.00 14.98 4 4
183SuperFan:1 jgs 15.00 14.98 4 4
184AFC:0 CookieMonster 15.00 0.34 4 0
185Matt Haake:0 haoyu 15.00 0.05 4 0
186Andrew Grasso:0 Aaron Doll 15.00 0.18 10 0
187Andrew Grasso:1 Shaheed Chagani 15.00 0.15 11 0
188Dusty:1 Shaheed Chagani 15.00 0.22 12 0
189Dusty:0 CookieMonster 15.00 1.39 12 0
190jgs:0 Aristotle 15.00 0.12 14 0
191Matt Haake:1 haoyu 15.00 0.05 17 0
192nupog:1 Aristotle 15.00 0.12 31 0
193Shaheed Chagani:1 Aristotle 15.00 0.11 4302 0
194Absurdity:0 Aristotle 15.00 0.23 6 0
195Absurdity:1 Aristotle 15.00 0.18 7 0
196nupog:0 Aristotle 15.00 0.13 65 0
197Elphaba:0 Aristotle 15.00 0.24 25190 0
198Aaron Doll:1 Aristotle 15.00 1.27 303119 0
199Yacob Y.:1 Aristotle 15.00 15.00 14 1
200Shaheed Chagani:0 Aristotle 15.01 0.17 8 0
201BH:0 haoyu 15.01 0.07 269 0
202Andys:0 Aristotle 15.01 0.12 1 0
203Nihar the Great:1 Aristotle 15.01 0.25 20887 0
20413a:0 Aaron Doll 15.01 15.00 65934 21
20513a:1 Aaron Doll 15.02 15.00 62251 29
206Deric Cheng:1 jgs 15.02 14.98 1 1
207Matt Goldsmith:0 Nihar the Great 15.02 0.03 506221 0
208Andys:1 Aristotle 15.03 0.13 5 0
209Nihar the Great:0 Aristotle 15.03 0.23 21977 0
210Elphaba:1 Aristotle 15.04 0.22 22281 0
211CAPS LOCK:1 Aristotle 15.06 0.25 651 0
212Aristotle:1 Aristotle 15.07 9.69 712632 0
213Bar Shabtai:0 Aaron Doll 15.10 15.01 295965 1
214Aaron Doll:0 Aristotle 15.12 0.56 229372 0
215Deric Cheng:0 jgs 15.14 14.99 1 1
216jgs:1 haoyu 15.14 0.18 71 0
217Matt Goldsmith:1 Happy 15.18 0.03 513390 0
218Aristotle:0 Aristotle 15.18 15.00 736640 1
219Mr. Blobby:0 Green "The Bean" Choi - 0.14 - 0
220Mark S. Fillmore:1 Supahaka - 0.04 - 79
221NA:1 Elphaba - 0.04 - 0
222Quite Satisfied:1 Joel Faron - 2.11 - 1
223Mark S. Fillmore:0 Supahaka - 0.01 - 116
224Supahaka:0 Andrew Werner - 15.00 - 35
225NA:0 haoyu - 0.03 - 0
226K.L.:0 haoyu - 0.00 - 0
227Mr. Blobby:1 dusty - 0.12 - 0
228Supahaka:1 Joel Faron - 15.00 - 35


SatSolvers Ranklist Generators Ranklist