# | タイトル | 解決ユーザー | 平均試行 |
---|---|---|---|
1,009 | 1.97 | ||
2,820 | 1.97 | ||
237 | 2.32 | ||
1,381 | 2.03 | ||
257 | 3.44 | ||
4,643 | 1.96 | ||
1,402 | 2.03 | ||
866 | 1.63 | ||
3-SAT STANDARD | 54 | 24.70 | |
802 | 1.76 | ||
2,980 | 1.27 | ||
2,022 | 1.14 | ||
198 | 1.21 | ||
180 | 1.49 | ||
67 | 2.27 | ||
194 | 1.62 | ||
130 | 2.68 | ||
274 | 1.49 | ||
437 | 2.01 | ||
253 | 2.41 | ||
772 | 1.61 | ||
448 | 1.94 | ||
285 | 1.88 | ||
352 | 1.93 | ||
81 | 2.00 | ||
56 | 2.39 | ||
150 | 3.20 | ||
280 | 1.84 | ||
198 | 3.13 | ||
442 | 2.64 | ||
255 | 1.90 | ||
188 | 2.84 | ||
208 | 1.35 | ||
31 | 2.45 | ||
53 | 1.45 | ||
20 | 1.65 | ||
3,181 | 1.68 | ||
15,289 | 2.16 | ||
2,706 | 4.15 | ||
933 | 1.63 | ||
1,250 | 2.62 | ||
494 | 3.24 | ||
98 | 3.81 | ||
633 | 3.02 | ||
4,985 | 2.10 | ||
4,765 | 2.02 | ||
727 | 2.25 | ||
740 | 2.15 | ||
1,606 | 2.97 | ||
241 | 3.57 |