# | Title | # Solved | Avg. Tries |
---|---|---|---|
688 | 2.49 | ||
547 | 4.26 | ||
202 | 2.78 | ||
23 | 1.91 | ||
150 | 3.20 | ||
274 | 1.49 | ||
95 | 2.15 | ||
3-SAT 2ย STANDARD | 31 | 15.35 | |
237 | 2.21 | ||
768 | 1.77 | ||
3-SATย STANDARD | 54 | 24.70 | |
1,307 | 2.04 | ||
2,715 | 1.98 | ||
1,667 | 2.84 | ||
19,675 | 2.52 | ||
1,436 | 2.41 | ||
243 | 2.65 | ||
206 | 1.79 | ||
235 | 3.06 | ||
186 | 2.44 | ||
18 | 2.61 | ||
79 | 2.48 | ||
36 | 2.86 | ||
22 | 2.27 | ||
151 | 2.61 | ||
63 | 2.90 | ||
720 | 4.28 | ||
119 | 3.98 | ||
1,066 | 2.82 | ||
14 | 1.79 | ||
11 | 3.18 | ||
68 | 1.65 | ||
97 | 2.41 | ||
์ผ๊ฐํ ํด์ปคย STANDARD | 188 | 5.86 | |
842 | 1.21 | ||
10,967 | 1.18 | ||
160 | 3.01 | ||
707 | 1.55 | ||
83 | 2.82 | ||
137 | 3.91 | ||
112 | 5.85 | ||
770 | 2.16 | ||
67 | 4.70 | ||
98 | 3.02 | ||
300 | 3.41 | ||
70 | 1.51 | ||
59 | 2.92 | ||
60 | 1.65 | ||
46 | 2.46 | ||
15 | 1.20 |