#Cl-start            #Cl-end           #Cl-step     #Samples/point:      #Var     Random-seed 
4                      32                 4              10               4      #$-198275357 
<Sat result>     <Number of States>     <Time>     
#Clauses: 4 
S                      14                0.16 
S                      14                0.15 
S                      20                0.21 
S                      12                0.14 
S                      30                0.26 
S                      16                0.16 
S                      14                0.13 
S                      16                0.20 
S                      16                0.15 
S                      16                0.15 
#Clauses: 8 
S                      54                0.53 
S                      38                0.40 
S                      24                0.27 
S                      28                0.33 
S                      24                0.32 
S                      24                0.32 
S                      52                0.52 
S                      28                0.35 
S                      42                0.45 
S                      26                0.33 
#Clauses: 12 
S                      58                0.65 
S                      52                0.65 
S                      96                1.06 
S                      48                0.59 
S                      36                0.51 
S                      38                0.50 
S                      66                0.76 
S                      50                0.63 
S                      70                0.78 
S                      66                0.72 
#Clauses: 16 
U                     226                2.35 
S                      50                0.71 
S                      46                0.65 
S                     230                2.33 
S                     122                1.29 
S                      92                1.06 
S                      54                0.71 
S                      44                0.64 
S                     158                1.63 
S                     110                1.30 
#Clauses: 20 
U                     238                2.60 
S                     146                1.70 
S                     236                2.50 
U                     194                2.14 
S                     166                1.86 
S                      68                0.91 
S                     234                2.44 
U                     254                2.73 
U                     304                3.26 
S                      62                0.90 
#Clauses: 24 
U                     272                2.92 
S                     218                2.49 
S                      66                1.01 
U                     214                2.42 
S                      72                1.07 
U                     264                2.90 
S                     202                2.32 
S                     142                1.61 
S                      68                0.99 
U                     274                3.09 
#Clauses: 28 
S                     252                2.99 
U                     258                2.99 
U                     258                2.91 
U                     268                3.04 
S                     330                3.88 
U                     246                2.83 
U                     174                2.08 
S                     242                2.69 
S                     204                2.35 
U                     266                3.03 
#Clauses: 32 
S                     238                2.97 
U                     262                3.12 
U                     286                3.45 
U                     214                2.69 
U                     264                3.02 
U                     218                2.73 
U                     216                2.65 
U                     190                2.40 
U                     286                3.31 
U                     298                3.35 
