# | Title | # Solved | Avg. Tries |
---|---|---|---|
16,461 | 1.76 | ||
1,673 | 2.47 | ||
342 | 3.14 | ||
482 | 5.81 | ||
256 | 2.33 | ||
7,240 | 2.51 | ||
9,584 | 1.67 | ||
305 | 2.46 | ||
4,924 | 3.94 | ||
4,199 | 2.68 | ||
1,293 | 2.86 | ||
7,747 | 2.17 | ||
25,908 | 2.85 | ||
6,044 | 2.27 | ||
37 | 2.68 | ||
22 | 2.73 | ||
1,003 | 1.90 | ||
82 | 2.34 | ||
158 | 3.22 | ||
18,953 | 1.40 | ||
6,737 | 2.75 | ||
8,821 | 2.98 | ||
59 | 2.29 | ||
4,979 | 2.02 | ||
251 | 2.02 | ||
359 | 1.92 | ||
259 | 1.69 | ||
871 | 1.78 | ||
3-SAT STANDARD | 55 | 24.35 | |
275 | 3.37 | ||
1,497 | 2.05 | ||
75 | 2.40 | ||
3,024 | 1.95 | ||
2,603 | 1.65 | ||
2,934 | 2.07 | ||
3,437 | 3.45 | ||
128 | 3.92 | ||
4,757 | 1.45 | ||
5,869 | 3.89 | ||
1,888 | 2.18 | ||
2,614 | 1.45 | ||
1,585 | 2.58 | ||
1,550 | 2.37 | ||
4,740 | 1.99 | ||
3,394 | 4.40 | ||
14,704 | 2.92 | ||
2,360 | 2.70 | ||
7,434 | 2.11 | ||
1,127 | 2.60 | ||
3,333 | 1.85 |