SatSolvers Ranklist | Generators Ranklist |
Satsolver: | jabreezy |
Rank: | 115 / 118 |
Average Score: | 57.97 |
Median Score: | 0.24 |
Description: | This Sat Solver is based on DPLL. It is implemented as an iterative SAT search. It deduces at each step with unit propagation, in addition to preprocessing done before all steps. Each next variable is chosen for assignment based on a priority queue in which the variables are ranked by occurences in clauses. The assignment for said variable is also chosen by heuristic (of which I have two). |
Generator | Best solver | Time taken | Best time | Unsat | Best unsat | |
---|---|---|---|---|---|---|
1 | bigwig:0 | Andrew Werner | 0.00 | 0.00 | 0 | 0 |
2 | BMJ:0 | Elphaba | 0.00 | 0.00 | 0 | 0 |
3 | bigwig:1 | KingBach | 0.00 | 0.00 | 0 | 0 |
4 | Blam:1 | Elphaba | 0.00 | 0.00 | 0 | 0 |
5 | Jonathan Kwok:1 | KingBach | 0.00 | 0.00 | 0 | 0 |
6 | BMJ:1 | burrito | 0.00 | 0.00 | 0 | 0 |
7 | Bebe Shi:0 | KingBach | 0.00 | 0.00 | 0 | 0 |
8 | Jonathan Kwok:0 | Elphaba | 0.00 | 0.00 | 0 | 0 |
9 | Ravi Tandon:1 | KingBach | 0.00 | 0.00 | 0 | 0 |
10 | Blam:0 | Elphaba | 0.00 | 0.00 | 0 | 0 |
11 | Bebe Shi:1 | KingBach | 0.01 | 0.00 | 0 | 0 |
12 | David Paulk:0 | cat | 0.01 | 0.00 | 0 | 0 |
13 | Happy:1 | KingBach | 0.01 | 0.00 | 0 | 0 |
14 | Miranda:1 | cat | 0.01 | 0.00 | 0 | 0 |
15 | Miranda:0 | cat | 0.01 | 0.00 | 0 | 0 |
16 | K.L.:1 | KingBach | 0.01 | 0.00 | 0 | 0 |
17 | K.L.:0 | haoyu | 0.01 | 0.00 | 0 | 0 |
18 | Daffy Duck:1 | haoyu | 0.01 | 0.00 | 0 | 0 |
19 | R. A. B.:1 | cat | 0.01 | 0.00 | 0 | 0 |
20 | Tree Prophet:0 | haoyu | 0.01 | 0.00 | 0 | 0 |
21 | Ravi Tandon:0 | KingBach | 0.01 | 0.00 | 0 | 0 |
22 | Solving For Clauses:0 | Glenn Fisher | 0.01 | 0.00 | 0 | 0 |
23 | Solving For Clauses:1 | haoyu | 0.01 | 0.00 | 0 | 0 |
24 | Tree Prophet:1 | haoyu | 0.01 | 0.00 | 0 | 0 |
25 | Sunny:1 | jabreezy | 0.01 | 0.01 | 0 | 0 |
26 | Joshua Zimmer:0 | haoyu | 0.02 | 0.00 | 0 | 0 |
27 | Quite Satisfied:0 | haoyu | 0.02 | 0.00 | 0 | 0 |
28 | bchouGenerator:0 | haoyu | 0.02 | 0.00 | 0 | 0 |
29 | Joshua Zimmer:1 | haoyu | 0.02 | 0.00 | 0 | 0 |
30 | David Paulk:1 | Bar Shabtai | 0.02 | 0.00 | 0 | 0 |
31 | Gewang:1 | Jonathan Kwok | 0.02 | 0.00 | 0 | 0 |
32 | bchouGenerator:1 | Jonathan Kwok | 0.02 | 0.01 | 0 | 0 |
33 | Gewang:0 | Jonathan Kwok | 0.02 | 0.00 | 0 | 0 |
34 | Sunny:0 | Green "The Bean" Choi | 0.02 | 0.02 | 0 | 0 |
35 | The Kraken:1 | haoyu | 0.03 | 0.00 | 0 | 0 |
36 | R. A. B.:0 | Nihar the Great | 0.03 | 0.00 | 0 | 0 |
37 | The Kraken:0 | haoyu | 0.03 | 0.00 | 0 | 0 |
38 | Jameh:0 | haoyu | 0.03 | 0.01 | 0 | 0 |
39 | Qinlan Shen:0 | Bar Shabtai | 0.03 | 0.01 | 0 | 0 |
40 | 0108:1 | haoyu | 0.03 | 0.01 | 0 | 0 |
41 | Boomshanka:0 | haoyu | 0.05 | 0.01 | 0 | 0 |
42 | Jameh:1 | haoyu | 0.06 | 0.01 | 0 | 0 |
43 | Boomshanka:1 | Bar Shabtai | 0.06 | 0.01 | 0 | 0 |
44 | snowflakes:1 | haoyu | 0.06 | 0.03 | 0 | 0 |
45 | NA:1 | Elphaba | 0.07 | 0.04 | 0 | 0 |
46 | Scheduling Generator 203:0 | jgs | 0.07 | 0.01 | 0 | 0 |
47 | snowflakes:0 | haoyu | 0.07 | 0.03 | 0 | 0 |
48 | Alex Fish:0 | haoyu | 0.07 | 0.01 | 0 | 0 |
49 | David Lackey:0 | Anon5 | 0.07 | 0.03 | 0 | 0 |
50 | David Lackey:1 | Bar Shabtai | 0.07 | 0.03 | 0 | 0 |
51 | Mickey Mouse:1 | haoyu | 0.07 | 0.01 | 0 | 0 |
52 | Mickey Mouse:0 | Bar Shabtai | 0.07 | 0.01 | 0 | 0 |
53 | Alex Fish:1 | haoyu | 0.08 | 0.02 | 0 | 0 |
54 | weezy:0 | Bar Shabtai | 0.08 | 0.01 | 0 | 0 |
55 | Glenn Fisher:0 | Elphaba | 0.08 | 0.02 | 0 | 0 |
56 | Tiny Wings:1 | haoyu | 0.08 | 0.01 | 0 | 0 |
57 | kt4124:1 | haoyu | 0.08 | 0.04 | 0 | 0 |
58 | Anon5:0 | haoyu | 0.08 | 0.05 | 0 | 0 |
59 | kt4124:0 | haoyu | 0.08 | 0.03 | 0 | 0 |
60 | Glenn Fisher:1 | jabreezy | 0.09 | 0.09 | 0 | 0 |
61 | weezy:1 | Bar Shabtai | 0.10 | 0.01 | 0 | 0 |
62 | Keji Xu:0 | Nihar the Great | 0.10 | 0.03 | 0 | 0 |
63 | Dr Roberto:0 | Andrew Grasso | 0.12 | 0.03 | 0 | 0 |
64 | Tiny Wings:0 | haoyu | 0.13 | 0.02 | 0 | 0 |
65 | Brendan Wright:1 | Deric Cheng | 0.15 | 0.10 | 0 | 0 |
66 | George Okeowo:0 | Andrew Grasso | 0.16 | 0.01 | 0 | 0 |
67 | Dr Roberto:1 | Andrew Grasso | 0.16 | 0.02 | 0 | 0 |
68 | Scheduling Generator 203:1 | Jameh | 0.19 | 0.02 | 0 | 0 |
69 | George Okeowo:1 | Andrew Grasso | 0.19 | 0.01 | 0 | 0 |
70 | Nikhilesh Sigatapu:1 | haoyu | 0.20 | 0.04 | 0 | 0 |
71 | Sally Smith:1 | haoyu | 0.21 | 0.04 | 0 | 0 |
72 | Ytterbium:0 | Andrew Grasso | 0.23 | 0.02 | 0 | 0 |
73 | Bob Dondero:0 | Andrew Grasso | 0.24 | 0.02 | 0 | 0 |
74 | Bob Dondero:1 | Mickey Mouse | 0.25 | 0.03 | 0 | 0 |
75 | totallyOnFallBreak:0 | Nikhilesh Sigatapu | 0.27 | 0.01 | 0 | 0 |
76 | totallyOnFallBreak:1 | Nikhilesh Sigatapu | 0.28 | 0.01 | 0 | 0 |
77 | EC:1 | haoyu | 0.29 | 0.03 | 0 | 0 |
78 | Brendan Wright:0 | haoyu | 0.31 | 0.10 | 0 | 0 |
79 | Sally Smith:0 | haoyu | 0.33 | 0.04 | 0 | 0 |
80 | Linda:0 | Andrew Grasso | 0.34 | 0.01 | 0 | 0 |
81 | Mike Honcho:1 | Jessie Chen | 0.36 | 0.01 | 0 | 0 |
82 | vluu:0 | Nihar the Great | 0.36 | 0.01 | 0 | 0 |
83 | cmF5a3ly:1 | Nihar the Great | 0.37 | 0.00 | 0 | 0 |
84 | Mike Honcho:0 | Miranda | 0.39 | 0.01 | 0 | 0 |
85 | Ytterbium:1 | Nihar the Great | 0.40 | 0.02 | 0 | 0 |
86 | cmF5a3ly:0 | Nihar the Great | 0.43 | 0.00 | 0 | 0 |
87 | vluu:1 | Nihar the Great | 0.56 | 0.02 | 0 | 0 |
88 | Linda:1 | Andrew Grasso | 0.61 | 0.02 | 0 | 0 |
89 | spl:1 | haoyu | 1.36 | 0.06 | 0 | 0 |
90 | spl:0 | Elphaba | 1.43 | 0.09 | 0 | 0 |
91 | KingBach:0 | haoyu | 1.77 | 0.06 | 0 | 0 |
92 | bfang:1 | haoyu | 2.26 | 0.04 | 0 | 0 |
93 | bfang:0 | haoyu | 2.48 | 0.04 | 0 | 0 |
94 | KingBach:1 | haoyu | 2.73 | 0.04 | 0 | 0 |
95 | jabreezy:0 | Mercury | 3.00 | 0.09 | 0 | 0 |
96 | jabreezy:1 | Mercury | 3.12 | 0.10 | 0 | 0 |
97 | BH:1 | haoyu | 5.51 | 0.05 | 0 | 0 |
98 | burrito:0 | haoyu | 12.70 | 0.09 | 0 | 0 |
99 | Quite Satisfied:1 | Joel Faron | 0.01 | 2.11 | 12 | 1 |
100 | Mark S. Fillmore:1 | Supahaka | 0.03 | 0.04 | 109 | 79 |
101 | Mark S. Fillmore:0 | Supahaka | 0.06 | 0.01 | 157 | 116 |
102 | Supahaka:0 | Andrew Werner | 0.01 | 15.00 | 350 | 35 |
103 | Supahaka:1 | Joel Faron | 0.01 | 15.00 | 350 | 35 |
104 | Khoa:1 | Aristotle | 15.01 | 0.09 | 74 | 0 |
105 | Shaheed Chagani:1 | Aristotle | 15.01 | 0.11 | 495 | 0 |
106 | Khoa:0 | haoyu | 15.01 | 0.09 | 82 | 0 |
107 | Aaron H:0 | Aristotle | 15.01 | 0.11 | 90 | 0 |
108 | Andys:0 | Aristotle | 15.01 | 0.12 | 35 | 0 |
109 | CAPS LOCK:0 | Aristotle | 15.02 | 0.20 | 1984 | 0 |
110 | Sprt:1 | haoyu | 15.02 | 0.05 | 50 | 0 |
111 | Aaron H:1 | Aristotle | 15.02 | 0.11 | 90 | 0 |
112 | DinnerPartyPlannerBM:1 | Nihar the Great | 15.02 | 0.06 | 42 | 0 |
113 | dfshasdsf12:0 | haoyu | 15.02 | 0.09 | 52 | 0 |
114 | Mike Hunt:1 | Aristotle | 15.02 | 0.29 | 84 | 0 |
115 | nupog:0 | Aristotle | 15.02 | 0.13 | 4425 | 0 |
116 | Andys:1 | Aristotle | 15.02 | 0.13 | 35 | 0 |
117 | Lil Thug:1 | Andrew Grasso | 15.03 | 0.03 | 50 | 0 |
118 | nupog:1 | Aristotle | 15.03 | 0.12 | 4354 | 0 |
119 | Andrew Werner:0 | Aaron Doll | 15.03 | 0.33 | 49 | 0 |
120 | Shaheed Chagani:0 | Aristotle | 15.04 | 0.17 | 496 | 0 |
121 | Deric Cheng:1 | jgs | 15.04 | 14.98 | 45 | 1 |
122 | Lil Thug:0 | Andrew Grasso | 15.04 | 0.03 | 50 | 0 |
123 | jgs:1 | haoyu | 15.04 | 0.18 | 108 | 0 |
124 | CAPS LOCK:1 | Aristotle | 15.04 | 0.25 | 2406 | 0 |
125 | Mike Hunt:0 | Aristotle | 15.07 | 0.27 | 88 | 0 |
126 | Sprt:0 | Aristotle | 15.07 | 0.11 | 90 | 0 |
127 | Elphaba:1 | Aristotle | 15.07 | 0.22 | 56 | 0 |
128 | Bar Shabtai:1 | haoyu | 15.08 | 0.12 | 35 | 0 |
129 | dfshasdsf12:1 | Nihar the Great | 15.08 | 0.11 | 60 | 0 |
130 | DinnerPartyPlannerBM:0 | Aristotle | 15.09 | 0.11 | 56 | 0 |
131 | jgs:0 | Aristotle | 15.09 | 0.12 | 108 | 0 |
132 | burrito:1 | haoyu | 15.12 | 0.10 | 1848 | 0 |
133 | Andrew Werner:1 | haoyu | 15.14 | 0.11 | 49 | 0 |
134 | Deric Cheng:0 | jgs | 15.16 | 14.99 | 45 | 1 |
135 | Elphaba:0 | Aristotle | 15.20 | 0.24 | 56 | 0 |
136 | 13a:1 | Aaron Doll | 15.50 | 15.00 | 150 | 29 |
137 | Bar Shabtai:0 | Aaron Doll | 15.50 | 15.01 | 87 | 1 |
138 | Nihar the Great:1 | Aristotle | 15.60 | 0.25 | 1000 | 0 |
139 | Aaron Doll:0 | Aristotle | 15.70 | 0.56 | 160 | 0 |
140 | 13a:0 | Aaron Doll | 16.26 | 15.00 | 150 | 21 |
141 | Nihar the Great:0 | Aristotle | 16.37 | 0.23 | 1000 | 0 |
142 | Aaron Doll:1 | Aristotle | 16.51 | 1.27 | 160 | 0 |
143 | Aristotle:1 | Aristotle | 44.36 | 9.69 | 120 | 0 |
144 | Aristotle:0 | Aristotle | 48.25 | 15.00 | 120 | 1 |
145 | Matt Goldsmith:0 | Nihar the Great | 52.48 | 0.03 | 0 | 0 |
146 | Matt Goldsmith:1 | Happy | 57.54 | 0.03 | 0 | 0 |
147 | Anon_K_P:0 | haoyu | - | 0.02 | - | 0 |
148 | AARON BURR, DROPPIN' HAMILTONS:0 | haoyu | - | 0.00 | - | 0 |
149 | Fanny:0 | Aristotle | - | 0.10 | - | 0 |
150 | Lisa Kim:1 | Bar Shabtai | - | 0.06 | - | 0 |
151 | Anon5:1 | Green "The Bean" Choi | - | 0.07 | - | 0 |
152 | Tao:1 | Aristotle | - | 0.07 | - | 0 |
153 | Daffy Duck:0 | Andrew Werner | - | 0.00 | - | 0 |
154 | David H.:1 | DeeEmEm | - | 0.33 | - | 0 |
155 | Charliezsc:1 | haoyu | - | 0.07 | - | 0 |
156 | Yan Wu:0 | haoyu | - | 0.05 | - | 0 |
157 | Mr. Blobby:0 | Green "The Bean" Choi | - | 0.14 | - | 0 |
158 | Jessie Chen:0 | Joel Faron | - | 0.13 | - | 1 |
159 | Dusty:1 | Shaheed Chagani | - | 0.22 | - | 0 |
160 | Walter Little:0 | haoyu | - | 0.04 | - | 0 |
161 | Keji Xu:1 | Nihar the Great | - | 0.04 | - | 0 |
162 | Mercury:0 | haoyu | - | 0.05 | - | 0 |
163 | soccer:1 | haoyu | - | 0.04 | - | 0 |
164 | Batman:1 | haoyu | - | 0.04 | - | 0 |
165 | Samuel Jerome:1 | haoyu | - | 0.03 | - | 0 |
166 | Sabar Dasgupta:0 | spl | - | 0.23 | - | 0 |
167 | Valya Barboy:1 | Shaheed Chagani | - | 0.18 | - | 0 |
168 | The Whitman Whale:0 | bigwig | - | 0.04 | - | 0 |
169 | cat:1 | haoyu | - | 0.03 | - | 0 |
170 | John Whelchel:1 | haoyu | - | 0.11 | - | 0 |
171 | Ben Chen:0 | Elphaba | - | 0.07 | - | 0 |
172 | Qinlan Shen:1 | R. A. B. | - | 9.00 | - | 1 |
173 | DeeEmEm:1 | haoyu | - | 0.02 | - | 0 |
174 | ebp:0 | haoyu | - | 0.04 | - | 0 |
175 | Lisa Kim:0 | Aristotle | - | 0.07 | - | 0 |
176 | Tom T:0 | EC | - | 0.02 | - | 0 |
177 | Dusty:0 | CookieMonster | - | 1.39 | - | 0 |
178 | haoyu:0 | KingBach | - | 0.01 | - | 0 |
179 | Charliezsc:0 | jgs | - | 14.98 | - | 1 |
180 | Jessie Chen:1 | Joel Faron | - | 0.12 | - | 1 |
181 | Walter Little:1 | haoyu | - | 0.03 | - | 0 |
182 | Yacob Y.:0 | haoyu | - | 0.06 | - | 0 |
183 | Jordan Ash:1 | Bar Shabtai | - | 0.01 | - | 0 |
184 | Mercury:1 | haoyu | - | 0.05 | - | 0 |
185 | SuperFan:0 | jgs | - | 14.98 | - | 4 |
186 | David H.:0 | AFC | - | 0.28 | - | 0 |
187 | T. Capote:0 | haoyu | - | 0.00 | - | 2 |
188 | soccer:0 | haoyu | - | 0.04 | - | 0 |
189 | Absurdity:1 | Aristotle | - | 0.18 | - | 0 |
190 | Andrew Grasso:1 | Shaheed Chagani | - | 0.15 | - | 0 |
191 | AFC:1 | Aristotle | - | 0.16 | - | 0 |
192 | cat:0 | haoyu | - | 0.03 | - | 0 |
193 | Matt Haake:1 | haoyu | - | 0.05 | - | 0 |
194 | John Whelchel:0 | haoyu | - | 0.06 | - | 0 |
195 | Janie Gu:0 | Glenn Fisher | - | 0.07 | - | 0 |
196 | BH:0 | haoyu | - | 0.07 | - | 0 |
197 | Anon_K_P:1 | Aristotle | - | 0.03 | - | 0 |
198 | CookieMonster:0 | CookieMonster | - | 0.82 | - | 0 |
199 | DeeEmEm:0 | CAPS LOCK | - | 13.00 | - | 1 |
200 | ebp:1 | haoyu | - | 0.04 | - | 0 |
201 | NA:0 | haoyu | - | 0.03 | - | 0 |
202 | Tom T:1 | Andrew Werner | - | 0.02 | - | 0 |
203 | haoyu:1 | Anon5 | - | 0.01 | - | 0 |
204 | AARON BURR, DROPPIN' HAMILTONS:1 | haoyu | - | 0.01 | - | 0 |
205 | The Whitman Whale:1 | Andrew Grasso | - | 0.03 | - | 0 |
206 | Fanny:1 | Aristotle | - | 0.12 | - | 0 |
207 | 0108:0 | jgs | - | 14.98 | - | 1 |
208 | Nikhilesh Sigatapu:0 | haoyu | - | 0.03 | - | 0 |
209 | Jordan Ash:0 | EC | - | 0.03 | - | 0 |
210 | Happy:0 | haoyu | - | 0.00 | - | 0 |
211 | SuperFan:1 | jgs | - | 14.98 | - | 4 |
212 | CookieMonster:1 | CookieMonster | - | 1.10 | - | 0 |
213 | T. Capote:1 | haoyu | - | 0.00 | - | 2 |
214 | Yan Wu:1 | haoyu | - | 0.04 | - | 0 |
215 | Mr. Blobby:1 | dusty | - | 0.12 | - | 0 |
216 | Absurdity:0 | Aristotle | - | 0.23 | - | 0 |
217 | Andrew Grasso:0 | Aaron Doll | - | 0.18 | - | 0 |
218 | AFC:0 | CookieMonster | - | 0.34 | - | 0 |
219 | EC:0 | haoyu | - | 0.03 | - | 0 |
220 | Janie Gu:1 | Jonathan Kwok | - | 0.07 | - | 0 |
221 | Batman:0 | haoyu | - | 0.04 | - | 0 |
222 | Samuel Jerome:0 | haoyu | - | 0.03 | - | 0 |
223 | Matt Haake:0 | haoyu | - | 0.05 | - | 0 |
224 | Sabar Dasgupta:1 | Aaron Doll | - | 0.17 | - | 0 |
225 | Tao:0 | Bar Shabtai | - | 0.02 | - | 0 |
226 | Valya Barboy:0 | Aristotle | - | 0.06 | - | 0 |
227 | Yacob Y.:1 | Aristotle | - | 15.00 | - | 1 |
228 | Ben Chen:1 | spl | - | 0.20 | - | 0 |
SatSolvers Ranklist | Generators Ranklist |