QChaffLearn results solving families - 2005

Family# Total# Sat# UnsatTime
Adder1732978922.43
Blocks10245251.55
C432732326031.45
C499762411281.78
C531580242600.5
C62887769320.24
C880782418624.24
Chain87936558.79
comp28341913.79
Connect41384245472.02
Counter71247.04
CounterFactual16711271261078035.45
DFlipFlop73420.83
evader-pursuer-4x4-logarithmic59723.46
evader-pursuer-4x4-standard6457633.42
evader-pursuer-6x6-logarithmic67434879.54
evader-pursuer-6x6-standard66116.37
evader-pursuer-8x8-logarithmic72341843.6
FPGA_PLB_FIT_FAST3821453.72
FPGA_PLB_FIT_SLOW251666.58
horn15635290133.09
Impl74100.31
jmc_quant4338592.13
jmc_quant_squaring9585332.82
k_branch_n4640860.32
k_branch_p4338204.99
k_d4_n42136567.77
k_d4_p42132253.4
k_dum_n35128963.72
k_dum_p47417446.14
k_grz_n42226317.32
k_grz_p37223664.13
k_lin_n27229710.98
k_lin_p356108.57
k_path_n40129324.12
k_path_p35129255.28
k_ph_n383397.96
k_ph_p306446.11
k_poly_n4236815.81
k_poly_p3328889.42
k_t4p_n3934925.68
k_t4p_p5145528.33
Logn192483.55
mA-t2-1qbf-5cnf-160var-1280cl10100.12
mA-t2-1qbf-5cnf-160var-2560cl20760.78
mA-t2-1qbf-5cnf-160var-320cl10100.01
mA-t2-1qbf-5cnf-160var-5120cl10341.58
mA-t2-1qbf-5cnf-160var-640cl10100.07
mA-t2-1qbf-5cnf-20var-160cl10100.01
mA-t2-1qbf-5cnf-20var-320cl10100.07
mA-t2-1qbf-5cnf-20var-40cl10100.01
mA-t2-1qbf-5cnf-20var-640cl10100.28
mA-t2-1qbf-5cnf-20var-80cl10100.01
mA-t2-1qbf-5cnf-40var-1280cl109290.83
mA-t2-1qbf-5cnf-40var-160cl10100.03
mA-t2-1qbf-5cnf-40var-320cl10100.05
mA-t2-1qbf-5cnf-40var-640cl10103.43
mA-t2-1qbf-5cnf-40var-80cl10100.04
mA-t2-1qbf-5cnf-80var-1280cl103315.88
mA-t2-1qbf-5cnf-80var-160cl10100.05
mA-t2-1qbf-5cnf-80var-2560cl201021.88
mA-t2-1qbf-5cnf-80var-320cl10100.03
mA-t2-1qbf-5cnf-80var-640cl10100.05
mA-t2-2qbf-5cnf-160var-1280cl108635.69
mA-t2-2qbf-5cnf-160var-2560cl20107.5
mA-t2-2qbf-5cnf-160var-320cl20114992.9
mA-t2-2qbf-5cnf-160var-5120cl20100.86
mA-t2-2qbf-5cnf-160var-640cl108462.2
mA-t2-2qbf-5cnf-20var-160cl10107.07
mA-t2-2qbf-5cnf-20var-320cl10100.05
mA-t2-2qbf-5cnf-20var-40cl10100.03
mA-t2-2qbf-5cnf-20var-640cl10100.06
mA-t2-2qbf-5cnf-20var-80cl10108.69
mA-t2-2qbf-5cnf-40var-1280cl10100.09
mA-t2-2qbf-5cnf-40var-160cl20114930.96
mA-t2-2qbf-5cnf-40var-320cl2086720.62
mA-t2-2qbf-5cnf-40var-640cl20100.14
mA-t2-2qbf-5cnf-40var-80cl10100.81
mA-t2-2qbf-5cnf-80var-1280cl20100.92
mA-t2-2qbf-5cnf-80var-160cl101060.18
mA-t2-2qbf-5cnf-80var-2560cl10100.21
mA-t2-2qbf-5cnf-80var-320cl2016695.76
mA-t2-2qbf-5cnf-80var-640cl20115349.28
mA-t2-3qbf-5cnf-160var-1280cl1017948.07
mA-t2-3qbf-5cnf-160var-2560cl2052897.7
mA-t2-3qbf-5cnf-160var-320cl10100.06
mA-t2-3qbf-5cnf-160var-5120cl10100.43
mA-t2-3qbf-5cnf-160var-640cl20100.16
mA-t2-3qbf-5cnf-20var-160cl20910.68
mA-t2-3qbf-5cnf-20var-320cl20100.58
mA-t2-3qbf-5cnf-20var-40cl10100.02
mA-t2-3qbf-5cnf-20var-640cl10100.06
mA-t2-3qbf-5cnf-20var-80cl10100.02
mA-t2-3qbf-5cnf-40var-1280cl10100.12
mA-t2-3qbf-5cnf-40var-160cl10100
mA-t2-3qbf-5cnf-40var-320cl207342.42
mA-t2-3qbf-5cnf-40var-640cl20103.52
mA-t2-3qbf-5cnf-40var-80cl10100.03
mA-t2-3qbf-5cnf-80var-1280cl209348.9
mA-t2-3qbf-5cnf-80var-160cl10100.04
mA-t2-3qbf-5cnf-80var-2560cl20100.42
mA-t2-3qbf-5cnf-80var-320cl20100.1
mA-t2-3qbf-5cnf-80var-640cl10334057.19
mA-t2-4qbf-5cnf-160var-1280cl1026919.67
mA-t2-4qbf-5cnf-160var-2560cl2010184.34
mA-t2-4qbf-5cnf-160var-320cl10100.04
mA-t2-4qbf-5cnf-160var-5120cl20100.88
mA-t2-4qbf-5cnf-160var-640cl2016718
mA-t2-4qbf-5cnf-20var-160cl201962.54
mA-t2-4qbf-5cnf-20var-320cl20100.08
mA-t2-4qbf-5cnf-20var-40cl10100.03
mA-t2-4qbf-5cnf-20var-640cl20100.12
mA-t2-4qbf-5cnf-20var-80cl10100.09
mA-t2-4qbf-5cnf-40var-1280cl20100.24
mA-t2-4qbf-5cnf-40var-160cl10109.54
mA-t2-4qbf-5cnf-40var-320cl20510880.72
mA-t2-4qbf-5cnf-40var-640cl20100.34
mA-t2-4qbf-5cnf-40var-80cl10100.03
mA-t2-4qbf-5cnf-80var-1280cl20109.64
mA-t2-4qbf-5cnf-80var-160cl10100.01
mA-t2-4qbf-5cnf-80var-2560cl20100.42
mA-t2-4qbf-5cnf-80var-320cl20510583.62
mA-t2-4qbf-5cnf-80var-640cl1027956.69
mA-t2-5qbf-5cnf-160var-1280cl1063876.22
mA-t2-5qbf-5cnf-160var-2560cl205226.96
mA-t2-5qbf-5cnf-160var-320cl10100.06
mA-t2-5qbf-5cnf-160var-5120cl20103.6
mA-t2-5qbf-5cnf-160var-640cl20100.2
mA-t2-5qbf-5cnf-20var-160cl10100.04
mA-t2-5qbf-5cnf-20var-320cl20102.22
mA-t2-5qbf-5cnf-20var-40cl10100.03
mA-t2-5qbf-5cnf-20var-640cl20100.12
mA-t2-5qbf-5cnf-20var-80cl10100.02
mA-t2-5qbf-5cnf-40var-1280cl20100.22
mA-t2-5qbf-5cnf-40var-160cl10100.02
mA-t2-5qbf-5cnf-40var-320cl2010164.26
mA-t2-5qbf-5cnf-40var-640cl201015.24
mA-t2-5qbf-5cnf-40var-80cl10100.04
mA-t2-5qbf-5cnf-80var-1280cl2083034.56
mA-t2-5qbf-5cnf-80var-160cl10100.05
mA-t2-5qbf-5cnf-80var-2560cl20100.6
mA-t2-5qbf-5cnf-80var-320cl10100.06
mA-t2-5qbf-5cnf-80var-640cl20617295.1
mA-t2-6qbf-5cnf-160var-1280cl108293.6
mA-t2-6qbf-5cnf-160var-2560cl2054312.08
mA-t2-6qbf-5cnf-160var-320cl10100.1
mA-t2-6qbf-5cnf-160var-5120cl20102.76
mA-t2-6qbf-5cnf-160var-640cl20100.2
mA-t2-6qbf-5cnf-20var-160cl209131.58
mA-t2-6qbf-5cnf-20var-320cl20109.48
mA-t2-6qbf-5cnf-20var-40cl10100.02
mA-t2-6qbf-5cnf-20var-640cl20100.26
mA-t2-6qbf-5cnf-20var-80cl10100.01
mA-t2-6qbf-5cnf-40var-1280cl20100.34
mA-t2-6qbf-5cnf-40var-160cl10100.05
mA-t2-6qbf-5cnf-40var-320cl2016123.8
mA-t2-6qbf-5cnf-40var-640cl201092.64
mA-t2-6qbf-5cnf-40var-80cl10100.02
mA-t2-6qbf-5cnf-80var-1280cl2083981.92
mA-t2-6qbf-5cnf-80var-160cl10100.04
mA-t2-6qbf-5cnf-80var-2560cl20100.74
mA-t2-6qbf-5cnf-80var-320cl10100.05
mA-t2-6qbf-5cnf-80var-640cl2016203.4
MutexP78333013.54
Qshifter61240349.44
renHorn8451952364.18
RobotsD2702117242.86
RobotsD37021315609.82
RobotsD47420218678.49
RobotsD57121117193.8
s11961715314.42
s1269279012.89
s27361121818.64
s2983733255.5
s3330427255.43
s3863127894.42
s4992413502.96
s510229914.1
s641290.07
s7133531509.11
s8203423399.81
SzymanskiP101455.48
term169343261.71
Toilet33532.92
ToiletA30810138.32
ToiletC411193.1
Tree87497924.07
uclid3026934.38
VonNeumann75140.58
z4ml61350.29