# | Title | # Solved | Avg. Tries |
---|---|---|---|
143 | 1.71 | ||
87 | 2.40 | ||
112 | 2.32 | ||
46 | 2.30 | ||
27 | 1.63 | ||
895 | 1.62 | ||
3-SAT STANDARD | 55 | 24.35 | |
871 | 1.78 | ||
259 | 1.69 | ||
3-SAT 2 STANDARD | 31 | 15.35 | |
10 | 2.00 | ||
20 | 7.00 | ||
359 | 1.92 | ||
86 | 2.00 | ||
64 | 2.63 | ||
18 | 1.78 | ||
2,865 | 4.13 | ||
66 | 2.74 | ||
24 | 1.88 | ||
251 | 2.02 | ||
99 | 3.78 | ||
33 | 3.97 | ||
52 | 5.46 | ||
4,958 | 2.02 | ||
751 | 2.26 | ||
790 | 2.19 | ||
200 | 1.52 | ||
1,722 | 1.37 | ||
108 | 2.62 | ||
48 | 2.96 | ||
56 | 2.36 | ||
17 | 5.76 | ||
94 | 1.97 | ||
15 | 2.33 | ||
60 | 2.08 | ||
12 | 3.42 | ||
614 | 3.89 | ||
1,084 | 1.43 | ||
563 | 2.13 | ||
705 | 2.21 | ||
46 | 2.26 | ||
35 | 2.26 | ||
166 | 3.49 | ||
88 | 4.95 | ||
207 | 2.06 | ||
92 | 3.09 | ||
48 | 3.33 | ||
268 | 2.15 | ||
65 | 4.00 | ||
69 | 3.43 |