QUANTOR_2.15 results solving families - 2007

Family# Total# Sat# UnsatTime
Adder88412106.68
blackbox-01X-QBF108413010997.66
blackbox_design1312030.05
Blocks5015920.97
BMC380515625876.58
C43231119851.18
C49921199.43
C5315321297.82
C628810122.73
C88010119.05
Chain2221.5
conformant_planning1248521137.31
Connect44107.35
Counter14395.51
Debug1822239963.3
evader-pursuer-4x4-logarithmic298932.78
evader-pursuer-8x8-logarithmic103378.09
FPGA_PLB_FIT_SLOW10144.12
jmc_quant194410.54
k_branch_n987.24
k_branch_p21240.63
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
Qshifter454294.48
s2721235.62
s298172146.11
s3868120.86
s499112491.25
s510415.66
s7131013626.07
s820812454.87
Sorting_networks28018811102.9
SzymanskiP61681.25
term1206845.82
tipdiam223235122.94
tipfixpoint509278646.26
Toilet1228.42