# | Title | # Solved | Avg. Tries |
---|---|---|---|
64 | 2.63 | ||
86 | 2.00 | ||
359 | 1.92 | ||
20 | 7.00 | ||
10 | 2.00 | ||
3-SAT 2 STANDARD | 31 | 15.35 | |
259 | 1.69 | ||
871 | 1.78 | ||
3-SAT STANDARD | 55 | 24.35 | |
895 | 1.62 | ||
27 | 1.63 | ||
46 | 2.30 | ||
112 | 2.32 | ||
87 | 2.40 | ||
143 | 1.71 | ||
119 | 1.55 | ||
275 | 3.37 | ||
1,486 | 2.06 | ||
241 | 2.34 | ||
75 | 2.40 | ||
2,990 | 1.95 | ||
9 | 3.00 | ||
179 | 2.93 | ||
233 | 1.74 | ||
259 | 3.07 | ||
143 | 4.83 | ||
281 | 2.11 | ||
69 | 6.28 | ||
63 | 2.52 | ||
28 | 4.32 | ||
41 | 1.98 | ||
631 | 3.16 | ||
75 | 1.87 | ||
279 | 2.84 | ||
162 | 2.59 | ||
20 | 2.65 | ||
22 | 2.05 | ||
17 | 1.29 | ||
6 | 3.33 | ||
17 | 1.41 | ||
13 | 1.85 | ||
22 | 7.64 | ||
39 | 2.67 | ||
24 | 1.88 | ||
38 | 1.68 | ||
66 | 1.68 | ||
260 | 1.38 | ||
793 | 1.51 | ||
1,392 | 1.44 | ||
736 | 2.04 |