SatSolvers Ranklist | Generators Ranklist |
Satsolver: | Bar Shabtai |
Rank: | 112 / 118 |
Average Score: | 43.67 |
Median Score: | 1.28 |
Description: | The SAT solver is an improvement on the classic WalkSat algorithm. It does so by picking the unsatisfied clause with the least amount of literals. The rest of the algorithm follows the classic one |
Generator | Best solver | Time taken | Best time | Unsat | Best unsat | |
---|---|---|---|---|---|---|
1 | David Paulk:1 | Bar Shabtai | 0.00 | 0.00 | 0 | 0 |
2 | bigwig:0 | Andrew Werner | 0.00 | 0.00 | 0 | 0 |
3 | David Paulk:0 | cat | 0.00 | 0.00 | 0 | 0 |
4 | bigwig:1 | KingBach | 0.00 | 0.00 | 0 | 0 |
5 | R. A. B.:1 | cat | 0.00 | 0.00 | 0 | 0 |
6 | Ravi Tandon:0 | 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 | R. A. B.:0 | Nihar the Great | 0.00 | 0.00 | 0 | 0 |
10 | Ravi Tandon:1 | KingBach | 0.00 | 0.00 | 0 | 0 |
11 | Miranda:0 | cat | 0.00 | 0.00 | 0 | 0 |
12 | BMJ:1 | burrito | 0.00 | 0.00 | 0 | 0 |
13 | Joshua Zimmer:0 | haoyu | 0.01 | 0.00 | 0 | 0 |
14 | bchouGenerator:0 | haoyu | 0.01 | 0.00 | 0 | 0 |
15 | The Kraken:1 | haoyu | 0.01 | 0.00 | 0 | 0 |
16 | Solving For Clauses:1 | haoyu | 0.01 | 0.00 | 0 | 0 |
17 | haoyu:1 | Anon5 | 0.01 | 0.01 | 0 | 0 |
18 | Solving For Clauses:0 | Glenn Fisher | 0.01 | 0.00 | 0 | 0 |
19 | Tree Prophet:0 | haoyu | 0.01 | 0.00 | 0 | 0 |
20 | Jordan Ash:1 | Bar Shabtai | 0.01 | 0.01 | 0 | 0 |
21 | Qinlan Shen:0 | Bar Shabtai | 0.01 | 0.01 | 0 | 0 |
22 | Joshua Zimmer:1 | haoyu | 0.01 | 0.00 | 0 | 0 |
23 | Bebe Shi:0 | KingBach | 0.01 | 0.00 | 0 | 0 |
24 | weezy:1 | Bar Shabtai | 0.01 | 0.01 | 0 | 0 |
25 | weezy:0 | Bar Shabtai | 0.01 | 0.01 | 0 | 0 |
26 | totallyOnFallBreak:0 | Nikhilesh Sigatapu | 0.01 | 0.01 | 0 | 0 |
27 | Mickey Mouse:0 | Bar Shabtai | 0.01 | 0.01 | 0 | 0 |
28 | Mickey Mouse:1 | haoyu | 0.01 | 0.01 | 0 | 0 |
29 | The Kraken:0 | haoyu | 0.01 | 0.00 | 0 | 0 |
30 | Scheduling Generator 203:0 | jgs | 0.01 | 0.01 | 0 | 0 |
31 | totallyOnFallBreak:1 | Nikhilesh Sigatapu | 0.01 | 0.01 | 0 | 0 |
32 | Boomshanka:1 | Bar Shabtai | 0.01 | 0.01 | 0 | 0 |
33 | bchouGenerator:1 | Jonathan Kwok | 0.02 | 0.01 | 0 | 0 |
34 | cmF5a3ly:0 | Nihar the Great | 0.02 | 0.00 | 0 | 0 |
35 | cmF5a3ly:1 | Nihar the Great | 0.02 | 0.00 | 0 | 0 |
36 | Tom T:0 | EC | 0.02 | 0.02 | 0 | 0 |
37 | Tao:0 | Bar Shabtai | 0.02 | 0.02 | 0 | 0 |
38 | Ytterbium:0 | Andrew Grasso | 0.02 | 0.02 | 0 | 0 |
39 | vluu:1 | Nihar the Great | 0.03 | 0.02 | 0 | 0 |
40 | vluu:0 | Nihar the Great | 0.03 | 0.01 | 0 | 0 |
41 | Scheduling Generator 203:1 | Jameh | 0.03 | 0.02 | 0 | 0 |
42 | Tom T:1 | Andrew Werner | 0.03 | 0.02 | 0 | 0 |
43 | David Lackey:1 | Bar Shabtai | 0.03 | 0.03 | 0 | 0 |
44 | Keji Xu:0 | Nihar the Great | 0.03 | 0.03 | 0 | 0 |
45 | Samuel Jerome:1 | haoyu | 0.04 | 0.03 | 0 | 0 |
46 | Ytterbium:1 | Nihar the Great | 0.04 | 0.02 | 0 | 0 |
47 | Keji Xu:1 | Nihar the Great | 0.04 | 0.04 | 0 | 0 |
48 | Dr Roberto:1 | Andrew Grasso | 0.04 | 0.02 | 0 | 0 |
49 | Matt Goldsmith:0 | Nihar the Great | 0.04 | 0.03 | 0 | 0 |
50 | Matt Goldsmith:1 | Happy | 0.05 | 0.03 | 0 | 0 |
51 | cat:1 | haoyu | 0.05 | 0.03 | 0 | 0 |
52 | cat:0 | haoyu | 0.05 | 0.03 | 0 | 0 |
53 | Alex Fish:1 | haoyu | 0.05 | 0.02 | 0 | 0 |
54 | Boomshanka:0 | haoyu | 0.06 | 0.01 | 0 | 0 |
55 | Samuel Jerome:0 | haoyu | 0.06 | 0.03 | 0 | 0 |
56 | Lisa Kim:1 | Bar Shabtai | 0.06 | 0.06 | 0 | 0 |
57 | Bob Dondero:1 | Mickey Mouse | 0.07 | 0.03 | 0 | 0 |
58 | The Whitman Whale:1 | Andrew Grasso | 0.07 | 0.03 | 0 | 0 |
59 | Dr Roberto:0 | Andrew Grasso | 0.08 | 0.03 | 0 | 0 |
60 | Bob Dondero:0 | Andrew Grasso | 0.12 | 0.02 | 0 | 0 |
61 | Sally Smith:0 | haoyu | 0.12 | 0.04 | 0 | 0 |
62 | Janie Gu:0 | Glenn Fisher | 0.12 | 0.07 | 0 | 0 |
63 | Lisa Kim:0 | Aristotle | 0.14 | 0.07 | 0 | 0 |
64 | The Whitman Whale:0 | bigwig | 0.14 | 0.04 | 0 | 0 |
65 | soccer:0 | haoyu | 0.15 | 0.04 | 0 | 0 |
66 | Sally Smith:1 | haoyu | 0.16 | 0.04 | 0 | 0 |
67 | soccer:1 | haoyu | 0.17 | 0.04 | 0 | 0 |
68 | bfang:0 | haoyu | 0.18 | 0.04 | 0 | 0 |
69 | KingBach:1 | haoyu | 0.19 | 0.04 | 0 | 0 |
70 | Fanny:1 | Aristotle | 0.23 | 0.12 | 0 | 0 |
71 | Mercury:0 | haoyu | 0.26 | 0.05 | 0 | 0 |
72 | Alex Fish:0 | haoyu | 0.30 | 0.01 | 0 | 0 |
73 | bfang:1 | haoyu | 0.31 | 0.04 | 0 | 0 |
74 | Sprt:1 | haoyu | 0.34 | 0.05 | 0 | 0 |
75 | Linda:0 | Andrew Grasso | 0.37 | 0.01 | 0 | 0 |
76 | Linda:1 | Andrew Grasso | 0.70 | 0.02 | 0 | 0 |
77 | DinnerPartyPlannerBM:1 | Nihar the Great | 0.78 | 0.06 | 0 | 0 |
78 | Mike Hunt:1 | Aristotle | 0.81 | 0.29 | 0 | 0 |
79 | burrito:0 | haoyu | 0.83 | 0.09 | 0 | 0 |
80 | Mike Honcho:0 | Miranda | 0.88 | 0.01 | 0 | 0 |
81 | Janie Gu:1 | Jonathan Kwok | 0.95 | 0.07 | 0 | 0 |
82 | Aaron H:1 | Aristotle | 1.20 | 0.11 | 0 | 0 |
83 | Aaron H:0 | Aristotle | 1.21 | 0.11 | 0 | 0 |
84 | Andrew Werner:1 | haoyu | 1.24 | 0.11 | 0 | 0 |
85 | Sprt:0 | Aristotle | 1.32 | 0.11 | 0 | 0 |
86 | Mike Honcho:1 | Jessie Chen | 1.38 | 0.01 | 0 | 0 |
87 | Andrew Werner:0 | Aaron Doll | 1.51 | 0.33 | 0 | 0 |
88 | Sabar Dasgupta:1 | Aaron Doll | 1.55 | 0.17 | 0 | 0 |
89 | Lil Thug:1 | Andrew Grasso | 1.63 | 0.03 | 0 | 0 |
90 | Mike Hunt:0 | Aristotle | 2.02 | 0.27 | 0 | 0 |
91 | burrito:1 | haoyu | 2.20 | 0.10 | 0 | 0 |
92 | Lil Thug:0 | Andrew Grasso | 2.26 | 0.03 | 0 | 0 |
93 | DinnerPartyPlannerBM:0 | Aristotle | 2.29 | 0.11 | 0 | 0 |
94 | Sabar Dasgupta:0 | spl | 2.98 | 0.23 | 0 | 0 |
95 | Bar Shabtai:1 | haoyu | 3.42 | 0.12 | 0 | 0 |
96 | jgs:1 | haoyu | 4.32 | 0.18 | 0 | 0 |
97 | jgs:0 | Aristotle | 6.59 | 0.12 | 0 | 0 |
98 | Shaheed Chagani:1 | Aristotle | 7.26 | 0.11 | 0 | 0 |
99 | Shaheed Chagani:0 | Aristotle | 7.47 | 0.17 | 0 | 0 |
100 | EC:1 | haoyu | 9.79 | 0.03 | 0 | 0 |
101 | CAPS LOCK:0 | Aristotle | 10.11 | 0.20 | 0 | 0 |
102 | CAPS LOCK:1 | Aristotle | 14.16 | 0.25 | 0 | 0 |
103 | Elphaba:0 | Aristotle | 14.72 | 0.24 | 0 | 0 |
104 | Qinlan Shen:1 | R. A. B. | 15.00 | 9.00 | 1 | 1 |
105 | T. Capote:0 | haoyu | 15.00 | 0.00 | 2 | 2 |
106 | T. Capote:1 | haoyu | 15.00 | 0.00 | 2 | 2 |
107 | Tao:1 | Aristotle | 15.00 | 0.07 | 1 | 0 |
108 | Daffy Duck:0 | Andrew Werner | 15.00 | 0.00 | 1 | 0 |
109 | Anon_K_P:1 | Aristotle | 15.00 | 0.03 | 1 | 0 |
110 | haoyu:0 | KingBach | 15.00 | 0.01 | 1 | 0 |
111 | Yacob Y.:0 | haoyu | 15.00 | 0.06 | 1 | 0 |
112 | Happy:1 | KingBach | 15.00 | 0.00 | 1 | 0 |
113 | Tiny Wings:0 | haoyu | 15.00 | 0.02 | 1 | 0 |
114 | Nikhilesh Sigatapu:1 | haoyu | 15.00 | 0.04 | 1 | 0 |
115 | Daffy Duck:1 | haoyu | 15.00 | 0.00 | 1 | 0 |
116 | Jordan Ash:0 | EC | 15.00 | 0.03 | 1 | 0 |
117 | Nikhilesh Sigatapu:0 | haoyu | 15.00 | 0.03 | 2 | 0 |
118 | Jonathan Kwok:1 | KingBach | 15.00 | 0.00 | 2 | 0 |
119 | Happy:0 | haoyu | 15.00 | 0.00 | 2 | 0 |
120 | EC:0 | haoyu | 15.00 | 0.03 | 2 | 0 |
121 | Anon5:1 | Green "The Bean" Choi | 15.00 | 0.07 | 3 | 0 |
122 | 0108:1 | haoyu | 15.00 | 0.01 | 3 | 0 |
123 | David H.:1 | DeeEmEm | 15.00 | 0.33 | 5 | 0 |
124 | David H.:0 | AFC | 15.00 | 0.28 | 5 | 0 |
125 | 0108:0 | jgs | 15.00 | 14.98 | 5 | 1 |
126 | Anon_K_P:0 | haoyu | 15.00 | 0.02 | 8 | 0 |
127 | AFC:1 | Aristotle | 15.00 | 0.16 | 9 | 0 |
128 | DeeEmEm:1 | haoyu | 15.00 | 0.02 | 10 | 0 |
129 | Charliezsc:0 | jgs | 15.00 | 14.98 | 10 | 1 |
130 | DeeEmEm:0 | CAPS LOCK | 15.00 | 13.00 | 12 | 1 |
131 | Anon5:0 | haoyu | 15.00 | 0.05 | 13 | 0 |
132 | Yacob Y.:1 | Aristotle | 15.00 | 15.00 | 13 | 1 |
133 | Andrew Grasso:0 | Aaron Doll | 15.00 | 0.18 | 25 | 0 |
134 | KingBach:0 | haoyu | 15.00 | 0.06 | 30 | 0 |
135 | ebp:0 | haoyu | 15.00 | 0.04 | 31 | 0 |
136 | Yan Wu:1 | haoyu | 15.00 | 0.04 | 39 | 0 |
137 | Yan Wu:0 | haoyu | 15.00 | 0.05 | 45 | 0 |
138 | Tree Prophet:1 | haoyu | 15.00 | 0.00 | 47 | 0 |
139 | David Lackey:0 | Anon5 | 15.00 | 0.03 | 53 | 0 |
140 | Khoa:0 | haoyu | 15.00 | 0.09 | 62 | 0 |
141 | Matt Haake:0 | haoyu | 15.00 | 0.05 | 108 | 0 |
142 | Matt Haake:1 | haoyu | 15.00 | 0.05 | 147 | 0 |
143 | BH:1 | haoyu | 15.00 | 0.05 | 200 | 0 |
144 | nupog:0 | Aristotle | 15.00 | 0.13 | 506 | 0 |
145 | nupog:1 | Aristotle | 15.00 | 0.12 | 643 | 0 |
146 | Tiny Wings:1 | haoyu | 15.00 | 0.01 | 1 | 0 |
147 | AFC:0 | CookieMonster | 15.00 | 0.34 | 5 | 0 |
148 | Khoa:1 | Aristotle | 15.00 | 0.09 | 49 | 0 |
149 | Fanny:0 | Aristotle | 15.00 | 0.10 | 1 | 0 |
150 | ebp:1 | haoyu | 15.00 | 0.04 | 31 | 0 |
151 | BH:0 | haoyu | 15.00 | 0.07 | 200 | 0 |
152 | Mercury:1 | haoyu | 15.00 | 0.05 | 1 | 0 |
153 | Andys:0 | Aristotle | 15.00 | 0.12 | 21 | 0 |
154 | Batman:1 | haoyu | 15.00 | 0.04 | 10 | 0 |
155 | Batman:0 | haoyu | 15.00 | 0.04 | 12 | 0 |
156 | 13a:0 | Aaron Doll | 15.01 | 15.00 | 52 | 21 |
157 | Charliezsc:1 | haoyu | 15.01 | 0.07 | 13 | 0 |
158 | Nihar the Great:1 | Aristotle | 15.01 | 0.25 | 668 | 0 |
159 | Andys:1 | Aristotle | 15.02 | 0.13 | 22 | 0 |
160 | Deric Cheng:0 | jgs | 15.03 | 14.99 | 1 | 1 |
161 | Nihar the Great:0 | Aristotle | 15.07 | 0.23 | 649 | 0 |
162 | Elphaba:1 | Aristotle | 15.08 | 0.22 | 19 | 0 |
163 | Deric Cheng:1 | jgs | 15.09 | 14.98 | 1 | 1 |
164 | 13a:1 | Aaron Doll | 15.26 | 15.00 | 50 | 29 |
165 | Aaron Doll:1 | Aristotle | 15.49 | 1.27 | 116 | 0 |
166 | Aaron Doll:0 | Aristotle | 15.77 | 0.56 | 98 | 0 |
167 | Bar Shabtai:0 | Aaron Doll | 16.21 | 15.01 | 70 | 1 |
168 | Aristotle:0 | Aristotle | 16.23 | 15.00 | 113 | 1 |
169 | Aristotle:1 | Aristotle | 17.97 | 9.69 | 109 | 0 |
170 | AARON BURR, DROPPIN' HAMILTONS:0 | haoyu | - | 0.00 | - | 0 |
171 | Mr. Blobby:0 | Green "The Bean" Choi | - | 0.14 | - | 0 |
172 | Jameh:0 | haoyu | - | 0.01 | - | 0 |
173 | George Okeowo:1 | Andrew Grasso | - | 0.01 | - | 0 |
174 | Jessie Chen:0 | Joel Faron | - | 0.13 | - | 1 |
175 | Glenn Fisher:0 | Elphaba | - | 0.02 | - | 0 |
176 | Dusty:1 | Shaheed Chagani | - | 0.22 | - | 0 |
177 | Walter Little:0 | haoyu | - | 0.04 | - | 0 |
178 | Blam:1 | Elphaba | - | 0.00 | - | 0 |
179 | snowflakes:0 | haoyu | - | 0.03 | - | 0 |
180 | Valya Barboy:1 | Shaheed Chagani | - | 0.18 | - | 0 |
181 | jabreezy:1 | Mercury | - | 0.10 | - | 0 |
182 | John Whelchel:1 | haoyu | - | 0.11 | - | 0 |
183 | dfshasdsf12:1 | Nihar the Great | - | 0.11 | - | 0 |
184 | kt4124:1 | haoyu | - | 0.04 | - | 0 |
185 | Ben Chen:0 | Elphaba | - | 0.07 | - | 0 |
186 | Mark S. Fillmore:1 | Supahaka | - | 0.04 | - | 79 |
187 | Sunny:0 | Green "The Bean" Choi | - | 0.02 | - | 0 |
188 | Gewang:1 | Jonathan Kwok | - | 0.00 | - | 0 |
189 | NA:1 | Elphaba | - | 0.04 | - | 0 |
190 | K.L.:1 | KingBach | - | 0.00 | - | 0 |
191 | Dusty:0 | CookieMonster | - | 1.39 | - | 0 |
192 | Quite Satisfied:1 | Joel Faron | - | 2.11 | - | 1 |
193 | Jameh:1 | haoyu | - | 0.01 | - | 0 |
194 | Brendan Wright:0 | haoyu | - | 0.10 | - | 0 |
195 | Jessie Chen:1 | Joel Faron | - | 0.12 | - | 1 |
196 | spl:0 | Elphaba | - | 0.09 | - | 0 |
197 | Walter Little:1 | haoyu | - | 0.03 | - | 0 |
198 | SuperFan:0 | jgs | - | 14.98 | - | 4 |
199 | Absurdity:1 | Aristotle | - | 0.18 | - | 0 |
200 | Andrew Grasso:1 | Shaheed Chagani | - | 0.15 | - | 0 |
201 | jabreezy:0 | Mercury | - | 0.09 | - | 0 |
202 | John Whelchel:0 | haoyu | - | 0.06 | - | 0 |
203 | dfshasdsf12:0 | haoyu | - | 0.09 | - | 0 |
204 | kt4124:0 | haoyu | - | 0.03 | - | 0 |
205 | Gewang:0 | Jonathan Kwok | - | 0.00 | - | 0 |
206 | Mark S. Fillmore:0 | Supahaka | - | 0.01 | - | 116 |
207 | Supahaka:0 | Andrew Werner | - | 15.00 | - | 35 |
208 | CookieMonster:0 | CookieMonster | - | 0.82 | - | 0 |
209 | Jonathan Kwok:0 | Elphaba | - | 0.00 | - | 0 |
210 | NA:0 | haoyu | - | 0.03 | - | 0 |
211 | BMJ:0 | Elphaba | - | 0.00 | - | 0 |
212 | K.L.:0 | haoyu | - | 0.00 | - | 0 |
213 | AARON BURR, DROPPIN' HAMILTONS:1 | haoyu | - | 0.01 | - | 0 |
214 | Quite Satisfied:0 | haoyu | - | 0.00 | - | 0 |
215 | Brendan Wright:1 | Deric Cheng | - | 0.10 | - | 0 |
216 | spl:1 | haoyu | - | 0.06 | - | 0 |
217 | SuperFan:1 | jgs | - | 14.98 | - | 4 |
218 | CookieMonster:1 | CookieMonster | - | 1.10 | - | 0 |
219 | Mr. Blobby:1 | dusty | - | 0.12 | - | 0 |
220 | George Okeowo:0 | Andrew Grasso | - | 0.01 | - | 0 |
221 | Absurdity:0 | Aristotle | - | 0.23 | - | 0 |
222 | Glenn Fisher:1 | jabreezy | - | 0.09 | - | 0 |
223 | snowflakes:1 | haoyu | - | 0.03 | - | 0 |
224 | Blam:0 | Elphaba | - | 0.00 | - | 0 |
225 | Valya Barboy:0 | Aristotle | - | 0.06 | - | 0 |
226 | Supahaka:1 | Joel Faron | - | 15.00 | - | 35 |
227 | Ben Chen:1 | spl | - | 0.20 | - | 0 |
228 | Sunny:1 | jabreezy | - | 0.01 | - | 0 |
SatSolvers Ranklist | Generators Ranklist |