# | Title | # Solved | Avg. Tries |
---|---|---|---|
919 | 1.45 | ||
491 | 4.09 | ||
12 | 3.42 | ||
54 | 2.06 | ||
11 | 1.91 | ||
83 | 1.96 | ||
16 | 6.06 | ||
52 | 2.33 | ||
41 | 2.93 | ||
77 | 2.65 | ||
1,455 | 1.37 | ||
162 | 1.55 | ||
678 | 2.10 | ||
674 | 2.29 | ||
4,442 | 2.04 | ||
52 | 5.46 | ||
32 | 4.06 | ||
91 | 3.82 | ||
239 | 2.03 | ||
23 | 1.91 | ||
62 | 2.71 | ||
2,404 | 4.13 | ||
18 | 1.61 | ||
54 | 2.31 | ||
75 | 2.03 | ||
323 | 1.96 | ||
19 | 7.26 | ||
10 | 2.00 | ||
3-SAT 2 STANDARD | 31 | 15.35 | |
222 | 1.66 | ||
711 | 1.76 | ||
3-SAT STANDARD | 54 | 24.70 | |
773 | 1.66 | ||
25 | 1.56 | ||
29 | 2.28 | ||
89 | 1.66 | ||
77 | 2.13 | ||
125 | 1.69 | ||
106 | 1.57 | ||
236 | 3.42 | ||
1,202 | 2.03 | ||
212 | 2.35 | ||
68 | 2.26 | ||
2,536 | 1.99 | ||
6 | 3.50 | ||
143 | 3.00 | ||
195 | 1.63 | ||
219 | 2.97 | ||
120 | 4.87 | ||
245 | 2.12 |