# | Title | # Solved | Avg. Tries |
---|---|---|---|
913 | 1.45 | ||
482 | 4.10 | ||
12 | 3.42 | ||
54 | 2.06 | ||
11 | 1.91 | ||
80 | 1.99 | ||
16 | 6.06 | ||
52 | 2.33 | ||
41 | 2.93 | ||
76 | 2.67 | ||
1,434 | 1.38 | ||
159 | 1.56 | ||
668 | 2.10 | ||
674 | 2.29 | ||
4,425 | 2.04 | ||
52 | 5.46 | ||
32 | 4.06 | ||
91 | 3.82 | ||
239 | 2.03 | ||
23 | 1.91 | ||
62 | 2.71 | ||
2,386 | 4.13 | ||
17 | 1.65 | ||
54 | 2.31 | ||
75 | 2.03 | ||
323 | 1.96 | ||
19 | 7.26 | ||
10 | 2.00 | ||
3-SAT 2 STANDARD | 31 | 15.35 | |
222 | 1.66 | ||
701 | 1.76 | ||
3-SAT STANDARD | 54 | 24.70 | |
773 | 1.66 | ||
25 | 1.56 | ||
28 | 2.29 | ||
88 | 1.67 | ||
75 | 2.15 | ||
123 | 1.70 | ||
104 | 1.56 | ||
233 | 3.44 | ||
1,192 | 2.02 | ||
205 | 2.40 | ||
66 | 2.29 | ||
2,517 | 1.99 | ||
6 | 3.50 | ||
142 | 3.01 | ||
189 | 1.59 | ||
219 | 2.97 | ||
119 | 4.68 | ||
245 | 2.12 |