# | Title | # Solved | Avg. Tries |
---|---|---|---|
125 | 1.69 | ||
77 | 2.13 | ||
89 | 1.66 | ||
28 | 2.29 | ||
25 | 1.56 | ||
773 | 1.66 | ||
3-SAT STANDARD | 54 | 24.70 | |
704 | 1.76 | ||
222 | 1.66 | ||
3-SAT 2 STANDARD | 31 | 15.35 | |
10 | 2.00 | ||
19 | 7.26 | ||
323 | 1.96 | ||
75 | 2.03 | ||
54 | 2.31 | ||
17 | 1.65 | ||
2,389 | 4.13 | ||
62 | 2.71 | ||
23 | 1.91 | ||
239 | 2.03 | ||
91 | 3.82 | ||
32 | 4.06 | ||
52 | 5.46 | ||
4,434 | 2.04 | ||
674 | 2.29 | ||
675 | 2.10 | ||
160 | 1.56 | ||
1,444 | 1.38 | ||
77 | 2.65 | ||
41 | 2.93 | ||
52 | 2.33 | ||
16 | 6.06 | ||
81 | 1.98 | ||
11 | 1.91 | ||
54 | 2.06 | ||
12 | 3.42 | ||
488 | 4.10 | ||
913 | 1.45 | ||
464 | 2.20 | ||
578 | 2.21 | ||
38 | 2.26 | ||
27 | 2.48 | ||
122 | 3.49 | ||
72 | 4.83 | ||
182 | 2.08 | ||
83 | 2.87 | ||
45 | 3.44 | ||
224 | 2.16 | ||
57 | 4.18 | ||
52 | 3.71 |