QUANTOR_2.15 results solving families - 2007

Family# Total# Sat# UnsatTime
Adder86411459.27
blackbox-01X-QBF106413010733.11
blackbox_design1312030.05
Blocks5015920.97
BMC370515625026.6
C43231119851.18
C49921199.43
C5315321297.82
C628810122.73
C88010119.05
Chain2221.5
conformant_planning1248521137.31
Connect44107.35
Counter14395.51
Debug1722237543.17
evader-pursuer-4x4-logarithmic298932.78
evader-pursuer-8x8-logarithmic103378.09
FPGA_PLB_FIT_SLOW10144.12
jmc_quant173794.3
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_networks27618810948.97
SzymanskiP59657.65
term1206845.82
tipdiam216234989.22
tipfixpoint502278552.4
Toilet1228.42