# | Title | # Solved | Avg. Tries |
---|---|---|---|
675 | 1.60 | ||
์ํ์ ์ฒด์ก๊ณผ๋ชฉ ์
๋๋คย STANDARD | 23,670 | 1.83 | |
880 | 2.39 | ||
620 | 2.07 | ||
4,800 | 2.41 | ||
10,623 | 2.88 | ||
6,021 | 1.55 | ||
7,632 | 3.22 | ||
582 | 5.08 | ||
3,012 | 1.44 | ||
262 | 2.73 | ||
174 | 3.36 | ||
596 | 3.12 | ||
184 | 1.48 | ||
8,786 | 1.39 | ||
2,190 | 1.85 | ||
๋๋ ์น๊ตฌ๊ฐ ์ ๋ค (Large)ย STANDARD | 1,239 | 2.43 | |
3,238 | 2.47 | ||
1,603 | 2.17 | ||
19,081 | 2.53 | ||
9,546 | 4.45 | ||
21,782 | 2.27 | ||
581 | 2.67 | ||
12,721 | 1.17 | ||
5,002 | 1.44 | ||
1,208 | 2.07 | ||
1,429 | 3.04 | ||
949 | 1.73 | ||
7,192 | 2.35 | ||
928 | 1.60 | ||
1,102 | 2.80 | ||
786 | 3.44 | ||
4,499 | 2.53 | ||
7,094 | 2.12 | ||
2,249 | 2.73 | ||
591 | 2.63 | ||
851 | 2.30 | ||
3-SATย STANDARD | 54 | 24.70 | |
3-SAT 2ย STANDARD | 31 | 15.35 | |
3,163 | 1.68 | ||
15,231 | 2.16 | ||
2,696 | 4.15 | ||
8,600 | 2.98 | ||
6,551 | 2.76 | ||
8,409 | 3.82 | ||
6,896 | 1.26 | ||
385 | 5.93 | ||
462 | 2.79 | ||
1,613 | 1.64 | ||
556 | 1.67 |