SatSolvers Ranklist | Generators Ranklist |
Satsolver: | vhsiao |
Rank: | 32 / 118 |
Average Score: | 5.62 |
Median Score: | 0.77 |
Description: | This is a variant of WalkSAT that performs pure symbol heuristics before entering the main while loop. Also, it attempts to use some "early termination" techniques to make it easier to find the literal which maximizes the number of satisfied clauses |
Generator | Best solver | Time taken | Best time | Unsat | Best unsat | |
---|---|---|---|---|---|---|
1 | Bebe Shi:1 | KingBach | 0.00 | 0.00 | 0 | 0 |
2 | Ravi Tandon:0 | KingBach | 0.01 | 0.00 | 0 | 0 |
3 | K.L.:1 | KingBach | 0.01 | 0.00 | 0 | 0 |
4 | bigwig:1 | KingBach | 0.01 | 0.00 | 0 | 0 |
5 | Ravi Tandon:1 | KingBach | 0.01 | 0.00 | 0 | 0 |
6 | bigwig:0 | Andrew Werner | 0.01 | 0.00 | 0 | 0 |
7 | Jonathan Kwok:0 | Elphaba | 0.01 | 0.00 | 0 | 0 |
8 | Bebe Shi:0 | KingBach | 0.01 | 0.00 | 0 | 0 |
9 | BMJ:1 | burrito | 0.01 | 0.00 | 0 | 0 |
10 | Joshua Zimmer:0 | haoyu | 0.02 | 0.00 | 0 | 0 |
11 | Happy:1 | KingBach | 0.02 | 0.00 | 0 | 0 |
12 | Blam:1 | Elphaba | 0.02 | 0.00 | 0 | 0 |
13 | Blam:0 | Elphaba | 0.03 | 0.00 | 0 | 0 |
14 | Solving For Clauses:0 | Glenn Fisher | 0.03 | 0.00 | 0 | 0 |
15 | Joshua Zimmer:1 | haoyu | 0.03 | 0.00 | 0 | 0 |
16 | bchouGenerator:0 | haoyu | 0.04 | 0.00 | 0 | 0 |
17 | Quite Satisfied:0 | haoyu | 0.04 | 0.00 | 0 | 0 |
18 | Jonathan Kwok:1 | KingBach | 0.04 | 0.00 | 0 | 0 |
19 | haoyu:0 | KingBach | 0.04 | 0.01 | 0 | 0 |
20 | BMJ:0 | Elphaba | 0.05 | 0.00 | 0 | 0 |
21 | Jordan Ash:1 | Bar Shabtai | 0.05 | 0.01 | 0 | 0 |
22 | haoyu:1 | Anon5 | 0.05 | 0.01 | 0 | 0 |
23 | Solving For Clauses:1 | haoyu | 0.05 | 0.00 | 0 | 0 |
24 | R. A. B.:1 | cat | 0.05 | 0.00 | 0 | 0 |
25 | The Kraken:1 | haoyu | 0.06 | 0.00 | 0 | 0 |
26 | bchouGenerator:1 | Jonathan Kwok | 0.06 | 0.01 | 0 | 0 |
27 | Miranda:0 | cat | 0.06 | 0.00 | 0 | 0 |
28 | Qinlan Shen:0 | Bar Shabtai | 0.06 | 0.01 | 0 | 0 |
29 | Daffy Duck:1 | haoyu | 0.06 | 0.00 | 0 | 0 |
30 | The Kraken:0 | haoyu | 0.06 | 0.00 | 0 | 0 |
31 | Miranda:1 | cat | 0.06 | 0.00 | 0 | 0 |
32 | K.L.:0 | haoyu | 0.06 | 0.00 | 0 | 0 |
33 | Mickey Mouse:0 | Bar Shabtai | 0.07 | 0.01 | 0 | 0 |
34 | Gewang:0 | Jonathan Kwok | 0.07 | 0.00 | 0 | 0 |
35 | Daffy Duck:0 | Andrew Werner | 0.07 | 0.00 | 0 | 0 |
36 | Mickey Mouse:1 | haoyu | 0.08 | 0.01 | 0 | 0 |
37 | Gewang:1 | Jonathan Kwok | 0.08 | 0.00 | 0 | 0 |
38 | cmF5a3ly:1 | Nihar the Great | 0.08 | 0.00 | 0 | 0 |
39 | cmF5a3ly:0 | Nihar the Great | 0.09 | 0.00 | 0 | 0 |
40 | vluu:0 | Nihar the Great | 0.09 | 0.01 | 0 | 0 |
41 | R. A. B.:0 | Nihar the Great | 0.09 | 0.00 | 0 | 0 |
42 | Alex Fish:1 | haoyu | 0.10 | 0.02 | 0 | 0 |
43 | vluu:1 | Nihar the Great | 0.10 | 0.02 | 0 | 0 |
44 | Jordan Ash:0 | EC | 0.11 | 0.03 | 0 | 0 |
45 | Tree Prophet:1 | haoyu | 0.11 | 0.00 | 0 | 0 |
46 | weezy:0 | Bar Shabtai | 0.11 | 0.01 | 0 | 0 |
47 | Tree Prophet:0 | haoyu | 0.12 | 0.00 | 0 | 0 |
48 | cat:1 | haoyu | 0.14 | 0.03 | 0 | 0 |
49 | David Paulk:0 | cat | 0.14 | 0.00 | 0 | 0 |
50 | weezy:1 | Bar Shabtai | 0.14 | 0.01 | 0 | 0 |
51 | 0108:1 | haoyu | 0.16 | 0.01 | 0 | 0 |
52 | The Whitman Whale:0 | bigwig | 0.17 | 0.04 | 0 | 0 |
53 | Matt Haake:1 | haoyu | 0.17 | 0.05 | 0 | 0 |
54 | David Paulk:1 | Bar Shabtai | 0.20 | 0.00 | 0 | 0 |
55 | Keji Xu:0 | Nihar the Great | 0.20 | 0.03 | 0 | 0 |
56 | Tom T:0 | EC | 0.20 | 0.02 | 0 | 0 |
57 | Happy:0 | haoyu | 0.21 | 0.00 | 0 | 0 |
58 | Scheduling Generator 203:0 | jgs | 0.22 | 0.01 | 0 | 0 |
59 | The Whitman Whale:1 | Andrew Grasso | 0.23 | 0.03 | 0 | 0 |
60 | Tom T:1 | Andrew Werner | 0.23 | 0.02 | 0 | 0 |
61 | bfang:1 | haoyu | 0.23 | 0.04 | 0 | 0 |
62 | David Lackey:0 | Anon5 | 0.24 | 0.03 | 0 | 0 |
63 | David Lackey:1 | Bar Shabtai | 0.24 | 0.03 | 0 | 0 |
64 | Anon_K_P:0 | haoyu | 0.24 | 0.02 | 0 | 0 |
65 | cat:0 | haoyu | 0.25 | 0.03 | 0 | 0 |
66 | Anon_K_P:1 | Aristotle | 0.25 | 0.03 | 0 | 0 |
67 | Dr Roberto:1 | Andrew Grasso | 0.26 | 0.02 | 0 | 0 |
68 | Jameh:0 | haoyu | 0.26 | 0.01 | 0 | 0 |
69 | Lisa Kim:0 | Aristotle | 0.28 | 0.07 | 0 | 0 |
70 | Keji Xu:1 | Nihar the Great | 0.29 | 0.04 | 0 | 0 |
71 | Lisa Kim:1 | Bar Shabtai | 0.31 | 0.06 | 0 | 0 |
72 | Samuel Jerome:0 | haoyu | 0.31 | 0.03 | 0 | 0 |
73 | Batman:0 | haoyu | 0.31 | 0.04 | 0 | 0 |
74 | Dr Roberto:0 | Andrew Grasso | 0.32 | 0.03 | 0 | 0 |
75 | Batman:1 | haoyu | 0.34 | 0.04 | 0 | 0 |
76 | KingBach:1 | haoyu | 0.34 | 0.04 | 0 | 0 |
77 | AARON BURR, DROPPIN' HAMILTONS:0 | haoyu | 0.35 | 0.00 | 0 | 0 |
78 | Jameh:1 | haoyu | 0.36 | 0.01 | 0 | 0 |
79 | Linda:0 | Andrew Grasso | 0.36 | 0.01 | 0 | 0 |
80 | Sprt:1 | haoyu | 0.38 | 0.05 | 0 | 0 |
81 | Janie Gu:0 | Glenn Fisher | 0.38 | 0.07 | 0 | 0 |
82 | bfang:0 | haoyu | 0.39 | 0.04 | 0 | 0 |
83 | Scheduling Generator 203:1 | Jameh | 0.40 | 0.02 | 0 | 0 |
84 | Yan Wu:0 | haoyu | 0.41 | 0.05 | 0 | 0 |
85 | Glenn Fisher:0 | Elphaba | 0.41 | 0.02 | 0 | 0 |
86 | Khoa:1 | Aristotle | 0.42 | 0.09 | 0 | 0 |
87 | Tao:1 | Aristotle | 0.44 | 0.07 | 0 | 0 |
88 | Khoa:0 | haoyu | 0.44 | 0.09 | 0 | 0 |
89 | Tiny Wings:0 | haoyu | 0.45 | 0.02 | 0 | 0 |
90 | Sally Smith:0 | haoyu | 0.47 | 0.04 | 0 | 0 |
91 | Mercury:1 | haoyu | 0.47 | 0.05 | 0 | 0 |
92 | Janie Gu:1 | Jonathan Kwok | 0.47 | 0.07 | 0 | 0 |
93 | Nikhilesh Sigatapu:1 | haoyu | 0.48 | 0.04 | 0 | 0 |
94 | Tao:0 | Bar Shabtai | 0.49 | 0.02 | 0 | 0 |
95 | AARON BURR, DROPPIN' HAMILTONS:1 | haoyu | 0.50 | 0.01 | 0 | 0 |
96 | BH:1 | haoyu | 0.52 | 0.05 | 0 | 0 |
97 | Nikhilesh Sigatapu:0 | haoyu | 0.53 | 0.03 | 0 | 0 |
98 | Yacob Y.:0 | haoyu | 0.55 | 0.06 | 0 | 0 |
99 | Bob Dondero:0 | Andrew Grasso | 0.55 | 0.02 | 0 | 0 |
100 | DeeEmEm:1 | haoyu | 0.55 | 0.02 | 0 | 0 |
101 | kt4124:0 | haoyu | 0.56 | 0.03 | 0 | 0 |
102 | DinnerPartyPlannerBM:1 | Nihar the Great | 0.57 | 0.06 | 0 | 0 |
103 | dfshasdsf12:0 | haoyu | 0.57 | 0.09 | 0 | 0 |
104 | Linda:1 | Andrew Grasso | 0.58 | 0.02 | 0 | 0 |
105 | Sally Smith:1 | haoyu | 0.60 | 0.04 | 0 | 0 |
106 | Boomshanka:0 | haoyu | 0.62 | 0.01 | 0 | 0 |
107 | Matt Haake:0 | haoyu | 0.70 | 0.05 | 0 | 0 |
108 | Samuel Jerome:1 | haoyu | 0.70 | 0.03 | 0 | 0 |
109 | Mr. Blobby:1 | dusty | 0.71 | 0.12 | 0 | 0 |
110 | BH:0 | haoyu | 0.72 | 0.07 | 0 | 0 |
111 | Ytterbium:0 | Andrew Grasso | 0.73 | 0.02 | 0 | 0 |
112 | Tiny Wings:1 | haoyu | 0.75 | 0.01 | 0 | 0 |
113 | dfshasdsf12:1 | Nihar the Great | 0.77 | 0.11 | 0 | 0 |
114 | Lil Thug:1 | Andrew Grasso | 0.79 | 0.03 | 0 | 0 |
115 | Aaron H:1 | Aristotle | 0.80 | 0.11 | 0 | 0 |
116 | DinnerPartyPlannerBM:0 | Aristotle | 0.80 | 0.11 | 0 | 0 |
117 | Lil Thug:0 | Andrew Grasso | 0.81 | 0.03 | 0 | 0 |
118 | Yan Wu:1 | haoyu | 0.84 | 0.04 | 0 | 0 |
119 | Boomshanka:1 | Bar Shabtai | 0.85 | 0.01 | 0 | 0 |
120 | Mercury:0 | haoyu | 0.90 | 0.05 | 0 | 0 |
121 | Valya Barboy:1 | Shaheed Chagani | 0.96 | 0.18 | 0 | 0 |
122 | Sunny:0 | Green "The Bean" Choi | 0.97 | 0.02 | 0 | 0 |
123 | Sprt:0 | Aristotle | 1.07 | 0.11 | 0 | 0 |
124 | Alex Fish:0 | haoyu | 1.10 | 0.01 | 0 | 0 |
125 | Bob Dondero:1 | Mickey Mouse | 1.11 | 0.03 | 0 | 0 |
126 | Valya Barboy:0 | Aristotle | 1.13 | 0.06 | 0 | 0 |
127 | Mr. Blobby:0 | Green "The Bean" Choi | 1.25 | 0.14 | 0 | 0 |
128 | Ytterbium:1 | Nihar the Great | 1.38 | 0.02 | 0 | 0 |
129 | soccer:1 | haoyu | 1.44 | 0.04 | 0 | 0 |
130 | burrito:0 | haoyu | 1.45 | 0.09 | 0 | 0 |
131 | soccer:0 | haoyu | 1.46 | 0.04 | 0 | 0 |
132 | kt4124:1 | haoyu | 1.47 | 0.04 | 0 | 0 |
133 | KingBach:0 | haoyu | 1.52 | 0.06 | 0 | 0 |
134 | Brendan Wright:1 | Deric Cheng | 1.66 | 0.10 | 0 | 0 |
135 | Elphaba:0 | Aristotle | 1.91 | 0.24 | 0 | 0 |
136 | Anon5:1 | Green "The Bean" Choi | 2.03 | 0.07 | 0 | 0 |
137 | Nihar the Great:1 | Aristotle | 2.09 | 0.25 | 0 | 0 |
138 | snowflakes:1 | haoyu | 2.11 | 0.03 | 0 | 0 |
139 | Elphaba:1 | Aristotle | 2.13 | 0.22 | 0 | 0 |
140 | Walter Little:0 | haoyu | 2.20 | 0.04 | 0 | 0 |
141 | Aaron H:0 | Aristotle | 2.21 | 0.11 | 0 | 0 |
142 | CAPS LOCK:0 | Aristotle | 2.22 | 0.20 | 0 | 0 |
143 | Ben Chen:0 | Elphaba | 2.25 | 0.07 | 0 | 0 |
144 | Sunny:1 | jabreezy | 2.27 | 0.01 | 0 | 0 |
145 | Andys:1 | Aristotle | 2.28 | 0.13 | 0 | 0 |
146 | Sabar Dasgupta:1 | Aaron Doll | 2.29 | 0.17 | 0 | 0 |
147 | George Okeowo:1 | Andrew Grasso | 2.34 | 0.01 | 0 | 0 |
148 | Nihar the Great:0 | Aristotle | 2.35 | 0.23 | 0 | 0 |
149 | Bar Shabtai:1 | haoyu | 2.38 | 0.12 | 0 | 0 |
150 | jabreezy:0 | Mercury | 2.41 | 0.09 | 0 | 0 |
151 | Mike Hunt:0 | Aristotle | 3.00 | 0.27 | 0 | 0 |
152 | burrito:1 | haoyu | 3.14 | 0.10 | 0 | 0 |
153 | Mike Hunt:1 | Aristotle | 3.50 | 0.29 | 0 | 0 |
154 | Andrew Grasso:0 | Aaron Doll | 3.71 | 0.18 | 0 | 0 |
155 | jabreezy:1 | Mercury | 3.80 | 0.10 | 0 | 0 |
156 | ebp:0 | haoyu | 4.23 | 0.04 | 0 | 0 |
157 | CAPS LOCK:1 | Aristotle | 4.26 | 0.25 | 0 | 0 |
158 | ebp:1 | haoyu | 4.37 | 0.04 | 0 | 0 |
159 | EC:1 | haoyu | 4.39 | 0.03 | 0 | 0 |
160 | Anon5:0 | haoyu | 4.59 | 0.05 | 0 | 0 |
161 | AFC:1 | Aristotle | 4.65 | 0.16 | 0 | 0 |
162 | Brendan Wright:0 | haoyu | 4.75 | 0.10 | 0 | 0 |
163 | Fanny:0 | Aristotle | 5.63 | 0.10 | 0 | 0 |
164 | jgs:0 | Aristotle | 5.76 | 0.12 | 0 | 0 |
165 | Dusty:1 | Shaheed Chagani | 5.87 | 0.22 | 0 | 0 |
166 | George Okeowo:0 | Andrew Grasso | 6.24 | 0.01 | 0 | 0 |
167 | Ben Chen:1 | spl | 6.33 | 0.20 | 0 | 0 |
168 | NA:1 | Elphaba | 6.39 | 0.04 | 0 | 0 |
169 | Fanny:1 | Aristotle | 6.77 | 0.12 | 0 | 0 |
170 | Aaron Doll:0 | Aristotle | 7.13 | 0.56 | 0 | 0 |
171 | jgs:1 | haoyu | 7.19 | 0.18 | 0 | 0 |
172 | Mike Honcho:0 | Miranda | 7.37 | 0.01 | 0 | 0 |
173 | Andrew Grasso:1 | Shaheed Chagani | 7.49 | 0.15 | 0 | 0 |
174 | David H.:0 | AFC | 7.56 | 0.28 | 0 | 0 |
175 | totallyOnFallBreak:0 | Nikhilesh Sigatapu | 7.88 | 0.01 | 0 | 0 |
176 | John Whelchel:0 | haoyu | 8.10 | 0.06 | 0 | 0 |
177 | totallyOnFallBreak:1 | Nikhilesh Sigatapu | 8.83 | 0.01 | 0 | 0 |
178 | Sabar Dasgupta:0 | spl | 9.86 | 0.23 | 0 | 0 |
179 | EC:0 | haoyu | 9.96 | 0.03 | 0 | 0 |
180 | snowflakes:0 | haoyu | 12.71 | 0.03 | 0 | 0 |
181 | Andys:0 | Aristotle | 12.74 | 0.12 | 0 | 0 |
182 | Mike Honcho:1 | Jessie Chen | 13.55 | 0.01 | 0 | 0 |
183 | Qinlan Shen:1 | R. A. B. | 14.98 | 9.00 | 1 | 1 |
184 | Quite Satisfied:1 | Joel Faron | 14.98 | 2.11 | 1 | 1 |
185 | Jessie Chen:1 | Joel Faron | 14.98 | 0.12 | 1 | 1 |
186 | T. Capote:0 | haoyu | 14.98 | 0.00 | 2 | 2 |
187 | T. Capote:1 | haoyu | 14.98 | 0.00 | 2 | 2 |
188 | Mark S. Fillmore:1 | Supahaka | 14.98 | 0.04 | 79 | 79 |
189 | Mark S. Fillmore:0 | Supahaka | 14.98 | 0.01 | 116 | 116 |
190 | CookieMonster:1 | CookieMonster | 14.98 | 1.10 | 1 | 0 |
191 | Jessie Chen:0 | Joel Faron | 14.98 | 0.13 | 2 | 1 |
192 | CookieMonster:0 | CookieMonster | 14.99 | 0.82 | 2 | 0 |
193 | 0108:0 | jgs | 14.98 | 14.98 | 2 | 1 |
194 | John Whelchel:1 | haoyu | 14.99 | 0.11 | 4 | 0 |
195 | Walter Little:1 | haoyu | 14.98 | 0.03 | 4 | 0 |
196 | Shaheed Chagani:0 | Aristotle | 15.00 | 0.17 | 5 | 0 |
197 | Shaheed Chagani:1 | Aristotle | 14.98 | 0.11 | 5 | 0 |
198 | spl:1 | haoyu | 14.98 | 0.06 | 5 | 0 |
199 | Charliezsc:0 | jgs | 14.99 | 14.98 | 6 | 1 |
200 | Absurdity:0 | Aristotle | 14.98 | 0.23 | 6 | 0 |
201 | DeeEmEm:0 | CAPS LOCK | 14.98 | 13.00 | 7 | 1 |
202 | AFC:0 | CookieMonster | 14.98 | 0.34 | 7 | 0 |
203 | Glenn Fisher:1 | jabreezy | 14.98 | 0.09 | 8 | 0 |
204 | spl:0 | Elphaba | 14.98 | 0.09 | 9 | 0 |
205 | David H.:1 | DeeEmEm | 14.98 | 0.33 | 11 | 0 |
206 | Absurdity:1 | Aristotle | 14.98 | 0.18 | 11 | 0 |
207 | SuperFan:1 | jgs | 14.98 | 14.98 | 11 | 4 |
208 | Dusty:0 | CookieMonster | 14.98 | 1.39 | 12 | 0 |
209 | Aaron Doll:1 | Aristotle | 14.99 | 1.27 | 12 | 0 |
210 | SuperFan:0 | jgs | 14.98 | 14.98 | 16 | 4 |
211 | Bar Shabtai:0 | Aaron Doll | 14.99 | 15.01 | 21 | 1 |
212 | Yacob Y.:1 | Aristotle | 14.98 | 15.00 | 24 | 1 |
213 | NA:0 | haoyu | 14.98 | 0.03 | 26 | 0 |
214 | Aristotle:1 | Aristotle | 14.99 | 9.69 | 43 | 0 |
215 | Supahaka:1 | Joel Faron | 14.98 | 15.00 | 47 | 35 |
216 | Aristotle:0 | Aristotle | 14.98 | 15.00 | 51 | 1 |
217 | Supahaka:0 | Andrew Werner | 14.98 | 15.00 | 52 | 35 |
218 | 13a:1 | Aaron Doll | 14.99 | 15.00 | 69 | 29 |
219 | 13a:0 | Aaron Doll | 14.98 | 15.00 | 70 | 21 |
220 | Andrew Werner:0 | Aaron Doll | 15.01 | 0.33 | 2 | 0 |
221 | Charliezsc:1 | haoyu | 15.01 | 0.07 | 4 | 0 |
222 | Deric Cheng:0 | jgs | 15.09 | 14.99 | 4 | 1 |
223 | Deric Cheng:1 | jgs | 15.10 | 14.98 | 2 | 1 |
224 | Andrew Werner:1 | haoyu | 15.17 | 0.11 | 2 | 0 |
225 | nupog:0 | Aristotle | 25.60 | 0.13 | 3942 | 0 |
226 | nupog:1 | Aristotle | 26.30 | 0.12 | 3930 | 0 |
227 | Matt Goldsmith:0 | Nihar the Great | - | 0.03 | - | 0 |
228 | Matt Goldsmith:1 | Happy | - | 0.03 | - | 0 |
SatSolvers Ranklist | Generators Ranklist |