SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Mike Hawk

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 Mike Hawk 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 Mike Hawk 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: Mike Hawk
Rank: 15 / 118
Average Score: 4.96
Median Score: 0.67
Description: A modified WalkSat
Generator Best solver Time taken Best time Unsat Best unsat
1Bebe Shi:1 KingBach 0.00 0.00 0 0
2bigwig:0 Andrew Werner 0.00 0.00 0 0
3bigwig:1 KingBach 0.00 0.00 0 0
4Ravi Tandon:0 KingBach 0.00 0.00 0 0
5Happy:1 KingBach 0.00 0.00 0 0
6Ravi Tandon:1 KingBach 0.00 0.00 0 0
7Miranda:1 cat 0.00 0.00 0 0
8K.L.:1 KingBach 0.00 0.00 0 0
9Miranda:0 cat 0.00 0.00 0 0
10Solving For Clauses:0 Glenn Fisher 0.01 0.00 0 0
11Solving For Clauses:1 haoyu 0.01 0.00 0 0
12Joshua Zimmer:1 haoyu 0.01 0.00 0 0
13Joshua Zimmer:0 haoyu 0.01 0.00 0 0
14Bebe Shi:0 KingBach 0.01 0.00 0 0
15BMJ:1 burrito 0.01 0.00 0 0
16K.L.:0 haoyu 0.01 0.00 0 0
17Quite Satisfied:0 haoyu 0.01 0.00 0 0
18David Paulk:1 Bar Shabtai 0.01 0.00 0 0
19R. A. B.:1 cat 0.01 0.00 0 0
20bchouGenerator:0 haoyu 0.01 0.00 0 0
21David Paulk:0 cat 0.01 0.00 0 0
22Gewang:0 Jonathan Kwok 0.01 0.00 0 0
23Jonathan Kwok:0 Elphaba 0.01 0.00 0 0
24Jonathan Kwok:1 KingBach 0.01 0.00 0 0
25Jordan Ash:1 Bar Shabtai 0.01 0.01 0 0
26haoyu:1 Anon5 0.01 0.01 0 0
27Blam:1 Elphaba 0.02 0.00 0 0
28Mike Honcho:0 Miranda 0.02 0.01 0 0
29cmF5a3ly:1 Nihar the Great 0.02 0.00 0 0
30R. A. B.:0 Nihar the Great 0.02 0.00 0 0
31cmF5a3ly:0 Nihar the Great 0.02 0.00 0 0
32bchouGenerator:1 Jonathan Kwok 0.02 0.01 0 0
33Gewang:1 Jonathan Kwok 0.02 0.00 0 0
34BMJ:0 Elphaba 0.02 0.00 0 0
35Blam:0 Elphaba 0.02 0.00 0 0
36Mike Honcho:1 Jessie Chen 0.02 0.01 0 0
37Qinlan Shen:0 Bar Shabtai 0.02 0.01 0 0
38Tree Prophet:0 haoyu 0.02 0.00 0 0
39The Kraken:1 haoyu 0.02 0.00 0 0
40Scheduling Generator 203:0 jgs 0.02 0.01 0 0
41Daffy Duck:0 Andrew Werner 0.03 0.00 0 0
42Mickey Mouse:1 haoyu 0.03 0.01 0 0
43Daffy Duck:1 haoyu 0.03 0.00 0 0
44Mickey Mouse:0 Bar Shabtai 0.03 0.01 0 0
45Happy:0 haoyu 0.03 0.00 0 0
46Boomshanka:1 Bar Shabtai 0.03 0.01 0 0
47Jameh:0 haoyu 0.03 0.01 0 0
480108:1 haoyu 0.03 0.01 0 0
49The Kraken:0 haoyu 0.03 0.00 0 0
50haoyu:0 KingBach 0.03 0.01 0 0
51weezy:0 Bar Shabtai 0.03 0.01 0 0
52weezy:1 Bar Shabtai 0.04 0.01 0 0
53Scheduling Generator 203:1 Jameh 0.04 0.02 0 0
54Tom T:1 Andrew Werner 0.04 0.02 0 0
55David Lackey:0 Anon5 0.05 0.03 0 0
56Ytterbium:0 Andrew Grasso 0.05 0.02 0 0
57Sunny:0 Green "The Bean" Choi 0.05 0.02 0 0
58Tree Prophet:1 haoyu 0.05 0.00 0 0
59vluu:1 Nihar the Great 0.06 0.02 0 0
60Jordan Ash:0 EC 0.06 0.03 0 0
61Tiny Wings:1 haoyu 0.06 0.01 0 0
62Boomshanka:0 haoyu 0.06 0.01 0 0
63Dr Roberto:1 Andrew Grasso 0.06 0.02 0 0
64Sunny:1 jabreezy 0.06 0.01 0 0
65Tom T:0 EC 0.06 0.02 0 0
66vluu:0 Nihar the Great 0.07 0.01 0 0
67David Lackey:1 Bar Shabtai 0.07 0.03 0 0
68Bob Dondero:1 Mickey Mouse 0.07 0.03 0 0
69totallyOnFallBreak:1 Nikhilesh Sigatapu 0.08 0.01 0 0
70Bob Dondero:0 Andrew Grasso 0.08 0.02 0 0
71totallyOnFallBreak:0 Nikhilesh Sigatapu 0.09 0.01 0 0
72Anon_K_P:0 haoyu 0.09 0.02 0 0
73Jameh:1 haoyu 0.09 0.01 0 0
74The Whitman Whale:0 bigwig 0.09 0.04 0 0
75The Whitman Whale:1 Andrew Grasso 0.10 0.03 0 0
76cat:0 haoyu 0.10 0.03 0 0
77Anon_K_P:1 Aristotle 0.10 0.03 0 0
78cat:1 haoyu 0.11 0.03 0 0
79Janie Gu:0 Glenn Fisher 0.11 0.07 0 0
80Samuel Jerome:1 haoyu 0.11 0.03 0 0
81Tiny Wings:0 haoyu 0.12 0.02 0 0
82Nikhilesh Sigatapu:1 haoyu 0.12 0.04 0 0
83AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.12 0.00 0 0
84Ytterbium:1 Nihar the Great 0.12 0.02 0 0
85Keji Xu:1 Nihar the Great 0.12 0.04 0 0
86Keji Xu:0 Nihar the Great 0.12 0.03 0 0
87Nikhilesh Sigatapu:0 haoyu 0.12 0.03 0 0
88Alex Fish:1 haoyu 0.14 0.02 0 0
89Linda:0 Andrew Grasso 0.14 0.01 0 0
90George Okeowo:0 Andrew Grasso 0.16 0.01 0 0
91George Okeowo:1 Andrew Grasso 0.17 0.01 0 0
92Fanny:1 Aristotle 0.17 0.12 0 0
93Dr Roberto:0 Andrew Grasso 0.18 0.03 0 0
94Alex Fish:0 haoyu 0.19 0.01 0 0
95Lisa Kim:1 Bar Shabtai 0.20 0.06 0 0
96Lisa Kim:0 Aristotle 0.20 0.07 0 0
97AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.22 0.01 0 0
98Samuel Jerome:0 haoyu 0.23 0.03 0 0
99Yan Wu:0 haoyu 0.25 0.05 0 0
100Tao:0 Bar Shabtai 0.26 0.02 0 0
101Matt Haake:0 haoyu 0.27 0.05 0 0
102Matt Haake:1 haoyu 0.31 0.05 0 0
103bfang:1 haoyu 0.35 0.04 0 0
104Andrew Grasso:0 Aaron Doll 0.36 0.18 0 0
105Sally Smith:0 haoyu 0.41 0.04 0 0
106kt4124:0 haoyu 0.41 0.03 0 0
107DeeEmEm:1 haoyu 0.43 0.02 0 0
108Linda:1 Andrew Grasso 0.52 0.02 0 0
109Batman:1 haoyu 0.53 0.04 0 0
110Mercury:0 haoyu 0.57 0.05 0 0
111Sally Smith:1 haoyu 0.58 0.04 0 0
112KingBach:1 haoyu 0.60 0.04 0 0
113Batman:0 haoyu 0.66 0.04 0 0
114Ben Chen:1 spl 0.67 0.20 0 0
115soccer:0 haoyu 0.72 0.04 0 0
116Valya Barboy:0 Aristotle 0.74 0.06 0 0
117Mercury:1 haoyu 0.75 0.05 0 0
118Sprt:1 haoyu 0.75 0.05 0 0
119Tao:1 Aristotle 0.76 0.07 0 0
120bfang:0 haoyu 0.77 0.04 0 0
121Janie Gu:1 Jonathan Kwok 0.83 0.07 0 0
122Ben Chen:0 Elphaba 0.92 0.07 0 0
123Yan Wu:1 haoyu 0.93 0.04 0 0
124Glenn Fisher:0 Elphaba 1.10 0.02 0 0
125kt4124:1 haoyu 1.11 0.04 0 0
126Khoa:0 haoyu 1.40 0.09 0 0
127Khoa:1 Aristotle 1.40 0.09 0 0
128Yacob Y.:0 haoyu 1.47 0.06 0 0
129DinnerPartyPlannerBM:1 Nihar the Great 1.73 0.06 0 0
130soccer:1 haoyu 1.76 0.04 0 0
131burrito:0 haoyu 1.81 0.09 0 0
132Sabar Dasgupta:0 spl 1.87 0.23 0 0
133EC:0 haoyu 2.04 0.03 0 0
134dfshasdsf12:0 haoyu 2.37 0.09 0 0
135Dusty:1 Shaheed Chagani 2.81 0.22 0 0
136Lil Thug:1 Andrew Grasso 2.88 0.03 0 0
137Lil Thug:0 Andrew Grasso 2.94 0.03 0 0
138Dusty:0 CookieMonster 3.01 1.39 0 0
139Aaron H:1 Aristotle 3.38 0.11 0 0
140Sprt:0 Aristotle 3.46 0.11 0 0
141Brendan Wright:0 haoyu 3.50 0.10 0 0
142Mr. Blobby:0 Green "The Bean" Choi 3.52 0.14 0 0
143Anon5:1 Green "The Bean" Choi 3.75 0.07 0 0
144AFC:1 Aristotle 3.82 0.16 0 0
145Fanny:0 Aristotle 3.94 0.10 0 0
146Charliezsc:1 haoyu 4.04 0.07 0 0
147KingBach:0 haoyu 4.09 0.06 0 0
148Mr. Blobby:1 dusty 4.47 0.12 0 0
149Aaron H:0 Aristotle 4.66 0.11 0 0
150NA:0 haoyu 4.67 0.03 0 0
151dfshasdsf12:1 Nihar the Great 4.85 0.11 0 0
152DinnerPartyPlannerBM:0 Aristotle 5.07 0.11 0 0
153ebp:0 haoyu 5.22 0.04 0 0
154Sabar Dasgupta:1 Aaron Doll 5.78 0.17 0 0
155Glenn Fisher:1 jabreezy 6.05 0.09 0 0
156Andrew Grasso:1 Shaheed Chagani 6.38 0.15 0 0
157ebp:1 haoyu 6.40 0.04 0 0
158David H.:0 AFC 6.40 0.28 0 0
159snowflakes:0 haoyu 6.93 0.03 0 0
160NA:1 Elphaba 7.11 0.04 0 0
161BH:1 haoyu 7.79 0.05 0 0
162burrito:1 haoyu 8.02 0.10 0 0
163BH:0 haoyu 9.08 0.07 0 0
164Andys:0 Aristotle 10.34 0.12 0 0
165David H.:1 DeeEmEm 10.44 0.33 0 0
166Mike Hunt:0 Aristotle 11.48 0.27 0 0
167Anon5:0 haoyu 11.64 0.05 0 0
168CAPS LOCK:0 Aristotle 12.27 0.20 0 0
169Mike Hunt:1 Aristotle 12.56 0.29 0 0
170Andrew Werner:0 Aaron Doll 13.66 0.33 0 0
171jabreezy:0 Mercury 13.74 0.09 0 0
172jgs:0 Aristotle 13.92 0.12 0 0
173nupog:1 Aristotle 13.96 0.12 0 0
174jabreezy:1 Mercury 14.20 0.10 0 0
175nupog:0 Aristotle 14.43 0.13 0 0
176Jessie Chen:0 Joel Faron 15.00 0.13 1 1
177Walter Little:0 haoyu 15.00 0.04 1 0
178Valya Barboy:1 Shaheed Chagani 15.00 0.18 1 0
179Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
180Charliezsc:0 jgs 15.00 14.98 1 1
181Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
182Jessie Chen:1 Joel Faron 15.00 0.12 1 1
183Walter Little:1 haoyu 15.00 0.03 1 0
184CookieMonster:0 CookieMonster 15.00 0.82 1 0
185DeeEmEm:0 CAPS LOCK 15.00 13.00 1 1
1860108:0 jgs 15.00 14.98 1 1
187T. Capote:0 haoyu 15.00 0.00 2 2
188T. Capote:1 haoyu 15.00 0.00 2 2
189snowflakes:1 haoyu 15.00 0.03 2 0
190spl:0 Elphaba 15.00 0.09 3 0
191spl:1 haoyu 15.00 0.06 3 0
192SuperFan:0 jgs 15.00 14.98 4 4
193SuperFan:1 jgs 15.00 14.98 4 4
194Supahaka:1 Joel Faron 15.00 15.00 36 35
195Supahaka:0 Andrew Werner 15.00 15.00 37 35
196Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
197Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
198Matt Goldsmith:1 Happy 15.00 0.03 501953 0
199EC:1 haoyu 15.00 0.03 1 0
200CookieMonster:1 CookieMonster 15.00 1.10 1 0
201AFC:0 CookieMonster 15.00 0.34 1 0
202Absurdity:1 Aristotle 15.00 0.18 1 0
203Brendan Wright:1 Deric Cheng 15.00 0.10 1 0
204Yacob Y.:1 Aristotle 15.00 15.00 7 1
20513a:1 Aaron Doll 15.00 15.00 47515 29
206John Whelchel:0 haoyu 15.01 0.06 1 0
207Elphaba:0 Aristotle 15.01 0.24 13673 0
208Shaheed Chagani:0 Aristotle 15.01 0.17 4 0
209Absurdity:0 Aristotle 15.01 0.23 1 0
210Aaron Doll:0 Aristotle 15.01 0.56 249450 0
211CAPS LOCK:1 Aristotle 15.01 0.25 109 0
21213a:0 Aaron Doll 15.01 15.00 45591 21
213Shaheed Chagani:1 Aristotle 15.01 0.11 4 0
214Bar Shabtai:1 haoyu 15.01 0.12 19 0
215Elphaba:1 Aristotle 15.01 0.22 14805 0
216Nihar the Great:1 Aristotle 15.01 0.25 20022 0
217Nihar the Great:0 Aristotle 15.02 0.23 20528 0
218Aaron Doll:1 Aristotle 15.02 1.27 307108 0
219Andys:1 Aristotle 15.03 0.13 1 0
220jgs:1 haoyu 15.03 0.18 1 0
221Deric Cheng:0 jgs 15.04 14.99 1 1
222Aristotle:1 Aristotle 15.05 9.69 719174 0
223Matt Goldsmith:0 Nihar the Great 15.06 0.03 501785 0
224Bar Shabtai:0 Aaron Doll 15.06 15.01 299698 1
225Deric Cheng:1 jgs 15.09 14.98 1 1
226Andrew Werner:1 haoyu 15.10 0.11 1 0
227John Whelchel:1 haoyu 15.11 0.11 1 0
228Aristotle:0 Aristotle 15.18 15.00 727864 1


SatSolvers Ranklist Generators Ranklist