# | Title | # Solved | Avg. Tries |
---|---|---|---|
20,413 | 2.29 | ||
1,087 | 4.58 | ||
664 | 1.56 | ||
853 | 1.73 | ||
1,017 | 2.13 | ||
1,644 | 2.99 | ||
146 | 2.00 | ||
150 | 1.77 | ||
3,174 | 2.36 | ||
481 | 2.80 | ||
241 | 2.84 | ||
524 | 3.15 | ||
219 | 2.97 | ||
195 | 1.63 | ||
4,068 | 2.52 | ||
11,856 | 2.98 | ||
4,949 | 3.96 | ||
18,308 | 2.52 | ||
2,536 | 1.99 | ||
1,202 | 2.03 | ||
236 | 3.42 | ||
3-SAT STANDARD | 54 | 24.70 | |
221 | 2.18 | ||
3-SAT 2 STANDARD | 31 | 15.35 | |
323 | 1.96 | ||
13,834 | 2.17 | ||
82 | 1.96 | ||
8,567 | 2.86 | ||
488 | 4.10 | ||
584 | 2.20 | ||
9,424 | 3.66 | ||
15,557 | 1.81 | ||
224 | 2.16 | ||
52 | 3.71 | ||
15,024 | 1.41 | ||
1,093 | 2.89 | ||
98 | 2.70 | ||
3,544 | 2.73 | ||
4,028 | 3.97 | ||
368 | 2.87 | ||
598 | 2.11 | ||
7,960 | 1.68 | ||
821 | 1.52 | ||
341 | 2.16 | ||
420 | 5.79 | ||
340 | 4.25 | ||
31 | 2.65 | ||
381 | 3.80 | ||
248 | 2.71 | ||
547 | 2.30 |