QChaffLearn results solving families - 2005

Family# Total# Sat# UnsatTime
Adder1932988128.23
Blocks10245251.55
C432732326031.45
C499762411281.78
C531583245298.73
C62888172921.44
C880782418624.24
Chain87936558.79
comp28341913.79
Connect41444250799.47
Counter73247.7
CounterFactual16911271261095711.56
DFlipFlop73420.83
evader-pursuer-4x4-logarithmic61724.3
evader-pursuer-4x4-standard6558534
evader-pursuer-6x6-logarithmic72438016.37
evader-pursuer-6x6-standard72128.9
evader-pursuer-8x8-logarithmic75343646.01
FPGA_PLB_FIT_FAST3821453.72
FPGA_PLB_FIT_SLOW251666.58
horn15635290133.09
Impl74100.31
jmc_quant4439492.91
jmc_quant_squaring113101507.83
k_branch_n5347107.46
k_branch_p5044422.19
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_n3933101.58
k_ph_p356572.72
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
Qshifter62241250.32
renHorn8451952364.18
RobotsD2702117242.86
RobotsD37021315609.82
RobotsD47420218678.49
RobotsD57121117193.8
s11961715314.42
s1269289013.3
s27361121818.64
s2983733255.5
s3330437257.81
s3863127894.42
s4992413502.96
s510229914.1
s641290.07
s7133531509.11
s8203423399.81
SzymanskiP105459.34
term169343261.71
Toilet33532.92
ToiletA30810138.32
ToiletC411193.1
Tree87497924.07
uclid3026934.38
VonNeumann75140.58
z4ml61350.29