# | Title | # Solved | Avg. Tries |
---|---|---|---|
919 | 1.45 | ||
488 | 4.10 | ||
12 | 3.42 | ||
54 | 2.06 | ||
11 | 1.91 | ||
81 | 1.98 | ||
16 | 6.06 | ||
52 | 2.33 | ||
41 | 2.93 | ||
77 | 2.65 | ||
1,444 | 1.38 | ||
160 | 1.56 | ||
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,395 | 4.13 | ||
17 | 1.65 | ||
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 | ||
704 | 1.76 | ||
3-SAT STANDARD | 54 | 24.70 | |
773 | 1.66 | ||
25 | 1.56 | ||
28 | 2.29 | ||
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 |