yQuaffle results solving families - 2005

Family# Total# Sat# UnsatTime
Adder17322131112.74
Blocks1023815981.95
C432733231675.36
C499763139598.63
C5315802151216.61
C62887769327.43
C88078162962.64
Chain87748387.04
comp2844123.4
Connect41384237506.3
Counter71937639.76
CounterFactual16711241661036243.47
DFlipFlop731031.97
evader-pursuer-4x4-logarithmic59433083.37
evader-pursuer-4x4-standard6454287.98
evader-pursuer-6x6-logarithmic67344649.28
evader-pursuer-6x6-standard6656657.75
evader-pursuer-8x8-logarithmic72339629.01
FPGA_PLB_FIT_FAST38416.66
FPGA_PLB_FIT_SLOW25119580.62
horn156403967083.52
Impl74100.57
jmc_quant4338725.6
jmc_quant_squaring9585543.12
k_branch_n4637571.89
k_branch_p43133126.6
k_d4_n4237820
k_d4_p42132453.61
k_dum_n35128853.72
k_dum_p47332602.72
k_grz_n42133042.54
k_grz_p37224898.05
k_lin_n27215082.13
k_lin_p35618.37
k_path_n40129893.55
k_path_p35129697.58
k_ph_n38412723.32
k_ph_p30220708.58
k_poly_n4237771.02
k_poly_p3360.44
k_t4p_n3935109.95
k_t4p_p5145912.07
Logn1928.27
mA-t2-1qbf-5cnf-160var-1280cl10100.14
mA-t2-1qbf-5cnf-160var-2560cl2010245.72
mA-t2-1qbf-5cnf-160var-320cl10100.07
mA-t2-1qbf-5cnf-160var-5120cl109005.75
mA-t2-1qbf-5cnf-160var-640cl10100.06
mA-t2-1qbf-5cnf-20var-160cl10100.03
mA-t2-1qbf-5cnf-20var-320cl10100.01
mA-t2-1qbf-5cnf-20var-40cl10100.07
mA-t2-1qbf-5cnf-20var-640cl10100.16
mA-t2-1qbf-5cnf-20var-80cl10100.11
mA-t2-1qbf-5cnf-40var-1280cl10103.36
mA-t2-1qbf-5cnf-40var-160cl10100.09
mA-t2-1qbf-5cnf-40var-320cl10100.05
mA-t2-1qbf-5cnf-40var-640cl10100.12
mA-t2-1qbf-5cnf-40var-80cl10100.02
mA-t2-1qbf-5cnf-80var-1280cl10101.72
mA-t2-1qbf-5cnf-80var-160cl10100.1
mA-t2-1qbf-5cnf-80var-2560cl2018011.7
mA-t2-1qbf-5cnf-80var-320cl10100.02
mA-t2-1qbf-5cnf-80var-640cl10100.08
mA-t2-2qbf-5cnf-160var-1280cl108974.25
mA-t2-2qbf-5cnf-160var-2560cl20216002.74
mA-t2-2qbf-5cnf-160var-320cl2017850.72
mA-t2-2qbf-5cnf-160var-5120cl20100.88
mA-t2-2qbf-5cnf-160var-640cl108942.62
mA-t2-2qbf-5cnf-20var-160cl10100.5
mA-t2-2qbf-5cnf-20var-320cl10100.04
mA-t2-2qbf-5cnf-20var-40cl1050.04
mA-t2-2qbf-5cnf-20var-640cl10100.06
mA-t2-2qbf-5cnf-20var-80cl10100.79
mA-t2-2qbf-5cnf-40var-1280cl10100.12
mA-t2-2qbf-5cnf-40var-160cl20116376.94
mA-t2-2qbf-5cnf-40var-320cl20510328.62
mA-t2-2qbf-5cnf-40var-640cl20101.6
mA-t2-2qbf-5cnf-40var-80cl1080.27
mA-t2-2qbf-5cnf-80var-1280cl2010252.14
mA-t2-2qbf-5cnf-80var-160cl101038.94
mA-t2-2qbf-5cnf-80var-2560cl10100.24
mA-t2-2qbf-5cnf-80var-320cl2017957.72
mA-t2-2qbf-5cnf-80var-640cl2017996.96
mA-t2-3qbf-5cnf-160var-1280cl108950.98
mA-t2-3qbf-5cnf-160var-2560cl2017952.02
mA-t2-3qbf-5cnf-160var-320cl101012.42
mA-t2-3qbf-5cnf-160var-5120cl10100.43
mA-t2-3qbf-5cnf-160var-640cl2017881.26
mA-t2-3qbf-5cnf-20var-160cl20101.92
mA-t2-3qbf-5cnf-20var-320cl20100.78
mA-t2-3qbf-5cnf-20var-40cl10100.06
mA-t2-3qbf-5cnf-20var-640cl10100.09
mA-t2-3qbf-5cnf-20var-80cl10100.05
mA-t2-3qbf-5cnf-40var-1280cl10100.1
mA-t2-3qbf-5cnf-40var-160cl10100.6
mA-t2-3qbf-5cnf-40var-320cl2076556.34
mA-t2-3qbf-5cnf-40var-640cl201022.54
mA-t2-3qbf-5cnf-40var-80cl10100.06
mA-t2-3qbf-5cnf-80var-1280cl20411078.84
mA-t2-3qbf-5cnf-80var-160cl10100.22
mA-t2-3qbf-5cnf-80var-2560cl20100.46
mA-t2-3qbf-5cnf-80var-320cl2093169.98
mA-t2-3qbf-5cnf-80var-640cl108977.54
mA-t2-4qbf-5cnf-160var-1280cl108947.86
mA-t2-4qbf-5cnf-160var-2560cl2017939.52
mA-t2-4qbf-5cnf-160var-320cl1017233.78
mA-t2-4qbf-5cnf-160var-5120cl20100.84
mA-t2-4qbf-5cnf-160var-640cl2017886.18
mA-t2-4qbf-5cnf-20var-160cl20183262.3
mA-t2-4qbf-5cnf-20var-320cl20106.42
mA-t2-4qbf-5cnf-20var-40cl1090.03
mA-t2-4qbf-5cnf-20var-640cl20100.22
mA-t2-4qbf-5cnf-20var-80cl1090.3
mA-t2-4qbf-5cnf-40var-1280cl20100.26
mA-t2-4qbf-5cnf-40var-160cl1082421.32
mA-t2-4qbf-5cnf-40var-320cl20117975.08
mA-t2-4qbf-5cnf-40var-640cl2068872.92
mA-t2-4qbf-5cnf-40var-80cl1080.44
mA-t2-4qbf-5cnf-80var-1280cl2017974.94
mA-t2-4qbf-5cnf-80var-160cl10942.72
mA-t2-4qbf-5cnf-80var-2560cl20100.48
mA-t2-4qbf-5cnf-80var-320cl2017953.42
mA-t2-4qbf-5cnf-80var-640cl108977.49
mA-t2-5qbf-5cnf-160var-1280cl108943.35
mA-t2-5qbf-5cnf-160var-2560cl2017918.68
mA-t2-5qbf-5cnf-160var-320cl109931.47
mA-t2-5qbf-5cnf-160var-5120cl20100.8
mA-t2-5qbf-5cnf-160var-640cl2017903.8
mA-t2-5qbf-5cnf-20var-160cl10106.04
mA-t2-5qbf-5cnf-20var-320cl2010668.6
mA-t2-5qbf-5cnf-20var-40cl10100.06
mA-t2-5qbf-5cnf-20var-640cl20100.2
mA-t2-5qbf-5cnf-20var-80cl10100.21
mA-t2-5qbf-5cnf-40var-1280cl20100.28
mA-t2-5qbf-5cnf-40var-160cl10106.95
mA-t2-5qbf-5cnf-40var-320cl20117741.96
mA-t2-5qbf-5cnf-40var-640cl20312990.12
mA-t2-5qbf-5cnf-40var-80cl10100.06
mA-t2-5qbf-5cnf-80var-1280cl2017962.88
mA-t2-5qbf-5cnf-80var-160cl10100.75
mA-t2-5qbf-5cnf-80var-2560cl20100.44
mA-t2-5qbf-5cnf-80var-320cl1046088.83
mA-t2-5qbf-5cnf-80var-640cl2017952.14
mA-t2-6qbf-5cnf-160var-1280cl108946.82
mA-t2-6qbf-5cnf-160var-2560cl2017913.96
mA-t2-6qbf-5cnf-160var-320cl1036845.26
mA-t2-6qbf-5cnf-160var-5120cl20100.92
mA-t2-6qbf-5cnf-160var-640cl2017901.6
mA-t2-6qbf-5cnf-20var-160cl20714490.98
mA-t2-6qbf-5cnf-20var-320cl2095117.62
mA-t2-6qbf-5cnf-20var-40cl1090.05
mA-t2-6qbf-5cnf-20var-640cl20100.34
mA-t2-6qbf-5cnf-20var-80cl10100.77
mA-t2-6qbf-5cnf-40var-1280cl201017.6
mA-t2-6qbf-5cnf-40var-160cl1081241.32
mA-t2-6qbf-5cnf-40var-320cl2017973.28
mA-t2-6qbf-5cnf-40var-640cl2017988.26
mA-t2-6qbf-5cnf-40var-80cl1090.09
mA-t2-6qbf-5cnf-80var-1280cl2017962.2
mA-t2-6qbf-5cnf-80var-160cl109901.98
mA-t2-6qbf-5cnf-80var-2560cl20100.52
mA-t2-6qbf-5cnf-80var-320cl108968.51
mA-t2-6qbf-5cnf-80var-640cl2017948.68
MutexP78248918.64
Qshifter61146834.93
renHorn84441425041.75
RobotsD2702312722.63
RobotsD3702114072.1
RobotsD4742016161.23
RobotsD5712113936.81
s11961715302.66
s12692724292.32
s2736126117.48
s2983733277.8
s33304236607.36
s3863127915.06
s4992421591.48
s5102219792.22
s6412926109.55
s7133531517.69
s8203430595.48
SzymanskiP10177087.27
term1694311244.24
Toilet333311092.39
ToiletA3081067.46
ToiletC411092766.7
Tree8759310.33
uclid3026984.85
VonNeumann7510241.89
z4ml61440.53