#Cl-start            #Cl-end           #Cl-step     #Samples/point:      #Var     Random-seed 
2                      4                  2              2                4      #$-198275357 
#Models            avg-length           time 
15                   4.00              12.45 
<Sat result>     <Number of States>     <Time>     
#Clauses: 2 
S                      17                0.60 
S                      17                0.51 
#Clauses: 4 
S                      21                1.07 
S                      17                0.97 
