# | Title | # Solved | Avg. Tries |
---|---|---|---|
5,305 | 3.93 | ||
2,568 | 2.29 | ||
4,504 | 1.45 | ||
123 | 4.00 | ||
313 | 3.12 | ||
165 | 2.42 | ||
19,708 | 2.52 | ||
3,235 | 3.46 | ||
436 | 3.22 | ||
2,754 | 2.08 | ||
563 | 2.69 | ||
665 | 2.56 | ||
464 | 2.36 | ||
394 | 1.72 | ||
214 | 1.65 | ||
1,667 | 2.84 | ||
163 | 2.93 | ||
1,929 | 2.13 | ||
2,439 | 1.66 | ||
350 | 1.61 | ||
145 | 1.90 | ||
290 | 2.69 | ||
260 | 4.65 | ||
1,523 | 3.73 | ||
950 | 1.98 | ||
2,715 | 1.98 | ||
71 | 2.41 | ||
229 | 2.33 | ||
1,307 | 2.04 | ||
241 | 3.45 | ||
131 | 1.67 | ||
36 | 2.36 | ||
2,191 | 1.79 | ||
851 | 2.30 | ||
1,384 | 2.03 | ||
823 | 1.66 | ||
3-SAT STANDARD | 54 | 24.70 | |
773 | 1.76 | ||
230 | 1.64 | ||
237 | 2.21 | ||
32 | 1.16 | ||
3-SAT 2 STANDARD | 31 | 15.35 | |
2,887 | 1.27 | ||
1,912 | 1.14 | ||
192 | 1.22 | ||
174 | 1.50 | ||
62 | 2.32 | ||
27 | 3.37 | ||
183 | 1.63 | ||
274 | 1.49 |