qbfbdd results solving families - 2005

Family# Total# Sat# UnsatTime
Adder17322139651.6
Blocks1021365180.65
C432732145038.61
C499762146899.55
C5315802147539.34
C62887769370.63
C88078169315.39
Chain87271372.46
comp28329909.87
Connect413837048.67
Counter71746982.33
CounterFactual167141499988.24
DFlipFlop7310395.7
evader-pursuer-4x4-logarithmic59713628
evader-pursuer-4x4-standard6457644.1
evader-pursuer-6x6-logarithmic67154355.4
evader-pursuer-6x6-standard6659433.14
evader-pursuer-8x8-logarithmic72163920.41
FPGA_PLB_FIT_FAST3834229.84
FPGA_PLB_FIT_SLOW2522519.08
horn156421494015.59
Impl74626905.77
jmc_quant4338734.4
jmc_quant_squaring9585549.93
k_branch_n4641445.18
k_branch_p4338742.16
k_d4_n4237841.52
k_d4_p4237840.1
k_dum_n3531520.94
k_dum_p4742327.79
k_grz_n4237840.84
k_grz_p3733336.24
k_lin_n2724325.71
k_lin_p3531526
k_path_n4036038.89
k_path_p3531534.68
k_ph_n38128067.82
k_ph_p3027025.82
k_poly_n4237841.4
k_poly_p3329731.38
k_t4p_n3935138.6
k_t4p_p5145949.28
Logn192288.13
mA-t2-1qbf-5cnf-160var-1280cl10100.01
mA-t2-1qbf-5cnf-160var-2560cl20102409.74
mA-t2-1qbf-5cnf-160var-320cl10100.04
mA-t2-1qbf-5cnf-160var-5120cl109009.91
mA-t2-1qbf-5cnf-160var-640cl10100.03
mA-t2-1qbf-5cnf-20var-160cl10100.02
mA-t2-1qbf-5cnf-20var-320cl10100.04
mA-t2-1qbf-5cnf-20var-40cl10100.02
mA-t2-1qbf-5cnf-20var-640cl10100.02
mA-t2-1qbf-5cnf-20var-80cl10100.02
mA-t2-1qbf-5cnf-40var-1280cl10101.02
mA-t2-1qbf-5cnf-40var-160cl10100.01
mA-t2-1qbf-5cnf-40var-320cl10100.03
mA-t2-1qbf-5cnf-40var-640cl10100.08
mA-t2-1qbf-5cnf-40var-80cl10100.04
mA-t2-1qbf-5cnf-80var-1280cl10105.29
mA-t2-1qbf-5cnf-80var-160cl10100.02
mA-t2-1qbf-5cnf-80var-2560cl20103929.64
mA-t2-1qbf-5cnf-80var-320cl10100.01
mA-t2-1qbf-5cnf-80var-640cl10100.02
mA-t2-2qbf-5cnf-160var-1280cl109009.85
mA-t2-2qbf-5cnf-160var-2560cl2018014.46
mA-t2-2qbf-5cnf-160var-320cl2018019.8
mA-t2-2qbf-5cnf-160var-5120cl20312613.72
mA-t2-2qbf-5cnf-160var-640cl109009.85
mA-t2-2qbf-5cnf-20var-160cl101010.86
mA-t2-2qbf-5cnf-20var-320cl10101.45
mA-t2-2qbf-5cnf-20var-40cl10100.11
mA-t2-2qbf-5cnf-20var-640cl10100.02
mA-t2-2qbf-5cnf-20var-80cl10102.39
mA-t2-2qbf-5cnf-40var-1280cl10100.06
mA-t2-2qbf-5cnf-40var-160cl2018019.02
mA-t2-2qbf-5cnf-40var-320cl2018016.66
mA-t2-2qbf-5cnf-40var-640cl2010308.72
mA-t2-2qbf-5cnf-40var-80cl1010550.25
mA-t2-2qbf-5cnf-80var-1280cl20312610.48
mA-t2-2qbf-5cnf-80var-160cl109009.95
mA-t2-2qbf-5cnf-80var-2560cl10100.07
mA-t2-2qbf-5cnf-80var-320cl2018019.62
mA-t2-2qbf-5cnf-80var-640cl2018018.7
mA-t2-3qbf-5cnf-160var-1280cl109009.91
mA-t2-3qbf-5cnf-160var-2560cl2018019.94
mA-t2-3qbf-5cnf-160var-320cl109009.86
mA-t2-3qbf-5cnf-160var-5120cl104700.06
mA-t2-3qbf-5cnf-160var-640cl2018019.58
mA-t2-3qbf-5cnf-20var-160cl2018016.62
mA-t2-3qbf-5cnf-20var-320cl2018014.42
mA-t2-3qbf-5cnf-20var-40cl1083054.6
mA-t2-3qbf-5cnf-20var-640cl1010104.83
mA-t2-3qbf-5cnf-20var-80cl109009.49
mA-t2-3qbf-5cnf-40var-1280cl1083382.74
mA-t2-3qbf-5cnf-40var-160cl109009.86
mA-t2-3qbf-5cnf-40var-320cl2018019.38
mA-t2-3qbf-5cnf-40var-640cl2018016.88
mA-t2-3qbf-5cnf-40var-80cl109009.88
mA-t2-3qbf-5cnf-80var-1280cl2018019.5
mA-t2-3qbf-5cnf-80var-160cl109009.94
mA-t2-3qbf-5cnf-80var-2560cl2011154.38
mA-t2-3qbf-5cnf-80var-320cl2018019.64
mA-t2-3qbf-5cnf-80var-640cl109009.64
mA-t2-4qbf-5cnf-160var-1280cl109009.94
mA-t2-4qbf-5cnf-160var-2560cl2018019.96
mA-t2-4qbf-5cnf-160var-320cl109009.76
mA-t2-4qbf-5cnf-160var-5120cl2018012.52
mA-t2-4qbf-5cnf-160var-640cl2018019.7
mA-t2-4qbf-5cnf-20var-160cl2018019.58
mA-t2-4qbf-5cnf-20var-320cl2018017.54
mA-t2-4qbf-5cnf-20var-40cl1018108.67
mA-t2-4qbf-5cnf-20var-640cl2018014.56
mA-t2-4qbf-5cnf-20var-80cl109009.9
mA-t2-4qbf-5cnf-40var-1280cl2018015.02
mA-t2-4qbf-5cnf-40var-160cl109009.89
mA-t2-4qbf-5cnf-40var-320cl2018019.48
mA-t2-4qbf-5cnf-40var-640cl2018019.8
mA-t2-4qbf-5cnf-40var-80cl109009.8
mA-t2-4qbf-5cnf-80var-1280cl2018019.86
mA-t2-4qbf-5cnf-80var-160cl109009.92
mA-t2-4qbf-5cnf-80var-2560cl2018012.72
mA-t2-4qbf-5cnf-80var-320cl2018019.56
mA-t2-4qbf-5cnf-80var-640cl109009.85
mA-t2-5qbf-5cnf-160var-1280cl109009.95
mA-t2-5qbf-5cnf-160var-2560cl2018019.92
mA-t2-5qbf-5cnf-160var-320cl109009.83
mA-t2-5qbf-5cnf-160var-5120cl2018019.84
mA-t2-5qbf-5cnf-160var-640cl2018019.6
mA-t2-5qbf-5cnf-20var-160cl109009.75
mA-t2-5qbf-5cnf-20var-320cl2018019.24
mA-t2-5qbf-5cnf-20var-40cl109009.86
mA-t2-5qbf-5cnf-20var-640cl2018015.8
mA-t2-5qbf-5cnf-20var-80cl109009.87
mA-t2-5qbf-5cnf-40var-1280cl2018018.88
mA-t2-5qbf-5cnf-40var-160cl109009.75
mA-t2-5qbf-5cnf-40var-320cl2018019.52
mA-t2-5qbf-5cnf-40var-640cl2018019.7
mA-t2-5qbf-5cnf-40var-80cl109009.86
mA-t2-5qbf-5cnf-80var-1280cl2018019.94
mA-t2-5qbf-5cnf-80var-160cl109009.85
mA-t2-5qbf-5cnf-80var-2560cl2018019.64
mA-t2-5qbf-5cnf-80var-320cl109009.88
mA-t2-5qbf-5cnf-80var-640cl2018019.88
mA-t2-6qbf-5cnf-160var-1280cl109009.95
mA-t2-6qbf-5cnf-160var-2560cl2018019.9
mA-t2-6qbf-5cnf-160var-320cl109009.87
mA-t2-6qbf-5cnf-160var-5120cl2018019.86
mA-t2-6qbf-5cnf-160var-640cl2018019.76
mA-t2-6qbf-5cnf-20var-160cl2018019.7
mA-t2-6qbf-5cnf-20var-320cl2018019.7
mA-t2-6qbf-5cnf-20var-40cl109009.93
mA-t2-6qbf-5cnf-20var-640cl2018018.88
mA-t2-6qbf-5cnf-20var-80cl109009.86
mA-t2-6qbf-5cnf-40var-1280cl2018019.82
mA-t2-6qbf-5cnf-40var-160cl109009.89
mA-t2-6qbf-5cnf-40var-320cl2018019.82
mA-t2-6qbf-5cnf-40var-640cl2018019.78
mA-t2-6qbf-5cnf-40var-80cl109009.96
mA-t2-6qbf-5cnf-80var-1280cl2018019.98
mA-t2-6qbf-5cnf-80var-160cl109009.64
mA-t2-6qbf-5cnf-80var-2560cl2018019.96
mA-t2-6qbf-5cnf-80var-320cl109009.77
mA-t2-6qbf-5cnf-80var-640cl2018019.74
MutexP78343317.68
Qshifter61146847.34
renHorn84175464.76
RobotsD2702513738.39
RobotsD3702116285.46
RobotsD4742018973.79
RobotsD5712116272.58
s11961714983.9
s12692724325.38
s2736127086
s2983732986.99
s33304237820.97
s3863127340.6
s4992421609.47
s5102215910.42
s641290.07
s7133531528.73
s8203430606.44
SzymanskiP101374501.61
term1692141430.59
Toilet331124314.45
ToiletA30520725.37
ToiletC41427916.63
Tree875150068.03
uclid3027025.09
VonNeumann7510756.51
z4ml61440.73