# | Title | # Solved | Avg. Tries |
---|---|---|---|
640 | 1.95 | ||
510 | 2.18 | ||
1,163 | 1.53 | ||
799 | 1.20 | ||
2,452 | 1.30 | ||
772 | 1.42 | ||
1,614 | 1.83 | ||
450 | 2.02 | ||
1,883 | 2.35 | ||
1,875 | 1.24 | ||
15,788 | 1.81 | ||
9,521 | 3.66 | ||
8,031 | 3.85 | ||
3,483 | 2.27 | ||
7,193 | 2.24 | ||
6,222 | 2.77 | ||
8,144 | 3.01 | ||
584 | 2.20 | ||
650 | 2.52 | ||
8,917 | 2.89 | ||
1,501 | 1.37 | ||
4,503 | 2.03 | ||
4,627 | 2.10 | ||
244 | 2.03 | ||
1,137 | 2.61 | ||
873 | 1.65 | ||
2,459 | 4.15 | ||
14,092 | 2.17 | ||
2,932 | 1.68 | ||
323 | 1.96 | ||
2,761 | 1.27 | ||
3-SAT 2ย STANDARD | 31 | 15.35 | |
226 | 1.65 | ||
730 | 1.75 | ||
3-SATย STANDARD | 54 | 24.70 | |
801 | 1.65 | ||
236 | 3.42 | ||
1,211 | 2.02 | ||
2,600 | 1.99 | ||
2,363 | 1.66 | ||
1,870 | 2.14 | ||
1,623 | 2.79 | ||
451 | 2.37 | ||
2,630 | 2.09 | ||
3,086 | 3.48 | ||
18,774 | 2.52 | ||
118 | 4.08 | ||
4,302 | 1.44 | ||
2,504 | 2.29 | ||
5,059 | 3.95 |