SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Mickey Mouse

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 Mickey Mouse 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 Mickey Mouse 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: Mickey Mouse
Rank: 76 / 118
Average Score: 11.58
Median Score: 15.00
Description: This algorithm is an adjusted WalkSAT algorithm. The improvements being used are randomizing the probability at which a random clause is switched and having random restarts with a small probability.
Generator Best solver Time taken Best time Unsat Best unsat
1bigwig:1 KingBach 0.00 0.00 0 0
2K.L.:1 KingBach 0.00 0.00 0 0
3bigwig:0 Andrew Werner 0.00 0.00 0 0
4Ravi Tandon:1 KingBach 0.00 0.00 0 0
5Miranda:1 cat 0.00 0.00 0 0
6Miranda:0 cat 0.00 0.00 0 0
7Ravi Tandon:0 KingBach 0.01 0.00 0 0
8Gewang:1 Jonathan Kwok 0.01 0.00 0 0
9R. A. B.:1 cat 0.01 0.00 0 0
10Bebe Shi:1 KingBach 0.02 0.00 0 0
11Solving For Clauses:1 haoyu 0.02 0.00 0 0
12Mike Honcho:1 Jessie Chen 0.02 0.01 0 0
13Bebe Shi:0 KingBach 0.02 0.00 0 0
14Solving For Clauses:0 Glenn Fisher 0.02 0.00 0 0
15Happy:1 KingBach 0.03 0.00 0 0
16Jonathan Kwok:0 Elphaba 0.03 0.00 0 0
17Mike Honcho:0 Miranda 0.03 0.01 0 0
18Scheduling Generator 203:0 jgs 0.03 0.01 0 0
19Joshua Zimmer:1 haoyu 0.03 0.00 0 0
20Gewang:0 Jonathan Kwok 0.03 0.00 0 0
21totallyOnFallBreak:0 Nikhilesh Sigatapu 0.03 0.01 0 0
22Bob Dondero:1 Mickey Mouse 0.03 0.03 0 0
23Bob Dondero:0 Andrew Grasso 0.03 0.02 0 0
24K.L.:0 haoyu 0.03 0.00 0 0
25Scheduling Generator 203:1 Jameh 0.04 0.02 0 0
26Joshua Zimmer:0 haoyu 0.05 0.00 0 0
27totallyOnFallBreak:1 Nikhilesh Sigatapu 0.05 0.01 0 0
28Daffy Duck:1 haoyu 0.06 0.00 0 0
29BMJ:1 burrito 0.06 0.00 0 0
30David Paulk:0 cat 0.08 0.00 0 0
31Linda:0 Andrew Grasso 0.09 0.01 0 0
32BMJ:0 Elphaba 0.09 0.00 0 0
33Jonathan Kwok:1 KingBach 0.10 0.00 0 0
34Tree Prophet:0 haoyu 0.14 0.00 0 0
35weezy:1 Bar Shabtai 0.14 0.01 0 0
36bchouGenerator:1 Jonathan Kwok 0.14 0.01 0 0
37Daffy Duck:0 Andrew Werner 0.17 0.00 0 0
38bchouGenerator:0 haoyu 0.18 0.00 0 0
39Dr Roberto:1 Andrew Grasso 0.19 0.02 0 0
40cmF5a3ly:1 Nihar the Great 0.28 0.00 0 0
41weezy:0 Bar Shabtai 0.31 0.01 0 0
42Dr Roberto:0 Andrew Grasso 0.37 0.03 0 0
43Happy:0 haoyu 0.37 0.00 0 0
44cmF5a3ly:0 Nihar the Great 0.41 0.00 0 0
45Linda:1 Andrew Grasso 0.66 0.02 0 0
46David Paulk:1 Bar Shabtai 1.02 0.00 0 0
47Tom T:0 EC 1.68 0.02 0 0
48Tom T:1 Andrew Werner 1.81 0.02 0 0
49Tree Prophet:1 haoyu 2.37 0.00 0 0
50Blam:1 Elphaba 2.41 0.00 0 0
51haoyu:0 KingBach 2.44 0.01 0 0
52haoyu:1 Anon5 3.02 0.01 0 0
53Blam:0 Elphaba 4.31 0.00 0 0
54Mickey Mouse:0 Bar Shabtai 6.29 0.01 0 0
55Mickey Mouse:1 haoyu 14.04 0.01 0 0
56T. Capote:0 haoyu 15.00 0.00 4 2
57Jessie Chen:0 Joel Faron 15.00 0.13 12 1
58Jessie Chen:1 Joel Faron 15.00 0.12 13 1
59T. Capote:1 haoyu 15.00 0.00 18 2
60Anon5:1 Green "The Bean" Choi 15.00 0.07 19 0
61Qinlan Shen:0 Bar Shabtai 15.00 0.01 37 0
62Janie Gu:0 Glenn Fisher 15.00 0.07 56 0
63Janie Gu:1 Jonathan Kwok 15.00 0.07 67 0
64Sunny:0 Green "The Bean" Choi 15.00 0.02 85 0
65David Lackey:0 Anon5 15.00 0.03 125 0
66SuperFan:0 jgs 15.00 14.98 130 4
67Sunny:1 jabreezy 15.00 0.01 134 0
68AARON BURR, DROPPIN' HAMILTONS:1 haoyu 15.00 0.01 139 0
69R. A. B.:0 Nihar the Great 15.00 0.00 149 0
70The Kraken:1 haoyu 15.00 0.00 152 0
71Jordan Ash:1 Bar Shabtai 15.00 0.01 154 0
72David Lackey:1 Bar Shabtai 15.00 0.03 157 0
73AARON BURR, DROPPIN' HAMILTONS:0 haoyu 15.00 0.00 184 0
74SuperFan:1 jgs 15.00 14.98 189 4
75Boomshanka:0 haoyu 15.00 0.01 202 0
76Supahaka:0 Andrew Werner 15.00 15.00 209 35
77Quite Satisfied:0 haoyu 15.00 0.00 213 0
78Supahaka:1 Joel Faron 15.00 15.00 219 35
79Yan Wu:1 haoyu 15.00 0.04 229 0
80The Kraken:0 haoyu 15.00 0.00 236 0
81Quite Satisfied:1 Joel Faron 15.00 2.11 242 1
82Yan Wu:0 haoyu 15.00 0.05 253 0
83Dusty:1 Shaheed Chagani 15.00 0.22 354 0
840108:1 haoyu 15.00 0.01 370 0
85DeeEmEm:0 CAPS LOCK 15.00 13.00 403 1
86Jameh:0 haoyu 15.00 0.01 443 0
87Tiny Wings:1 haoyu 15.00 0.01 449 0
88Alex Fish:0 haoyu 15.00 0.01 474 0
89Qinlan Shen:1 R. A. B. 15.00 9.00 492 1
90DeeEmEm:1 haoyu 15.00 0.02 495 0
91The Whitman Whale:1 Andrew Grasso 15.00 0.03 510 0
92Keji Xu:1 Nihar the Great 15.00 0.04 551 0
93Dusty:0 CookieMonster 15.00 1.39 575 0
94Andrew Grasso:1 Shaheed Chagani 15.00 0.15 660 0
95Boomshanka:1 Bar Shabtai 15.00 0.01 668 0
960108:0 jgs 15.00 14.98 678 1
97Andrew Grasso:0 Aaron Doll 15.00 0.18 685 0
98Jordan Ash:0 EC 15.00 0.03 694 0
99Jameh:1 haoyu 15.00 0.01 726 0
100Mark S. Fillmore:1 Supahaka 15.00 0.04 796 79
101Alex Fish:1 haoyu 15.00 0.02 871 0
102David H.:1 DeeEmEm 15.00 0.33 936 0
103David H.:0 AFC 15.00 0.28 955 0
104Valya Barboy:0 Aristotle 15.00 0.06 1022 0
105Ytterbium:0 Andrew Grasso 15.00 0.02 1047 0
106NA:0 haoyu 15.00 0.03 1053 0
107NA:1 Elphaba 15.00 0.04 1117 0
108Matt Haake:1 haoyu 15.00 0.05 1146 0
109Valya Barboy:1 Shaheed Chagani 15.00 0.18 1150 0
110Mercury:1 haoyu 15.00 0.05 1155 0
111Keji Xu:0 Nihar the Great 15.00 0.03 1229 0
112kt4124:1 haoyu 15.00 0.04 1300 0
113Matt Haake:0 haoyu 15.00 0.05 1350 0
114Tao:1 Aristotle 15.00 0.07 1353 0
115Mark S. Fillmore:0 Supahaka 15.00 0.01 1376 116
116Tiny Wings:0 haoyu 15.00 0.02 1383 0
117Tao:0 Bar Shabtai 15.00 0.02 1490 0
118kt4124:0 haoyu 15.00 0.03 1496 0
119Anon_K_P:1 Aristotle 15.00 0.03 1539 0
120Anon_K_P:0 haoyu 15.00 0.02 1679 0
121vluu:1 Nihar the Great 15.00 0.02 1704 0
122vluu:0 Nihar the Great 15.00 0.01 1724 0
123The Whitman Whale:0 bigwig 15.00 0.04 1959 0
124cat:1 haoyu 15.00 0.03 1991 0
125Fanny:1 Aristotle 15.00 0.12 2122 0
126Samuel Jerome:1 haoyu 15.00 0.03 2177 0
127Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 2205 0
128Mr. Blobby:1 dusty 15.00 0.12 2268 0
129Glenn Fisher:0 Elphaba 15.00 0.02 2287 0
130snowflakes:0 haoyu 15.00 0.03 2300 0
131Glenn Fisher:1 jabreezy 15.00 0.09 2388 0
132snowflakes:1 haoyu 15.00 0.03 2390 0
133Fanny:0 Aristotle 15.00 0.10 2474 0
134Anon5:0 haoyu 15.00 0.05 2583 0
135Nikhilesh Sigatapu:1 haoyu 15.00 0.04 2601 0
136cat:0 haoyu 15.00 0.03 2625 0
137CookieMonster:1 CookieMonster 15.00 1.10 2701 0
138Nikhilesh Sigatapu:0 haoyu 15.00 0.03 3139 0
139EC:0 haoyu 15.00 0.03 3188 0
140CookieMonster:0 CookieMonster 15.00 0.82 3204 0
141EC:1 haoyu 15.00 0.03 3283 0
142AFC:0 CookieMonster 15.00 0.34 3391 0
143Samuel Jerome:0 haoyu 15.00 0.03 3424 0
144Sally Smith:0 haoyu 15.00 0.04 3699 0
145spl:1 haoyu 15.00 0.06 3717 0
146AFC:1 Aristotle 15.00 0.16 4029 0
147Walter Little:1 haoyu 15.00 0.03 4036 0
148George Okeowo:1 Andrew Grasso 15.00 0.01 4130 0
149George Okeowo:0 Andrew Grasso 15.00 0.01 4169 0
150spl:0 Elphaba 15.00 0.09 4397 0
151Ytterbium:1 Nihar the Great 15.00 0.02 4509 0
152Lisa Kim:1 Bar Shabtai 15.00 0.06 4604 0
153Walter Little:0 haoyu 15.00 0.04 4610 0
154jabreezy:0 Mercury 15.00 0.09 4618 0
155Ben Chen:0 Elphaba 15.00 0.07 4737 0
156jabreezy:1 Mercury 15.00 0.10 5116 0
157bfang:1 haoyu 15.00 0.04 5137 0
158Ben Chen:1 spl 15.00 0.20 5197 0
159Lisa Kim:0 Aristotle 15.00 0.07 5314 0
160bfang:0 haoyu 15.00 0.04 5840 0
161soccer:0 haoyu 15.00 0.04 6638 0
162Khoa:1 Aristotle 15.00 0.09 6773 0
163Khoa:0 haoyu 15.00 0.09 7231 0
164ebp:0 haoyu 15.00 0.04 7695 0
165soccer:1 haoyu 15.00 0.04 7836 0
166Absurdity:0 Aristotle 15.00 0.23 8462 0
167ebp:1 haoyu 15.00 0.04 8989 0
168Yacob Y.:1 Aristotle 15.00 15.00 9139 1
169Yacob Y.:0 haoyu 15.00 0.06 9331 0
170Absurdity:1 Aristotle 15.00 0.18 9341 0
171Batman:1 haoyu 15.00 0.04 9918 0
172Sprt:1 haoyu 15.00 0.05 10480 0
173Batman:0 haoyu 15.00 0.04 10982 0
174KingBach:0 haoyu 15.00 0.06 11717 0
175KingBach:1 haoyu 15.00 0.04 11776 0
176Charliezsc:0 jgs 15.00 14.98 11833 1
177Charliezsc:1 haoyu 15.00 0.07 14097 0
178Sabar Dasgupta:0 spl 15.00 0.23 14188 0
179dfshasdsf12:0 haoyu 15.00 0.09 21040 0
180BH:1 haoyu 15.00 0.05 21454 0
181Mike Hunt:1 Aristotle 15.00 0.29 21860 0
182Andys:1 Aristotle 15.00 0.13 23239 0
183DinnerPartyPlannerBM:1 Nihar the Great 15.00 0.06 23814 0
184Aaron H:1 Aristotle 15.00 0.11 27717 0
185Andrew Werner:1 haoyu 15.00 0.11 28834 0
186John Whelchel:0 haoyu 15.00 0.06 28914 0
187Andys:0 Aristotle 15.00 0.12 31097 0
188John Whelchel:1 haoyu 15.00 0.11 31938 0
18913a:1 Aaron Doll 15.00 15.00 121834 29
190Brendan Wright:1 Deric Cheng 15.00 0.10 67 0
191Sally Smith:1 haoyu 15.00 0.04 1678 0
192nupog:1 Aristotle 15.00 0.12 4933 0
193Mercury:0 haoyu 15.00 0.05 6734 0
194BH:0 haoyu 15.00 0.07 22878 0
195burrito:0 haoyu 15.00 0.09 24477 0
196Sprt:0 Aristotle 15.00 0.11 26941 0
197Lil Thug:1 Andrew Grasso 15.00 0.03 30621 0
198Shaheed Chagani:1 Aristotle 15.00 0.11 31611 0
199DinnerPartyPlannerBM:0 Aristotle 15.00 0.11 41688 0
200jgs:0 Aristotle 15.00 0.12 53675 0
201Deric Cheng:0 jgs 15.00 14.99 61486 1
202Sabar Dasgupta:1 Aaron Doll 15.00 0.17 13970 0
203Mike Hunt:0 Aristotle 15.00 0.27 23538 0
204Aaron H:0 Aristotle 15.00 0.11 28929 0
205Andrew Werner:0 Aaron Doll 15.00 0.33 29084 0
206Lil Thug:0 Andrew Grasso 15.00 0.03 31111 0
207Brendan Wright:0 haoyu 15.00 0.10 32653 0
208dfshasdsf12:1 Nihar the Great 15.00 0.11 34610 0
209burrito:1 haoyu 15.00 0.10 39667 0
210Deric Cheng:1 jgs 15.00 14.98 56714 1
211nupog:0 Aristotle 15.00 0.13 5024 0
212Bar Shabtai:1 haoyu 15.01 0.12 49676 0
213Shaheed Chagani:0 Aristotle 15.01 0.17 36339 0
214jgs:1 haoyu 15.01 0.18 56754 0
215Elphaba:0 Aristotle 15.01 0.24 92170 0
21613a:0 Aaron Doll 15.01 15.00 114666 21
217Nihar the Great:1 Aristotle 15.01 0.25 140424 0
218CAPS LOCK:1 Aristotle 15.01 0.25 43625 0
219Nihar the Great:0 Aristotle 15.01 0.23 36689 0
220CAPS LOCK:0 Aristotle 15.02 0.20 34918 0
221Elphaba:1 Aristotle 15.02 0.22 113005 0
222Aaron Doll:1 Aristotle 15.03 1.27 336656 0
223Aristotle:0 Aristotle 15.03 15.00 741853 1
224Aaron Doll:0 Aristotle 15.05 0.56 305228 0
225Bar Shabtai:0 Aaron Doll 15.05 15.01 338689 1
226Matt Goldsmith:0 Nihar the Great 15.06 0.03 524272 0
227Aristotle:1 Aristotle 15.09 9.69 754918 0
228Matt Goldsmith:1 Happy 15.13 0.03 520819 0


SatSolvers Ranklist Generators Ranklist