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