QUANTOR_2.15 results solving families - 2007

Family# Total# Sat# UnsatTime
Adder78410072.76
blackbox-01X-QBF102413010203.12
blackbox_design1312030.05
Blocks5015920.97
BMC343515620833.59
C43231119851.18
C49921199.43
C5315321297.82
C628810122.73
C88010119.05
Chain2221.5
conformant_planning1228519937.31
Connect44107.35
Counter14395.51
Debug1452231042.69
evader-pursuer-4x4-logarithmic288575.99
evader-pursuer-8x8-logarithmic103378.09
FPGA_PLB_FIT_SLOW10144.12
jmc_quant173794.3
k_branch_n987.24
k_branch_p19215.81
k_d4_n39406.34
k_d4_p36390.47
k_dum_n3250.85
k_dum_p3841.14
k_grz_n293852.33
k_grz_p263709.96
k_lin_n137800
k_path_n3351.61
k_path_p3351.65
k_poly_n4261.06
k_t4p_n393212.93
k_t4p_p513322.09
MutexP48598.59
Qshifter444292.02
s2721235.62
s298172146.11
s3868120.86
s499112491.25
s510415.66
s7131013626.07
s820812454.87
Sorting_networks25318810033.43
SzymanskiP55610.45
term1206845.82
tipdiam203234747.37
tipfixpoint486278329.89
Toilet1228.42