# | Title | # Solved | Avg. Tries |
---|---|---|---|
12,570 | 2.97 | ||
1,436 | 2.41 | ||
2,319 | 1.43 | ||
1,840 | 4.02 | ||
1,704 | 2.19 | ||
2,536 | 2.29 | ||
4,423 | 1.44 | ||
19,291 | 2.52 | ||
2,688 | 2.09 | ||
2,396 | 1.66 | ||
2,673 | 1.99 | ||
71 | 2.41 | ||
1,260 | 2.04 | ||
241 | 3.45 | ||
3-SATย STANDARD | 54 | 24.70 | |
746 | 1.74 | ||
3-SAT 2ย STANDARD | 31 | 15.35 | |
2,826 | 1.27 | ||
1,865 | 1.14 | ||
26 | 3.69 | ||
274 | 1.49 | ||
239 | 2.34 | ||
740 | 1.62 | ||
422 | 1.92 | ||
277 | 1.81 | ||
55 | 2.55 | ||
339 | 1.94 | ||
54 | 2.39 | ||
150 | 3.20 | ||
255 | 1.87 | ||
190 | 3.04 | ||
429 | 2.63 | ||
2,968 | 1.68 | ||
14,470 | 2.17 | ||
1,169 | 2.61 | ||
469 | 3.26 | ||
107 | 1.89 | ||
244 | 2.03 | ||
516 | 4.63 | ||
700 | 2.13 | ||
1,544 | 1.37 | ||
55 | 2.11 | ||
9,283 | 2.90 | ||
517 | 4.08 | ||
944 | 1.44 | ||
665 | 2.50 | ||
203 | 1.91 | ||
611 | 2.22 | ||
6,326 | 2.77 | ||
1,939 | 1.24 |