# | Title | # Solved | Avg. Tries |
---|---|---|---|
393 | 2.60 | ||
3,808 | 1.32 | ||
102 | 3.29 | ||
537 | 1.15 | ||
305 | 1.61 | ||
8,718 | 1.55 | ||
323 | 4.18 | ||
155 | 3.03 | ||
648 | 2.51 | ||
1,473 | 2.38 | ||
303 | 2.97 | ||
1,044 | 1.55 | ||
767 | 2.12 | ||
501 | 2.51 | ||
5,305 | 1.49 | ||
758 | 2.56 | ||
1,984 | 2.33 | ||
979 | 3.41 | ||
20,715 | 1.96 | ||
826 | 1.79 | ||
559 | 1.66 | ||
1,623 | 1.64 | ||
471 | 2.78 | ||
392 | 5.92 | ||
6,952 | 1.26 | ||
8,468 | 3.82 | ||
6,589 | 2.75 | ||
8,635 | 2.98 | ||
2,726 | 4.14 | ||
15,401 | 2.16 | ||
3,188 | 1.68 | ||
3-SAT 2ย STANDARD | 31 | 15.35 | |
3-SATย STANDARD | 55 | 24.35 | |
871 | 2.29 | ||
598 | 2.61 | ||
2,272 | 2.72 | ||
7,149 | 2.12 | ||
4,551 | 2.53 | ||
792 | 3.44 | ||
1,117 | 2.80 | ||
954 | 1.60 | ||
7,252 | 2.34 | ||
960 | 1.74 | ||
1,432 | 3.03 | ||
1,226 | 2.06 | ||
5,095 | 1.43 | ||
12,875 | 1.17 | ||
585 | 2.66 | ||
21,969 | 2.27 | ||
9,630 | 4.44 |