QbflHR results solving families - 2005

Family# Total# Sat# UnsatTime
Adder17322139662.16
Blocks10291901.87
C43273251357.18
C49976255058.4
C53158072079.68
C62887769376.35
C88078165959.23
Chain87932909.99
comp28415825.62
Connect41384341613.43
Counter71452555.28
CounterFactual16711121181152750.91
DFlipFlop731026.88
evader-pursuer-4x4-logarithmic59427161.99
evader-pursuer-4x4-standard6457663.48
evader-pursuer-6x6-logarithmic67343930.48
evader-pursuer-6x6-standard6659458.72
evader-pursuer-8x8-logarithmic72250394.1
FPGA_PLB_FIT_FAST381126516.38
FPGA_PLB_FIT_SLOW2522525
horn15679773.33
Impl74100.37
jmc_quant4338743.09
jmc_quant_squaring9585594.96
k_branch_n4641445.04
k_branch_p4338742.34
k_d4_n4237842.19
k_d4_p4237842.29
k_dum_n35130206.06
k_dum_p4742347.09
k_grz_n42422075.43
k_grz_p3733337.19
k_lin_n2724326.9
k_lin_p3531505.95
k_path_n4036040.04
k_path_p35129783.15
k_ph_n38127897.95
k_ph_p30124232.98
k_poly_n4237842.24
k_poly_p3329732.94
k_t4p_n3935138.83
k_t4p_p5145949.56
Logn1917118.61
mA-t2-1qbf-5cnf-160var-1280cl10100.04
mA-t2-1qbf-5cnf-160var-2560cl2085022.42
mA-t2-1qbf-5cnf-160var-320cl10100.06
mA-t2-1qbf-5cnf-160var-5120cl109009.31
mA-t2-1qbf-5cnf-160var-640cl10100.07
mA-t2-1qbf-5cnf-20var-160cl10100.05
mA-t2-1qbf-5cnf-20var-320cl10100.07
mA-t2-1qbf-5cnf-20var-40cl10100.06
mA-t2-1qbf-5cnf-20var-640cl10100.18
mA-t2-1qbf-5cnf-20var-80cl10100.01
mA-t2-1qbf-5cnf-40var-1280cl10109.01
mA-t2-1qbf-5cnf-40var-160cl10100.06
mA-t2-1qbf-5cnf-40var-320cl10100.04
mA-t2-1qbf-5cnf-40var-640cl10100.07
mA-t2-1qbf-5cnf-40var-80cl10100.07
mA-t2-1qbf-5cnf-80var-1280cl10100.42
mA-t2-1qbf-5cnf-80var-160cl10100.08
mA-t2-1qbf-5cnf-80var-2560cl2018019.32
mA-t2-1qbf-5cnf-80var-320cl10100.04
mA-t2-1qbf-5cnf-80var-640cl10100.06
mA-t2-2qbf-5cnf-160var-1280cl109010.01
mA-t2-2qbf-5cnf-160var-2560cl201033.64
mA-t2-2qbf-5cnf-160var-320cl2018020.06
mA-t2-2qbf-5cnf-160var-5120cl20101
mA-t2-2qbf-5cnf-160var-640cl109010.05
mA-t2-2qbf-5cnf-20var-160cl101015.19
mA-t2-2qbf-5cnf-20var-320cl10100.1
mA-t2-2qbf-5cnf-20var-40cl10100.05
mA-t2-2qbf-5cnf-20var-640cl10100.05
mA-t2-2qbf-5cnf-20var-80cl101016.8
mA-t2-2qbf-5cnf-40var-1280cl10100.07
mA-t2-2qbf-5cnf-40var-160cl20216073.16
mA-t2-2qbf-5cnf-40var-320cl20314079.36
mA-t2-2qbf-5cnf-40var-640cl20100.22
mA-t2-2qbf-5cnf-40var-80cl10100.43
mA-t2-2qbf-5cnf-80var-1280cl20101.1
mA-t2-2qbf-5cnf-80var-160cl1010466.59
mA-t2-2qbf-5cnf-80var-2560cl10100.19
mA-t2-2qbf-5cnf-80var-320cl2018020.06
mA-t2-2qbf-5cnf-80var-640cl2018020.02
mA-t2-3qbf-5cnf-160var-1280cl109912.47
mA-t2-3qbf-5cnf-160var-2560cl2018020.06
mA-t2-3qbf-5cnf-160var-320cl10100.05
mA-t2-3qbf-5cnf-160var-5120cl109010
mA-t2-3qbf-5cnf-160var-640cl20100.12
mA-t2-3qbf-5cnf-20var-160cl201010.92
mA-t2-3qbf-5cnf-20var-320cl201040.2
mA-t2-3qbf-5cnf-20var-40cl10100.05
mA-t2-3qbf-5cnf-20var-640cl10100.16
mA-t2-3qbf-5cnf-20var-80cl10100.04
mA-t2-3qbf-5cnf-40var-1280cl1010111.92
mA-t2-3qbf-5cnf-40var-160cl10100.04
mA-t2-3qbf-5cnf-40var-320cl2091807.24
mA-t2-3qbf-5cnf-40var-640cl20412106.24
mA-t2-3qbf-5cnf-40var-80cl10100.04
mA-t2-3qbf-5cnf-80var-1280cl2018020.02
mA-t2-3qbf-5cnf-80var-160cl10100.04
mA-t2-3qbf-5cnf-80var-2560cl20214446.14
mA-t2-3qbf-5cnf-80var-320cl20100.12
mA-t2-3qbf-5cnf-80var-640cl10100.08
mA-t2-4qbf-5cnf-160var-1280cl1018225.9
mA-t2-4qbf-5cnf-160var-2560cl2018020.12
mA-t2-4qbf-5cnf-160var-320cl10100.04
mA-t2-4qbf-5cnf-160var-5120cl2018020.1
mA-t2-4qbf-5cnf-160var-640cl2018020.04
mA-t2-4qbf-5cnf-20var-160cl2010152.62
mA-t2-4qbf-5cnf-20var-320cl20104.44
mA-t2-4qbf-5cnf-20var-40cl10100.02
mA-t2-4qbf-5cnf-20var-640cl20100.3
mA-t2-4qbf-5cnf-20var-80cl10100.18
mA-t2-4qbf-5cnf-40var-1280cl20105.24
mA-t2-4qbf-5cnf-40var-160cl101095.02
mA-t2-4qbf-5cnf-40var-320cl20103066.38
mA-t2-4qbf-5cnf-40var-640cl20116633.3
mA-t2-4qbf-5cnf-40var-80cl10100.06
mA-t2-4qbf-5cnf-80var-1280cl2018020.06
mA-t2-4qbf-5cnf-80var-160cl10100.09
mA-t2-4qbf-5cnf-80var-2560cl20214442.48
mA-t2-4qbf-5cnf-80var-320cl20312820.64
mA-t2-4qbf-5cnf-80var-640cl1027442.14
mA-t2-5qbf-5cnf-160var-1280cl10100.11
mA-t2-5qbf-5cnf-160var-2560cl2018020.08
mA-t2-5qbf-5cnf-160var-320cl10100.08
mA-t2-5qbf-5cnf-160var-5120cl2018020.06
mA-t2-5qbf-5cnf-160var-640cl20100.06
mA-t2-5qbf-5cnf-20var-160cl10100.04
mA-t2-5qbf-5cnf-20var-320cl2010827.82
mA-t2-5qbf-5cnf-20var-40cl10100.07
mA-t2-5qbf-5cnf-20var-640cl201053.4
mA-t2-5qbf-5cnf-20var-80cl10100.05
mA-t2-5qbf-5cnf-40var-1280cl20117806.54
mA-t2-5qbf-5cnf-40var-160cl10100.05
mA-t2-5qbf-5cnf-40var-320cl20100.04
mA-t2-5qbf-5cnf-40var-640cl20314074.52
mA-t2-5qbf-5cnf-40var-80cl10100.03
mA-t2-5qbf-5cnf-80var-1280cl2018020.08
mA-t2-5qbf-5cnf-80var-160cl10100.09
mA-t2-5qbf-5cnf-80var-2560cl2018020.2
mA-t2-5qbf-5cnf-80var-320cl10100.02
mA-t2-5qbf-5cnf-80var-640cl20100.18
mA-t2-6qbf-5cnf-160var-1280cl109010.04
mA-t2-6qbf-5cnf-160var-2560cl2018020.06
mA-t2-6qbf-5cnf-160var-320cl10100.09
mA-t2-6qbf-5cnf-160var-5120cl2018020.1
mA-t2-6qbf-5cnf-160var-640cl20100.12
mA-t2-6qbf-5cnf-20var-160cl2046162.42
mA-t2-6qbf-5cnf-20var-320cl2010479.22
mA-t2-6qbf-5cnf-20var-40cl10100.03
mA-t2-6qbf-5cnf-20var-640cl201050.76
mA-t2-6qbf-5cnf-20var-80cl10100.04
mA-t2-6qbf-5cnf-40var-1280cl20117843.52
mA-t2-6qbf-5cnf-40var-160cl10100.02
mA-t2-6qbf-5cnf-40var-320cl2094109.48
mA-t2-6qbf-5cnf-40var-640cl20116293.88
mA-t2-6qbf-5cnf-40var-80cl10100.06
mA-t2-6qbf-5cnf-80var-1280cl2018020.1
mA-t2-6qbf-5cnf-80var-160cl10100.11
mA-t2-6qbf-5cnf-80var-2560cl2018020.06
mA-t2-6qbf-5cnf-80var-320cl10100.07
mA-t2-6qbf-5cnf-80var-640cl20414505.84
MutexP78343387.97
Qshifter61511481.46
renHorn8456282.08
RobotsD2701045057.47
RobotsD3701337960.87
RobotsD4742022140.07
RobotsD5712021184.71
s11961715317.08
s12692724326.53
s2736126129.17
s2983733336.78
s33304237840.82
s3863127931.08
s4992421623.65
s5102219820.7
s641290.07
s7133531534.75
s8203430633.52
SzymanskiP101127647.86
term169434246.47
Toilet33534422.49
ToiletA30891905.82
ToiletC41119175.47
Tree874725082.53
uclid30117122.41
VonNeumann751041.43
z4ml61440.08