# | Title | # Solved | Avg. Tries |
---|---|---|---|
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 | ||
20,547 | 2.52 | ||
3,324 | 3.45 | ||
457 | 3.20 | ||
2,831 | 2.08 | ||
591 | 2.63 | ||
414 | 1.76 | ||
231 | 1.64 | ||
1,693 | 2.84 | ||
2,059 | 2.13 | ||
2,496 | 1.65 | ||
363 | 1.60 | ||
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 | ||
113 | 1.55 | ||
137 | 1.71 | ||
82 | 2.20 | ||
108 | 2.31 | ||
2,244 | 1.79 | ||
851 | 2.30 | ||
4,629 | 1.96 | ||
1,402 | 2.03 | ||
866 | 1.63 | ||
3-SATย STANDARD | 54 | 24.70 | |
802 | 1.76 | ||
246 | 1.67 | ||
20 | 2.10 | ||
20 | 1.70 | ||
34 | 1.15 | ||
21 | 1.57 | ||
3-SAT 2ย STANDARD | 31 | 15.35 | |
2,972 | 1.27 | ||
2,015 | 1.14 | ||
198 | 1.21 | ||
180 | 1.49 | ||
194 | 1.62 | ||
130 | 2.68 |