qSS results solving families - 2007

Family# Total# Sat# UnsatTime
Adder88826364.03
blackbox-01X-QBF108416248306113.31
blackbox_design13178273.34
Blocks50146178.28
BMC380335364854.87
C43231112824.21
C4992117369.93
C53153219200
C62881012744.73
C8801011.16
Chain2224.62
conformant_planning1244158209.14
Connect442400
Counter143902.61
Debug182468356.54
evader-pursuer-4x4-logarithmic293104.62
evader-pursuer-8x8-logarithmic10131.6
FPGA_PLB_FIT_SLOW10139.8
jmc_quant1911400
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_networks28019889642.69
SzymanskiP6131808.53
term12012000
tipdiam22342773826.58
tipfixpoint509717273283.25
Toilet1221854.09