#Cl-start            #Cl-end           #Cl-step     #Samples/point:      #Var     Random-seed 
4                      120                4              100              6      #$-198275357 
<Sat result>     <Number of States>     <Time>     
#Clauses: 4 
S                      12                0.21 
S                      11                0.14 
S                      12                0.21 
S                      15                0.28 
S                      12                0.22 
S                      11                0.19 
S                      12                0.15 
S                      16                0.28 
S                      12                0.16 
S                      11                0.16 
S                      11                0.22 
S                      10                0.22 
S                       9                0.13 
S                      14                0.23 
S                       9                0.13 
S                      12                0.21 
S                      11                0.19 
S                      12                0.22 
S                      13                0.27 
S                      12                0.25 
S                      13                0.23 
S                      11                0.18 
S                      11                0.14 
S                      11                0.15 
S                      11                0.16 
S                      11                0.16 
S                      14                0.30 
S                      10                0.23 
S                      12                0.23 
S                      11                0.21 
S                      12                0.25 
S                       9                0.14 
S                      12                0.21 
S                      14                0.26 
S                       9                0.17 
S                       8                0.16 
S                      10                0.21 
S                      12                0.22 
S                      13                0.22 
S                       8                0.15 
S                      11                0.21 
S                      12                0.21 
S                      13                0.22 
S                       8                0.16 
S                      10                0.23 
S                      14                0.20 
S                      11                0.21 
S                      12                0.21 
S                       8                0.16 
S                       9                0.21 
S                      11                0.21 
S                      10                0.15 
S                      12                0.20 
S                      11                0.20 
S                       9                0.16 
S                      12                0.21 
S                      10                0.20 
S                      12                0.20 
S                      12                0.20 
S                       8                0.14 
S                      11                0.17 
S                      12                0.22 
S                      13                0.22 
S                      15                0.22 
S                       9                0.14 
S                      13                0.20 
S                      14                0.23 
S                      12                0.20 
S                       9                0.13 
S                      13                0.22 
S                       9                0.15 
S                      11                0.16 
S                      12                0.19 
S                      11                0.21 
S                      12                0.20 
S                      11                0.20 
S                       9                0.14 
S                       9                0.15 
S                       9                0.15 
S                      11                0.16 
S                      11                0.21 
S                      12                0.23 
S                      12                0.19 
S                       9                0.15 
S                      12                0.20 
S                      10                0.13 
S                      10                0.15 
S                      14                0.19 
S                      11                0.21 
S                       8                0.15 
S                      14                0.22 
S                      12                0.22 
S                      12                0.12 
S                      13                0.17 
S                      11                0.15 
S                       9                0.19 
S                      12                0.20 
S                      14                0.21 
S                      11                0.21 
S                       9                0.14 
#Clauses: 8 
S                      13                0.39 
S                      12                0.35 
S                      16                0.40 
S                      13                0.34 
S                      15                0.44 
S                      11                0.29 
S                      10                0.25 
S                      12                0.32 
S                      12                0.41 
S                      14                0.40 
S                      11                0.32 
S                       9                0.33 
S                      12                0.34 
S                      10                0.35 
S                       8                0.28 
S                      12                0.36 
S                      16                0.40 
S                      10                0.28 
S                      14                0.39 
S                      12                0.39 
S                      12                0.33 
S                      15                0.40 
S                      11                0.42 
S                      16                0.54 
S                      12                0.36 
S                      15                0.42 
S                      12                0.33 
S                      14                0.36 
S                       9                0.26 
S                      12                0.37 
S                      17                0.47 
S                      15                0.50 
S                      11                0.29 
S                      13                0.40 
S                      15                0.41 
S                      12                0.38 
S                      11                0.31 
S                       9                0.25 
S                      10                0.28 
S                      16                0.48 
S                      12                0.39 
S                       9                0.28 
S                      12                0.36 
S                      12                0.32 
S                       9                0.32 
S                      11                0.32 
S                      13                0.34 
S                      15                0.35 
S                      13                0.45 
S                      11                0.28 
S                      14                0.39 
S                      12                0.39 
S                      13                0.31 
S                      11                0.24 
S                      12                0.48 
S                      14                0.27 
S                      11                0.34 
S                      10                0.25 
S                      13                0.36 
S                       9                0.27 
S                      12                0.31 
S                      14                0.39 
S                      11                0.32 
S                      12                0.34 
S                       9                0.27 
S                      12                0.40 
S                      12                0.33 
S                      12                0.32 
S                      12                0.33 
S                      12                0.39 
S                      13                0.45 
S                      11                0.34 
S                      12                0.37 
S                      12                0.34 
S                      12                0.33 
S                      12                0.35 
S                      14                0.48 
S                      13                0.39 
S                      12                0.34 
S                       9                0.34 
S                      11                0.27 
S                      12                0.40 
S                      13                0.41 
S                      11                0.33 
S                       9                0.28 
S                       9                0.25 
S                      11                0.34 
S                      13                0.39 
S                      12                0.32 
S                      11                0.33 
S                      11                0.27 
S                      10                0.34 
S                      11                0.33 
S                      13                0.32 
S                      15                0.33 
S                      12                0.32 
S                      12                0.40 
S                      10                0.29 
S                      15                0.48 
S                      13                0.40 
#Clauses: 12 
S                      10                0.40 
S                      12                0.52 
S                      11                0.59 
S                      16                0.70 
S                      14                0.54 
S                      11                0.51 
S                      12                0.50 
S                      12                0.53 
S                      12                0.47 
S                      17                0.77 
S                      10                0.50 
S                      10                0.46 
S                      14                0.59 
S                       9                0.42 
S                      16                0.55 
S                      16                0.56 
S                      16                0.81 
S                       9                0.44 
S                      16                0.67 
S                      12                0.52 
S                      12                0.47 
S                      15                0.67 
S                      12                0.51 
S                      14                0.53 
S                      13                0.58 
S                      15                0.55 
S                      10                0.46 
S                      12                0.47 
S                      10                0.55 
S                      12                0.52 
S                      15                0.53 
S                      12                0.42 
S                      13                0.54 
S                      17                0.65 
S                      16                0.55 
S                      12                0.61 
S                      11                0.52 
S                      15                0.58 
S                      13                0.60 
S                      11                0.66 
S                      11                0.48 
S                      15                0.65 
S                      11                0.48 
S                      19                0.74 
S                       9                0.44 
S                      14                0.59 
S                      12                0.48 
S                      16                0.53 
S                      10                0.46 
S                      10                0.50 
S                      13                0.45 
S                      18                0.64 
S                      13                0.65 
S                      10                0.52 
S                      10                0.51 
S                      19                0.72 
S                      12                0.70 
S                      13                0.60 
S                      11                0.62 
S                      10                0.43 
S                      14                0.52 
S                      14                0.70 
S                      16                0.64 
S                       9                0.48 
S                      15                0.64 
S                      13                0.54 
S                      17                0.70 
S                      11                0.45 
S                      13                0.54 
S                      20                0.76 
S                      10                0.53 
S                      12                0.53 
S                      12                0.57 
S                      17                0.80 
S                      11                0.67 
S                      12                0.55 
S                      10                0.52 
S                      14                0.59 
S                      13                0.52 
S                      19                0.74 
S                      13                0.69 
S                      10                0.58 
S                      14                0.65 
S                      14                0.60 
S                      11                0.62 
S                       9                0.50 
S                      15                0.87 
S                      15                0.65 
S                      24                1.18 
S                      10                0.53 
S                      10                0.55 
S                      16                0.86 
S                      12                0.55 
S                      12                0.65 
S                      13                0.53 
S                      10                0.60 
S                      11                0.65 
S                       9                0.52 
S                      13                0.59 
S                      12                0.57 
#Clauses: 16 
S                      17                1.05 
S                      14                0.89 
S                      18                1.08 
S                      18                0.97 
S                      11                0.74 
S                      15                1.13 
S                      10                0.84 
S                      13                0.80 
S                      19                1.53 
S                      12                0.83 
S                      17                1.14 
S                      14                0.87 
S                      12                0.86 
S                      11                0.73 
S                      14                0.81 
S                      12                0.84 
S                      15                0.92 
S                      11                0.72 
S                       9                0.58 
S                      13                0.80 
S                      15                0.95 
S                      13                1.12 
S                      10                0.71 
S                      18                1.04 
S                      14                0.90 
S                      17                1.04 
S                      12                0.85 
S                      12                0.72 
S                      13                0.89 
S                      10                0.73 
S                      13                0.89 
S                      17                1.10 
S                      21                1.30 
S                       9                0.70 
S                      14                0.63 
S                      10                0.90 
S                      13                1.00 
S                      12                0.82 
S                      11                0.88 
S                      14                1.13 
S                      17                0.89 
S                      10                0.83 
S                      11                0.56 
S                      18                1.08 
S                      18                0.91 
S                      14                1.06 
S                      10                0.64 
S                      23                1.41 
S                       9                0.65 
S                      27                1.73 
S                      23                1.52 
S                      20                1.41 
S                      40                2.06 
S                      13                0.65 
S                      20                0.92 
S                      12                0.66 
S                      10                0.72 
S                      14                0.89 
S                      20                1.04 
S                      12                0.73 
S                      13                0.77 
S                      14                0.85 
S                      12                0.73 
S                      10                0.85 
S                      11                0.76 
S                      13                0.72 
S                      32                2.05 
S                      14                0.84 
S                      13                0.80 
S                      12                0.82 
S                      13                0.95 
S                      13                1.03 
S                      10                0.67 
S                      10                0.78 
S                      13                0.88 
S                      12                0.66 
S                      14                0.84 
S                      12                0.59 
S                      21                1.16 
S                      20                0.97 
S                      10                0.53 
S                      17                0.74 
S                      17                1.07 
S                      25                1.77 
S                      27                1.39 
S                      12                0.56 
S                      12                0.74 
S                      12                0.69 
S                      12                0.50 
S                      10                0.64 
S                      12                0.95 
S                      10                0.69 
S                      24                1.45 
S                      15                0.87 
S                      18                1.13 
S                      14                0.86 
S                      13                0.90 
S                      15                0.81 
S                      15                0.71 
S                      24                1.33 
#Clauses: 20 
S                      11                0.86 
S                      16                1.06 
U                      31                2.66 
S                      31                2.39 
S                      18                1.50 
S                      16                1.09 
S                      11                0.94 
S                      14                0.98 
S                      21                1.48 
S                      13                1.31 
S                      11                0.83 
S                       9                0.76 
S                      13                0.97 
S                      31                2.08 
S                      13                0.90 
S                      13                1.05 
S                      14                0.93 
S                      27                1.81 
S                      10                0.93 
S                      10                0.74 
S                      19                1.18 
S                      21                1.26 
S                      17                1.11 
S                      13                0.83 
S                      14                1.17 
S                      18                1.13 
S                      21                1.52 
S                      13                1.19 
S                      25                1.91 
S                      12                0.89 
S                      21                1.14 
S                      26                1.84 
S                      13                0.87 
S                      18                1.16 
S                      16                1.30 
S                       9                0.70 
S                      24                1.79 
S                      17                1.33 
S                      20                1.34 
S                      13                0.93 
S                      10                0.71 
S                      12                0.92 
S                      19                1.11 
S                      17                1.56 
S                       9                0.76 
S                      18                1.15 
S                      26                1.83 
S                      12                0.88 
S                      18                1.03 
S                      30                2.05 
S                      16                1.32 
S                      11                0.91 
S                      14                1.00 
S                       9                0.73 
S                      11                0.91 
S                      10                0.74 
S                      13                0.80 
S                      12                0.99 
S                      11                0.82 
S                      21                1.36 
S                      11                0.88 
S                      16                1.17 
S                      12                1.01 
S                      13                0.91 
S                      12                1.12 
S                      24                1.71 
S                      14                1.01 
S                      14                1.04 
S                      16                0.95 
S                      11                1.00 
S                      28                1.77 
S                      14                0.97 
S                      12                0.87 
S                      20                1.59 
S                      12                0.92 
S                      10                0.80 
S                      18                1.22 
S                       9                0.80 
S                      16                1.30 
S                      12                0.90 
S                      25                2.04 
S                      31                2.31 
S                      11                0.75 
S                      17                1.09 
S                      12                1.07 
S                      12                1.01 
S                      13                0.89 
S                      21                1.77 
U                      18                1.71 
S                      14                0.95 
S                      11                0.89 
S                      12                1.08 
S                      12                0.90 
S                      26                1.54 
S                      15                1.23 
S                      10                0.90 
S                      11                0.90 
S                      14                1.08 
S                      11                0.96 
S                      18                1.86 
#Clauses: 24 
S                      11                1.12 
S                      11                1.12 
S                      21                1.91 
U                      31                2.87 
S                      13                1.46 
S                      12                1.20 
S                      10                1.07 
S                      14                1.11 
S                      18                1.89 
S                      16                1.53 
S                      19                1.48 
S                      10                1.00 
S                      14                1.21 
S                      10                1.19 
S                      15                1.24 
S                      17                1.66 
U                      23                2.18 
S                      26                2.27 
S                      18                1.73 
S                      18                1.80 
S                      12                1.10 
S                      17                1.26 
U                      25                2.13 
S                      12                1.16 
S                      20                2.22 
S                      17                1.58 
S                      12                1.03 
S                      16                1.09 
S                      22                1.58 
S                      19                1.66 
S                      15                1.26 
S                      12                1.25 
S                      24                2.08 
U                      28                2.52 
U                      19                2.11 
S                      19                1.51 
S                      16                1.75 
S                      12                1.30 
S                      26                2.46 
S                      11                1.07 
S                      14                1.17 
U                      19                1.83 
S                      10                0.84 
S                      13                1.19 
S                      12                1.29 
U                      33                3.29 
S                      14                1.23 
U                      16                1.61 
U                      25                2.35 
S                      31                2.89 
S                      12                1.25 
S                      11                1.06 
S                      13                1.19 
S                      12                1.13 
S                      25                2.03 
U                      20                2.40 
S                      27                2.61 
S                      26                2.33 
S                      26                2.14 
S                      10                0.88 
S                      14                0.98 
S                      16                1.41 
U                      16                1.64 
S                      10                1.13 
S                      13                1.15 
S                      10                0.93 
U                      17                1.85 
S                      21                2.25 
S                      14                1.27 
S                      16                1.78 
U                      17                1.83 
S                      21                2.09 
S                      21                1.89 
S                      17                1.49 
S                      19                1.85 
S                      17                1.50 
S                      10                0.96 
S                      14                1.10 
S                      15                1.31 
S                      11                1.29 
S                      21                2.49 
S                      23                2.17 
S                      10                1.00 
S                      10                0.93 
S                      18                2.01 
S                      16                1.33 
S                      12                1.28 
S                      15                1.25 
S                      13                1.07 
U                      18                1.88 
S                      18                1.62 
S                      10                1.03 
S                      12                0.93 
U                      21                1.99 
S                      10                0.95 
S                      13                1.42 
S                      21                1.76 
S                      24                2.17 
S                      11                1.13 
S                      21                1.75 
#Clauses: 28 
U                      18                2.34 
S                      27                3.01 
S                      10                0.83 
S                      19                2.15 
S                      22                2.12 
S                      10                1.18 
S                      16                1.34 
S                      19                2.08 
S                      11                1.28 
S                      20                1.83 
S                      14                1.35 
S                      20                2.19 
U                      18                2.22 
S                      13                1.55 
S                      22                2.59 
S                      11                1.07 
S                      16                1.41 
S                      11                1.27 
U                      19                2.65 
S                      13                1.47 
S                      23                2.65 
S                      14                1.65 
S                      21                2.21 
U                      17                2.36 
U                      28                2.76 
S                      21                2.26 
U                      24                2.61 
U                      30                3.05 
S                      18                2.14 
U                      17                2.13 
S                      21                2.44 
S                      27                2.94 
U                      22                2.91 
S                      13                1.63 
S                      24                2.48 
S                      10                1.10 
S                      24                2.93 
U                      27                3.18 
S                      18                1.69 
S                      11                1.21 
S                      11                1.22 
S                      11                1.22 
S                      13                1.19 
U                      25                3.02 
S                      10                1.23 
S                      26                2.47 
S                       9                1.12 
S                      10                1.09 
U                      22                2.77 
U                      27                2.77 
S                      19                2.24 
U                      21                2.42 
S                      23                2.36 
U                      19                2.43 
S                      15                1.44 
S                      12                1.38 
U                      22                2.69 
S                      23                2.82 
S                      23                2.87 
S                      19                1.83 
S                      27                3.04 
U                      31                2.91 
S                      21                1.55 
S                      11                1.31 
S                      11                1.39 
S                      12                1.51 
S                      23                2.47 
U                      21                2.48 
U                      22                2.65 
S                      15                1.15 
S                      33                3.15 
S                      23                2.39 
U                      20                2.52 
S                      10                1.11 
S                      13                1.39 
U                      24                3.17 
S                      12                1.61 
S                      16                1.80 
S                      16                1.69 
S                      14                1.19 
S                      26                2.60 
U                      21                2.50 
S                      12                1.18 
S                      20                1.95 
S                      20                1.95 
S                      16                1.58 
U                      19                2.60 
S                      27                2.97 
U                      16                1.93 
S                      16                1.76 
S                      11                1.20 
S                      28                3.22 
S                      13                1.65 
S                      21                2.90 
S                      17                1.71 
U                      23                2.94 
U                      17                2.22 
S                      11                1.08 
S                      22                2.60 
S                      17                2.52 
#Clauses: 32 
U                      26                3.15 
S                      23                3.03 
S                      10                1.29 
U                      18                2.62 
U                      19                3.11 
U                      20                3.28 
S                      25                2.74 
S                      10                1.44 
S                      16                1.72 
U                      20                2.65 
U                      25                3.55 
U                      20                3.14 
U                      26                2.71 
S                      11                1.34 
S                      22                2.94 
U                      21                2.90 
U                      16                2.54 
U                      17                2.49 
U                      25                3.83 
U                      16                2.28 
U                      19                2.59 
U                      21                3.31 
S                      14                1.90 
S                      12                1.73 
S                      25                3.67 
U                      24                3.51 
U                      22                2.98 
S                      15                1.84 
S                      16                1.70 
S                      23                3.20 
S                      26                3.04 
S                      17                2.06 
S                      20                2.62 
S                      14                1.50 
S                      17                2.14 
U                      25                3.09 
S                      22                3.12 
S                      13                1.67 
U                      19                2.94 
S                      22                3.49 
S                      15                2.16 
S                      21                2.77 
U                      19                3.55 
S                      13                1.97 
U                      18                2.79 
U                      19                3.65 
U                      17                3.19 
U                      18                3.31 
S                      25                3.56 
U                      22                3.98 
U                      25                3.78 
U                      17                3.04 
S                      20                2.82 
S                      19                2.87 
U                      18                3.49 
S                      16                1.86 
U                      20                3.77 
S                      17                2.90 
S                      31                4.26 
U                      26                4.24 
U                      18                3.06 
U                      27                3.69 
U                      24                2.77 
U                      17                2.65 
S                      18                2.51 
U                      18                2.73 
S                      22                2.42 
U                      18                2.77 
S                      13                1.60 
U                      22                2.74 
S                      12                1.63 
S                      16                2.50 
S                      19                2.32 
U                      17                2.27 
U                      20                3.00 
S                      20                2.56 
S                      12                1.78 
U                      18                2.63 
S                      12                1.76 
S                      20                2.56 
U                      16                2.49 
U                      20                3.03 
U                      19                2.72 
S                      18                1.69 
U                      17                2.47 
U                      22                2.67 
U                      18                2.86 
S                      20                2.90 
S                      18                2.54 
S                      19                2.08 
S                      11                1.26 
U                      21                2.95 
U                      27                3.63 
S                      15                1.93 
S                      13                1.75 
S                      20                3.07 
U                      24                3.28 
U                      18                2.84 
S                      26                3.18 
S                      16                1.62 
#Clauses: 36 
U                      22                3.32 
U                      17                3.26 
U                      15                3.00 
U                      25                4.69 
U                      22                4.23 
S                      10                1.94 
S                      21                3.29 
U                      16                3.21 
U                      21                4.05 
U                      31                3.69 
U                      18                2.56 
S                      11                1.63 
S                      20                2.72 
U                      19                3.44 
S                      16                1.96 
U                      20                3.63 
U                      21                3.36 
U                      19                3.37 
U                      17                3.39 
U                      23                4.11 
S                      12                2.05 
U                      22                3.73 
S                      15                1.79 
U                      19                2.68 
U                      17                2.78 
U                      36                4.32 
U                      21                3.65 
U                      16                2.76 
U                      18                3.26 
U                      22                3.64 
U                      24                3.67 
U                      19                2.87 
S                      29                4.58 
U                      24                3.51 
S                      22                3.32 
U                      18                3.07 
U                      15                2.77 
U                      18                3.57 
S                      18                2.17 
U                      24                3.84 
S                      21                2.98 
U                      17                3.04 
S                      22                3.63 
S                      16                3.03 
S                      16                2.65 
S                      12                1.95 
U                      19                3.73 
U                      22                3.84 
S                      21                4.35 
U                      21                3.99 
S                      19                2.82 
S                      19                3.19 
U                      16                3.24 
U                      18                2.72 
U                      17                2.98 
U                      21                4.15 
S                      21                3.24 
S                      19                3.03 
S                      20                3.58 
U                      16                3.02 
S                      16                2.37 
S                      21                3.19 
S                      11                1.95 
S                      12                2.14 
U                      21                3.57 
S                      27                4.17 
S                      14                1.61 
U                      23                4.23 
U                      24                4.65 
U                      24                4.08 
S                      12                1.96 
S                      25                3.91 
U                      22                4.60 
U                      27                4.39 
S                      13                2.57 
U                      18                3.59 
S                      13                2.29 
S                      22                3.72 
U                      22                4.12 
S                      12                2.05 
U                      26                3.99 
U                      16                3.23 
U                      20                3.61 
S                      11                1.67 
U                      22                4.58 
U                      26                4.46 
U                      23                4.26 
S                       9                1.65 
U                      18                3.70 
U                      22                4.03 
U                      17                3.29 
U                      20                4.16 
S                      12                2.07 
U                      20                3.91 
U                      16                3.52 
S                      24                3.59 
U                      15                2.98 
U                      18                3.65 
S                      17                3.07 
U                      18                3.14 
#Clauses: 40 
U                      17                4.02 
U                      18                3.90 
U                      21                4.82 
U                      18                4.14 
S                      24                4.60 
S                      21                4.20 
U                      17                3.68 
U                      19                3.35 
U                      25                4.26 
U                      20                3.44 
U                      16                3.39 
U                      21                3.77 
U                      26                4.90 
U                      16                3.32 
U                      28                4.80 
S                      11                1.82 
S                      23                3.18 
U                      29                4.49 
U                      19                3.58 
U                      23                4.15 
U                      21                3.95 
S                      16                2.27 
S                      12                2.05 
S                      17                3.38 
U                      16                2.38 
U                      24                3.56 
S                       9                1.64 
U                      21                4.14 
U                      19                4.30 
U                      18                4.37 
S                      11                2.01 
U                      17                4.04 
U                      17                3.66 
U                      18                4.12 
U                      21                4.38 
U                      17                3.98 
S                      22                3.58 
S                      19                3.42 
U                      15                3.33 
U                      18                3.90 
U                      17                4.34 
U                      17                3.54 
U                      16                3.68 
S                      14                2.07 
U                      17                3.54 
S                      11                2.15 
U                      21                4.37 
U                      20                4.14 
U                      20                4.14 
U                      21                4.77 
U                      17                3.73 
U                      17                3.90 
S                      21                3.93 
U                      21                4.23 
U                      23                4.43 
U                      23                4.46 
U                      19                3.89 
U                      20                4.02 
U                      22                3.63 
U                      26                4.08 
U                      25                4.11 
S                      16                2.41 
U                      15                2.80 
U                      16                2.86 
U                      19                3.04 
U                      20                3.93 
U                      18                3.57 
U                      24                4.12 
U                      21                3.62 
U                      26                4.54 
U                      16                3.02 
U                      23                4.22 
U                      19                3.71 
U                      19                3.48 
S                      20                3.09 
S                      17                3.32 
U                      18                4.09 
S                      10                1.76 
U                      22                3.51 
U                      15                2.95 
U                      20                3.59 
U                      18                3.38 
U                      23                3.88 
U                      17                3.59 
U                      19                3.70 
S                      11                1.96 
U                      20                4.00 
U                      15                3.23 
U                      21                3.64 
S                      16                2.84 
U                      20                4.10 
U                      20                3.92 
S                      13                2.45 
U                      19                3.75 
U                      16                3.17 
U                      19                3.31 
U                      16                3.02 
U                      25                4.05 
U                      18                3.56 
U                      18                3.82 
#Clauses: 44 
U                      19                4.21 
U                      19                3.99 
U                      17                4.10 
U                      18                4.02 
U                      17                4.08 
U                      21                4.39 
U                      17                3.95 
U                      15                3.29 
U                      20                4.52 
U                      19                4.20 
S                      11                2.16 
S                      26                4.75 
U                      21                4.61 
U                      19                4.64 
U                      16                3.70 
S                      24                4.59 
U                      16                3.76 
U                      17                3.86 
U                      16                3.44 
U                      21                3.79 
U                      17                4.08 
U                      21                4.42 
U                      18                3.79 
U                      20                4.37 
U                      18                4.26 
U                      17                3.96 
U                      17                3.86 
U                      19                4.74 
U                      19                4.20 
U                      16                4.00 
U                      17                4.14 
U                      16                4.29 
U                      21                4.96 
U                      23                5.26 
U                      18                4.79 
U                      24                5.54 
U                      17                4.65 
S                      14                2.48 
U                      18                4.13 
S                      17                4.40 
U                      21                5.27 
U                      16                4.05 
U                      17                4.46 
U                      24                5.19 
U                      18                4.57 
U                      22                5.69 
U                      23                5.15 
S                      16                3.98 
U                      20                5.15 
U                      18                4.43 
U                      17                4.28 
U                      23                6.11 
S                      13                3.17 
S                      11                2.52 
U                      14                3.76 
U                      17                4.65 
U                      19                4.70 
U                      17                4.77 
U                      24                5.58 
U                      21                4.01 
U                      21                3.98 
U                      18                4.55 
U                      16                4.49 
U                      19                4.74 
S                      14                2.56 
S                      16                4.06 
U                      22                5.35 
U                      23                4.70 
S                      17                2.88 
U                      26                5.30 
U                      18                4.33 
U                      17                4.31 
U                      16                3.72 
S                      10                2.05 
U                      18                4.58 
U                      22                4.86 
U                      20                4.43 
U                      17                3.22 
U                      15                3.50 
U                      18                4.16 
U                      18                4.46 
U                      15                3.87 
U                      20                4.72 
U                      24                4.50 
S                      13                2.95 
U                      31                6.22 
U                      16                4.33 
S                      25                4.61 
U                      17                4.45 
U                      21                4.67 
U                      17                4.09 
U                      17                4.09 
U                      18                4.18 
U                      17                3.90 
U                      17                3.56 
S                      12                2.48 
U                      17                3.90 
U                      20                3.79 
U                      17                4.06 
U                      16                3.59 
#Clauses: 48 
U                      15                3.70 
S                      19                4.03 
U                      19                4.41 
U                      20                5.07 
U                      20                4.11 
U                      17                4.62 
U                      19                4.47 
U                      17                3.79 
U                      17                3.90 
U                      17                3.66 
U                      17                4.23 
U                      18                4.46 
U                      17                4.07 
U                      16                3.92 
U                      19                4.65 
U                      16                4.16 
U                      16                4.15 
U                      18                3.95 
U                      18                4.82 
U                      16                4.06 
U                      14                3.57 
U                      16                3.75 
U                      17                4.39 
U                      17                4.48 
U                      15                3.76 
U                      18                4.47 
U                      18                4.14 
U                      15                3.98 
U                      23                4.99 
U                      19                4.84 
U                      18                4.98 
U                      19                4.31 
U                      21                4.62 
U                      22                4.69 
U                      15                4.30 
U                      17                3.93 
S                      18                4.62 
U                      19                4.22 
S                      10                2.04 
U                      17                4.12 
U                      20                4.51 
U                      23                5.11 
U                      19                4.75 
U                      16                4.35 
U                      17                4.61 
U                      18                4.40 
U                      17                4.04 
U                      19                4.53 
U                      16                4.04 
U                      19                4.89 
U                      22                4.62 
U                      19                4.75 
U                      17                4.33 
U                      15                4.22 
U                      14                3.36 
U                      16                4.19 
U                      22                4.57 
U                      17                4.75 
U                      17                4.41 
U                      17                4.02 
U                      20                4.58 
U                      21                5.55 
U                      20                4.42 
U                      20                4.55 
U                      22                4.69 
U                      15                3.82 
U                      17                4.54 
S                      20                3.85 
U                      18                5.01 
U                      15                3.58 
U                      16                4.18 
U                      16                3.80 
S                      27                5.39 
U                      17                4.09 
U                      16                3.62 
U                      18                4.40 
U                      19                4.74 
U                      22                5.36 
U                      17                4.73 
U                      17                3.96 
U                      18                4.21 
U                      21                4.72 
U                      16                3.98 
U                      16                3.77 
U                      16                4.26 
U                      18                4.76 
U                      15                3.64 
U                      23                5.74 
U                      20                4.19 
S                      21                4.31 
U                      15                3.74 
U                      17                4.05 
U                      20                4.12 
S                      15                3.60 
U                      21                3.85 
U                      19                4.37 
U                      16                3.69 
U                      22                5.32 
U                      16                4.23 
U                      16                3.88 
#Clauses: 52 
U                      17                4.97 
U                      16                4.38 
U                      19                5.15 
U                      17                4.89 
U                      17                4.94 
U                      20                4.68 
U                      17                4.96 
U                      16                4.18 
U                      17                4.32 
U                      21                5.14 
U                      17                4.70 
U                      16                4.43 
U                      23                5.62 
U                      16                4.24 
S                      24                5.49 
U                      20                4.76 
U                      18                4.60 
U                      17                4.86 
U                      17                4.97 
U                      17                4.46 
U                      18                4.92 
U                      18                4.68 
U                      20                4.63 
U                      17                5.05 
U                      18                4.85 
U                      16                4.53 
U                      15                3.78 
U                      15                4.29 
U                      16                4.53 
S                      24                5.99 
U                      16                4.63 
U                      18                4.78 
U                      20                5.18 
U                      17                4.49 
U                      16                4.50 
U                      16                4.59 
U                      16                4.32 
U                      17                4.81 
S                      19                4.77 
U                      16                4.91 
U                      18                5.00 
U                      18                4.58 
U                      16                4.79 
S                      21                5.09 
U                      16                4.58 
S                      11                2.57 
U                      17                5.31 
U                      20                5.12 
U                      16                4.33 
U                      19                4.94 
U                      17                4.44 
U                      17                4.44 
S                      19                4.59 
U                      19                5.13 
U                      16                4.69 
U                      17                4.01 
U                      16                4.37 
U                      23                5.88 
U                      16                4.44 
S                      17                4.16 
U                      17                4.65 
U                      21                5.04 
U                      15                4.30 
U                      20                4.83 
U                      17                4.35 
S                      19                5.27 
S                      17                4.68 
U                      16                4.59 
U                      16                4.18 
U                      18                5.19 
U                      17                4.84 
U                      17                4.85 
U                      18                4.95 
U                      20                4.66 
U                      18                4.84 
U                      17                4.71 
U                      16                4.30 
U                      19                5.01 
U                      19                4.84 
U                      17                4.76 
U                      19                4.76 
U                      15                4.17 
U                      19                5.54 
U                      24                6.20 
U                      18                5.13 
U                      17                4.93 
U                      16                4.21 
U                      22                5.57 
U                      19                5.12 
U                      16                4.41 
U                      20                5.86 
U                      16                4.26 
U                      20                4.54 
U                      19                4.72 
U                      15                3.88 
U                      18                5.08 
U                      17                4.31 
U                      16                4.27 
U                      19                4.83 
U                      19                4.84 
#Clauses: 56 
U                      19                5.60 
U                      16                4.51 
U                      17                5.15 
U                      16                4.80 
U                      16                4.92 
U                      16                4.86 
U                      16                5.07 
U                      22                6.36 
U                      15                4.78 
U                      17                4.95 
U                      18                4.91 
U                      14                4.35 
U                      16                4.69 
U                      24                6.28 
U                      17                5.76 
U                      17                5.76 
U                      16                4.95 
U                      17                4.91 
U                      15                4.29 
U                      16                4.59 
U                      18                5.19 
U                      20                5.52 
U                      18                5.83 
U                      19                5.88 
U                      21                5.39 
U                      17                4.43 
U                      17                4.90 
U                      15                4.66 
U                      20                5.16 
U                      18                5.75 
U                      16                4.53 
U                      18                5.35 
U                      15                4.29 
U                      24                6.70 
U                      16                4.88 
U                      16                4.67 
U                      18                5.20 
U                      23                6.66 
U                      16                5.26 
S                      12                2.91 
U                      17                5.07 
U                      17                5.16 
U                      19                5.48 
U                      18                5.78 
U                      17                5.26 
U                      18                5.30 
U                      17                5.15 
U                      18                4.83 
U                      14                3.88 
S                      17                5.03 
U                      16                4.33 
U                      19                5.26 
U                      18                5.20 
U                      17                5.29 
U                      14                4.76 
U                      16                4.87 
U                      16                4.80 
U                      16                4.91 
U                      22                6.96 
U                      16                4.85 
S                      19                4.72 
U                      17                4.60 
U                      15                4.60 
U                      16                5.22 
U                      21                5.59 
U                      16                4.95 
U                      16                4.44 
U                      18                4.65 
U                      16                5.00 
U                      16                5.35 
U                      17                5.20 
U                      16                5.11 
U                      15                4.72 
U                      15                4.03 
U                      20                5.11 
U                      16                4.91 
U                      19                5.20 
U                      17                4.80 
U                      14                4.40 
U                      16                4.52 
U                      21                5.59 
U                      18                5.61 
U                      21                6.13 
U                      15                4.90 
S                      17                4.10 
U                      15                4.51 
U                      19                5.45 
U                      23                6.42 
U                      17                4.55 
U                      20                5.40 
U                      16                4.85 
U                      19                5.43 
U                      20                5.76 
U                      18                5.70 
S                      15                3.24 
U                      16                4.81 
U                      16                4.43 
U                      17                4.37 
U                      18                5.65 
U                      16                4.78 
#Clauses: 60 
U                      17                5.96 
U                      18                5.97 
U                      23                6.06 
U                      16                4.86 
U                      16                5.12 
U                      17                5.71 
U                      16                5.40 
U                      17                5.80 
S                      22                6.05 
S                       9                2.57 
U                      16                4.64 
U                      17                6.27 
U                      16                5.28 
U                      16                5.43 
U                      21                6.43 
U                      18                5.94 
U                      20                5.35 
U                      17                6.16 
U                      17                5.69 
U                      21                6.49 
U                      17                5.84 
U                      16                5.35 
U                      16                5.11 
U                      17                5.16 
S                      12                3.36 
U                      15                5.02 
U                      15                4.81 
U                      16                5.44 
U                      17                5.56 
U                      15                4.77 
U                      16                4.94 
U                      17                5.48 
U                      19                6.16 
U                      16                5.47 
U                      17                5.58 
U                      20                5.76 
U                      14                4.28 
U                      15                5.17 
U                      16                5.13 
U                      21                6.13 
U                      16                5.39 
U                      16                5.22 
U                      18                5.21 
U                      17                6.13 
U                      22                6.72 
U                      16                5.59 
U                      16                5.14 
U                      17                5.55 
U                      17                5.27 
U                      17                6.09 
U                      17                5.63 
U                      19                5.69 
U                      19                5.80 
U                      18                6.75 
U                      20                6.40 
U                      17                5.78 
U                      17                5.84 
U                      17                5.92 
U                      16                5.33 
U                      17                5.90 
U                      15                4.75 
S                      18                5.05 
U                      18                5.98 
U                      15                4.57 
U                      16                5.57 
S                      10                2.68 
U                      16                5.97 
U                      17                5.36 
U                      17                5.49 
U                      16                4.65 
U                      17                5.66 
U                      16                5.74 
U                      16                5.92 
U                      16                5.31 
U                      16                5.37 
U                      18                5.54 
U                      18                6.30 
U                      17                5.41 
U                      16                5.38 
U                      16                4.76 
U                      19                4.78 
U                      16                5.11 
U                      18                5.95 
U                      14                4.40 
U                      21                5.59 
U                      15                4.83 
U                      14                4.38 
U                      16                5.05 
U                      22                6.87 
U                      19                5.73 
U                      21                6.76 
U                      16                5.43 
U                      15                4.56 
U                      16                5.07 
U                      17                5.89 
U                      16                5.00 
U                      17                5.30 
U                      25                7.00 
U                      15                4.95 
U                      16                5.28 
#Clauses: 64 
U                      18                6.00 
U                      14                5.69 
U                      17                6.67 
U                      15                5.47 
U                      15                5.42 
U                      16                6.27 
U                      15                5.59 
U                      21                6.67 
U                      18                6.84 
U                      19                7.40 
U                      16                5.71 
U                      16                6.06 
U                      17                5.65 
U                      15                5.22 
U                      24                6.92 
U                      16                5.84 
U                      15                5.18 
U                      16                5.90 
U                      17                5.95 
U                      16                5.63 
U                      15                5.44 
U                      17                6.21 
U                      16                5.67 
U                      17                6.12 
U                      17                6.33 
U                      16                6.02 
U                      20                7.05 
U                      19                6.14 
U                      16                5.21 
U                      16                5.79 
U                      19                5.79 
U                      21                7.47 
U                      15                5.49 
U                      20                6.04 
U                      16                6.21 
U                      15                5.49 
U                      15                5.06 
S                      12                3.52 
U                      17                5.65 
U                      20                6.40 
U                      16                5.72 
U                      15                5.29 
U                      16                5.91 
U                      15                5.73 
U                      17                6.65 
U                      17                5.62 
U                      16                5.74 
U                      20                6.23 
U                      14                5.01 
U                      15                5.17 
U                      15                5.53 
U                      17                5.83 
U                      17                6.00 
U                      20                6.29 
U                      16                5.38 
U                      16                5.53 
U                      16                5.93 
U                      22                6.98 
U                      16                5.69 
U                      14                4.93 
U                      17                6.08 
U                      16                5.42 
U                      14                4.98 
U                      17                6.39 
U                      16                5.60 
U                      20                5.87 
U                      17                5.92 
U                      14                5.09 
U                      15                5.19 
U                      19                7.29 
U                      15                4.82 
U                      14                5.29 
U                      22                7.09 
U                      15                5.50 
U                      18                5.67 
U                      15                5.33 
U                      21                7.56 
U                      16                5.45 
U                      17                6.04 
U                      17                5.66 
U                      15                5.54 
U                      15                5.08 
U                      15                5.30 
U                      17                5.49 
U                      16                5.62 
U                      14                5.42 
U                      17                5.91 
U                      19                6.36 
U                      17                6.21 
U                      19                6.24 
U                      14                4.96 
U                      21                6.28 
U                      16                5.69 
U                      21                5.93 
U                      14                5.17 
U                      18                6.81 
U                      16                5.59 
U                      15                5.47 
U                      17                5.77 
U                      17                5.93 
#Clauses: 68 
U                      16                6.17 
U                      16                5.96 
U                      18                7.41 
U                      17                6.00 
U                      15                5.54 
U                      19                6.95 
U                      14                5.52 
U                      15                5.73 
U                      16                6.13 
U                      17                6.11 
U                      19                7.09 
U                      16                5.75 
U                      15                5.94 
U                      16                4.95 
U                      15                5.70 
U                      16                6.56 
U                      15                5.65 
U                      17                7.23 
U                      16                6.58 
U                      15                5.26 
U                      15                5.45 
U                      19                7.40 
U                      15                5.38 
U                      15                5.99 
U                      15                5.75 
U                      17                5.97 
U                      15                6.03 
U                      15                5.49 
U                      15                5.63 
U                      15                5.19 
U                      16                5.91 
U                      17                6.68 
U                      16                5.90 
U                      15                5.94 
U                      15                5.83 
U                      16                5.48 
U                      16                6.04 
U                      14                5.58 
U                      17                6.37 
U                      18                6.73 
U                      18                6.81 
U                      19                7.05 
U                      16                6.20 
U                      17                6.78 
U                      17                6.74 
S                      12                4.38 
U                      23                8.11 
U                      15                5.50 
U                      17                6.86 
U                      16                5.82 
U                      16                6.57 
U                      15                5.64 
U                      15                6.19 
U                      17                6.37 
U                      15                5.48 
U                      16                6.17 
U                      16                6.38 
U                      18                6.98 
U                      16                6.72 
U                      17                6.41 
U                      16                5.79 
U                      15                6.12 
U                      17                6.63 
U                      15                5.50 
U                      17                6.80 
U                      14                5.47 
U                      17                7.07 
U                      17                6.49 
U                      21                6.57 
U                      16                5.92 
U                      24                7.64 
U                      17                6.47 
U                      18                5.53 
U                      15                5.62 
U                      17                6.27 
U                      20                6.79 
U                      19                6.52 
U                      17                6.23 
U                      17                6.45 
U                      16                6.12 
U                      17                6.26 
U                      18                7.05 
U                      17                6.04 
U                      16                6.48 
U                      18                6.72 
U                      16                6.16 
U                      15                5.95 
S                      20                6.33 
U                      17                6.52 
U                      17                6.18 
U                      16                6.47 
U                      16                6.32 
U                      20                7.20 
U                      14                5.68 
U                      16                6.01 
U                      16                5.94 
U                      18                6.99 
U                      17                6.54 
U                      15                5.47 
U                      15                5.93 
#Clauses: 72 
U                      16                6.38 
U                      16                6.81 
U                      16                6.60 
U                      15                6.85 
U                      15                6.05 
U                      15                6.52 
U                      16                6.54 
U                      17                6.86 
U                      14                5.35 
U                      15                6.03 
U                      17                7.78 
U                      16                6.86 
U                      16                6.47 
U                      16                6.62 
U                      16                6.47 
U                      17                6.91 
U                      21                7.70 
U                      20                7.32 
U                      15                6.45 
U                      21                7.60 
U                      18                6.72 
U                      16                6.64 
U                      15                6.76 
U                      18                6.62 
U                      15                6.48 
U                      16                6.58 
U                      16                6.11 
U                      17                6.68 
U                      15                6.00 
U                      17                6.41 
U                      16                6.62 
U                      15                6.68 
U                      17                6.57 
U                      15                6.39 
U                      15                5.95 
U                      20                7.74 
U                      16                7.43 
U                      14                5.72 
U                      15                6.20 
U                      19                7.21 
U                      16                6.77 
U                      15                6.31 
U                      24                7.86 
U                      20                8.27 
U                      15                6.18 
U                      15                6.44 
U                      18                7.31 
U                      16                6.46 
U                      17                6.72 
U                      15                6.31 
U                      20                7.49 
U                      15                6.25 
U                      16                6.31 
U                      16                6.33 
U                      15                6.57 
U                      17                7.46 
U                      15                6.01 
U                      16                6.64 
U                      16                6.25 
U                      17                6.41 
U                      14                5.98 
U                      18                7.66 
U                      16                6.21 
U                      17                7.04 
U                      16                6.69 
U                      18                7.89 
U                      15                6.10 
U                      17                7.04 
U                      16                7.32 
U                      21                7.84 
U                      16                6.27 
U                      16                6.67 
U                      15                5.97 
U                      19                6.61 
U                      17                6.87 
U                      17                6.54 
U                      15                6.29 
U                      18                7.96 
U                      15                6.25 
U                      16                5.94 
U                      18                7.50 
U                      15                5.86 
U                      15                6.40 
U                      22                7.06 
U                      15                6.41 
U                      17                6.17 
U                      15                6.38 
U                      15                6.57 
U                      16                6.73 
U                      16                6.38 
U                      20                7.24 
U                      18                7.27 
U                      14                5.67 
U                      18                7.81 
U                      16                6.00 
U                      16                6.85 
U                      15                6.36 
U                      16                6.60 
U                      15                6.11 
U                      15                6.23 
#Clauses: 76 
U                      17                7.07 
U                      15                6.93 
U                      17                7.51 
U                      15                6.51 
U                      15                6.71 
U                      17                7.39 
U                      20                7.50 
U                      18                7.83 
U                      17                7.97 
U                      16                7.43 
U                      18                8.00 
U                      15                6.48 
U                      15                6.85 
U                      19                7.62 
U                      16                6.89 
U                      16                6.79 
U                      17                7.46 
U                      15                6.47 
U                      15                6.75 
U                      16                6.61 
U                      15                6.66 
U                      17                7.69 
U                      16                7.12 
U                      21                8.62 
U                      15                6.58 
U                      16                7.05 
U                      15                6.65 
U                      18                7.61 
U                      18                4.79 
U                      16                3.67 
U                      18                4.28 
U                      16                3.95 
U                      16                3.87 
U                      16                3.82 
U                      17                4.21 
U                      17                4.45 
U                      19                4.43 
U                      16                3.99 
U                      18                4.26 
U                      17                3.96 
U                      15                3.75 
U                      15                3.77 
U                      16                3.54 
U                      18                4.31 
U                      18                4.55 
U                      15                4.00 
U                      16                3.70 
U                      15                4.14 
U                      15                4.01 
U                      16                3.99 
U                      16                3.93 
U                      16                3.95 
U                      18                4.35 
U                      16                4.06 
U                      16                4.09 
U                      16                3.93 
U                      15                3.61 
U                      17                4.20 
U                      15                3.47 
U                      16                3.83 
U                      16                3.83 
U                      15                3.91 
U                      17                4.06 
U                      14                3.37 
U                      17                3.94 
U                      15                3.92 
U                      17                3.92 
U                      15                3.62 
U                      15                3.85 
U                      16                3.94 
U                      16                3.85 
U                      14                3.48 
U                      15                3.62 
U                      16                3.72 
U                      17                4.11 
U                      16                3.95 
U                      18                4.44 
U                      15                3.92 
U                      17                4.17 
U                      17                4.10 
U                      17                4.42 
U                      17                4.12 
U                      16                3.91 
U                      20                4.19 
U                      16                4.01 
U                      16                3.97 
U                      16                3.96 
U                      16                4.15 
U                      16                3.90 
U                      16                3.52 
U                      15                3.75 
U                      15                3.71 
U                      17                4.35 
U                      15                3.50 
U                      21                5.11 
U                      16                3.85 
U                      16                3.63 
U                      15                3.72 
U                      16                3.93 
U                      16                3.92 
#Clauses: 80 
U                      17                4.02 
U                      19                4.52 
U                      16                4.23 
U                      18                4.52 
U                      15                3.94 
U                      15                3.81 
U                      16                4.33 
U                      16                4.21 
U                      16                4.24 
U                      14                3.83 
U                      16                4.25 
U                      21                4.94 
U                      15                3.77 
U                      16                4.15 
U                      15                3.82 
U                      16                4.17 
U                      16                4.34 
U                      21                5.32 
U                      16                4.61 
U                      14                3.62 
U                      15                3.90 
U                      16                4.29 
U                      18                4.71 
U                      19                5.31 
U                      15                3.83 
U                      16                4.14 
U                      16                4.17 
U                      16                4.10 
U                      16                4.22 
U                      14                3.63 
U                      18                4.53 
U                      16                4.12 
U                      16                4.34 
U                      17                4.24 
U                      15                4.11 
U                      15                4.01 
U                      20                4.74 
U                      15                4.07 
U                      16                4.33 
U                      16                3.92 
U                      15                3.83 
U                      15                4.00 
U                      16                4.14 
U                      16                3.93 
U                      15                3.72 
U                      15                4.16 
U                      16                3.83 
U                      14                3.57 
U                      16                3.94 
U                      16                4.19 
U                      14                3.89 
U                      17                4.34 
U                      16                4.05 
U                      15                3.79 
U                      18                4.74 
U                      17                4.23 
U                      15                3.71 
U                      16                4.15 
U                      16                4.33 
U                      15                3.91 
U                      17                4.55 
U                      17                4.28 
U                      17                4.85 
U                      14                3.68 
U                      17                4.59 
U                      15                3.88 
U                      15                3.95 
S                      11                2.68 
U                      16                3.97 
U                      15                3.83 
U                      17                4.28 
U                      17                4.01 
U                      16                4.27 
U                      16                4.02 
U                      16                4.14 
U                      18                4.28 
U                      16                4.26 
U                      17                4.19 
U                      16                3.85 
U                      16                4.43 
U                      20                4.56 
U                      14                3.74 
U                      15                3.92 
U                      16                4.21 
U                      16                3.81 
U                      15                3.91 
U                      15                3.61 
U                      16                4.15 
U                      15                3.95 
U                      14                3.59 
U                      14                3.72 
U                      16                4.01 
U                      19                4.56 
U                      16                4.13 
U                      16                4.06 
U                      17                4.12 
U                      15                3.70 
U                      15                4.14 
U                      15                3.74 
U                      15                3.94 
#Clauses: 84 
U                      15                4.12 
U                      15                4.18 
U                      15                4.25 
U                      15                4.12 
U                      17                4.83 
U                      15                4.18 
U                      16                4.19 
U                      15                4.41 
U                      16                4.20 
U                      17                4.42 
U                      16                4.34 
U                      15                4.18 
U                      17                4.50 
U                      16                4.50 
U                      14                3.77 
U                      16                4.63 
U                      17                4.49 
U                      15                4.13 
U                      15                4.19 
U                      14                4.01 
U                      16                4.57 
U                      20                4.83 
U                      16                4.22 
U                      16                4.93 
U                      15                4.17 
U                      15                4.03 
U                      15                4.24 
U                      16                4.49 
U                      17                4.97 
U                      15                4.35 
U                      15                3.90 
U                      17                4.51 
U                      16                4.46 
U                      14                3.82 
U                      16                4.38 
U                      15                4.32 
U                      17                4.64 
U                      15                4.14 
U                      17                4.90 
U                      17                4.62 
U                      15                4.39 
U                      15                4.22 
U                      15                4.13 
U                      15                4.23 
U                      14                4.11 
U                      15                4.03 
U                      17                4.19 
U                      15                4.02 
U                      16                4.50 
U                      15                4.34 
U                      16                4.79 
U                      16                4.33 
U                      19                4.42 
U                      15                3.96 
U                      15                3.90 
U                      16                4.19 
U                      16                4.36 
U                      16                4.16 
U                      16                4.32 
U                      17                4.44 
U                      15                4.06 
U                      14                4.12 
U                      16                4.24 
U                      14                3.74 
U                      16                4.52 
U                      17                4.73 
U                      15                4.12 
U                      15                4.20 
U                      17                4.33 
U                      17                4.50 
U                      16                4.51 
U                      15                4.28 
U                      18                5.12 
U                      17                4.34 
U                      16                4.27 
U                      16                4.47 
U                      14                4.02 
U                      16                4.03 
U                      15                4.23 
U                      14                3.95 
U                      15                4.01 
U                      16                4.34 
U                      16                4.53 
U                      15                4.02 
U                      15                3.67 
U                      15                4.21 
U                      15                4.08 
U                      18                4.61 
U                      16                4.24 
U                      16                4.22 
U                      16                4.10 
U                      15                4.17 
U                      16                4.14 
U                      16                4.27 
U                      16                4.60 
U                      20                4.97 
U                      16                4.52 
U                      14                3.65 
U                      15                4.24 
U                      15                4.34 
#Clauses: 88 
U                      16                4.41 
U                      15                4.12 
U                      15                4.23 
U                      15                4.32 
U                      16                4.57 
U                      15                4.13 
U                      15                4.22 
U                      16                4.71 
U                      16                4.66 
U                      19                4.99 
U                      14                3.80 
U                      15                4.22 
U                      16                4.98 
U                      16                4.53 
U                      15                4.26 
U                      16                4.38 
U                      15                4.31 
U                      16                4.57 
U                      18                5.04 
U                      17                4.83 
U                      14                4.11 
U                      16                4.66 
U                      17                5.01 
U                      16                5.14 
U                      18                5.33 
U                      15                4.51 
U                      16                4.76 
U                      16                4.61 
U                      14                3.98 
U                      16                4.81 
U                      16                4.92 
U                      15                4.11 
U                      15                4.06 
U                      15                4.22 
U                      14                4.33 
U                      16                4.67 
U                      15                4.59 
U                      15                4.21 
U                      19                4.74 
U                      16                4.55 
U                      14                4.14 
U                      16                4.67 
U                      15                4.32 
U                      14                4.13 
U                      15                3.99 
U                      16                4.62 
U                      15                4.20 
U                      15                4.30 
U                      18                4.96 
U                      15                4.02 
U                      15                4.10 
U                      15                4.38 
U                      17                4.65 
U                      16                4.84 
U                      16                4.72 
U                      15                4.32 
U                      16                4.44 
U                      14                4.09 
U                      16                4.61 
U                      16                4.43 
U                      16                4.54 
U                      17                4.68 
U                      15                4.17 
U                      15                4.53 
U                      16                4.68 
U                      15                4.34 
U                      15                4.40 
U                      16                4.50 
U                      14                4.00 
U                      19                4.80 
U                      15                4.07 
U                      17                5.23 
U                      16                4.62 
U                      16                4.50 
U                      14                4.01 
U                      16                4.77 
U                      15                4.41 
U                      17                4.72 
U                      16                4.93 
U                      15                4.41 
U                      15                4.48 
U                      16                4.69 
U                      14                3.79 
U                      17                4.57 
U                      16                4.17 
U                      16                4.45 
U                      15                4.27 
U                      14                4.10 
U                      16                4.44 
U                      14                4.08 
U                      15                4.60 
U                      15                4.38 
U                      16                4.40 
U                      17                4.89 
U                      14                4.22 
U                      16                4.78 
U                      14                4.22 
U                      18                4.51 
U                      15                4.21 
U                      18                5.04 
#Clauses: 92 
U                      15                4.50 
U                      16                4.72 
U                      15                4.76 
U                      17                5.16 
U                      15                4.46 
U                      19                5.13 
U                      16                5.02 
U                      17                4.71 
U                      15                4.50 
U                      16                5.09 
U                      15                4.76 
U                      18                5.63 
U                      15                4.37 
U                      15                4.41 
U                      16                4.53 
U                      15                4.71 
U                      15                4.17 
U                      14                4.25 
U                      14                4.22 
U                      16                5.12 
U                      14                4.00 
U                      18                4.71 
U                      17                4.76 
U                      15                4.46 
U                      14                4.42 
U                      15                4.54 
U                      17                5.42 
U                      17                5.10 
U                      17                5.13 
U                      16                4.74 
U                      16                5.06 
U                      15                4.52 
U                      17                4.82 
U                      15                4.74 
U                      17                5.23 
U                      16                4.73 
U                      14                4.11 
U                      15                4.51 
U                      16                5.06 
U                      16                4.69 
U                      15                4.41 
U                      15                4.43 
U                      17                4.92 
U                      17                5.42 
U                      16                4.40 
U                      16                4.78 
U                      16                5.02 
U                      16                5.17 
U                      16                4.63 
U                      15                4.23 
U                      18                4.66 
U                      16                4.65 
U                      15                4.68 
U                      15                4.81 
U                      15                4.77 
U                      17                5.23 
U                      15                4.74 
U                      15                4.34 
U                      15                4.62 
U                      16                4.92 
U                      14                4.29 
U                      16                5.24 
U                      15                4.81 
U                      18                5.25 
U                      15                4.68 
U                      16                4.47 
U                      14                4.21 
U                      14                4.11 
U                      14                4.06 
U                      15                4.56 
U                      15                4.70 
U                      16                4.61 
U                      16                4.52 
U                      14                4.32 
U                      16                5.07 
U                      16                4.64 
U                      15                4.34 
U                      16                4.77 
U                      16                4.96 
U                      14                4.18 
U                      15                4.47 
U                      16                4.97 
U                      14                4.42 
U                      14                4.30 
U                      17                5.03 
U                      15                4.55 
U                      15                4.33 
U                      16                4.44 
U                      17                4.88 
U                      16                4.54 
U                      15                4.22 
U                      16                4.84 
U                      16                4.43 
U                      17                5.03 
U                      14                4.35 
U                      16                4.74 
U                      17                5.07 
U                      14                4.22 
U                      16                4.72 
U                      16                4.71 
#Clauses: 96 
U                      15                4.68 
U                      15                4.90 
U                      15                4.65 
U                      15                4.74 
U                      17                5.73 
U                      16                5.58 
U                      16                4.91 
U                      15                4.81 
U                      15                4.66 
U                      16                4.92 
U                      16                5.10 
U                      16                4.62 
U                      17                5.55 
U                      15                5.16 
U                      16                4.92 
U                      16                5.07 
U                      15                4.99 
U                      17                5.20 
U                      16                5.10 
U                      16                4.94 
U                      16                5.14 
U                      15                4.43 
U                      14                4.42 
U                      16                5.23 
U                      15                4.90 
U                      16                5.14 
U                      16                4.87 
U                      16                4.94 
U                      16                4.99 
U                      15                4.94 
U                      14                4.51 
U                      17                5.22 
U                      15                4.68 
U                      15                4.83 
U                      15                4.62 
U                      16                5.08 
U                      17                5.02 
U                      16                5.00 
U                      15                5.00 
U                      15                4.46 
U                      15                4.81 
U                      15                5.02 
U                      14                4.39 
U                      16                5.06 
U                      14                4.20 
U                      16                4.69 
U                      15                4.65 
U                      14                4.19 
U                      14                4.14 
U                      15                4.75 
U                      15                4.42 
U                      17                5.44 
U                      15                4.73 
U                      15                4.66 
U                      16                4.61 
U                      16                5.01 
U                      15                4.81 
U                      16                5.44 
U                      18                5.41 
U                      16                4.84 
U                      17                5.17 
U                      16                5.23 
U                      14                4.44 
U                      16                5.08 
U                      16                5.11 
U                      16                5.02 
U                      15                4.29 
U                      17                5.05 
U                      15                4.50 
U                      15                4.89 
U                      16                4.95 
U                      16                4.57 
U                      14                4.25 
U                      15                5.07 
U                      17                5.46 
U                      16                5.21 
U                      15                4.71 
U                      14                4.54 
U                      15                4.75 
U                      15                4.91 
U                      14                4.41 
U                      17                5.45 
U                      16                4.73 
U                      14                4.16 
U                      15                4.79 
U                      15                4.64 
U                      14                4.65 
U                      15                4.81 
U                      15                4.82 
U                      16                5.15 
U                      16                5.33 
U                      15                4.88 
U                      16                4.70 
U                      15                4.84 
U                      16                5.02 
U                      15                4.88 
U                      15                5.03 
U                      14                4.50 
U                      15                5.13 
U                      16                5.32 
#Clauses: 100 
U                      15                5.14 
U                      16                5.42 
U                      14                4.81 
U                      15                5.06 
U                      16                5.05 
U                      14                4.71 
U                      14                4.88 
U                      15                4.82 
U                      16                5.03 
U                      16                4.91 
U                      15                5.02 
U                      14                4.60 
U                      15                5.41 
U                      16                5.61 
U                      16                5.06 
U                      15                4.81 
U                      15                5.17 
U                      15                4.90 
U                      14                4.80 
U                      14                4.94 
U                      15                5.29 
U                      15                5.11 
U                      15                5.21 
U                      16                5.34 
U                      14                4.68 
U                      18                6.11 
U                      15                5.18 
U                      16                5.35 
U                      14                4.91 
U                      15                5.01 
U                      14                4.50 
U                      15                5.24 
U                      16                5.62 
U                      15                5.17 
U                      14                4.66 
U                      15                4.69 
U                      16                5.71 
U                      15                4.70 
U                      15                5.08 
U                      15                5.11 
U                      17                5.15 
U                      16                5.40 
U                      15                4.83 
U                      15                5.05 
U                      16                5.25 
U                      14                4.90 
U                      14                4.78 
U                      16                5.12 
U                      16                5.43 
U                      16                5.62 
U                      15                4.96 
U                      14                4.92 
U                      14                5.26 
U                      17                5.81 
U                      15                4.95 
U                      16                5.14 
U                      16                5.30 
U                      15                4.93 
U                      16                5.29 
U                      16                5.38 
U                      15                5.18 
U                      16                5.18 
U                      16                5.11 
U                      15                4.85 
U                      16                5.20 
U                      16                5.44 
U                      15                5.10 
U                      15                4.91 
U                      16                5.15 
U                      14                4.59 
U                      14                4.79 
U                      16                5.03 
U                      16                4.89 
U                      15                5.03 
U                      16                5.05 
U                      14                4.85 
U                      15                5.21 
U                      17                5.89 
U                      16                5.14 
U                      15                4.62 
U                      16                5.15 
U                      15                4.86 
U                      15                4.85 
U                      17                5.74 
U                      14                4.51 
U                      15                5.01 
U                      16                5.19 
U                      15                4.90 
U                      15                4.93 
U                      15                5.04 
U                      16                5.30 
U                      16                5.15 
U                      15                4.78 
U                      16                5.34 
U                      15                5.07 
U                      14                4.78 
U                      14                4.39 
U                      16                5.66 
U                      15                4.69 
U                      16                4.93 
#Clauses: 104 
U                      14                4.80 
U                      16                5.49 
U                      14                5.14 
U                      15                5.19 
U                      16                5.36 
U                      15                5.51 
U                      14                5.10 
U                      15                5.30 
U                      15                5.13 
U                      14                4.88 
U                      15                5.26 
U                      16                5.58 
U                      15                5.40 
U                      15                5.14 
U                      16                5.53 
U                      15                4.98 
U                      16                5.22 
U                      16                5.68 
U                      16                5.42 
U                      15                5.31 
U                      16                5.44 
U                      14                4.68 
U                      15                5.14 
U                      15                5.38 
U                      14                4.78 
U                      14                4.84 
U                      16                5.19 
U                      17                6.05 
U                      16                5.56 
U                      15                4.97 
U                      15                5.34 
U                      14                5.07 
U                      16                4.95 
U                      15                5.05 
U                      15                4.75 
U                      14                4.72 
U                      14                4.99 
U                      15                5.40 
U                      15                5.19 
U                      15                5.38 
U                      16                5.56 
U                      15                5.41 
U                      16                5.64 
U                      15                5.29 
U                      14                4.84 
U                      14                5.12 
U                      14                4.76 
U                      15                4.99 
U                      15                5.20 
U                      15                4.90 
U                      15                5.30 
U                      17                5.90 
U                      14                4.84 
U                      14                4.76 
U                      15                4.80 
U                      16                5.51 
U                      20                6.02 
U                      16                5.41 
U                      17                6.10 
U                      17                5.81 
U                      15                5.09 
U                      16                5.52 
U                      16                5.81 
U                      14                5.07 
U                      15                5.03 
U                      16                5.39 
U                      14                4.88 
U                      15                5.13 
U                      15                5.04 
U                      15                5.14 
U                      15                5.40 
U                      15                5.22 
U                      15                4.98 
U                      15                5.20 
U                      15                5.11 
U                      16                6.10 
U                      15                5.05 
U                      16                5.28 
U                      14                5.06 
U                      15                5.31 
U                      15                4.93 
U                      15                5.20 
U                      15                4.97 
U                      16                5.74 
U                      16                5.57 
U                      17                6.22 
U                      17                5.93 
U                      15                4.97 
U                      14                4.67 
U                      14                4.83 
U                      15                5.11 
U                      15                5.29 
U                      15                5.40 
U                      15                5.16 
U                      15                5.23 
U                      16                5.18 
U                      14                4.67 
U                      14                4.66 
U                      14                5.01 
U                      15                5.32 
#Clauses: 108 
U                      14                5.21 
U                      16                5.86 
U                      16                5.54 
U                      15                5.14 
U                      14                5.13 
U                      17                5.96 
U                      15                5.34 
U                      16                5.55 
U                      15                5.47 
U                      14                4.83 
U                      15                5.25 
U                      16                5.50 
U                      15                5.17 
U                      15                5.23 
U                      14                4.73 
U                      16                5.45 
U                      16                5.84 
U                      14                5.09 
U                      15                5.29 
U                      15                5.11 
U                      16                5.67 
U                      17                6.37 
U                      16                5.94 
U                      15                5.46 
U                      15                4.80 
U                      14                4.95 
U                      16                5.58 
U                      14                5.11 
U                      16                5.66 
U                      14                5.24 
U                      14                4.91 
U                      16                5.36 
U                      14                4.67 
U                      14                5.03 
U                      16                5.80 
U                      16                5.96 
U                      14                4.95 
U                      15                5.46 
U                      15                5.28 
U                      14                4.94 
U                      15                5.19 
U                      14                5.24 
U                      16                5.93 
U                      15                5.26 
U                      14                5.05 
U                      15                5.43 
U                      15                5.07 
U                      14                5.35 
U                      16                5.76 
U                      15                5.88 
U                      17                6.06 
U                      20                6.62 
U                      16                5.31 
U                      14                5.19 
U                      14                4.76 
U                      16                6.10 
U                      15                5.33 
U                      15                5.37 
U                      15                5.62 
U                      15                5.24 
U                      15                5.18 
U                      14                4.83 
U                      15                5.26 
U                      16                5.74 
U                      15                5.46 
U                      15                5.16 
U                      15                5.46 
U                      14                5.22 
U                      17                6.47 
U                      16                5.55 
U                      14                4.93 
U                      16                5.43 
U                      15                5.19 
U                      14                5.26 
U                      16                5.57 
U                      15                5.33 
U                      14                5.24 
U                      15                5.43 
U                      15                5.22 
U                      14                4.92 
U                      15                5.54 
U                      16                5.78 
U                      15                5.43 
U                      16                5.56 
U                      15                5.40 
U                      15                5.51 
U                      15                5.61 
U                      17                6.28 
U                      17                6.02 
U                      15                5.08 
U                      16                5.47 
U                      14                5.06 
U                      14                5.08 
U                      15                5.67 
U                      16                5.63 
U                      15                5.45 
U                      15                5.36 
U                      16                5.98 
U                      17                6.28 
U                      14                5.15 
#Clauses: 112 
U                      17                6.06 
U                      15                5.81 
U                      15                5.85 
U                      15                5.63 
U                      15                5.48 
U                      15                5.47 
U                      15                5.59 
U                      16                6.27 
U                      14                5.05 
U                      14                5.65 
U                      15                5.83 
U                      14                5.23 
U                      15                5.50 
U                      15                5.70 
U                      15                5.65 
U                      16                5.87 
U                      19                6.42 
U                      14                5.36 
U                      16                5.70 
U                      15                5.56 
U                      16                6.22 
U                      14                5.76 
U                      14                5.22 
U                      15                5.57 
U                      15                5.55 
U                      14                5.11 
U                      15                5.21 
U                      15                5.61 
U                      14                5.05 
U                      15                5.45 
U                      14                5.26 
U                      16                6.09 
U                      16                5.92 
U                      14                5.41 
U                      15                5.49 
U                      16                5.95 
U                      14                5.45 
U                      15                5.73 
U                      17                6.53 
U                      15                5.74 
U                      14                5.13 
U                      16                5.97 
U                      21                6.59 
U                      14                5.27 
U                      16                5.49 
U                      15                5.59 
U                      15                5.85 
U                      16                5.28 
U                      15                5.31 
U                      15                5.87 
U                      16                5.46 
U                      14                5.44 
U                      15                5.38 
U                      14                5.52 
U                      15                5.35 
U                      14                5.75 
U                      15                5.41 
U                      15                5.77 
U                      15                5.66 
U                      17                5.78 
U                      14                5.32 
U                      14                5.45 
U                      14                5.11 
U                      15                5.35 
U                      15                5.41 
U                      15                5.37 
U                      15                5.54 
U                      14                5.29 
U                      16                5.98 
U                      15                5.24 
U                      15                5.66 
U                      14                5.37 
U                      15                5.55 
U                      15                5.65 
U                      15                5.77 
U                      15                5.58 
U                      14                5.40 
U                      18                6.28 
U                      14                5.26 
U                      15                5.33 
U                      14                5.46 
U                      14                5.59 
U                      15                5.65 
U                      14                5.27 
U                      15                5.53 
U                      15                5.66 
U                      14                5.11 
U                      16                6.06 
U                      14                5.15 
U                      14                5.29 
U                      14                5.10 
U                      14                5.16 
U                      15                5.50 
U                      15                5.71 
U                      16                6.05 
U                      15                5.65 
U                      15                5.62 
U                      15                5.56 
U                      14                5.42 
U                      14                4.84 
#Clauses: 116 
U                      15                5.70 
U                      15                5.93 
U                      15                5.86 
U                      15                5.83 
U                      15                6.36 
U                      14                5.47 
U                      16                6.33 
U                      14                5.41 
U                      15                5.77 
U                      14                5.13 
U                      16                5.97 
U                      15                5.69 
U                      15                5.95 
U                      14                5.18 
U                      14                5.50 
U                      14                5.60 
U                      14                5.81 
U                      16                5.74 
U                      15                5.99 
U                      17                6.56 
U                      16                5.86 
U                      14                5.18 
U                      15                5.51 
U                      16                6.62 
U                      14                5.48 
U                      15                5.95 
U                      15                5.84 
U                      14                5.37 
U                      15                6.17 
U                      15                5.71 
U                      15                5.78 
U                      16                6.09 
U                      14                5.44 
U                      17                6.34 
U                      15                5.95 
U                      15                5.82 
U                      16                5.61 
U                      15                5.61 
U                      15                5.83 
U                      15                5.83 
U                      14                5.25 
U                      15                6.42 
U                      15                5.67 
U                      16                5.98 
U                      16                6.17 
U                      16                5.94 
U                      16                5.84 
U                      15                6.04 
U                      16                6.33 
U                      15                6.10 
U                      16                5.81 
U                      14                5.37 
U                      16                5.94 
U                      15                5.78 
U                      14                5.33 
U                      14                5.43 
U                      15                5.85 
U                      14                5.36 
U                      14                5.63 
U                      16                6.46 
U                      15                5.56 
U                      14                5.43 
U                      15                5.72 
U                      15                6.07 
U                      14                5.30 
U                      15                6.01 
U                      14                5.07 
U                      16                6.26 
U                      16                5.32 
U                      17                6.28 
U                      15                5.66 
U                      15                5.84 
U                      14                5.67 
U                      14                5.47 
U                      15                5.49 
U                      15                5.96 
U                      14                5.25 
U                      15                5.86 
U                      16                6.00 
U                      16                5.88 
U                      16                6.47 
U                      14                5.42 
U                      15                5.83 
U                      19                6.78 
U                      15                5.42 
U                      15                5.86 
U                      15                5.43 
U                      15                5.72 
U                      16                6.24 
U                      16                5.96 
U                      15                5.57 
U                      16                6.11 
U                      15                5.24 
U                      15                5.82 
U                      15                5.71 
U                      15                5.80 
U                      14                5.43 
U                      15                6.15 
U                      15                5.48 
U                      16                5.97 
#Clauses: 120 
U                      14                5.96 
U                      14                5.36 
U                      16                6.31 
U                      16                5.87 
U                      14                5.75 
U                      15                6.00 
U                      15                6.00 
U                      15                5.87 
U                      15                5.72 
U                      15                5.46 
U                      14                5.63 
U                      16                6.41 
U                      16                6.46 
U                      14                5.51 
U                      15                6.01 
U                      14                5.96 
U                      15                5.33 
U                      15                6.14 
U                      14                5.54 
U                      14                6.03 
U                      14                5.81 
U                      14                5.52 
U                      16                6.62 
U                      15                5.91 
U                      16                6.06 
U                      16                6.30 
U                      16                6.28 
U                      14                6.03 
U                      14                5.54 
U                      15                6.18 
U                      16                6.00 
U                      16                6.15 
U                      16                6.46 
U                      14                5.53 
U                      14                5.65 
U                      15                5.82 
U                      15                5.55 
U                      14                5.83 
U                      15                5.96 
U                      16                5.90 
U                      14                5.77 
U                      14                5.29 
U                      16                6.26 
U                      15                6.23 
U                      15                6.25 
U                      15                6.16 
U                      14                5.51 
U                      14                5.94 
U                      14                5.40 
U                      15                5.82 
U                      15                5.95 
U                      15                5.99 
U                      15                5.98 
U                      15                5.76 
U                      15                6.05 
U                      16                6.44 
U                      14                5.82 
U                      15                5.66 
U                      15                5.72 
U                      16                6.11 
U                      14                5.53 
U                      15                6.00 
U                      14                5.73 
U                      15                6.35 
U                      15                5.86 
U                      14                5.74 
U                      15                6.23 
U                      17                6.81 
U                      15                6.19 
U                      16                6.15 
U                      15                5.91 
U                      15                5.91 
U                      16                6.00 
U                      14                5.80 
U                      16                6.43 
U                      16                6.14 
U                      16                6.54 
U                      14                5.75 
U                      14                5.63 
U                      14                5.84 
U                      16                6.25 
U                      14                5.73 
U                      15                6.44 
U                      14                5.68 
U                      18                6.14 
U                      14                5.70 
U                      15                5.94 
U                      14                5.67 
U                      14                5.51 
U                      15                6.25 
U                      16                6.42 
U                      15                6.32 
U                      14                5.49 
U                      15                6.02 
U                      14                5.38 
U                      15                6.03 
U                      15                6.04 
U                      16                6.11 
U                      14                5.54 
U                      14                5.72 
