# | Title | # Solved | Avg. Tries |
---|---|---|---|
77 | 2.14 | ||
90 | 1.68 | ||
29 | 2.28 | ||
2,108 | 1.79 | ||
823 | 2.31 | ||
4,184 | 1.96 | ||
1,351 | 2.04 | ||
102 | 3.94 | ||
25 | 1.56 | ||
801 | 1.65 | ||
3-SATย STANDARD | 54 | 24.70 | |
730 | 1.75 | ||
226 | 1.65 | ||
27 | 1.22 | ||
20 | 2.10 | ||
2 | 2.50 | ||
223 | 2.18 | ||
17 | 1.65 | ||
10 | 1.50 | ||
26 | 1.35 | ||
2 | 1.00 | ||
12 | 2.83 | ||
31 | 1.16 | ||
12 | 5.00 | ||
13 | 1.23 | ||
21 | 1.57 | ||
3-SAT 2ย STANDARD | 31 | 15.35 | |
2,761 | 1.27 | ||
1,772 | 1.14 | ||
190 | 1.21 | ||
1 | 1.00 | ||
164 | 1.50 | ||
53 | 2.45 | ||
10 | 2.00 | ||
26 | 3.69 | ||
25 | 3.32 | ||
91 | 2.20 | ||
24 | 2.79 | ||
19 | 2.05 | ||
88 | 2.08 | ||
183 | 1.63 | ||
130 | 2.68 | ||
274 | 1.49 | ||
409 | 2.02 | ||
239 | 2.34 | ||
705 | 1.63 | ||
422 | 1.92 | ||
270 | 1.81 | ||
54 | 2.57 | ||
26 | 2.96 |