#Cl-start            #Cl-end           #Cl-step     #Samples/point:      #Var     Random-seed 
4                      120                4              100              4      #$-198275357 
<Sat result>     <Number of States>     <Time>     
#Clauses: 4 
S                      14                0.32 
S                      14                0.27 
S                      20                0.39 
S                      10                0.24 
S                      30                0.45 
S                      14                0.25 
S                      14                0.30 
S                      16                0.33 
S                      16                0.29 
S                      16                0.31 
S                      16                0.34 
S                      16                0.32 
S                      16                0.30 
S                      18                0.35 
S                      12                0.34 
S                      14                0.25 
S                      10                0.25 
S                      16                0.34 
S                      14                0.33 
S                      16                0.32 
S                      14                0.33 
S                      14                0.31 
S                      12                0.23 
S                      14                0.36 
S                      14                0.36 
S                      16                0.33 
S                      14                0.32 
S                      30                0.54 
S                      16                0.31 
S                      16                0.33 
S                      14                0.33 
S                      12                0.29 
S                      20                0.39 
S                      12                0.35 
S                      10                0.24 
S                      12                0.22 
S                      26                0.46 
S                      24                0.46 
S                      14                0.25 
S                      20                0.40 
S                      16                0.39 
S                      22                0.40 
S                      16                0.34 
S                      22                0.40 
S                      16                0.37 
S                      16                0.31 
S                      14                0.28 
S                      16                0.30 
S                      12                0.24 
S                      16                0.33 
S                      24                0.54 
S                      14                0.38 
S                      22                0.31 
S                      16                0.31 
S                      16                0.31 
S                      14                0.35 
S                      16                0.29 
S                      30                0.43 
S                      14                0.30 
S                      14                0.29 
S                      16                0.32 
S                      14                0.30 
S                      16                0.32 
S                      18                0.33 
S                      16                0.30 
S                      14                0.24 
S                      16                0.34 
S                      14                0.37 
S                      24                0.39 
S                      16                0.31 
S                      16                0.39 
S                      12                0.32 
S                      16                0.35 
S                      26                0.45 
S                      16                0.29 
S                      12                0.27 
S                      18                0.34 
S                      14                0.29 
S                      26                0.41 
S                      16                0.28 
S                      18                0.38 
S                      14                0.34 
S                      28                0.43 
S                      12                0.31 
S                      12                0.28 
S                      16                0.38 
S                      14                0.26 
S                      14                0.34 
S                      26                0.45 
S                      14                0.33 
S                      16                0.37 
S                      14                0.31 
S                      14                0.32 
S                      14                0.33 
S                      22                0.38 
S                      14                0.31 
S                      12                0.24 
S                      18                0.40 
S                      14                0.32 
S                      10                0.23 
#Clauses: 8 
S                      22                0.70 
S                      30                0.87 
S                      28                1.04 
S                      28                0.94 
S                      54                1.09 
S                      78                1.47 
S                      22                0.74 
S                      24                0.86 
S                      26                0.91 
S                      32                0.90 
S                      22                0.60 
S                      22                0.78 
S                      32                0.88 
S                      28                0.81 
S                      36                0.91 
S                      36                0.94 
S                      48                1.07 
S                      44                1.17 
S                      68                1.40 
S                      40                0.81 
S                      22                0.85 
S                      22                0.61 
S                      50                0.97 
S                      42                0.99 
S                      24                0.66 
S                      26                0.69 
S                      24                0.87 
S                      28                0.94 
S                      24                0.81 
S                      32                0.83 
S                      28                0.92 
S                      24                0.77 
S                      64                1.33 
S                      18                0.68 
S                      48                1.13 
S                      58                1.35 
S                      22                0.84 
S                      24                0.70 
S                      54                1.06 
S                      20                0.69 
S                      30                0.83 
S                      28                0.96 
S                      36                0.87 
S                      20                0.84 
S                      42                1.07 
S                      26                0.88 
S                      36                0.82 
S                      24                0.85 
S                      20                0.64 
S                      44                1.19 
S                      22                0.80 
S                      32                0.75 
S                      66                1.48 
S                      26                0.88 
S                      36                1.02 
S                      20                0.76 
S                      40                1.06 
S                      22                0.75 
S                      22                0.93 
S                     110                1.89 
S                      18                0.70 
S                      46                1.13 
S                      26                0.94 
S                      26                0.83 
S                      54                1.19 
S                      60                1.32 
S                      20                0.78 
S                      30                0.73 
S                      38                0.84 
S                      56                1.20 
S                      20                0.76 
S                      26                1.02 
S                      22                0.67 
S                      36                1.02 
S                      28                0.70 
S                      54                1.16 
S                      26                0.79 
S                      20                0.71 
S                      24                0.74 
S                      50                1.17 
S                      18                0.71 
S                      54                1.08 
S                      46                0.99 
S                      22                0.79 
S                      42                1.04 
S                      38                0.96 
S                      20                0.81 
S                      30                0.71 
S                      24                0.71 
S                      38                0.92 
S                      28                1.07 
S                      28                0.88 
S                      26                0.82 
S                      30                0.76 
S                      26                0.93 
S                      28                0.89 
S                      34                0.94 
S                      46                1.16 
S                      30                0.85 
S                      40                0.82 
#Clauses: 12 
S                      30                1.25 
S                      32                1.60 
S                      32                1.13 
S                      74                1.96 
S                     144                2.91 
S                      76                1.71 
S                     138                2.81 
S                      38                1.63 
S                      50                1.61 
S                     106                2.44 
S                      62                1.82 
S                      38                1.31 
S                      30                1.38 
S                      50                1.81 
S                      32                1.32 
S                     102                2.17 
S                      34                1.48 
S                      32                1.48 
S                     106                2.19 
S                      30                1.29 
S                      46                1.70 
S                      68                1.81 
S                      82                1.79 
S                      96                2.43 
S                     116                2.53 
S                      36                1.51 
S                      76                1.94 
S                      46                1.59 
S                      34                1.71 
S                      40                1.46 
S                      54                1.68 
S                      36                1.46 
S                      30                1.27 
S                      62                1.65 
S                      84                2.18 
S                      86                2.38 
S                      98                2.22 
S                      40                1.68 
S                      34                1.51 
S                      48                1.54 
S                      26                1.06 
S                      62                1.88 
S                      32                1.34 
S                      32                1.50 
S                      42                1.55 
S                      36                1.51 
S                      34                1.70 
S                      30                1.18 
S                      42                1.51 
S                     180                3.39 
S                     104                2.61 
S                      40                1.58 
S                      78                2.03 
S                      40                1.52 
S                      40                1.62 
S                      70                1.86 
S                      62                1.53 
S                      80                1.97 
S                      58                1.89 
S                      52                1.64 
S                      34                1.25 
S                     120                2.62 
S                      66                1.91 
S                      30                1.48 
S                     102                2.36 
S                      50                1.57 
S                      64                1.99 
S                     148                2.91 
S                      30                1.27 
S                      38                1.46 
S                      74                2.14 
S                      58                1.97 
S                     128                2.91 
S                      36                1.75 
S                      68                2.11 
S                      72                1.82 
S                      50                1.63 
S                      90                2.21 
S                      38                1.59 
S                      94                2.34 
S                      70                1.67 
S                     114                2.52 
S                     120                2.73 
S                      52                1.69 
S                      74                1.97 
S                      26                1.25 
S                      96                2.37 
S                      30                1.33 
S                     128                2.59 
S                      50                1.62 
S                      36                1.48 
S                      52                1.76 
S                      38                1.50 
S                      28                1.23 
S                      26                1.44 
S                      84                2.09 
S                     144                2.82 
S                     128                2.61 
S                      56                2.04 
S                      50                1.49 
#Clauses: 16 
S                      48                2.35 
S                     106                3.07 
S                     160                3.72 
S                      86                2.40 
S                     170                4.20 
S                     122                3.11 
S                      40                1.77 
S                     110                3.14 
S                      60                2.55 
S                      92                2.85 
S                      68                2.70 
S                      38                2.12 
S                      60                2.10 
S                      58                2.35 
S                     112                2.80 
S                      36                2.18 
S                      42                2.15 
S                      36                2.11 
S                      34                1.95 
S                      42                2.19 
S                     148                3.48 
S                     182                4.57 
U                     206                4.88 
S                     120                3.56 
S                     116                3.62 
S                     100                3.21 
S                     122                3.50 
S                      92                2.66 
S                     184                4.25 
S                      56                2.61 
S                     154                3.63 
S                      62                2.22 
S                     176                4.16 
S                     138                3.74 
S                      64                2.51 
S                      38                2.15 
S                      42                2.53 
S                     154                3.42 
S                      48                2.58 
S                      62                2.41 
S                      38                2.06 
S                      66                2.48 
S                      36                2.11 
S                      54                2.29 
S                      68                2.52 
S                      80                2.66 
S                      76                2.64 
S                      52                2.33 
U                     176                3.65 
S                      38                2.34 
S                      58                2.92 
S                      94                2.95 
U                     126                3.25 
S                     176                4.40 
U                     128                3.27 
S                      94                3.06 
S                      68                2.55 
S                     150                3.60 
S                     106                3.42 
S                      36                2.41 
S                      58                2.64 
S                      90                3.04 
S                      68                2.59 
S                      40                2.39 
S                     150                3.39 
S                     168                3.86 
S                      76                3.07 
S                     176                3.95 
S                     140                3.99 
S                     128                3.28 
S                      32                1.74 
S                     134                3.63 
S                      40                2.33 
S                     144                3.73 
S                      32                2.00 
S                     204                4.32 
S                      84                2.82 
S                      40                2.45 
S                      58                1.94 
S                      62                2.31 
S                     160                3.33 
S                      32                1.99 
S                      60                2.43 
U                     166                3.78 
S                     118                3.57 
S                      76                2.65 
S                      84                3.29 
S                     100                2.97 
U                     134                3.75 
S                     128                3.79 
S                     148                3.60 
U                     194                4.53 
S                      54                2.32 
S                      86                2.84 
S                      44                2.24 
S                     110                2.83 
S                      44                2.33 
S                     106                2.79 
S                     146                3.93 
S                     166                4.27 
#Clauses: 20 
U                     204                5.85 
S                      44                3.07 
S                      90                3.34 
S                     118                3.60 
S                      36                2.67 
U                     206                5.41 
U                     144                4.80 
S                     188                5.28 
U                     174                5.98 
U                     160                4.70 
U                     176                4.43 
S                      58                2.98 
S                     102                4.17 
U                     220                5.66 
S                     150                4.40 
S                      74                3.77 
S                     178                4.34 
S                     250                6.21 
S                      94                3.78 
S                      54                2.93 
S                     116                2.96 
S                     140                3.92 
U                     200                5.51 
S                     180                5.43 
U                     150                4.83 
S                      40                2.59 
S                      42                3.06 
S                      56                3.20 
S                      44                3.13 
S                      84                3.26 
S                      42                3.28 
U                     130                4.00 
S                     100                3.83 
S                     206                5.65 
S                     132                4.57 
S                      40                2.74 
U                     230                5.73 
U                     182                5.17 
S                     146                4.44 
U                     210                6.02 
S                     124                3.63 
S                     106                3.70 
S                      54                2.46 
S                     112                4.12 
S                      70                4.01 
U                     250                6.49 
S                      72                3.83 
S                      70                3.47 
S                      40                2.75 
U                     128                4.41 
S                      46                2.87 
S                     116                3.76 
U                     162                4.39 
S                      48                3.31 
S                     130                4.05 
S                      54                3.57 
U                     182                4.97 
U                     170                4.96 
U                     224                5.51 
S                     140                5.41 
S                      60                3.11 
U                     182                5.00 
U                     174                4.74 
S                     122                4.45 
S                     162                5.65 
S                      74                3.89 
S                     212                5.17 
S                      92                4.19 
U                     164                5.08 
U                     138                4.64 
U                     214                5.45 
U                     192                5.74 
S                     104                3.70 
S                     176                4.99 
S                      96                4.18 
U                     198                5.08 
S                     232                6.68 
U                     192                5.68 
S                      92                4.51 
S                      38                2.44 
S                      36                2.92 
S                     158                4.95 
S                      46                3.04 
U                     146                4.44 
S                     118                4.11 
U                     146                4.68 
S                      62                3.05 
U                     218                5.52 
S                     180                4.84 
S                      58                4.10 
S                     154                4.65 
U                     148                5.09 
S                     128                5.06 
S                     148                3.98 
U                     202                6.21 
S                      74                2.96 
S                     190                4.87 
S                      64                3.64 
U                     204                5.36 
U                     222                6.30 
#Clauses: 24 
U                     154                5.26 
S                     152                5.28 
S                      92                4.56 
S                     168                5.88 
S                      74                4.97 
S                      84                4.12 
U                     156                5.55 
S                     100                4.53 
S                      48                4.14 
S                      90                4.74 
U                     192                6.50 
S                     160                5.74 
U                     160                5.85 
U                     186                6.72 
S                      86                4.86 
U                     178                7.18 
U                     136                5.72 
S                     136                5.45 
U                     200                6.84 
U                     194                7.80 
U                     166                6.28 
U                     190                6.54 
S                     154                5.87 
U                     186                6.13 
S                     126                5.38 
S                     136                5.02 
U                     250                7.69 
U                     174                6.34 
U                     174                5.20 
U                     130                6.10 
S                      94                5.30 
S                      48                4.00 
U                     148                5.60 
S                     166                5.39 
S                     162                5.92 
U                     178                6.36 
S                      90                5.20 
S                     196                6.56 
S                      50                4.81 
S                      48                3.93 
U                     200                6.03 
U                     212                6.32 
U                     214                7.31 
U                     220                6.42 
S                     150                5.35 
S                      64                3.94 
S                      82                4.83 
S                     116                5.55 
U                     140                5.83 
S                     182                6.64 
U                     182                6.23 
U                     226                7.14 
S                     158                5.95 
S                      74                4.77 
S                     138                4.67 
S                      60                4.06 
S                     100                4.51 
U                     196                6.72 
U                     170                5.64 
U                     206                5.82 
U                     180                5.48 
U                     170                5.17 
S                      82                4.71 
S                     142                5.55 
S                     108                5.30 
S                     206                5.99 
S                     180                5.83 
U                     224                6.55 
U                     200                6.41 
U                     184                6.09 
S                     104                5.08 
U                     192                5.76 
S                      62                4.92 
U                     156                5.65 
S                     124                5.16 
S                     126                5.13 
U                     132                5.53 
S                     198                6.14 
U                     210                6.86 
S                     224                7.07 
S                     124                4.66 
U                     170                5.56 
S                      50                4.38 
S                     114                4.84 
S                      54                3.94 
U                     226                6.28 
S                      48                4.15 
U                     178                5.59 
S                      52                4.20 
S                      78                3.87 
U                     174                6.67 
S                      42                3.35 
U                     176                6.39 
U                     184                6.53 
S                      96                4.87 
S                     218                6.11 
U                     244                6.55 
S                     120                5.09 
S                     142                5.58 
S                     154                5.64 
#Clauses: 28 
U                     164                7.81 
U                     198                7.52 
U                     178                6.60 
U                     214                7.67 
S                     110                6.46 
U                     246                8.80 
S                      52                5.25 
U                     210                8.21 
U                     150                6.46 
U                     186                7.88 
S                     138                7.73 
S                     174                7.65 
U                     164                6.73 
U                     164                7.68 
S                      54                5.99 
U                     238                7.42 
U                     190                7.64 
U                     218                8.26 
U                     142                7.39 
U                     270                9.78 
U                     198                8.51 
U                     248                9.12 
S                     146                6.93 
U                     210                7.26 
U                     150                7.69 
U                     150                6.22 
U                     270                9.43 
U                     208                8.36 
U                     194                7.63 
U                     162                7.49 
U                     156                6.43 
S                     118                6.26 
U                     174                6.41 
S                     118                5.76 
S                     174                6.75 
U                     212                7.27 
S                     102                6.64 
U                     226                8.23 
U                     230                7.97 
U                     148                7.61 
U                     184                7.78 
U                     176                6.71 
U                     252                7.96 
S                     144                7.06 
S                      82                4.89 
U                     204                7.24 
S                     236                7.55 
U                     218                8.99 
U                     216                8.08 
U                     152                7.33 
S                     176                6.40 
U                     152                6.54 
U                     242                8.72 
U                     146                6.38 
U                     256                7.99 
S                     110                7.05 
U                     162                6.45 
S                     150                6.20 
S                     174                7.13 
U                     166                6.57 
U                     198                7.17 
U                     188                6.77 
U                     244                8.60 
U                     182                7.54 
U                     188                7.72 
S                     220                6.66 
S                      80                6.71 
S                      98                5.15 
U                     194                6.78 
S                     148                7.46 
U                     244                8.29 
U                     162                6.73 
U                     230                8.33 
S                     176                6.64 
U                     144                7.06 
S                      80                5.45 
S                      88                5.61 
U                     216                7.23 
U                     210                7.29 
U                     188                7.65 
S                     182                6.84 
S                     194                7.02 
S                     152                6.53 
U                     216                7.42 
U                     280                9.30 
U                     156                6.79 
U                     180                6.08 
S                      58                5.54 
U                     190                7.74 
U                     196                7.03 
S                     102                5.47 
U                     206                7.01 
U                     214                7.49 
S                      82                6.05 
U                     206                6.99 
U                     166                6.76 
S                     170                6.34 
U                     194                7.28 
S                     250                8.36 
U                     182                6.54 
#Clauses: 32 
U                     214                8.68 
U                     214                9.25 
U                     224                9.04 
S                     222                9.15 
U                     200                8.59 
S                     160                7.73 
U                     212                9.43 
U                     194                7.91 
S                      98                7.31 
U                     144                7.54 
S                      48                5.33 
U                     178                8.67 
U                     198                8.29 
U                     202                9.22 
U                     166                7.42 
U                     182                8.98 
U                     234                8.91 
U                     156                7.95 
U                     216                9.29 
U                     182                8.30 
U                     240                9.55 
U                     180                8.36 
U                     154                7.41 
U                     182                7.81 
U                     170                9.35 
S                     168                7.23 
U                     146                7.85 
U                     140                6.96 
U                     162                7.96 
U                     182                8.49 
U                     240                8.70 
U                     234                9.35 
U                     164                7.87 
U                     146                7.63 
U                     196                8.50 
S                     112                6.70 
S                     122                6.68 
U                     176                8.27 
U                     148                6.44 
U                     146                7.48 
U                     188                8.00 
U                     124                7.46 
U                     176                7.18 
U                     198                9.90 
U                     176                8.07 
U                     152                8.30 
S                     148                7.23 
S                     136                7.14 
U                     250                9.84 
U                     200                9.07 
U                     208                8.77 
S                      98                7.45 
S                     164                6.96 
U                     172                9.34 
S                      62                7.00 
U                     192                8.19 
U                     212                9.33 
S                     164                8.02 
U                     162                7.55 
U                     184                8.37 
U                     218                8.78 
U                     212                9.00 
U                     210                9.33 
U                     204                9.52 
U                     200                9.26 
U                     182                9.34 
U                     184                9.10 
U                     178                8.19 
U                     200                8.32 
U                     142                8.35 
U                     218                9.50 
U                     202                9.61 
S                     116                7.84 
U                     230                8.57 
U                     212                8.80 
U                     136                7.93 
U                     210                9.39 
S                     106                6.62 
U                     180                8.11 
U                     158                6.62 
U                     218                8.78 
U                     214                8.99 
U                     228               10.24 
U                     216                8.99 
U                     178                8.65 
U                     172                8.92 
U                     214                9.15 
S                     142                7.87 
U                     210                8.84 
U                     200                8.85 
S                     176                8.39 
U                     160                8.72 
S                     122                6.60 
U                     158                7.83 
U                     136                7.90 
S                     162                7.54 
U                     244                9.85 
U                     232                8.34 
U                     180                7.99 
U                     212                8.60 
#Clauses: 36 
U                     282               11.48 
U                     136                9.78 
U                     200               10.62 
U                     234               10.51 
U                     128                9.43 
U                     182                9.72 
U                     196                9.92 
U                     174                9.25 
U                     178               10.78 
U                     136                9.34 
U                     170               10.65 
S                      94                7.53 
U                     210                8.09 
U                     188                9.78 
U                     182                8.38 
U                     166                9.49 
U                     174                9.32 
U                     202               11.07 
U                     154                9.18 
U                     202               10.39 
S                     170                9.96 
S                     122                8.08 
U                     178               10.16 
U                     192                9.67 
U                     186                8.97 
U                     192                9.82 
S                     188                9.82 
S                     110                8.32 
U                     188                9.87 
U                     202                9.04 
S                     174                9.30 
U                     232                9.99 
U                     190               10.69 
S                      66                8.33 
U                     186                9.80 
U                     168                9.29 
U                     248               10.95 
U                     216               10.37 
U                     232                9.62 
U                     188               10.06 
U                     212               10.60 
U                     220                9.65 
U                     228               10.48 
U                     124                8.59 
U                     164                9.05 
S                      56                7.56 
S                     110                7.59 
S                     250                9.48 
U                     202               10.72 
U                     234               10.90 
U                     228               10.15 
U                     186                9.53 
U                     244               11.30 
U                     176               10.31 
S                      86                9.02 
U                     238               10.37 
U                     192               11.41 
U                     186               10.93 
U                     222               10.10 
U                     198                8.86 
U                     186                9.71 
U                     256               10.02 
U                     236               11.21 
U                     240               12.24 
U                     170                9.00 
S                     142                7.54 
U                     176                9.89 
U                     192               10.39 
U                     204               10.36 
U                     158               10.10 
U                     142                9.58 
S                     198                9.08 
U                     232               11.56 
U                     174               11.52 
U                     200               10.67 
U                     258               11.54 
U                     222               10.44 
U                     136                9.16 
U                     218               10.47 
U                     126                8.76 
U                     192                7.99 
U                     222               10.19 
U                     242               10.90 
S                     264               10.80 
U                     228               10.01 
U                     140                9.18 
U                     232               11.52 
U                     182                9.56 
U                     186                9.71 
S                      68                7.52 
U                     150                8.84 
U                     190               10.12 
U                     198               10.84 
U                     220               10.84 
U                     202               10.16 
U                     180                9.99 
U                     216               10.54 
U                     180                8.87 
U                     242               10.32 
U                     182               10.65 
#Clauses: 40 
U                     164               12.49 
S                     232               12.45 
S                      64                9.27 
U                     154                9.85 
U                     210               11.52 
U                     242               11.18 
S                     220               11.56 
U                     186               12.77 
U                     190               11.29 
S                     116               10.08 
U                     194               10.99 
S                     144               10.49 
U                     188               10.96 
U                     186               12.13 
U                     250               12.93 
U                     224               12.73 
U                     204               11.93 
U                     182               11.76 
U                     186               11.01 
U                     170               11.17 
U                     214               11.51 
S                      82               11.24 
U                     110               10.28 
U                     162               10.85 
U                     226               12.77 
U                     192               11.75 
U                     150               11.10 
U                     266               11.42 
U                     224               13.72 
U                     160               10.33 
U                     164               10.18 
U                     226               11.08 
U                     156               12.30 
S                     138               10.81 
U                     216               12.50 
U                     206               11.23 
U                     200               11.55 
U                     204               12.50 
U                     182               11.00 
U                     204               10.76 
U                     184               10.52 
U                     208               12.57 
U                     202               12.92 
U                     246               14.31 
U                     164               12.52 
U                     188               11.35 
U                     218               11.86 
U                     194               11.71 
U                     198               13.93 
U                     180               11.99 
U                     236               11.35 
U                     218               11.16 
U                     190               12.35 
U                     214               11.98 
U                     176               12.10 
U                     186               11.15 
U                     210               10.94 
U                     218               11.70 
U                     182               12.90 
U                     250               12.14 
U                     188               11.95 
U                     168               11.22 
U                     202               14.15 
U                     262               13.06 
U                     168               11.29 
U                     236               12.11 
U                     208               11.72 
U                     186               12.07 
S                     170               10.42 
S                      58                7.73 
U                     140                9.05 
S                      78                7.93 
U                     242               11.24 
U                     200               12.50 
U                     222               12.68 
S                     176               10.16 
U                     178               11.82 
U                     240               11.25 
U                     184               12.23 
U                     172               13.18 
U                     254               11.89 
U                     188               10.83 
U                     192               11.40 
U                     208               11.59 
S                     206               12.09 
U                     150               12.22 
U                     186               11.95 
S                     142               10.44 
U                     150               10.14 
U                     200               10.21 
S                     214               11.47 
U                     216               12.50 
U                     186               11.51 
U                     210               11.29 
U                     266               11.56 
U                     202               12.76 
U                     218               11.21 
U                     202               12.75 
U                     190               12.86 
U                     192               12.80 
#Clauses: 44 
U                     214               15.37 
U                     194               14.00 
U                     200               13.77 
U                     240               14.13 
S                      68               12.67 
U                     286               14.79 
U                     182               13.94 
U                     220               13.64 
U                     166               13.16 
U                     216               13.36 
U                     242               14.23 
U                     258               15.53 
U                     180               13.21 
U                     136               13.71 
U                     222               14.45 
U                     148               13.80 
U                     252               13.18 
U                     206               14.28 
U                     238               15.08 
U                     216               14.14 
U                     302               16.32 
U                     236               15.39 
U                     260               15.09 
U                     218               14.60 
U                     254               13.35 
U                     160               12.50 
U                     190               11.46 
S                     140               11.60 
U                     152               12.25 
U                     164               12.93 
U                     250               12.53 
U                     162               12.76 
U                     206               12.23 
U                     204               12.96 
U                     208               13.49 
U                     224               14.09 
U                     220               14.10 
U                     222               13.82 
U                     216               14.14 
U                     142               12.46 
U                     178               11.78 
U                     182               11.58 
U                     246               12.98 
U                     230               12.16 
U                     192               13.64 
U                     282               14.47 
U                     196               13.99 
U                     194               15.10 
U                     192               11.50 
U                     182               11.74 
U                     226               11.82 
U                     224               11.90 
U                     188               13.17 
S                     180               10.98 
U                     130               11.18 
U                     158               10.50 
U                     232               13.81 
U                     196               12.31 
S                     104               11.01 
U                     192               11.78 
U                     194               14.23 
U                     234               14.34 
U                     174               12.45 
U                     168               12.36 
U                     204               12.56 
U                     166               11.17 
U                     226               13.99 
U                     190               12.46 
U                     198               13.76 
U                     178               14.25 
U                     162               11.23 
U                     232               12.32 
U                     248               14.17 
U                     218               13.03 
U                     208               11.81 
U                     204               12.57 
U                     200               14.07 
U                     124               11.38 
U                     226               13.73 
U                     264               13.94 
U                     222               11.90 
U                     212               14.20 
U                     178               13.79 
U                     210               13.63 
U                     194               11.65 
S                     276               12.29 
U                     188               13.56 
U                     254               13.51 
U                     222               13.43 
U                     186               12.35 
U                     246               12.42 
S                     172               11.60 
U                     214               12.59 
U                     154               10.74 
U                     260               12.56 
U                     144               13.25 
U                     184               12.48 
U                     186               13.10 
U                     170               12.62 
U                     164               11.95 
#Clauses: 48 
U                     198               13.38 
U                     226               15.05 
U                     246               14.07 
U                     264               16.95 
S                     210               15.31 
U                     190               14.02 
U                     170               12.51 
U                     314               16.58 
U                     198               15.85 
U                     258               14.79 
U                     242               16.08 
U                     172               14.48 
U                     222               14.09 
U                     218               14.84 
U                     216               16.43 
U                     228               15.79 
U                     238               15.01 
U                     262               14.88 
U                     192               15.58 
U                     214               13.29 
U                     210               14.95 
U                     192               14.84 
U                     208               14.65 
U                     178               16.55 
U                     180               12.87 
U                     130               11.23 
U                     166               12.40 
U                     192               15.49 
U                     204               15.31 
U                     258               16.17 
U                     232               16.05 
U                     182               13.84 
U                     202               12.72 
U                     162               14.30 
U                     156               13.86 
U                     174               13.54 
U                     200               13.44 
U                     178               14.00 
U                     186               14.61 
U                     198               14.10 
U                     226               13.40 
U                     192               16.18 
S                     196               13.66 
U                     214               14.61 
S                     190               14.08 
U                     152               12.97 
U                     250               14.99 
U                     244               13.89 
U                     206               13.99 
U                     200               14.01 
U                     224               15.18 
U                     208               13.38 
U                     260               15.52 
U                     238               15.95 
U                     216               15.24 
U                     166               14.53 
U                     166               12.83 
U                     204               15.05 
U                     188               13.51 
U                     184               15.36 
U                     198               13.78 
U                     260               18.15 
U                     248               14.59 
U                     186               15.07 
U                     184               13.78 
U                     188               14.43 
U                     138               13.24 
U                     226               14.16 
U                     230               15.81 
U                     256               16.59 
U                     284               17.50 
U                     246               15.22 
U                     168               15.46 
U                     224               13.45 
U                     236               15.73 
U                     168               13.69 
U                     158               11.58 
U                     200               13.96 
U                     204               13.52 
U                     188               14.03 
U                     150               14.58 
U                     170               13.99 
U                     198               13.16 
U                     226               14.40 
U                     186               14.91 
U                     258               14.69 
U                     258               15.78 
U                     172               15.52 
U                     232               15.73 
U                     190               15.17 
U                     254               15.84 
U                     194               15.03 
U                     216               14.53 
U                     202               15.14 
U                     168               16.06 
U                     184               14.98 
U                     242               14.48 
U                     192               16.37 
U                     158               14.28 
U                     246               14.24 
#Clauses: 52 
U                     172               15.31 
U                     172               16.74 
U                     212               15.95 
U                     196               18.46 
U                     126               14.90 
U                     172               13.47 
U                     202               15.56 
U                     210               16.93 
U                     164               15.86 
S                     154               14.80 
U                     180               15.54 
U                     206               16.19 
U                     206               17.07 
U                     158               16.95 
U                     232               16.38 
U                     206               15.79 
U                     252               16.61 
U                     204               16.75 
U                     156               14.80 
U                     244               16.80 
U                     198               17.22 
U                     166               15.85 
U                     192               15.44 
U                     220               16.40 
U                     244               16.89 
U                     236               18.13 
U                     226               17.44 
U                     242               17.23 
U                     162               17.37 
U                     154               15.23 
U                     240               16.97 
U                     210               14.99 
U                     226               16.73 
U                     138               15.49 
U                     136               14.57 
U                     176               16.17 
U                     216               14.57 
U                     204               16.80 
U                     224               16.80 
U                     148               15.26 
U                     164               15.27 
U                     186               16.38 
U                     160               15.19 
U                     198               16.74 
U                     184               15.95 
U                     148               15.83 
U                     182               14.84 
U                     194               16.11 
U                     210               15.54 
U                     264               17.90 
U                     170               14.64 
U                     252               16.11 
U                     222               16.72 
U                     224               18.21 
U                     202               16.26 
U                     172               12.43 
U                     222               16.73 
U                     134               14.67 
U                     162               14.70 
U                     182               15.18 
U                     222               17.34 
U                     252               17.40 
U                     268               16.98 
U                     250               16.98 
U                     200               18.69 
U                     172               16.06 
U                     184               13.88 
U                     210               15.33 
U                     228               17.08 
U                     192               15.65 
U                     268               16.68 
S                     130               16.39 
S                     112               13.11 
U                     228               15.10 
U                     220               18.08 
U                     184               15.96 
U                     244               18.55 
U                     214               16.20 
U                     218               15.88 
U                     254               17.74 
U                     220               18.82 
U                     188               17.01 
U                     192               16.81 
U                     168               17.48 
U                     234               18.24 
U                     180               15.56 
U                     208               15.74 
U                     186               16.98 
U                     226               16.88 
U                     202               15.70 
U                     246               18.83 
U                     190               16.98 
U                     230               17.33 
U                     174               17.36 
U                     244               17.19 
U                     174               17.78 
U                     184               15.29 
U                     266               16.16 
U                     212               15.22 
U                     184               17.64 
#Clauses: 56 
U                     224               18.99 
U                     232               22.32 
U                     192               19.66 
U                     184               20.27 
U                     192               17.28 
U                     210               18.12 
U                     194               18.43 
U                     166               18.57 
U                     218               19.01 
U                     210               21.28 
U                     170               18.23 
U                     172               17.58 
U                     192               18.10 
U                     268               19.14 
U                     256               18.93 
U                     264               22.40 
U                     220               20.44 
U                     192               19.89 
U                     226               17.37 
U                     222               21.41 
U                     144               17.77 
U                     206               18.74 
U                     276               20.58 
U                     232               19.29 
U                     242               20.01 
U                     178               17.06 
U                     268               19.47 
U                     200               19.07 
U                     170               16.88 
U                     216               16.94 
U                     272               19.94 
U                     126               18.64 
U                     168               18.03 
U                     258               16.31 
U                     232               21.22 
U                     204               18.72 
U                     206               17.46 
U                     266               16.86 
U                     216               20.14 
U                     194               19.02 
U                     194               20.23 
U                     200               17.39 
U                     220               19.83 
U                     230               20.47 
U                     216               19.63 
U                     222               19.07 
U                     152               17.65 
U                     202               15.44 
U                     228               19.30 
U                     192               17.49 
U                     188               19.24 
U                     138               18.47 
U                     218               16.69 
U                     192               19.08 
U                     158               17.83 
U                     216               18.47 
U                     196               18.83 
U                     140               19.32 
U                     162               18.57 
U                     258               19.31 
U                     176               20.38 
U                     216               19.13 
U                     204               21.06 
U                     186               18.43 
U                     258               21.23 
U                     196               17.73 
U                     224               17.97 
U                     180               20.08 
U                     126               16.95 
U                     192               18.31 
U                     166               18.24 
U                     208               17.96 
U                     226               21.84 
U                     272               21.64 
U                     202               19.55 
U                     216               16.11 
U                     200               20.96 
U                     162               18.80 
U                     180               17.76 
U                     226               19.46 
U                     216               19.27 
U                     162               18.42 
U                     158               15.90 
U                     166               18.51 
U                     274               16.96 
U                     214               19.26 
U                     190               18.47 
U                     172               19.25 
U                     220               17.18 
U                     226               18.65 
U                     200               19.17 
U                     160               19.44 
U                     256               19.77 
U                     218               20.50 
U                     184               20.40 
U                     224               21.39 
U                     234               17.63 
U                     216               19.38 
U                     212               20.08 
U                     158               19.98 
#Clauses: 60 
U                     188               20.40 
U                     230               20.87 
U                     238               22.23 
U                     158               21.85 
U                     166               20.58 
U                     206               20.06 
U                     156               21.86 
U                     236               22.63 
U                     146               23.13 
U                     170               18.37 
U                     218               20.76 
U                     160               20.07 
U                     230               20.54 
U                     178               22.24 
U                     228               18.90 
U                     246               21.83 
U                     236               24.65 
U                     162               21.83 
U                     188               20.09 
U                     248               22.48 
U                     230               25.11 
U                     208               22.95 
U                      96               22.10 
U                     192               18.64 
U                     170               21.49 
U                     244               21.80 
U                     214               23.17 
U                     232               18.05 
U                     226               22.62 
U                     190               22.25 
U                     186               21.27 
U                     204               22.10 
U                     204               20.56 
U                     146               18.97 
U                     174               18.83 
U                     188               22.13 
U                     150               21.45 
U                     154               20.18 
U                     178               19.42 
U                     166               22.35 
U                     198               19.88 
U                     168               19.51 
U                     250               21.29 
U                     146               22.32 
U                     144               19.82 
U                     194               19.52 
U                     228               24.18 
U                     216               25.62 
U                     228               20.57 
U                     170               19.80 
U                     208               19.83 
U                     216               23.39 
U                     228               24.24 
U                     214               23.14 
U                     222               21.75 
U                     160               21.32 
U                     186               18.44 
U                     186               20.44 
U                     168               20.29 
U                     160               19.90 
U                     148               20.63 
U                     198               20.67 
U                     130               20.82 
U                     238               19.09 
U                     204               23.28 
U                     242               21.18 
U                     228               23.07 
U                     176               19.80 
U                     198               20.32 
U                     190               20.27 
U                     178               22.42 
U                     228               22.96 
U                     222               23.27 
U                     158               21.49 
U                     234               23.17 
U                     178               20.45 
U                     276               23.52 
U                     200               23.22 
U                     182               18.39 
U                     268               22.50 
U                     196               20.57 
U                     210               23.71 
U                     212               21.67 
U                     130               18.91 
U                     208               23.13 
U                     190               21.50 
U                     232               25.62 
U                     190               18.19 
U                     228               20.64 
U                     216               23.20 
U                     176               20.40 
U                     192               21.82 
U                     230               21.38 
U                     248               22.97 
U                     238               22.69 
U                     154               22.33 
U                     172               20.51 
U                     272               21.87 
U                     220               24.28 
U                     152               21.28 
#Clauses: 64 
U                     176               24.97 
U                     194               22.52 
U                     202               23.93 
U                     130               23.80 
U                     210               23.33 
U                     262               23.93 
U                     180               24.06 
U                     228               12.62 
U                     158               11.59 
U                     224               10.83 
U                     178               11.57 
U                     208               12.36 
U                     238               11.75 
U                     204               10.84 
U                     208               12.04 
U                     188               10.11 
U                     278               12.76 
U                     218               12.16 
U                     182               12.10 
U                     252               11.72 
U                     280               12.57 
U                     244               12.21 
U                     196               12.12 
U                     178               11.51 
U                     228               11.74 
U                     234               12.63 
U                     186               11.46 
U                     182               10.48 
U                     240               11.96 
U                     162               11.72 
U                     216               11.22 
U                     204               11.42 
U                     184               11.59 
U                     214               11.31 
U                     190               12.59 
U                     206               10.71 
U                     162               10.91 
U                     214               11.39 
U                     186               11.41 
U                     256               11.93 
U                     132               10.29 
U                     224               11.70 
U                     234               12.07 
U                     234               11.98 
U                     216               10.92 
U                     136                9.91 
U                     174               10.18 
U                     158               10.42 
U                     202               12.40 
U                     128               11.27 
U                     236               12.41 
U                     206               11.74 
U                     170               10.34 
U                     150               10.55 
U                     174               10.81 
U                     178               12.01 
U                     168               10.90 
U                     204               11.58 
U                     180               10.48 
U                     218               11.43 
U                     190               11.27 
U                     236               11.98 
U                     192               12.09 
U                     250               12.44 
U                     226               12.80 
U                     152               10.72 
U                     214               12.12 
U                     232               11.95 
U                     134               12.14 
U                     216               10.92 
U                     174               11.59 
U                     242               11.25 
U                     202               12.39 
U                     208               12.01 
U                     218               10.90 
U                     170               11.22 
U                     158               11.39 
U                     238               11.11 
U                     222               13.45 
U                     184               11.56 
U                     218               12.05 
U                     210               11.16 
U                     180               12.52 
U                     200               11.51 
U                     222               11.36 
U                     174               11.39 
U                     242               11.22 
U                     198               11.62 
U                     180               10.84 
U                     254               12.01 
U                     238               11.27 
U                     268               11.82 
U                     218               12.07 
U                     192               12.04 
U                     260               11.82 
U                     194               11.10 
U                     214               11.25 
U                     210               10.90 
U                     196               11.55 
U                     228               12.00 
#Clauses: 68 
U                     148               11.29 
U                     182               12.00 
U                     260               13.06 
U                     224               13.75 
U                     220               12.22 
U                     186               11.55 
U                     206               12.80 
U                     214               11.31 
U                     208               12.26 
U                     204               12.65 
U                     196               11.60 
U                     252               12.53 
U                     138               12.26 
U                     230               12.77 
U                     160               12.47 
U                     214               12.58 
U                     182               11.75 
U                     162               11.65 
U                     154               11.97 
U                     194               12.28 
U                     240               13.14 
U                     184               11.55 
U                     258               13.15 
U                     142               11.51 
U                     172               12.43 
U                     144               11.99 
U                     234               13.70 
U                     250               12.99 
U                     224               11.83 
U                     202               13.24 
U                     146               11.19 
U                     244               12.25 
U                     240               14.09 
U                     160               12.20 
U                     214               12.43 
U                     160               11.26 
U                     160                9.90 
U                     224               12.94 
U                     238               12.35 
U                     198               11.69 
U                     210               11.83 
U                     174               11.96 
U                     150               12.51 
U                     186               12.48 
U                     154               10.88 
U                     176               12.16 
U                     190               12.73 
U                     180               12.59 
U                     234               12.82 
U                     214               12.79 
U                     218               12.76 
U                     170               12.30 
U                     194               11.84 
U                     188               12.49 
U                     222               12.55 
U                     186               12.36 
U                     160               12.49 
U                     224               12.87 
U                     150               11.12 
U                     220               11.86 
U                     178               11.15 
U                     250               11.58 
U                     168               10.81 
U                     234               11.74 
U                     234               12.85 
U                     162               13.25 
U                     276               13.09 
U                     172               11.74 
U                     200               12.87 
U                     248               10.97 
U                     158               12.83 
U                     176               11.34 
U                     166               13.31 
U                     200               12.92 
U                     180               12.68 
U                     178               11.98 
U                     206               12.09 
U                     116               12.43 
U                     208               12.78 
U                     212               12.52 
U                     196               12.01 
U                     220               12.89 
U                     182               11.30 
U                     158               12.70 
U                     230               12.32 
U                     150               11.62 
U                     158               11.20 
U                     198               11.37 
U                     190               12.01 
U                     242               13.06 
U                     246               12.15 
U                     202               13.24 
U                     188               11.44 
U                     250               12.50 
U                     140               11.81 
U                     184               12.07 
U                     176               11.59 
U                     208               13.28 
U                     202               10.88 
U                     194               11.11 
#Clauses: 72 
U                     160               12.70 
U                     190               12.75 
U                     192               13.21 
U                     210               13.59 
U                     196               12.44 
U                     164               12.32 
U                     196               12.40 
U                     166               12.94 
U                     162               12.19 
U                     236               12.11 
U                     206               12.63 
U                     182               13.45 
U                     240               13.92 
U                     164               13.44 
U                     160               13.40 
U                     218               12.95 
U                     238               13.80 
U                     198               12.58 
U                     158               12.42 
U                     160               13.07 
U                     218               13.10 
U                     236               14.74 
U                     206               12.62 
U                     218               12.04 
S                     120               10.87 
U                     208               13.05 
U                     240               12.24 
U                     172               13.20 
U                     230               13.02 
U                     260               14.01 
U                     228               13.27 
U                     220               13.69 
U                     190               12.77 
U                     220               13.97 
U                     184               13.07 
U                     212               13.30 
U                     178               12.86 
U                     226               12.93 
U                     208               12.31 
U                     198               12.96 
U                     220               13.05 
U                     164               13.43 
U                     170               13.67 
U                     208               12.81 
U                     252               14.05 
U                     202               13.62 
U                     210               12.75 
U                     154               13.53 
U                     220               11.88 
U                     208               13.26 
U                     158               12.88 
U                     234               13.60 
U                     202               12.63 
U                     152               12.10 
U                     228               13.46 
U                     220               12.88 
U                     188               12.90 
U                     148               13.51 
U                     258               12.40 
U                     188               12.60 
U                     236               13.25 
U                     242               14.06 
U                     190               14.12 
U                     164               13.02 
U                     158               11.45 
U                     224               12.91 
U                     242               14.17 
U                     220               13.91 
U                     216               13.10 
U                     238               13.36 
U                     222               14.29 
U                     212               13.51 
U                     110               11.37 
U                     216               13.45 
U                     228               12.28 
U                     222               13.89 
U                     148               12.41 
U                     230               12.52 
U                     136               11.58 
U                     154               12.25 
U                     250               13.15 
U                     194               13.34 
U                     198               13.46 
U                     170               14.15 
U                     204               13.34 
U                     172               11.98 
U                     278               14.01 
U                     198               13.67 
U                     308               14.89 
U                     214               12.03 
U                     184               12.16 
U                     132               12.62 
U                     230               14.01 
U                     214               13.06 
U                     226               12.59 
U                     186               13.57 
U                     164               11.94 
U                     272               14.11 
U                     176               12.71 
U                     192               12.57 
#Clauses: 76 
U                     156               13.34 
U                     184               13.67 
U                     172               14.43 
U                     206               14.04 
U                     178               11.95 
U                     206               14.26 
U                     262               14.41 
U                     180               13.97 
U                     198               14.47 
U                     186               14.32 
U                     208               14.41 
U                     192               14.10 
U                     170               13.43 
U                     232               14.19 
U                     174               13.36 
U                     154               13.78 
U                     208               13.98 
U                     264               14.79 
U                     192               13.98 
U                     238               12.82 
U                     254               15.11 
U                     214               13.92 
U                     186               12.73 
U                     274               14.33 
U                     222               14.48 
U                     168               14.61 
U                     164               13.92 
U                     230               13.52 
U                     200               14.17 
U                     202               14.41 
U                     222               15.15 
U                     206               13.98 
U                     200               13.82 
U                     248               15.07 
U                     184               14.37 
U                     220               14.62 
U                     296               15.86 
U                     230               13.66 
U                     168               13.28 
U                     254               15.48 
U                     258               15.42 
U                     216               14.32 
U                     170               13.59 
U                     242               15.12 
U                     160               13.73 
U                     218               13.70 
U                     172               13.77 
U                     150               13.12 
U                     240               12.73 
U                     160               14.08 
U                     192               14.46 
U                     172               13.45 
U                     204               13.38 
U                     196               14.54 
U                     234               13.87 
U                     244               14.67 
U                     130               12.24 
U                     224               14.11 
U                     186               13.25 
U                     202               15.36 
U                     256               15.40 
U                     246               14.73 
U                     210               14.33 
U                     250               14.14 
U                     226               14.76 
U                     198               14.64 
U                     170               14.79 
U                     198               13.83 
U                     200               15.18 
U                     206               13.73 
U                     168               13.79 
U                     176               13.39 
U                     280               13.39 
U                     190               14.49 
U                     240               13.72 
U                     172               14.09 
U                     284               14.96 
U                     242               14.12 
U                     222               13.56 
U                     190               13.60 
U                     274               15.29 
U                     196               13.52 
U                     224               13.52 
U                     212               13.81 
U                     232               14.87 
U                     190               14.91 
U                     230               13.18 
U                     212               14.59 
U                     196               13.79 
U                     254               15.10 
U                     218               14.71 
U                     162               14.29 
U                     220               12.95 
U                     192               13.10 
U                     150               13.12 
U                     188               12.78 
U                     238               13.24 
U                     198               14.22 
U                     194               13.37 
U                     234               13.74 
#Clauses: 80 
U                     166               15.50 
U                     212               14.15 
U                     192               15.23 
U                     202               14.14 
U                     218               16.07 
U                     180               14.08 
U                     266               15.47 
U                     184               14.31 
U                     206               14.46 
U                     278               16.07 
U                     198               14.53 
U                     218               15.04 
U                     188               13.30 
U                     240               15.26 
U                     168               13.60 
U                     150               14.51 
U                     224               15.41 
U                     222               14.23 
U                     192               14.74 
U                     220               14.64 
U                     176               14.01 
U                     190               14.28 
U                     204               14.70 
U                     190               15.20 
U                     166               13.59 
U                     200               15.58 
U                     274               15.02 
U                     170               14.69 
U                     240               15.39 
U                     148               12.87 
U                     220               14.65 
U                     160               15.12 
U                     184               14.46 
U                     174               15.06 
U                     188               14.73 
U                     212               14.06 
U                     212               14.39 
U                     154               14.36 
U                     202               14.02 
U                     186               13.86 
U                     162               13.94 
U                     208               14.72 
U                     186               14.24 
U                     184               15.49 
U                     134               13.89 
U                     232               13.80 
U                     206               15.54 
U                     158               15.61 
U                     218               14.26 
U                     218               15.53 
U                     258               14.10 
U                     210               15.20 
U                     190               15.13 
U                     222               14.68 
U                     204               15.30 
U                     124               13.78 
U                     158               14.58 
U                     184               14.60 
U                     194               15.93 
U                     212               15.42 
U                     276               15.76 
U                     194               14.70 
U                     180               13.75 
U                     254               15.19 
U                     194               15.01 
U                     276               15.62 
U                     186               15.34 
U                     210               15.19 
U                     148               14.80 
U                     244               14.88 
U                     156               14.69 
U                     188               14.96 
U                     166               15.66 
U                     140               14.37 
U                     198               14.26 
U                     258               15.46 
U                     216               15.69 
U                     144               14.99 
U                     180               14.72 
U                     254               15.21 
U                     278               15.19 
U                     162               14.05 
U                     200               14.10 
U                     224               14.61 
U                     212               15.21 
U                     224               14.80 
U                     190               15.31 
U                     188               13.33 
U                     252               14.87 
U                     184               13.71 
U                     194               13.97 
U                     248               16.08 
U                     182               13.34 
U                     204               13.79 
U                     192               14.59 
U                     162               14.87 
U                     192               15.29 
U                     256               16.97 
U                     222               14.78 
U                     200               16.68 
#Clauses: 84 
U                     210               15.71 
U                     182               15.58 
U                     230               15.32 
U                     188               15.83 
U                     244               15.03 
U                     208               15.57 
U                     184               15.91 
U                     152               16.76 
U                     188               16.04 
U                     150               16.62 
U                     210               16.21 
U                     178               15.96 
U                     220               15.25 
U                     210               15.52 
U                     202               14.96 
U                     224               16.89 
U                     198               15.88 
U                     206               15.52 
U                     118               16.78 
U                     202               16.11 
U                     226               16.43 
U                     204               16.36 
U                     240               15.12 
U                     246               15.96 
U                     222               16.87 
U                     162               14.49 
U                     268               17.12 
U                     256               16.52 
U                     158               16.85 
U                     172               16.19 
U                     280               16.58 
U                     170               15.45 
U                     242               15.98 
U                     254               16.43 
U                     254               17.57 
U                     228               16.63 
U                     260               16.77 
U                     164               15.59 
U                     182               15.44 
U                     182               15.79 
U                     232               16.82 
U                     198               13.65 
U                     218               15.08 
U                     234               16.54 
U                     144               14.98 
U                     180               15.46 
U                     242               16.05 
U                     214               15.20 
U                     204               16.47 
U                     236               15.26 
U                     222               15.75 
U                     200               15.76 
U                     208               16.10 
U                     228               16.09 
U                     218               16.59 
U                     214               15.26 
U                     236               16.18 
U                     252               16.31 
U                     266               15.16 
U                     146               15.42 
U                     190               14.24 
U                     204               15.30 
U                     248               16.48 
U                     202               14.56 
U                     240               16.37 
U                     214               16.12 
U                     166               14.96 
U                     160               15.27 
U                     224               16.31 
U                     218               14.84 
U                     132               14.70 
U                     230               16.18 
U                     192               15.68 
U                     258               15.52 
U                     214               16.07 
U                     142               13.34 
U                     224               16.95 
U                     242               16.79 
U                     270               15.85 
U                     174               16.48 
U                     200               16.70 
U                     204               15.14 
U                     232               16.68 
U                     166               14.80 
U                     196               15.44 
U                     236               16.52 
U                     144               15.53 
U                     232               16.76 
U                     186               16.64 
U                     236               15.89 
U                     208               15.50 
U                     226               14.74 
U                     212               16.36 
U                     212               14.68 
U                     210               14.77 
U                     226               16.18 
U                     146               14.84 
U                     294               15.74 
U                     196               14.58 
U                     168               15.49 
#Clauses: 88 
U                     190               16.54 
U                     198               15.81 
U                     186               15.47 
U                     178               16.36 
U                     234               16.67 
U                     160               15.44 
U                     242               17.44 
U                     136               16.68 
U                     158               15.29 
U                     214               15.92 
U                     214               14.77 
U                     158               16.52 
U                     188               16.43 
U                     170               16.24 
U                     154               15.67 
U                     230               16.47 
U                     200               17.14 
U                     242               17.91 
U                     214               17.90 
U                     212               16.14 
U                     164               16.25 
U                     174               14.94 
U                     170               15.99 
U                     230               16.61 
U                     140               17.17 
U                     148               15.81 
U                     202               16.55 
U                     218               15.88 
U                     254               17.62 
U                     248               16.36 
U                     126               15.06 
U                     188               15.90 
U                     250               17.06 
U                     230               15.74 
U                     156               16.79 
U                     196               17.20 
U                     210               15.75 
U                     242               15.68 
U                     110               16.63 
U                     212               15.28 
U                     228               16.78 
U                     170               17.06 
U                     196               16.01 
U                     192               16.93 
U                     240               16.19 
U                     176               14.86 
U                     210               17.68 
U                     176               16.56 
U                     228               16.31 
U                     144               15.42 
U                     190               15.26 
U                     146               16.33 
U                     140               16.23 
U                     180               15.65 
U                     180               16.81 
U                     216               16.73 
U                     252               17.70 
U                     186               16.54 
U                     226               16.98 
U                     212               15.45 
U                     188               16.18 
U                     158               16.56 
U                     150               16.02 
U                     232               17.37 
U                     196               15.71 
U                     196               15.93 
U                     184               16.50 
U                     182               15.87 
U                     238               17.08 
U                     314               17.06 
U                     176               16.81 
U                     250               17.77 
U                     196               17.40 
U                     232               16.67 
U                     196               15.83 
U                     196               16.32 
U                     150               15.20 
U                     204               17.04 
U                     166               16.48 
U                     218               16.52 
U                     208               17.17 
U                     204               15.85 
U                     178               16.11 
U                     214               15.20 
U                     134               16.60 
U                     240               16.36 
U                     208               16.51 
U                     202               16.80 
U                     238               14.76 
U                     206               17.00 
U                     162               17.43 
U                     246               16.78 
U                     164               16.41 
U                     198               15.63 
U                     180               16.82 
U                     164               15.94 
U                     232               16.17 
U                     268               17.65 
U                     280               17.71 
U                     166               16.53 
#Clauses: 92 
U                     176               16.84 
U                     154               17.36 
U                     174               17.88 
U                     256               19.35 
U                     146               18.06 
U                     160               17.15 
U                     198               17.69 
U                     178               17.94 
U                     168               17.47 
U                     354               19.58 
U                     182               18.91 
U                     194               17.47 
U                     150               17.43 
U                     252               17.88 
U                     244               17.26 
U                     272               19.86 
U                     196               18.02 
U                     250               18.19 
U                     220               18.14 
U                     232               17.13 
U                     214               16.74 
U                     198               17.89 
U                     152               18.12 
U                     208               18.63 
U                     226               16.61 
U                     136               17.47 
U                     236               17.32 
U                     190               17.44 
U                     176               17.80 
U                     224               18.10 
U                     168               17.10 
U                     220               17.95 
U                     238               17.43 
U                     194               17.40 
U                     172               17.00 
U                     252               18.57 
U                     180               16.81 
U                     282               18.22 
U                     224               18.54 
U                     196               16.72 
U                     210               18.24 
U                     308               17.24 
U                     166               17.20 
U                     184               17.51 
U                     190               17.08 
U                     178               18.40 
U                     206               15.61 
U                     216               16.90 
U                     184               17.31 
U                     278               18.68 
U                     194               18.37 
U                     266               19.40 
U                     220               18.20 
U                     212               17.11 
U                     220               18.48 
U                     198               17.30 
U                     186               17.54 
U                     190               17.46 
U                     206               18.07 
U                     224               19.02 
U                     202               18.23 
U                     196               17.80 
U                     208               16.98 
U                     210               18.48 
U                     182               16.95 
U                     180               17.26 
U                     208               17.46 
U                     218               17.71 
U                     216               18.94 
U                     172               16.61 
U                     202               16.92 
U                     228               18.41 
U                     198               17.55 
U                     224               16.86 
U                     196               17.21 
U                     178               16.61 
U                     128               16.38 
U                     178               17.62 
U                     264               18.13 
U                     164               17.53 
U                     172               16.79 
U                     200               18.59 
U                     230               19.01 
U                     218               17.82 
U                     218               18.97 
U                     276               18.11 
U                     260               17.24 
U                     162               16.84 
U                     208               18.17 
U                     150               17.66 
U                     212               17.61 
U                     182               17.61 
U                     192               18.89 
U                     208               18.02 
U                     206               16.96 
U                     246               16.80 
U                     202               17.23 
U                     222               17.17 
U                     222               18.74 
U                     144               17.06 
#Clauses: 96 
U                     174               17.55 
U                     172               18.03 
U                     252               18.03 
U                     220               19.09 
U                     262               19.39 
U                     184               20.38 
U                     170               19.92 
U                     182               18.41 
U                     204               17.67 
U                     200               18.39 
U                     234               18.11 
U                     152               18.44 
U                     180               18.19 
U                     192               18.02 
U                     172               18.59 
U                     172               17.77 
U                     244               19.30 
U                     146               18.27 
U                     168               17.42 
U                     242               18.78 
U                     168               18.10 
U                     212               17.89 
U                     204               17.31 
U                     238               19.79 
U                     262               19.90 
U                     160               19.84 
U                     216               18.84 
U                     226               17.91 
U                     228               18.64 
U                     180               20.17 
U                     256               20.10 
U                     194               18.36 
U                     226               19.12 
U                     250               17.90 
U                     204               19.15 
U                     262               18.48 
U                     228               19.61 
U                     214               18.57 
U                     162               18.35 
U                     230               18.01 
U                     192               18.33 
U                     158               18.18 
U                     176               18.45 
U                     222               18.56 
U                     180               19.18 
U                     244               18.41 
U                     218               18.63 
U                     224               20.49 
U                     240               18.98 
U                     218               18.44 
U                     162               18.12 
U                     154               18.17 
U                     202               17.38 
U                     188               18.07 
U                     188               18.19 
U                     222               17.12 
U                     180               19.15 
U                     264               19.26 
U                     132               17.47 
U                     170               17.25 
U                     252               17.97 
U                     216               17.09 
U                     236               17.88 
U                     234               20.10 
U                     234               20.09 
U                     162               16.68 
U                     174               18.86 
U                     142               17.82 
U                     224               17.62 
U                     216               19.27 
U                     232               19.51 
U                     154               19.00 
U                     182               19.08 
U                     148               18.68 
U                     232               19.12 
U                     206               18.48 
U                     202               19.82 
U                     232               19.39 
U                     152               17.65 
U                     212               18.19 
U                     182               18.30 
U                     166               18.80 
U                     208               19.04 
U                     164               18.65 
U                     224               17.94 
U                     194               17.55 
U                     236               19.16 
U                     226               18.19 
U                     170               18.89 
U                     176               17.46 
U                     208               17.93 
U                     230               18.56 
U                     220               18.66 
U                     244               18.43 
U                     196               18.22 
U                     238               18.28 
U                     296               19.75 
U                     156               18.55 
U                     244               20.37 
U                     190               18.67 
#Clauses: 100 
U                     214               20.31 
U                     224               20.24 
U                     188               18.83 
U                     184               19.92 
U                     210               19.99 
U                     270               19.62 
U                     236               18.86 
U                     216               18.89 
U                     226               19.73 
U                     224               21.26 
U                     196               19.44 
U                     234               19.98 
U                     186               20.75 
U                     210               21.05 
U                     200               19.28 
U                     240               19.64 
U                     192               19.65 
U                     168               18.89 
U                     238               19.43 
U                     186               18.45 
U                     282               19.66 
U                     202               21.15 
U                     230               18.88 
U                     188               20.31 
U                     168               19.66 
U                     236               19.32 
U                     220               20.73 
U                     210               19.49 
U                     228               19.58 
U                     176               20.27 
U                     198               18.96 
U                     196               20.02 
U                     206               19.94 
U                     182               20.00 
U                     228               18.77 
U                     200               19.35 
U                     284               21.12 
U                     198               20.11 
U                     174               19.28 
U                     274               19.00 
U                     248               19.10 
U                     236               18.72 
U                     178               19.66 
U                     122               19.14 
U                     234               19.60 
U                     200               19.58 
U                     176               20.11 
U                     264               20.34 
U                     236               19.95 
U                     206               20.32 
U                     244               18.70 
U                     240               19.32 
U                     144               20.67 
U                     202               19.05 
U                     196               20.30 
U                     178               19.58 
U                     204               20.26 
U                     192               18.81 
U                     180               19.80 
U                     224               20.40 
U                     206               19.41 
U                     268               20.54 
U                     210               20.22 
U                     162               19.05 
U                     232               19.23 
U                     214               20.29 
U                     182               18.29 
U                     260               20.12 
U                     204               19.75 
U                     246               19.42 
U                     220               20.14 
U                     218               19.92 
U                     186               20.36 
U                     162               19.33 
U                     232               20.21 
U                     238               18.63 
U                     218               19.01 
U                     172               20.71 
U                     208               20.28 
U                     170               19.49 
U                     170               20.10 
U                     204               19.22 
U                     198               19.52 
U                     262               20.35 
U                     124               18.02 
U                     250               19.62 
U                     210               19.31 
U                     276               19.42 
U                     194               20.30 
U                     148               19.47 
U                     194               19.08 
U                     140               18.21 
U                     206               19.14 
U                     240               18.98 
U                     282               20.06 
U                     166               19.95 
U                     192               20.19 
U                     212               19.32 
U                     228               19.81 
U                     260               19.15 
#Clauses: 104 
U                     258               21.62 
U                     240               20.76 
U                     198               21.01 
U                     188               20.37 
U                     212               20.61 
U                     252               19.43 
U                     154               20.28 
U                     210               19.65 
U                     232               20.34 
U                     158               20.69 
U                     166               18.73 
U                     130               20.27 
U                     190               21.91 
U                     192               19.98 
U                     270               20.54 
U                     178               21.87 
U                     178               19.84 
U                     220               21.14 
U                     186               21.41 
U                     170               19.57 
U                     230               22.02 
U                     212               21.38 
U                     224               20.55 
U                     154               20.85 
U                     196               20.41 
U                     154               21.17 
U                     212               19.77 
U                     240               22.09 
U                     258               22.14 
U                     274               21.67 
U                     188               21.18 
U                     226               20.70 
U                     206               22.00 
U                     180               19.73 
U                     196               20.03 
U                     188               20.24 
U                     164               20.54 
U                     216               21.07 
U                     212               19.76 
U                     180               20.68 
U                     180               20.41 
U                     254               21.74 
U                     198               20.07 
U                     244               21.23 
U                     192               18.47 
U                     224               20.82 
U                     262               20.90 
U                     220               20.93 
U                     296               20.83 
U                     282               21.63 
U                     216               22.29 
U                     148               20.65 
U                     166               19.57 
U                     188               21.01 
U                     198               20.50 
U                     206               21.89 
U                     242               22.96 
U                     212               21.12 
U                     190               21.56 
U                     200               20.28 
U                     238               20.99 
U                     204               21.19 
U                     188               20.06 
U                     192               20.56 
U                     210               21.72 
U                     228               20.75 
U                     196               20.91 
U                     148               19.54 
U                     200               20.51 
U                     230               20.57 
U                     162               20.91 
U                     200               21.24 
U                     176               20.99 
U                     210               21.07 
U                     208               19.48 
U                     206               21.20 
U                     158               19.49 
U                     202               21.86 
U                     150               20.80 
U                     266               20.75 
U                     218               19.33 
U                     200               21.96 
U                     236               21.66 
U                     146               19.80 
U                     202               20.91 
U                     222               21.02 
U                     200               20.53 
U                     246               21.09 
U                     238               21.61 
U                     262               22.21 
U                     164               20.32 
U                     246               20.21 
U                     220               19.38 
U                     204               22.24 
U                     202               19.76 
U                     208               21.66 
U                     186               20.63 
U                     208               20.10 
U                     226               21.06 
U                     178               21.79 
#Clauses: 108 
U                     206               20.49 
U                     244               20.92 
U                     190               22.26 
U                     166               22.45 
U                     206               21.26 
U                     168               22.17 
U                     194               20.89 
U                     190               21.76 
U                     176               22.42 
U                     194               22.14 
U                     198               21.67 
U                     222               21.31 
U                     188               21.24 
U                     212               22.48 
U                     216               20.69 
U                     176               21.68 
U                     184               20.42 
U                     152               19.68 
U                     180               22.74 
U                     154               21.22 
U                     246               23.77 
U                     162               21.53 
U                     204               22.12 
U                     180               22.39 
U                     148               21.26 
U                     222               21.99 
U                     158               22.20 
U                     160               21.29 
U                     176               22.05 
U                     188               21.87 
U                     290               23.03 
U                     166               22.75 
U                     190               22.23 
U                     224               21.57 
U                     212               23.30 
U                     158               21.45 
U                     182               21.24 
U                     206               21.11 
U                     248               21.50 
U                     212               20.83 
U                     196               22.54 
U                     216               21.68 
U                     168               21.84 
U                     178               20.83 
U                     166               21.01 
U                     170               22.10 
U                     202               21.15 
U                     162               21.66 
U                     260               21.42 
U                     246               23.18 
U                     194               20.87 
U                     224               22.75 
U                     164               22.88 
U                     288               21.46 
U                     220               22.74 
U                     186               22.11 
U                     170               23.51 
U                     168               21.45 
U                     216               22.18 
U                     158               21.57 
U                     148               21.80 
U                     128               21.58 
U                     148               21.60 
U                     256               19.81 
U                     280               23.06 
U                     214               21.71 
U                     184               21.63 
U                     218               21.94 
U                     206               20.32 
U                     202               22.18 
U                     196               22.02 
U                     212               22.16 
U                     164               22.36 
U                     176               20.94 
U                     168               22.42 
U                     204               22.62 
U                     230               22.49 
U                     198               21.74 
U                     190               22.97 
U                     194               22.58 
U                     184               21.38 
U                     186               19.81 
U                     202               21.68 
U                     238               22.73 
U                     290               22.98 
U                     202               21.30 
U                     130               22.38 
U                     196               20.46 
U                     228               21.78 
U                     242               23.52 
U                     220               23.64 
U                     178               20.32 
U                     218               23.48 
U                     208               22.42 
U                     216               21.50 
U                     142               22.40 
U                     224               20.61 
U                     166               19.80 
U                     254               22.70 
U                     230               21.83 
#Clauses: 112 
U                     166               23.29 
U                     274               22.94 
U                     158               22.41 
U                     232               21.69 
U                     198               22.88 
U                     224               23.00 
U                     210               22.28 
U                     296               24.24 
U                     218               24.44 
U                     174               22.88 
U                     226               22.90 
U                     200               22.82 
U                     256               23.80 
U                     230               24.10 
U                     190               24.03 
U                     164               23.57 
U                     182               23.79 
U                     228               24.16 
U                     252               24.00 
U                     142               23.43 
U                     216               22.00 
U                     182               23.82 
U                     132               20.64 
U                     188               22.71 
U                     272               23.85 
U                     178               24.16 
U                     248               22.82 
U                     232               23.81 
U                     160               23.43 
U                     220               23.44 
U                     200               22.83 
U                     212               22.09 
U                     172               23.31 
U                     150               21.77 
U                     226               23.01 
U                     192               22.51 
U                     172               23.32 
U                     196               22.16 
U                     158               22.97 
U                     168               22.16 
U                     174               23.74 
U                     186               22.79 
U                     216               23.73 
U                     240               23.78 
U                     170               23.02 
U                     176               22.28 
U                     202               21.86 
U                     180               22.88 
U                     162               22.89 
U                     252               23.79 
U                     270               23.76 
U                     190               23.79 
U                     240               22.70 
U                     176               24.17 
U                     238               23.71 
U                     194               23.06 
U                     214               21.69 
U                     258               24.16 
U                     330               24.32 
U                     182               24.26 
U                     260               22.51 
U                     268               23.70 
U                     216               21.72 
U                     178               22.79 
U                     256               22.12 
U                     202               22.00 
U                     206               24.95 
U                     188               24.46 
U                     218               23.84 
U                     208               23.75 
U                     176               22.64 
U                     236               23.69 
U                     248               22.90 
U                     244               23.06 
U                     232               24.68 
U                     214               22.98 
U                     258               24.57 
U                     196               23.11 
U                     202               22.71 
U                     224               25.22 
U                     220               24.51 
U                     228               23.59 
U                     212               23.92 
U                     146               21.26 
U                     126               23.22 
U                     162               22.89 
U                     254               23.99 
U                     188               22.78 
U                     184               23.98 
U                     214               21.76 
U                     184               22.56 
U                     172               23.49 
U                     226               23.29 
U                     214               22.94 
U                     208               21.54 
U                     176               22.63 
U                     230               24.18 
U                     218               20.77 
U                     178               22.30 
U                     206               23.72 
#Clauses: 116 
U                     146               23.60 
U                     212               24.84 
U                     232               24.72 
U                     196               25.39 
U                     228               24.23 
U                     220               24.30 
U                     174               23.77 
U                     186               24.02 
U                     228               24.75 
U                     218               25.62 
U                     192               24.27 
U                     170               22.39 
U                     178               24.61 
U                     240               24.15 
U                     234               23.85 
U                     210               26.34 
U                     212               24.37 
U                     242               25.13 
U                     152               24.54 
U                     250               25.11 
U                     192               25.53 
U                     174               23.04 
U                     184               22.13 
U                     188               24.81 
U                     202               25.04 
U                     224               22.78 
U                     208               25.12 
U                     218               22.45 
U                     266               25.23 
U                     172               24.91 
U                     122               23.09 
U                     184               24.65 
U                     214               24.23 
U                     222               23.57 
U                     140               24.07 
U                     194               24.58 
U                     168               24.21 
U                     144               22.95 
U                     214               24.90 
U                     168               22.66 
U                     178               23.30 
U                     206               24.08 
U                     154               24.05 
U                     220               24.87 
U                     186               24.41 
U                     160               22.09 
U                     200               24.15 
U                     216               24.24 
U                     244               24.60 
U                     228               26.03 
U                     176               23.54 
U                     152               22.40 
U                     194               22.66 
U                     208               25.57 
U                     198               25.99 
U                     268               24.36 
U                     214               25.19 
U                     266               25.63 
U                     208               25.19 
U                     278               26.99 
U                     162               24.92 
U                     168               23.72 
U                     178               23.17 
U                     140               24.22 
U                     266               25.12 
U                     240               24.96 
U                     148               25.19 
U                     222               24.44 
U                     214               24.91 
U                     254               25.75 
U                     154               24.80 
U                     210               24.06 
U                     196               24.78 
U                     150               23.46 
U                     224               25.00 
U                     172               24.36 
U                     184               24.24 
U                     206               23.76 
U                     124               23.84 
U                     270               24.91 
U                     210               24.93 
U                     146               22.37 
U                     168               24.63 
U                     230               24.08 
U                     138               21.87 
U                     244               24.91 
U                     244               25.78 
U                     174               25.65 
U                     162               24.27 
U                     192               23.73 
U                     240               25.47 
U                     260               26.88 
U                     222               23.94 
U                     154               23.03 
U                     260               24.00 
U                     216               26.02 
U                     248               23.29 
U                     180               24.66 
U                     212               25.84 
U                     200               23.86 
#Clauses: 120 
U                     182               25.70 
U                     154               25.71 
U                     200               26.50 
U                     226               24.40 
U                     226               27.43 
U                     208               26.13 
U                     258               26.68 
U                     198               27.22 
U                     182               25.24 
U                     110               25.36 
U                     190               25.00 
U                     170               25.01 
U                     174               24.63 
U                     184               25.28 
U                     204               26.02 
U                     238               27.88 
U                     210               26.31 
U                     224               26.28 
U                     168               26.43 
U                     224               24.69 
U                     156               26.76 
U                     160               26.40 
U                     176               25.03 
U                     210               25.41 
U                     216               25.93 
U                     224               26.16 
U                     160               24.90 
U                     208               26.69 
U                     256               26.75 
U                     184               25.74 
U                     244               27.28 
U                     224               27.71 
U                     206               23.86 
U                     214               26.01 
U                     234               26.55 
U                     204               27.15 
U                     126               26.78 
U                     142               23.61 
U                     254               27.09 
U                     264               27.21 
U                     206               27.47 
U                     198               24.91 
U                     162               26.32 
U                     226               24.77 
U                     210               26.21 
U                     148               24.92 
U                     220               26.23 
U                     212               24.91 
U                     250               26.35 
U                     182               24.25 
U                     220               26.40 
U                     194               24.76 
U                     178               24.78 
U                     240               25.72 
U                     166               25.52 
U                     202               26.29 
U                     208               26.94 
U                     230               27.06 
U                     254               26.61 
U                     172               25.17 
U                     236               27.24 
U                     188               24.77 
U                     218               25.85 
U                     176               25.33 
U                     172               24.08 
U                     228               26.47 
U                     192               26.25 
U                     224               25.21 
U                     202               26.75 
U                     246               28.34 
U                     226               26.44 
U                     212               24.69 
U                     236               25.93 
U                     222               26.69 
U                     182               25.28 
U                     224               26.46 
U                     152               25.08 
U                     232               24.23 
U                     192               24.42 
U                     172               25.48 
U                     194               25.56 
U                     158               23.86 
U                     220               26.87 
U                     228               26.26 
U                     198               26.52 
U                     212               26.09 
U                     174               26.53 
U                     172               25.02 
U                     202               25.30 
U                     228               26.11 
U                     182               27.33 
U                     210               26.21 
U                     168               23.42 
U                     202               25.90 
U                     146               25.68 
U                     190               25.71 
U                     190               25.84 
U                     198               25.25 
U                     254               25.89 
U                     212               25.48 
