#Cl-start            #Cl-end           #Cl-step     #Samples/point:      #Var     Random-seed 
4                      32                 4              3                4      #$394027795 
<Sat result>     <Number of States>     <Time>     
#Clauses: 4 
S                      16                0.26 
S                      16                0.33 
S                      16                0.32 
#Clauses: 8 
S                      34                0.83 
S                      24                0.70 
S                      26                0.63 
#Clauses: 12 
S                      28                1.17 
S                      98                1.93 
S                      44                1.38 
#Clauses: 16 
S                      44                2.15 
S                      78                2.40 
S                     128                3.45 
#Clauses: 20 
S                      92                3.54 
S                     130                3.61 
S                      58                3.17 
#Clauses: 24 
S                      74                4.21 
U                     200                6.02 
U                     178                5.73 
#Clauses: 28 
U                     238                7.04 
S                     232                7.67 
U                     178                7.60 
#Clauses: 32 
U                     206                8.07 
U                     224                8.80 
S                      90                6.83 
