# | Title | # Solved | Avg. Tries |
---|---|---|---|
37 | 5.16 | ||
344 | 2.43 | ||
4,867 | 2.08 | ||
460 | 2.02 | ||
31 | 3.03 | ||
48 | 4.02 | ||
1,433 | 3.62 | ||
3,191 | 2.38 | ||
1,248 | 2.71 | ||
67 | 2.94 | ||
452 | 2.50 | ||
629 | 1.63 | ||
4,576 | 2.49 | ||
3,902 | 3.95 | ||
1,637 | 2.48 | ||
332 | 3.12 | ||
472 | 5.84 | ||
242 | 2.36 | ||
9,207 | 1.67 | ||
4,744 | 3.92 | ||
4,082 | 2.70 | ||
1,253 | 2.85 | ||
5,795 | 2.28 | ||
213 | 1.91 | ||
69 | 2.17 | ||
158 | 3.22 | ||
679 | 2.20 | ||
52 | 2.33 | ||
352 | 1.93 | ||
101 | 2.20 | ||
3-SAT 2 STANDARD | 31 | 15.35 | |
250 | 1.66 | ||
3-SAT STANDARD | 55 | 24.35 | |
880 | 1.63 | ||
265 | 3.42 | ||
1,420 | 2.05 | ||
73 | 2.42 | ||
2,888 | 1.96 | ||
2,889 | 2.07 | ||
253 | 3.06 | ||
502 | 1.88 | ||
91 | 5.87 | ||
128 | 2.15 | ||
97 | 2.71 | ||
123 | 1.87 | ||
1,118 | 2.79 | ||
158 | 3.20 | ||
310 | 3.51 | ||
22,040 | 2.27 | ||
105 | 1.88 |