# | Title | # Solved | Avg. Tries |
---|---|---|---|
22 | 1.91 | ||
28 | 2.86 | ||
101 | 2.20 | ||
28 | 3.32 | ||
26 | 3.69 | ||
10 | 2.00 | ||
68 | 2.29 | ||
190 | 1.46 | ||
1 | 1.00 | ||
201 | 1.21 | ||
2,062 | 1.14 | ||
3,030 | 1.27 | ||
3-SAT 2 STANDARD | 31 | 15.35 | |
21 | 1.57 | ||
13 | 1.23 | ||
13 | 4.77 | ||
35 | 1.14 | ||
13 | 3.00 | ||
2 | 1.00 | ||
30 | 1.37 | ||
10 | 1.50 | ||
20 | 1.70 | ||
262 | 2.17 | ||
2 | 2.50 | ||
20 | 2.10 | ||
27 | 1.22 | ||
250 | 1.66 | ||
822 | 1.78 | ||
3-SAT STANDARD | 55 | 24.35 | |
866 | 1.63 | ||
27 | 1.63 | ||
102 | 3.94 | ||
1,402 | 2.03 | ||
4,697 | 1.96 | ||
871 | 2.29 | ||
2,244 | 1.79 | ||
41 | 2.29 | ||
111 | 2.30 | ||
82 | 2.20 | ||
139 | 1.73 | ||
114 | 1.54 | ||
265 | 3.42 | ||
1,416 | 2.04 | ||
241 | 2.34 | ||
73 | 2.42 | ||
2,862 | 1.97 | ||
1,033 | 1.96 | ||
1,616 | 3.69 | ||
287 | 4.82 | ||
308 | 2.69 |