openQbf results solving families - 2005

Family# Total# Sat# UnsatTime
Adder17322139668.95
Blocks102279486.53
C432732150058.06
C49976254973.82
C53158072074.48
C62887769372.34
C8807870271.14
Chain87841923.16
comp28414625.59
Connect41384260404.43
Counter71452389.87
CounterFactual16711231601060101.14
DFlipFlop7310112.69
evader-pursuer-4x4-logarithmic59428249.3
evader-pursuer-4x4-standard6457659.16
evader-pursuer-6x6-logarithmic67346799.8
evader-pursuer-6x6-standard6659459.45
evader-pursuer-8x8-logarithmic72251560.84
FPGA_PLB_FIT_FAST38317569.92
FPGA_PLB_FIT_SLOW25120430.98
horn15620122541.8
Impl7410416.59
jmc_quant4338739.65
jmc_quant_squaring9585588.05
k_branch_n4641442.89
k_branch_p4338740.88
k_d4_n4237839.19
k_d4_p4237838.72
k_dum_n3531532.23
k_dum_p4742342.76
k_grz_n4237838.4
k_grz_p3733333.82
k_lin_n2724325.33
k_lin_p3531531.5
k_path_n4036036.17
k_path_p35129767.39
k_ph_n38128762.58
k_ph_p30124332
k_poly_n4237839.24
k_poly_p33612.34
k_t4p_n3935136.75
k_t4p_p5145947.18
Logn1917118.04
mA-t2-1qbf-5cnf-160var-1280cl10103.59
mA-t2-1qbf-5cnf-160var-2560cl2093810.16
mA-t2-1qbf-5cnf-160var-320cl10102.1
mA-t2-1qbf-5cnf-160var-5120cl109009.12
mA-t2-1qbf-5cnf-160var-640cl10102.8
mA-t2-1qbf-5cnf-20var-160cl10101.86
mA-t2-1qbf-5cnf-20var-320cl10102.04
mA-t2-1qbf-5cnf-20var-40cl10101.48
mA-t2-1qbf-5cnf-20var-640cl10103.01
mA-t2-1qbf-5cnf-20var-80cl10101.67
mA-t2-1qbf-5cnf-40var-1280cl101014.95
mA-t2-1qbf-5cnf-40var-160cl10101.82
mA-t2-1qbf-5cnf-40var-320cl10102.02
mA-t2-1qbf-5cnf-40var-640cl10103
mA-t2-1qbf-5cnf-40var-80cl10101.58
mA-t2-1qbf-5cnf-80var-1280cl101013.94
mA-t2-1qbf-5cnf-80var-160cl10101.87
mA-t2-1qbf-5cnf-80var-2560cl20104795.86
mA-t2-1qbf-5cnf-80var-320cl10102.1
mA-t2-1qbf-5cnf-80var-640cl10102.49
mA-t2-2qbf-5cnf-160var-1280cl109009.15
mA-t2-2qbf-5cnf-160var-2560cl201031.74
mA-t2-2qbf-5cnf-160var-320cl2018018.1
mA-t2-2qbf-5cnf-160var-5120cl201020.38
mA-t2-2qbf-5cnf-160var-640cl109009.13
mA-t2-2qbf-5cnf-20var-160cl101044.4
mA-t2-2qbf-5cnf-20var-320cl10102.35
mA-t2-2qbf-5cnf-20var-40cl10101.78
mA-t2-2qbf-5cnf-20var-640cl10102.38
mA-t2-2qbf-5cnf-20var-80cl101048.01
mA-t2-2qbf-5cnf-40var-1280cl10103.14
mA-t2-2qbf-5cnf-40var-160cl2018018.28
mA-t2-2qbf-5cnf-40var-320cl20314065.1
mA-t2-2qbf-5cnf-40var-640cl20106.32
mA-t2-2qbf-5cnf-40var-80cl10106.35
mA-t2-2qbf-5cnf-80var-1280cl201014.62
mA-t2-2qbf-5cnf-80var-160cl10101872.74
mA-t2-2qbf-5cnf-80var-2560cl10104.69
mA-t2-2qbf-5cnf-80var-320cl2018018.3
mA-t2-2qbf-5cnf-80var-640cl2018018.02
mA-t2-3qbf-5cnf-160var-1280cl109009.24
mA-t2-3qbf-5cnf-160var-2560cl2018018.66
mA-t2-3qbf-5cnf-160var-320cl10102.09
mA-t2-3qbf-5cnf-160var-5120cl10104.25
mA-t2-3qbf-5cnf-160var-640cl2091806.96
mA-t2-3qbf-5cnf-20var-160cl201016.2
mA-t2-3qbf-5cnf-20var-320cl201030.24
mA-t2-3qbf-5cnf-20var-40cl10101.56
mA-t2-3qbf-5cnf-20var-640cl10102.2
mA-t2-3qbf-5cnf-20var-80cl10101.53
mA-t2-3qbf-5cnf-40var-1280cl10102.97
mA-t2-3qbf-5cnf-40var-160cl10101.85
mA-t2-3qbf-5cnf-40var-320cl20313685.28
mA-t2-3qbf-5cnf-40var-640cl2092982.28
mA-t2-3qbf-5cnf-40var-80cl10101.59
mA-t2-3qbf-5cnf-80var-1280cl2018018.34
mA-t2-3qbf-5cnf-80var-160cl10101.79
mA-t2-3qbf-5cnf-80var-2560cl20107.44
mA-t2-3qbf-5cnf-80var-320cl20104.48
mA-t2-3qbf-5cnf-80var-640cl109009.19
mA-t2-4qbf-5cnf-160var-1280cl109009.25
mA-t2-4qbf-5cnf-160var-2560cl2018018.52
mA-t2-4qbf-5cnf-160var-320cl10102.06
mA-t2-4qbf-5cnf-160var-5120cl201018.84
mA-t2-4qbf-5cnf-160var-640cl2018018.38
mA-t2-4qbf-5cnf-20var-160cl20184716.56
mA-t2-4qbf-5cnf-20var-320cl201033.9
mA-t2-4qbf-5cnf-20var-40cl10101.59
mA-t2-4qbf-5cnf-20var-640cl20105.12
mA-t2-4qbf-5cnf-20var-80cl10103.34
mA-t2-4qbf-5cnf-40var-1280cl20106.54
mA-t2-4qbf-5cnf-40var-160cl1010140.83
mA-t2-4qbf-5cnf-40var-320cl2018018.02
mA-t2-4qbf-5cnf-40var-640cl20102384.66
mA-t2-4qbf-5cnf-40var-80cl10101.59
mA-t2-4qbf-5cnf-80var-1280cl20116225.22
mA-t2-4qbf-5cnf-80var-160cl10101.77
mA-t2-4qbf-5cnf-80var-2560cl201020.74
mA-t2-4qbf-5cnf-80var-320cl20313508.52
mA-t2-4qbf-5cnf-80var-640cl109009
mA-t2-5qbf-5cnf-160var-1280cl109009.27
mA-t2-5qbf-5cnf-160var-2560cl2018018.48
mA-t2-5qbf-5cnf-160var-320cl10102.14
mA-t2-5qbf-5cnf-160var-5120cl2068043.26
mA-t2-5qbf-5cnf-160var-640cl20105.14
mA-t2-5qbf-5cnf-20var-160cl10104.92
mA-t2-5qbf-5cnf-20var-320cl2010642.5
mA-t2-5qbf-5cnf-20var-40cl10101.59
mA-t2-5qbf-5cnf-20var-640cl20107.3
mA-t2-5qbf-5cnf-20var-80cl10101.62
mA-t2-5qbf-5cnf-40var-1280cl2010127.58
mA-t2-5qbf-5cnf-40var-160cl10101.81
mA-t2-5qbf-5cnf-40var-320cl2083898.06
mA-t2-5qbf-5cnf-40var-640cl20116216.84
mA-t2-5qbf-5cnf-40var-80cl10101.66
mA-t2-5qbf-5cnf-80var-1280cl2018018.42
mA-t2-5qbf-5cnf-80var-160cl10101.9
mA-t2-5qbf-5cnf-80var-2560cl2075837.72
mA-t2-5qbf-5cnf-80var-320cl10102.02
mA-t2-5qbf-5cnf-80var-640cl2018018.38
mA-t2-6qbf-5cnf-160var-1280cl109009.27
mA-t2-6qbf-5cnf-160var-2560cl2018018.82
mA-t2-6qbf-5cnf-160var-320cl10102.04
mA-t2-6qbf-5cnf-160var-5120cl2068625.14
mA-t2-6qbf-5cnf-160var-640cl20105.1
mA-t2-6qbf-5cnf-20var-160cl20913356.52
mA-t2-6qbf-5cnf-20var-320cl2010903.32
mA-t2-6qbf-5cnf-20var-40cl10101.61
mA-t2-6qbf-5cnf-20var-640cl20107.58
mA-t2-6qbf-5cnf-20var-80cl10101.61
mA-t2-6qbf-5cnf-40var-1280cl2010258.36
mA-t2-6qbf-5cnf-40var-160cl10101.69
mA-t2-6qbf-5cnf-40var-320cl2018018.34
mA-t2-6qbf-5cnf-40var-640cl2018018.38
mA-t2-6qbf-5cnf-40var-80cl10101.58
mA-t2-6qbf-5cnf-80var-1280cl2018018.58
mA-t2-6qbf-5cnf-80var-160cl10101.75
mA-t2-6qbf-5cnf-80var-2560cl20101098.02
mA-t2-6qbf-5cnf-80var-320cl10102.02
mA-t2-6qbf-5cnf-80var-640cl2018018.08
MutexP78344499.85
Qshifter61240068.57
renHorn84571176.8
RobotsD2702029081.96
RobotsD3702027347.72
RobotsD4742027540.25
RobotsD5712026361.67
s11961715315.68
s12692724325.23
s2736126127.68
s2983733333.48
s33304237838.53
s3863127928.65
s4992421622.35
s5102219820.16
s641294.05
s7133531532.16
s8203430631.3
SzymanskiP1011214075.59
term169247780.9
Toilet332219391.68
ToiletA30793732.31
ToiletC411191055.25
Tree875621873.01
uclid3027027.76
VonNeumann7510247.47
z4ml614415.01