SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Mike Honcho

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 Honcho 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 Honcho 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 Honcho
Rank: 56 / 118
Average Score: 8.21
Median Score: 0.60
Description: Based around walkSAT, but prioritizes unsatisfied clauses with less literals in them, and then prioritizes literals which are in lessclauses with exactly 1 satisfied literal in them (i.e. that would become unsatisfied if said literal changed signs
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:1 KingBach 0.00 0.00 0 0
2Bebe Shi:1 KingBach 0.00 0.00 0 0
3bigwig:0 Andrew Werner 0.00 0.00 0 0
4Happy:1 KingBach 0.00 0.00 0 0
5Bebe Shi:0 KingBach 0.00 0.00 0 0
6Ravi Tandon:1 KingBach 0.00 0.00 0 0
7K.L.:1 KingBach 0.00 0.00 0 0
8Ravi Tandon:0 KingBach 0.00 0.00 0 0
9Miranda:1 cat 0.00 0.00 0 0
10Jonathan Kwok:1 KingBach 0.01 0.00 0 0
11K.L.:0 haoyu 0.01 0.00 0 0
12Miranda:0 cat 0.01 0.00 0 0
13BMJ:1 burrito 0.01 0.00 0 0
14Happy:0 haoyu 0.01 0.00 0 0
15Daffy Duck:1 haoyu 0.01 0.00 0 0
16R. A. B.:1 cat 0.01 0.00 0 0
17Joshua Zimmer:0 haoyu 0.01 0.00 0 0
18Joshua Zimmer:1 haoyu 0.01 0.00 0 0
19Solving For Clauses:1 haoyu 0.01 0.00 0 0
20Solving For Clauses:0 Glenn Fisher 0.02 0.00 0 0
21Tree Prophet:0 haoyu 0.02 0.00 0 0
22haoyu:0 KingBach 0.02 0.01 0 0
23bchouGenerator:1 Jonathan Kwok 0.02 0.01 0 0
24BMJ:0 Elphaba 0.02 0.00 0 0
25Blam:1 Elphaba 0.02 0.00 0 0
26David Paulk:0 cat 0.02 0.00 0 0
27Quite Satisfied:0 haoyu 0.02 0.00 0 0
28Gewang:0 Jonathan Kwok 0.02 0.00 0 0
29David Paulk:1 Bar Shabtai 0.02 0.00 0 0
30Gewang:1 Jonathan Kwok 0.02 0.00 0 0
31bchouGenerator:0 haoyu 0.03 0.00 0 0
32haoyu:1 Anon5 0.03 0.01 0 0
33Scheduling Generator 203:0 jgs 0.04 0.01 0 0
34Qinlan Shen:0 Bar Shabtai 0.04 0.01 0 0
35R. A. B.:0 Nihar the Great 0.04 0.00 0 0
36The Kraken:0 haoyu 0.04 0.00 0 0
37Jordan Ash:1 Bar Shabtai 0.05 0.01 0 0
38Blam:0 Elphaba 0.07 0.00 0 0
39Scheduling Generator 203:1 Jameh 0.07 0.02 0 0
40Tom T:1 Andrew Werner 0.07 0.02 0 0
41totallyOnFallBreak:1 Nikhilesh Sigatapu 0.08 0.01 0 0
42Mickey Mouse:0 Bar Shabtai 0.08 0.01 0 0
43Mickey Mouse:1 haoyu 0.08 0.01 0 0
44Jonathan Kwok:0 Elphaba 0.09 0.00 0 0
45Tom T:0 EC 0.10 0.02 0 0
46Jordan Ash:0 EC 0.10 0.03 0 0
47Daffy Duck:0 Andrew Werner 0.10 0.00 0 0
48totallyOnFallBreak:0 Nikhilesh Sigatapu 0.10 0.01 0 0
49The Kraken:1 haoyu 0.10 0.00 0 0
50Boomshanka:0 haoyu 0.11 0.01 0 0
51Boomshanka:1 Bar Shabtai 0.13 0.01 0 0
52David Lackey:1 Bar Shabtai 0.13 0.03 0 0
53Tiny Wings:0 haoyu 0.13 0.02 0 0
54weezy:1 Bar Shabtai 0.14 0.01 0 0
55AARON BURR, DROPPIN' HAMILTONS:1 haoyu 0.14 0.01 0 0
56Janie Gu:0 Glenn Fisher 0.15 0.07 0 0
57weezy:0 Bar Shabtai 0.15 0.01 0 0
58Alex Fish:1 haoyu 0.16 0.02 0 0
59Keji Xu:1 Nihar the Great 0.17 0.04 0 0
60Jameh:0 haoyu 0.18 0.01 0 0
61Alex Fish:0 haoyu 0.18 0.01 0 0
62David Lackey:0 Anon5 0.18 0.03 0 0
63Anon5:1 Green "The Bean" Choi 0.19 0.07 0 0
64Anon_K_P:1 Aristotle 0.19 0.03 0 0
65Janie Gu:1 Jonathan Kwok 0.19 0.07 0 0
66Keji Xu:0 Nihar the Great 0.20 0.03 0 0
67Linda:0 Andrew Grasso 0.21 0.01 0 0
68Ytterbium:0 Andrew Grasso 0.22 0.02 0 0
69Anon5:0 haoyu 0.22 0.05 0 0
70Dr Roberto:0 Andrew Grasso 0.22 0.03 0 0
71Tiny Wings:1 haoyu 0.22 0.01 0 0
72Samuel Jerome:0 haoyu 0.23 0.03 0 0
73Matt Haake:1 haoyu 0.24 0.05 0 0
74Jameh:1 haoyu 0.24 0.01 0 0
75Dr Roberto:1 Andrew Grasso 0.25 0.02 0 0
76vluu:1 Nihar the Great 0.25 0.02 0 0
77Bob Dondero:1 Mickey Mouse 0.25 0.03 0 0
78AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.25 0.00 0 0
79Nikhilesh Sigatapu:1 haoyu 0.26 0.04 0 0
80Sunny:0 Green "The Bean" Choi 0.26 0.02 0 0
81vluu:0 Nihar the Great 0.26 0.01 0 0
82Bob Dondero:0 Andrew Grasso 0.26 0.02 0 0
83Samuel Jerome:1 haoyu 0.27 0.03 0 0
84cat:1 haoyu 0.27 0.03 0 0
85Yan Wu:1 haoyu 0.27 0.04 0 0
860108:1 haoyu 0.28 0.01 0 0
87The Whitman Whale:1 Andrew Grasso 0.28 0.03 0 0
88Tao:0 Bar Shabtai 0.29 0.02 0 0
89Tao:1 Aristotle 0.29 0.07 0 0
90Yan Wu:0 haoyu 0.31 0.05 0 0
91Linda:1 Andrew Grasso 0.31 0.02 0 0
92Nikhilesh Sigatapu:0 haoyu 0.31 0.03 0 0
93Matt Haake:0 haoyu 0.32 0.05 0 0
94Glenn Fisher:0 Elphaba 0.32 0.02 0 0
95Mike Honcho:0 Miranda 0.34 0.01 0 0
96cat:0 haoyu 0.35 0.03 0 0
97The Whitman Whale:0 bigwig 0.35 0.04 0 0
98Anon_K_P:0 haoyu 0.36 0.02 0 0
99Sally Smith:0 haoyu 0.38 0.04 0 0
100George Okeowo:1 Andrew Grasso 0.39 0.01 0 0
101George Okeowo:0 Andrew Grasso 0.41 0.01 0 0
102Mike Honcho:1 Jessie Chen 0.42 0.01 0 0
103David H.:0 AFC 0.45 0.28 0 0
104Sally Smith:1 haoyu 0.46 0.04 0 0
105Sunny:1 jabreezy 0.46 0.01 0 0
106Ytterbium:1 Nihar the Great 0.46 0.02 0 0
107Mr. Blobby:0 Green "The Bean" Choi 0.52 0.14 0 0
108Lisa Kim:0 Aristotle 0.55 0.07 0 0
109kt4124:0 haoyu 0.58 0.03 0 0
110Lisa Kim:1 Bar Shabtai 0.59 0.06 0 0
111Tree Prophet:1 haoyu 0.60 0.00 0 0
112kt4124:1 haoyu 0.60 0.04 0 0
113cmF5a3ly:1 Nihar the Great 0.64 0.00 0 0
114Valya Barboy:0 Aristotle 0.66 0.06 0 0
115Mercury:0 haoyu 0.67 0.05 0 0
116Fanny:1 Aristotle 0.69 0.12 0 0
117Mercury:1 haoyu 0.72 0.05 0 0
118Ben Chen:1 spl 0.73 0.20 0 0
119Mr. Blobby:1 dusty 0.77 0.12 0 0
120Ben Chen:0 Elphaba 0.79 0.07 0 0
121cmF5a3ly:0 Nihar the Great 0.86 0.00 0 0
122David H.:1 DeeEmEm 0.89 0.33 0 0
123bfang:1 haoyu 0.95 0.04 0 0
124bfang:0 haoyu 1.08 0.04 0 0
125KingBach:1 haoyu 1.15 0.04 0 0
126soccer:1 haoyu 1.24 0.04 0 0
127EC:1 haoyu 1.28 0.03 0 0
128Khoa:0 haoyu 1.42 0.09 0 0
129Yacob Y.:0 haoyu 1.43 0.06 0 0
130Glenn Fisher:1 jabreezy 1.45 0.09 0 0
131Khoa:1 Aristotle 1.52 0.09 0 0
132soccer:0 haoyu 1.52 0.04 0 0
133KingBach:0 haoyu 1.63 0.06 0 0
134Batman:0 haoyu 1.75 0.04 0 0
135Batman:1 haoyu 1.84 0.04 0 0
136Sprt:1 haoyu 2.33 0.05 0 0
137Charliezsc:1 haoyu 3.12 0.07 0 0
138Sabar Dasgupta:0 spl 3.99 0.23 0 0
139burrito:0 haoyu 4.16 0.09 0 0
140Brendan Wright:1 Deric Cheng 4.55 0.10 0 0
141Sabar Dasgupta:1 Aaron Doll 4.60 0.17 0 0
142Walter Little:1 haoyu 4.66 0.03 0 0
143DeeEmEm:1 haoyu 4.73 0.02 0 0
144Andrew Grasso:1 Shaheed Chagani 5.45 0.15 0 0
145Walter Little:0 haoyu 5.64 0.04 0 0
146nupog:0 Aristotle 6.20 0.13 0 0
147nupog:1 Aristotle 6.23 0.12 0 0
148snowflakes:1 haoyu 6.66 0.03 0 0
149Andys:1 Aristotle 6.94 0.13 0 0
150Andys:0 Aristotle 7.42 0.12 0 0
151DinnerPartyPlannerBM:1 Nihar the Great 7.69 0.06 0 0
152Aaron H:1 Aristotle 7.90 0.11 0 0
153Absurdity:1 Aristotle 7.94 0.18 0 0
154Brendan Wright:0 haoyu 8.16 0.10 0 0
155EC:0 haoyu 8.42 0.03 0 0
156Aaron H:0 Aristotle 8.47 0.11 0 0
157Absurdity:0 Aristotle 9.23 0.23 0 0
158Andrew Grasso:0 Aaron Doll 9.25 0.18 0 0
159John Whelchel:0 haoyu 9.27 0.06 0 0
160Mike Hunt:0 Aristotle 9.89 0.27 0 0
161Dusty:1 Shaheed Chagani 10.29 0.22 0 0
162Sprt:0 Aristotle 10.79 0.11 0 0
163dfshasdsf12:0 haoyu 11.22 0.09 0 0
164AFC:1 Aristotle 11.72 0.16 0 0
165Lil Thug:0 Andrew Grasso 12.32 0.03 0 0
166John Whelchel:1 haoyu 12.63 0.11 0 0
167Mike Hunt:1 Aristotle 12.63 0.29 0 0
168ebp:1 haoyu 13.16 0.04 0 0
169CAPS LOCK:0 Aristotle 13.18 0.20 0 0
170burrito:1 haoyu 13.41 0.10 0 0
171Lil Thug:1 Andrew Grasso 13.63 0.03 0 0
172NA:0 haoyu 14.06 0.03 0 0
173CAPS LOCK:1 Aristotle 14.44 0.25 0 0
174jabreezy:1 Mercury 14.55 0.10 0 0
175Fanny:0 Aristotle 15.00 0.10 1 0
176Jessie Chen:0 Joel Faron 15.00 0.13 1 1
177Valya Barboy:1 Shaheed Chagani 15.00 0.18 1 0
178Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
179Charliezsc:0 jgs 15.00 14.98 1 1
180Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
181Jessie Chen:1 Joel Faron 15.00 0.12 1 1
182CookieMonster:0 CookieMonster 15.00 0.82 1 0
183DeeEmEm:0 CAPS LOCK 15.00 13.00 1 1
1840108:0 jgs 15.00 14.98 1 1
185CookieMonster:1 CookieMonster 15.00 1.10 1 0
186T. Capote:0 haoyu 15.00 0.00 2 2
187spl:1 haoyu 15.00 0.06 2 0
188T. Capote:1 haoyu 15.00 0.00 2 2
189AFC:0 CookieMonster 15.00 0.34 2 0
190NA:1 Elphaba 15.00 0.04 3 0
191Dusty:0 CookieMonster 15.00 1.39 3 0
192spl:0 Elphaba 15.00 0.09 3 0
193SuperFan:0 jgs 15.00 14.98 4 4
194Andrew Werner:1 haoyu 15.00 0.11 4 0
195SuperFan:1 jgs 15.00 14.98 4 4
196Yacob Y.:1 Aristotle 15.00 15.00 4 1
197snowflakes:0 haoyu 15.00 0.03 8 0
198jabreezy:0 Mercury 15.00 0.09 8 0
199ebp:0 haoyu 15.00 0.04 10 0
200Supahaka:0 Andrew Werner 15.00 15.00 37 35
201Supahaka:1 Joel Faron 15.00 15.00 37 35
202BH:0 haoyu 15.00 0.07 40 0
203Mark S. Fillmore:1 Supahaka 15.00 0.04 114 79
204BH:1 haoyu 15.00 0.05 130 0
205Mark S. Fillmore:0 Supahaka 15.00 0.01 161 116
206Deric Cheng:0 jgs 15.00 14.99 45 1
207dfshasdsf12:1 Nihar the Great 15.00 0.11 93 0
208Deric Cheng:1 jgs 15.00 14.98 45 1
209Shaheed Chagani:0 Aristotle 15.00 0.17 500 0
210Nihar the Great:1 Aristotle 15.00 0.25 1000 0
211Nihar the Great:0 Aristotle 15.01 0.23 1000 0
212Shaheed Chagani:1 Aristotle 15.01 0.11 500 0
213Andrew Werner:0 Aaron Doll 15.01 0.33 50 0
21413a:1 Aaron Doll 15.01 15.00 150 29
215DinnerPartyPlannerBM:0 Aristotle 15.02 0.11 57 0
216Matt Goldsmith:1 Happy 15.03 0.03 0 0
217jgs:0 Aristotle 15.03 0.12 110 0
218Elphaba:1 Aristotle 15.04 0.22 56 0
219jgs:1 haoyu 15.04 0.18 110 0
220Elphaba:0 Aristotle 15.04 0.24 56 0
221Bar Shabtai:1 haoyu 15.05 0.12 35 0
222Matt Goldsmith:0 Nihar the Great 15.06 0.03 0 0
22313a:0 Aaron Doll 15.06 15.00 150 21
224Aristotle:1 Aristotle - 9.69 - 0
225Aaron Doll:0 Aristotle - 0.56 - 0
226Aaron Doll:1 Aristotle - 1.27 - 0
227Bar Shabtai:0 Aaron Doll - 15.01 - 1
228Aristotle:0 Aristotle - 15.00 - 1


SatSolvers Ranklist Generators Ranklist