SatSolvers Ranklist | Generators Ranklist |
Satsolver: | CAPS LOCK |
Rank: | 50 / 118 |
Average Score: | 7.49 |
Median Score: | 6.25 |
Description: | Version 2.0, an optimized implementation of WalkSAT. There are a couple of small changes: randomly generating multiple initial models, only updating the model after the min conflicts step if the new model is better, etc. The big change is to when the algorithm chooses to random walk vs. searching for min conflicts: if the number of symbols * the average number of symbols per clause is less than or equal to the number of clauses, the algorithm only random walks and never searches for min conflicts. |
Generator | Best solver | Time taken | Best time | Unsat | Best unsat | |
---|---|---|---|---|---|---|
1 | bigwig:0 | Andrew Werner | 0.00 | 0.00 | 0 | 0 |
2 | bigwig:1 | KingBach | 0.00 | 0.00 | 0 | 0 |
3 | Ravi Tandon:0 | KingBach | 0.00 | 0.00 | 0 | 0 |
4 | K.L.:1 | KingBach | 0.00 | 0.00 | 0 | 0 |
5 | Happy:1 | KingBach | 0.00 | 0.00 | 0 | 0 |
6 | Ravi Tandon:1 | KingBach | 0.00 | 0.00 | 0 | 0 |
7 | Bebe Shi:1 | KingBach | 0.00 | 0.00 | 0 | 0 |
8 | Miranda:1 | cat | 0.00 | 0.00 | 0 | 0 |
9 | Bebe Shi:0 | KingBach | 0.00 | 0.00 | 0 | 0 |
10 | Solving For Clauses:0 | Glenn Fisher | 0.01 | 0.00 | 0 | 0 |
11 | Miranda:0 | cat | 0.01 | 0.00 | 0 | 0 |
12 | Solving For Clauses:1 | haoyu | 0.01 | 0.00 | 0 | 0 |
13 | Joshua Zimmer:0 | haoyu | 0.01 | 0.00 | 0 | 0 |
14 | R. A. B.:1 | cat | 0.01 | 0.00 | 0 | 0 |
15 | Blam:1 | Elphaba | 0.01 | 0.00 | 0 | 0 |
16 | Gewang:1 | Jonathan Kwok | 0.01 | 0.00 | 0 | 0 |
17 | K.L.:0 | haoyu | 0.01 | 0.00 | 0 | 0 |
18 | bchouGenerator:0 | haoyu | 0.01 | 0.00 | 0 | 0 |
19 | David Paulk:1 | Bar Shabtai | 0.01 | 0.00 | 0 | 0 |
20 | BMJ:1 | burrito | 0.01 | 0.00 | 0 | 0 |
21 | David Paulk:0 | cat | 0.01 | 0.00 | 0 | 0 |
22 | Joshua Zimmer:1 | haoyu | 0.01 | 0.00 | 0 | 0 |
23 | Daffy Duck:1 | haoyu | 0.01 | 0.00 | 0 | 0 |
24 | The Kraken:1 | haoyu | 0.01 | 0.00 | 0 | 0 |
25 | Daffy Duck:0 | Andrew Werner | 0.02 | 0.00 | 0 | 0 |
26 | Mickey Mouse:1 | haoyu | 0.02 | 0.01 | 0 | 0 |
27 | Jonathan Kwok:0 | Elphaba | 0.02 | 0.00 | 0 | 0 |
28 | Jonathan Kwok:1 | KingBach | 0.02 | 0.00 | 0 | 0 |
29 | Gewang:0 | Jonathan Kwok | 0.02 | 0.00 | 0 | 0 |
30 | Tree Prophet:0 | haoyu | 0.02 | 0.00 | 0 | 0 |
31 | Quite Satisfied:0 | haoyu | 0.02 | 0.00 | 0 | 0 |
32 | BMJ:0 | Elphaba | 0.02 | 0.00 | 0 | 0 |
33 | haoyu:0 | KingBach | 0.02 | 0.01 | 0 | 0 |
34 | Blam:0 | Elphaba | 0.02 | 0.00 | 0 | 0 |
35 | R. A. B.:0 | Nihar the Great | 0.02 | 0.00 | 0 | 0 |
36 | haoyu:1 | Anon5 | 0.02 | 0.01 | 0 | 0 |
37 | bchouGenerator:1 | Jonathan Kwok | 0.02 | 0.01 | 0 | 0 |
38 | cmF5a3ly:0 | Nihar the Great | 0.03 | 0.00 | 0 | 0 |
39 | cmF5a3ly:1 | Nihar the Great | 0.03 | 0.00 | 0 | 0 |
40 | Tree Prophet:1 | haoyu | 0.03 | 0.00 | 0 | 0 |
41 | The Kraken:0 | haoyu | 0.03 | 0.00 | 0 | 0 |
42 | Qinlan Shen:0 | Bar Shabtai | 0.03 | 0.01 | 0 | 0 |
43 | Mickey Mouse:0 | Bar Shabtai | 0.03 | 0.01 | 0 | 0 |
44 | Jameh:0 | haoyu | 0.04 | 0.01 | 0 | 0 |
45 | Tom T:1 | Andrew Werner | 0.04 | 0.02 | 0 | 0 |
46 | vluu:1 | Nihar the Great | 0.04 | 0.02 | 0 | 0 |
47 | weezy:1 | Bar Shabtai | 0.04 | 0.01 | 0 | 0 |
48 | weezy:0 | Bar Shabtai | 0.04 | 0.01 | 0 | 0 |
49 | Mike Honcho:0 | Miranda | 0.04 | 0.01 | 0 | 0 |
50 | Scheduling Generator 203:0 | jgs | 0.04 | 0.01 | 0 | 0 |
51 | Mike Honcho:1 | Jessie Chen | 0.04 | 0.01 | 0 | 0 |
52 | Dr Roberto:1 | Andrew Grasso | 0.05 | 0.02 | 0 | 0 |
53 | vluu:0 | Nihar the Great | 0.05 | 0.01 | 0 | 0 |
54 | Tom T:0 | EC | 0.05 | 0.02 | 0 | 0 |
55 | Happy:0 | haoyu | 0.05 | 0.00 | 0 | 0 |
56 | Ytterbium:0 | Andrew Grasso | 0.05 | 0.02 | 0 | 0 |
57 | totallyOnFallBreak:0 | Nikhilesh Sigatapu | 0.05 | 0.01 | 0 | 0 |
58 | Jameh:1 | haoyu | 0.07 | 0.01 | 0 | 0 |
59 | Jordan Ash:1 | Bar Shabtai | 0.07 | 0.01 | 0 | 0 |
60 | Sunny:1 | jabreezy | 0.07 | 0.01 | 0 | 0 |
61 | The Whitman Whale:1 | Andrew Grasso | 0.08 | 0.03 | 0 | 0 |
62 | Tiny Wings:1 | haoyu | 0.08 | 0.01 | 0 | 0 |
63 | cat:0 | haoyu | 0.08 | 0.03 | 0 | 0 |
64 | Dr Roberto:0 | Andrew Grasso | 0.08 | 0.03 | 0 | 0 |
65 | Ytterbium:1 | Nihar the Great | 0.09 | 0.02 | 0 | 0 |
66 | DeeEmEm:1 | haoyu | 0.09 | 0.02 | 0 | 0 |
67 | Linda:0 | Andrew Grasso | 0.09 | 0.01 | 0 | 0 |
68 | George Okeowo:1 | Andrew Grasso | 0.10 | 0.01 | 0 | 0 |
69 | cat:1 | haoyu | 0.10 | 0.03 | 0 | 0 |
70 | Sunny:0 | Green "The Bean" Choi | 0.10 | 0.02 | 0 | 0 |
71 | Scheduling Generator 203:1 | Jameh | 0.11 | 0.02 | 0 | 0 |
72 | Tiny Wings:0 | haoyu | 0.12 | 0.02 | 0 | 0 |
73 | Linda:1 | Andrew Grasso | 0.13 | 0.02 | 0 | 0 |
74 | Boomshanka:1 | Bar Shabtai | 0.13 | 0.01 | 0 | 0 |
75 | Janie Gu:1 | Jonathan Kwok | 0.13 | 0.07 | 0 | 0 |
76 | Boomshanka:0 | haoyu | 0.13 | 0.01 | 0 | 0 |
77 | totallyOnFallBreak:1 | Nikhilesh Sigatapu | 0.14 | 0.01 | 0 | 0 |
78 | Keji Xu:0 | Nihar the Great | 0.14 | 0.03 | 0 | 0 |
79 | George Okeowo:0 | Andrew Grasso | 0.15 | 0.01 | 0 | 0 |
80 | The Whitman Whale:0 | bigwig | 0.15 | 0.04 | 0 | 0 |
81 | kt4124:0 | haoyu | 0.15 | 0.03 | 0 | 0 |
82 | Lisa Kim:1 | Bar Shabtai | 0.16 | 0.06 | 0 | 0 |
83 | Keji Xu:1 | Nihar the Great | 0.17 | 0.04 | 0 | 0 |
84 | Bob Dondero:0 | Andrew Grasso | 0.17 | 0.02 | 0 | 0 |
85 | Alex Fish:0 | haoyu | 0.19 | 0.01 | 0 | 0 |
86 | Janie Gu:0 | Glenn Fisher | 0.23 | 0.07 | 0 | 0 |
87 | Bob Dondero:1 | Mickey Mouse | 0.27 | 0.03 | 0 | 0 |
88 | Sally Smith:0 | haoyu | 0.27 | 0.04 | 0 | 0 |
89 | kt4124:1 | haoyu | 0.32 | 0.04 | 0 | 0 |
90 | Alex Fish:1 | haoyu | 0.35 | 0.02 | 0 | 0 |
91 | Lisa Kim:0 | Aristotle | 0.38 | 0.07 | 0 | 0 |
92 | Sprt:1 | haoyu | 0.48 | 0.05 | 0 | 0 |
93 | Khoa:1 | Aristotle | 0.56 | 0.09 | 0 | 0 |
94 | soccer:1 | haoyu | 0.68 | 0.04 | 0 | 0 |
95 | Sally Smith:1 | haoyu | 0.78 | 0.04 | 0 | 0 |
96 | DinnerPartyPlannerBM:1 | Nihar the Great | 0.88 | 0.06 | 0 | 0 |
97 | 0108:1 | haoyu | 0.89 | 0.01 | 0 | 0 |
98 | soccer:0 | haoyu | 0.93 | 0.04 | 0 | 0 |
99 | dfshasdsf12:0 | haoyu | 1.17 | 0.09 | 0 | 0 |
100 | Batman:1 | haoyu | 1.28 | 0.04 | 0 | 0 |
101 | KingBach:1 | haoyu | 1.28 | 0.04 | 0 | 0 |
102 | Batman:0 | haoyu | 1.29 | 0.04 | 0 | 0 |
103 | Lil Thug:0 | Andrew Grasso | 1.31 | 0.03 | 0 | 0 |
104 | Lil Thug:1 | Andrew Grasso | 1.32 | 0.03 | 0 | 0 |
105 | burrito:0 | haoyu | 1.59 | 0.09 | 0 | 0 |
106 | Jordan Ash:0 | EC | 1.64 | 0.03 | 0 | 0 |
107 | Sprt:0 | Aristotle | 1.71 | 0.11 | 0 | 0 |
108 | Khoa:0 | haoyu | 1.72 | 0.09 | 0 | 0 |
109 | dfshasdsf12:1 | Nihar the Great | 2.41 | 0.11 | 0 | 0 |
110 | DinnerPartyPlannerBM:0 | Aristotle | 2.44 | 0.11 | 0 | 0 |
111 | David Lackey:0 | Anon5 | 3.52 | 0.03 | 0 | 0 |
112 | Andrew Werner:1 | haoyu | 4.68 | 0.11 | 0 | 0 |
113 | Bar Shabtai:1 | haoyu | 6.16 | 0.12 | 0 | 0 |
114 | Brendan Wright:0 | haoyu | 6.25 | 0.10 | 0 | 0 |
115 | Brendan Wright:1 | Deric Cheng | 6.75 | 0.10 | 0 | 0 |
116 | Tao:0 | Bar Shabtai | 7.92 | 0.02 | 0 | 0 |
117 | KingBach:0 | haoyu | 7.94 | 0.06 | 0 | 0 |
118 | jabreezy:1 | Mercury | 9.05 | 0.10 | 0 | 0 |
119 | jabreezy:0 | Mercury | 9.67 | 0.09 | 0 | 0 |
120 | Samuel Jerome:0 | haoyu | 10.41 | 0.03 | 0 | 0 |
121 | Jessie Chen:0 | Joel Faron | 13.00 | 0.13 | 1 | 1 |
122 | Qinlan Shen:1 | R. A. B. | 13.00 | 9.00 | 1 | 1 |
123 | Quite Satisfied:1 | Joel Faron | 13.00 | 2.11 | 1 | 1 |
124 | Jessie Chen:1 | Joel Faron | 13.00 | 0.12 | 1 | 1 |
125 | DeeEmEm:0 | CAPS LOCK | 13.00 | 13.00 | 1 | 1 |
126 | T. Capote:0 | haoyu | 13.00 | 0.00 | 2 | 2 |
127 | T. Capote:1 | haoyu | 13.00 | 0.00 | 2 | 2 |
128 | nupog:0 | Aristotle | 14.26 | 0.13 | 0 | 0 |
129 | AARON BURR, DROPPIN' HAMILTONS:0 | haoyu | 13.00 | 0.00 | 1 | 0 |
130 | Tao:1 | Aristotle | 13.00 | 0.07 | 1 | 0 |
131 | AARON BURR, DROPPIN' HAMILTONS:1 | haoyu | 13.00 | 0.01 | 1 | 0 |
132 | Andrew Werner:0 | Aaron Doll | 13.01 | 0.33 | 2 | 0 |
133 | John Whelchel:0 | haoyu | 13.00 | 0.06 | 2 | 0 |
134 | Nikhilesh Sigatapu:1 | haoyu | 13.00 | 0.04 | 2 | 0 |
135 | bfang:1 | haoyu | 13.00 | 0.04 | 2 | 0 |
136 | CAPS LOCK:1 | Aristotle | 13.13 | 0.25 | 2 | 0 |
137 | 0108:0 | jgs | 13.00 | 14.98 | 2 | 1 |
138 | Nikhilesh Sigatapu:0 | haoyu | 13.00 | 0.03 | 2 | 0 |
139 | bfang:0 | haoyu | 13.00 | 0.04 | 2 | 0 |
140 | CAPS LOCK:0 | Aristotle | 13.01 | 0.20 | 2 | 0 |
141 | Anon_K_P:0 | haoyu | 13.00 | 0.02 | 3 | 0 |
142 | Mercury:0 | haoyu | 13.00 | 0.05 | 3 | 0 |
143 | David Lackey:1 | Bar Shabtai | 13.00 | 0.03 | 3 | 0 |
144 | Deric Cheng:1 | jgs | 13.00 | 14.98 | 3 | 1 |
145 | Anon_K_P:1 | Aristotle | 13.00 | 0.03 | 3 | 0 |
146 | Charliezsc:1 | haoyu | 13.00 | 0.07 | 4 | 0 |
147 | EC:1 | haoyu | 13.00 | 0.03 | 4 | 0 |
148 | Samuel Jerome:1 | haoyu | 13.00 | 0.03 | 4 | 0 |
149 | Valya Barboy:1 | Shaheed Chagani | 13.00 | 0.18 | 4 | 0 |
150 | Charliezsc:0 | jgs | 13.00 | 14.98 | 4 | 1 |
151 | burrito:1 | haoyu | 13.00 | 0.10 | 4 | 0 |
152 | Mercury:1 | haoyu | 13.00 | 0.05 | 4 | 0 |
153 | EC:0 | haoyu | 13.00 | 0.03 | 4 | 0 |
154 | Sabar Dasgupta:1 | Aaron Doll | 13.00 | 0.17 | 4 | 0 |
155 | SuperFan:1 | jgs | 13.00 | 14.98 | 5 | 4 |
156 | Anon5:1 | Green "The Bean" Choi | 13.00 | 0.07 | 6 | 0 |
157 | Aaron H:0 | Aristotle | 13.00 | 0.11 | 6 | 0 |
158 | Shaheed Chagani:0 | Aristotle | 13.00 | 0.17 | 6 | 0 |
159 | Aaron H:1 | Aristotle | 13.00 | 0.11 | 6 | 0 |
160 | John Whelchel:1 | haoyu | 13.00 | 0.11 | 6 | 0 |
161 | Shaheed Chagani:1 | Aristotle | 13.00 | 0.11 | 6 | 0 |
162 | David H.:0 | AFC | 13.00 | 0.28 | 6 | 0 |
163 | Deric Cheng:0 | jgs | 13.00 | 14.99 | 6 | 1 |
164 | Valya Barboy:0 | Aristotle | 13.00 | 0.06 | 6 | 0 |
165 | David H.:1 | DeeEmEm | 13.00 | 0.33 | 7 | 0 |
166 | Sabar Dasgupta:0 | spl | 13.00 | 0.23 | 7 | 0 |
167 | SuperFan:0 | jgs | 13.00 | 14.98 | 7 | 4 |
168 | Anon5:0 | haoyu | 13.00 | 0.05 | 10 | 0 |
169 | CookieMonster:0 | CookieMonster | 13.00 | 0.82 | 10 | 0 |
170 | CookieMonster:1 | CookieMonster | 13.00 | 1.10 | 10 | 0 |
171 | Yacob Y.:0 | haoyu | 13.00 | 0.06 | 12 | 0 |
172 | AFC:1 | Aristotle | 13.00 | 0.16 | 12 | 0 |
173 | AFC:0 | CookieMonster | 13.00 | 0.34 | 12 | 0 |
174 | Fanny:0 | Aristotle | 13.00 | 0.10 | 13 | 0 |
175 | Fanny:1 | Aristotle | 13.00 | 0.12 | 13 | 0 |
176 | Mike Hunt:1 | Aristotle | 13.00 | 0.29 | 15 | 0 |
177 | Mike Hunt:0 | Aristotle | 13.00 | 0.27 | 17 | 0 |
178 | Andys:0 | Aristotle | 13.00 | 0.12 | 19 | 0 |
179 | Elphaba:1 | Aristotle | 13.00 | 0.22 | 20 | 0 |
180 | Andys:1 | Aristotle | 13.00 | 0.13 | 20 | 0 |
181 | Elphaba:0 | Aristotle | 13.01 | 0.24 | 20 | 0 |
182 | ebp:1 | haoyu | 13.00 | 0.04 | 21 | 0 |
183 | Glenn Fisher:0 | Elphaba | 13.00 | 0.02 | 22 | 0 |
184 | jgs:1 | haoyu | 13.00 | 0.18 | 22 | 0 |
185 | ebp:0 | haoyu | 13.00 | 0.04 | 22 | 0 |
186 | Yacob Y.:1 | Aristotle | 13.00 | 15.00 | 23 | 1 |
187 | Absurdity:1 | Aristotle | 13.00 | 0.18 | 24 | 0 |
188 | Absurdity:0 | Aristotle | 13.00 | 0.23 | 25 | 0 |
189 | spl:0 | Elphaba | 13.00 | 0.09 | 26 | 0 |
190 | jgs:0 | Aristotle | 13.00 | 0.12 | 26 | 0 |
191 | Mr. Blobby:1 | dusty | 13.00 | 0.12 | 26 | 0 |
192 | Andrew Grasso:0 | Aaron Doll | 13.00 | 0.18 | 26 | 0 |
193 | Andrew Grasso:1 | Shaheed Chagani | 13.00 | 0.15 | 27 | 0 |
194 | spl:1 | haoyu | 13.00 | 0.06 | 27 | 0 |
195 | Yan Wu:1 | haoyu | 13.00 | 0.04 | 27 | 0 |
196 | Glenn Fisher:1 | jabreezy | 13.00 | 0.09 | 27 | 0 |
197 | Dusty:0 | CookieMonster | 13.00 | 1.39 | 28 | 0 |
198 | Mr. Blobby:0 | Green "The Bean" Choi | 13.00 | 0.14 | 31 | 0 |
199 | Yan Wu:0 | haoyu | 13.00 | 0.05 | 32 | 0 |
200 | Dusty:1 | Shaheed Chagani | 13.00 | 0.22 | 32 | 0 |
201 | Walter Little:1 | haoyu | 13.00 | 0.03 | 32 | 0 |
202 | Ben Chen:1 | spl | 13.00 | 0.20 | 33 | 0 |
203 | Ben Chen:0 | Elphaba | 13.00 | 0.07 | 34 | 0 |
204 | Walter Little:0 | haoyu | 13.00 | 0.04 | 37 | 0 |
205 | Matt Haake:1 | haoyu | 13.00 | 0.05 | 56 | 0 |
206 | NA:1 | Elphaba | 13.00 | 0.04 | 59 | 0 |
207 | Matt Haake:0 | haoyu | 13.00 | 0.05 | 61 | 0 |
208 | NA:0 | haoyu | 13.00 | 0.03 | 66 | 0 |
209 | snowflakes:0 | haoyu | 13.00 | 0.03 | 90 | 0 |
210 | snowflakes:1 | haoyu | 13.00 | 0.03 | 94 | 0 |
211 | BH:0 | haoyu | 13.00 | 0.07 | 387 | 0 |
212 | BH:1 | haoyu | 13.00 | 0.05 | 469 | 0 |
213 | 13a:0 | Aaron Doll | 13.00 | 15.00 | 2205 | 21 |
214 | 13a:1 | Aaron Doll | 13.00 | 15.00 | 8261 | 29 |
215 | Nihar the Great:0 | Aristotle | 13.00 | 0.23 | 15136 | 0 |
216 | Nihar the Great:1 | Aristotle | 13.00 | 0.25 | 15534 | 0 |
217 | Aaron Doll:0 | Aristotle | 13.02 | 0.56 | 165638 | 0 |
218 | Aaron Doll:1 | Aristotle | 13.02 | 1.27 | 216849 | 0 |
219 | Bar Shabtai:0 | Aaron Doll | 13.02 | 15.01 | 250086 | 1 |
220 | Matt Goldsmith:1 | Happy | 13.03 | 0.03 | 494776 | 0 |
221 | Matt Goldsmith:0 | Nihar the Great | 13.04 | 0.03 | 499217 | 0 |
222 | Aristotle:0 | Aristotle | 13.04 | 15.00 | 687855 | 1 |
223 | Aristotle:1 | Aristotle | 13.05 | 9.69 | 703493 | 0 |
224 | Supahaka:0 | Andrew Werner | 15.00 | 15.00 | 35 | 35 |
225 | Supahaka:1 | Joel Faron | 15.00 | 15.00 | 35 | 35 |
226 | Mark S. Fillmore:1 | Supahaka | 15.00 | 0.04 | 79 | 79 |
227 | Mark S. Fillmore:0 | Supahaka | 15.00 | 0.01 | 116 | 116 |
228 | nupog:1 | Aristotle | 15.00 | 0.12 | 1 | 0 |
SatSolvers Ranklist | Generators Ranklist |