#Cl-start            #Cl-end           #Cl-step     #Samples/point:      #Var     Random-seed 
40                     48                 4              3                4      #$-14287029 
<Sat result>     <Number of States>     <Time>     
#Clauses: 40 
U                     312               12.54 
S                     138                1.70 
S                     116               11.71 
#Clauses: 44 
U                     212                6.56 
S                     254               18.79 
S                     134               12.57 
#Clauses: 48 
S                     212               15.05 
U                     246                5.71 
U                     482               13.63 
