# | Title | # Solved | Avg. Tries |
---|---|---|---|
28 | 3.04 | ||
59 | 2.46 | ||
21 | 1.95 | ||
26 | 2.73 | ||
98 | 2.12 | ||
27 | 3.37 | ||
3,005 | 1.27 | ||
3-SAT 2ย STANDARD | 31 | 15.35 | |
21 | 1.57 | ||
13 | 1.23 | ||
35 | 1.14 | ||
13 | 3.00 | ||
2 | 1.00 | ||
30 | 1.37 | ||
10 | 1.50 | ||
20 | 1.70 | ||
20 | 2.10 | ||
27 | 1.22 | ||
3-SATย STANDARD | 54 | 24.70 | |
40 | 2.30 | ||
110 | 2.31 | ||
82 | 2.20 | ||
138 | 1.70 | ||
114 | 1.54 | ||
285 | 4.83 | ||
9 | 3.00 | ||
174 | 2.90 | ||
689 | 2.54 | ||
๋ถ๋ถ ๋ฌธ์์ดย STANDARD | 4,290 | 2.72 | |
124 | 2.85 | ||
274 | 2.86 | ||
86 | 2.52 | ||
11 | 1.91 | ||
8 | 1.13 | ||
8 | 1.38 | ||
6 | 3.50 | ||
13 | 1.85 | ||
12 | 1.33 | ||
14 | 1.79 | ||
9 | 1.33 | ||
19 | 1.26 | ||
31 | 3.68 | ||
211 | 1.36 | ||
10 | 1.60 | ||
20 | 2.00 | ||
9 | 2.33 | ||
21 | 1.24 | ||
10 | 1.70 | ||
4 | 1.75 | ||
31 | 1.87 |