#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.15 
S                      11                0.12 
S                      12                0.14 
S                      15                0.15 
S                      12                0.14 
S                      11                0.13 
S                      12                0.13 
S                      16                0.16 
S                      12                0.13 
S                      11                0.14 
S                      11                0.14 
S                      10                0.14 
S                       9                0.09 
S                      14                0.16 
S                       9                0.09 
S                      12                0.14 
S                      11                0.15 
S                      12                0.13 
S                      13                0.14 
S                      12                0.14 
S                      13                0.15 
S                      11                0.14 
S                      11                0.13 
S                      11                0.14 
S                      11                0.14 
S                      11                0.14 
S                      14                0.15 
S                      10                0.14 
S                      12                0.14 
S                      11                0.15 
S                      12                0.15 
S                       9                0.10 
S                      12                0.13 
S                      14                0.16 
S                       9                0.13 
S                       8                0.16 
S                      10                0.14 
S                      12                0.14 
S                      13                0.16 
S                       8                0.10 
S                      11                0.17 
S                      12                0.17 
S                      13                0.15 
S                       8                0.14 
S                      10                0.18 
S                      14                0.17 
S                      11                0.15 
S                      12                0.16 
S                       8                0.15 
S                       9                0.15 
S                      11                0.17 
S                      10                0.15 
S                      12                0.16 
S                      11                0.16 
S                       9                0.14 
S                      12                0.15 
S                      10                0.16 
S                      12                0.15 
S                      12                0.15 
S                       8                0.13 
S                      11                0.13 
S                      12                0.13 
S                      13                0.15 
S                      15                0.15 
S                       9                0.09 
S                      13                0.15 
S                      14                0.15 
S                      12                0.14 
S                       9                0.10 
S                      13                0.13 
S                       9                0.10 
S                      11                0.14 
S                      12                0.13 
S                      11                0.15 
S                      12                0.14 
S                      11                0.14 
S                       9                0.13 
S                       9                0.13 
S                       9                0.11 
S                      11                0.13 
S                      11                0.14 
S                      12                0.14 
S                      12                0.13 
S                       9                0.13 
S                      12                0.14 
S                      10                0.13 
S                      10                0.12 
S                      14                0.14 
S                      11                0.14 
S                       8                0.08 
S                      14                0.15 
S                      12                0.14 
S                      12                0.14 
S                      13                0.14 
S                      11                0.13 
S                       9                0.14 
S                      12                0.14 
S                      14                0.15 
S                      11                0.16 
S                       9                0.12 
#Clauses: 8 
S                      13                0.26 
S                      12                0.25 
S                      16                0.27 
S                      13                0.28 
S                      15                0.32 
S                      11                0.21 
S                      10                0.18 
S                      12                0.26 
S                      12                0.26 
S                      14                0.26 
S                      11                0.22 
S                       9                0.26 
S                      12                0.27 
S                      10                0.23 
S                       8                0.20 
S                      12                0.25 
S                      16                0.28 
S                      10                0.20 
S                      14                0.27 
S                      12                0.26 
S                      12                0.21 
S                      15                0.28 
S                      11                0.26 
S                      16                0.35 
S                      12                0.27 
S                      15                0.27 
S                      12                0.22 
S                      14                0.26 
S                       9                0.21 
S                      12                0.25 
S                      17                0.33 
S                      15                0.32 
S                      11                0.21 
S                      13                0.26 
S                      15                0.27 
S                      12                0.27 
S                      11                0.23 
S                       9                0.19 
S                      10                0.22 
S                      16                0.33 
S                      12                0.27 
S                       9                0.20 
S                      12                0.27 
S                      12                0.22 
S                       9                0.22 
S                      11                0.21 
S                      13                0.25 
S                      15                0.25 
S                      13                0.27 
S                      11                0.20 
S                      14                0.28 
S                      12                0.26 
S                      13                0.20 
S                      11                0.21 
S                      12                0.32 
S                      14                0.22 
S                      11                0.26 
S                      10                0.21 
S                      13                0.26 
S                       9                0.21 
S                      12                0.19 
S                      14                0.27 
S                      11                0.22 
S                      12                0.25 
S                       9                0.20 
S                      12                0.27 
S                      12                0.25 
S                      12                0.26 
S                      12                0.25 
S                      12                0.27 
S                      13                0.28 
S                      11                0.26 
S                      12                0.26 
S                      12                0.27 
S                      12                0.26 
S                      12                0.26 
S                      14                0.33 
S                      13                0.25 
S                      12                0.25 
S                       9                0.26 
S                      11                0.21 
S                      12                0.26 
S                      13                0.26 
S                      11                0.23 
S                       9                0.20 
S                       9                0.21 
S                      11                0.20 
S                      13                0.26 
S                      12                0.22 
S                      11                0.22 
S                      11                0.20 
S                      10                0.26 
S                      11                0.25 
S                      13                0.21 
S                      15                0.22 
S                      12                0.22 
S                      12                0.28 
S                      10                0.21 
S                      15                0.32 
S                      13                0.26 
#Clauses: 12 
S                      10                0.31 
S                      12                0.37 
S                      11                0.38 
S                      16                0.44 
S                      14                0.39 
S                      11                0.31 
S                      12                0.35 
S                      12                0.35 
S                      12                0.33 
S                      17                0.50 
S                      10                0.34 
S                      10                0.34 
S                      14                0.40 
S                       9                0.30 
S                      16                0.38 
S                      16                0.40 
S                      16                0.51 
S                       9                0.34 
S                      16                0.46 
S                      12                0.33 
S                      12                0.36 
S                      15                0.45 
S                      12                0.33 
S                      14                0.35 
S                      13                0.40 
S                      15                0.40 
S                      10                0.33 
S                      12                0.35 
S                      10                0.39 
S                      12                0.35 
S                      15                0.34 
S                      12                0.35 
S                      13                0.38 
S                      17                0.45 
S                      16                0.39 
S                      12                0.40 
S                      11                0.38 
S                      15                0.39 
S                      13                0.39 
S                      11                0.48 
S                      11                0.32 
S                      15                0.42 
S                      11                0.33 
S                      19                0.47 
S                       9                0.32 
S                      14                0.40 
S                      12                0.34 
S                      16                0.40 
S                      10                0.33 
S                      10                0.38 
S                      13                0.33 
S                      18                0.44 
S                      13                0.43 
S                      10                0.38 
S                      10                0.38 
S                      19                0.47 
S                      12                0.45 
S                      13                0.38 
S                      11                0.38 
S                      10                0.33 
S                      14                0.36 
S                      14                0.44 
S                      16                0.42 
S                       9                0.31 
S                      15                0.43 
S                      13                0.37 
S                      17                0.44 
S                      11                0.33 
S                      13                0.39 
S                      20                0.52 
S                      10                0.39 
S                      12                0.39 
S                      12                0.37 
S                      17                0.47 
S                      11                0.40 
S                      12                0.38 
S                      10                0.34 
S                      14                0.40 
S                      13                0.34 
S                      19                0.49 
S                      13                0.40 
S                      10                0.33 
S                      14                0.36 
S                      14                0.35 
S                      11                0.36 
S                       9                0.34 
S                      15                0.45 
S                      15                0.42 
S                      24                0.63 
S                      10                0.35 
S                      10                0.33 
S                      16                0.46 
S                      12                0.34 
S                      12                0.36 
S                      13                0.38 
S                      10                0.34 
S                      11                0.38 
S                       9                0.33 
S                      13                0.38 
S                      12                0.38 
#Clauses: 16 
S                      17                0.63 
S                      14                0.57 
S                      18                0.63 
S                      18                0.58 
S                      11                0.46 
S                      15                0.63 
S                      10                0.50 
S                      13                0.47 
S                      19                0.77 
S                      12                0.53 
S                      17                0.59 
S                      14                0.48 
S                      12                0.53 
S                      11                0.43 
S                      14                0.52 
S                      12                0.50 
S                      15                0.56 
S                      11                0.46 
S                       9                0.40 
S                      13                0.50 
S                      15                0.56 
S                      13                0.58 
S                      10                0.43 
S                      18                0.57 
S                      14                0.51 
S                      17                0.59 
S                      12                0.52 
S                      12                0.46 
S                      13                0.51 
S                      10                0.47 
S                      13                0.54 
S                      17                0.62 
S                      21                0.67 
S                       9                0.46 
S                      14                0.44 
S                      10                0.49 
S                      13                0.51 
S                      12                0.46 
S                      11                0.51 
S                      14                0.58 
S                      17                0.55 
S                      10                0.54 
S                      11                0.44 
S                      18                0.59 
S                      18                0.59 
S                      14                0.59 
S                      10                0.46 
S                      23                0.74 
S                       9                0.38 
S                      27                0.87 
S                      23                0.71 
S                      20                0.68 
S                      40                1.17 
S                      13                0.44 
S                      20                0.61 
S                      12                0.44 
S                      10                0.53 
S                      14                0.57 
S                      20                0.63 
S                      12                0.51 
S                      13                0.51 
S                      14                0.53 
S                      12                0.50 
S                      10                0.57 
S                      11                0.52 
S                      13                0.51 
S                      32                1.08 
S                      14                0.57 
S                      13                0.51 
S                      12                0.52 
S                      13                0.54 
S                      13                0.65 
S                      10                0.45 
S                      10                0.50 
S                      13                0.54 
S                      12                0.53 
S                      14                0.66 
S                      12                0.51 
S                      21                0.81 
S                      20                0.73 
S                      10                0.46 
S                      17                0.55 
S                      17                0.68 
S                      25                0.94 
S                      27                0.89 
S                      12                0.47 
S                      12                0.51 
S                      12                0.47 
S                      12                0.45 
S                      10                0.46 
S                      12                0.58 
S                      10                0.45 
S                      24                0.82 
S                      15                0.60 
S                      18                0.68 
S                      14                0.56 
S                      13                0.56 
S                      15                0.51 
S                      15                0.48 
S                      24                0.78 
#Clauses: 20 
S                      11                0.59 
S                      16                0.62 
U                      31                1.37 
S                      31                1.22 
S                      18                0.82 
S                      16                0.73 
S                      11                0.62 
S                      14                0.63 
S                      21                0.87 
S                      13                0.77 
S                      11                0.55 
S                       9                0.53 
S                      13                0.64 
S                      31                1.20 
S                      13                0.62 
S                      13                0.69 
S                      14                0.63 
S                      27                1.08 
S                      10                0.62 
S                      10                0.52 
S                      19                0.77 
S                      21                0.83 
S                      17                0.77 
S                      13                0.61 
S                      14                0.75 
S                      18                0.74 
S                      21                0.88 
S                      13                0.74 
S                      25                1.07 
S                      12                0.63 
S                      21                0.78 
S                      26                1.07 
S                      13                0.63 
S                      18                0.72 
S                      16                0.79 
S                       9                0.57 
S                      24                0.99 
S                      17                0.82 
S                      20                0.89 
S                      13                0.63 
S                      10                0.50 
S                      12                0.62 
S                      19                0.75 
S                      17                0.92 
S                       9                0.57 
S                      18                0.89 
S                      26                1.19 
S                      12                0.62 
S                      18                0.72 
S                      30                1.12 
S                      16                0.82 
S                      11                0.65 
S                      14                0.69 
S                       9                0.56 
S                      11                0.63 
S                      10                0.59 
S                      13                0.60 
S                      12                0.64 
S                      11                0.55 
S                      21                0.83 
S                      11                0.62 
S                      16                0.77 
S                      12                0.70 
S                      13                0.59 
S                      12                0.69 
S                      24                1.00 
S                      14                0.67 
S                      14                0.69 
S                      16                0.66 
S                      11                0.65 
S                      28                1.09 
S                      14                0.64 
S                      12                0.59 
S                      20                0.96 
S                      12                0.60 
S                      10                0.57 
S                      18                0.76 
S                       9                0.55 
S                      16                0.74 
S                      12                0.58 
S                      25                1.12 
S                      31                1.24 
S                      11                0.56 
S                      17                0.71 
S                      12                0.70 
S                      12                0.69 
S                      13                0.58 
S                      21                1.01 
U                      18                1.06 
S                      14                0.61 
S                      11                0.59 
S                      12                0.70 
S                      12                0.64 
S                      26                0.94 
S                      15                0.74 
S                      10                0.59 
S                      11                0.59 
S                      14                0.73 
S                      11                0.64 
S                      18                1.02 
#Clauses: 24 
S                      11                0.76 
S                      11                0.70 
S                      21                1.14 
U                      31                1.71 
S                      13                0.96 
S                      12                0.81 
S                      10                0.74 
S                      14                0.71 
S                      18                1.06 
S                      16                0.91 
S                      19                0.93 
S                      10                0.69 
S                      14                0.79 
S                      10                0.80 
S                      15                0.81 
S                      17                1.04 
U                      23                1.25 
S                      26                1.30 
S                      18                1.06 
S                      18                1.06 
S                      12                0.76 
S                      17                0.87 
U                      25                1.29 
S                      12                0.76 
S                      20                1.23 
S                      17                1.02 
S                      12                0.70 
S                      16                0.74 
S                      22                1.02 
S                      19                0.99 
S                      15                0.82 
S                      12                0.82 
S                      24                1.19 
U                      28                1.45 
U                      19                1.26 
S                      19                0.96 
S                      16                1.19 
S                      12                0.97 
S                      26                1.60 
S                      11                0.75 
S                      14                0.78 
U                      19                1.11 
S                      10                0.63 
S                      13                0.83 
S                      12                0.82 
U                      33                1.79 
S                      14                0.85 
U                      16                0.99 
U                      25                1.34 
S                      31                1.60 
S                      12                0.84 
S                      11                0.72 
S                      13                0.75 
S                      12                0.74 
S                      25                1.18 
U                      20                1.34 
S                      27                1.48 
S                      26                1.37 
S                      26                1.30 
S                      10                0.66 
S                      14                0.72 
S                      16                0.89 
U                      16                1.00 
S                      10                0.74 
S                      13                0.76 
S                      10                0.69 
U                      17                1.10 
S                      21                1.29 
S                      14                0.86 
S                      16                1.05 
U                      17                0.98 
S                      21                1.18 
S                      21                1.16 
S                      17                0.91 
S                      19                1.10 
S                      17                0.97 
S                      10                0.75 
S                      14                0.87 
S                      15                0.92 
S                      11                0.80 
S                      21                1.35 
S                      23                1.30 
S                      10                0.72 
S                      10                0.70 
S                      18                1.12 
S                      16                0.88 
S                      12                0.82 
S                      15                0.88 
S                      13                0.72 
U                      18                1.10 
S                      18                1.00 
S                      10                0.69 
S                      12                0.66 
U                      21                1.13 
S                      10                0.70 
S                      13                0.89 
S                      21                1.05 
S                      24                1.24 
S                      11                0.69 
S                      21                1.07 
#Clauses: 28 
U                      18                1.47 
S                      27                1.66 
S                      10                0.87 
S                      19                1.23 
S                      22                1.23 
S                      10                0.84 
S                      16                0.93 
S                      19                1.27 
S                      11                0.87 
S                      20                1.12 
S                      14                0.93 
S                      20                1.31 
U                      18                1.33 
S                      13                1.07 
S                      22                1.46 
S                      11                0.75 
S                      16                0.95 
S                      11                0.88 
U                      19                1.48 
S                      13                0.98 
S                      23                1.42 
S                      14                1.01 
S                      21                1.37 
U                      17                1.42 
U                      28                1.59 
S                      21                1.37 
U                      24                1.59 
U                      30                1.78 
S                      18                1.27 
U                      17                1.27 
S                      21                1.40 
S                      27                1.66 
U                      22                1.64 
S                      13                1.03 
S                      24                1.42 
S                      10                0.80 
S                      24                1.64 
U                      27                1.84 
S                      18                1.09 
S                      11                0.87 
S                      11                0.85 
S                      11                0.88 
S                      13                0.81 
U                      25                1.72 
S                      10                0.85 
S                      26                1.47 
S                       9                0.81 
S                      10                0.77 
U                      22                1.56 
U                      27                1.61 
S                      19                1.32 
U                      21                1.40 
S                      23                1.43 
U                      19                1.40 
S                      15                0.99 
S                      12                0.94 
U                      22                1.58 
S                      23                1.61 
S                      23                1.66 
S                      19                1.17 
S                      27                1.69 
U                      31                1.70 
S                      21                1.30 
S                      11                0.92 
S                      11                0.96 
S                      12                1.05 
S                      23                1.45 
U                      21                1.46 
U                      22                1.60 
S                      15                0.84 
S                      33                1.86 
S                      23                1.44 
U                      20                1.46 
S                      10                0.80 
S                      13                0.96 
U                      24                1.77 
S                      12                1.09 
S                      16                1.11 
S                      16                1.09 
S                      14                0.87 
S                      26                1.54 
U                      21                1.51 
S                      12                0.85 
S                      20                1.23 
S                      20                1.22 
S                      16                1.04 
U                      19                1.47 
S                      27                1.77 
U                      16                1.23 
S                      16                1.13 
S                      11                0.82 
S                      28                1.82 
S                      13                1.07 
S                      21                1.52 
S                      17                1.09 
U                      23                1.63 
U                      17                1.34 
S                      11                0.82 
S                      22                1.48 
S                      17                1.41 
#Clauses: 32 
U                      26                1.81 
S                      23                1.85 
S                      10                0.98 
U                      18                1.66 
U                      19                1.79 
U                      20                1.90 
S                      25                1.69 
S                      10                1.02 
S                      16                1.15 
U                      20                1.55 
U                      25                1.98 
U                      20                1.84 
U                      26                1.81 
S                      11                1.08 
S                      22                1.76 
U                      21                1.65 
U                      16                1.50 
U                      17                1.49 
U                      25                2.10 
U                      16                1.39 
U                      19                1.58 
U                      21                1.75 
S                      14                1.14 
S                      12                1.10 
S                      25                1.94 
U                      24                1.89 
U                      22                1.81 
S                      15                1.21 
S                      16                1.10 
S                      23                1.83 
S                      26                1.80 
S                      17                1.34 
S                      20                1.51 
S                      14                1.04 
S                      17                1.41 
U                      25                1.76 
S                      22                1.79 
S                      13                1.07 
U                      19                1.69 
S                      22                1.74 
S                      15                1.28 
S                      21                1.58 
U                      19                1.88 
S                      13                1.20 
U                      18                1.47 
U                      19                1.81 
U                      17                1.66 
U                      18                1.73 
S                      25                1.87 
U                      22                1.96 
U                      25                1.92 
U                      17                1.64 
S                      20                1.56 
S                      19                1.55 
U                      18                1.73 
S                      16                1.11 
U                      20                1.82 
S                      17                1.46 
S                      31                2.14 
U                      26                2.08 
U                      18                1.67 
U                      27                1.99 
U                      24                1.73 
U                      17                1.60 
S                      18                1.55 
U                      18                1.70 
S                      22                1.49 
U                      18                1.65 
S                      13                1.09 
U                      22                1.59 
S                      12                1.09 
S                      16                1.48 
S                      19                1.41 
U                      17                1.47 
U                      20                1.75 
S                      20                1.55 
S                      12                1.17 
U                      18                1.54 
S                      12                1.17 
S                      20                1.54 
U                      16                1.50 
U                      20                1.76 
U                      19                1.68 
S                      18                1.19 
U                      17                1.56 
U                      22                1.62 
U                      18                1.72 
S                      20                1.69 
S                      18                1.58 
S                      19                1.34 
S                      11                0.91 
U                      21                1.78 
U                      27                2.05 
S                      15                1.26 
S                      13                1.19 
S                      20                1.73 
U                      24                1.94 
U                      18                1.69 
S                      26                1.92 
S                      16                1.12 
#Clauses: 36 
U                      22                1.97 
U                      17                1.85 
U                      15                1.68 
U                      25                2.46 
U                      22                2.22 
S                      10                1.26 
S                      21                1.79 
U                      16                1.83 
U                      21                2.12 
U                      31                2.26 
U                      18                1.90 
S                      11                1.13 
S                      20                1.70 
U                      19                1.98 
S                      16                1.31 
U                      20                2.09 
U                      21                1.97 
U                      19                1.95 
U                      17                1.88 
U                      23                2.24 
S                      12                1.39 
U                      22                2.15 
S                      15                1.22 
U                      19                1.90 
U                      17                1.87 
U                      36                2.51 
U                      21                2.15 
U                      16                1.68 
U                      18                1.77 
U                      22                2.10 
U                      24                2.16 
U                      19                1.82 
S                      29                2.56 
U                      24                2.08 
S                      22                1.90 
U                      18                1.84 
U                      15                1.73 
U                      18                2.03 
S                      18                1.44 
U                      24                2.21 
S                      21                1.85 
U                      17                1.86 
S                      22                1.91 
S                      16                1.73 
S                      16                1.52 
S                      12                1.28 
U                      19                1.88 
U                      22                2.04 
S                      21                2.26 
U                      21                2.07 
S                      19                1.63 
S                      19                1.72 
U                      16                1.77 
U                      18                1.57 
U                      17                1.67 
U                      21                2.16 
S                      21                1.75 
S                      19                1.65 
S                      20                1.94 
U                      16                1.68 
S                      16                1.37 
S                      21                1.72 
S                      11                1.21 
S                      12                1.25 
U                      21                1.84 
S                      27                2.23 
S                      14                1.06 
U                      23                2.17 
U                      24                2.35 
U                      24                2.15 
S                      12                1.20 
S                      25                2.07 
U                      22                2.30 
U                      27                2.29 
S                      13                1.48 
U                      18                1.86 
S                      13                1.42 
S                      22                1.93 
U                      22                2.07 
S                      12                1.22 
U                      26                2.05 
U                      16                1.76 
U                      20                1.90 
S                      11                1.09 
U                      22                2.30 
U                      26                2.24 
U                      23                2.22 
S                       9                1.08 
U                      18                1.92 
U                      22                2.14 
U                      17                1.82 
U                      20                2.12 
S                      12                1.25 
U                      20                1.99 
U                      16                1.78 
S                      24                2.04 
U                      15                1.66 
U                      18                1.92 
S                      17                1.66 
U                      18                1.79 
#Clauses: 40 
U                      17                2.13 
U                      18                2.09 
U                      21                2.49 
U                      18                2.14 
S                      24                2.42 
S                      21                2.16 
U                      17                2.13 
U                      19                2.03 
U                      25                2.56 
U                      20                2.17 
U                      16                2.04 
U                      21                2.22 
U                      26                2.71 
U                      16                1.98 
U                      28                2.52 
S                      11                1.27 
S                      23                2.28 
U                      29                2.61 
U                      19                2.21 
U                      23                2.34 
U                      21                2.43 
S                      16                1.49 
S                      12                1.39 
S                      17                1.98 
U                      16                1.83 
U                      24                2.39 
S                       9                1.28 
U                      21                2.44 
U                      19                2.19 
U                      18                2.20 
S                      11                1.22 
U                      17                2.12 
U                      17                2.00 
U                      18                2.22 
U                      21                2.20 
U                      17                2.16 
S                      22                2.23 
S                      19                1.97 
U                      15                1.86 
U                      18                2.08 
U                      17                2.26 
U                      17                1.97 
U                      16                1.99 
S                      14                1.30 
U                      17                1.90 
S                      11                1.34 
U                      21                2.29 
U                      20                2.22 
U                      20                2.16 
U                      21                2.38 
U                      17                2.12 
U                      17                2.04 
S                      21                2.19 
U                      21                2.39 
U                      23                2.49 
U                      23                2.56 
U                      19                2.41 
U                      20                2.39 
U                      22                2.31 
U                      26                2.61 
U                      25                2.45 
S                      16                1.56 
U                      15                1.76 
U                      16                1.82 
U                      19                2.08 
U                      20                2.38 
U                      18                2.12 
U                      24                2.42 
U                      21                2.17 
U                      26                2.60 
U                      16                1.93 
U                      23                2.51 
U                      19                2.22 
U                      19                2.15 
S                      20                1.91 
S                      17                2.00 
U                      18                2.33 
S                      10                1.31 
U                      22                2.10 
U                      15                1.85 
U                      20                2.20 
U                      18                2.10 
U                      23                2.32 
U                      17                2.13 
U                      19                2.21 
S                      11                1.35 
U                      20                2.35 
U                      15                1.97 
U                      21                2.13 
S                      16                1.79 
U                      20                2.41 
U                      20                2.31 
S                      13                1.59 
U                      19                2.23 
U                      16                1.95 
U                      19                2.04 
U                      16                1.85 
U                      25                2.40 
U                      18                2.14 
U                      18                2.18 
#Clauses: 44 
U                      19                2.53 
U                      19                2.43 
U                      17                2.38 
U                      18                2.39 
U                      17                2.43 
U                      21                2.54 
U                      17                2.35 
U                      15                2.01 
U                      20                2.82 
U                      19                2.85 
S                      11                1.50 
S                      26                2.77 
U                      21                2.63 
U                      19                2.68 
U                      16                2.26 
S                      24                2.60 
U                      16                2.26 
U                      17                2.25 
U                      16                2.05 
U                      21                2.22 
U                      17                2.42 
U                      21                2.55 
U                      18                2.27 
U                      20                2.56 
U                      18                2.48 
U                      17                2.29 
U                      17                2.24 
U                      19                2.64 
U                      19                2.38 
U                      16                2.12 
U                      17                2.15 
U                      16                2.23 
U                      21                2.54 
U                      23                2.63 
U                      18                2.42 
U                      24                2.88 
U                      17                2.42 
S                      14                1.53 
U                      18                2.16 
S                      17                2.30 
U                      21                2.66 
U                      16                2.02 
U                      17                2.32 
U                      24                2.56 
U                      18                2.31 
U                      22                2.80 
U                      23                2.65 
S                      16                2.12 
U                      20                2.62 
U                      18                2.35 
U                      17                2.24 
U                      23                2.99 
S                      13                1.80 
S                      11                1.52 
U                      14                1.99 
U                      17                2.30 
U                      19                2.43 
U                      17                2.38 
U                      24                2.85 
U                      21                2.31 
U                      21                2.33 
U                      18                2.38 
U                      16                2.35 
U                      19                2.43 
S                      14                1.55 
S                      16                2.08 
U                      22                2.73 
U                      23                2.56 
S                      17                1.72 
U                      26                2.63 
U                      18                2.32 
U                      17                2.39 
U                      16                2.08 
S                      10                1.36 
U                      18                2.36 
U                      22                2.73 
U                      20                2.45 
U                      17                2.25 
U                      15                2.12 
U                      18                2.42 
U                      18                2.52 
U                      15                2.12 
U                      20                2.38 
U                      24                2.28 
S                      13                1.73 
U                      31                3.15 
U                      16                2.37 
S                      25                2.51 
U                      17                2.36 
U                      21                2.51 
U                      17                2.16 
U                      17                2.19 
U                      18                2.20 
U                      17                2.29 
U                      17                2.18 
S                      12                1.62 
U                      17                2.25 
U                      20                2.25 
U                      17                2.48 
U                      16                2.19 
#Clauses: 48 
U                      15                2.25 
S                      19                2.50 
U                      19                2.70 
U                      20                2.98 
U                      20                2.50 
U                      17                2.72 
U                      19                2.66 
U                      17                2.39 
U                      17                2.42 
U                      17                2.28 
U                      17                2.53 
U                      18                2.64 
U                      17                2.49 
U                      16                2.42 
U                      19                2.74 
U                      16                2.54 
U                      16                2.54 
U                      18                2.42 
U                      18                2.85 
U                      16                2.45 
U                      14                2.22 
U                      16                2.30 
U                      17                2.57 
U                      17                2.70 
U                      15                2.36 
U                      18                2.77 
U                      18                2.56 
U                      15                2.42 
U                      23                2.92 
U                      19                2.86 
U                      18                2.85 
U                      19                2.67 
U                      21                2.81 
U                      22                2.81 
U                      15                2.64 
U                      17                2.42 
S                      18                2.77 
U                      19                2.60 
S                      10                1.48 
U                      17                2.49 
U                      20                2.73 
U                      23                2.97 
U                      19                2.84 
U                      16                2.61 
U                      17                2.68 
U                      18                2.68 
U                      17                2.45 
U                      19                2.71 
U                      16                2.46 
U                      19                2.88 
U                      22                2.85 
U                      19                2.81 
U                      17                2.63 
U                      15                2.59 
U                      14                2.15 
U                      16                2.58 
U                      22                2.82 
U                      17                2.93 
U                      17                2.64 
U                      17                2.43 
U                      20                2.75 
U                      21                3.27 
U                      20                2.69 
U                      20                2.68 
U                      22                2.77 
U                      15                2.34 
U                      17                2.68 
S                      20                2.39 
U                      18                2.94 
U                      15                2.24 
U                      16                2.51 
U                      16                2.36 
S                      27                2.96 
U                      17                2.53 
U                      16                2.20 
U                      18                2.58 
U                      19                2.74 
U                      22                3.04 
U                      17                2.67 
U                      17                2.43 
U                      18                2.45 
U                      21                2.76 
U                      16                2.40 
U                      16                2.31 
U                      16                2.52 
U                      18                2.77 
U                      15                2.30 
U                      23                3.20 
U                      20                2.54 
S                      21                2.55 
U                      15                2.24 
U                      17                2.44 
U                      20                2.47 
S                      15                2.25 
U                      21                2.33 
U                      19                2.56 
U                      16                2.25 
U                      22                3.01 
U                      16                2.55 
U                      16                2.40 
#Clauses: 52 
U                      17                2.89 
U                      16                2.67 
U                      19                3.01 
U                      17                2.90 
U                      17                2.90 
U                      20                2.81 
U                      17                2.88 
U                      16                2.62 
U                      17                2.59 
U                      21                2.97 
U                      17                2.86 
U                      16                2.68 
U                      23                3.23 
U                      16                2.57 
S                      24                3.25 
U                      20                2.85 
U                      18                2.71 
U                      17                2.93 
U                      17                2.88 
U                      17                2.72 
U                      18                2.86 
U                      18                2.82 
U                      20                2.70 
U                      17                2.98 
U                      18                2.91 
U                      16                2.73 
U                      15                2.34 
U                      15                2.59 
U                      16                2.67 
S                      24                3.43 
U                      16                2.79 
U                      18                2.75 
U                      20                3.03 
U                      17                2.69 
U                      16                2.65 
U                      16                2.77 
U                      16                2.57 
U                      17                2.80 
S                      19                2.79 
U                      16                2.83 
U                      18                2.95 
U                      18                2.77 
U                      16                2.90 
S                      21                2.91 
U                      16                2.65 
S                      11                1.81 
U                      17                2.91 
U                      20                3.14 
U                      16                2.54 
U                      19                2.86 
U                      17                2.67 
U                      17                2.68 
S                      19                2.78 
U                      19                3.03 
U                      16                2.76 
U                      17                2.49 
U                      16                2.68 
U                      23                3.32 
U                      16                2.70 
S                      17                2.57 
U                      17                2.69 
U                      21                2.95 
U                      15                2.60 
U                      20                2.82 
U                      17                2.60 
S                      19                3.04 
S                      17                2.81 
U                      16                2.77 
U                      16                2.48 
U                      18                2.99 
U                      17                2.82 
U                      17                2.96 
U                      18                3.00 
U                      20                2.80 
U                      18                2.87 
U                      17                2.76 
U                      16                2.66 
U                      19                2.93 
U                      19                2.86 
U                      17                2.80 
U                      19                2.84 
U                      15                2.54 
U                      19                3.17 
U                      24                3.52 
U                      18                3.03 
U                      17                2.85 
U                      16                2.57 
U                      22                3.18 
U                      19                3.00 
U                      16                2.64 
U                      20                3.37 
U                      16                2.60 
U                      20                2.67 
U                      19                2.77 
U                      15                2.41 
U                      18                2.91 
U                      17                2.61 
U                      16                2.56 
U                      19                2.88 
U                      19                2.84 
#Clauses: 56 
U                      19                3.27 
U                      16                2.79 
U                      17                3.08 
U                      16                2.92 
U                      16                2.96 
U                      16                2.94 
U                      16                2.94 
U                      22                3.70 
U                      15                2.86 
U                      17                2.97 
U                      18                2.98 
U                      14                2.68 
U                      16                2.82 
U                      24                3.57 
U                      17                3.38 
U                      17                3.39 
U                      16                2.98 
U                      17                2.91 
U                      15                2.66 
U                      16                2.76 
U                      18                3.08 
U                      20                3.28 
U                      18                3.34 
U                      19                3.35 
U                      21                3.25 
U                      17                2.65 
U                      17                2.86 
U                      15                2.79 
U                      20                3.07 
U                      18                3.35 
U                      16                2.78 
U                      18                3.14 
U                      15                2.68 
U                      24                3.75 
U                      16                2.99 
U                      16                2.86 
U                      18                3.11 
U                      23                3.78 
U                      16                3.15 
S                      12                1.99 
U                      17                3.03 
U                      17                3.03 
U                      19                3.21 
U                      18                3.40 
U                      17                3.16 
U                      18                3.11 
U                      17                3.06 
U                      18                2.95 
U                      14                2.35 
S                      17                3.00 
U                      16                2.81 
U                      19                3.06 
U                      18                3.07 
U                      17                3.06 
U                      14                2.74 
U                      16                3.00 
U                      16                2.89 
U                      16                2.96 
U                      22                3.97 
U                      16                3.01 
S                      19                2.84 
U                      17                2.80 
U                      15                2.80 
U                      16                3.16 
U                      21                3.25 
U                      16                2.99 
U                      16                2.65 
U                      18                2.86 
U                      16                2.93 
U                      16                3.16 
U                      17                3.21 
U                      16                3.05 
U                      15                2.86 
U                      15                2.53 
U                      20                3.05 
U                      16                2.93 
U                      19                3.14 
U                      17                2.88 
U                      14                2.71 
U                      16                2.86 
U                      21                3.24 
U                      18                3.41 
U                      21                3.59 
U                      15                2.94 
S                      17                2.63 
U                      15                2.80 
U                      19                3.24 
U                      23                3.76 
U                      17                2.80 
U                      20                3.19 
U                      16                2.92 
U                      19                3.14 
U                      20                3.28 
U                      18                3.37 
S                      15                2.21 
U                      16                2.90 
U                      16                2.72 
U                      17                2.68 
U                      18                3.22 
U                      16                2.92 
#Clauses: 60 
U                      17                3.52 
U                      18                3.48 
U                      23                3.54 
U                      16                2.95 
U                      16                3.07 
U                      17                3.36 
U                      16                3.20 
U                      17                3.42 
S                      22                3.62 
S                       9                1.91 
U                      16                2.85 
U                      17                3.56 
U                      16                3.20 
U                      16                3.18 
U                      21                3.71 
U                      18                3.61 
U                      20                3.24 
U                      17                3.61 
U                      17                3.38 
U                      21                3.74 
U                      17                3.54 
U                      16                3.26 
U                      16                3.14 
U                      17                3.13 
S                      12                2.27 
U                      15                2.99 
U                      15                3.00 
U                      16                3.28 
U                      17                3.31 
U                      15                2.89 
U                      16                3.05 
U                      17                3.31 
U                      19                3.63 
U                      16                3.26 
U                      17                3.30 
U                      20                3.45 
U                      14                2.75 
U                      15                3.04 
U                      16                3.09 
U                      21                3.62 
U                      16                3.26 
U                      16                3.11 
U                      18                3.21 
U                      17                3.47 
U                      22                3.94 
U                      16                3.26 
U                      16                3.18 
U                      17                3.24 
U                      17                3.07 
U                      17                3.54 
U                      17                3.38 
U                      19                3.46 
U                      19                3.44 
U                      18                3.99 
U                      20                3.78 
U                      17                3.38 
U                      17                3.56 
U                      17                3.49 
U                      16                3.24 
U                      17                3.46 
U                      15                2.96 
S                      18                3.08 
U                      18                3.47 
U                      15                2.88 
U                      16                3.24 
S                      10                2.00 
U                      16                3.37 
U                      17                3.30 
U                      17                3.26 
U                      16                2.84 
U                      17                3.32 
U                      16                3.41 
U                      16                3.46 
U                      16                3.24 
U                      16                3.21 
U                      18                3.29 
U                      18                3.68 
U                      17                3.32 
U                      16                3.23 
U                      16                2.94 
U                      19                2.90 
U                      16                3.09 
U                      18                3.53 
U                      14                2.72 
U                      21                3.34 
U                      15                2.95 
U                      14                2.75 
U                      16                3.09 
U                      22                3.95 
U                      19                3.41 
U                      21                3.97 
U                      16                3.29 
U                      15                2.87 
U                      16                3.08 
U                      17                3.42 
U                      16                3.06 
U                      17                3.22 
U                      25                4.05 
U                      15                3.04 
U                      16                3.15 
#Clauses: 64 
U                      18                3.55 
U                      14                3.39 
U                      17                3.87 
U                      15                3.46 
U                      15                3.26 
U                      16                3.64 
U                      15                3.42 
U                      21                3.96 
U                      18                3.99 
U                      19                4.26 
U                      16                3.50 
U                      16                3.57 
U                      17                3.42 
U                      15                3.19 
U                      24                3.95 
U                      16                3.49 
U                      15                3.14 
U                      16                3.60 
U                      17                3.55 
U                      16                3.37 
U                      15                3.30 
U                      17                3.76 
U                      16                3.45 
U                      17                3.69 
U                      17                3.67 
U                      16                3.67 
U                      20                4.05 
U                      19                3.79 
U                      16                3.31 
U                      16                3.47 
U                      19                3.60 
U                      21                4.27 
U                      15                3.39 
U                      20                3.61 
U                      16                3.68 
U                      15                3.32 
U                      15                3.06 
S                      12                2.44 
U                      17                3.41 
U                      20                3.71 
U                      16                3.53 
U                      15                3.27 
U                      16                3.61 
U                      15                3.46 
U                      17                3.86 
U                      17                3.44 
U                      16                3.44 
U                      20                3.72 
U                      14                3.12 
U                      15                3.19 
U                      15                3.38 
U                      17                3.43 
U                      17                3.61 
U                      20                3.64 
U                      16                3.24 
U                      16                3.36 
U                      16                3.49 
U                      22                4.08 
U                      16                3.48 
U                      14                3.12 
U                      17                3.59 
U                      16                3.35 
U                      14                3.06 
U                      17                3.69 
U                      16                3.46 
U                      20                3.43 
U                      17                3.57 
U                      14                3.22 
U                      15                3.25 
U                      19                4.23 
U                      15                3.11 
U                      14                3.14 
U                      22                4.17 
U                      15                3.47 
U                      18                3.53 
U                      15                3.48 
U                      21                4.39 
U                      16                3.64 
U                      17                3.68 
U                      17                3.47 
U                      15                3.36 
U                      15                3.18 
U                      15                3.31 
U                      17                3.31 
U                      16                3.44 
U                      14                3.31 
U                      17                3.60 
U                      19                3.77 
U                      17                3.82 
U                      19                3.76 
U                      14                3.05 
U                      21                3.74 
U                      16                3.41 
U                      21                3.57 
U                      14                3.20 
U                      18                3.91 
U                      16                3.45 
U                      15                3.33 
U                      17                3.42 
U                      17                3.56 
#Clauses: 68 
U                      16                3.71 
U                      16                3.58 
U                      18                4.31 
U                      17                3.71 
U                      15                3.46 
U                      19                4.09 
U                      14                3.46 
U                      15                3.51 
U                      16                3.72 
U                      17                3.79 
U                      19                4.09 
U                      16                3.53 
U                      15                3.58 
U                      16                3.12 
U                      15                3.40 
U                      16                3.93 
U                      15                3.62 
U                      17                4.23 
U                      16                3.91 
U                      15                3.39 
U                      15                3.32 
U                      19                4.28 
U                      15                3.29 
U                      15                3.65 
U                      15                3.57 
U                      17                3.64 
U                      15                3.65 
U                      15                3.38 
U                      15                3.50 
U                      15                3.22 
U                      16                3.55 
U                      17                3.91 
U                      16                3.89 
U                      15                3.92 
U                      15                3.86 
U                      16                3.74 
U                      16                3.89 
U                      14                3.60 
U                      17                4.25 
U                      18                4.24 
U                      18                4.31 
U                      19                4.50 
U                      16                4.03 
U                      17                4.27 
U                      17                4.31 
S                      12                3.08 
U                      23                4.94 
U                      15                3.77 
U                      17                4.26 
U                      16                3.70 
U                      16                4.14 
U                      15                3.75 
U                      15                4.01 
U                      17                4.03 
U                      15                3.66 
U                      16                3.97 
U                      16                4.13 
U                      18                4.39 
U                      16                4.38 
U                      17                4.15 
U                      16                3.78 
U                      15                4.01 
U                      17                4.24 
U                      15                3.61 
U                      17                4.33 
U                      14                4.03 
U                      17                4.76 
U                      17                4.29 
U                      21                4.32 
U                      16                3.96 
U                      24                4.72 
U                      17                2.15 
U                      18                1.93 
U                      15                1.98 
U                      17                2.09 
U                      20                2.26 
U                      19                2.16 
U                      17                2.18 
U                      17                2.15 
U                      16                2.02 
U                      17                2.09 
U                      18                2.26 
U                      17                2.07 
U                      16                2.18 
U                      18                2.24 
U                      16                2.04 
U                      15                2.05 
S                      20                2.13 
U                      17                2.21 
U                      17                2.07 
U                      16                2.15 
U                      16                2.06 
U                      20                2.33 
U                      14                1.95 
U                      16                2.01 
U                      16                2.08 
U                      18                2.32 
U                      17                2.22 
U                      15                1.93 
U                      15                2.01 
#Clauses: 72 
U                      16                2.18 
U                      16                2.26 
U                      16                2.22 
U                      15                2.26 
U                      15                2.05 
U                      15                2.19 
U                      16                2.25 
U                      17                2.32 
U                      14                1.88 
U                      15                2.07 
U                      17                2.52 
U                      16                2.21 
U                      16                2.09 
U                      16                2.24 
U                      16                2.15 
U                      17                2.31 
U                      21                2.56 
U                      20                2.50 
U                      15                2.08 
U                      21                2.48 
U                      18                2.20 
U                      16                2.18 
U                      15                2.15 
U                      18                2.17 
U                      15                2.12 
U                      16                2.16 
U                      16                1.99 
U                      17                2.25 
U                      15                2.00 
U                      17                2.16 
U                      16                2.13 
U                      15                2.29 
U                      17                2.15 
U                      15                2.19 
U                      15                2.04 
U                      20                2.47 
U                      16                2.33 
U                      14                1.90 
U                      15                2.06 
U                      19                2.44 
U                      16                2.27 
U                      15                2.06 
U                      24                2.44 
U                      20                2.61 
U                      15                2.08 
U                      15                2.12 
U                      18                2.33 
U                      16                2.18 
U                      17                2.17 
U                      15                2.09 
U                      20                2.38 
U                      15                2.14 
U                      16                2.13 
U                      16                2.02 
U                      15                2.20 
U                      17                2.39 
U                      15                2.07 
U                      16                2.19 
U                      16                2.10 
U                      17                2.19 
U                      14                2.04 
U                      18                2.50 
U                      16                2.19 
U                      17                2.28 
U                      16                2.27 
U                      18                2.53 
U                      15                2.09 
U                      17                2.33 
U                      16                2.33 
U                      21                2.51 
U                      16                2.08 
U                      16                2.22 
U                      15                2.01 
U                      19                2.17 
U                      17                2.26 
U                      17                2.16 
U                      15                2.09 
U                      18                2.51 
U                      15                2.16 
U                      16                1.96 
U                      18                2.43 
U                      15                2.01 
U                      15                2.10 
U                      22                2.33 
U                      15                2.09 
U                      17                2.14 
U                      15                2.07 
U                      15                2.14 
U                      16                2.15 
U                      16                2.13 
U                      20                2.34 
U                      18                2.37 
U                      14                1.92 
U                      18                2.43 
U                      16                2.05 
U                      16                2.25 
U                      15                2.09 
U                      16                2.19 
U                      15                2.05 
U                      15                2.04 
#Clauses: 76 
U                      17                2.33 
U                      15                2.28 
U                      17                2.48 
U                      15                2.16 
U                      15                2.18 
U                      17                2.46 
U                      20                2.43 
U                      18                2.56 
U                      17                2.60 
U                      16                2.39 
U                      18                2.62 
U                      15                2.15 
U                      15                2.26 
U                      19                2.40 
U                      16                2.23 
U                      16                2.24 
U                      17                2.37 
U                      15                2.13 
U                      15                2.23 
U                      16                2.20 
U                      15                2.18 
U                      17                2.45 
U                      16                2.27 
U                      21                2.65 
U                      15                2.15 
U                      16                2.29 
U                      15                2.21 
U                      18                2.47 
U                      18                2.76 
U                      16                2.24 
U                      18                2.45 
U                      16                2.37 
U                      16                2.25 
U                      16                2.25 
U                      17                2.42 
U                      17                2.52 
U                      19                2.52 
U                      16                2.34 
U                      18                2.49 
U                      17                2.31 
U                      15                2.18 
U                      15                2.23 
U                      16                2.17 
U                      18                2.53 
U                      18                2.60 
U                      15                2.33 
U                      16                2.25 
U                      15                2.35 
U                      15                2.37 
U                      16                2.40 
U                      16                2.32 
U                      16                2.36 
U                      18                2.53 
U                      16                2.34 
U                      16                2.39 
U                      16                2.30 
U                      15                2.20 
U                      17                2.48 
U                      15                2.21 
U                      16                2.32 
U                      16                2.27 
U                      15                2.34 
U                      17                2.47 
U                      14                2.05 
U                      17                2.29 
U                      15                2.34 
U                      17                2.35 
U                      15                2.18 
U                      15                2.34 
U                      16                2.36 
U                      16                2.23 
U                      14                2.12 
U                      15                2.13 
U                      16                2.31 
U                      17                2.43 
U                      16                2.37 
U                      18                2.58 
U                      15                2.33 
U                      17                2.45 
U                      17                2.45 
U                      17                2.56 
U                      17                2.36 
U                      16                2.36 
U                      20                2.60 
U                      16                2.48 
U                      16                2.39 
U                      16                2.49 
U                      16                2.53 
U                      16                2.41 
U                      16                2.10 
U                      15                2.25 
U                      15                2.16 
U                      17                2.56 
U                      15                2.12 
U                      21                2.83 
U                      16                2.35 
U                      16                2.14 
U                      15                2.18 
U                      16                2.26 
U                      16                2.31 
#Clauses: 80 
U                      17                2.37 
U                      19                2.61 
U                      16                2.51 
U                      18                2.69 
U                      15                2.39 
U                      15                2.32 
U                      16                2.63 
U                      16                2.52 
U                      16                2.57 
U                      14                2.40 
U                      16                2.52 
U                      21                2.96 
U                      15                2.32 
U                      16                2.49 
U                      15                2.40 
U                      16                2.53 
U                      16                2.60 
U                      21                3.03 
U                      16                2.72 
U                      14                2.21 
U                      15                2.42 
U                      16                2.53 
U                      18                2.79 
U                      19                3.09 
U                      15                2.31 
U                      16                2.38 
U                      16                2.47 
U                      16                2.44 
U                      16                2.62 
U                      14                2.18 
U                      18                2.75 
U                      16                2.58 
U                      16                2.71 
U                      17                2.65 
U                      15                2.54 
U                      15                2.46 
U                      20                2.76 
U                      15                2.39 
U                      16                2.56 
U                      16                2.35 
U                      15                2.32 
U                      15                2.39 
U                      16                2.37 
U                      16                2.30 
U                      15                2.22 
U                      15                2.53 
U                      16                2.30 
U                      14                2.15 
U                      16                2.44 
U                      16                2.47 
U                      14                2.40 
U                      17                2.62 
U                      16                2.37 
U                      15                2.52 
U                      18                2.77 
U                      17                2.63 
U                      15                2.26 
U                      16                2.48 
U                      16                2.61 
U                      15                2.30 
U                      17                2.67 
U                      17                2.64 
U                      17                2.86 
U                      14                2.27 
U                      17                2.81 
U                      15                2.46 
U                      15                2.43 
S                      11                1.84 
U                      16                2.38 
U                      15                2.40 
U                      17                2.49 
U                      17                2.36 
U                      16                2.48 
U                      16                2.42 
U                      16                2.46 
U                      18                2.51 
U                      16                2.57 
U                      17                2.58 
U                      16                2.29 
U                      16                2.68 
U                      20                2.70 
U                      14                2.26 
U                      15                2.35 
U                      16                2.51 
U                      16                2.26 
U                      15                2.40 
U                      15                2.24 
U                      16                2.40 
U                      15                2.38 
U                      14                2.13 
U                      14                2.27 
U                      16                2.40 
U                      19                2.64 
U                      16                2.48 
U                      16                2.41 
U                      17                2.39 
U                      15                2.17 
U                      15                2.36 
U                      15                2.29 
U                      15                2.31 
#Clauses: 84 
U                      15                2.47 
U                      15                2.46 
U                      15                2.49 
U                      15                2.47 
U                      17                2.79 
U                      15                2.43 
U                      16                2.56 
U                      15                2.50 
U                      16                2.43 
U                      17                2.64 
U                      16                2.56 
U                      15                2.43 
U                      17                2.73 
U                      16                2.70 
U                      14                2.25 
U                      16                2.70 
U                      17                2.70 
U                      15                2.45 
U                      15                2.57 
U                      14                2.33 
U                      16                2.64 
U                      20                2.87 
U                      16                2.57 
U                      16                2.81 
U                      15                2.49 
U                      15                2.40 
U                      15                2.48 
U                      16                2.76 
U                      17                2.86 
U                      15                2.60 
U                      15                2.40 
U                      17                2.67 
U                      16                2.64 
U                      14                2.34 
U                      16                2.60 
U                      15                2.56 
U                      17                2.72 
U                      15                2.49 
U                      17                2.77 
U                      17                2.69 
U                      15                2.60 
U                      15                2.57 
U                      15                2.48 
U                      15                2.50 
U                      14                2.44 
U                      15                2.40 
U                      17                2.58 
U                      15                2.43 
U                      16                2.74 
U                      15                2.42 
U                      16                2.90 
U                      16                2.52 
U                      19                2.66 
U                      15                2.39 
U                      15                2.32 
U                      16                2.60 
U                      16                2.55 
U                      16                2.47 
U                      16                2.59 
U                      17                2.58 
U                      15                2.36 
U                      14                2.49 
U                      16                2.45 
U                      14                2.28 
U                      16                2.68 
U                      17                2.73 
U                      15                2.49 
U                      15                2.48 
U                      17                2.59 
U                      17                2.70 
U                      16                2.66 
U                      15                2.47 
U                      18                2.95 
U                      17                2.60 
U                      16                2.48 
U                      16                2.70 
U                      14                2.39 
U                      16                2.49 
U                      15                2.48 
U                      14                2.39 
U                      15                2.39 
U                      16                2.58 
U                      16                2.67 
U                      15                2.44 
U                      15                2.24 
U                      15                2.47 
U                      15                2.46 
U                      18                2.68 
U                      16                2.45 
U                      16                2.50 
U                      16                2.44 
U                      15                2.56 
U                      16                2.48 
U                      16                2.58 
U                      16                2.72 
U                      20                2.89 
U                      16                2.65 
U                      14                2.26 
U                      15                2.49 
U                      15                2.56 
#Clauses: 88 
U                      16                2.70 
U                      15                2.46 
U                      15                2.57 
U                      15                2.55 
U                      16                2.67 
U                      15                2.65 
U                      15                2.70 
U                      16                2.91 
U                      16                3.05 
U                      19                3.15 
U                      14                2.52 
U                      15                2.61 
U                      16                2.93 
U                      16                2.85 
U                      15                2.65 
U                      16                2.73 
U                      15                2.67 
U                      16                2.73 
U                      18                3.07 
U                      17                2.95 
U                      14                2.59 
U                      16                2.87 
U                      17                2.98 
U                      16                3.08 
U                      18                3.19 
U                      15                2.79 
U                      16                2.92 
U                      16                2.88 
U                      14                2.56 
U                      16                2.94 
U                      16                3.00 
U                      15                2.57 
U                      15                2.51 
U                      15                2.62 
U                      14                2.70 
U                      16                2.83 
U                      15                2.70 
U                      15                2.61 
U                      19                2.80 
U                      16                2.64 
U                      14                2.45 
U                      16                2.84 
U                      15                2.69 
U                      14                2.37 
U                      15                2.47 
U                      16                2.72 
U                      15                2.45 
U                      15                2.64 
U                      18                3.02 
U                      15                2.57 
U                      15                2.57 
U                      15                2.73 
U                      17                2.77 
U                      16                2.91 
U                      16                2.64 
U                      15                2.64 
U                      16                2.72 
U                      14                2.47 
U                      16                2.61 
U                      16                2.72 
U                      16                2.70 
U                      17                2.88 
U                      15                2.55 
U                      15                2.62 
U                      16                2.74 
U                      15                2.73 
U                      15                2.72 
U                      16                2.72 
U                      14                2.51 
U                      19                2.89 
U                      15                2.64 
U                      17                3.18 
U                      16                2.29 
U                      16                2.12 
U                      14                2.44 
U                      16                2.88 
U                      15                2.77 
U                      17                3.07 
U                      16                3.00 
U                      15                2.60 
U                      15                2.83 
U                      16                2.96 
U                      14                2.53 
U                      17                2.82 
U                      16                2.52 
U                      16                2.66 
U                      15                2.51 
U                      14                2.47 
U                      16                2.62 
U                      14                2.46 
U                      15                2.59 
U                      15                2.60 
U                      16                2.69 
U                      17                2.84 
U                      14                2.62 
U                      16                2.91 
U                      14                2.60 
U                      18                2.89 
U                      15                2.67 
U                      18                3.05 
#Clauses: 92 
U                      15                2.82 
U                      16                2.88 
U                      15                2.80 
U                      17                3.06 
U                      15                2.83 
U                      19                3.10 
U                      16                3.07 
U                      17                3.08 
U                      15                2.91 
U                      16                3.28 
U                      15                3.02 
U                      18                3.53 
U                      15                2.89 
U                      15                2.68 
U                      16                2.68 
U                      15                2.60 
U                      15                2.69 
U                      14                2.69 
U                      14                2.65 
U                      16                3.08 
U                      14                2.69 
U                      18                3.07 
U                      17                3.03 
U                      15                2.82 
U                      14                2.75 
U                      15                2.86 
U                      17                3.18 
U                      17                3.17 
U                      17                3.18 
U                      16                2.93 
U                      16                3.03 
U                      15                2.78 
U                      17                2.99 
U                      15                2.83 
U                      17                3.08 
U                      16                2.93 
U                      14                2.56 
U                      15                2.83 
U                      16                3.21 
U                      16                2.07 
U                      15                2.59 
U                      15                2.92 
U                      17                3.02 
U                      17                3.28 
U                      16                2.98 
U                      16                3.24 
U                      16                3.48 
U                      16                3.60 
U                      16                3.22 
U                      15                2.83 
U                      18                3.21 
U                      16                3.01 
U                      15                2.97 
U                      15                3.27 
U                      15                2.92 
U                      17                3.51 
U                      15                3.22 
U                      15                3.12 
U                      15                3.22 
U                      16                3.22 
U                      14                2.90 
U                      16                3.56 
U                      15                3.00 
U                      18                3.57 
U                      15                3.15 
U                      16                3.09 
U                      14                2.91 
U                      14                2.83 
U                      14                2.78 
U                      15                3.01 
U                      15                3.24 
U                      16                3.25 
U                      16                3.06 
U                      14                3.07 
U                      16                3.51 
U                      16                3.30 
U                      15                3.04 
U                      16                3.07 
U                      16                3.34 
U                      14                2.83 
U                      15                3.04 
U                      16                3.20 
U                      14                3.04 
U                      14                3.01 
U                      17                3.54 
U                      15                3.24 
U                      15                3.03 
U                      16                3.13 
U                      17                3.46 
U                      16                3.06 
U                      15                2.85 
U                      16                3.39 
U                      16                3.04 
U                      17                3.35 
U                      14                2.99 
U                      16                3.27 
U                      17                3.53 
U                      14                2.72 
U                      16                2.99 
U                      16                3.03 
#Clauses: 96 
U                      15                3.21 
U                      15                3.38 
U                      15                3.15 
U                      15                3.38 
U                      17                3.74 
U                      16                3.75 
U                      16                3.12 
U                      15                3.10 
U                      15                3.22 
U                      16                3.30 
U                      16                3.43 
U                      16                3.25 
U                      17                3.88 
U                      15                3.49 
U                      16                3.52 
U                      16                3.29 
U                      15                3.22 
U                      17                3.58 
U                      16                3.02 
U                      16                2.93 
U                      16                3.09 
U                      15                2.67 
U                      14                2.63 
U                      16                3.09 
U                      15                2.93 
U                      16                3.05 
U                      16                2.89 
U                      16                2.94 
U                      16                2.88 
U                      15                2.88 
U                      14                2.76 
U                      17                3.05 
U                      15                2.78 
U                      15                2.88 
U                      15                2.84 
U                      16                3.06 
U                      17                3.04 
U                      16                3.07 
U                      15                3.00 
U                      15                2.70 
U                      15                2.79 
U                      15                3.05 
U                      14                2.63 
U                      16                3.06 
U                      14                2.72 
U                      16                2.91 
U                      15                2.75 
U                      14                2.56 
U                      14                2.65 
U                      15                2.89 
U                      15                2.74 
U                      17                3.12 
U                      15                2.84 
U                      15                2.45 
U                      16                2.92 
U                      16                2.84 
U                      15                2.88 
U                      16                3.24 
U                      18                3.20 
U                      16                2.98 
U                      17                2.99 
U                      16                3.16 
U                      14                2.81 
U                      16                3.04 
U                      16                3.22 
U                      16                3.06 
U                      15                2.33 
U                      17                2.94 
U                      15                2.72 
U                      15                2.89 
U                      16                2.89 
U                      16                2.91 
U                      14                2.59 
U                      15                2.99 
U                      17                3.14 
U                      16                3.14 
U                      15                2.98 
U                      14                2.91 
U                      15                2.85 
U                      15                2.62 
U                      14                2.58 
U                      17                3.10 
U                      16                2.75 
U                      14                2.54 
U                      15                2.86 
U                      15                2.82 
U                      14                2.80 
U                      15                2.90 
U                      15                3.05 
U                      16                3.22 
U                      16                3.11 
U                      15                2.97 
U                      16                2.99 
U                      15                2.77 
U                      16                3.14 
U                      15                3.25 
U                      15                3.50 
U                      14                3.24 
U                      15                3.40 
U                      16                3.54 
#Clauses: 100 
U                      15                3.30 
U                      16                3.53 
U                      14                3.36 
U                      15                2.85 
U                      16                2.78 
U                      14                2.69 
U                      14                2.90 
U                      15                3.03 
U                      16                3.41 
U                      16                3.38 
U                      15                3.33 
U                      14                3.12 
U                      15                3.50 
U                      16                3.65 
U                      16                3.25 
U                      15                3.22 
U                      15                3.56 
U                      15                3.39 
U                      14                3.22 
U                      14                3.25 
U                      15                3.43 
U                      15                3.45 
U                      15                3.67 
U                      16                3.54 
U                      14                3.11 
U                      18                3.94 
U                      15                3.42 
U                      16                3.55 
U                      14                3.31 
U                      15                3.43 
U                      14                3.15 
U                      15                3.42 
U                      16                3.80 
U                      15                3.47 
U                      14                3.17 
U                      15                3.17 
U                      16                2.80 
U                      15                2.65 
U                      15                3.14 
U                      15                3.06 
U                      17                3.10 
U                      16                3.19 
U                      15                3.13 
U                      15                2.98 
U                      16                3.15 
U                      14                2.99 
U                      14                2.87 
U                      16                3.05 
U                      16                2.23 
U                      16                3.10 
U                      15                2.94 
U                      14                2.89 
U                      14                3.02 
U                      17                3.29 
U                      15                3.28 
U                      16                3.03 
U                      16                3.31 
U                      15                3.05 
U                      16                3.16 
U                      16                3.16 
U                      15                3.11 
U                      16                2.72 
U                      16                2.96 
U                      15                2.84 
U                      16                3.28 
U                      16                3.35 
U                      15                3.22 
U                      15                2.94 
U                      16                2.96 
U                      14                2.71 
U                      14                2.82 
U                      16                2.98 
U                      16                2.94 
U                      15                2.90 
U                      16                2.97 
U                      14                2.99 
U                      15                3.14 
U                      17                3.31 
U                      16                3.04 
U                      15                2.83 
U                      16                3.02 
U                      15                2.81 
U                      15                2.90 
U                      17                3.39 
U                      14                2.71 
U                      15                2.98 
U                      16                3.09 
U                      15                2.94 
U                      15                2.96 
U                      15                2.96 
U                      16                3.18 
U                      16                3.07 
U                      15                2.84 
U                      16                3.18 
U                      15                3.04 
U                      14                2.87 
U                      14                2.68 
U                      16                3.27 
U                      15                2.90 
U                      16                2.96 
#Clauses: 104 
U                      14                2.87 
U                      16                3.29 
U                      14                3.04 
U                      15                3.11 
U                      16                3.24 
U                      15                3.22 
U                      14                2.88 
U                      15                3.16 
U                      15                3.05 
U                      14                2.90 
U                      15                3.06 
U                      16                3.24 
U                      15                3.22 
U                      15                3.16 
U                      16                3.29 
U                      15                2.92 
U                      16                3.02 
U                      16                3.35 
U                      16                3.28 
U                      15                3.18 
U                      16                3.13 
U                      14                2.87 
U                      15                3.09 
U                      15                3.19 
U                      14                2.18 
U                      14                3.09 
U                      16                3.47 
U                      17                4.19 
U                      16                4.16 
U                      15                3.78 
U                      15                3.68 
U                      14                3.58 
U                      16                3.62 
U                      15                3.51 
U                      15                3.35 
U                      14                3.22 
U                      14                3.59 
U                      15                3.94 
U                      15                3.70 
U                      15                3.54 
U                      16                3.67 
U                      15                3.30 
U                      16                3.47 
U                      15                3.13 
U                      14                2.92 
U                      14                2.98 
U                      14                3.09 
U                      15                3.15 
U                      15                3.08 
U                      15                2.99 
U                      15                3.22 
U                      17                3.52 
U                      14                2.94 
U                      14                2.84 
U                      15                3.07 
U                      16                3.22 
U                      20                3.58 
U                      16                3.28 
U                      17                3.65 
U                      17                3.44 
U                      15                3.13 
U                      16                3.47 
U                      16                2.86 
U                      14                2.72 
U                      15                2.82 
U                      16                3.34 
U                      14                3.01 
U                      15                3.27 
U                      15                3.27 
U                      15                3.34 
U                      15                3.42 
U                      15                3.33 
U                      15                2.96 
U                      15                2.77 
U                      15                3.32 
U                      16                3.96 
U                      15                3.43 
U                      16                3.57 
U                      14                3.42 
U                      15                3.54 
U                      15                3.36 
U                      15                3.63 
U                      15                3.25 
U                      16                3.78 
U                      16                3.63 
U                      17                3.92 
U                      17                3.88 
U                      15                3.37 
U                      14                3.18 
U                      14                3.19 
U                      15                3.38 
U                      15                3.63 
U                      15                3.52 
U                      15                3.45 
U                      15                3.50 
U                      16                3.35 
U                      14                3.12 
U                      14                3.21 
U                      14                3.31 
U                      15                3.54 
#Clauses: 108 
U                      14                3.56 
U                      16                3.87 
U                      16                3.66 
U                      15                3.41 
U                      14                3.57 
U                      17                4.02 
U                      15                3.61 
U                      16                3.68 
U                      15                3.73 
U                      14                3.36 
U                      15                3.70 
U                      16                3.68 
U                      15                3.42 
U                      15                3.56 
U                      14                3.24 
U                      16                3.75 
U                      16                3.99 
U                      14                3.38 
U                      15                3.59 
U                      15                3.45 
U                      16                3.72 
U                      17                4.15 
U                      16                3.60 
U                      15                3.66 
U                      15                3.46 
U                      14                3.33 
U                      16                3.73 
U                      14                3.47 
U                      16                3.77 
U                      14                3.62 
U                      14                3.51 
U                      16                3.67 
U                      14                3.18 
U                      14                3.39 
U                      16                3.77 
U                      16                4.08 
U                      14                3.43 
U                      15                3.49 
U                      15                3.38 
U                      14                3.24 
U                      15                3.38 
U                      14                3.11 
U                      16                3.54 
U                      15                3.00 
U                      14                3.15 
U                      15                3.23 
U                      15                3.12 
U                      14                3.23 
U                      16                3.59 
U                      15                3.57 
U                      17                3.82 
U                      20                4.01 
U                      16                3.49 
U                      14                3.46 
U                      14                2.92 
U                      16                3.22 
U                      15                3.32 
U                      15                3.23 
U                      15                3.34 
U                      15                3.29 
U                      15                3.17 
U                      14                3.00 
U                      15                3.17 
U                      16                3.42 
U                      15                3.20 
U                      15                3.11 
U                      15                2.61 
U                      14                3.07 
U                      17                3.68 
U                      16                3.40 
U                      14                3.17 
U                      16                3.58 
U                      15                3.25 
U                      14                3.45 
U                      16                3.90 
U                      15                3.63 
U                      14                3.54 
U                      15                3.73 
U                      15                3.49 
U                      14                3.35 
U                      15                3.75 
U                      16                3.90 
U                      15                3.88 
U                      16                3.94 
U                      15                3.70 
U                      15                3.59 
U                      15                3.64 
U                      17                4.20 
U                      17                4.06 
U                      15                3.50 
U                      16                3.70 
U                      14                3.44 
U                      14                3.43 
U                      15                3.82 
U                      16                3.79 
U                      15                3.74 
U                      15                3.61 
U                      16                4.01 
U                      17                4.09 
U                      14                3.43 
#Clauses: 112 
U                      17                4.16 
U                      15                4.00 
U                      15                4.01 
U                      15                3.71 
U                      15                3.88 
U                      15                3.81 
U                      15                3.61 
U                      16                3.93 
U                      14                3.54 
U                      14                3.75 
U                      15                3.91 
U                      14                3.56 
U                      15                3.87 
U                      15                3.90 
U                      15                3.62 
U                      16                3.87 
U                      19                4.48 
U                      14                3.69 
U                      16                3.90 
U                      15                3.66 
U                      16                3.91 
U                      14                3.96 
U                      14                3.54 
U                      15                3.73 
U                      15                3.82 
U                      14                3.64 
U                      15                3.63 
U                      15                3.77 
U                      14                3.48 
U                      15                3.71 
U                      14                3.58 
U                      16                4.09 
U                      16                4.04 
U                      14                3.75 
U                      15                3.63 
U                      16                3.95 
U                      14                3.64 
U                      15                3.87 
U                      17                4.33 
U                      15                3.85 
U                      14                3.84 
U                      16                3.94 
U                      21                4.10 
U                      14                3.31 
U                      16                3.58 
U                      15                3.42 
U                      15                3.61 
U                      16                3.32 
U                      15                3.19 
U                      15                3.54 
U                      16                3.65 
U                      14                3.27 
U                      15                3.59 
U                      14                3.90 
U                      15                3.81 
U                      14                3.93 
U                      15                3.89 
U                      15                3.82 
U                      15                3.88 
U                      17                3.75 
U                      14                3.70 
U                      14                3.84 
U                      14                3.65 
U                      15                3.76 
U                      15                3.69 
U                      15                3.61 
U                      15                3.80 
U                      14                3.74 
U                      16                3.88 
U                      15                3.60 
U                      15                3.49 
U                      14                3.49 
U                      15                3.83 
U                      15                3.87 
U                      15                3.93 
U                      15                3.76 
U                      14                3.78 
U                      18                4.32 
U                      14                3.64 
U                      15                3.65 
U                      14                3.55 
U                      14                3.80 
U                      15                3.91 
U                      14                3.64 
U                      15                3.74 
U                      15                3.90 
U                      14                3.55 
U                      16                4.00 
U                      14                3.64 
U                      14                3.63 
U                      14                3.56 
U                      14                3.52 
U                      15                3.80 
U                      15                3.89 
U                      16                4.12 
U                      15                3.79 
U                      15                3.67 
U                      15                3.93 
U                      14                3.71 
U                      14                3.34 
#Clauses: 116 
U                      15                4.00 
U                      15                3.99 
U                      15                3.88 
U                      15                3.96 
U                      15                4.11 
U                      14                3.81 
U                      16                4.10 
U                      14                3.74 
U                      15                3.85 
U                      14                3.65 
U                      16                4.42 
U                      15                4.27 
U                      15                4.05 
U                      14                3.80 
U                      14                3.80 
U                      14                3.73 
U                      14                3.88 
U                      16                3.96 
U                      15                3.92 
U                      17                4.39 
U                      16                3.98 
U                      14                3.76 
U                      15                3.89 
U                      16                4.45 
U                      14                3.68 
U                      15                3.96 
U                      15                3.94 
U                      14                3.51 
U                      15                3.86 
U                      15                3.55 
U                      15                3.34 
U                      16                3.71 
U                      14                3.31 
U                      17                3.41 
U                      15                3.48 
U                      15                3.56 
U                      16                3.55 
U                      15                3.44 
U                      15                3.74 
U                      15                3.63 
U                      14                3.64 
U                      15                3.77 
U                      15                3.54 
U                      16                3.46 
U                      16                3.72 
U                      16                3.68 
U                      16                3.71 
U                      15                3.83 
U                      16                4.17 
U                      15                4.12 
U                      16                3.85 
U                      14                3.36 
U                      16                3.70 
U                      15                3.23 
U                      14                3.21 
U                      14                3.15 
U                      15                3.47 
U                      14                3.43 
U                      14                3.58 
U                      16                4.22 
U                      15                3.51 
U                      14                3.42 
U                      15                3.49 
U                      15                3.76 
U                      14                3.25 
U                      15                3.13 
U                      14                3.17 
U                      16                3.65 
U                      16                3.49 
U                      17                3.93 
U                      15                3.47 
U                      15                3.57 
U                      14                3.58 
U                      14                3.34 
U                      15                3.45 
U                      15                3.62 
U                      14                3.18 
U                      15                3.34 
U                      16                3.58 
U                      16                3.69 
U                      16                4.00 
U                      14                3.57 
U                      15                3.64 
U                      19                4.05 
U                      15                3.57 
U                      15                3.60 
U                      15                3.24 
U                      15                2.64 
U                      16                3.03 
U                      16                3.51 
U                      15                3.40 
U                      16                3.72 
U                      15                3.37 
U                      15                3.57 
U                      15                3.99 
U                      15                3.89 
U                      14                3.67 
U                      15                4.31 
U                      15                3.10 
U                      16                4.13 
#Clauses: 120 
U                      14                4.07 
U                      14                3.78 
U                      16                4.49 
U                      16                4.31 
U                      14                3.94 
U                      15                4.04 
U                      15                3.93 
U                      15                3.96 
U                      15                3.75 
U                      15                3.95 
U                      14                3.97 
U                      16                4.57 
U                      16                4.35 
U                      14                3.84 
U                      15                4.24 
U                      14                3.84 
U                      15                3.84 
U                      15                4.33 
U                      14                3.91 
U                      14                4.20 
U                      14                4.16 
U                      14                3.87 
U                      16                4.64 
U                      15                4.03 
U                      16                3.80 
U                      16                3.94 
U                      16                3.81 
U                      14                3.70 
U                      14                3.44 
U                      15                3.78 
U                      16                3.74 
U                      16                3.86 
U                      16                4.03 
U                      14                3.52 
U                      14                3.15 
U                      15                3.53 
U                      15                3.02 
U                      14                3.48 
U                      15                3.70 
U                      16                3.56 
U                      14                3.54 
U                      14                3.31 
U                      16                3.73 
U                      15                3.81 
U                      15                3.91 
U                      15                3.80 
U                      14                2.98 
U                      14                3.51 
U                      14                3.28 
U                      15                3.54 
U                      15                3.62 
U                      15                3.52 
U                      15                3.59 
U                      15                3.53 
U                      15                3.72 
U                      16                4.19 
U                      14                2.90 
U                      15                3.52 
U                      15                3.39 
U                      16                3.58 
U                      14                3.51 
U                      15                3.78 
U                      14                4.03 
U                      15                3.89 
U                      15                3.72 
U                      14                3.45 
U                      15                3.78 
U                      17                4.03 
U                      15                3.61 
U                      16                3.64 
U                      15                3.59 
U                      15                3.57 
U                      16                3.64 
U                      14                3.44 
U                      16                3.91 
U                      16                3.65 
U                      16                3.81 
U                      14                3.42 
U                      14                3.48 
U                      14                3.51 
U                      16                3.73 
U                      14                3.51 
U                      15                3.77 
U                      14                3.41 
U                      18                3.69 
U                      14                3.54 
U                      15                3.67 
U                      14                3.46 
U                      14                3.34 
U                      15                3.71 
U                      16                3.78 
U                      15                3.69 
U                      14                3.30 
U                      15                3.64 
U                      14                3.29 
U                      15                3.61 
U                      15                3.74 
U                      16                3.74 
U                      14                3.44 
U                      14                3.63 
