# | Title | # Solved | Avg. Tries |
---|---|---|---|
568 | 1.85 | ||
4,298 | 1.98 | ||
1,393 | 2.41 | ||
1,359 | 2.63 | ||
600 | 2.36 | ||
1,784 | 4.01 | ||
1,642 | 2.19 | ||
438 | 2.00 | ||
4,960 | 3.96 | ||
2,454 | 2.29 | ||
4,299 | 1.44 | ||
118 | 4.10 | ||
18,355 | 2.52 | ||
3,049 | 3.48 | ||
405 | 3.21 | ||
2,593 | 2.09 | ||
556 | 2.68 | ||
179 | 1.71 | ||
1,593 | 2.79 | ||
1,837 | 2.14 | ||
2,336 | 1.66 | ||
291 | 1.59 | ||
277 | 2.72 | ||
233 | 4.48 | ||
1,463 | 3.77 | ||
2,554 | 1.98 | ||
212 | 2.35 | ||
1,211 | 2.02 | ||
236 | 3.42 | ||
2,072 | 1.79 | ||
814 | 2.28 | ||
4,096 | 1.97 | ||
1,351 | 2.04 | ||
102 | 3.94 | ||
773 | 1.66 | ||
3-SAT STANDARD | 54 | 24.70 | |
711 | 1.76 | ||
222 | 1.66 | ||
222 | 2.18 | ||
2,726 | 1.27 | ||
1,741 | 1.14 | ||
182 | 1.21 | ||
164 | 1.50 | ||
130 | 2.68 | ||
263 | 1.50 | ||
402 | 2.02 | ||
239 | 2.34 | ||
705 | 1.63 | ||
323 | 1.96 | ||
149 | 3.20 |