# | Title | # Solved | Avg. Tries |
---|---|---|---|
1,318 | 2.89 | ||
2,984 | 4.30 | ||
606 | 1.87 | ||
1,840 | 4.02 | ||
5,200 | 3.95 | ||
117 | 4.11 | ||
19,291 | 2.52 | ||
3,159 | 3.47 | ||
2,688 | 2.09 | ||
1,644 | 2.83 | ||
2,396 | 1.66 | ||
245 | 4.42 | ||
1,503 | 3.75 | ||
2,673 | 1.99 | ||
223 | 2.33 | ||
1,260 | 2.04 | ||
823 | 1.66 | ||
3-SATย STANDARD | 54 | 24.70 | |
746 | 1.74 | ||
3-SAT 2ย STANDARD | 31 | 15.35 | |
2,826 | 1.27 | ||
1,865 | 1.14 | ||
183 | 1.63 | ||
740 | 1.62 | ||
339 | 1.94 | ||
2,968 | 1.68 | ||
14,470 | 2.17 | ||
889 | 1.64 | ||
516 | 4.63 | ||
1,544 | 1.37 | ||
9,283 | 2.90 | ||
517 | 4.08 | ||
1,118 | 3.59 | ||
532 | 4.25 | ||
ํ๊ฐย STANDARD | 464 | 1.36 | |
427 | 2.76 | ||
944 | 1.44 | ||
665 | 2.50 | ||
611 | 2.22 | ||
6,326 | 2.77 | ||
7,270 | 2.24 | ||
3,579 | 2.30 | ||
8,179 | 3.83 | ||
9,638 | 3.65 | ||
16,034 | 1.81 | ||
1,939 | 1.24 | ||
1,232 | 1.39 | ||
784 | 1.42 | ||
2,500 | 1.30 | ||
856 | 2.44 |