SatSolvers Ranklist Generators Ranklist

Stats for satsolver: The Whitman Whale

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 Whitman Whale 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 Whitman Whale 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 Whitman Whale
Rank: 110 / 118
Average Score: 35.07
Median Score: 1.49
Description: A DPLL implementation of sat solver. For speed, datastructures are maintained that all clauses containing a symbol to be referenced.
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:0 Andrew Werner 0.00 0.00 0 0
2bigwig:1 KingBach 0.00 0.00 0 0
3K.L.:1 KingBach 0.02 0.00 0 0
4BMJ:1 burrito 0.02 0.00 0 0
5Jonathan Kwok:0 Elphaba 0.02 0.00 0 0
6Bebe Shi:1 KingBach 0.02 0.00 0 0
7Happy:1 KingBach 0.02 0.00 0 0
8Jonathan Kwok:1 KingBach 0.02 0.00 0 0
9Bebe Shi:0 KingBach 0.02 0.00 0 0
10BMJ:0 Elphaba 0.03 0.00 0 0
11Ravi Tandon:0 KingBach 0.03 0.00 0 0
12T. Capote:0 haoyu 0.04 0.00 2 2
13T. Capote:1 haoyu 0.04 0.00 2 2
14Ravi Tandon:1 KingBach 0.04 0.00 0 0
15K.L.:0 haoyu 0.04 0.00 0 0
16Daffy Duck:1 haoyu 0.04 0.00 0 0
17Happy:0 haoyu 0.05 0.00 0 0
18Joshua Zimmer:1 haoyu 0.06 0.00 0 0
19R. A. B.:1 cat 0.06 0.00 0 0
20bchouGenerator:0 haoyu 0.07 0.00 0 0
21David Paulk:1 Bar Shabtai 0.08 0.00 0 0
22Miranda:0 cat 0.08 0.00 0 0
23Joshua Zimmer:0 haoyu 0.08 0.00 0 0
24Blam:0 Elphaba 0.08 0.00 0 0
25Miranda:1 cat 0.09 0.00 0 0
26Tree Prophet:0 haoyu 0.09 0.00 0 0
27Solving For Clauses:0 Glenn Fisher 0.09 0.00 0 0
28Blam:1 Elphaba 0.09 0.00 0 0
29Tree Prophet:1 haoyu 0.09 0.00 0 0
30Daffy Duck:0 Andrew Werner 0.10 0.00 0 0
31David Paulk:0 cat 0.10 0.00 0 0
32Gewang:1 Jonathan Kwok 0.10 0.00 0 0
33Gewang:0 Jonathan Kwok 0.11 0.00 0 0
34Solving For Clauses:1 haoyu 0.12 0.00 0 0
35Quite Satisfied:0 haoyu 0.13 0.00 0 0
36The Kraken:0 haoyu 0.15 0.00 0 0
37The Kraken:1 haoyu 0.15 0.00 0 0
38R. A. B.:0 Nihar the Great 0.17 0.00 0 0
39AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.21 0.01 0 0
40AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.22 0.00 0 0
41Jessie Chen:1 Joel Faron 0.24 0.12 1 1
42DeeEmEm:1 haoyu 0.26 0.02 0 0
430108:1 haoyu 0.28 0.01 0 0
44Sunny:1 jabreezy 0.32 0.01 0 0
45Sunny:0 Green "The Bean" Choi 0.34 0.02 0 0
46Scheduling Generator 203:0 jgs 0.34 0.01 0 0
47Mickey Mouse:1 haoyu 0.36 0.01 0 0
48Jameh:0 haoyu 0.37 0.01 0 0
49Boomshanka:0 haoyu 0.38 0.01 0 0
50bchouGenerator:1 Jonathan Kwok 0.44 0.01 0 0
51Alex Fish:0 haoyu 0.49 0.01 0 0
52cmF5a3ly:0 Nihar the Great 0.49 0.00 0 0
53Scheduling Generator 203:1 Jameh 0.50 0.02 0 0
54Tiny Wings:1 haoyu 0.51 0.01 0 0
55cmF5a3ly:1 Nihar the Great 0.51 0.00 0 0
56Tiny Wings:0 haoyu 0.52 0.02 0 0
57Anon_K_P:0 haoyu 0.53 0.02 0 0
58Anon_K_P:1 Aristotle 0.54 0.03 0 0
59vluu:1 Nihar the Great 0.55 0.02 0 0
60Ytterbium:0 Andrew Grasso 0.56 0.02 0 0
61Alex Fish:1 haoyu 0.56 0.02 0 0
62Boomshanka:1 Bar Shabtai 0.64 0.01 0 0
63Jameh:1 haoyu 0.66 0.01 0 0
64Dr Roberto:0 Andrew Grasso 0.69 0.03 0 0
65Anon5:0 haoyu 0.69 0.05 0 0
66Tom T:0 EC 0.70 0.02 0 0
67Tom T:1 Andrew Werner 0.76 0.02 0 0
68vluu:0 Nihar the Great 0.80 0.01 0 0
69Matt Haake:1 haoyu 0.84 0.05 0 0
70Dr Roberto:1 Andrew Grasso 0.84 0.02 0 0
71cat:1 haoyu 0.85 0.03 0 0
72EC:0 haoyu 0.98 0.03 0 0
73EC:1 haoyu 1.00 0.03 0 0
74Samuel Jerome:1 haoyu 1.01 0.03 0 0
75Samuel Jerome:0 haoyu 1.03 0.03 0 0
76Matt Haake:0 haoyu 1.04 0.05 0 0
77Mickey Mouse:0 Bar Shabtai 1.11 0.01 0 0
78Ytterbium:1 Nihar the Great 1.14 0.02 0 0
79Nikhilesh Sigatapu:1 haoyu 1.16 0.04 0 0
80kt4124:0 haoyu 1.17 0.03 0 0
81Nikhilesh Sigatapu:0 haoyu 1.17 0.03 0 0
82kt4124:1 haoyu 1.18 0.04 0 0
83cat:0 haoyu 1.23 0.03 0 0
84Glenn Fisher:0 Elphaba 1.25 0.02 0 0
85NA:0 haoyu 1.31 0.03 0 0
86NA:1 Elphaba 1.38 0.04 0 0
87Anon5:1 Green "The Bean" Choi 1.39 0.07 0 0
88Janie Gu:0 Glenn Fisher 1.40 0.07 0 0
89George Okeowo:0 Andrew Grasso 1.46 0.01 0 0
90totallyOnFallBreak:0 Nikhilesh Sigatapu 1.48 0.01 0 0
91totallyOnFallBreak:1 Nikhilesh Sigatapu 1.49 0.01 0 0
92David Lackey:0 Anon5 1.56 0.03 0 0
93George Okeowo:1 Andrew Grasso 1.63 0.01 0 0
94Mr. Blobby:1 dusty 1.69 0.12 0 0
95snowflakes:1 haoyu 1.71 0.03 0 0
96Brendan Wright:1 Deric Cheng 1.71 0.10 0 0
97David Lackey:1 Bar Shabtai 1.78 0.03 0 0
98snowflakes:0 haoyu 1.88 0.03 0 0
99Mr. Blobby:0 Green "The Bean" Choi 1.97 0.14 0 0
100Yan Wu:0 haoyu 2.08 0.05 0 0
101Janie Gu:1 Jonathan Kwok 2.10 0.07 0 0
102Yan Wu:1 haoyu 2.12 0.04 0 0
103Bob Dondero:1 Mickey Mouse 2.13 0.03 0 0
104Bob Dondero:0 Andrew Grasso 2.17 0.02 0 0
105Mercury:1 haoyu 2.52 0.05 0 0
106Mercury:0 haoyu 2.58 0.05 0 0
107Walter Little:0 haoyu 2.77 0.04 0 0
108Walter Little:1 haoyu 2.99 0.03 0 0
109Lisa Kim:1 Bar Shabtai 3.12 0.06 0 0
110Linda:0 Andrew Grasso 3.20 0.01 0 0
111Qinlan Shen:0 Bar Shabtai 3.88 0.01 0 0
112AFC:0 CookieMonster 4.06 0.34 0 0
113Mike Honcho:0 Miranda 4.93 0.01 0 0
114soccer:1 haoyu 5.61 0.04 0 0
115soccer:0 haoyu 5.75 0.04 0 0
116Mike Honcho:1 Jessie Chen 5.91 0.01 0 0
117KingBach:1 haoyu 5.91 0.04 0 0
118Sally Smith:1 haoyu 6.17 0.04 0 0
119Brendan Wright:0 haoyu 6.26 0.10 0 0
120Sally Smith:0 haoyu 6.27 0.04 0 0
121Linda:1 Andrew Grasso 6.35 0.02 0 0
122bfang:1 haoyu 6.41 0.04 0 0
123bfang:0 haoyu 6.50 0.04 0 0
124Glenn Fisher:1 jabreezy 6.53 0.09 0 0
125Batman:0 haoyu 6.88 0.04 0 0
126spl:1 haoyu 7.00 0.06 0 0
127Batman:1 haoyu 7.47 0.04 0 0
128Khoa:0 haoyu 7.73 0.09 0 0
129Khoa:1 Aristotle 7.95 0.09 0 0
130KingBach:0 haoyu 8.12 0.06 0 0
131spl:0 Elphaba 8.25 0.09 0 0
132David H.:0 AFC 8.38 0.28 0 0
133Yacob Y.:0 haoyu 8.69 0.06 0 0
134Charliezsc:1 haoyu 8.75 0.07 0 0
135David H.:1 DeeEmEm 12.67 0.33 0 0
136Sprt:1 haoyu 13.51 0.05 0 0
137Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
138Fanny:0 Aristotle 15.00 0.10 1 0
139haoyu:0 KingBach 15.00 0.01 1 0
140weezy:1 Bar Shabtai 15.00 0.01 1 0
141CookieMonster:0 CookieMonster 15.00 0.82 1 0
142haoyu:1 Anon5 15.00 0.01 1 0
143Fanny:1 Aristotle 15.00 0.12 1 0
144CookieMonster:1 CookieMonster 15.00 1.10 1 0
145weezy:0 Bar Shabtai 15.00 0.01 1 0
146Jessie Chen:0 Joel Faron 0.32 0.13 2 1
147Jordan Ash:1 Bar Shabtai 15.00 0.01 2 0
148Tao:1 Aristotle 15.00 0.07 3 0
149Jordan Ash:0 EC 15.00 0.03 3 0
150Tao:0 Bar Shabtai 15.00 0.02 3 0
151DeeEmEm:0 CAPS LOCK 0.81 13.00 6 1
152Valya Barboy:0 Aristotle 15.00 0.06 7 0
153Valya Barboy:1 Shaheed Chagani 15.00 0.18 10 0
154Quite Satisfied:1 Joel Faron 0.07 2.11 11 1
155Keji Xu:1 Nihar the Great 15.00 0.04 12 0
1560108:0 jgs 15.00 14.98 12 1
157Keji Xu:0 Nihar the Great 15.00 0.03 13 0
158The Whitman Whale:0 bigwig 15.00 0.04 14 0
159The Whitman Whale:1 Andrew Grasso 15.00 0.03 14 0
160Lisa Kim:0 Aristotle 15.00 0.07 25 0
161AFC:1 Aristotle 15.00 0.16 27 0
162Ben Chen:1 spl 15.00 0.20 27 0
163Ben Chen:0 Elphaba 15.00 0.07 28 0
164Sabar Dasgupta:1 Aaron Doll 15.00 0.17 31 0
165SuperFan:1 jgs 0.91 14.98 41 4
166SuperFan:0 jgs 0.29 14.98 43 4
167Yacob Y.:1 Aristotle 15.00 15.00 45 1
168Mark S. Fillmore:1 Supahaka 2.50 0.04 109 79
169Mark S. Fillmore:0 Supahaka 9.02 0.01 157 116
170Dusty:1 Shaheed Chagani 15.00 0.22 163 0
171Dusty:0 CookieMonster 15.00 1.39 172 0
172Andrew Grasso:0 Aaron Doll 15.00 0.18 195 0
173Andrew Grasso:1 Shaheed Chagani 15.00 0.15 197 0
174Supahaka:0 Andrew Werner 0.22 15.00 315 35
175Supahaka:1 Joel Faron 0.20 15.00 315 35
176jabreezy:1 Mercury 15.00 0.10 27 0
177jabreezy:0 Mercury 15.00 0.09 33 0
178Absurdity:1 Aristotle 15.00 0.18 68 0
179Absurdity:0 Aristotle 15.01 0.23 60 0
180Charliezsc:0 jgs 15.01 14.98 22 1
181Sabar Dasgupta:0 spl 15.01 0.23 35 0
182Andys:0 Aristotle - 0.12 - 0
183DinnerPartyPlannerBM:1 Nihar the Great - 0.06 - 0
184Elphaba:1 Aristotle - 0.22 - 0
185Bar Shabtai:1 haoyu - 0.12 - 0
186nupog:1 Aristotle - 0.12 - 0
187Aaron H:0 Aristotle - 0.11 - 0
188Shaheed Chagani:0 Aristotle - 0.17 - 0
189Matt Goldsmith:0 Nihar the Great - 0.03 - 0
190Aristotle:1 Aristotle - 9.69 - 0
191Lil Thug:0 Andrew Grasso - 0.03 - 0
192Andys:1 Aristotle - 0.13 - 0
193Aaron H:1 Aristotle - 0.11 - 0
194jgs:1 haoyu - 0.18 - 0
195John Whelchel:1 haoyu - 0.11 - 0
196Andrew Werner:0 Aaron Doll - 0.33 - 0
197dfshasdsf12:1 Nihar the Great - 0.11 - 0
198DinnerPartyPlannerBM:0 Aristotle - 0.11 - 0
199Mike Hunt:0 Aristotle - 0.27 - 0
200ebp:0 haoyu - 0.04 - 0
201Mike Hunt:1 Aristotle - 0.29 - 0
202Aaron Doll:0 Aristotle - 0.56 - 0
203burrito:1 haoyu - 0.10 - 0
204Shaheed Chagani:1 Aristotle - 0.11 - 0
205Deric Cheng:1 jgs - 14.98 - 1
206Lil Thug:1 Andrew Grasso - 0.03 - 0
20713a:0 Aaron Doll - 15.00 - 21
208Elphaba:0 Aristotle - 0.24 - 0
209John Whelchel:0 haoyu - 0.06 - 0
210Andrew Werner:1 haoyu - 0.11 - 0
211dfshasdsf12:0 haoyu - 0.09 - 0
212BH:0 haoyu - 0.07 - 0
213Aaron Doll:1 Aristotle - 1.27 - 0
214Deric Cheng:0 jgs - 14.99 - 1
215jgs:0 Aristotle - 0.12 - 0
216ebp:1 haoyu - 0.04 - 0
217Nihar the Great:0 Aristotle - 0.23 - 0
218CAPS LOCK:1 Aristotle - 0.25 - 0
219burrito:0 haoyu - 0.09 - 0
220Bar Shabtai:0 Aaron Doll - 15.01 - 1
221nupog:0 Aristotle - 0.13 - 0
222Aristotle:0 Aristotle - 15.00 - 1
22313a:1 Aaron Doll - 15.00 - 29
224BH:1 haoyu - 0.05 - 0
225Nihar the Great:1 Aristotle - 0.25 - 0
226CAPS LOCK:0 Aristotle - 0.20 - 0
227Matt Goldsmith:1 Happy - 0.03 - 0
228Sprt:0 Aristotle - 0.11 - 0


SatSolvers Ranklist Generators Ranklist