SatSolvers Ranklist Generators Ranklist

Stats for satsolver: Mark Fillmore

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 Mark Fillmore 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 Mark Fillmore 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: Mark Fillmore
Rank: 79 / 118
Average Score: 12.26
Median Score: 1.25
Description: This sat-solver is a modified version of WalkSAT. It gives every clause a random rank and inserts it into a Priority Queue. All literals are initially set to false. Clauses are then removed from the Priority Queue, and if they are not satisfied, a random literal assignment is made. Simulted annealing determines whether or not this random assignment is allowed to continue. If it is, any clause that contains this literal is put back on the Priority Queue. This is repeated until time runs out, or a satisfiable solution is disovered.
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.01 0.00 0 0
4Bebe Shi:1 KingBach 0.01 0.00 0 0
5K.L.:1 KingBach 0.01 0.00 0 0
6Bebe Shi:0 KingBach 0.01 0.00 0 0
7Joshua Zimmer:0 haoyu 0.01 0.00 0 0
8Ravi Tandon:0 KingBach 0.01 0.00 0 0
9R. A. B.:1 cat 0.01 0.00 0 0
10Happy:1 KingBach 0.01 0.00 0 0
11Joshua Zimmer:1 haoyu 0.01 0.00 0 0
12Miranda:1 cat 0.01 0.00 0 0
13K.L.:0 haoyu 0.01 0.00 0 0
14Blam:0 Elphaba 0.01 0.00 0 0
15Miranda:0 cat 0.01 0.00 0 0
16R. A. B.:0 Nihar the Great 0.02 0.00 0 0
17Jonathan Kwok:1 KingBach 0.02 0.00 0 0
18Happy:0 haoyu 0.02 0.00 0 0
19Tree Prophet:0 haoyu 0.02 0.00 0 0
20David Paulk:1 Bar Shabtai 0.02 0.00 0 0
21David Paulk:0 cat 0.02 0.00 0 0
22Solving For Clauses:0 Glenn Fisher 0.02 0.00 0 0
23Tree Prophet:1 haoyu 0.02 0.00 0 0
24BMJ:1 burrito 0.03 0.00 0 0
25Blam:1 Elphaba 0.03 0.00 0 0
26Gewang:0 Jonathan Kwok 0.03 0.00 0 0
27Gewang:1 Jonathan Kwok 0.03 0.00 0 0
28Jonathan Kwok:0 Elphaba 0.03 0.00 0 0
29The Kraken:1 haoyu 0.03 0.00 0 0
30Daffy Duck:1 haoyu 0.03 0.00 0 0
31The Kraken:0 haoyu 0.04 0.00 0 0
32Solving For Clauses:1 haoyu 0.04 0.00 0 0
33BMJ:0 Elphaba 0.04 0.00 0 0
34haoyu:1 Anon5 0.05 0.01 0 0
35haoyu:0 KingBach 0.05 0.01 0 0
36bchouGenerator:0 haoyu 0.05 0.00 0 0
37Quite Satisfied:0 haoyu 0.05 0.00 0 0
38weezy:0 Bar Shabtai 0.06 0.01 0 0
39Daffy Duck:0 Andrew Werner 0.06 0.00 0 0
40cmF5a3ly:0 Nihar the Great 0.07 0.00 0 0
41Jameh:0 haoyu 0.07 0.01 0 0
42vluu:1 Nihar the Great 0.07 0.02 0 0
43Jordan Ash:1 Bar Shabtai 0.07 0.01 0 0
44Sunny:0 Green "The Bean" Choi 0.07 0.02 0 0
45vluu:0 Nihar the Great 0.07 0.01 0 0
46cmF5a3ly:1 Nihar the Great 0.08 0.00 0 0
47Ytterbium:0 Andrew Grasso 0.08 0.02 0 0
48bchouGenerator:1 Jonathan Kwok 0.08 0.01 0 0
49Mickey Mouse:0 Bar Shabtai 0.08 0.01 0 0
50Mickey Mouse:1 haoyu 0.08 0.01 0 0
51Boomshanka:1 Bar Shabtai 0.08 0.01 0 0
52Qinlan Shen:0 Bar Shabtai 0.09 0.01 0 0
53weezy:1 Bar Shabtai 0.09 0.01 0 0
54DeeEmEm:1 haoyu 0.09 0.02 0 0
55Boomshanka:0 haoyu 0.11 0.01 0 0
56Jameh:1 haoyu 0.12 0.01 0 0
57Ytterbium:1 Nihar the Great 0.12 0.02 0 0
58Scheduling Generator 203:0 jgs 0.12 0.01 0 0
59The Whitman Whale:0 bigwig 0.12 0.04 0 0
60George Okeowo:1 Andrew Grasso 0.13 0.01 0 0
61George Okeowo:0 Andrew Grasso 0.13 0.01 0 0
62Tiny Wings:0 haoyu 0.13 0.02 0 0
63Tiny Wings:1 haoyu 0.14 0.01 0 0
64The Whitman Whale:1 Andrew Grasso 0.14 0.03 0 0
65Keji Xu:1 Nihar the Great 0.18 0.04 0 0
66cat:1 haoyu 0.18 0.03 0 0
67Keji Xu:0 Nihar the Great 0.18 0.03 0 0
68totallyOnFallBreak:0 Nikhilesh Sigatapu 0.18 0.01 0 0
69Scheduling Generator 203:1 Jameh 0.21 0.02 0 0
70Nikhilesh Sigatapu:0 haoyu 0.21 0.03 0 0
71totallyOnFallBreak:1 Nikhilesh Sigatapu 0.22 0.01 0 0
720108:1 haoyu 0.22 0.01 0 0
73cat:0 haoyu 0.23 0.03 0 0
74Tom T:1 Andrew Werner 0.24 0.02 0 0
75Janie Gu:1 Jonathan Kwok 0.25 0.07 0 0
76Sunny:1 jabreezy 0.26 0.01 0 0
77Tom T:0 EC 0.27 0.02 0 0
78kt4124:1 haoyu 0.28 0.04 0 0
79Sprt:1 haoyu 0.28 0.05 0 0
80Lisa Kim:1 Bar Shabtai 0.28 0.06 0 0
81Janie Gu:0 Glenn Fisher 0.29 0.07 0 0
82kt4124:0 haoyu 0.30 0.03 0 0
83Khoa:1 Aristotle 0.30 0.09 0 0
84DinnerPartyPlannerBM:1 Nihar the Great 0.33 0.06 0 0
85Bob Dondero:0 Andrew Grasso 0.35 0.02 0 0
86Bob Dondero:1 Mickey Mouse 0.36 0.03 0 0
87Dr Roberto:1 Andrew Grasso 0.36 0.02 0 0
88Linda:0 Andrew Grasso 0.37 0.01 0 0
89soccer:0 haoyu 0.37 0.04 0 0
90KingBach:1 haoyu 0.38 0.04 0 0
91dfshasdsf12:0 haoyu 0.41 0.09 0 0
92Khoa:0 haoyu 0.43 0.09 0 0
93Lil Thug:0 Andrew Grasso 0.43 0.03 0 0
94Lil Thug:1 Andrew Grasso 0.43 0.03 0 0
95Sally Smith:0 haoyu 0.45 0.04 0 0
96Lisa Kim:0 Aristotle 0.47 0.07 0 0
97Alex Fish:1 haoyu 0.48 0.02 0 0
98Dr Roberto:0 Andrew Grasso 0.49 0.03 0 0
99Sprt:0 Aristotle 0.54 0.11 0 0
100Sally Smith:1 haoyu 0.58 0.04 0 0
101burrito:0 haoyu 0.61 0.09 0 0
102Linda:1 Andrew Grasso 0.66 0.02 0 0
103Brendan Wright:1 Deric Cheng 0.71 0.10 0 0
104AARON BURR, DROPPIN' HAMILTONS:0 haoyu 0.72 0.00 0 0
105dfshasdsf12:1 Nihar the Great 0.74 0.11 0 0
106DinnerPartyPlannerBM:0 Aristotle 0.86 0.11 0 0
107soccer:1 haoyu 1.06 0.04 0 0
108Andrew Werner:0 Aaron Doll 1.10 0.33 0 0
109Batman:0 haoyu 1.11 0.04 0 0
110Alex Fish:0 haoyu 1.39 0.01 0 0
111burrito:1 haoyu 1.50 0.10 0 0
112Mike Honcho:0 Miranda 1.57 0.01 0 0
113Batman:1 haoyu 1.71 0.04 0 0
114Mike Honcho:1 Jessie Chen 1.94 0.01 0 0
115Bar Shabtai:1 haoyu 2.81 0.12 0 0
116KingBach:0 haoyu 3.01 0.06 0 0
117Samuel Jerome:0 haoyu 3.17 0.03 0 0
118Jordan Ash:0 EC 3.34 0.03 0 0
119Nikhilesh Sigatapu:1 haoyu 3.51 0.04 0 0
120jabreezy:1 Mercury 4.12 0.10 0 0
121David Lackey:0 Anon5 4.12 0.03 0 0
122AARON BURR, DROPPIN' HAMILTONS:1 haoyu 4.19 0.01 0 0
123jabreezy:0 Mercury 4.27 0.09 0 0
124Andrew Werner:1 haoyu 5.22 0.11 0 0
125CAPS LOCK:0 Aristotle 5.53 0.20 0 0
126David Lackey:1 Bar Shabtai 6.16 0.03 0 0
127John Whelchel:0 haoyu 7.88 0.06 0 0
128Tao:1 Aristotle 8.05 0.07 0 0
129bfang:1 haoyu 9.37 0.04 0 0
130CAPS LOCK:1 Aristotle 10.04 0.25 0 0
131nupog:0 Aristotle 11.65 0.13 0 0
132nupog:1 Aristotle 11.73 0.12 0 0
133Jessie Chen:0 Joel Faron 15.00 0.13 1 1
134Qinlan Shen:1 R. A. B. 15.00 9.00 1 1
135Charliezsc:0 jgs 15.00 14.98 1 1
136Quite Satisfied:1 Joel Faron 15.00 2.11 1 1
137Jessie Chen:1 Joel Faron 15.00 0.12 1 1
138Mercury:1 haoyu 15.00 0.05 1 0
139DeeEmEm:0 CAPS LOCK 15.00 13.00 1 1
1400108:0 jgs 15.00 14.98 1 1
141Tao:0 Bar Shabtai 15.00 0.02 1 0
142Charliezsc:1 haoyu 15.00 0.07 2 0
143Mercury:0 haoyu 15.00 0.05 2 0
144Samuel Jerome:1 haoyu 15.00 0.03 2 0
145T. Capote:0 haoyu 15.00 0.00 2 2
146T. Capote:1 haoyu 15.00 0.00 2 2
147bfang:0 haoyu 15.00 0.04 2 0
148EC:1 haoyu 15.00 0.03 3 0
149Valya Barboy:1 Shaheed Chagani 15.00 0.18 3 0
150CookieMonster:0 CookieMonster 15.00 0.82 3 0
151Anon_K_P:0 haoyu 15.00 0.02 4 0
152Anon_K_P:1 Aristotle 15.00 0.03 4 0
153CookieMonster:1 CookieMonster 15.00 1.10 4 0
154EC:0 haoyu 15.00 0.03 4 0
155Valya Barboy:0 Aristotle 15.00 0.06 4 0
156Anon5:1 Green "The Bean" Choi 15.00 0.07 5 0
157Sabar Dasgupta:0 spl 15.00 0.23 5 0
158SuperFan:1 jgs 15.00 14.98 5 4
159John Whelchel:1 haoyu 15.00 0.11 6 0
160SuperFan:0 jgs 15.00 14.98 6 4
161Sabar Dasgupta:1 Aaron Doll 15.00 0.17 6 0
162Fanny:0 Aristotle 15.00 0.10 7 0
163David H.:1 DeeEmEm 15.00 0.33 7 0
164Shaheed Chagani:0 Aristotle 15.00 0.17 7 0
165David H.:0 AFC 15.00 0.28 7 0
166Mike Hunt:1 Aristotle 15.00 0.29 8 0
167Anon5:0 haoyu 15.00 0.05 8 0
168Yacob Y.:0 haoyu 15.00 0.06 9 0
169Fanny:1 Aristotle 15.00 0.12 10 0
170AFC:1 Aristotle 15.00 0.16 11 0
171AFC:0 CookieMonster 15.00 0.34 13 0
172Elphaba:1 Aristotle 15.00 0.22 14 0
173Absurdity:1 Aristotle 15.00 0.18 16 0
174Andys:0 Aristotle 15.00 0.12 17 0
175ebp:0 haoyu 15.00 0.04 18 0
176Andys:1 Aristotle 15.00 0.13 19 0
177Absurdity:0 Aristotle 15.00 0.23 19 0
178ebp:1 haoyu 15.00 0.04 21 0
179jgs:0 Aristotle 15.00 0.12 22 0
180spl:1 haoyu 15.00 0.06 22 0
181Glenn Fisher:0 Elphaba 15.00 0.02 23 0
182Dusty:1 Shaheed Chagani 15.00 0.22 23 0
183spl:0 Elphaba 15.00 0.09 24 0
184Yacob Y.:1 Aristotle 15.00 15.00 24 1
185jgs:1 haoyu 15.00 0.18 25 0
186Andrew Grasso:0 Aaron Doll 15.00 0.18 26 0
187Andrew Grasso:1 Shaheed Chagani 15.00 0.15 27 0
188Mr. Blobby:1 dusty 15.00 0.12 27 0
189Mr. Blobby:0 Green "The Bean" Choi 15.00 0.14 28 0
190Ben Chen:0 Elphaba 15.00 0.07 29 0
191Yan Wu:0 haoyu 15.00 0.05 31 0
192Dusty:0 CookieMonster 15.00 1.39 31 0
193Glenn Fisher:1 jabreezy 15.00 0.09 31 0
194Ben Chen:1 spl 15.00 0.20 32 0
195Matt Haake:0 haoyu 15.00 0.05 33 0
196Walter Little:1 haoyu 15.00 0.03 34 0
197Walter Little:0 haoyu 15.00 0.04 35 0
198NA:1 Elphaba 15.00 0.04 40 0
199Matt Haake:1 haoyu 15.00 0.05 41 0
200Supahaka:1 Joel Faron 15.00 15.00 42 35
201Supahaka:0 Andrew Werner 15.00 15.00 44 35
202NA:0 haoyu 15.00 0.03 53 0
203Mark S. Fillmore:1 Supahaka 15.00 0.04 79 79
204snowflakes:1 haoyu 15.00 0.03 80 0
205snowflakes:0 haoyu 15.00 0.03 90 0
206Mark S. Fillmore:0 Supahaka 15.00 0.01 116 116
207BH:1 haoyu 15.00 0.05 149 0
208BH:0 haoyu 15.00 0.07 199 0
209Aaron H:1 Aristotle 15.00 0.11 4 0
210Shaheed Chagani:1 Aristotle 15.00 0.11 4 0
211Deric Cheng:0 jgs 15.00 14.99 4 1
212Yan Wu:1 haoyu 15.00 0.04 29 0
213Aaron H:0 Aristotle 15.00 0.11 3 0
214Deric Cheng:1 jgs 15.00 14.98 6 1
215Mike Hunt:0 Aristotle 15.00 0.27 8 0
21613a:1 Aaron Doll 15.00 15.00 96 29
217Elphaba:0 Aristotle 15.01 0.24 13 0
21813a:0 Aaron Doll 15.01 15.00 107 21
219Brendan Wright:0 haoyu 15.01 0.10 1 0
220Matt Goldsmith:0 Nihar the Great - 0.03 - 0
221Aristotle:1 Aristotle - 9.69 - 0
222Aaron Doll:0 Aristotle - 0.56 - 0
223Aaron Doll:1 Aristotle - 1.27 - 0
224Nihar the Great:0 Aristotle - 0.23 - 0
225Bar Shabtai:0 Aaron Doll - 15.01 - 1
226Aristotle:0 Aristotle - 15.00 - 1
227Nihar the Great:1 Aristotle - 0.25 - 0
228Matt Goldsmith:1 Happy - 0.03 - 0


SatSolvers Ranklist Generators Ranklist