# | Title | # Solved | Avg. Tries |
---|---|---|---|
71 | 2.41 | ||
1,307 | 2.04 | ||
241 | 3.45 | ||
108 | 1.56 | ||
131 | 1.67 | ||
81 | 2.21 | ||
2,191 | 1.79 | ||
851 | 2.30 | ||
4,451 | 1.96 | ||
1,384 | 2.03 | ||
102 | 3.94 | ||
25 | 1.56 | ||
823 | 1.66 | ||
3-SATย STANDARD | 54 | 24.70 | |
773 | 1.76 | ||
230 | 1.64 | ||
237 | 2.21 | ||
3-SAT 2ย STANDARD | 31 | 15.35 | |
2,887 | 1.27 | ||
1,912 | 1.14 | ||
183 | 1.63 | ||
274 | 1.49 | ||
755 | 1.62 | ||
437 | 1.95 | ||
277 | 1.81 | ||
190 | 3.04 | ||
197 | 1.34 | ||
29 | 2.34 | ||
17 | 1.41 | ||
21 | 2.62 | ||
3,102 | 1.68 | ||
14,816 | 2.16 | ||
2,605 | 4.14 | ||
900 | 1.63 | ||
1,209 | 2.61 | ||
469 | 3.26 | ||
129 | 3.54 | ||
107 | 1.89 | ||
63 | 2.70 | ||
23 | 1.91 | ||
244 | 2.03 | ||
533 | 4.64 | ||
98 | 3.81 | ||
32 | 4.06 | ||
52 | 5.46 | ||
633 | 3.02 | ||
4,834 | 2.10 | ||
4,627 | 2.03 | ||
712 | 2.27 | ||
724 | 2.14 |