SatSolvers Ranklist | Generators Ranklist |
Satsolver: | Dr Roberto |
Rank: | 101 / 118 |
Average Score: | 19.07 |
Median Score: | 0.60 |
Description: | Variant of DPLL that uses indexing and keeps track of which clauses and symbols are being affected by a specific change in the model and then only checks those as opposed to checking all of them is search for potential new satisfactions. It also contains random choice of true or false and symbol ranking. |
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 | Bebe Shi:1 | KingBach | 0.01 | 0.00 | 0 | 0 |
4 | Happy:1 | KingBach | 0.01 | 0.00 | 0 | 0 |
5 | Bebe Shi:0 | KingBach | 0.01 | 0.00 | 0 | 0 |
6 | BMJ:0 | Elphaba | 0.01 | 0.00 | 0 | 0 |
7 | K.L.:1 | KingBach | 0.01 | 0.00 | 0 | 0 |
8 | BMJ:1 | burrito | 0.01 | 0.00 | 0 | 0 |
9 | Jonathan Kwok:1 | KingBach | 0.02 | 0.00 | 0 | 0 |
10 | Miranda:1 | cat | 0.02 | 0.00 | 0 | 0 |
11 | Miranda:0 | cat | 0.02 | 0.00 | 0 | 0 |
12 | Ravi Tandon:1 | KingBach | 0.02 | 0.00 | 0 | 0 |
13 | Jonathan Kwok:0 | Elphaba | 0.03 | 0.00 | 0 | 0 |
14 | Ravi Tandon:0 | KingBach | 0.03 | 0.00 | 0 | 0 |
15 | K.L.:0 | haoyu | 0.03 | 0.00 | 0 | 0 |
16 | David Paulk:0 | cat | 0.03 | 0.00 | 0 | 0 |
17 | David Paulk:1 | Bar Shabtai | 0.03 | 0.00 | 0 | 0 |
18 | Tree Prophet:0 | haoyu | 0.03 | 0.00 | 0 | 0 |
19 | Tree Prophet:1 | haoyu | 0.03 | 0.00 | 0 | 0 |
20 | R. A. B.:1 | cat | 0.04 | 0.00 | 0 | 0 |
21 | Blam:1 | Elphaba | 0.04 | 0.00 | 0 | 0 |
22 | Joshua Zimmer:1 | haoyu | 0.04 | 0.00 | 0 | 0 |
23 | T. Capote:0 | haoyu | 0.04 | 0.00 | 2 | 2 |
24 | Joshua Zimmer:0 | haoyu | 0.04 | 0.00 | 0 | 0 |
25 | Daffy Duck:0 | Andrew Werner | 0.05 | 0.00 | 0 | 0 |
26 | Gewang:0 | Jonathan Kwok | 0.05 | 0.00 | 0 | 0 |
27 | Gewang:1 | Jonathan Kwok | 0.05 | 0.00 | 0 | 0 |
28 | Daffy Duck:1 | haoyu | 0.05 | 0.00 | 0 | 0 |
29 | Happy:0 | haoyu | 0.05 | 0.00 | 0 | 0 |
30 | bchouGenerator:0 | haoyu | 0.05 | 0.00 | 0 | 0 |
31 | Blam:0 | Elphaba | 0.05 | 0.00 | 0 | 0 |
32 | The Kraken:1 | haoyu | 0.05 | 0.00 | 0 | 0 |
33 | Quite Satisfied:0 | haoyu | 0.05 | 0.00 | 0 | 0 |
34 | The Kraken:0 | haoyu | 0.06 | 0.00 | 0 | 0 |
35 | AARON BURR, DROPPIN' HAMILTONS:1 | haoyu | 0.06 | 0.01 | 0 | 0 |
36 | R. A. B.:0 | Nihar the Great | 0.06 | 0.00 | 0 | 0 |
37 | Solving For Clauses:0 | Glenn Fisher | 0.07 | 0.00 | 0 | 0 |
38 | Qinlan Shen:0 | Bar Shabtai | 0.07 | 0.01 | 0 | 0 |
39 | Solving For Clauses:1 | haoyu | 0.07 | 0.00 | 0 | 0 |
40 | 0108:1 | haoyu | 0.07 | 0.01 | 0 | 0 |
41 | Sunny:1 | jabreezy | 0.07 | 0.01 | 0 | 0 |
42 | bchouGenerator:1 | Jonathan Kwok | 0.07 | 0.01 | 0 | 0 |
43 | Alex Fish:0 | haoyu | 0.11 | 0.01 | 0 | 0 |
44 | Alex Fish:1 | haoyu | 0.11 | 0.02 | 0 | 0 |
45 | Anon5:1 | Green "The Bean" Choi | 0.12 | 0.07 | 0 | 0 |
46 | Mickey Mouse:1 | haoyu | 0.12 | 0.01 | 0 | 0 |
47 | Tiny Wings:1 | haoyu | 0.12 | 0.01 | 0 | 0 |
48 | Anon_K_P:1 | Aristotle | 0.12 | 0.03 | 0 | 0 |
49 | Mickey Mouse:0 | Bar Shabtai | 0.13 | 0.01 | 0 | 0 |
50 | Tiny Wings:0 | haoyu | 0.13 | 0.02 | 0 | 0 |
51 | AARON BURR, DROPPIN' HAMILTONS:0 | haoyu | 0.13 | 0.00 | 0 | 0 |
52 | George Okeowo:0 | Andrew Grasso | 0.13 | 0.01 | 0 | 0 |
53 | Anon_K_P:0 | haoyu | 0.14 | 0.02 | 0 | 0 |
54 | Glenn Fisher:0 | Elphaba | 0.14 | 0.02 | 0 | 0 |
55 | Boomshanka:0 | haoyu | 0.15 | 0.01 | 0 | 0 |
56 | Ytterbium:0 | Andrew Grasso | 0.15 | 0.02 | 0 | 0 |
57 | Matt Haake:0 | haoyu | 0.15 | 0.05 | 0 | 0 |
58 | Matt Haake:1 | haoyu | 0.15 | 0.05 | 0 | 0 |
59 | cmF5a3ly:0 | Nihar the Great | 0.15 | 0.00 | 0 | 0 |
60 | snowflakes:1 | haoyu | 0.16 | 0.03 | 0 | 0 |
61 | cmF5a3ly:1 | Nihar the Great | 0.16 | 0.00 | 0 | 0 |
62 | George Okeowo:1 | Andrew Grasso | 0.17 | 0.01 | 0 | 0 |
63 | cat:0 | haoyu | 0.18 | 0.03 | 0 | 0 |
64 | cat:1 | haoyu | 0.19 | 0.03 | 0 | 0 |
65 | snowflakes:0 | haoyu | 0.19 | 0.03 | 0 | 0 |
66 | Samuel Jerome:0 | haoyu | 0.19 | 0.03 | 0 | 0 |
67 | Nikhilesh Sigatapu:0 | haoyu | 0.20 | 0.03 | 0 | 0 |
68 | NA:1 | Elphaba | 0.20 | 0.04 | 0 | 0 |
69 | Boomshanka:1 | Bar Shabtai | 0.21 | 0.01 | 0 | 0 |
70 | Nikhilesh Sigatapu:1 | haoyu | 0.22 | 0.04 | 0 | 0 |
71 | Scheduling Generator 203:0 | jgs | 0.24 | 0.01 | 0 | 0 |
72 | Ytterbium:1 | Nihar the Great | 0.24 | 0.02 | 0 | 0 |
73 | kt4124:0 | haoyu | 0.25 | 0.03 | 0 | 0 |
74 | Lisa Kim:1 | Bar Shabtai | 0.25 | 0.06 | 0 | 0 |
75 | kt4124:1 | haoyu | 0.27 | 0.04 | 0 | 0 |
76 | Sunny:0 | Green "The Bean" Choi | 0.27 | 0.02 | 0 | 0 |
77 | EC:0 | haoyu | 0.28 | 0.03 | 0 | 0 |
78 | Lisa Kim:0 | Aristotle | 0.29 | 0.07 | 0 | 0 |
79 | AFC:1 | Aristotle | 0.30 | 0.16 | 0 | 0 |
80 | David H.:0 | AFC | 0.30 | 0.28 | 0 | 0 |
81 | Mr. Blobby:1 | dusty | 0.31 | 0.12 | 0 | 0 |
82 | Mr. Blobby:0 | Green "The Bean" Choi | 0.31 | 0.14 | 0 | 0 |
83 | Mercury:1 | haoyu | 0.31 | 0.05 | 0 | 0 |
84 | Anon5:0 | haoyu | 0.31 | 0.05 | 0 | 0 |
85 | bfang:0 | haoyu | 0.35 | 0.04 | 0 | 0 |
86 | bfang:1 | haoyu | 0.36 | 0.04 | 0 | 0 |
87 | NA:0 | haoyu | 0.36 | 0.03 | 0 | 0 |
88 | Mercury:0 | haoyu | 0.37 | 0.05 | 0 | 0 |
89 | David Lackey:0 | Anon5 | 0.40 | 0.03 | 0 | 0 |
90 | David H.:1 | DeeEmEm | 0.40 | 0.33 | 0 | 0 |
91 | Yacob Y.:0 | haoyu | 0.40 | 0.06 | 0 | 0 |
92 | Sally Smith:1 | haoyu | 0.45 | 0.04 | 0 | 0 |
93 | Tom T:1 | Andrew Werner | 0.45 | 0.02 | 0 | 0 |
94 | Tom T:0 | EC | 0.48 | 0.02 | 0 | 0 |
95 | Batman:0 | haoyu | 0.48 | 0.04 | 0 | 0 |
96 | Batman:1 | haoyu | 0.48 | 0.04 | 0 | 0 |
97 | Samuel Jerome:1 | haoyu | 0.50 | 0.03 | 0 | 0 |
98 | totallyOnFallBreak:1 | Nikhilesh Sigatapu | 0.51 | 0.01 | 0 | 0 |
99 | totallyOnFallBreak:0 | Nikhilesh Sigatapu | 0.53 | 0.01 | 0 | 0 |
100 | Sally Smith:0 | haoyu | 0.56 | 0.04 | 0 | 0 |
101 | EC:1 | haoyu | 0.59 | 0.03 | 0 | 0 |
102 | David Lackey:1 | Bar Shabtai | 0.59 | 0.03 | 0 | 0 |
103 | Fanny:1 | Aristotle | 0.60 | 0.12 | 0 | 0 |
104 | KingBach:0 | haoyu | 0.61 | 0.06 | 0 | 0 |
105 | KingBach:1 | haoyu | 0.69 | 0.04 | 0 | 0 |
106 | Sprt:1 | haoyu | 0.71 | 0.05 | 0 | 0 |
107 | Scheduling Generator 203:1 | Jameh | 0.74 | 0.02 | 0 | 0 |
108 | Yan Wu:1 | haoyu | 0.75 | 0.04 | 0 | 0 |
109 | Walter Little:1 | haoyu | 0.81 | 0.03 | 0 | 0 |
110 | Valya Barboy:0 | Aristotle | 0.84 | 0.06 | 0 | 0 |
111 | Khoa:1 | Aristotle | 0.84 | 0.09 | 0 | 0 |
112 | BH:0 | haoyu | 0.85 | 0.07 | 0 | 0 |
113 | DinnerPartyPlannerBM:1 | Nihar the Great | 0.91 | 0.06 | 0 | 0 |
114 | spl:0 | Elphaba | 0.92 | 0.09 | 0 | 0 |
115 | Charliezsc:1 | haoyu | 0.94 | 0.07 | 0 | 0 |
116 | Khoa:0 | haoyu | 0.99 | 0.09 | 0 | 0 |
117 | Glenn Fisher:1 | jabreezy | 1.07 | 0.09 | 0 | 0 |
118 | Aaron H:0 | Aristotle | 1.09 | 0.11 | 0 | 0 |
119 | Aaron H:1 | Aristotle | 1.24 | 0.11 | 0 | 0 |
120 | dfshasdsf12:0 | haoyu | 1.32 | 0.09 | 0 | 0 |
121 | burrito:0 | haoyu | 1.32 | 0.09 | 0 | 0 |
122 | Lil Thug:1 | Andrew Grasso | 1.33 | 0.03 | 0 | 0 |
123 | BH:1 | haoyu | 1.34 | 0.05 | 0 | 0 |
124 | Mike Hunt:1 | Aristotle | 1.39 | 0.29 | 0 | 0 |
125 | jabreezy:0 | Mercury | 1.77 | 0.09 | 0 | 0 |
126 | Sprt:0 | Aristotle | 1.80 | 0.11 | 0 | 0 |
127 | DinnerPartyPlannerBM:0 | Aristotle | 1.86 | 0.11 | 0 | 0 |
128 | dfshasdsf12:1 | Nihar the Great | 1.97 | 0.11 | 0 | 0 |
129 | jabreezy:1 | Mercury | 2.00 | 0.10 | 0 | 0 |
130 | Bar Shabtai:1 | haoyu | 2.03 | 0.12 | 0 | 0 |
131 | haoyu:1 | Anon5 | 2.13 | 0.01 | 0 | 0 |
132 | haoyu:0 | KingBach | 2.40 | 0.01 | 0 | 0 |
133 | jgs:1 | haoyu | 2.55 | 0.18 | 0 | 0 |
134 | burrito:1 | haoyu | 2.60 | 0.10 | 0 | 0 |
135 | John Whelchel:0 | haoyu | 2.88 | 0.06 | 0 | 0 |
136 | Linda:0 | Andrew Grasso | 2.96 | 0.01 | 0 | 0 |
137 | jgs:0 | Aristotle | 2.99 | 0.12 | 0 | 0 |
138 | Mike Hunt:0 | Aristotle | 4.10 | 0.27 | 0 | 0 |
139 | Valya Barboy:1 | Shaheed Chagani | 4.65 | 0.18 | 0 | 0 |
140 | Janie Gu:0 | Glenn Fisher | 4.81 | 0.07 | 0 | 0 |
141 | Dr Roberto:1 | Andrew Grasso | 5.07 | 0.02 | 0 | 0 |
142 | Walter Little:0 | haoyu | 5.23 | 0.04 | 0 | 0 |
143 | weezy:1 | Bar Shabtai | 5.29 | 0.01 | 0 | 0 |
144 | weezy:0 | Bar Shabtai | 5.92 | 0.01 | 0 | 0 |
145 | Lil Thug:0 | Andrew Grasso | 6.58 | 0.03 | 0 | 0 |
146 | Linda:1 | Andrew Grasso | 7.56 | 0.02 | 0 | 0 |
147 | Dr Roberto:0 | Andrew Grasso | 9.41 | 0.03 | 0 | 0 |
148 | Jordan Ash:1 | Bar Shabtai | 11.79 | 0.01 | 0 | 0 |
149 | Brendan Wright:1 | Deric Cheng | 13.74 | 0.10 | 0 | 0 |
150 | Fanny:0 | Aristotle | 14.62 | 0.10 | 0 | 0 |
151 | Mark S. Fillmore:1 | Supahaka | 14.99 | 0.04 | 79 | 79 |
152 | Mark S. Fillmore:0 | Supahaka | 14.99 | 0.01 | 116 | 116 |
153 | CookieMonster:0 | CookieMonster | 14.99 | 0.82 | 1 | 0 |
154 | CookieMonster:1 | CookieMonster | 14.99 | 1.10 | 1 | 0 |
155 | soccer:0 | haoyu | 15.00 | 0.04 | 2 | 0 |
156 | Jordan Ash:0 | EC | 14.99 | 0.03 | 2 | 0 |
157 | AFC:0 | CookieMonster | 14.99 | 0.34 | 2 | 0 |
158 | Tao:1 | Aristotle | 14.99 | 0.07 | 3 | 0 |
159 | soccer:1 | haoyu | 15.00 | 0.04 | 3 | 0 |
160 | DeeEmEm:0 | CAPS LOCK | 14.99 | 13.00 | 3 | 1 |
161 | T. Capote:1 | haoyu | 0.05 | 0.00 | 3 | 2 |
162 | Qinlan Shen:1 | R. A. B. | 3.50 | 9.00 | 4 | 1 |
163 | Absurdity:1 | Aristotle | 14.99 | 0.18 | 4 | 0 |
164 | DeeEmEm:1 | haoyu | 14.99 | 0.02 | 6 | 0 |
165 | Jessie Chen:1 | Joel Faron | 0.10 | 0.12 | 6 | 1 |
166 | Absurdity:0 | Aristotle | 15.00 | 0.23 | 6 | 0 |
167 | Yacob Y.:1 | Aristotle | 14.99 | 15.00 | 6 | 1 |
168 | Keji Xu:1 | Nihar the Great | 14.99 | 0.04 | 8 | 0 |
169 | The Whitman Whale:0 | bigwig | 14.99 | 0.04 | 10 | 0 |
170 | Tao:0 | Bar Shabtai | 14.99 | 0.02 | 10 | 0 |
171 | The Whitman Whale:1 | Andrew Grasso | 14.99 | 0.03 | 11 | 0 |
172 | Jessie Chen:0 | Joel Faron | 0.07 | 0.13 | 12 | 1 |
173 | Quite Satisfied:1 | Joel Faron | 0.03 | 2.11 | 12 | 1 |
174 | vluu:1 | Nihar the Great | 14.99 | 0.02 | 14 | 0 |
175 | vluu:0 | Nihar the Great | 14.99 | 0.01 | 15 | 0 |
176 | Sabar Dasgupta:0 | spl | 15.00 | 0.23 | 15 | 0 |
177 | John Whelchel:1 | haoyu | 15.00 | 0.11 | 15 | 0 |
178 | 0108:0 | jgs | 0.26 | 14.98 | 18 | 1 |
179 | Charliezsc:0 | jgs | 15.00 | 14.98 | 19 | 1 |
180 | Keji Xu:0 | Nihar the Great | 14.99 | 0.03 | 20 | 0 |
181 | ebp:0 | haoyu | 15.00 | 0.04 | 25 | 0 |
182 | Andys:0 | Aristotle | 15.00 | 0.12 | 26 | 0 |
183 | Janie Gu:1 | Jonathan Kwok | 14.99 | 0.07 | 26 | 0 |
184 | Jameh:0 | haoyu | 14.99 | 0.01 | 27 | 0 |
185 | spl:1 | haoyu | 14.99 | 0.06 | 28 | 0 |
186 | Andys:1 | Aristotle | 14.99 | 0.13 | 29 | 0 |
187 | Ben Chen:1 | spl | 14.99 | 0.20 | 29 | 0 |
188 | Ben Chen:0 | Elphaba | 14.99 | 0.07 | 30 | 0 |
189 | ebp:1 | haoyu | 15.00 | 0.04 | 34 | 0 |
190 | SuperFan:1 | jgs | 0.31 | 14.98 | 34 | 4 |
191 | SuperFan:0 | jgs | 0.28 | 14.98 | 36 | 4 |
192 | Sabar Dasgupta:1 | Aaron Doll | 14.99 | 0.17 | 36 | 0 |
193 | Yan Wu:0 | haoyu | 14.99 | 0.05 | 68 | 0 |
194 | Jameh:1 | haoyu | 14.99 | 0.01 | 82 | 0 |
195 | Dusty:1 | Shaheed Chagani | 14.99 | 0.22 | 99 | 0 |
196 | Andrew Grasso:1 | Shaheed Chagani | 14.99 | 0.15 | 144 | 0 |
197 | Dusty:0 | CookieMonster | 14.99 | 1.39 | 149 | 0 |
198 | Andrew Grasso:0 | Aaron Doll | 14.99 | 0.18 | 193 | 0 |
199 | Supahaka:0 | Andrew Werner | 0.04 | 15.00 | 350 | 35 |
200 | Supahaka:1 | Joel Faron | 0.04 | 15.00 | 350 | 35 |
201 | Andrew Werner:0 | Aaron Doll | 15.00 | 0.33 | 1260 | 0 |
202 | Andrew Werner:1 | haoyu | 15.00 | 0.11 | 1332 | 0 |
203 | Nihar the Great:0 | Aristotle | 19.39 | 0.23 | 999 | 0 |
204 | Nihar the Great:1 | Aristotle | 19.53 | 0.25 | 999 | 0 |
205 | Brendan Wright:0 | haoyu | 49.50 | 0.10 | 38 | 0 |
206 | Bob Dondero:1 | Mickey Mouse | 75.53 | 0.03 | 10 | 0 |
207 | Bob Dondero:0 | Andrew Grasso | 85.52 | 0.02 | 10 | 0 |
208 | Elphaba:1 | Aristotle | - | 0.22 | - | 0 |
209 | nupog:1 | Aristotle | - | 0.12 | - | 0 |
210 | Shaheed Chagani:0 | Aristotle | - | 0.17 | - | 0 |
211 | Matt Goldsmith:0 | Nihar the Great | - | 0.03 | - | 0 |
212 | Aristotle:1 | Aristotle | - | 9.69 | - | 0 |
213 | Mike Honcho:0 | Miranda | - | 0.01 | - | 0 |
214 | Aaron Doll:0 | Aristotle | - | 0.56 | - | 0 |
215 | Shaheed Chagani:1 | Aristotle | - | 0.11 | - | 0 |
216 | Deric Cheng:1 | jgs | - | 14.98 | - | 1 |
217 | 13a:0 | Aaron Doll | - | 15.00 | - | 21 |
218 | Elphaba:0 | Aristotle | - | 0.24 | - | 0 |
219 | Aaron Doll:1 | Aristotle | - | 1.27 | - | 0 |
220 | Deric Cheng:0 | jgs | - | 14.99 | - | 1 |
221 | CAPS LOCK:1 | Aristotle | - | 0.25 | - | 0 |
222 | Bar Shabtai:0 | Aaron Doll | - | 15.01 | - | 1 |
223 | nupog:0 | Aristotle | - | 0.13 | - | 0 |
224 | Aristotle:0 | Aristotle | - | 15.00 | - | 1 |
225 | 13a:1 | Aaron Doll | - | 15.00 | - | 29 |
226 | Mike Honcho:1 | Jessie Chen | - | 0.01 | - | 0 |
227 | CAPS LOCK:0 | Aristotle | - | 0.20 | - | 0 |
228 | Matt Goldsmith:1 | Happy | - | 0.03 | - | 0 |
SatSolvers Ranklist | Generators Ranklist |