# | Title | # Solved | Avg. Tries |
---|---|---|---|
542 | 3.58 | ||
363 | 3.54 | ||
183 | 2.75 | ||
354 | 3.61 | ||
40 | 1.95 | ||
45 | 2.91 | ||
105 | 2.65 | ||
698 | 2.46 | ||
2,283 | 1.84 | ||
98 | 3.24 | ||
96 | 4.97 | ||
8,272 | 1.33 | ||
22,491 | 2.26 | ||
1,291 | 4.46 | ||
322 | 3.47 | ||
791 | 1.54 | ||
121 | 1.51 | ||
1,013 | 1.74 | ||
191 | 2.54 | ||
2,679 | 3.34 | ||
4,414 | 2.36 | ||
1,344 | 2.11 | ||
2,046 | 2.98 | ||
347 | 1.84 | ||
188 | 2.13 | ||
43 | 1.63 | ||
75 | 2.99 | ||
201 | 1.86 | ||
162 | 1.78 | ||
3,963 | 2.34 | ||
164 | 2.42 | ||
169 | 2.49 | ||
245 | 1.62 | ||
397 | 2.18 | ||
240 | 1.91 | ||
143 | 2.36 | ||
591 | 2.83 | ||
279 | 2.84 | ||
631 | 3.16 | ||
14,668 | 2.92 | ||
5,851 | 3.89 | ||
21,761 | 2.51 | ||
3,013 | 1.95 | ||
1,495 | 2.05 | ||
87 | 2.40 | ||
3-SAT STANDARD | 55 | 24.35 | |
272 | 2.15 | ||
130 | 2.68 | ||
88 | 1.99 | ||
64 | 2.63 |