#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                     117               16.58 
S                     108               13.96 
#Clauses: 8 
S                       1                0.00 
S                       1                0.01 
