# | Title | # Solved | Avg. Tries |
---|---|---|---|
137 | 1.71 | ||
82 | 2.20 | ||
108 | 2.31 | ||
40 | 2.30 | ||
27 | 1.63 | ||
866 | 1.63 | ||
3-SAT STANDARD | 54 | 24.70 | |
802 | 1.76 | ||
246 | 1.67 | ||
3-SAT 2 STANDARD | 31 | 15.35 | |
10 | 2.00 | ||
19 | 7.26 | ||
352 | 1.93 | ||
81 | 2.00 | ||
56 | 2.39 | ||
17 | 1.65 | ||
2,704 | 4.15 | ||
64 | 2.69 | ||
24 | 1.88 | ||
244 | 2.03 | ||
98 | 3.81 | ||
33 | 3.97 | ||
52 | 5.46 | ||
4,765 | 2.02 | ||
727 | 2.25 | ||
740 | 2.15 | ||
190 | 1.53 | ||
1,646 | 1.37 | ||
93 | 2.66 | ||
42 | 3.17 | ||
52 | 2.33 | ||
16 | 6.06 | ||
88 | 1.99 | ||
12 | 2.17 | ||
58 | 2.12 | ||
12 | 3.42 | ||
571 | 3.95 | ||
1,022 | 1.43 | ||
537 | 2.14 | ||
667 | 2.20 | ||
43 | 2.35 | ||
31 | 2.42 | ||
145 | 3.50 | ||
77 | 5.03 | ||
190 | 2.08 | ||
91 | 2.96 | ||
48 | 3.33 | ||
237 | 2.14 | ||
65 | 4.00 | ||
64 | 3.38 |