QUANTOR_hc results solving families - 2006

Family# Total# Sat# UnsatTime
Adder103410878.19
ASP_Program_Inclusion9118687.32
blackbox_design1314177.1
Blocks8847245.34
C43241215729.78
C499302115.89
C531541224.49
C628810155.7
C880183555.56
Chain3942.78
comp820.16
Connect43810712.22
Counter215454.46
CounterFactual920744418594.04
evader-pursuer-4x4-logarithmic3711863.02
evader-pursuer-6x6-logarithmic164144.68
evader-pursuer-8x8-logarithmic367464
FPGA_PLB_FIT_FAST24383.36
FPGA_PLB_FIT_SLOW2512149.28
jmc_quant214394.74
jmc_quant_squaring287357.86
k_branch_n1820.27
k_branch_p2331.43
k_d4_n4260.93
k_d4_p3650.41
k_dum_n3250.31
k_dum_p3840.29
k_grz_n3650.29
k_grz_p3760.46
k_lin_n27624.02
k_lin_p2850.44
k_path_n3350.39
k_path_p3350.61
k_ph_n20350.33
k_ph_p410.12
k_poly_n4260.32
k_poly_p1130.21
k_t4p_n3960.83
k_t4p_p5160.86
Logn19247.24
mA-t2-1qbf-5cnf-160var-2560cl2074533.58
mA-t2-1qbf-5cnf-80var-2560cl20107585.1
mA-t2-2qbf-5cnf-160var-2560cl20286.3
mA-t2-2qbf-5cnf-160var-320cl208304.76
mA-t2-2qbf-5cnf-160var-5120cl20568.5
mA-t2-2qbf-5cnf-40var-160cl204585.04
mA-t2-2qbf-5cnf-40var-320cl20388.32
mA-t2-2qbf-5cnf-40var-640cl20428.7
mA-t2-2qbf-5cnf-80var-1280cl20295.4
mA-t2-2qbf-5cnf-80var-320cl20302.36
mA-t2-2qbf-5cnf-80var-640cl20250.8
mA-t2-3qbf-5cnf-160var-2560cl20292.56
mA-t2-3qbf-5cnf-160var-640cl20757.46
mA-t2-3qbf-5cnf-20var-160cl205307.66
mA-t2-3qbf-5cnf-20var-320cl203885.74
mA-t2-3qbf-5cnf-40var-320cl20800.64
mA-t2-3qbf-5cnf-40var-640cl20347.54
mA-t2-3qbf-5cnf-80var-1280cl20275.78
mA-t2-3qbf-5cnf-80var-2560cl205209.52
mA-t2-3qbf-5cnf-80var-320cl2011016.9
mA-t2-4qbf-5cnf-160var-2560cl20318.18
mA-t2-4qbf-5cnf-160var-5120cl20427.14
mA-t2-4qbf-5cnf-160var-640cl20488.86
mA-t2-4qbf-5cnf-20var-160cl201949.98
mA-t2-4qbf-5cnf-20var-320cl20529.6
mA-t2-4qbf-5cnf-20var-640cl20347.9
mA-t2-4qbf-5cnf-40var-1280cl201348.8
mA-t2-4qbf-5cnf-40var-320cl20666.76
mA-t2-4qbf-5cnf-40var-640cl20461.44
mA-t2-4qbf-5cnf-80var-1280cl20261.94
mA-t2-4qbf-5cnf-80var-2560cl20468.34
mA-t2-4qbf-5cnf-80var-320cl201846.4
mA-t2-5qbf-5cnf-160var-2560cl20353.16
mA-t2-5qbf-5cnf-160var-5120cl20459.62
mA-t2-5qbf-5cnf-160var-640cl20100.28
mA-t2-5qbf-5cnf-20var-320cl20374.38
mA-t2-5qbf-5cnf-20var-640cl202501.44
mA-t2-5qbf-5cnf-40var-1280cl20363.4
mA-t2-5qbf-5cnf-40var-320cl201069.92
mA-t2-5qbf-5cnf-40var-640cl201287.48
mA-t2-5qbf-5cnf-80var-1280cl20319.76
mA-t2-5qbf-5cnf-80var-2560cl20384.96
mA-t2-5qbf-5cnf-80var-640cl20471.7
mA-t2-6qbf-5cnf-160var-2560cl20367.76
mA-t2-6qbf-5cnf-160var-5120cl20432.04
mA-t2-6qbf-5cnf-160var-640cl20100.08
mA-t2-6qbf-5cnf-20var-160cl203262.3
mA-t2-6qbf-5cnf-20var-320cl20462.04
mA-t2-6qbf-5cnf-20var-640cl20328.78
mA-t2-6qbf-5cnf-40var-1280cl20337.42
mA-t2-6qbf-5cnf-40var-320cl20427.7
mA-t2-6qbf-5cnf-40var-640cl20354.6
mA-t2-6qbf-5cnf-80var-1280cl20349.04
mA-t2-6qbf-5cnf-80var-2560cl20378.06
mA-t2-6qbf-5cnf-80var-640cl20652.62
MutexP48899.65
Qq2k1k4v40v40m1610550.05
Qq2k1k4v40v40m210100.03
Qq2k1k4v40v40m3210100.06
Qq2k1k4v40v40m410910.04
Qq2k1k4v40v40m810820.01
Qq2k1k4v80v80m1610730.01
Qq2k1k4v80v80m210100.05
Qq2k1k4v80v80m3210280.08
Qq2k1k4v80v80m410100.03
Qq2k1k4v80v80m810100.05
Qq2k2k3v40v40m1610100.03
Qq2k2k3v40v40m210100.06
Qq2k2k3v40v40m3210100.02
Qq2k2k3v40v40m410100.09
Qq2k2k3v40v40m810100.05
Qq2k2k3v80v80m1610100.05
Qq2k2k3v80v80m210100.08
Qq2k2k3v80v80m3210100.06
Qq2k2k3v80v80m410100.01
Qq2k2k3v80v80m810100.06
Qq2k3k2v40v40m1610100.03
Qq2k3k2v40v40m210100.03
Qq2k3k2v40v40m3210100.04
Qq2k3k2v40v40m410100.02
Qq2k3k2v40v40m810100.01
Qq2k3k2v80v80m1610100.07
Qq2k3k2v80v80m210100.03
Qq2k3k2v80v80m3210100.04
Qq2k3k2v80v80m410100.02
Qq2k3k2v80v80m810100.01
Qq3k1k1k3v40v40v40m1610100.06
Qq3k1k1k3v40v40v40m210100.03
Qq3k1k1k3v40v40v40m3210100.06
Qq3k1k1k3v40v40v40m410100.02
Qq3k1k1k3v40v40v40m810100.03
Qq3k1k1k3v80v80v80m1610100.05
Qq3k1k1k3v80v80v80m210100.03
Qq3k1k1k3v80v80v80m3210100.1
Qq3k1k1k3v80v80v80m410100.03
Qq3k1k1k3v80v80v80m810100
Qq3k1k2k2v40v40v40m1610100.04
Qq3k1k2k2v40v40v40m210100.02
Qq3k1k2k2v40v40v40m3210100
Qq3k1k2k2v40v40v40m410100.04
Qq3k1k2k2v40v40v40m810100.03
Qq3k1k2k2v80v80v80m1610100
Qq3k1k2k2v80v80v80m210100.05
Qq3k1k2k2v80v80v80m3210100.02
Qq3k1k2k2v80v80v80m410100.01
Qq3k1k2k2v80v80v80m810100.01
Qq3k1k3k1v40v40v40m1610100.04
Qq3k1k3k1v40v40v40m210100.02
Qq3k1k3k1v40v40v40m3210100.02
Qq3k1k3k1v40v40v40m410100.01
Qq3k1k3k1v40v40v40m810100.03
Qq3k1k3k1v80v80v80m1610100.03
Qq3k1k3k1v80v80v80m210100.07
Qq3k1k3k1v80v80v80m3210100.01
Qq3k1k3k1v80v80v80m410100.08
Qq3k1k3k1v80v80v80m810100.04
Qq3k2k1k2v40v40v40m1610100.04
Qq3k2k1k2v40v40v40m210100.04
Qq3k2k1k2v40v40v40m3210100.03
Qq3k2k1k2v40v40v40m410100.03
Qq3k2k1k2v40v40v40m810100.02
Qq3k2k1k2v80v80v80m1610100.01
Qq3k2k1k2v80v80v80m210100.04
Qq3k2k1k2v80v80v80m3210100.09
Qq3k2k1k2v80v80v80m410100.04
Qq3k2k1k2v80v80v80m810100.01
Qq3k2k2k1v40v40v40m1610100.03
Qq3k2k2k1v40v40v40m210100.01
Qq3k2k2k1v40v40v40m3210100.03
Qq3k2k2k1v40v40v40m410100.03
Qq3k2k2k1v40v40v40m810100.01
Qq3k2k2k1v80v80v80m1610100.03
Qq3k2k2k1v80v80v80m210100.05
Qq3k2k2k1v80v80v80m3210100.04
Qq3k2k2k1v80v80v80m410100.03
Qq3k2k2k1v80v80v80m810100.02
Qq3k3k1k1v40v40v40m1610100.04
Qq3k3k1k1v40v40v40m210100.08
Qq3k3k1k1v40v40v40m3210100.01
Qq3k3k1k1v40v40v40m410100.04
Qq3k3k1k1v40v40v40m810100.01
Qq3k3k1k1v80v80v80m1610100.04
Qq3k3k1k1v80v80v80m210100.04
Qq3k3k1k1v80v80v80m3210100.01
Qq3k3k1k1v80v80v80m410100.05
Qq3k3k1k1v80v80v80m810100.04
Qshifter444280.18
RobotsD2301338.33
RobotsD3301556.97
RobotsD4322306.47
RobotsD5312342.23
s272935.2
s2981720.75
s3868110.4
s49911235.04
s510410.52
s713101800.9
s820813.44
Sorting_networks371241422210.21
Strategic_Companies633214346484.36
SzymanskiP811343.27
term138211962.18
tipdiam6526772.25
tipfixpoint2065955353.13
Toilet17217.62
ToiletA41169.18
ToiletC310.12
Tree710.07