# | Title | # Solved | Avg. Tries |
---|---|---|---|
689 | 1.59 | ||
์ํ์ ์ฒด์ก๊ณผ๋ชฉ ์
๋๋คย STANDARD | 24,158 | 1.83 | |
888 | 2.38 | ||
624 | 2.07 | ||
4,838 | 2.40 | ||
10,745 | 2.88 | ||
6,135 | 1.55 | ||
7,714 | 3.22 | ||
598 | 5.07 | ||
3,064 | 1.44 | ||
270 | 2.74 | ||
179 | 3.30 | ||
600 | 3.13 | ||
197 | 1.50 | ||
8,879 | 1.39 | ||
2,229 | 1.85 | ||
๋๋ ์น๊ตฌ๊ฐ ์ ๋ค (Large)ย STANDARD | 1,257 | 2.41 | |
3,334 | 2.45 | ||
1,651 | 2.16 | ||
19,255 | 2.53 | ||
9,630 | 4.44 | ||
21,969 | 2.27 | ||
585 | 2.66 | ||
12,875 | 1.17 | ||
5,095 | 1.43 | ||
1,226 | 2.06 | ||
1,432 | 3.03 | ||
960 | 1.74 | ||
7,261 | 2.34 | ||
963 | 1.60 | ||
1,117 | 2.80 | ||
792 | 3.44 | ||
4,551 | 2.53 | ||
7,149 | 2.12 | ||
2,272 | 2.72 | ||
598 | 2.61 | ||
871 | 2.29 | ||
3-SATย STANDARD | 55 | 24.35 | |
3-SAT 2ย STANDARD | 31 | 15.35 | |
3,188 | 1.68 | ||
15,407 | 2.16 | ||
2,726 | 4.14 | ||
8,635 | 2.98 | ||
6,589 | 2.75 | ||
8,470 | 3.82 | ||
6,962 | 1.26 | ||
392 | 5.92 | ||
471 | 2.78 | ||
1,623 | 1.64 | ||
559 | 1.66 |