# | Title | # Solved | Avg. Tries |
---|---|---|---|
64 | 2.63 | ||
85 | 1.95 | ||
352 | 1.93 | ||
20 | 7.00 | ||
10 | 2.00 | ||
3-SAT 2 STANDARD | 31 | 15.35 | |
250 | 1.66 | ||
829 | 1.79 | ||
3-SAT STANDARD | 55 | 24.35 | |
880 | 1.63 | ||
27 | 1.63 | ||
41 | 2.29 | ||
111 | 2.30 | ||
83 | 2.23 | ||
139 | 1.73 | ||
114 | 1.54 | ||
265 | 3.42 | ||
1,420 | 2.05 | ||
241 | 2.34 | ||
73 | 2.42 | ||
2,888 | 1.96 | ||
9 | 3.00 | ||
174 | 2.90 | ||
225 | 1.72 | ||
253 | 3.06 | ||
137 | 4.90 | ||
268 | 2.13 | ||
67 | 6.28 | ||
58 | 2.59 | ||
28 | 4.32 | ||
39 | 2.00 | ||
612 | 3.13 | ||
73 | 1.89 | ||
279 | 2.84 | ||
158 | 2.42 | ||
20 | 2.65 | ||
22 | 2.05 | ||
17 | 1.29 | ||
6 | 3.33 | ||
17 | 1.41 | ||
13 | 1.85 | ||
22 | 7.64 | ||
36 | 2.75 | ||
23 | 1.91 | ||
36 | 1.53 | ||
63 | 1.71 | ||
260 | 1.38 | ||
760 | 1.52 | ||
1,387 | 1.44 | ||
734 | 2.04 |