# | Title | # Solved | Avg. Tries |
---|---|---|---|
4,354 | 3.97 | ||
1,172 | 2.87 | ||
7,052 | 2.19 | ||
23,731 | 2.88 | ||
9,783 | 3.64 | ||
633 | 2.23 | ||
688 | 2.49 | ||
533 | 4.64 | ||
14,816 | 2.16 | ||
3-SAT 2ย STANDARD | 31 | 15.35 | |
773 | 1.76 | ||
3-SATย STANDARD | 54 | 24.70 | |
2,715 | 1.98 | ||
2,754 | 2.08 | ||
3,368 | 2.27 | ||
๋ถ๋ถ ๋ฌธ์์ดย STANDARD | 4,127 | 2.73 | |
36 | 2.86 | ||
2,449 | 3.38 | ||
163 | 3.79 | ||
3,031 | 2.26 | ||
707 | 1.55 | ||
1,169 | 4.49 | ||
21,272 | 2.28 | ||
200 | 4.27 | ||
๋๋ ์น๊ตฌ๊ฐ ์ ๋ค (Large)ย STANDARD | 1,208 | 2.40 | |
626 | 2.52 | ||
5,651 | 3.44 | ||
365 | 3.19 | ||
520 | 3.64 | ||
435 | 2.76 | ||
2,134 | 2.70 | ||
2,924 | 1.94 | ||
6,274 | 1.38 | ||
1,793 | 2.42 | ||
1,450 | 1.52 | ||
507 | 3.47 | ||
28,778 | 2.17 | ||
11,244 | 1.78 | ||
5,732 | 2.20 | ||
198 | 2.07 | ||
892 | 2.50 | ||
357 | 2.87 | ||
34,658 | 2.13 | ||
1,335 | 4.14 | ||
1,688 | 2.37 | ||
628 | 4.22 | ||
953 | 1.97 | ||
2,077 | 3.82 | ||
171 | 5.52 | ||
2,871 | 1.89 |