# | Title | # Solved | Avg. Tries |
---|---|---|---|
57 | 4.18 | ||
57 | 2.51 | ||
16,034 | 1.81 | ||
9,638 | 3.65 | ||
611 | 2.22 | ||
665 | 2.50 | ||
517 | 4.08 | ||
21 | 6.90 | ||
14,470 | 2.17 | ||
54 | 2.39 | ||
78 | 2.03 | ||
130 | 2.68 | ||
227 | 2.19 | ||
3-SAT STANDARD | 54 | 24.70 | |
78 | 2.14 | ||
1,260 | 2.04 | ||
2,673 | 1.99 | ||
19,291 | 2.52 | ||
5,200 | 3.95 | ||
12,570 | 2.97 | ||
552 | 3.13 | ||
257 | 2.84 | ||
509 | 2.83 | ||
224 | 1.88 | ||
373 | 2.22 | ||
220 | 1.65 | ||
151 | 2.61 | ||
147 | 2.39 | ||
3,410 | 2.35 | ||
163 | 1.77 | ||
157 | 2.04 | ||
310 | 1.92 | ||
1,747 | 2.99 | ||
1,119 | 2.11 | ||
4,005 | 2.38 | ||
2,372 | 3.39 | ||
174 | 2.60 | ||
881 | 1.73 | ||
121 | 1.51 | ||
695 | 1.55 | ||
288 | 3.37 | ||
1,141 | 4.52 | ||
20,961 | 2.29 | ||
7,690 | 1.33 | ||
86 | 4.81 | ||
88 | 3.39 | ||
609 | 2.52 | ||
94 | 2.74 | ||
41 | 3.05 | ||
38 | 2.00 |