SatSolvers Ranklist Generators Ranklist

Stats for satsolver: David H.

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 David H. 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 David H. 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: David H.
Rank: 8 / 118
Average Score: 4.31
Median Score: 0.42
Description: This is an implementation of WalkSat
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:1 KingBach 0.00 0.00 0 0
2bigwig:0 Andrew Werner 0.00 0.00 0 0
3Ravi Tandon:1 KingBach 0.00 0.00 0 0
4Ravi Tandon:0 KingBach 0.00 0.00 0 0
5Bebe Shi:1 KingBach 0.00 0.00 0 0
6K.L.:1 KingBach 0.00 0.00 0 0
7Jonathan Kwok:0 Elphaba 0.00 0.00 0 0
8Bebe Shi:0 KingBach 0.00 0.00 0 0
9R. A. B.:1 cat 0.00 0.00 0 0
10Happy:1 KingBach 0.01 0.00 0 0
11Joshua Zimmer:1 haoyu 0.01 0.00 0 0
12K.L.:0 haoyu 0.01 0.00 0 0
13Jonathan Kwok:1 KingBach 0.01 0.00 0 0
14BMJ:1 burrito 0.01 0.00 0 0
15Joshua Zimmer:0 haoyu 0.01 0.00 0 0
16Blam:1 Elphaba 0.01 0.00 0 0
17Miranda:1 cat 0.01 0.00 0 0
18Miranda:0 cat 0.01 0.00 0 0
19Blam:0 Elphaba 0.01 0.00 0 0
20David Paulk:1 Bar Shabtai 0.01 0.00 0 0
21David Paulk:0 cat 0.01 0.00 0 0
22Tree Prophet:1 haoyu 0.01 0.00 0 0
23BMJ:0 Elphaba 0.02 0.00 0 0
24Tree Prophet:0 haoyu 0.02 0.00 0 0
25haoyu:0 KingBach 0.02 0.01 0 0
26Solving For Clauses:0 Glenn Fisher 0.02 0.00 0 0
27Daffy Duck:1 haoyu 0.02 0.00 0 0
28Daffy Duck:0 Andrew Werner 0.02 0.00 0 0
29The Kraken:1 haoyu 0.02 0.00 0 0
30Solving For Clauses:1 haoyu 0.02 0.00 0 0
31R. A. B.:0 Nihar the Great 0.02 0.00 0 0
32Quite Satisfied:0 haoyu 0.02 0.00 0 0
33Gewang:0 Jonathan Kwok 0.03 0.00 0 0
34haoyu:1 Anon5 0.03 0.01 0 0
35bchouGenerator:0 haoyu 0.03 0.00 0 0
36Gewang:1 Jonathan Kwok 0.03 0.00 0 0
37Jameh:0 haoyu 0.03 0.01 0 0
38Jordan Ash:1 Bar Shabtai 0.03 0.01 0 0
39The Kraken:0 haoyu 0.03 0.00 0 0
40Happy:0 haoyu 0.04 0.00 0 0
41Mickey Mouse:1 haoyu 0.04 0.01 0 0
42Qinlan Shen:0 Bar Shabtai 0.04 0.01 0 0
43bchouGenerator:1 Jonathan Kwok 0.04 0.01 0 0
44Jordan Ash:0 EC 0.04 0.03 0 0
45Jameh:1 haoyu 0.04 0.01 0 0
460108:1 haoyu 0.04 0.01 0 0
47Mickey Mouse:0 Bar Shabtai 0.04 0.01 0 0
48Boomshanka:1 Bar Shabtai 0.05 0.01 0 0
49weezy:1 Bar Shabtai 0.05 0.01 0 0
50vluu:1 Nihar the Great 0.06 0.02 0 0
51cmF5a3ly:1 Nihar the Great 0.06 0.00 0 0
52vluu:0 Nihar the Great 0.06 0.01 0 0
53Tiny Wings:1 haoyu 0.06 0.01 0 0
54Alex Fish:1 haoyu 0.06 0.02 0 0
55cmF5a3ly:0 Nihar the Great 0.06 0.00 0 0
56The Whitman Whale:1 Andrew Grasso 0.07 0.03 0 0
57Keji Xu:1 Nihar the Great 0.07 0.04 0 0
58Scheduling Generator 203:0 jgs 0.07 0.01 0 0
59DeeEmEm:1 haoyu 0.07 0.02 0 0
60Tiny Wings:0 haoyu 0.07 0.02 0 0
61Tao:1 Aristotle 0.07 0.07 0 0
62The Whitman Whale:0 bigwig 0.07 0.04 0 0
63Boomshanka:0 haoyu 0.08 0.01 0 0
64Alex Fish:0 haoyu 0.08 0.01 0 0
65weezy:0 Bar Shabtai 0.08 0.01 0 0
66Janie Gu:1 Jonathan Kwok 0.08 0.07 0 0
67Tom T:0 EC 0.08 0.02 0 0
68Keji Xu:0 Nihar the Great 0.08 0.03 0 0
69Anon_K_P:0 haoyu 0.08 0.02 0 0
70Tom T:1 Andrew Werner 0.08 0.02 0 0
71Nikhilesh Sigatapu:0 haoyu 0.08 0.03 0 0
72Ytterbium:0 Andrew Grasso 0.09 0.02 0 0
73cat:1 haoyu 0.09 0.03 0 0
74AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.09 0.01 0 0
75cat:0 haoyu 0.09 0.03 0 0
76AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.09 0.00 0 0
77totallyOnFallBreak:1 Nikhilesh Sigatapu 0.09 0.01 0 0
78Nikhilesh Sigatapu:1 haoyu 0.09 0.04 0 0
79kt4124:0 haoyu 0.10 0.03 0 0
80Janie Gu:0 Glenn Fisher 0.10 0.07 0 0
81kt4124:1 haoyu 0.10 0.04 0 0
82totallyOnFallBreak:0 Nikhilesh Sigatapu 0.12 0.01 0 0
83Scheduling Generator 203:1 Jameh 0.12 0.02 0 0
84Anon_K_P:1 Aristotle 0.14 0.03 0 0
85Tao:0 Bar Shabtai 0.14 0.02 0 0
86Sunny:0 Green "The Bean" Choi 0.14 0.02 0 0
87David Lackey:0 Anon5 0.15 0.03 0 0
88Sunny:1 jabreezy 0.15 0.01 0 0
89David Lackey:1 Bar Shabtai 0.16 0.03 0 0
90Mr. Blobby:0 Green "The Bean" Choi 0.16 0.14 0 0
91Mr. Blobby:1 dusty 0.17 0.12 0 0
92Lisa Kim:1 Bar Shabtai 0.17 0.06 0 0
93Lisa Kim:0 Aristotle 0.18 0.07 0 0
94George Okeowo:1 Andrew Grasso 0.18 0.01 0 0
95Matt Haake:1 haoyu 0.19 0.05 0 0
96George Okeowo:0 Andrew Grasso 0.19 0.01 0 0
97Samuel Jerome:1 haoyu 0.20 0.03 0 0
98Samuel Jerome:0 haoyu 0.21 0.03 0 0
99Dr Roberto:1 Andrew Grasso 0.21 0.02 0 0
100Ytterbium:1 Nihar the Great 0.23 0.02 0 0
101Glenn Fisher:0 Elphaba 0.24 0.02 0 0
102Valya Barboy:0 Aristotle 0.26 0.06 0 0
103Khoa:0 haoyu 0.30 0.09 0 0
104Mike Honcho:0 Miranda 0.31 0.01 0 0
105Khoa:1 Aristotle 0.34 0.09 0 0
106Mike Honcho:1 Jessie Chen 0.34 0.01 0 0
107bfang:1 haoyu 0.34 0.04 0 0
108EC:1 haoyu 0.38 0.03 0 0
109nupog:0 Aristotle 0.38 0.13 0 0
110Glenn Fisher:1 jabreezy 0.39 0.09 0 0
111nupog:1 Aristotle 0.39 0.12 0 0
112Mercury:1 haoyu 0.41 0.05 0 0
113bfang:0 haoyu 0.42 0.04 0 0
114Dr Roberto:0 Andrew Grasso 0.42 0.03 0 0
115jabreezy:1 Mercury 0.44 0.10 0 0
116Matt Haake:0 haoyu 0.44 0.05 0 0
117Yan Wu:0 haoyu 0.44 0.05 0 0
118Sally Smith:0 haoyu 0.47 0.04 0 0
119Sally Smith:1 haoyu 0.48 0.04 0 0
120jabreezy:0 Mercury 0.49 0.09 0 0
121Anon5:1 Green "The Bean" Choi 0.49 0.07 0 0
122Yacob Y.:0 haoyu 0.51 0.06 0 0
123Batman:1 haoyu 0.52 0.04 0 0
124Mercury:0 haoyu 0.55 0.05 0 0
125soccer:1 haoyu 0.55 0.04 0 0
126Batman:0 haoyu 0.56 0.04 0 0
127soccer:0 haoyu 0.60 0.04 0 0
128KingBach:0 haoyu 0.71 0.06 0 0
129EC:0 haoyu 0.72 0.03 0 0
130Fanny:1 Aristotle 0.73 0.12 0 0
131Sprt:1 haoyu 0.74 0.05 0 0
132KingBach:1 haoyu 0.74 0.04 0 0
133Bob Dondero:0 Andrew Grasso 0.81 0.02 0 0
134Linda:0 Andrew Grasso 0.82 0.01 0 0
135snowflakes:0 haoyu 0.83 0.03 0 0
136Yan Wu:1 haoyu 0.89 0.04 0 0
137Valya Barboy:1 Shaheed Chagani 1.01 0.18 0 0
138Bob Dondero:1 Mickey Mouse 1.21 0.03 0 0
139Fanny:0 Aristotle 1.23 0.10 0 0
140Sabar Dasgupta:1 Aaron Doll 1.24 0.17 0 0
141Walter Little:1 haoyu 1.25 0.03 0 0
142Sabar Dasgupta:0 spl 1.32 0.23 0 0
143Linda:1 Andrew Grasso 1.34 0.02 0 0
144Charliezsc:1 haoyu 1.36 0.07 0 0
145Anon5:0 haoyu 1.53 0.05 0 0
146David H.:0 AFC 1.72 0.28 0 0
147Mike Hunt:1 Aristotle 2.81 0.29 0 0
148Mike Hunt:0 Aristotle 2.95 0.27 0 0
149burrito:0 haoyu 2.95 0.09 0 0
150DinnerPartyPlannerBM:1 Nihar the Great 3.10 0.06 0 0
151snowflakes:1 haoyu 3.54 0.03 0 0
152Aaron H:1 Aristotle 3.56 0.11 0 0
153Aaron H:0 Aristotle 3.67 0.11 0 0
154Sprt:0 Aristotle 3.99 0.11 0 0
155dfshasdsf12:0 haoyu 4.54 0.09 0 0
156Andrew Werner:1 haoyu 4.98 0.11 0 0
157John Whelchel:0 haoyu 5.26 0.06 0 0
158Ben Chen:1 spl 5.27 0.20 0 0
159Lil Thug:1 Andrew Grasso 5.35 0.03 0 0
160Andrew Werner:0 Aaron Doll 5.38 0.33 0 0
161Dusty:0 CookieMonster 5.39 1.39 0 0
162Andys:0 Aristotle 5.43 0.12 0 0
163NA:1 Elphaba 5.47 0.04 0 0
164Andys:1 Aristotle 5.54 0.13 0 0
165Andrew Grasso:0 Aaron Doll 5.54 0.18 0 0
166Andrew Grasso:1 Shaheed Chagani 5.63 0.15 0 0
167Ben Chen:0 Elphaba 5.66 0.07 0 0
168Lil Thug:0 Andrew Grasso 5.77 0.03 0 0
169John Whelchel:1 haoyu 6.03 0.11 0 0
170Brendan Wright:1 Deric Cheng 6.60 0.10 0 0
171David H.:1 DeeEmEm 6.87 0.33 0 0
172Brendan Wright:0 haoyu 6.91 0.10 0 0
173Absurdity:0 Aristotle 7.10 0.23 0 0
174AFC:0 CookieMonster 9.72 0.34 0 0
175Walter Little:0 haoyu 9.75 0.04 0 0
176dfshasdsf12:1 Nihar the Great 9.81 0.11 0 0
177DinnerPartyPlannerBM:0 Aristotle 10.10 0.11 0 0
178burrito:1 haoyu 12.68 0.10 0 0
179AFC:1 Aristotle 12.75 0.16 0 0
180Bar Shabtai:1 haoyu 14.28 0.12 0 0
181T. Capote:1 haoyu 15.00 0.00 8 2
182T. Capote:0 haoyu 15.00 0.00 62 2
183Jessie Chen:0 Joel Faron 15.00 0.13 75 1
184Jessie Chen:1 Joel Faron 15.00 0.12 118 1
185SuperFan:0 jgs 15.00 14.98 150 4
186Supahaka:0 Andrew Werner 15.00 15.00 193 35
187SuperFan:1 jgs 15.00 14.98 204 4
188Supahaka:1 Joel Faron 15.00 15.00 221 35
189Quite Satisfied:1 Joel Faron 15.00 2.11 398 1
190Qinlan Shen:1 R. A. B. 15.00 9.00 424 1
191DeeEmEm:0 CAPS LOCK 15.00 13.00 473 1
192Dusty:1 Shaheed Chagani 15.00 0.22 657 0
1930108:0 jgs 15.00 14.98 775 1
194Mark S. Fillmore:1 Supahaka 15.00 0.04 812 79
195Mark S. Fillmore:0 Supahaka 15.00 0.01 1358 116
196NA:0 haoyu 15.00 0.03 2013 0
197CookieMonster:1 CookieMonster 15.00 1.10 3927 0
198CookieMonster:0 CookieMonster 15.00 0.82 4064 0
199ebp:0 haoyu 15.00 0.04 8082 0
200Deric Cheng:1 jgs 15.00 14.98 9838 1
201Yacob Y.:1 Aristotle 15.00 15.00 11081 1
202jgs:0 Aristotle 15.00 0.12 20919 0
203spl:0 Elphaba 15.00 0.09 4201 0
204spl:1 haoyu 15.00 0.06 4359 0
205Absurdity:1 Aristotle 15.00 0.18 10189 0
206ebp:1 haoyu 15.00 0.04 8070 0
207Charliezsc:0 jgs 15.01 14.98 12798 1
208Shaheed Chagani:0 Aristotle 15.01 0.17 34128 0
209Shaheed Chagani:1 Aristotle 15.01 0.11 36063 0
210jgs:1 haoyu 15.01 0.18 13400 0
211BH:1 haoyu 15.01 0.05 22592 0
212BH:0 haoyu 15.01 0.07 21253 0
21313a:0 Aaron Doll 15.02 15.00 110422 21
214Deric Cheng:0 jgs 15.04 14.99 63560 1
21513a:1 Aaron Doll 15.05 15.00 102033 29
216Elphaba:0 Aristotle 15.07 0.24 82524 0
217Aaron Doll:1 Aristotle 15.09 1.27 340432 0
218Matt Goldsmith:1 Happy 15.09 0.03 512792 0
219Aristotle:0 Aristotle 15.09 15.00 747050 1
220Elphaba:1 Aristotle 15.12 0.22 84463 0
221Aaron Doll:0 Aristotle 15.18 0.56 282898 0
222CAPS LOCK:1 Aristotle 15.18 0.25 51451 0
223Matt Goldsmith:0 Nihar the Great 15.19 0.03 516863 0
224CAPS LOCK:0 Aristotle 15.21 0.20 53334 0
225Bar Shabtai:0 Aaron Doll 15.42 15.01 343906 1
226Aristotle:1 Aristotle 16.29 9.69 737344 0
227Nihar the Great:0 Aristotle 16.86 0.23 65834 0
228Nihar the Great:1 Aristotle 19.21 0.25 76379 0


SatSolvers Ranklist Generators Ranklist