#Cl-start            #Cl-end           #Cl-step     #Samples/point:      #Var     Random-seed 
4                      8                  4              2                10     #$-198275357 
<Sat result>     <Number of States>     <Time>     
#Clauses: 4 
S                     147                6.05 
S                     162                7.34 
#Clauses: 8 
S                       1                0.00 
S                       1                0.00 
