# | Title | # Solved | Avg. Tries |
---|---|---|---|
83 | 2.23 | ||
111 | 2.30 | ||
41 | 2.29 | ||
2,265 | 1.80 | ||
875 | 2.29 | ||
4,739 | 1.96 | ||
1,416 | 2.02 | ||
102 | 3.94 | ||
27 | 1.63 | ||
880 | 1.63 | ||
3-SATย STANDARD | 55 | 24.35 | |
836 | 1.78 | ||
250 | 1.66 | ||
27 | 1.22 | ||
20 | 2.10 | ||
2 | 2.50 | ||
262 | 2.17 | ||
20 | 1.70 | ||
10 | 1.50 | ||
30 | 1.37 | ||
2 | 1.00 | ||
13 | 3.00 | ||
36 | 1.14 | ||
13 | 4.77 | ||
13 | 1.23 | ||
21 | 1.57 | ||
3-SAT 2ย STANDARD | 31 | 15.35 | |
3,038 | 1.27 | ||
2,091 | 1.15 | ||
201 | 1.21 | ||
1 | 1.00 | ||
190 | 1.46 | ||
68 | 2.29 | ||
10 | 2.00 | ||
26 | 3.69 | ||
28 | 3.32 | ||
105 | 2.17 | ||
28 | 2.86 | ||
22 | 1.91 | ||
94 | 2.04 | ||
198 | 1.61 | ||
130 | 2.68 | ||
292 | 1.48 | ||
451 | 2.00 | ||
258 | 2.41 | ||
782 | 1.61 | ||
454 | 1.95 | ||
290 | 1.87 | ||
62 | 2.40 | ||
31 | 2.84 |