# | Title | # Solved | Avg. Tries |
---|---|---|---|
139 | 1.73 | ||
83 | 2.23 | ||
111 | 2.30 | ||
41 | 2.29 | ||
27 | 1.63 | ||
880 | 1.63 | ||
3-SAT STANDARD | 55 | 24.35 | |
836 | 1.78 | ||
250 | 1.66 | ||
3-SAT 2 STANDARD | 31 | 15.35 | |
10 | 2.00 | ||
20 | 7.00 | ||
352 | 1.93 | ||
85 | 1.95 | ||
64 | 2.63 | ||
17 | 1.65 | ||
2,761 | 4.14 | ||
64 | 2.69 | ||
24 | 1.88 | ||
251 | 2.02 | ||
99 | 3.78 | ||
33 | 3.97 | ||
52 | 5.46 | ||
4,835 | 2.02 | ||
727 | 2.25 | ||
754 | 2.15 | ||
190 | 1.53 | ||
1,681 | 1.37 | ||
104 | 2.68 | ||
45 | 3.04 | ||
52 | 2.33 | ||
17 | 5.76 | ||
89 | 2.00 | ||
15 | 2.33 | ||
59 | 2.10 | ||
12 | 3.42 | ||
587 | 3.90 | ||
1,046 | 1.43 | ||
547 | 2.13 | ||
679 | 2.20 | ||
43 | 2.35 | ||
32 | 2.38 | ||
151 | 3.50 | ||
77 | 5.03 | ||
194 | 2.08 | ||
92 | 3.09 | ||
48 | 3.33 | ||
237 | 2.14 | ||
65 | 4.00 | ||
65 | 3.45 |