# | Title | # Solved | Avg. Tries |
---|---|---|---|
3,200 | 4.31 | ||
5,553 | 3.91 | ||
20,570 | 2.52 | ||
3-SATย STANDARD | 54 | 24.70 | |
3-SAT 2ย STANDARD | 31 | 15.35 | |
2,980 | 1.27 | ||
4,765 | 2.02 | ||
1,174 | 3.57 | ||
206 | 2.81 | ||
572 | 4.27 | ||
ํ๊ฐย STANDARD | 485 | 1.37 | |
84 | 6.60 | ||
10,002 | 3.63 | ||
16,697 | 1.81 | ||
17,590 | 1.40 | ||
6,906 | 1.26 | ||
์๋๊ฒ์ ์คํฌ์ผ๋ฌย STANDARD | 6,591 | 1.27 | |
24,671 | 2.87 | ||
7,373 | 2.18 | ||
2,788 | 1.18 | ||
5,310 | 1.47 | ||
6,490 | 1.43 | ||
15,721 | 1.76 | ||
3,840 | 3.94 | ||
4,504 | 2.49 | ||
826 | 1.14 | ||
11,963 | 2.28 | ||
2,719 | 1.25 | ||
1,710 | 1.15 | ||
1,045 | 1.36 | ||
์ด์์ ์๋ย STANDARD | 532 | 3.87 | |
4,492 | 1.09 | ||
125,001 | 1.57 | ||
10,148 | 4.01 | ||
14,746 | 4.17 | ||
2,473 | 1.85 | ||
224 | 2.11 | ||
908 | 1.54 | ||
29,948 | 3.05 | ||
5,313 | 1.25 | ||
1,399 | 1.37 | ||
4,132 | 2.40 | ||
1,729 | 1.38 | ||
DISPERย STANDARD | 18 | 5.83 | |
1,991 | 1.20 | ||
2,862 | 1.27 | ||
1,990 | 1.20 | ||
1,659 | 1.38 | ||
716 | 2.60 | ||
1,035 | 1.47 |