# | Title | # Solved | Avg. Tries |
---|---|---|---|
1,197 | 1.53 | ||
4,895 | 2.29 | ||
1,257 | 2.10 | ||
1,166 | 2.30 | ||
5,732 | 2.20 | ||
979 | 3.68 | ||
1,157 | 1.70 | ||
1,169 | 4.49 | ||
3-SATย STANDARD | 54 | 24.70 | |
8,540 | 1.68 | ||
207 | 1.91 | ||
2,281 | 3.23 | ||
33,391 | 2.53 | ||
404 | 2.28 | ||
681 | 2.68 | ||
238 | 2.70 | ||
334 | 3.72 | ||
111 | 5.14 | ||
272 | 2.40 | ||
176 | 5.49 | ||
496 | 4.06 |