# | Title | # Solved | Avg. Tries |
---|---|---|---|
86 | 2.52 | ||
36 | 3.33 | ||
3-SAT STANDARD | 54 | 24.70 | |
67 | 2.34 | ||
51 | 1.75 | ||
15 | 3.53 | ||
26 | 1.73 | ||
24 | 4.75 | ||
44 | 1.36 | ||
33 | 5.39 | ||
19 | 2.58 | ||
39 | 4.36 | ||
32 | 1.56 | ||
52 | 2.90 | ||
19 | 3.42 | ||
33 | 9.18 | ||
54 | 2.83 | ||
37 | 2.16 | ||
35 | 2.40 | ||
39 | 2.77 | ||
25 | 3.08 | ||
13 | 7.38 | ||
56 | 4.07 | ||
38 | 8.55 | ||
56 | 2.21 | ||
29 | 3.45 | ||
28 | 1.79 | ||
22 | 2.95 | ||
46 | 2.72 | ||
57 | 2.07 | ||
21 | 4.24 | ||
26 | 1.77 | ||
54 | 1.44 | ||
40 | 2.08 | ||
23 | 3.74 | ||
54 | 2.07 | ||
20 | 2.30 | ||
29 | 3.90 | ||
48 | 4.00 | ||
36 | 1.83 | ||
25 | 4.20 | ||
17 | 4.29 | ||
37 | 1.51 | ||
14 | 4.93 | ||
9 | 1.67 | ||
30 | 1.93 | ||
38 | 2.24 | ||
30 | 2.87 | ||
17 | 3.29 | ||
24 | 3.29 |