SatSolvers Ranklist | Generators Ranklist |
Satsolver: | Ben Chen |
Rank: | 51 / 118 |
Average Score: | 7.65 |
Median Score: | 0.45 |
Description: | The SatSolver is based on WalkSat with a slight modification. Clauses that contain only one literal each are initially noted. Because a clause with only have one literal is trivially easy to solve, the values of the symbols corresponding to these single literal clauses are permanently set. During WalkSat, changing the values of these preset symbols is avoided. |
Generator | Best solver | Time taken | Best time | Unsat | Best unsat | |
---|---|---|---|---|---|---|
1 | bigwig:1 | KingBach | 0.00 | 0.00 | 0 | 0 |
2 | Ravi Tandon:0 | KingBach | 0.00 | 0.00 | 0 | 0 |
3 | BMJ:1 | burrito | 0.00 | 0.00 | 0 | 0 |
4 | K.L.:1 | KingBach | 0.00 | 0.00 | 0 | 0 |
5 | Bebe Shi:0 | 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 | bigwig:0 | Andrew Werner | 0.00 | 0.00 | 0 | 0 |
9 | Miranda:1 | cat | 0.00 | 0.00 | 0 | 0 |
10 | Miranda:0 | cat | 0.00 | 0.00 | 0 | 0 |
11 | Blam:1 | Elphaba | 0.01 | 0.00 | 0 | 0 |
12 | Solving For Clauses:0 | Glenn Fisher | 0.01 | 0.00 | 0 | 0 |
13 | Solving For Clauses:1 | haoyu | 0.01 | 0.00 | 0 | 0 |
14 | Joshua Zimmer:1 | haoyu | 0.01 | 0.00 | 0 | 0 |
15 | Daffy Duck:0 | Andrew Werner | 0.01 | 0.00 | 0 | 0 |
16 | haoyu:0 | KingBach | 0.01 | 0.01 | 0 | 0 |
17 | haoyu:1 | Anon5 | 0.01 | 0.01 | 0 | 0 |
18 | K.L.:0 | haoyu | 0.01 | 0.00 | 0 | 0 |
19 | Blam:0 | Elphaba | 0.01 | 0.00 | 0 | 0 |
20 | R. A. B.:1 | cat | 0.01 | 0.00 | 0 | 0 |
21 | Jonathan Kwok:1 | KingBach | 0.01 | 0.00 | 0 | 0 |
22 | Gewang:0 | Jonathan Kwok | 0.01 | 0.00 | 0 | 0 |
23 | Jonathan Kwok:0 | Elphaba | 0.01 | 0.00 | 0 | 0 |
24 | Tree Prophet:0 | haoyu | 0.01 | 0.00 | 0 | 0 |
25 | bchouGenerator:1 | Jonathan Kwok | 0.01 | 0.01 | 0 | 0 |
26 | BMJ:0 | Elphaba | 0.01 | 0.00 | 0 | 0 |
27 | Daffy Duck:1 | haoyu | 0.01 | 0.00 | 0 | 0 |
28 | Joshua Zimmer:0 | haoyu | 0.01 | 0.00 | 0 | 0 |
29 | Gewang:1 | Jonathan Kwok | 0.01 | 0.00 | 0 | 0 |
30 | Happy:1 | KingBach | 0.01 | 0.00 | 0 | 0 |
31 | David Paulk:0 | cat | 0.02 | 0.00 | 0 | 0 |
32 | Quite Satisfied:0 | haoyu | 0.02 | 0.00 | 0 | 0 |
33 | bchouGenerator:0 | haoyu | 0.02 | 0.00 | 0 | 0 |
34 | The Kraken:1 | haoyu | 0.02 | 0.00 | 0 | 0 |
35 | Happy:0 | haoyu | 0.02 | 0.00 | 0 | 0 |
36 | cmF5a3ly:1 | Nihar the Great | 0.02 | 0.00 | 0 | 0 |
37 | cmF5a3ly:0 | Nihar the Great | 0.02 | 0.00 | 0 | 0 |
38 | David Paulk:1 | Bar Shabtai | 0.02 | 0.00 | 0 | 0 |
39 | Scheduling Generator 203:0 | jgs | 0.03 | 0.01 | 0 | 0 |
40 | Qinlan Shen:0 | Bar Shabtai | 0.03 | 0.01 | 0 | 0 |
41 | Tree Prophet:1 | haoyu | 0.03 | 0.00 | 0 | 0 |
42 | R. A. B.:0 | Nihar the Great | 0.03 | 0.00 | 0 | 0 |
43 | Jameh:0 | haoyu | 0.03 | 0.01 | 0 | 0 |
44 | Jordan Ash:1 | Bar Shabtai | 0.03 | 0.01 | 0 | 0 |
45 | The Kraken:0 | haoyu | 0.03 | 0.00 | 0 | 0 |
46 | Mickey Mouse:1 | haoyu | 0.04 | 0.01 | 0 | 0 |
47 | Tom T:0 | EC | 0.04 | 0.02 | 0 | 0 |
48 | Boomshanka:1 | Bar Shabtai | 0.04 | 0.01 | 0 | 0 |
49 | Scheduling Generator 203:1 | Jameh | 0.04 | 0.02 | 0 | 0 |
50 | weezy:1 | Bar Shabtai | 0.04 | 0.01 | 0 | 0 |
51 | Tom T:1 | Andrew Werner | 0.04 | 0.02 | 0 | 0 |
52 | Mickey Mouse:0 | Bar Shabtai | 0.04 | 0.01 | 0 | 0 |
53 | Sunny:1 | jabreezy | 0.05 | 0.01 | 0 | 0 |
54 | Jameh:1 | haoyu | 0.05 | 0.01 | 0 | 0 |
55 | Sunny:0 | Green "The Bean" Choi | 0.06 | 0.02 | 0 | 0 |
56 | weezy:0 | Bar Shabtai | 0.06 | 0.01 | 0 | 0 |
57 | Tiny Wings:0 | haoyu | 0.06 | 0.02 | 0 | 0 |
58 | David Lackey:1 | Bar Shabtai | 0.07 | 0.03 | 0 | 0 |
59 | Dr Roberto:1 | Andrew Grasso | 0.07 | 0.02 | 0 | 0 |
60 | totallyOnFallBreak:0 | Nikhilesh Sigatapu | 0.07 | 0.01 | 0 | 0 |
61 | AARON BURR, DROPPIN' HAMILTONS:0 | haoyu | 0.07 | 0.00 | 0 | 0 |
62 | David Lackey:0 | Anon5 | 0.07 | 0.03 | 0 | 0 |
63 | Ytterbium:0 | Andrew Grasso | 0.08 | 0.02 | 0 | 0 |
64 | Mike Honcho:1 | Jessie Chen | 0.08 | 0.01 | 0 | 0 |
65 | Mike Honcho:0 | Miranda | 0.08 | 0.01 | 0 | 0 |
66 | Keji Xu:0 | Nihar the Great | 0.08 | 0.03 | 0 | 0 |
67 | totallyOnFallBreak:1 | Nikhilesh Sigatapu | 0.08 | 0.01 | 0 | 0 |
68 | Alex Fish:1 | haoyu | 0.08 | 0.02 | 0 | 0 |
69 | The Whitman Whale:1 | Andrew Grasso | 0.09 | 0.03 | 0 | 0 |
70 | Jordan Ash:0 | EC | 0.09 | 0.03 | 0 | 0 |
71 | cat:0 | haoyu | 0.10 | 0.03 | 0 | 0 |
72 | vluu:0 | Nihar the Great | 0.10 | 0.01 | 0 | 0 |
73 | vluu:1 | Nihar the Great | 0.10 | 0.02 | 0 | 0 |
74 | AARON BURR, DROPPIN' HAMILTONS:1 | haoyu | 0.10 | 0.01 | 0 | 0 |
75 | cat:1 | haoyu | 0.10 | 0.03 | 0 | 0 |
76 | Boomshanka:0 | haoyu | 0.10 | 0.01 | 0 | 0 |
77 | Dr Roberto:0 | Andrew Grasso | 0.10 | 0.03 | 0 | 0 |
78 | Keji Xu:1 | Nihar the Great | 0.11 | 0.04 | 0 | 0 |
79 | DeeEmEm:1 | haoyu | 0.12 | 0.02 | 0 | 0 |
80 | 0108:1 | haoyu | 0.13 | 0.01 | 0 | 0 |
81 | Anon_K_P:1 | Aristotle | 0.14 | 0.03 | 0 | 0 |
82 | Tiny Wings:1 | haoyu | 0.14 | 0.01 | 0 | 0 |
83 | The Whitman Whale:0 | bigwig | 0.14 | 0.04 | 0 | 0 |
84 | Alex Fish:0 | haoyu | 0.15 | 0.01 | 0 | 0 |
85 | Ytterbium:1 | Nihar the Great | 0.15 | 0.02 | 0 | 0 |
86 | Bob Dondero:0 | Andrew Grasso | 0.16 | 0.02 | 0 | 0 |
87 | Samuel Jerome:0 | haoyu | 0.16 | 0.03 | 0 | 0 |
88 | Nikhilesh Sigatapu:1 | haoyu | 0.17 | 0.04 | 0 | 0 |
89 | Tao:0 | Bar Shabtai | 0.18 | 0.02 | 0 | 0 |
90 | Linda:0 | Andrew Grasso | 0.18 | 0.01 | 0 | 0 |
91 | kt4124:1 | haoyu | 0.18 | 0.04 | 0 | 0 |
92 | George Okeowo:1 | Andrew Grasso | 0.19 | 0.01 | 0 | 0 |
93 | Janie Gu:1 | Jonathan Kwok | 0.19 | 0.07 | 0 | 0 |
94 | Janie Gu:0 | Glenn Fisher | 0.20 | 0.07 | 0 | 0 |
95 | George Okeowo:0 | Andrew Grasso | 0.20 | 0.01 | 0 | 0 |
96 | Glenn Fisher:0 | Elphaba | 0.21 | 0.02 | 0 | 0 |
97 | Lisa Kim:1 | Bar Shabtai | 0.21 | 0.06 | 0 | 0 |
98 | kt4124:0 | haoyu | 0.22 | 0.03 | 0 | 0 |
99 | Anon_K_P:0 | haoyu | 0.28 | 0.02 | 0 | 0 |
100 | Sally Smith:1 | haoyu | 0.29 | 0.04 | 0 | 0 |
101 | Lisa Kim:0 | Aristotle | 0.29 | 0.07 | 0 | 0 |
102 | Yan Wu:0 | haoyu | 0.32 | 0.05 | 0 | 0 |
103 | Samuel Jerome:1 | haoyu | 0.35 | 0.03 | 0 | 0 |
104 | Mercury:0 | haoyu | 0.36 | 0.05 | 0 | 0 |
105 | Sally Smith:0 | haoyu | 0.36 | 0.04 | 0 | 0 |
106 | Nikhilesh Sigatapu:0 | haoyu | 0.38 | 0.03 | 0 | 0 |
107 | Bob Dondero:1 | Mickey Mouse | 0.39 | 0.03 | 0 | 0 |
108 | bfang:0 | haoyu | 0.40 | 0.04 | 0 | 0 |
109 | Linda:1 | Andrew Grasso | 0.41 | 0.02 | 0 | 0 |
110 | Tao:1 | Aristotle | 0.41 | 0.07 | 0 | 0 |
111 | Mercury:1 | haoyu | 0.43 | 0.05 | 0 | 0 |
112 | Batman:1 | haoyu | 0.47 | 0.04 | 0 | 0 |
113 | KingBach:1 | haoyu | 0.51 | 0.04 | 0 | 0 |
114 | Batman:0 | haoyu | 0.54 | 0.04 | 0 | 0 |
115 | bfang:1 | haoyu | 0.60 | 0.04 | 0 | 0 |
116 | Brendan Wright:1 | Deric Cheng | 0.63 | 0.10 | 0 | 0 |
117 | Mr. Blobby:1 | dusty | 0.71 | 0.12 | 0 | 0 |
118 | Yan Wu:1 | haoyu | 0.72 | 0.04 | 0 | 0 |
119 | Mr. Blobby:0 | Green "The Bean" Choi | 0.77 | 0.14 | 0 | 0 |
120 | Matt Haake:0 | haoyu | 0.86 | 0.05 | 0 | 0 |
121 | Sprt:1 | haoyu | 0.87 | 0.05 | 0 | 0 |
122 | soccer:0 | haoyu | 0.89 | 0.04 | 0 | 0 |
123 | Khoa:0 | haoyu | 0.94 | 0.09 | 0 | 0 |
124 | Yacob Y.:0 | haoyu | 0.96 | 0.06 | 0 | 0 |
125 | Khoa:1 | Aristotle | 0.97 | 0.09 | 0 | 0 |
126 | Matt Haake:1 | haoyu | 1.00 | 0.05 | 0 | 0 |
127 | KingBach:0 | haoyu | 1.01 | 0.06 | 0 | 0 |
128 | snowflakes:0 | haoyu | 1.05 | 0.03 | 0 | 0 |
129 | Fanny:1 | Aristotle | 1.19 | 0.12 | 0 | 0 |
130 | Dusty:1 | Shaheed Chagani | 1.29 | 0.22 | 0 | 0 |
131 | Fanny:0 | Aristotle | 1.30 | 0.10 | 0 | 0 |
132 | Ben Chen:1 | spl | 1.55 | 0.20 | 0 | 0 |
133 | John Whelchel:1 | haoyu | 1.60 | 0.11 | 0 | 0 |
134 | Andrew Grasso:0 | Aaron Doll | 1.66 | 0.18 | 0 | 0 |
135 | burrito:0 | haoyu | 1.94 | 0.09 | 0 | 0 |
136 | soccer:1 | haoyu | 2.03 | 0.04 | 0 | 0 |
137 | DinnerPartyPlannerBM:1 | Nihar the Great | 2.11 | 0.06 | 0 | 0 |
138 | Sabar Dasgupta:1 | Aaron Doll | 2.23 | 0.17 | 0 | 0 |
139 | John Whelchel:0 | haoyu | 2.25 | 0.06 | 0 | 0 |
140 | dfshasdsf12:0 | haoyu | 2.38 | 0.09 | 0 | 0 |
141 | Anon5:1 | Green "The Bean" Choi | 2.53 | 0.07 | 0 | 0 |
142 | snowflakes:1 | haoyu | 3.03 | 0.03 | 0 | 0 |
143 | NA:1 | Elphaba | 3.18 | 0.04 | 0 | 0 |
144 | Ben Chen:0 | Elphaba | 3.39 | 0.07 | 0 | 0 |
145 | Aaron H:0 | Aristotle | 3.63 | 0.11 | 0 | 0 |
146 | Anon5:0 | haoyu | 3.66 | 0.05 | 0 | 0 |
147 | Valya Barboy:1 | Shaheed Chagani | 3.75 | 0.18 | 0 | 0 |
148 | Brendan Wright:0 | haoyu | 3.79 | 0.10 | 0 | 0 |
149 | Lil Thug:1 | Andrew Grasso | 3.87 | 0.03 | 0 | 0 |
150 | Aaron H:1 | Aristotle | 3.88 | 0.11 | 0 | 0 |
151 | Charliezsc:1 | haoyu | 3.88 | 0.07 | 0 | 0 |
152 | Sprt:0 | Aristotle | 3.93 | 0.11 | 0 | 0 |
153 | Lil Thug:0 | Andrew Grasso | 3.97 | 0.03 | 0 | 0 |
154 | EC:0 | haoyu | 4.50 | 0.03 | 0 | 0 |
155 | Sabar Dasgupta:0 | spl | 4.53 | 0.23 | 0 | 0 |
156 | dfshasdsf12:1 | Nihar the Great | 5.01 | 0.11 | 0 | 0 |
157 | Andys:0 | Aristotle | 5.51 | 0.12 | 0 | 0 |
158 | Walter Little:1 | haoyu | 6.01 | 0.03 | 0 | 0 |
159 | Walter Little:0 | haoyu | 6.01 | 0.04 | 0 | 0 |
160 | BH:0 | haoyu | 6.91 | 0.07 | 0 | 0 |
161 | jabreezy:0 | Mercury | 7.38 | 0.09 | 0 | 0 |
162 | Valya Barboy:0 | Aristotle | 7.41 | 0.06 | 0 | 0 |
163 | jabreezy:1 | Mercury | 8.38 | 0.10 | 0 | 0 |
164 | Andrew Werner:1 | haoyu | 8.55 | 0.11 | 0 | 0 |
165 | ebp:1 | haoyu | 9.03 | 0.04 | 0 | 0 |
166 | ebp:0 | haoyu | 9.22 | 0.04 | 0 | 0 |
167 | Mike Hunt:0 | Aristotle | 9.22 | 0.27 | 0 | 0 |
168 | DinnerPartyPlannerBM:0 | Aristotle | 10.07 | 0.11 | 0 | 0 |
169 | BH:1 | haoyu | 10.21 | 0.05 | 0 | 0 |
170 | EC:1 | haoyu | 10.83 | 0.03 | 0 | 0 |
171 | Andrew Grasso:1 | Shaheed Chagani | 11.07 | 0.15 | 0 | 0 |
172 | Andrew Werner:0 | Aaron Doll | 11.21 | 0.33 | 0 | 0 |
173 | Glenn Fisher:1 | jabreezy | 11.54 | 0.09 | 0 | 0 |
174 | NA:0 | haoyu | 11.87 | 0.03 | 0 | 0 |
175 | CAPS LOCK:0 | Aristotle | 11.90 | 0.20 | 0 | 0 |
176 | burrito:1 | haoyu | 12.64 | 0.10 | 0 | 0 |
177 | Andys:1 | Aristotle | 13.33 | 0.13 | 0 | 0 |
178 | jgs:0 | Aristotle | 14.07 | 0.12 | 0 | 0 |
179 | nupog:0 | Aristotle | 14.55 | 0.13 | 0 | 0 |
180 | David H.:1 | DeeEmEm | 15.00 | 0.33 | 1 | 0 |
181 | Jessie Chen:0 | Joel Faron | 15.00 | 0.13 | 1 | 1 |
182 | Qinlan Shen:1 | R. A. B. | 15.00 | 9.00 | 1 | 1 |
183 | Dusty:0 | CookieMonster | 15.00 | 1.39 | 1 | 0 |
184 | Jessie Chen:1 | Joel Faron | 15.00 | 0.12 | 1 | 1 |
185 | David H.:0 | AFC | 15.00 | 0.28 | 1 | 0 |
186 | DeeEmEm:0 | CAPS LOCK | 15.00 | 13.00 | 1 | 1 |
187 | 0108:0 | jgs | 15.00 | 14.98 | 1 | 1 |
188 | AFC:0 | CookieMonster | 15.00 | 0.34 | 1 | 0 |
189 | T. Capote:0 | haoyu | 15.00 | 0.00 | 2 | 2 |
190 | T. Capote:1 | haoyu | 15.00 | 0.00 | 2 | 2 |
191 | SuperFan:0 | jgs | 15.00 | 14.98 | 4 | 4 |
192 | SuperFan:1 | jgs | 15.00 | 14.98 | 4 | 4 |
193 | nupog:1 | Aristotle | 15.00 | 0.12 | 23 | 0 |
194 | Shaheed Chagani:1 | Aristotle | 15.00 | 0.11 | 38 | 0 |
195 | AFC:1 | Aristotle | 15.00 | 0.16 | 1 | 0 |
196 | CookieMonster:0 | CookieMonster | 15.00 | 0.82 | 1 | 0 |
197 | CookieMonster:1 | CookieMonster | 15.00 | 1.10 | 1 | 0 |
198 | spl:1 | haoyu | 15.00 | 0.06 | 2 | 0 |
199 | Yacob Y.:1 | Aristotle | 15.00 | 15.00 | 8 | 1 |
200 | Mike Hunt:1 | Aristotle | 15.00 | 0.29 | 2 | 0 |
201 | spl:0 | Elphaba | 15.00 | 0.09 | 3 | 0 |
202 | Nihar the Great:0 | Aristotle | 15.00 | 0.23 | 20195 | 0 |
203 | Absurdity:1 | Aristotle | 15.00 | 0.18 | 1 | 0 |
204 | Elphaba:0 | Aristotle | 15.00 | 0.24 | 11217 | 0 |
205 | Charliezsc:0 | jgs | 15.01 | 14.98 | 1 | 1 |
206 | Deric Cheng:1 | jgs | 15.01 | 14.98 | 1 | 1 |
207 | Absurdity:0 | Aristotle | 15.01 | 0.23 | 1 | 0 |
208 | Bar Shabtai:1 | haoyu | 15.01 | 0.12 | 73 | 0 |
209 | Bar Shabtai:0 | Aaron Doll | 15.02 | 15.01 | 297053 | 1 |
210 | Elphaba:1 | Aristotle | 15.02 | 0.22 | 22588 | 0 |
211 | 13a:0 | Aaron Doll | 15.02 | 15.00 | 54849 | 21 |
212 | 13a:1 | Aaron Doll | 15.02 | 15.00 | 68392 | 29 |
213 | Shaheed Chagani:0 | Aristotle | 15.02 | 0.17 | 5 | 0 |
214 | Nihar the Great:1 | Aristotle | 15.03 | 0.25 | 20120 | 0 |
215 | Matt Goldsmith:0 | Nihar the Great | 15.03 | 0.03 | 510366 | 0 |
216 | Aaron Doll:1 | Aristotle | 15.04 | 1.27 | 318584 | 0 |
217 | Aristotle:0 | Aristotle | 15.05 | 15.00 | 731787 | 1 |
218 | jgs:1 | haoyu | 15.05 | 0.18 | 17 | 0 |
219 | Aristotle:1 | Aristotle | 15.07 | 9.69 | 741969 | 0 |
220 | Aaron Doll:0 | Aristotle | 15.09 | 0.56 | 244585 | 0 |
221 | Matt Goldsmith:1 | Happy | 15.12 | 0.03 | 507797 | 0 |
222 | CAPS LOCK:1 | Aristotle | 15.12 | 0.25 | 2 | 0 |
223 | Deric Cheng:0 | jgs | 15.20 | 14.99 | 1 | 1 |
224 | Mark S. Fillmore:1 | Supahaka | - | 0.04 | - | 79 |
225 | Quite Satisfied:1 | Joel Faron | - | 2.11 | - | 1 |
226 | Mark S. Fillmore:0 | Supahaka | - | 0.01 | - | 116 |
227 | Supahaka:0 | Andrew Werner | - | 15.00 | - | 35 |
228 | Supahaka:1 | Joel Faron | - | 15.00 | - | 35 |
SatSolvers Ranklist | Generators Ranklist |