# | Title | # Solved | Avg. Tries |
---|---|---|---|
6,522 | 2.76 | ||
654 | 2.22 | ||
221 | 1.89 | ||
704 | 2.49 | ||
1,004 | 1.43 | ||
559 | 3.94 | ||
9,906 | 2.90 | ||
58 | 2.12 | ||
1,625 | 1.37 | ||
740 | 2.15 | ||
549 | 4.61 | ||
244 | 2.03 | ||
109 | 1.88 | ||
480 | 3.29 | ||
1,236 | 2.62 | ||
15,147 | 2.16 | ||
3,163 | 1.68 | ||
439 | 2.63 | ||
190 | 3.04 | ||
255 | 1.87 | ||
150 | 3.20 | ||
55 | 2.36 | ||
346 | 1.95 | ||
57 | 2.51 | ||
285 | 1.88 | ||
440 | 1.95 | ||
772 | 1.61 | ||
253 | 2.41 | ||
274 | 1.49 | ||
26 | 3.69 | ||
1,972 | 1.14 | ||
2,957 | 1.27 | ||
3-SAT 2 STANDARD | 31 | 15.35 | |
790 | 1.77 | ||
3-SAT STANDARD | 54 | 24.70 | |
257 | 3.44 | ||
1,361 | 2.03 | ||
72 | 2.43 | ||
2,792 | 1.97 | ||
2,479 | 1.65 | ||
2,814 | 2.08 | ||
20,322 | 2.52 | ||
4,571 | 1.45 | ||
2,653 | 2.28 | ||
1,780 | 2.18 | ||
1,884 | 4.01 | ||
2,456 | 1.42 | ||
1,473 | 2.39 | ||
13,476 | 2.95 | ||
199 | 3.42 |