#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.14 
S                      14                0.15 
S                      20                0.19 
S                      12                0.12 
S                      30                0.23 
S                      16                0.16 
S                      14                0.14 
S                      16                0.15 
S                      16                0.15 
S                      16                0.14 
S                      16                0.15 
S                      16                0.15 
S                      16                0.15 
S                      18                0.16 
S                      12                0.14 
S                      14                0.13 
S                      10                0.10 
S                      16                0.15 
S                      18                0.19 
S                      16                0.16 
S                      14                0.15 
S                      14                0.13 
S                      16                0.15 
S                      14                0.15 
S                      14                0.15 
S                      16                0.14 
S                      14                0.15 
S                      30                0.26 
S                      16                0.16 
S                      16                0.16 
S                      14                0.15 
S                      16                0.16 
S                      20                0.19 
S                      12                0.13 
S                      18                0.16 
S                      12                0.09 
S                      26                0.22 
S                      24                0.22 
S                      16                0.15 
S                      20                0.18 
S                      16                0.14 
S                      22                0.18 
S                      16                0.16 
S                      22                0.20 
S                      16                0.16 
S                      16                0.15 
S                      14                0.14 
S                      16                0.14 
S                      16                0.15 
S                      16                0.15 
S                      24                0.26 
S                      14                0.15 
S                      22                0.16 
S                      16                0.14 
S                      16                0.15 
S                      14                0.15 
S                      16                0.16 
S                      30                0.25 
S                      14                0.14 
S                      14                0.13 
S                      16                0.15 
S                      14                0.14 
S                      16                0.14 
S                      18                0.16 
S                      16                0.15 
S                      14                0.14 
S                      16                0.17 
S                      14                0.15 
S                      24                0.22 
S                      16                0.13 
S                      16                0.16 
S                      12                0.15 
S                      16                0.15 
S                      26                0.23 
S                      16                0.15 
S                      14                0.14 
S                      18                0.16 
S                      14                0.14 
S                      26                0.22 
S                      16                0.15 
S                      18                0.19 
S                      14                0.14 
S                      28                0.21 
S                      16                0.20 
S                      10                0.13 
S                      16                0.15 
S                      14                0.15 
S                      14                0.15 
S                      26                0.22 
S                      14                0.14 
S                      16                0.14 
S                      14                0.14 
S                      14                0.13 
S                      14                0.14 
S                      22                0.19 
S                      14                0.14 
S                      14                0.15 
S                      18                0.20 
S                      14                0.15 
S                      18                0.20 
#Clauses: 8 
S                      26                0.28 
S                      34                0.35 
S                      28                0.34 
S                      28                0.32 
S                      80                0.73 
S                      78                0.72 
S                      28                0.31 
S                      24                0.28 
S                      26                0.28 
S                      34                0.40 
S                      24                0.26 
S                      24                0.33 
S                      36                0.39 
S                      30                0.34 
S                      36                0.39 
S                      40                0.41 
S                      48                0.47 
S                      44                0.46 
S                      68                0.66 
S                      44                0.43 
S                      24                0.30 
S                      26                0.27 
S                      50                0.46 
S                      44                0.45 
S                      30                0.33 
S                      30                0.28 
S                      24                0.28 
S                      28                0.32 
S                      26                0.29 
S                      36                0.35 
S                      28                0.33 
S                      26                0.32 
S                      78                0.70 
S                      24                0.30 
S                      56                0.55 
S                      58                0.56 
S                      22                0.28 
S                      24                0.27 
S                      58                0.53 
S                      24                0.28 
S                      30                0.33 
S                      28                0.34 
S                      44                0.39 
S                      22                0.26 
S                      42                0.38 
S                      34                0.39 
S                      40                0.37 
S                      24                0.28 
S                      24                0.28 
S                      44                0.43 
S                      24                0.28 
S                      24                0.27 
S                      66                0.59 
S                      28                0.35 
S                      36                0.43 
S                      24                0.35 
S                      40                0.45 
S                      22                0.27 
S                      40                0.45 
S                     110                0.99 
S                      26                0.32 
S                      46                0.47 
S                      26                0.32 
S                      26                0.29 
S                      54                0.53 
S                      60                0.48 
S                      22                0.30 
S                      38                0.41 
S                      42                0.40 
S                      80                0.76 
S                      28                0.35 
S                      26                0.34 
S                      28                0.32 
S                      36                0.37 
S                      36                0.38 
S                      54                0.52 
S                      30                0.34 
S                      22                0.27 
S                      28                0.28 
S                      50                0.49 
S                      30                0.32 
S                      60                0.53 
S                      48                0.46 
S                      26                0.33 
S                      42                0.40 
S                      38                0.39 
S                      24                0.28 
S                      36                0.35 
S                      26                0.29 
S                      44                0.44 
S                      28                0.35 
S                      32                0.39 
S                      26                0.28 
S                      42                0.41 
S                      28                0.34 
S                      28                0.33 
S                      34                0.35 
S                      46                0.47 
S                      30                0.29 
S                      42                0.39 
#Clauses: 12 
S                      46                0.54 
S                      34                0.45 
S                      42                0.48 
S                     120                1.16 
S                     152                1.41 
S                      84                0.79 
S                     146                1.34 
S                      44                0.52 
S                      60                0.66 
S                     106                1.02 
S                      74                0.78 
S                      50                0.52 
S                      38                0.48 
S                      50                0.55 
S                      32                0.42 
S                     120                1.15 
S                      38                0.47 
S                      40                0.53 
S                     124                1.12 
S                      34                0.44 
S                      48                0.53 
S                      72                0.74 
S                      72                0.72 
S                     114                1.10 
S                     130                1.22 
S                      44                0.52 
S                      88                0.86 
S                      52                0.59 
S                      36                0.48 
S                      40                0.46 
S                      58                0.60 
S                      40                0.46 
S                      36                0.41 
S                      76                0.72 
S                      88                0.84 
S                      86                0.89 
S                     100                0.95 
S                      40                0.46 
S                      38                0.47 
S                      56                0.58 
S                      44                0.56 
S                      74                0.80 
S                      40                0.47 
S                      36                0.46 
S                      48                0.56 
S                      42                0.52 
S                      36                0.46 
S                      86                0.84 
S                      54                0.59 
S                     180                1.62 
S                     116                1.08 
S                      42                0.48 
S                      88                0.93 
S                      44                0.53 
S                      46                0.56 
S                      46                0.53 
S                      80                0.79 
S                      84                0.83 
S                      62                0.70 
S                      64                0.67 
S                      44                0.48 
S                     124                1.15 
S                      76                0.76 
S                      38                0.47 
S                      28                0.41 
S                      60                0.62 
S                      64                0.64 
S                     160                1.43 
S                      34                0.46 
S                      44                0.54 
S                      82                0.84 
S                      62                0.65 
S                     140                1.35 
S                      38                0.50 
S                      68                0.72 
S                      76                0.76 
S                      50                0.53 
S                      98                0.92 
S                      38                0.46 
S                      98                0.97 
S                      76                0.76 
S                     150                1.39 
S                     120                1.11 
S                      60                0.64 
S                      80                0.82 
S                      38                0.46 
S                     124                1.21 
S                      42                0.53 
S                     144                1.37 
S                      56                0.60 
S                      38                0.48 
S                      50                0.54 
S                      44                0.56 
S                      82                0.78 
S                      30                0.44 
S                      88                0.82 
S                     154                1.41 
S                     128                1.18 
S                      56                0.65 
S                      64                0.64 
#Clauses: 16 
S                      60                0.71 
S                     116                1.21 
S                     142                1.37 
S                     120                1.18 
S                     194                1.83 
S                     126                1.23 
S                      58                0.71 
S                     122                1.22 
S                      72                0.81 
S                      88                0.95 
S                      72                0.80 
S                      52                0.67 
S                      78                0.83 
S                      72                0.84 
S                     134                1.31 
S                      46                0.65 
S                     182                1.80 
S                      48                0.66 
S                      44                0.60 
S                      48                0.60 
S                     178                1.76 
S                     182                1.82 
U                     210                2.06 
S                     158                1.62 
S                     130                1.34 
S                     120                1.27 
S                     124                1.29 
S                     122                1.25 
S                     208                1.98 
S                     174                1.71 
S                     184                1.77 
S                      72                0.79 
S                     182                1.78 
S                     102                1.15 
S                      70                0.78 
S                      46                0.59 
S                      46                0.60 
S                     168                1.64 
S                      50                0.62 
S                      74                0.82 
S                      52                0.67 
S                      52                0.68 
S                      40                0.52 
S                      64                0.74 
S                      78                0.85 
S                     104                1.12 
S                      80                0.86 
S                      66                0.84 
U                     160                1.53 
S                      64                0.79 
S                      62                0.73 
S                     102                1.03 
U                     142                1.37 
S                     176                1.60 
U                     142                1.40 
S                     104                1.10 
S                      78                0.87 
S                     178                1.67 
S                     110                1.18 
S                      46                0.65 
S                      74                0.79 
S                     102                1.05 
S                      88                0.96 
S                      52                0.66 
S                     186                1.76 
S                     202                1.90 
S                      76                0.83 
S                     228                2.11 
S                     172                1.80 
S                     162                1.49 
S                      38                0.53 
S                     148                1.47 
S                      46                0.59 
S                     146                1.44 
S                      42                0.60 
S                     214                2.03 
S                     100                1.03 
S                      50                0.65 
S                      80                0.86 
S                      74                0.83 
S                     198                1.92 
S                      74                0.83 
S                      76                0.88 
U                     168                1.60 
S                     126                1.29 
S                      88                0.94 
S                      74                0.85 
S                     120                1.23 
U                     104                1.05 
S                     140                1.47 
S                     152                1.46 
U                     196                1.86 
S                      78                0.91 
S                      92                0.98 
S                     124                1.23 
S                     136                1.38 
S                      58                0.71 
S                     132                1.24 
S                     160                1.54 
S                     180                1.76 
#Clauses: 20 
U                     236                2.27 
S                      82                0.96 
S                     100                1.12 
S                     144                1.50 
S                      60                0.79 
U                     214                2.17 
U                     194                1.99 
S                     194                1.96 
U                     180                1.80 
U                     170                1.69 
U                     246                2.40 
S                     226                2.19 
S                     106                1.17 
U                     226                2.12 
S                     200                1.95 
S                     116                1.26 
S                     258                2.44 
S                     290                2.82 
S                     104                1.15 
S                     106                1.19 
S                     172                1.62 
S                     190                1.81 
U                     214                2.14 
S                     158                1.61 
U                     154                1.59 
S                      62                0.80 
S                      50                0.71 
S                      66                0.83 
S                      54                0.72 
S                      94                1.07 
S                      52                0.73 
U                     174                1.76 
S                     112                1.25 
S                     222                2.25 
S                     140                1.45 
S                      92                1.06 
U                     268                2.52 
U                     204                2.02 
S                     210                2.07 
U                     232                2.35 
S                     178                1.74 
S                      66                0.83 
S                      88                0.97 
S                     130                1.45 
S                      58                0.82 
U                     254                2.48 
S                      58                0.81 
S                      78                0.91 
S                      64                0.83 
U                     176                1.83 
S                      50                0.68 
S                     168                1.67 
U                     208                2.03 
S                     116                1.20 
S                      92                1.04 
S                      62                0.83 
U                     206                2.09 
U                     210                2.09 
U                     246                2.39 
S                     144                1.54 
S                      78                0.97 
U                     230                2.40 
U                     168                1.66 
S                     138                1.36 
S                     178                1.86 
S                      86                1.04 
S                     262                2.53 
S                     102                1.13 
U                     168                1.75 
U                     162                1.69 
U                     254                2.47 
U                     238                2.46 
S                     154                1.55 
S                     200                1.99 
S                     112                1.24 
U                     248                2.41 
S                     256                2.58 
U                     188                1.94 
S                     102                1.17 
S                      92                0.97 
S                      56                0.75 
S                     174                1.79 
S                      62                0.83 
U                     164                1.68 
S                     146                1.46 
U                     156                1.58 
S                      76                0.90 
U                     246                2.47 
S                     208                2.00 
S                      66                0.89 
S                     174                1.64 
U                     156                1.64 
S                     136                1.40 
S                     194                1.91 
U                     232                2.27 
S                      72                0.88 
S                     220                2.08 
S                      80                1.01 
U                     228                2.21 
U                     240                2.43 
#Clauses: 24 
U                     188                1.94 
S                     194                1.96 
S                     124                1.41 
S                     180                1.82 
S                     170                1.68 
S                     110                1.26 
U                     186                1.96 
S                     142                1.59 
S                      70                0.96 
S                      64                0.89 
U                     192                1.95 
S                     190                2.01 
U                     228                2.41 
U                     208                2.16 
S                     114                1.38 
U                     200                2.08 
U                     138                1.50 
S                     188                1.94 
U                     216                2.29 
U                     200                2.12 
U                     236                2.38 
U                     182                1.96 
S                     160                1.65 
U                     232                2.40 
S                     170                1.82 
S                     246                2.50 
U                     242                2.42 
U                     186                1.95 
U                     258                2.56 
U                     130                1.56 
S                     110                1.32 
S                      68                0.93 
U                     160                1.76 
S                      78                0.99 
S                     192                2.05 
U                     230                2.40 
S                      98                1.24 
S                     240                2.53 
S                      64                0.98 
S                      72                0.97 
U                     190                1.88 
U                     304                3.23 
U                     242                2.56 
U                     248                2.58 
S                     190                1.98 
S                      70                0.94 
S                     130                1.40 
S                     146                1.51 
U                     152                1.67 
S                     210                2.36 
U                     218                2.36 
U                     296                3.18 
S                     196                2.07 
S                      64                0.95 
S                     162                1.63 
S                      86                1.11 
S                     132                1.49 
U                     210                2.14 
U                     162                1.84 
U                     246                2.43 
U                     248                2.57 
U                     238                2.36 
S                     112                1.30 
S                     156                1.67 
S                     124                1.48 
S                     244                2.41 
S                     202                2.12 
U                     188                1.94 
U                     260                2.65 
U                     210                2.21 
S                     140                1.51 
U                     246                2.42 
S                      74                1.02 
U                     156                1.64 
S                     182                2.05 
S                     170                1.76 
U                     150                1.72 
S                     156                1.78 
U                     214                2.22 
S                     232                2.30 
S                     146                1.61 
U                     200                2.15 
S                      68                0.96 
S                     152                1.70 
S                      74                0.97 
U                     348                3.51 
S                      68                1.00 
U                     186                1.92 
S                     170                1.75 
S                     106                1.29 
U                     178                1.92 
S                      94                1.16 
U                     176                1.90 
U                     202                2.09 
S                     148                1.58 
S                     266                2.54 
U                     300                3.01 
S                     164                1.80 
S                     182                1.97 
S                     170                1.86 
#Clauses: 28 
U                     164                1.89 
U                     184                2.00 
U                     182                2.01 
U                     282                2.91 
S                     140                1.66 
U                     230                2.39 
S                     128                1.47 
U                     284                2.93 
U                     180                2.00 
U                     180                1.94 
S                     166                1.90 
S                     218                2.22 
U                     206                2.26 
U                     226                2.49 
S                      94                1.26 
U                     286                2.96 
U                     176                1.98 
U                     174                2.04 
U                     162                1.90 
U                     326                3.61 
U                     232                2.65 
U                     254                2.71 
S                     180                1.99 
U                     264                2.77 
U                     152                1.85 
U                     212                2.32 
U                     316                3.42 
U                     262                2.89 
U                     220                2.38 
U                     170                1.96 
U                     164                1.84 
S                     174                2.04 
U                     246                2.60 
S                     176                1.96 
S                     204                2.21 
U                     274                2.72 
S                     132                1.62 
U                     238                2.58 
U                     254                2.72 
U                     170                2.03 
U                     210                2.23 
U                     244                2.59 
U                     316                3.16 
S                     176                1.94 
S                     150                1.69 
U                     226                2.39 
S                     162                1.77 
U                     230                2.49 
U                     300                3.07 
U                     168                1.96 
S                     244                2.46 
U                     198                2.18 
U                     262                2.76 
U                     202                2.17 
U                     336                3.65 
S                     122                1.62 
U                     216                2.42 
S                     248                2.67 
S                     232                2.63 
U                     186                2.05 
U                     236                2.56 
U                     226                2.54 
U                     276                2.98 
U                     276                3.03 
U                     222                2.38 
S                     306                3.13 
S                     124                1.56 
S                     138                1.51 
U                     244                2.66 
S                     160                1.89 
U                     300                3.09 
U                     194                2.14 
U                     256                2.72 
S                     222                2.35 
U                     150                1.69 
S                     102                1.36 
S                     110                1.40 
U                     270                2.87 
U                     340                3.67 
U                     230                2.51 
S                     212                2.23 
S                     212                2.26 
S                     264                2.61 
U                     282                3.14 
U                     308                3.19 
U                     220                2.37 
U                     278                2.79 
S                     136                1.64 
U                     226                2.44 
U                     210                2.22 
S                      90                1.24 
U                     216                2.28 
U                     248                2.67 
S                     108                1.42 
U                     206                2.19 
U                     198                2.11 
S                     228                2.38 
U                     236                2.41 
S                     274                2.81 
U                     212                2.35 
#Clauses: 32 
U                     246                2.80 
U                     266                2.92 
U                     278                3.12 
S                     264                2.99 
U                     232                2.61 
S                     206                2.28 
U                     178                2.07 
U                     204                2.24 
S                     144                1.73 
U                     178                2.07 
S                      78                1.21 
U                     256                2.76 
U                     230                2.56 
U                     226                2.57 
U                     180                2.21 
U                     220                2.56 
U                     236                2.44 
U                     272                3.07 
U                     258                3.04 
U                     194                2.16 
U                     300                3.24 
U                     244                2.81 
U                     166                1.95 
U                     286                3.03 
U                     204                2.48 
S                     210                2.26 
U                     250                2.80 
U                     192                2.14 
U                     234                2.53 
U                     204                2.37 
U                     276                3.06 
U                     324                3.44 
U                     236                2.69 
U                     148                1.81 
U                     238                2.52 
S                     190                2.18 
S                     168                1.91 
U                     186                2.15 
U                     186                2.15 
U                     208                2.50 
U                     208                2.44 
U                     276                3.00 
U                     208                2.31 
U                     204                2.33 
U                     188                2.13 
U                     172                2.07 
S                     230                2.44 
S                     202                2.28 
U                     264                2.82 
U                     224                2.48 
U                     208                2.33 
S                     162                1.94 
S                     242                2.68 
U                     182                2.13 
S                      92                1.29 
U                     206                2.18 
U                     290                3.14 
S                     196                2.21 
U                     224                2.50 
U                     216                2.42 
U                     282                3.03 
U                     242                2.63 
U                     184                2.18 
U                     212                2.40 
U                     252                2.85 
U                     218                2.57 
U                     204                2.27 
U                     236                2.53 
U                     242                2.64 
U                     160                1.91 
U                     234                2.71 
U                     290                3.16 
S                     168                1.96 
U                     272                2.91 
U                     226                2.42 
U                     140                1.73 
U                     258                2.82 
S                     220                2.49 
U                     244                2.74 
U                     212                2.41 
U                     230                2.63 
U                     244                2.83 
U                     316                3.72 
U                     264                2.89 
U                     204                2.35 
U                     224                2.45 
U                     338                3.64 
S                     258                2.87 
U                     250                2.76 
U                     246                2.65 
S                     202                2.26 
U                     172                1.91 
S                     184                2.10 
U                     142                1.71 
U                     184                2.05 
S                     218                2.40 
U                     284                2.99 
U                     272                2.89 
U                     206                2.29 
U                     306                3.23 
#Clauses: 36 
U                     286                3.16 
U                     150                1.85 
U                     230                2.67 
U                     258                2.95 
U                     136                1.69 
U                     284                3.13 
U                     218                2.55 
U                     218                2.51 
U                     242                2.85 
U                     134                1.77 
U                     180                2.10 
S                     152                1.93 
U                     296                3.18 
U                     202                2.60 
U                     208                2.44 
U                     180                2.17 
U                     198                2.37 
U                     224                2.60 
U                     190                2.31 
U                     172                2.10 
S                     220                2.65 
S                     154                1.88 
U                     182                2.27 
U                     270                3.02 
U                     286                3.32 
U                     282                3.15 
S                     298                3.38 
S                     164                2.17 
U                     230                2.95 
U                     342                3.97 
S                     176                2.31 
U                     304                3.44 
U                     222                2.73 
S                      90                1.42 
U                     200                2.42 
U                     168                2.36 
U                     262                3.06 
U                     288                3.32 
U                     274                3.07 
U                     274                3.24 
U                     256                2.90 
U                     208                2.55 
U                     260                3.04 
U                     148                1.97 
U                     234                2.80 
S                     180                2.27 
S                     158                2.19 
S                     126                1.77 
U                     270                3.35 
U                     284                3.58 
U                     246                3.08 
U                     272                3.35 
U                     266                3.24 
U                     216                2.69 
S                     108                1.69 
U                     242                2.83 
U                     184                2.32 
U                     222                2.72 
U                     348                3.98 
U                     180                2.24 
U                     234                2.81 
U                     282                3.20 
U                     268                3.17 
U                     270                3.22 
U                     242                2.83 
S                     214                2.50 
U                     190                2.36 
U                     240                2.88 
U                     236                2.75 
U                     184                2.35 
U                     132                1.73 
S                     236                2.82 
U                     216                2.63 
U                     254                2.99 
U                     326                3.76 
U                     260                2.94 
U                     218                2.56 
U                     156                2.18 
U                     310                3.51 
U                     142                1.92 
U                     262                3.01 
U                     256                2.97 
U                     262                2.96 
S                     400                4.37 
U                     252                2.93 
U                     184                2.22 
U                     226                2.83 
U                     280                3.25 
U                     212                2.54 
S                     102                1.45 
U                     242                2.86 
U                     208                2.54 
U                     222                2.67 
U                     238                2.87 
U                     294                3.50 
U                     194                2.42 
U                     254                3.02 
U                     232                2.80 
U                     294                3.29 
U                     210                2.57 
#Clauses: 40 
U                     174                2.25 
S                     210                2.61 
S                     114                1.71 
U                     158                2.17 
U                     294                3.40 
U                     294                3.44 
S                     104                1.67 
U                     208                2.69 
U                     244                3.04 
S                     188                2.27 
U                     212                2.72 
S                     232                2.84 
U                     258                3.15 
U                     186                2.44 
U                     244                2.92 
U                     316                3.72 
U                     358                4.06 
U                     200                2.60 
U                     198                2.54 
U                     226                2.79 
U                     258                3.12 
S                     116                1.80 
U                     114                1.74 
U                     192                2.53 
U                     246                3.07 
U                     194                2.49 
U                     190                2.52 
U                     312                3.45 
U                     272                3.21 
U                     234                2.82 
U                     216                2.75 
U                     250                3.07 
U                     188                2.36 
S                     186                2.35 
U                     254                3.11 
U                     344                3.99 
U                     228                2.77 
U                     170                2.34 
U                     222                2.66 
U                     258                3.11 
U                     308                3.70 
U                     230                2.80 
U                     220                2.66 
U                     292                3.62 
U                     176                2.45 
U                     222                2.78 
U                     266                3.17 
U                     232                2.92 
U                     236                2.99 
U                     240                2.90 
U                     344                4.00 
U                     342                4.04 
U                     218                2.80 
U                     290                3.43 
U                     230                2.78 
U                     210                2.73 
U                     210                2.65 
U                     278                3.23 
U                     194                2.54 
U                     290                3.44 
U                     228                2.95 
U                     188                2.30 
U                     218                2.73 
U                     422                4.87 
U                     242                3.06 
U                     254                2.97 
U                     184                2.32 
U                     222                2.71 
S                     214                2.65 
S                      92                1.48 
U                     212                2.48 
S                      86                1.42 
U                     264                3.04 
U                     250                3.06 
U                     278                3.29 
S                     224                2.75 
U                     222                2.79 
U                     418                5.04 
U                     192                2.60 
U                     206                2.73 
U                     340                3.91 
U                     248                2.96 
U                     204                2.57 
U                     196                2.53 
S                     238                2.98 
U                     226                2.79 
U                     256                3.09 
S                     224                2.80 
U                     214                2.73 
U                     344                4.18 
S                     348                4.20 
U                     238                3.02 
U                     228                2.71 
U                     202                2.62 
U                     370                4.28 
U                     284                3.49 
U                     258                3.12 
U                     286                3.53 
U                     212                2.73 
U                     232                2.84 
#Clauses: 44 
U                     206                2.73 
U                     214                2.88 
U                     258                3.31 
U                     316                3.91 
S                     112                1.89 
U                     352                4.22 
U                     198                2.70 
U                     224                2.68 
U                     298                3.64 
U                     264                3.43 
U                     268                3.37 
U                     316                4.15 
U                     248                3.31 
U                     174                2.51 
U                     248                3.22 
U                     166                2.40 
U                     324                3.91 
U                     206                2.77 
U                     210                2.72 
U                     208                2.62 
U                     302                3.68 
U                     334                4.11 
U                     230                3.03 
U                     238                3.12 
U                     314                3.65 
U                     254                3.09 
U                     296                3.41 
S                     128                1.95 
U                     158                2.12 
U                     244                3.00 
U                     300                3.55 
U                     234                3.00 
U                     178                2.30 
U                     282                3.20 
U                     210                2.65 
U                     220                2.73 
U                     228                2.79 
U                     310                3.69 
U                     250                3.16 
U                     176                2.42 
U                     280                3.23 
U                     270                3.21 
U                     278                3.32 
U                     392                4.48 
U                     312                3.68 
U                     302                3.54 
U                     236                3.08 
U                     236                3.02 
U                     216                2.67 
U                     232                2.91 
U                     302                3.58 
U                     248                2.92 
U                     280                3.45 
S                     226                2.80 
U                     186                2.50 
U                     206                2.51 
U                     272                3.26 
U                     286                3.39 
S                     146                2.09 
U                     296                3.26 
U                     264                3.21 
U                     240                3.07 
U                     242                3.01 
U                     188                2.43 
U                     318                3.74 
U                     226                2.82 
U                     298                3.60 
U                     286                3.39 
U                     230                2.83 
U                     210                2.75 
U                     228                2.72 
U                     274                3.15 
U                     328                3.80 
U                     314                3.67 
U                     208                2.50 
U                     234                2.77 
U                     208                2.64 
U                     136                1.96 
U                     340                3.99 
U                     302                3.61 
U                     352                4.03 
U                     234                2.90 
U                     182                2.32 
U                     348                4.09 
U                     178                2.41 
S                     198                2.46 
U                     262                3.17 
U                     298                3.58 
U                     334                3.93 
U                     286                3.56 
U                     340                3.94 
S                     292                3.48 
U                     316                3.87 
U                     182                2.40 
U                     282                3.29 
U                     164                2.12 
U                     256                3.05 
U                     244                2.95 
U                     164                2.22 
U                     204                2.62 
#Clauses: 48 
U                     306                3.59 
U                     250                3.22 
U                     270                3.34 
U                     246                3.10 
S                     220                2.89 
U                     206                2.74 
U                     244                3.10 
U                     362                4.49 
U                     212                2.80 
U                     362                4.20 
U                     304                3.69 
U                     206                2.59 
U                     278                3.39 
U                     274                3.40 
U                     262                3.38 
U                     308                3.91 
U                     326                4.00 
U                     284                3.53 
U                     232                3.01 
U                     232                2.81 
U                     284                3.33 
U                     198                2.62 
U                     254                3.15 
U                     226                2.96 
U                     186                2.45 
U                     140                2.06 
U                     178                2.31 
U                     224                2.87 
U                     256                3.04 
U                     298                3.65 
U                     234                3.17 
U                     322                3.90 
U                     260                3.09 
U                     230                2.87 
U                     172                2.45 
U                     196                2.55 
U                     232                2.85 
U                     276                3.41 
U                     242                2.99 
U                     232                2.98 
U                     280                3.28 
U                     262                3.32 
S                     240                2.90 
U                     210                2.76 
S                     260                3.12 
U                     128                2.05 
U                     280                3.27 
U                     406                4.58 
U                     178                2.49 
U                     294                3.50 
U                     238                3.05 
U                     320                3.88 
U                     322                3.89 
U                     304                3.64 
U                     232                2.95 
U                     150                2.22 
U                     270                3.29 
U                     260                3.27 
U                     230                3.00 
U                     244                2.98 
U                     188                2.49 
U                     370                4.46 
U                     264                3.41 
U                     182                2.53 
U                     250                3.06 
U                     252                3.13 
U                     182                2.54 
U                     320                3.62 
U                     274                3.43 
U                     290                3.68 
U                     330                3.97 
U                     304                3.66 
U                     174                2.40 
U                     350                4.27 
U                     394                4.53 
U                     180                2.55 
U                     354                4.17 
U                     238                3.02 
U                     212                2.80 
U                     196                2.60 
U                     206                2.64 
U                     226                3.04 
U                     298                3.51 
U                     268                3.26 
U                     184                2.55 
U                     320                3.75 
U                     292                3.45 
U                     204                2.63 
U                     256                3.16 
U                     232                2.99 
U                     288                3.53 
U                     236                3.12 
U                     310                3.73 
U                     230                3.10 
U                     160                2.30 
U                     234                3.06 
U                     356                4.19 
U                     286                3.58 
U                     238                3.06 
U                     296                3.66 
#Clauses: 52 
U                     168                2.49 
U                     180                2.58 
U                     224                2.94 
U                     206                2.71 
U                     252                3.29 
U                     216                2.81 
U                     268                3.30 
U                     240                2.99 
U                     202                2.78 
S                     230                2.90 
U                     172                2.51 
U                     192                2.48 
U                     220                2.90 
U                     160                2.33 
U                     338                4.04 
U                     252                3.32 
U                     314                3.84 
U                     226                2.98 
U                     230                3.06 
U                     286                3.76 
U                     226                3.03 
U                     250                3.24 
U                     262                3.26 
U                     340                4.21 
U                     320                3.89 
U                     250                3.15 
U                     280                3.51 
U                     242                3.09 
U                     176                2.48 
U                     194                2.59 
U                     330                4.07 
U                     222                2.96 
U                     258                3.21 
U                     230                2.94 
U                     214                2.80 
U                     212                2.85 
U                     290                3.61 
U                     230                3.14 
U                     252                3.33 
U                     152                2.31 
U                     236                3.08 
U                     236                3.00 
U                     320                3.97 
U                     246                3.22 
U                     266                3.35 
U                     176                2.54 
U                     216                2.88 
U                     252                3.24 
U                     280                3.59 
U                     330                4.09 
U                     246                3.14 
U                     326                3.96 
U                     290                3.67 
U                     312                3.93 
U                     302                3.95 
U                     288                3.60 
U                     230                3.00 
U                     170                2.40 
U                     206                2.63 
U                     194                2.66 
U                     270                3.37 
U                     308                3.72 
U                     326                4.01 
U                     312                3.73 
U                     250                3.33 
U                     212                2.91 
U                     174                2.41 
U                     378                4.51 
U                     280                3.49 
U                     272                3.35 
U                     266                3.43 
S                     234                3.09 
S                     178                2.61 
U                     232                3.04 
U                     246                3.23 
U                     286                3.60 
U                     258                3.44 
U                     286                3.60 
U                     276                3.55 
U                     300                3.79 
U                     256                3.24 
U                     228                2.94 
U                     258                3.31 
U                     178                2.55 
U                     260                3.20 
U                     242                3.10 
U                     300                3.75 
U                     270                3.38 
U                     220                3.01 
U                     226                2.91 
U                     260                3.20 
U                     202                2.78 
U                     250                3.27 
U                     168                2.52 
U                     266                3.39 
U                     262                3.41 
U                     214                2.86 
U                     228                3.01 
U                     262                3.22 
U                     212                2.93 
#Clauses: 56 
U                     234                3.21 
U                     302                3.83 
U                     228                3.20 
U                     220                3.00 
U                     226                3.06 
U                     248                3.29 
U                     242                3.18 
U                     206                2.86 
U                     250                3.32 
U                     232                3.15 
U                     318                4.14 
U                     274                3.61 
U                     194                2.81 
U                     450                5.35 
U                     374                4.71 
U                     340                4.31 
U                     324                4.23 
U                     174                2.70 
U                     260                3.25 
U                     264                3.55 
U                     182                2.66 
U                     254                3.35 
U                     308                4.00 
U                     270                3.50 
U                     214                2.99 
U                     272                3.39 
U                     320                4.05 
U                     198                2.81 
U                     176                2.59 
U                     260                3.33 
U                     330                4.20 
U                     122                2.29 
U                     174                2.58 
U                     314                3.92 
U                     284                3.87 
U                     242                3.31 
U                     276                3.53 
U                     346                4.15 
U                     288                3.80 
U                     172                2.58 
U                     210                3.02 
U                     346                4.25 
U                     276                3.75 
U                     326                4.19 
U                     290                3.83 
U                     310                4.00 
U                     230                3.31 
U                     206                2.78 
U                     292                3.70 
U                     284                3.78 
U                     180                2.60 
U                     188                2.72 
U                     214                3.02 
U                     204                2.87 
U                     268                3.47 
U                     252                3.39 
U                     196                2.93 
U                     162                2.54 
U                     174                2.65 
U                     328                4.19 
U                     188                2.98 
U                     218                3.16 
U                     214                2.92 
U                     266                3.40 
U                     310                4.00 
U                     212                3.01 
U                     306                3.79 
U                     186                2.89 
U                     174                2.55 
U                     244                3.37 
U                     232                3.18 
U                     312                3.97 
U                     294                3.87 
U                     324                4.06 
U                     274                3.78 
U                     218                2.97 
U                     308                4.09 
U                     164                2.63 
U                     204                2.93 
U                     364                4.53 
U                     388                5.13 
U                     234                3.25 
U                     254                3.40 
U                     188                2.94 
U                     242                3.22 
U                     306                3.84 
U                     274                3.50 
U                     198                2.98 
U                     288                3.61 
U                     230                3.20 
U                     278                3.59 
U                     226                3.08 
U                     302                3.90 
U                     226                3.30 
U                     292                3.85 
U                     244                3.56 
U                     264                3.53 
U                     240                3.56 
U                     246                3.18 
U                     158                2.47 
#Clauses: 60 
U                     178                2.69 
U                     318                3.98 
U                     360                4.38 
U                     138                2.52 
U                     370                4.52 
U                     270                3.80 
U                     174                2.62 
U                     270                3.62 
U                     208                3.24 
U                     208                3.13 
U                     242                3.37 
U                     238                3.31 
U                     322                4.00 
U                     304                4.04 
U                     288                4.36 
U                     338                4.85 
U                     248                3.61 
U                     278                3.87 
U                     242                3.46 
U                     310                4.12 
U                     290                3.85 
U                     306                4.21 
U                      94                2.13 
U                     204                2.99 
U                     260                3.57 
U                     322                4.24 
U                     224                3.27 
U                     310                4.11 
U                     286                3.89 
U                     234                3.39 
U                     200                2.88 
U                     212                2.96 
U                     192                2.84 
U                     240                3.35 
U                     290                3.91 
U                     296                4.01 
U                     184                3.00 
U                     274                3.62 
U                     158                2.55 
U                     170                2.62 
U                     244                3.29 
U                     264                3.76 
U                     256                3.47 
U                     166                2.75 
U                     260                3.50 
U                     276                3.80 
U                     286                3.90 
U                     266                3.59 
U                     380                4.75 
U                     302                4.18 
U                     210                3.05 
U                     266                3.60 
U                     254                3.58 
U                     272                3.61 
U                     300                3.95 
U                     120                2.25 
U                     230                3.17 
U                     268                3.56 
U                     154                2.57 
U                     322                4.00 
U                     172                2.84 
U                     218                3.12 
U                     200                2.86 
U                     238                3.33 
U                     216                3.13 
U                     282                3.77 
U                     274                3.84 
U                     222                3.01 
U                     312                3.87 
U                     274                3.64 
U                     256                3.44 
U                     246                3.47 
U                     264                3.51 
U                     236                3.22 
U                     256                3.52 
U                     262                3.44 
U                     298                4.07 
U                     286                3.83 
U                     258                3.53 
U                     304                4.11 
U                     232                3.31 
U                     288                3.95 
U                     284                3.95 
U                     118                2.17 
U                     224                3.17 
U                     208                3.18 
U                     348                4.42 
U                     238                3.39 
U                     208                3.06 
U                     274                3.85 
U                     212                3.05 
U                     190                2.71 
U                     256                3.43 
U                     278                3.74 
U                     312                4.02 
U                     198                3.04 
U                     174                2.72 
U                     384                4.78 
U                     292                3.92 
U                     160                2.54 
#Clauses: 64 
U                     206                2.94 
U                     222                3.26 
U                     268                3.57 
U                     216                3.23 
U                     250                3.67 
U                     392                5.20 
U                     220                3.74 
U                     206                3.12 
U                     162                2.70 
U                     258                3.61 
U                     172                2.85 
U                     206                3.13 
U                     264                3.74 
U                     292                4.13 
U                     292                4.31 
U                     214                3.28 
U                     344                4.65 
U                     278                3.92 
U                     218                3.15 
U                     372                4.61 
U                     262                3.88 
U                     218                3.29 
U                     184                2.84 
U                     224                3.08 
U                     348                4.58 
U                     188                2.85 
U                     270                3.82 
U                     242                3.52 
U                     234                3.26 
U                     194                3.05 
U                     304                4.11 
U                     300                4.30 
U                     154                2.62 
U                     242                3.21 
U                     174                2.92 
U                     222                3.21 
U                     214                3.10 
U                     228                3.24 
U                     234                3.32 
U                     404                5.23 
U                     344                4.64 
U                     288                3.77 
U                     296                3.94 
U                     270                3.66 
U                     248                3.49 
U                     182                2.93 
U                     184                2.89 
U                     290                3.94 
U                     346                4.54 
U                     230                3.56 
U                     190                3.02 
U                     246                3.48 
U                     238                3.35 
U                     134                2.37 
U                     126                2.14 
U                     234                3.41 
U                     268                3.65 
U                     194                3.13 
U                     166                2.78 
U                     238                3.32 
U                     278                3.85 
U                     286                4.04 
U                     240                3.47 
U                     306                4.19 
U                     292                4.11 
U                     230                3.50 
U                     312                4.27 
U                     322                4.48 
U                     224                3.44 
U                     282                3.78 
U                     178                2.99 
U                     306                4.03 
U                     246                3.55 
U                     222                3.33 
U                     238                3.44 
U                     254                3.54 
U                     234                3.48 
U                     238                3.59 
U                     260                3.62 
U                     240                3.61 
U                     242                3.63 
U                     358                4.72 
U                     314                4.49 
U                     274                4.00 
U                     230                3.38 
U                     206                3.13 
U                     252                3.53 
U                     222                3.40 
U                     190                2.93 
U                     300                4.03 
U                     300                4.25 
U                     410                5.13 
U                     242                3.87 
U                     160                2.74 
U                     282                3.71 
U                     250                3.65 
U                     170                2.70 
U                     196                2.84 
U                     234                3.24 
U                     252                3.46 
#Clauses: 68 
U                     122                2.46 
U                     160                2.69 
U                     258                3.74 
U                     254                3.88 
U                     238                3.70 
U                     276                3.74 
U                     198                3.24 
U                     176                2.79 
U                     282                3.91 
U                     258                3.82 
U                     212                3.28 
U                     250                3.59 
U                     150                2.70 
U                     290                3.99 
U                     234                3.40 
U                     306                4.12 
U                     204                3.25 
U                     276                3.93 
U                     198                3.18 
U                     200                3.11 
U                     274                3.73 
U                     316                4.11 
U                     290                4.09 
U                     186                3.12 
U                     314                4.20 
U                     178                3.17 
U                     328                4.57 
U                     288                4.19 
U                     272                4.14 
U                     176                2.98 
U                     168                2.86 
U                     326                4.42 
U                     336                4.74 
U                     212                3.38 
U                     242                3.50 
U                     160                2.72 
U                     212                3.01 
U                     228                3.53 
U                     308                4.40 
U                     238                3.70 
U                     294                3.97 
U                     216                3.41 
U                     184                3.06 
U                     312                4.26 
U                     202                3.35 
U                     274                3.97 
U                     248                3.46 
U                     266                3.84 
U                     300                4.15 
U                     286                4.16 
U                     368                5.22 
U                     224                3.59 
U                     282                3.89 
U                     234                3.62 
U                     306                4.45 
U                     246                3.80 
U                     154                2.96 
U                     260                4.07 
U                     240                3.73 
U                     238                3.66 
U                     296                4.02 
U                     316                4.33 
U                     160                2.76 
U                     210                3.21 
U                     178                2.90 
U                     246                3.57 
U                     356                4.86 
U                     230                3.53 
U                     358                5.05 
U                     300                4.11 
U                     172                2.87 
U                     246                3.72 
U                     218                3.67 
U                     210                3.44 
U                     180                3.25 
U                     204                3.13 
U                     286                4.00 
U                     322                4.45 
U                     328                4.46 
U                     194                3.21 
U                     314                4.41 
U                     224                3.93 
U                     264                4.06 
U                     242                3.97 
U                     216                3.43 
U                     154                2.85 
U                     202                3.55 
U                     246                3.65 
U                     230                3.55 
U                     286                4.08 
U                     266                3.86 
U                     192                3.54 
U                     204                3.62 
U                     260                4.35 
U                     170                3.38 
U                     232                4.04 
U                     206                3.48 
U                     254                3.90 
U                     280                4.07 
U                     226                3.48 
#Clauses: 72 
U                     230                3.69 
U                     256                3.97 
U                     186                3.31 
U                     334                4.84 
U                     244                4.02 
U                     236                3.88 
U                     196                3.43 
U                     184                3.16 
U                     192                3.30 
U                     304                4.85 
U                     204                3.76 
U                     236                3.75 
U                     314                4.58 
U                     182                3.49 
U                     250                4.10 
U                     194                3.40 
U                     282                4.54 
U                     420                5.90 
U                     230                3.81 
U                     240                3.75 
U                     284                4.23 
U                     356                5.11 
U                     390                5.68 
U                     270                4.15 
S                     182                3.12 
U                     224                3.56 
U                     294                4.43 
U                     238                3.83 
U                     266                4.23 
U                     350                5.04 
U                     338                5.15 
U                     266                4.42 
U                     190                3.32 
U                     182                3.29 
U                     278                4.09 
U                     312                4.77 
U                     178                3.61 
U                     314                4.86 
U                     216                4.07 
U                     198                3.62 
U                     316                4.65 
U                     186                3.31 
U                     152                2.86 
U                     220                3.46 
U                     254                4.01 
U                     152                2.98 
U                     214                3.37 
U                     204                3.45 
U                     386                5.18 
U                     274                4.39 
U                     158                3.14 
U                     268                4.16 
U                     198                3.40 
U                     242                3.73 
U                     230                3.76 
U                     190                3.22 
U                     170                3.09 
U                     152                2.98 
U                     254                3.87 
U                     236                3.85 
U                     282                4.31 
U                     246                3.78 
U                     240                3.95 
U                     226                3.61 
U                     216                3.56 
U                     286                4.31 
U                     270                4.03 
U                     288                4.36 
U                     220                3.56 
U                     184                3.25 
U                     242                3.76 
U                     264                4.14 
U                     178                3.19 
U                     310                4.36 
U                     244                3.97 
U                     276                4.16 
U                     192                3.34 
U                     248                3.85 
U                     164                2.99 
U                     294                4.15 
U                     264                4.14 
U                     208                3.55 
U                     270                4.01 
U                     206                3.53 
U                     196                3.42 
U                     248                3.81 
U                     288                4.45 
U                     300                4.59 
U                     336                4.99 
U                     288                4.34 
U                     304                4.55 
U                     144                2.94 
U                     244                3.74 
U                     354                5.14 
U                     354                5.08 
U                     258                4.39 
U                     176                3.18 
U                     342                4.89 
U                     182                3.41 
U                     196                3.38 
#Clauses: 76 
U                     196                3.37 
U                     198                3.45 
U                     232                3.81 
U                     236                3.72 
U                     172                3.21 
U                     232                3.75 
U                     256                4.06 
U                     172                3.16 
U                     224                3.71 
U                     246                3.84 
U                     214                3.59 
U                     208                3.68 
U                     272                4.25 
U                     196                3.57 
U                     222                3.78 
U                     196                3.47 
U                     262                4.12 
U                     278                4.48 
U                     268                4.39 
U                     312                4.66 
U                     252                4.22 
U                     346                5.06 
U                     118                2.96 
U                     332                4.97 
U                     184                3.34 
U                     334                4.99 
U                     250                4.14 
U                     282                4.31 
U                     188                3.50 
U                     268                4.03 
U                     186                3.33 
U                     248                3.65 
U                     184                3.13 
U                     346                4.69 
U                     180                3.24 
U                     256                3.88 
U                     268                4.11 
U                     212                3.46 
U                     216                3.42 
U                     316                4.60 
U                     300                4.41 
U                     288                4.16 
U                     176                3.30 
U                     242                3.72 
U                     188                3.12 
U                     314                4.30 
U                     192                3.43 
U                     152                2.84 
U                     272                3.85 
U                     188                3.27 
U                     300                4.34 
U                     224                3.75 
U                     294                4.13 
U                     268                4.02 
U                     336                4.69 
U                     404                5.78 
U                     152                3.18 
U                     210                3.44 
U                     190                3.26 
U                     202                3.29 
U                     328                4.61 
U                     300                4.53 
U                     342                4.74 
U                     272                4.17 
U                     234                3.69 
U                     178                3.17 
U                     206                3.35 
U                     190                3.23 
U                     350                4.76 
U                     248                4.15 
U                     238                3.84 
U                     316                4.61 
U                     330                4.94 
U                     266                4.07 
U                     240                3.62 
U                     230                3.74 
U                     328                4.58 
U                     478                6.82 
U                     160                3.33 
U                     178                3.13 
U                     290                4.48 
U                     266                4.19 
U                     252                3.72 
U                     264                3.90 
U                     238                3.82 
U                     262                4.02 
U                     242                3.92 
U                     210                3.66 
U                     302                4.65 
U                     284                4.49 
U                     314                4.72 
U                     124                2.88 
U                     284                4.26 
U                     254                4.10 
U                     150                2.94 
U                     156                3.07 
U                     224                3.64 
U                     290                4.25 
U                     252                3.86 
U                     278                4.05 
#Clauses: 80 
U                     164                3.14 
U                     188                3.21 
U                     214                3.58 
U                     280                4.30 
U                     256                4.03 
U                     240                3.77 
U                     288                4.47 
U                     236                3.82 
U                     248                4.04 
U                     314                4.60 
U                     224                3.80 
U                     288                4.45 
U                     200                3.54 
U                     306                4.28 
U                     204                3.66 
U                     326                4.91 
U                     300                4.67 
U                     358                4.93 
U                     218                3.90 
U                     222                3.66 
U                     172                3.13 
U                     218                3.57 
U                     302                4.49 
U                     226                3.81 
U                     256                3.97 
U                     250                4.04 
U                     378                5.24 
U                     162                3.29 
U                     242                3.75 
U                     232                3.80 
U                     246                3.94 
U                     236                3.81 
U                     156                3.08 
U                     240                3.85 
U                     288                4.30 
U                     234                3.97 
U                     344                5.13 
U                     284                4.51 
U                     240                3.95 
U                     304                4.72 
U                     234                3.79 
U                     278                4.36 
U                     236                3.86 
U                     210                3.58 
U                     258                4.07 
U                     340                4.95 
U                     212                3.93 
U                     282                4.29 
U                     250                4.00 
U                     238                3.98 
U                     354                5.03 
U                     160                3.29 
U                     260                4.01 
U                     310                4.70 
U                     284                4.43 
U                     262                4.24 
U                     228                3.79 
U                     190                3.33 
U                     258                4.01 
U                     316                4.60 
U                     296                4.51 
U                     226                3.83 
U                     224                3.79 
U                     228                3.63 
U                     302                4.45 
U                     292                4.58 
U                     220                3.81 
U                     214                3.69 
U                     164                3.08 
U                     308                4.54 
U                     240                4.02 
U                     188                3.34 
U                     300                4.35 
U                     262                4.12 
U                     276                4.21 
U                     378                5.50 
U                     246                4.10 
U                     222                3.74 
U                     198                3.39 
U                     314                4.47 
U                     360                5.38 
U                     176                3.36 
U                     288                4.19 
U                     332                4.86 
U                     232                4.07 
U                     220                3.58 
U                     256                3.96 
U                     148                2.93 
U                     270                4.15 
U                     284                4.23 
U                     218                3.80 
U                     310                4.56 
U                     264                4.19 
U                     350                4.97 
U                     268                4.37 
U                     230                3.73 
U                     220                3.66 
U                     316                4.82 
U                     262                4.04 
U                     232                3.78 
#Clauses: 84 
U                     292                4.44 
U                     304                4.60 
U                     242                4.03 
U                     286                4.37 
U                     186                3.27 
U                     252                3.97 
U                     252                4.04 
U                     214                3.76 
U                     220                3.64 
U                     202                3.51 
U                     304                4.43 
U                     326                4.89 
U                     344                5.07 
U                     206                3.70 
U                     304                4.48 
U                     250                4.10 
U                     280                4.39 
U                     318                4.76 
U                     218                3.85 
U                     216                3.70 
U                     274                4.17 
U                     272                4.38 
U                     306                4.72 
U                     308                4.85 
U                     336                5.05 
U                     244                3.88 
U                     288                4.36 
U                     222                3.75 
U                     274                4.42 
U                     216                3.67 
U                     258                4.14 
U                     170                3.41 
U                     308                4.56 
U                     248                4.12 
U                     256                4.04 
U                     248                4.17 
U                     350                5.50 
U                     220                3.94 
U                     164                3.04 
U                     234                3.74 
U                     238                3.86 
U                     252                3.95 
U                     242                4.10 
U                     298                4.44 
U                     250                4.20 
U                     190                3.51 
U                     238                3.92 
U                     302                4.54 
U                     178                3.37 
U                     304                4.48 
U                     260                4.16 
U                     234                3.78 
U                     222                3.82 
U                     268                4.27 
U                     330                5.17 
U                     280                4.48 
U                     258                4.03 
U                     326                4.91 
U                     348                5.06 
U                     190                3.60 
U                     228                3.79 
U                     224                3.70 
U                     362                5.13 
U                     334                5.12 
U                     228                3.89 
U                     296                4.33 
U                     190                3.56 
U                     228                3.79 
U                     416                5.62 
U                     220                3.96 
U                     152                3.11 
U                     236                3.58 
U                     238                3.95 
U                     262                4.12 
U                     172                3.38 
U                     310                4.45 
U                     230                3.96 
U                     180                3.33 
U                     204                3.42 
U                     248                4.03 
U                     258                4.18 
U                     216                3.86 
U                     284                4.42 
U                     258                4.14 
U                     248                4.04 
U                     326                4.90 
U                     290                4.50 
U                     334                4.88 
U                     200                3.69 
U                     284                4.40 
U                     218                3.74 
U                     208                3.64 
U                     230                3.68 
U                     230                3.77 
U                     298                4.36 
U                     274                4.14 
U                     198                3.63 
U                     348                4.75 
U                     194                3.55 
U                     188                3.29 
#Clauses: 88 
U                     248                3.85 
U                     300                4.57 
U                     240                4.06 
U                     178                3.39 
U                     306                4.77 
U                     250                4.17 
U                     278                4.45 
U                     220                3.92 
U                     204                3.65 
U                     274                4.44 
U                     304                4.49 
U                     184                3.53 
U                     180                3.29 
U                     234                3.90 
U                     262                4.17 
U                     322                4.78 
U                     178                3.60 
U                     212                3.72 
U                     266                4.20 
U                     208                3.57 
U                     246                4.05 
U                     256                4.30 
U                     258                4.21 
U                     250                4.15 
U                     144                3.12 
U                     244                3.94 
U                     228                4.14 
U                     238                4.14 
U                     286                4.51 
U                     292                4.50 
U                     184                3.50 
U                     226                3.87 
U                     224                3.88 
U                     230                3.89 
U                     228                4.01 
U                     226                3.98 
U                     276                4.15 
U                     342                5.05 
U                     216                4.03 
U                     280                4.44 
U                     250                4.15 
U                     266                4.33 
U                     228                3.79 
U                     254                4.21 
U                     244                4.09 
U                     246                3.95 
U                     248                4.13 
U                     194                3.58 
U                     230                3.88 
U                     204                3.65 
U                     284                4.56 
U                     168                3.54 
U                     210                3.89 
U                     256                4.28 
U                     186                3.53 
U                     240                3.86 
U                     304                4.75 
U                     304                4.69 
U                     232                4.13 
U                     204                3.64 
U                     196                3.53 
U                     186                3.54 
U                     204                3.65 
U                     202                3.55 
U                     284                4.67 
U                     320                5.03 
U                     184                3.57 
U                     174                3.42 
U                     282                4.44 
U                     322                4.95 
U                     370                5.54 
U                     216                4.08 
U                     286                4.56 
U                     262                4.27 
U                     238                3.87 
U                     196                3.56 
U                     254                4.03 
U                     168                3.31 
U                     198                3.71 
U                     214                3.71 
U                     298                4.47 
U                     284                4.59 
U                     196                3.62 
U                     262                4.25 
U                     232                4.15 
U                     226                4.01 
U                     250                4.08 
U                     226                3.96 
U                     392                5.63 
U                     262                4.52 
U                     286                4.59 
U                     306                4.58 
U                     214                3.88 
U                     226                3.98 
U                     206                3.70 
U                     212                3.65 
U                     216                3.68 
U                     280                4.40 
U                     270                4.44 
U                     186                3.49 
#Clauses: 92 
U                     302                4.80 
U                     292                4.83 
U                     266                4.58 
U                     280                4.61 
U                     236                4.09 
U                     140                3.09 
U                     228                3.72 
U                     238                4.17 
U                     240                4.14 
U                     396                5.95 
U                     182                2.18 
U                     172                1.97 
U                     204                2.15 
U                     354                3.11 
U                     146                1.86 
U                     374                3.22 
U                     204                2.21 
U                     254                2.53 
U                     274                2.62 
U                     276                2.69 
U                     306                2.81 
U                     280                2.77 
U                     176                1.95 
U                     162                1.95 
U                     194                2.16 
U                     204                2.21 
U                     254                2.48 
U                     174                2.03 
U                     226                2.33 
U                     216                2.39 
U                     306                2.78 
U                     274                2.75 
U                     242                2.48 
U                     262                2.51 
U                     222                2.35 
U                     338                2.97 
U                     210                2.22 
U                     206                2.13 
U                     276                2.71 
U                     250                2.46 
U                     264                2.55 
U                     408                3.49 
U                     206                2.23 
U                     266                2.58 
U                     164                2.00 
U                     262                2.53 
U                     280                2.64 
U                     234                2.36 
U                     252                2.50 
U                     276                2.62 
U                     176                2.04 
U                     202                2.22 
U                     162                1.99 
U                     236                2.34 
U                     292                2.68 
U                     256                2.57 
U                     266                2.54 
U                     256                2.57 
U                     194                2.09 
U                     238                2.38 
U                     250                2.50 
U                     292                2.69 
U                     212                2.24 
U                     340                3.03 
U                     230                2.40 
U                     258                2.56 
U                     274                2.63 
U                     332                2.94 
U                     214                2.31 
U                     218                2.38 
U                     258                2.46 
U                     274                2.70 
U                     250                2.47 
U                     276                2.55 
U                     228                2.37 
U                     288                2.60 
U                     196                2.15 
U                     232                2.35 
U                     222                2.31 
U                     232                2.38 
U                     246                2.42 
U                     202                2.23 
U                     208                2.27 
U                     300                2.74 
U                     222                2.36 
U                     300                2.71 
U                     332                2.98 
U                     180                2.10 
U                     238                2.45 
U                     218                2.21 
U                     320                2.97 
U                     210                2.30 
U                     250                2.40 
U                     236                2.39 
U                     248                2.35 
U                     290                2.67 
U                     322                2.79 
U                     224                2.32 
U                     246                2.41 
U                     154                2.00 
#Clauses: 96 
U                     282                2.69 
U                     240                2.46 
U                     312                2.88 
U                     228                2.45 
U                     314                3.01 
U                     222                2.40 
U                     218                2.31 
U                     208                2.23 
U                     220                2.35 
U                     258                2.60 
U                     224                2.33 
U                     146                1.84 
U                     160                2.00 
U                     162                1.96 
U                     274                2.64 
U                     248                2.44 
U                     280                2.64 
U                     176                2.11 
U                     228                2.41 
U                     316                2.93 
U                     246                2.49 
U                     270                2.60 
U                     346                3.07 
U                     292                2.83 
U                     294                2.77 
U                     210                2.29 
U                     232                2.44 
U                     236                2.42 
U                     284                2.74 
U                     226                2.42 
U                     272                2.66 
U                     188                2.13 
U                     226                2.40 
U                     348                2.99 
U                     248                2.57 
U                     198                2.15 
U                     224                2.37 
U                     278                2.60 
U                     180                2.13 
U                     258                2.50 
U                     198                2.20 
U                     242                2.44 
U                     226                2.39 
U                     344                3.13 
U                     320                2.94 
U                     234                2.38 
U                     210                2.23 
U                     224                2.41 
U                     250                2.52 
U                     274                2.66 
U                     262                2.53 
U                     178                2.10 
U                     242                2.34 
U                     142                1.86 
U                     186                2.11 
U                     234                2.43 
U                     278                2.67 
U                     302                2.75 
U                     200                2.22 
U                     300                2.76 
U                     224                2.39 
U                     244                2.43 
U                     320                2.94 
U                     302                2.92 
U                     228                2.42 
U                     232                2.45 
U                     224                2.39 
U                     226                2.44 
U                     290                2.65 
U                     268                2.67 
U                     240                2.46 
U                     224                2.42 
U                     208                2.28 
U                     148                1.93 
U                     338                3.04 
U                     198                2.20 
U                     226                2.44 
U                     260                2.57 
U                     170                2.05 
U                     294                2.80 
U                     264                2.69 
U                     208                2.35 
U                     276                2.76 
U                     184                2.18 
U                     254                2.59 
U                     230                2.36 
U                     164                1.99 
U                     208                2.20 
U                     268                2.64 
U                     224                2.42 
U                     308                2.88 
U                     336                3.02 
U                     254                2.61 
U                     404                3.44 
U                     250                2.60 
U                     338                3.01 
U                     276                2.66 
U                     204                2.30 
U                     218                2.36 
U                     200                2.20 
#Clauses: 100 
U                     210                2.32 
U                     260                2.66 
U                     172                2.12 
U                     286                2.68 
U                     198                2.25 
U                     342                3.13 
U                     184                2.18 
U                     338                3.18 
U                     254                2.66 
U                     216                2.41 
U                     172                2.08 
U                     232                2.41 
U                     266                2.64 
U                     260                2.62 
U                     208                2.27 
U                     228                2.48 
U                     198                2.33 
U                     208                2.32 
U                     338                3.09 
U                     140                1.87 
U                     312                2.96 
U                     198                2.24 
U                     290                2.77 
U                     284                2.84 
U                     196                2.21 
U                     268                2.58 
U                     330                2.99 
U                     250                2.61 
U                     258                2.54 
U                     222                2.43 
U                     290                2.76 
U                     290                2.82 
U                     288                2.78 
U                     290                2.73 
U                     268                2.71 
U                     228                2.42 
U                     254                2.51 
U                     170                2.09 
U                     262                2.51 
U                     236                2.46 
U                     330                3.01 
U                     180                2.12 
U                     302                2.85 
U                     206                2.29 
U                     340                3.12 
U                     238                2.51 
U                     198                2.19 
U                     302                2.90 
U                     248                2.58 
U                     266                2.67 
U                     226                2.38 
U                     174                2.08 
U                     218                2.35 
U                     248                2.51 
U                     202                2.27 
U                     346                3.20 
U                     296                2.83 
U                     220                2.43 
U                     204                2.34 
U                     308                2.91 
U                     190                2.19 
U                     350                3.14 
U                     300                2.88 
U                     304                2.96 
U                     254                2.55 
U                     278                2.66 
U                     128                1.79 
U                     268                2.65 
U                     240                2.54 
U                     302                2.89 
U                     186                2.14 
U                     222                2.41 
U                     198                2.25 
U                     182                2.14 
U                     210                2.33 
U                     230                2.43 
U                     192                2.26 
U                     298                2.81 
U                     374                3.29 
U                     226                2.38 
U                     148                1.98 
U                     274                2.59 
U                     300                2.84 
U                     318                3.07 
U                     156                1.99 
U                     188                2.18 
U                     268                2.65 
U                     390                3.37 
U                     228                2.46 
U                     276                2.77 
U                     268                2.52 
U                     150                1.99 
U                     318                3.03 
U                     254                2.56 
U                     260                2.63 
U                     232                2.45 
U                     322                3.00 
U                     242                2.53 
U                     284                2.78 
U                     282                2.66 
#Clauses: 104 
U                     236                2.52 
U                     326                3.06 
U                     264                2.72 
U                     258                2.68 
U                     282                2.77 
U                     358                3.17 
U                     228                2.43 
U                     274                2.77 
U                     212                2.27 
U                     224                2.53 
U                     164                2.06 
U                     258                2.68 
U                     266                2.77 
U                     196                2.33 
U                     294                2.73 
U                     240                2.54 
U                     288                2.74 
U                     204                2.32 
U                     260                2.63 
U                     186                2.22 
U                     306                2.88 
U                     222                2.45 
U                     232                2.47 
U                     126                1.96 
U                     182                2.16 
U                     286                2.87 
U                     312                2.97 
U                     278                2.78 
U                     266                2.72 
U                     390                3.56 
U                     326                3.10 
U                     260                2.70 
U                     332                3.16 
U                     208                2.34 
U                     238                2.38 
U                     218                2.48 
U                     196                2.26 
U                     296                2.90 
U                     286                2.73 
U                     288                2.93 
U                     256                2.60 
U                     306                2.95 
U                     338                3.15 
U                     304                3.10 
U                     212                2.38 
U                     350                3.17 
U                     304                2.98 
U                     306                2.98 
U                     256                2.67 
U                     366                3.27 
U                     358                3.31 
U                     224                2.49 
U                     278                2.84 
U                     194                2.30 
U                     234                2.55 
U                     300                3.01 
U                     234                2.64 
U                     316                2.97 
U                     196                2.52 
U                     194                2.49 
U                     270                2.77 
U                     208                2.39 
U                     392                3.46 
U                     282                2.89 
U                     260                2.74 
U                     264                2.71 
U                     282                2.81 
U                     190                2.34 
U                     244                2.60 
U                     236                2.68 
U                     242                2.57 
U                     202                2.32 
U                     206                2.39 
U                     246                2.64 
U                     300                2.93 
U                     292                2.80 
U                     196                2.36 
U                     298                2.85 
U                     142                2.04 
U                     384                3.39 
U                     166                2.14 
U                     224                2.41 
U                     292                2.91 
U                     244                2.55 
U                     322                2.95 
U                     278                2.76 
U                     256                2.54 
U                     236                2.52 
U                     318                3.01 
U                     244                2.63 
U                     266                2.65 
U                     248                2.58 
U                     284                2.78 
U                     230                2.53 
U                     218                2.49 
U                     270                2.81 
U                     342                3.27 
U                     212                2.53 
U                     336                3.17 
U                     302                2.99 
#Clauses: 108 
U                     310                3.00 
U                     202                2.33 
U                     266                2.78 
U                     196                2.39 
U                     226                2.41 
U                     254                2.62 
U                     188                2.37 
U                     208                2.43 
U                     274                2.89 
U                     216                2.50 
U                     264                2.88 
U                     318                3.09 
U                     310                3.06 
U                     208                2.52 
U                     240                2.59 
U                     282                2.85 
U                     226                2.58 
U                     156                2.16 
U                     236                2.55 
U                     206                2.35 
U                     262                2.76 
U                     262                2.85 
U                     210                2.52 
U                     174                2.23 
U                     288                2.89 
U                     234                2.59 
U                     182                2.25 
U                     264                2.80 
U                     208                2.45 
U                     222                2.40 
U                     250                2.60 
U                     338                3.20 
U                     182                2.29 
U                     344                3.27 
U                     186                2.41 
U                     140                2.04 
U                     270                2.84 
U                     168                2.23 
U                     316                3.01 
U                     392                3.47 
U                     330                3.16 
U                     220                2.54 
U                     254                2.61 
U                     226                2.54 
U                     342                3.29 
U                     214                2.44 
U                     234                2.52 
U                     144                2.05 
U                     276                2.93 
U                     212                2.39 
U                     264                2.74 
U                     232                2.64 
U                     230                2.61 
U                     398                3.49 
U                     216                2.57 
U                     242                2.58 
U                     198                2.48 
U                     216                2.53 
U                     362                3.33 
U                     294                2.94 
U                     152                2.11 
U                     270                2.76 
U                     170                2.23 
U                     244                2.56 
U                     310                2.97 
U                     178                2.31 
U                     188                2.22 
U                     278                2.75 
U                     218                2.47 
U                     212                2.49 
U                     228                2.54 
U                     342                3.33 
U                     206                2.45 
U                     160                2.12 
U                     210                2.36 
U                     370                3.44 
U                     256                2.76 
U                     232                2.57 
U                     304                3.11 
U                     172                2.26 
U                     190                2.23 
U                     266                2.69 
U                     248                2.71 
U                     226                2.57 
U                     442                3.79 
U                     250                2.76 
U                     190                2.31 
U                     324                3.15 
U                     376                3.43 
U                     250                2.71 
U                     342                3.32 
U                     306                3.00 
U                     158                2.14 
U                     240                2.57 
U                     276                2.76 
U                     136                2.02 
U                     246                2.69 
U                     206                2.37 
U                     368                3.37 
U                     298                3.00 
#Clauses: 112 
U                     154                2.16 
U                     314                3.14 
U                     244                2.80 
U                     308                3.00 
U                     372                3.42 
U                     310                3.05 
U                     344                3.26 
U                     396                3.61 
U                     260                2.83 
U                     258                2.84 
U                     244                2.74 
U                     184                2.39 
U                     288                2.87 
U                     348                3.37 
U                     190                2.38 
U                     334                3.21 
U                     326                3.25 
U                     214                2.51 
U                     310                3.09 
U                     206                2.45 
U                     268                2.82 
U                     210                2.50 
U                     204                2.41 
U                     146                2.07 
U                     206                2.42 
U                     340                3.32 
U                     246                2.71 
U                     230                2.57 
U                     222                2.55 
U                     298                2.98 
U                     340                3.20 
U                     266                2.85 
U                     264                2.83 
U                     256                2.65 
U                     246                2.64 
U                     282                2.93 
U                     202                2.41 
U                     194                2.33 
U                     132                1.97 
U                     174                2.23 
U                     192                2.34 
U                     264                2.64 
U                     216                2.40 
U                     242                2.66 
U                     238                2.56 
U                     224                2.55 
U                     280                2.85 
U                     212                2.45 
U                     270                2.81 
U                     320                3.10 
U                     264                2.86 
U                     222                2.55 
U                     268                2.80 
U                     216                2.52 
U                     342                3.21 
U                     212                2.47 
U                     244                2.51 
U                     214                2.44 
U                     368                3.25 
U                     250                2.76 
U                     264                2.78 
U                     320                3.02 
U                     286                2.87 
U                     278                2.94 
U                     238                2.57 
U                     226                2.55 
U                     206                2.42 
U                     312                3.10 
U                     222                2.57 
U                     258                2.75 
U                     188                2.30 
U                     398                3.50 
U                     264                2.89 
U                     312                3.03 
U                     184                2.32 
U                     340                3.18 
U                     350                3.33 
U                     212                2.42 
U                     218                2.53 
U                     184                2.30 
U                     266                2.85 
U                     316                3.11 
U                     212                2.51 
U                     260                2.63 
U                     254                2.74 
U                     312                3.07 
U                     212                2.45 
U                     314                3.07 
U                     210                2.49 
U                     296                2.97 
U                     232                2.60 
U                     264                2.72 
U                     238                2.61 
U                     232                2.63 
U                     190                2.33 
U                     294                2.93 
U                     304                3.08 
U                     208                2.42 
U                     272                2.78 
U                     244                2.67 
#Clauses: 116 
U                     176                2.28 
U                     168                2.22 
U                     232                2.64 
U                     272                2.81 
U                     276                2.88 
U                     250                2.73 
U                     214                2.53 
U                     228                2.66 
U                     230                2.58 
U                     328                3.22 
U                     238                2.68 
U                     348                3.36 
U                     210                2.53 
U                     198                2.41 
U                     326                3.16 
U                     280                2.90 
U                     172                2.28 
U                     218                2.49 
U                     162                2.19 
U                     342                3.30 
U                     208                2.55 
U                     190                2.41 
U                     232                2.56 
U                     238                2.76 
U                     270                2.87 
U                     202                2.42 
U                     384                3.43 
U                     296                2.93 
U                     378                3.61 
U                     216                2.59 
U                     142                2.08 
U                     244                2.66 
U                     262                2.82 
U                     260                2.84 
U                     180                2.39 
U                     218                2.50 
U                     218                2.55 
U                     176                2.27 
U                     258                2.79 
U                     254                2.78 
U                     290                3.03 
U                     214                2.51 
U                     212                2.51 
U                     310                3.08 
U                     216                2.52 
U                     242                2.64 
U                     284                2.97 
U                     308                3.05 
U                     294                3.04 
U                     320                3.25 
U                     248                2.79 
U                     224                2.61 
U                     212                2.58 
U                     316                3.24 
U                     254                2.71 
U                     172                2.32 
U                     280                3.00 
U                     258                2.74 
U                     226                2.60 
U                     272                2.99 
U                     260                2.78 
U                     160                2.21 
U                     196                2.38 
U                     316                3.17 
U                     280                3.01 
U                     292                2.97 
U                     196                2.54 
U                     332                3.16 
U                     306                3.06 
U                     266                2.86 
U                     210                2.45 
U                     236                2.61 
U                     254                2.76 
U                     228                2.66 
U                     266                2.84 
U                     194                2.40 
U                     216                2.57 
U                     234                2.80 
U                     240                2.64 
U                     372                3.58 
U                     218                2.60 
U                     228                2.52 
U                     312                3.22 
U                     248                2.79 
U                     240                2.66 
U                     260                2.84 
U                     214                2.55 
U                     244                2.89 
U                     212                2.51 
U                     224                2.58 
U                     278                2.96 
U                     308                3.18 
U                     228                2.63 
U                     228                2.56 
U                     300                3.17 
U                     228                2.68 
U                     346                3.25 
U                     172                2.37 
U                     310                3.16 
U                     254                2.72 
#Clauses: 120 
U                     210                2.62 
U                     216                2.61 
U                     232                2.67 
U                     242                2.75 
U                     266                2.96 
U                     316                3.24 
U                     230                2.75 
U                     268                2.92 
U                     258                2.82 
U                     274                3.03 
U                     326                3.41 
U                     286                3.03 
U                     220                2.63 
U                     188                2.39 
U                     272                3.05 
U                     206                2.58 
U                     276                3.06 
U                     266                2.90 
U                     256                2.86 
U                     306                3.10 
U                     192                2.50 
U                     242                2.88 
U                     220                2.63 
U                     312                3.19 
U                     248                2.88 
U                     272                2.93 
U                     162                2.25 
U                     208                2.64 
U                     250                2.83 
U                     254                2.86 
U                     242                2.82 
U                     254                2.87 
U                     272                2.88 
U                     294                3.11 
U                     258                2.95 
U                     220                2.71 
U                     188                2.45 
U                     250                2.78 
U                     246                2.86 
U                     346                3.39 
U                     202                2.65 
U                     236                2.75 
U                     298                3.20 
U                     208                2.59 
U                     194                2.45 
U                     120                2.08 
U                     214                2.53 
U                     300                2.97 
U                     280                3.15 
U                     126                2.12 
U                     270                2.90 
U                     244                2.68 
U                     290                3.09 
U                     176                2.32 
U                     270                2.94 
U                     254                2.85 
U                     236                2.78 
U                     210                2.43 
U                     206                2.55 
U                     262                2.78 
U                     274                2.95 
U                     282                2.96 
U                     244                2.74 
U                     246                2.66 
U                     234                2.67 
U                     292                2.98 
U                     298                3.08 
U                     310                3.18 
U                     274                3.02 
U                     196                2.50 
U                     280                2.88 
U                     146                2.20 
U                     206                2.55 
U                     238                2.66 
U                     248                2.78 
U                     222                2.66 
U                     160                2.28 
U                     278                2.85 
U                     360                3.51 
U                     210                2.63 
U                     232                2.69 
U                     232                2.66 
U                     296                3.10 
U                     212                2.52 
U                     216                2.63 
U                     190                2.39 
U                     256                2.89 
U                     296                3.08 
U                     334                3.46 
U                     270                2.97 
U                     212                2.53 
U                     214                2.65 
U                     320                3.20 
U                     216                2.54 
U                     202                2.55 
U                     260                2.85 
U                     214                2.58 
U                     188                2.45 
U                     378                3.66 
U                     232                2.71 
