#Cl-start            #Cl-end           #Cl-step     #Samples/point:      #Var     Random-seed 
2                      8                  2              8                6      #$-198275357 
#Models            avg-length           time 
15                   4.00              14.91 
<Sat result>     <Number of States>     <Time>     
#Clauses: 2 
S                      17                0.56 
S                      18                0.42 
S                      21                0.40 
S                      20                0.40 
S                      21                0.43 
S                      17                0.43 
S                      17                0.42 
S                      18                0.44 
#Clauses: 4 
S                      18                0.63 
S                      20                0.72 
S                      21                0.71 
S                      19                0.68 
S                      20                0.65 
S                      16                0.71 
S                      19                0.70 
S                      17                0.71 
#Clauses: 6 
S                      17                0.94 
S                      20                0.95 
S                      22                1.00 
S                      20                0.94 
S                      22                0.99 
S                      18                0.90 
S                      18                0.98 
S                      20                0.99 
#Clauses: 8 
S                      18                1.23 
S                      16                1.28 
S                      22                1.34 
S                      22                1.24 
S                      16                1.36 
S                      18                1.34 
S                      19                1.38 
S                      19                1.33 
