# | Title | # Solved | Avg. Tries |
---|---|---|---|
2,877 | 1.68 | ||
46 | 1.48 | ||
18 | 1.61 | ||
8 | 2.00 | ||
34 | 1.71 | ||
12 | 3.17 | ||
26 | 2.23 | ||
189 | 1.32 | ||
416 | 2.65 | ||
323 | 1.96 | ||
414 | 1.93 | ||
705 | 1.63 | ||
402 | 2.02 | ||
263 | 1.50 | ||
174 | 1.66 | ||
25 | 3.32 | ||
53 | 2.40 | ||
164 | 1.50 | ||
184 | 1.21 | ||
1,741 | 1.14 | ||
2,726 | 1.27 | ||
3-SAT 2 STANDARD | 31 | 15.35 | |
32 | 1.16 | ||
222 | 2.18 | ||
222 | 1.66 | ||
711 | 1.76 | ||
3-SAT STANDARD | 54 | 24.70 | |
773 | 1.66 | ||
1,351 | 2.04 | ||
814 | 2.28 | ||
2,072 | 1.79 | ||
29 | 2.28 | ||
125 | 1.69 | ||
236 | 3.42 | ||
1,211 | 2.02 | ||
212 | 2.35 | ||
71 | 2.41 | ||
2,560 | 1.98 | ||
843 | 1.96 | ||
1,463 | 3.77 | ||
233 | 4.48 | ||
277 | 2.72 | ||
141 | 1.91 | ||
322 | 1.59 | ||
2,336 | 1.66 | ||
1,837 | 2.14 | ||
143 | 3.00 | ||
1,593 | 2.79 | ||
179 | 1.71 | ||
362 | 1.75 |