SatSolvers Ranklist | Generators Ranklist |
Satsolver: | burrito |
Rank: | 52 / 118 |
Average Score: | 7.79 |
Median Score: | 1.68 |
Description: | Implementation of WalkSAT that includes some optimizations. One is to save a copy of the model that satisfies the most clauses so far, and when time runs out to return that best model, instead of the model that is currently being used by the algorithm. |
Generator | Best solver | Time taken | Best time | Unsat | Best unsat | |
---|---|---|---|---|---|---|
1 | Ravi Tandon:0 | KingBach | 0.00 | 0.00 | 0 | 0 |
2 | Bebe Shi:1 | 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 | bigwig:0 | Andrew Werner | 0.00 | 0.00 | 0 | 0 |
6 | Happy:1 | KingBach | 0.00 | 0.00 | 0 | 0 |
7 | bigwig:1 | KingBach | 0.00 | 0.00 | 0 | 0 |
8 | Ravi Tandon:1 | KingBach | 0.00 | 0.00 | 0 | 0 |
9 | Miranda:1 | cat | 0.00 | 0.00 | 0 | 0 |
10 | K.L.:0 | haoyu | 0.00 | 0.00 | 0 | 0 |
11 | Bebe Shi:0 | KingBach | 0.00 | 0.00 | 0 | 0 |
12 | Miranda:0 | cat | 0.00 | 0.00 | 0 | 0 |
13 | Solving For Clauses:0 | Glenn Fisher | 0.00 | 0.00 | 0 | 0 |
14 | Solving For Clauses:1 | haoyu | 0.00 | 0.00 | 0 | 0 |
15 | Joshua Zimmer:1 | haoyu | 0.00 | 0.00 | 0 | 0 |
16 | Joshua Zimmer:0 | haoyu | 0.00 | 0.00 | 0 | 0 |
17 | Daffy Duck:0 | Andrew Werner | 0.01 | 0.00 | 0 | 0 |
18 | haoyu:1 | Anon5 | 0.01 | 0.01 | 0 | 0 |
19 | Blam:1 | Elphaba | 0.01 | 0.00 | 0 | 0 |
20 | Jonathan Kwok:1 | KingBach | 0.01 | 0.00 | 0 | 0 |
21 | Jonathan Kwok:0 | Elphaba | 0.01 | 0.00 | 0 | 0 |
22 | BMJ:0 | Elphaba | 0.01 | 0.00 | 0 | 0 |
23 | Daffy Duck:1 | haoyu | 0.01 | 0.00 | 0 | 0 |
24 | Blam:0 | Elphaba | 0.01 | 0.00 | 0 | 0 |
25 | R. A. B.:1 | cat | 0.01 | 0.00 | 0 | 0 |
26 | bchouGenerator:0 | haoyu | 0.01 | 0.00 | 0 | 0 |
27 | Gewang:0 | Jonathan Kwok | 0.01 | 0.00 | 0 | 0 |
28 | Tree Prophet:0 | haoyu | 0.01 | 0.00 | 0 | 0 |
29 | Tree Prophet:1 | haoyu | 0.01 | 0.00 | 0 | 0 |
30 | cmF5a3ly:0 | Nihar the Great | 0.01 | 0.00 | 0 | 0 |
31 | Gewang:1 | Jonathan Kwok | 0.02 | 0.00 | 0 | 0 |
32 | cmF5a3ly:1 | Nihar the Great | 0.02 | 0.00 | 0 | 0 |
33 | haoyu:0 | KingBach | 0.02 | 0.01 | 0 | 0 |
34 | David Paulk:0 | cat | 0.02 | 0.00 | 0 | 0 |
35 | Quite Satisfied:0 | haoyu | 0.02 | 0.00 | 0 | 0 |
36 | Qinlan Shen:0 | Bar Shabtai | 0.02 | 0.01 | 0 | 0 |
37 | David Paulk:1 | Bar Shabtai | 0.02 | 0.00 | 0 | 0 |
38 | bchouGenerator:1 | Jonathan Kwok | 0.02 | 0.01 | 0 | 0 |
39 | The Kraken:0 | haoyu | 0.03 | 0.00 | 0 | 0 |
40 | Jordan Ash:1 | Bar Shabtai | 0.03 | 0.01 | 0 | 0 |
41 | The Kraken:1 | haoyu | 0.04 | 0.00 | 0 | 0 |
42 | Mickey Mouse:1 | haoyu | 0.04 | 0.01 | 0 | 0 |
43 | Scheduling Generator 203:0 | jgs | 0.04 | 0.01 | 0 | 0 |
44 | weezy:1 | Bar Shabtai | 0.04 | 0.01 | 0 | 0 |
45 | weezy:0 | Bar Shabtai | 0.04 | 0.01 | 0 | 0 |
46 | R. A. B.:0 | Nihar the Great | 0.04 | 0.00 | 0 | 0 |
47 | Happy:0 | haoyu | 0.04 | 0.00 | 0 | 0 |
48 | Mickey Mouse:0 | Bar Shabtai | 0.04 | 0.01 | 0 | 0 |
49 | Jameh:0 | haoyu | 0.04 | 0.01 | 0 | 0 |
50 | Tom T:0 | EC | 0.05 | 0.02 | 0 | 0 |
51 | Boomshanka:1 | Bar Shabtai | 0.05 | 0.01 | 0 | 0 |
52 | Tiny Wings:1 | haoyu | 0.06 | 0.01 | 0 | 0 |
53 | Tom T:1 | Andrew Werner | 0.06 | 0.02 | 0 | 0 |
54 | Ytterbium:0 | Andrew Grasso | 0.06 | 0.02 | 0 | 0 |
55 | Sunny:0 | Green "The Bean" Choi | 0.06 | 0.02 | 0 | 0 |
56 | Tiny Wings:0 | haoyu | 0.06 | 0.02 | 0 | 0 |
57 | vluu:0 | Nihar the Great | 0.06 | 0.01 | 0 | 0 |
58 | Scheduling Generator 203:1 | Jameh | 0.07 | 0.02 | 0 | 0 |
59 | vluu:1 | Nihar the Great | 0.07 | 0.02 | 0 | 0 |
60 | totallyOnFallBreak:1 | Nikhilesh Sigatapu | 0.07 | 0.01 | 0 | 0 |
61 | totallyOnFallBreak:0 | Nikhilesh Sigatapu | 0.07 | 0.01 | 0 | 0 |
62 | Janie Gu:0 | Glenn Fisher | 0.07 | 0.07 | 0 | 0 |
63 | Jameh:1 | haoyu | 0.08 | 0.01 | 0 | 0 |
64 | Keji Xu:1 | Nihar the Great | 0.08 | 0.04 | 0 | 0 |
65 | Boomshanka:0 | haoyu | 0.08 | 0.01 | 0 | 0 |
66 | Dr Roberto:0 | Andrew Grasso | 0.08 | 0.03 | 0 | 0 |
67 | Sunny:1 | jabreezy | 0.09 | 0.01 | 0 | 0 |
68 | Keji Xu:0 | Nihar the Great | 0.09 | 0.03 | 0 | 0 |
69 | DeeEmEm:1 | haoyu | 0.10 | 0.02 | 0 | 0 |
70 | 0108:1 | haoyu | 0.10 | 0.01 | 0 | 0 |
71 | cat:0 | haoyu | 0.11 | 0.03 | 0 | 0 |
72 | Janie Gu:1 | Jonathan Kwok | 0.11 | 0.07 | 0 | 0 |
73 | Bob Dondero:1 | Mickey Mouse | 0.12 | 0.03 | 0 | 0 |
74 | cat:1 | haoyu | 0.12 | 0.03 | 0 | 0 |
75 | The Whitman Whale:0 | bigwig | 0.13 | 0.04 | 0 | 0 |
76 | Dr Roberto:1 | Andrew Grasso | 0.13 | 0.02 | 0 | 0 |
77 | Ytterbium:1 | Nihar the Great | 0.13 | 0.02 | 0 | 0 |
78 | Alex Fish:1 | haoyu | 0.13 | 0.02 | 0 | 0 |
79 | The Whitman Whale:1 | Andrew Grasso | 0.14 | 0.03 | 0 | 0 |
80 | George Okeowo:0 | Andrew Grasso | 0.17 | 0.01 | 0 | 0 |
81 | Tao:0 | Bar Shabtai | 0.17 | 0.02 | 0 | 0 |
82 | Bob Dondero:0 | Andrew Grasso | 0.18 | 0.02 | 0 | 0 |
83 | George Okeowo:1 | Andrew Grasso | 0.18 | 0.01 | 0 | 0 |
84 | Jordan Ash:0 | EC | 0.19 | 0.03 | 0 | 0 |
85 | Linda:0 | Andrew Grasso | 0.22 | 0.01 | 0 | 0 |
86 | Lisa Kim:0 | Aristotle | 0.23 | 0.07 | 0 | 0 |
87 | Lisa Kim:1 | Bar Shabtai | 0.24 | 0.06 | 0 | 0 |
88 | Alex Fish:0 | haoyu | 0.24 | 0.01 | 0 | 0 |
89 | AARON BURR, DROPPIN' HAMILTONS:1 | haoyu | 0.25 | 0.01 | 0 | 0 |
90 | kt4124:0 | haoyu | 0.26 | 0.03 | 0 | 0 |
91 | AARON BURR, DROPPIN' HAMILTONS:0 | haoyu | 0.26 | 0.00 | 0 | 0 |
92 | Samuel Jerome:0 | haoyu | 0.27 | 0.03 | 0 | 0 |
93 | kt4124:1 | haoyu | 0.28 | 0.04 | 0 | 0 |
94 | Linda:1 | Andrew Grasso | 0.32 | 0.02 | 0 | 0 |
95 | Nikhilesh Sigatapu:1 | haoyu | 0.45 | 0.04 | 0 | 0 |
96 | KingBach:1 | haoyu | 0.45 | 0.04 | 0 | 0 |
97 | bfang:0 | haoyu | 0.47 | 0.04 | 0 | 0 |
98 | Batman:1 | haoyu | 0.51 | 0.04 | 0 | 0 |
99 | Batman:0 | haoyu | 0.54 | 0.04 | 0 | 0 |
100 | Brendan Wright:1 | Deric Cheng | 0.54 | 0.10 | 0 | 0 |
101 | Sally Smith:1 | haoyu | 0.55 | 0.04 | 0 | 0 |
102 | Sally Smith:0 | haoyu | 0.58 | 0.04 | 0 | 0 |
103 | Nikhilesh Sigatapu:0 | haoyu | 0.59 | 0.03 | 0 | 0 |
104 | Sprt:1 | haoyu | 0.63 | 0.05 | 0 | 0 |
105 | Khoa:1 | Aristotle | 0.63 | 0.09 | 0 | 0 |
106 | KingBach:0 | haoyu | 0.65 | 0.06 | 0 | 0 |
107 | Khoa:0 | haoyu | 0.69 | 0.09 | 0 | 0 |
108 | bfang:1 | haoyu | 0.74 | 0.04 | 0 | 0 |
109 | soccer:0 | haoyu | 0.77 | 0.04 | 0 | 0 |
110 | Tao:1 | Aristotle | 1.05 | 0.07 | 0 | 0 |
111 | David Lackey:0 | Anon5 | 1.15 | 0.03 | 0 | 0 |
112 | DinnerPartyPlannerBM:1 | Nihar the Great | 1.25 | 0.06 | 0 | 0 |
113 | Mercury:1 | haoyu | 1.68 | 0.05 | 0 | 0 |
114 | dfshasdsf12:0 | haoyu | 1.93 | 0.09 | 0 | 0 |
115 | Lil Thug:0 | Andrew Grasso | 2.01 | 0.03 | 0 | 0 |
116 | David Lackey:1 | Bar Shabtai | 2.03 | 0.03 | 0 | 0 |
117 | burrito:0 | haoyu | 2.07 | 0.09 | 0 | 0 |
118 | Samuel Jerome:1 | haoyu | 2.09 | 0.03 | 0 | 0 |
119 | Lil Thug:1 | Andrew Grasso | 2.32 | 0.03 | 0 | 0 |
120 | Anon_K_P:1 | Aristotle | 2.53 | 0.03 | 0 | 0 |
121 | soccer:1 | haoyu | 2.63 | 0.04 | 0 | 0 |
122 | Sprt:0 | Aristotle | 2.68 | 0.11 | 0 | 0 |
123 | Glenn Fisher:0 | Elphaba | 3.37 | 0.02 | 0 | 0 |
124 | dfshasdsf12:1 | Nihar the Great | 3.55 | 0.11 | 0 | 0 |
125 | DinnerPartyPlannerBM:0 | Aristotle | 4.01 | 0.11 | 0 | 0 |
126 | jabreezy:1 | Mercury | 4.80 | 0.10 | 0 | 0 |
127 | John Whelchel:0 | haoyu | 5.26 | 0.06 | 0 | 0 |
128 | Sabar Dasgupta:0 | spl | 5.45 | 0.23 | 0 | 0 |
129 | Mercury:0 | haoyu | 5.63 | 0.05 | 0 | 0 |
130 | jabreezy:0 | Mercury | 5.73 | 0.09 | 0 | 0 |
131 | Aaron H:0 | Aristotle | 6.42 | 0.11 | 0 | 0 |
132 | Brendan Wright:0 | haoyu | 7.23 | 0.10 | 0 | 0 |
133 | Mike Hunt:0 | Aristotle | 7.48 | 0.27 | 0 | 0 |
134 | Aaron H:1 | Aristotle | 8.32 | 0.11 | 0 | 0 |
135 | CAPS LOCK:0 | Aristotle | 10.40 | 0.20 | 0 | 0 |
136 | burrito:1 | haoyu | 11.19 | 0.10 | 0 | 0 |
137 | nupog:1 | Aristotle | 12.27 | 0.12 | 0 | 0 |
138 | CAPS LOCK:1 | Aristotle | 12.84 | 0.25 | 0 | 0 |
139 | nupog:0 | Aristotle | 14.33 | 0.13 | 0 | 0 |
140 | Quite Satisfied:1 | Joel Faron | 15.00 | 2.11 | 2 | 1 |
141 | T. Capote:0 | haoyu | 15.00 | 0.00 | 2 | 2 |
142 | T. Capote:1 | haoyu | 15.00 | 0.00 | 2 | 2 |
143 | Jessie Chen:1 | Joel Faron | 15.00 | 0.12 | 3 | 1 |
144 | Andrew Werner:0 | Aaron Doll | 15.00 | 0.33 | 4 | 0 |
145 | Qinlan Shen:1 | R. A. B. | 15.00 | 9.00 | 4 | 1 |
146 | Jessie Chen:0 | Joel Faron | 15.00 | 0.13 | 5 | 1 |
147 | DeeEmEm:0 | CAPS LOCK | 15.00 | 13.00 | 5 | 1 |
148 | Valya Barboy:1 | Shaheed Chagani | 15.00 | 0.18 | 6 | 0 |
149 | 0108:0 | jgs | 15.00 | 14.98 | 10 | 1 |
150 | Valya Barboy:0 | Aristotle | 15.00 | 0.06 | 11 | 0 |
151 | CookieMonster:0 | CookieMonster | 15.00 | 0.82 | 13 | 0 |
152 | SuperFan:1 | jgs | 15.00 | 14.98 | 13 | 4 |
153 | Sabar Dasgupta:1 | Aaron Doll | 15.00 | 0.17 | 13 | 0 |
154 | Anon5:1 | Green "The Bean" Choi | 15.00 | 0.07 | 14 | 0 |
155 | Fanny:0 | Aristotle | 15.00 | 0.10 | 15 | 0 |
156 | Charliezsc:1 | haoyu | 15.00 | 0.07 | 15 | 0 |
157 | David H.:0 | AFC | 15.00 | 0.28 | 15 | 0 |
158 | Anon_K_P:0 | haoyu | 15.00 | 0.02 | 16 | 0 |
159 | David H.:1 | DeeEmEm | 15.00 | 0.33 | 16 | 0 |
160 | Anon5:0 | haoyu | 15.00 | 0.05 | 17 | 0 |
161 | EC:1 | haoyu | 15.00 | 0.03 | 18 | 0 |
162 | Yacob Y.:0 | haoyu | 15.00 | 0.06 | 18 | 0 |
163 | AFC:0 | CookieMonster | 15.00 | 0.34 | 21 | 0 |
164 | Fanny:1 | Aristotle | 15.00 | 0.12 | 24 | 0 |
165 | ebp:0 | haoyu | 15.00 | 0.04 | 26 | 0 |
166 | SuperFan:0 | jgs | 15.00 | 14.98 | 27 | 4 |
167 | Absurdity:0 | Aristotle | 15.00 | 0.23 | 29 | 0 |
168 | Mr. Blobby:0 | Green "The Bean" Choi | 15.00 | 0.14 | 30 | 0 |
169 | Andys:0 | Aristotle | 15.00 | 0.12 | 31 | 0 |
170 | Absurdity:1 | Aristotle | 15.00 | 0.18 | 32 | 0 |
171 | Andrew Grasso:1 | Shaheed Chagani | 15.00 | 0.15 | 32 | 0 |
172 | Yacob Y.:1 | Aristotle | 15.00 | 15.00 | 32 | 1 |
173 | ebp:1 | haoyu | 15.00 | 0.04 | 33 | 0 |
174 | spl:0 | Elphaba | 15.00 | 0.09 | 36 | 0 |
175 | Andrew Grasso:0 | Aaron Doll | 15.00 | 0.18 | 36 | 0 |
176 | Walter Little:1 | haoyu | 15.00 | 0.03 | 39 | 0 |
177 | Mr. Blobby:1 | dusty | 15.00 | 0.12 | 39 | 0 |
178 | Glenn Fisher:1 | jabreezy | 15.00 | 0.09 | 39 | 0 |
179 | Dusty:1 | Shaheed Chagani | 15.00 | 0.22 | 40 | 0 |
180 | Ben Chen:1 | spl | 15.00 | 0.20 | 42 | 0 |
181 | Dusty:0 | CookieMonster | 15.00 | 1.39 | 43 | 0 |
182 | Supahaka:0 | Andrew Werner | 15.00 | 15.00 | 46 | 35 |
183 | Yan Wu:1 | haoyu | 15.00 | 0.04 | 49 | 0 |
184 | Ben Chen:0 | Elphaba | 15.00 | 0.07 | 50 | 0 |
185 | Supahaka:1 | Joel Faron | 15.00 | 15.00 | 50 | 35 |
186 | Matt Haake:1 | haoyu | 15.00 | 0.05 | 58 | 0 |
187 | Walter Little:0 | haoyu | 15.00 | 0.04 | 64 | 0 |
188 | Matt Haake:0 | haoyu | 15.00 | 0.05 | 64 | 0 |
189 | NA:1 | Elphaba | 15.00 | 0.04 | 65 | 0 |
190 | NA:0 | haoyu | 15.00 | 0.03 | 71 | 0 |
191 | Mark S. Fillmore:1 | Supahaka | 15.00 | 0.04 | 79 | 79 |
192 | Yan Wu:0 | haoyu | 15.00 | 0.05 | 91 | 0 |
193 | snowflakes:0 | haoyu | 15.00 | 0.03 | 106 | 0 |
194 | Mark S. Fillmore:0 | Supahaka | 15.00 | 0.01 | 116 | 116 |
195 | BH:1 | haoyu | 15.00 | 0.05 | 326 | 0 |
196 | Elphaba:1 | Aristotle | 15.00 | 0.22 | 685 | 0 |
197 | Shaheed Chagani:0 | Aristotle | 15.00 | 0.17 | 9 | 0 |
198 | CookieMonster:1 | CookieMonster | 15.00 | 1.10 | 11 | 0 |
199 | Charliezsc:0 | jgs | 15.00 | 14.98 | 13 | 1 |
200 | EC:0 | haoyu | 15.00 | 0.03 | 19 | 0 |
201 | snowflakes:1 | haoyu | 15.00 | 0.03 | 111 | 0 |
202 | Aristotle:0 | Aristotle | 15.00 | 15.00 | 709990 | 1 |
203 | AFC:1 | Aristotle | 15.00 | 0.16 | 19 | 0 |
204 | spl:1 | haoyu | 15.00 | 0.06 | 30 | 0 |
205 | Deric Cheng:0 | jgs | 15.01 | 14.99 | 4 | 1 |
206 | Nihar the Great:1 | Aristotle | 15.01 | 0.25 | 18617 | 0 |
207 | 13a:1 | Aaron Doll | 15.01 | 15.00 | 31355 | 29 |
208 | Mike Hunt:1 | Aristotle | 15.01 | 0.29 | 27 | 0 |
209 | BH:0 | haoyu | 15.01 | 0.07 | 220 | 0 |
210 | Nihar the Great:0 | Aristotle | 15.01 | 0.23 | 16037 | 0 |
211 | 13a:0 | Aaron Doll | 15.01 | 15.00 | 31423 | 21 |
212 | John Whelchel:1 | haoyu | 15.01 | 0.11 | 8 | 0 |
213 | Elphaba:0 | Aristotle | 15.01 | 0.24 | 509 | 0 |
214 | Shaheed Chagani:1 | Aristotle | 15.01 | 0.11 | 9 | 0 |
215 | Aaron Doll:0 | Aristotle | 15.02 | 0.56 | 206622 | 0 |
216 | Deric Cheng:1 | jgs | 15.03 | 14.98 | 4 | 1 |
217 | Aaron Doll:1 | Aristotle | 15.03 | 1.27 | 267936 | 0 |
218 | Bar Shabtai:0 | Aaron Doll | 15.03 | 15.01 | 265962 | 1 |
219 | Bar Shabtai:1 | haoyu | 15.04 | 0.12 | 1 | 0 |
220 | Matt Goldsmith:1 | Happy | 15.04 | 0.03 | 513266 | 0 |
221 | Andys:1 | Aristotle | 15.05 | 0.13 | 19 | 0 |
222 | Matt Goldsmith:0 | Nihar the Great | 15.05 | 0.03 | 507449 | 0 |
223 | jgs:1 | haoyu | 15.05 | 0.18 | 6 | 0 |
224 | Andrew Werner:1 | haoyu | 15.05 | 0.11 | 6 | 0 |
225 | Aristotle:1 | Aristotle | 15.09 | 9.69 | 713361 | 0 |
226 | jgs:0 | Aristotle | 15.13 | 0.12 | 15 | 0 |
227 | Mike Honcho:0 | Miranda | - | 0.01 | - | 0 |
228 | Mike Honcho:1 | Jessie Chen | - | 0.01 | - | 0 |
SatSolvers Ranklist | Generators Ranklist |