qSS results solving families - 2007

Family# Total# Sat# UnsatTime
Adder78824163.24
blackbox-01X-QBF102416248271849.79
blackbox_design13178273.34
Blocks50146178.28
BMC343335356484.87
C43231112824.21
C4992117369.93
C53153219200
C62881012744.73
C8801011.16
Chain2224.62
conformant_planning1224157009.14
Connect442400
Counter143902.61
Debug145454075.2
evader-pursuer-4x4-logarithmic283101.87
evader-pursuer-8x8-logarithmic10131.6
FPGA_PLB_FIT_SLOW10139.8
jmc_quant1710200
k_branch_n9139.31
k_branch_p1922234.05
k_d4_n395660.18
k_d4_p365223.81
k_dum_n3252.97
k_dum_p384507.96
k_grz_n2945619.05
k_grz_p26435.7
k_lin_n137800
k_path_n335313.13
k_path_p335300.94
k_poly_n4267468.6
k_t4p_n3962119.76
k_t4p_p516168.89
MutexP48411.06
Qshifter44477.7
s272126
s298172142.71
s3868125.41
s499112561.67
s510414.74
s713101211.41
s82081214.96
Sorting_networks25319880865.05
SzymanskiP5528208.53
term12012000
tipdiam20342764074.05
tipfixpoint486717259483.25
Toilet1221854.09