# | Title | # Solved | Avg. Tries |
---|---|---|---|
1,557 | 1.52 | ||
1,371 | 2.86 | ||
3,191 | 4.31 | ||
709 | 1.84 | ||
4,530 | 1.98 | ||
1,480 | 2.40 | ||
1,516 | 2.60 | ||
2,486 | 1.43 | ||
1,894 | 4.01 | ||
1,793 | 2.20 | ||
504 | 1.97 | ||
657 | 1.89 | ||
5,546 | 3.91 | ||
2,676 | 2.28 | ||
4,611 | 1.44 | ||
124 | 3.98 | ||
326 | 3.09 | ||
170 | 2.44 | ||
20,547 | 2.52 | ||
3,324 | 3.45 | ||
457 | 3.20 | ||
2,831 | 2.08 | ||
591 | 2.63 | ||
679 | 2.54 | ||
475 | 2.37 | ||
414 | 1.76 | ||
231 | 1.64 | ||
1,693 | 2.84 | ||
167 | 2.92 | ||
2,059 | 2.13 | ||
2,496 | 1.65 | ||
363 | 1.60 | ||
161 | 1.81 | ||
307 | 2.67 | ||
276 | 4.59 | ||
1,593 | 3.71 | ||
1,009 | 1.97 | ||
2,820 | 1.97 | ||
73 | 2.42 | ||
237 | 2.32 | ||
1,381 | 2.03 | ||
257 | 3.44 | ||
137 | 1.71 | ||
40 | 2.30 | ||
2,244 | 1.79 | ||
851 | 2.30 | ||
1,402 | 2.03 | ||
866 | 1.63 | ||
3-SAT STANDARD | 54 | 24.70 | |
802 | 1.76 |