qSS results solving families - 2007

Family# Total# Sat# UnsatTime
Adder86826308.39
blackbox-01X-QBF106416248295849.79
blackbox_design13178273.34
Blocks50146178.28
BMC370335362596.63
C43231112824.21
C4992117369.93
C53153219200
C62881012744.73
C8801011.16
Chain2224.62
conformant_planning1244158209.14
Connect442400
Counter143902.61
Debug172464669.04
evader-pursuer-4x4-logarithmic293104.62
evader-pursuer-8x8-logarithmic10131.6
FPGA_PLB_FIT_SLOW10139.8
jmc_quant1710200
k_branch_n9139.31
k_branch_p2122729.29
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
Qshifter45478.58
s272126
s298172142.71
s3868125.41
s499112561.67
s510414.74
s713101211.41
s82081214.96
Sorting_networks27619888934.01
SzymanskiP5930608.53
term12012000
tipdiam21642770729.11
tipfixpoint502717269083.25
Toilet1221854.09