# | Title | # Solved | Avg. Tries |
---|---|---|---|
1,806 | 2.19 | ||
522 | 1.96 | ||
662 | 1.89 | ||
5,617 | 3.91 | ||
2,688 | 2.28 | ||
4,650 | 1.45 | ||
126 | 3.94 | ||
339 | 3.06 | ||
20,839 | 2.51 | ||
3,346 | 3.46 | ||
458 | 3.19 | ||
2,850 | 2.07 | ||
598 | 2.61 | ||
429 | 1.75 | ||
231 | 1.64 | ||
1,705 | 2.84 | ||
2,085 | 2.13 | ||
2,534 | 1.65 | ||
363 | 1.60 | ||
287 | 4.82 | ||
1,604 | 3.70 | ||
1,033 | 1.96 | ||
2,862 | 1.97 | ||
73 | 2.42 | ||
241 | 2.34 | ||
1,404 | 2.02 | ||
263 | 3.43 | ||
114 | 1.54 | ||
138 | 1.70 | ||
82 | 2.20 | ||
111 | 2.30 | ||
2,244 | 1.79 | ||
871 | 2.29 | ||
4,684 | 1.96 | ||
1,402 | 2.03 | ||
866 | 1.63 | ||
3-SATย STANDARD | 55 | 24.35 | |
822 | 1.78 | ||
250 | 1.66 | ||
20 | 2.10 | ||
20 | 1.70 | ||
35 | 1.14 | ||
21 | 1.57 | ||
3-SAT 2ย STANDARD | 31 | 15.35 | |
3,022 | 1.27 | ||
2,061 | 1.14 | ||
201 | 1.21 | ||
180 | 1.49 | ||
198 | 1.61 | ||
130 | 2.68 |