SatSolvers Ranklist | Generators Ranklist |
Satsolver: | T. Capote |
Rank: | 83 / 118 |
Average Score: | 13.10 |
Median Score: | 14.72 |
Description: | Variation on standard WalkSAT algorithm. Some improvements includenot flipping most recently flipped symbol in order to prevent stagnationand favoring minimizing unsatisfied clauses over random flipping as timeelapsed increases. Favors random flips if minimizing unsatisfied clausesis of little help. |
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 | Bebe Shi:1 | KingBach | 0.00 | 0.00 | 0 | 0 |
5 | Happy:1 | KingBach | 0.00 | 0.00 | 0 | 0 |
6 | K.L.:1 | KingBach | 0.00 | 0.00 | 0 | 0 |
7 | Ravi Tandon:1 | KingBach | 0.01 | 0.00 | 0 | 0 |
8 | Miranda:1 | cat | 0.01 | 0.00 | 0 | 0 |
9 | Bebe Shi:0 | KingBach | 0.01 | 0.00 | 0 | 0 |
10 | Miranda:0 | cat | 0.01 | 0.00 | 0 | 0 |
11 | Joshua Zimmer:0 | haoyu | 0.01 | 0.00 | 0 | 0 |
12 | Solving For Clauses:1 | haoyu | 0.01 | 0.00 | 0 | 0 |
13 | R. A. B.:1 | cat | 0.01 | 0.00 | 0 | 0 |
14 | Solving For Clauses:0 | Glenn Fisher | 0.01 | 0.00 | 0 | 0 |
15 | Blam:1 | Elphaba | 0.01 | 0.00 | 0 | 0 |
16 | Joshua Zimmer:1 | haoyu | 0.01 | 0.00 | 0 | 0 |
17 | BMJ:0 | Elphaba | 0.01 | 0.00 | 0 | 0 |
18 | David Paulk:0 | cat | 0.02 | 0.00 | 0 | 0 |
19 | Daffy Duck:1 | haoyu | 0.02 | 0.00 | 0 | 0 |
20 | Jonathan Kwok:1 | KingBach | 0.02 | 0.00 | 0 | 0 |
21 | Gewang:0 | Jonathan Kwok | 0.02 | 0.00 | 0 | 0 |
22 | David Paulk:1 | Bar Shabtai | 0.02 | 0.00 | 0 | 0 |
23 | Gewang:1 | Jonathan Kwok | 0.02 | 0.00 | 0 | 0 |
24 | cmF5a3ly:1 | Nihar the Great | 0.02 | 0.00 | 0 | 0 |
25 | haoyu:1 | Anon5 | 0.02 | 0.01 | 0 | 0 |
26 | cmF5a3ly:0 | Nihar the Great | 0.02 | 0.00 | 0 | 0 |
27 | Mike Honcho:0 | Miranda | 0.02 | 0.01 | 0 | 0 |
28 | Jonathan Kwok:0 | Elphaba | 0.02 | 0.00 | 0 | 0 |
29 | Tree Prophet:1 | haoyu | 0.02 | 0.00 | 0 | 0 |
30 | haoyu:0 | KingBach | 0.02 | 0.01 | 0 | 0 |
31 | Jordan Ash:1 | Bar Shabtai | 0.02 | 0.01 | 0 | 0 |
32 | Quite Satisfied:0 | haoyu | 0.02 | 0.00 | 0 | 0 |
33 | Tree Prophet:0 | haoyu | 0.02 | 0.00 | 0 | 0 |
34 | bchouGenerator:0 | haoyu | 0.03 | 0.00 | 0 | 0 |
35 | The Kraken:1 | haoyu | 0.03 | 0.00 | 0 | 0 |
36 | Daffy Duck:0 | Andrew Werner | 0.03 | 0.00 | 0 | 0 |
37 | R. A. B.:0 | Nihar the Great | 0.03 | 0.00 | 0 | 0 |
38 | The Kraken:0 | haoyu | 0.04 | 0.00 | 0 | 0 |
39 | Mickey Mouse:1 | haoyu | 0.04 | 0.01 | 0 | 0 |
40 | weezy:1 | Bar Shabtai | 0.04 | 0.01 | 0 | 0 |
41 | Mickey Mouse:0 | Bar Shabtai | 0.04 | 0.01 | 0 | 0 |
42 | weezy:0 | Bar Shabtai | 0.05 | 0.01 | 0 | 0 |
43 | totallyOnFallBreak:1 | Nikhilesh Sigatapu | 0.05 | 0.01 | 0 | 0 |
44 | Scheduling Generator 203:0 | jgs | 0.05 | 0.01 | 0 | 0 |
45 | Tiny Wings:1 | haoyu | 0.05 | 0.01 | 0 | 0 |
46 | bchouGenerator:1 | Jonathan Kwok | 0.05 | 0.01 | 0 | 0 |
47 | Sunny:1 | jabreezy | 0.05 | 0.01 | 0 | 0 |
48 | Tom T:1 | Andrew Werner | 0.06 | 0.02 | 0 | 0 |
49 | Tom T:0 | EC | 0.07 | 0.02 | 0 | 0 |
50 | totallyOnFallBreak:0 | Nikhilesh Sigatapu | 0.07 | 0.01 | 0 | 0 |
51 | Qinlan Shen:0 | Bar Shabtai | 0.07 | 0.01 | 0 | 0 |
52 | Ytterbium:0 | Andrew Grasso | 0.07 | 0.02 | 0 | 0 |
53 | vluu:0 | Nihar the Great | 0.08 | 0.01 | 0 | 0 |
54 | Happy:0 | haoyu | 0.08 | 0.00 | 0 | 0 |
55 | vluu:1 | Nihar the Great | 0.08 | 0.02 | 0 | 0 |
56 | The Whitman Whale:1 | Andrew Grasso | 0.08 | 0.03 | 0 | 0 |
57 | Boomshanka:0 | haoyu | 0.11 | 0.01 | 0 | 0 |
58 | Jameh:1 | haoyu | 0.12 | 0.01 | 0 | 0 |
59 | Scheduling Generator 203:1 | Jameh | 0.12 | 0.02 | 0 | 0 |
60 | Sunny:0 | Green "The Bean" Choi | 0.13 | 0.02 | 0 | 0 |
61 | Boomshanka:1 | Bar Shabtai | 0.15 | 0.01 | 0 | 0 |
62 | Linda:0 | Andrew Grasso | 0.15 | 0.01 | 0 | 0 |
63 | Tiny Wings:0 | haoyu | 0.16 | 0.02 | 0 | 0 |
64 | Ytterbium:1 | Nihar the Great | 0.18 | 0.02 | 0 | 0 |
65 | Janie Gu:0 | Glenn Fisher | 0.18 | 0.07 | 0 | 0 |
66 | Dr Roberto:1 | Andrew Grasso | 0.20 | 0.02 | 0 | 0 |
67 | cat:0 | haoyu | 0.20 | 0.03 | 0 | 0 |
68 | The Whitman Whale:0 | bigwig | 0.21 | 0.04 | 0 | 0 |
69 | Bob Dondero:1 | Mickey Mouse | 0.22 | 0.03 | 0 | 0 |
70 | cat:1 | haoyu | 0.23 | 0.03 | 0 | 0 |
71 | George Okeowo:0 | Andrew Grasso | 0.26 | 0.01 | 0 | 0 |
72 | George Okeowo:1 | Andrew Grasso | 0.26 | 0.01 | 0 | 0 |
73 | Alex Fish:1 | haoyu | 0.28 | 0.02 | 0 | 0 |
74 | Linda:1 | Andrew Grasso | 0.28 | 0.02 | 0 | 0 |
75 | Lisa Kim:1 | Bar Shabtai | 0.29 | 0.06 | 0 | 0 |
76 | Janie Gu:1 | Jonathan Kwok | 0.41 | 0.07 | 0 | 0 |
77 | Keji Xu:1 | Nihar the Great | 0.43 | 0.04 | 0 | 0 |
78 | DeeEmEm:1 | haoyu | 0.45 | 0.02 | 0 | 0 |
79 | Mike Honcho:1 | Jessie Chen | 0.45 | 0.01 | 0 | 0 |
80 | Bob Dondero:0 | Andrew Grasso | 0.45 | 0.02 | 0 | 0 |
81 | Lisa Kim:0 | Aristotle | 0.58 | 0.07 | 0 | 0 |
82 | Keji Xu:0 | Nihar the Great | 0.68 | 0.03 | 0 | 0 |
83 | Sally Smith:0 | haoyu | 0.72 | 0.04 | 0 | 0 |
84 | Dr Roberto:0 | Andrew Grasso | 1.23 | 0.03 | 0 | 0 |
85 | Sprt:1 | haoyu | 1.24 | 0.05 | 0 | 0 |
86 | Sally Smith:1 | haoyu | 1.34 | 0.04 | 0 | 0 |
87 | Khoa:1 | Aristotle | 1.35 | 0.09 | 0 | 0 |
88 | 0108:1 | haoyu | 1.43 | 0.01 | 0 | 0 |
89 | Alex Fish:0 | haoyu | 1.66 | 0.01 | 0 | 0 |
90 | Batman:0 | haoyu | 1.73 | 0.04 | 0 | 0 |
91 | DinnerPartyPlannerBM:1 | Nihar the Great | 2.44 | 0.06 | 0 | 0 |
92 | Jordan Ash:0 | EC | 2.46 | 0.03 | 0 | 0 |
93 | Batman:1 | haoyu | 2.66 | 0.04 | 0 | 0 |
94 | KingBach:1 | haoyu | 2.78 | 0.04 | 0 | 0 |
95 | dfshasdsf12:0 | haoyu | 3.24 | 0.09 | 0 | 0 |
96 | burrito:0 | haoyu | 3.31 | 0.09 | 0 | 0 |
97 | Khoa:0 | haoyu | 3.98 | 0.09 | 0 | 0 |
98 | Lil Thug:0 | Andrew Grasso | 4.60 | 0.03 | 0 | 0 |
99 | soccer:0 | haoyu | 4.78 | 0.04 | 0 | 0 |
100 | Lil Thug:1 | Andrew Grasso | 5.09 | 0.03 | 0 | 0 |
101 | bfang:1 | haoyu | 5.25 | 0.04 | 0 | 0 |
102 | Sprt:0 | Aristotle | 5.42 | 0.11 | 0 | 0 |
103 | Brendan Wright:1 | Deric Cheng | 6.00 | 0.10 | 0 | 0 |
104 | dfshasdsf12:1 | Nihar the Great | 6.53 | 0.11 | 0 | 0 |
105 | DinnerPartyPlannerBM:0 | Aristotle | 6.88 | 0.11 | 0 | 0 |
106 | KingBach:0 | haoyu | 7.07 | 0.06 | 0 | 0 |
107 | Nikhilesh Sigatapu:1 | haoyu | 7.76 | 0.04 | 0 | 0 |
108 | Samuel Jerome:0 | haoyu | 9.77 | 0.03 | 0 | 0 |
109 | AARON BURR, DROPPIN' HAMILTONS:0 | haoyu | 12.81 | 0.00 | 0 | 0 |
110 | soccer:1 | haoyu | 14.72 | 0.04 | 0 | 0 |
111 | T. Capote:0 | haoyu | 15.00 | 0.00 | 2 | 2 |
112 | Mark S. Fillmore:1 | Supahaka | 15.00 | 0.04 | 79 | 79 |
113 | Mark S. Fillmore:0 | Supahaka | 15.00 | 0.01 | 116 | 116 |
114 | Qinlan Shen:1 | R. A. B. | 15.00 | 9.00 | 2 | 1 |
115 | jabreezy:0 | Mercury | 15.00 | 0.09 | 3 | 0 |
116 | Jessie Chen:0 | Joel Faron | 15.00 | 0.13 | 4 | 1 |
117 | T. Capote:1 | haoyu | 15.00 | 0.00 | 4 | 2 |
118 | Tao:1 | Aristotle | 15.00 | 0.07 | 5 | 0 |
119 | Andrew Werner:0 | Aaron Doll | 15.00 | 0.33 | 5 | 0 |
120 | DeeEmEm:0 | CAPS LOCK | 15.00 | 13.00 | 5 | 1 |
121 | jabreezy:1 | Mercury | 15.00 | 0.10 | 6 | 0 |
122 | Charliezsc:0 | jgs | 15.00 | 14.98 | 8 | 1 |
123 | bfang:0 | haoyu | 15.00 | 0.04 | 8 | 0 |
124 | Nikhilesh Sigatapu:0 | haoyu | 15.00 | 0.03 | 9 | 0 |
125 | Tao:0 | Bar Shabtai | 15.00 | 0.02 | 9 | 0 |
126 | Mercury:0 | haoyu | 15.00 | 0.05 | 10 | 0 |
127 | Valya Barboy:0 | Aristotle | 15.00 | 0.06 | 11 | 0 |
128 | Anon_K_P:1 | Aristotle | 15.00 | 0.03 | 12 | 0 |
129 | EC:1 | haoyu | 15.00 | 0.03 | 16 | 0 |
130 | Aaron H:1 | Aristotle | 15.00 | 0.11 | 16 | 0 |
131 | 0108:0 | jgs | 15.00 | 14.98 | 16 | 1 |
132 | Anon_K_P:0 | haoyu | 15.00 | 0.02 | 16 | 0 |
133 | Valya Barboy:1 | Shaheed Chagani | 15.00 | 0.18 | 17 | 0 |
134 | Deric Cheng:0 | jgs | 15.00 | 14.99 | 17 | 1 |
135 | CookieMonster:1 | CookieMonster | 15.00 | 1.10 | 18 | 0 |
136 | AFC:0 | CookieMonster | 15.00 | 0.34 | 18 | 0 |
137 | AARON BURR, DROPPIN' HAMILTONS:1 | haoyu | 15.00 | 0.01 | 19 | 0 |
138 | Anon5:1 | Green "The Bean" Choi | 15.00 | 0.07 | 20 | 0 |
139 | Anon5:0 | haoyu | 15.00 | 0.05 | 21 | 0 |
140 | David H.:1 | DeeEmEm | 15.00 | 0.33 | 22 | 0 |
141 | SuperFan:0 | jgs | 15.00 | 14.98 | 22 | 4 |
142 | SuperFan:1 | jgs | 15.00 | 14.98 | 22 | 4 |
143 | Samuel Jerome:1 | haoyu | 15.00 | 0.03 | 23 | 0 |
144 | Shaheed Chagani:1 | Aristotle | 15.00 | 0.11 | 23 | 0 |
145 | CookieMonster:0 | CookieMonster | 15.00 | 0.82 | 23 | 0 |
146 | Yacob Y.:0 | haoyu | 15.00 | 0.06 | 24 | 0 |
147 | David H.:0 | AFC | 15.00 | 0.28 | 25 | 0 |
148 | Sabar Dasgupta:0 | spl | 15.00 | 0.23 | 27 | 0 |
149 | Sabar Dasgupta:1 | Aaron Doll | 15.00 | 0.17 | 27 | 0 |
150 | Mike Hunt:1 | Aristotle | 15.00 | 0.29 | 28 | 0 |
151 | Mercury:1 | haoyu | 15.00 | 0.05 | 30 | 0 |
152 | AFC:1 | Aristotle | 15.00 | 0.16 | 30 | 0 |
153 | EC:0 | haoyu | 15.00 | 0.03 | 30 | 0 |
154 | Andys:0 | Aristotle | 15.00 | 0.12 | 33 | 0 |
155 | Andys:1 | Aristotle | 15.00 | 0.13 | 34 | 0 |
156 | Absurdity:1 | Aristotle | 15.00 | 0.18 | 34 | 0 |
157 | Yacob Y.:1 | Aristotle | 15.00 | 15.00 | 38 | 1 |
158 | spl:1 | haoyu | 15.00 | 0.06 | 41 | 0 |
159 | Yan Wu:1 | haoyu | 15.00 | 0.04 | 42 | 0 |
160 | Fanny:0 | Aristotle | 15.00 | 0.10 | 43 | 0 |
161 | ebp:1 | haoyu | 15.00 | 0.04 | 43 | 0 |
162 | spl:0 | Elphaba | 15.00 | 0.09 | 44 | 0 |
163 | Andrew Grasso:0 | Aaron Doll | 15.00 | 0.18 | 46 | 0 |
164 | Mike Hunt:0 | Aristotle | 15.00 | 0.27 | 47 | 0 |
165 | Supahaka:0 | Andrew Werner | 15.00 | 15.00 | 48 | 35 |
166 | ebp:0 | haoyu | 15.00 | 0.04 | 50 | 0 |
167 | Supahaka:1 | Joel Faron | 15.00 | 15.00 | 52 | 35 |
168 | Dusty:0 | CookieMonster | 15.00 | 1.39 | 53 | 0 |
169 | Absurdity:0 | Aristotle | 15.00 | 0.23 | 53 | 0 |
170 | Andrew Grasso:1 | Shaheed Chagani | 15.00 | 0.15 | 56 | 0 |
171 | Fanny:1 | Aristotle | 15.00 | 0.12 | 56 | 0 |
172 | Ben Chen:1 | spl | 15.00 | 0.20 | 57 | 0 |
173 | Dusty:1 | Shaheed Chagani | 15.00 | 0.22 | 58 | 0 |
174 | Glenn Fisher:0 | Elphaba | 15.00 | 0.02 | 59 | 0 |
175 | Mr. Blobby:1 | dusty | 15.00 | 0.12 | 59 | 0 |
176 | Walter Little:0 | haoyu | 15.00 | 0.04 | 62 | 0 |
177 | Glenn Fisher:1 | jabreezy | 15.00 | 0.09 | 62 | 0 |
178 | David Lackey:1 | Bar Shabtai | 15.00 | 0.03 | 63 | 0 |
179 | Walter Little:1 | haoyu | 15.00 | 0.03 | 63 | 0 |
180 | Mr. Blobby:0 | Green "The Bean" Choi | 15.00 | 0.14 | 68 | 0 |
181 | Ben Chen:0 | Elphaba | 15.00 | 0.07 | 71 | 0 |
182 | Yan Wu:0 | haoyu | 15.00 | 0.05 | 72 | 0 |
183 | David Lackey:0 | Anon5 | 15.00 | 0.03 | 75 | 0 |
184 | NA:1 | Elphaba | 15.00 | 0.04 | 82 | 0 |
185 | Matt Haake:0 | haoyu | 15.00 | 0.05 | 100 | 0 |
186 | NA:0 | haoyu | 15.00 | 0.03 | 112 | 0 |
187 | Matt Haake:1 | haoyu | 15.00 | 0.05 | 122 | 0 |
188 | snowflakes:1 | haoyu | 15.00 | 0.03 | 127 | 0 |
189 | snowflakes:0 | haoyu | 15.00 | 0.03 | 142 | 0 |
190 | jgs:0 | Aristotle | 15.00 | 0.12 | 387 | 0 |
191 | BH:0 | haoyu | 15.00 | 0.07 | 611 | 0 |
192 | BH:1 | haoyu | 15.00 | 0.05 | 637 | 0 |
193 | nupog:0 | Aristotle | 15.00 | 0.13 | 1101 | 0 |
194 | nupog:1 | Aristotle | 15.00 | 0.12 | 1119 | 0 |
195 | Shaheed Chagani:0 | Aristotle | 15.00 | 0.17 | 1419 | 0 |
196 | Matt Goldsmith:1 | Happy | 15.00 | 0.03 | 511584 | 0 |
197 | Aristotle:1 | Aristotle | 15.00 | 9.69 | 750411 | 0 |
198 | Charliezsc:1 | haoyu | 15.00 | 0.07 | 14 | 0 |
199 | Aaron H:0 | Aristotle | 15.00 | 0.11 | 20 | 0 |
200 | burrito:1 | haoyu | 15.00 | 0.10 | 96 | 0 |
201 | Nihar the Great:0 | Aristotle | 15.00 | 0.23 | 23805 | 0 |
202 | John Whelchel:0 | haoyu | 15.00 | 0.06 | 6 | 0 |
203 | Bar Shabtai:1 | haoyu | 15.00 | 0.12 | 2903 | 0 |
204 | 13a:1 | Aaron Doll | 15.00 | 15.00 | 63550 | 29 |
205 | 13a:0 | Aaron Doll | 15.00 | 15.00 | 68474 | 21 |
206 | Andrew Werner:1 | haoyu | 15.00 | 0.11 | 11 | 0 |
207 | Elphaba:0 | Aristotle | 15.00 | 0.24 | 32628 | 0 |
208 | Elphaba:1 | Aristotle | 15.00 | 0.22 | 35210 | 0 |
209 | Aaron Doll:1 | Aristotle | 15.00 | 1.27 | 296275 | 0 |
210 | jgs:1 | haoyu | 15.01 | 0.18 | 41 | 0 |
211 | Nihar the Great:1 | Aristotle | 15.01 | 0.25 | 21558 | 0 |
212 | Bar Shabtai:0 | Aaron Doll | 15.01 | 15.01 | 306016 | 1 |
213 | CAPS LOCK:1 | Aristotle | 15.01 | 0.25 | 1382 | 0 |
214 | Aristotle:0 | Aristotle | 15.01 | 15.00 | 765442 | 1 |
215 | John Whelchel:1 | haoyu | 15.02 | 0.11 | 12 | 0 |
216 | Aaron Doll:0 | Aristotle | 15.02 | 0.56 | 245490 | 0 |
217 | CAPS LOCK:0 | Aristotle | 15.03 | 0.20 | 4 | 0 |
218 | Deric Cheng:1 | jgs | 15.03 | 14.98 | 16 | 1 |
219 | Matt Goldsmith:0 | Nihar the Great | 15.03 | 0.03 | 518660 | 0 |
220 | Brendan Wright:0 | haoyu | 15.04 | 0.10 | 2 | 0 |
221 | Jameh:0 | haoyu | - | 0.01 | - | 0 |
222 | kt4124:1 | haoyu | - | 0.04 | - | 0 |
223 | BMJ:1 | burrito | - | 0.00 | - | 0 |
224 | Quite Satisfied:1 | Joel Faron | - | 2.11 | - | 1 |
225 | Jessie Chen:1 | Joel Faron | - | 0.12 | - | 1 |
226 | kt4124:0 | haoyu | - | 0.03 | - | 0 |
227 | K.L.:0 | haoyu | - | 0.00 | - | 0 |
228 | Blam:0 | Elphaba | - | 0.00 | - | 0 |
SatSolvers Ranklist | Generators Ranklist |