sSolve results solving families - 2005

Family# Total# Sat# UnsatTime
Adder17322139652.34
Blocks1021364170.29
C432732143694.19
C49976254959.22
C53158072068.66
C62887769375.56
C8807870267.77
Chain87122059.42
comp28439151.56
Connect41384341789.55
Counter71648747.48
CounterFactual1671225154892500.75
DFlipFlop731019.28
evader-pursuer-4x4-logarithmic59335330.87
evader-pursuer-4x4-standard6457659.72
evader-pursuer-6x6-logarithmic67248659.91
evader-pursuer-6x6-standard6659459.01
evader-pursuer-8x8-logarithmic72248773.41
FPGA_PLB_FIT_FAST383116.24
FPGA_PLB_FIT_SLOW25122293.53
horn15676727616.98
Impl7499332.84
jmc_quant4338737.14
jmc_quant_squaring9585575.46
k_branch_n46139709.07
k_branch_p4338742.29
k_d4_n4237840.93
k_d4_p42132459.23
k_dum_n35227638.33
k_dum_p47235315.81
k_grz_n42132440.73
k_grz_p3733335.27
k_lin_n2749485.47
k_lin_p3539911.26
k_path_n40129808.83
k_path_p35129733.05
k_ph_n38219825.55
k_ph_p30124326.69
k_poly_n4237840.22
k_poly_p3360.41
k_t4p_n3935137.9
k_t4p_p5145949.12
Logn192148.55
mA-t2-1qbf-5cnf-160var-1280cl10100.09
mA-t2-1qbf-5cnf-160var-2560cl20104.58
mA-t2-1qbf-5cnf-160var-320cl10100.05
mA-t2-1qbf-5cnf-160var-5120cl109009.9
mA-t2-1qbf-5cnf-160var-640cl10100.05
mA-t2-1qbf-5cnf-20var-160cl10100.02
mA-t2-1qbf-5cnf-20var-320cl10100.07
mA-t2-1qbf-5cnf-20var-40cl10100.04
mA-t2-1qbf-5cnf-20var-640cl10100.05
mA-t2-1qbf-5cnf-20var-80cl10100.05
mA-t2-1qbf-5cnf-40var-1280cl10100.7
mA-t2-1qbf-5cnf-40var-160cl10100.04
mA-t2-1qbf-5cnf-40var-320cl10100.04
mA-t2-1qbf-5cnf-40var-640cl10100.07
mA-t2-1qbf-5cnf-40var-80cl10100.03
mA-t2-1qbf-5cnf-80var-1280cl10100.12
mA-t2-1qbf-5cnf-80var-160cl10100.05
mA-t2-1qbf-5cnf-80var-2560cl2010440.36
mA-t2-1qbf-5cnf-80var-320cl10100.04
mA-t2-1qbf-5cnf-80var-640cl10100.01
mA-t2-2qbf-5cnf-160var-1280cl1063828.51
mA-t2-2qbf-5cnf-160var-2560cl20100.48
mA-t2-2qbf-5cnf-160var-320cl20100.06
mA-t2-2qbf-5cnf-160var-5120cl20101.24
mA-t2-2qbf-5cnf-160var-640cl1036485.77
mA-t2-2qbf-5cnf-20var-160cl10100.06
mA-t2-2qbf-5cnf-20var-320cl10100.02
mA-t2-2qbf-5cnf-20var-40cl10100.04
mA-t2-2qbf-5cnf-20var-640cl10100.06
mA-t2-2qbf-5cnf-20var-80cl10100.04
mA-t2-2qbf-5cnf-40var-1280cl10100.08
mA-t2-2qbf-5cnf-40var-160cl20640.58
mA-t2-2qbf-5cnf-40var-320cl20100.2
mA-t2-2qbf-5cnf-40var-640cl20100.14
mA-t2-2qbf-5cnf-40var-80cl10100.07
mA-t2-2qbf-5cnf-80var-1280cl20100.22
mA-t2-2qbf-5cnf-80var-160cl10100.03
mA-t2-2qbf-5cnf-80var-2560cl10100.16
mA-t2-2qbf-5cnf-80var-320cl20256638.36
mA-t2-2qbf-5cnf-80var-640cl20106.22
mA-t2-3qbf-5cnf-160var-1280cl109009.63
mA-t2-3qbf-5cnf-160var-2560cl20100.4
mA-t2-3qbf-5cnf-160var-320cl10100.07
mA-t2-3qbf-5cnf-160var-5120cl10100.28
mA-t2-3qbf-5cnf-160var-640cl20100.2
mA-t2-3qbf-5cnf-20var-160cl20100.1
mA-t2-3qbf-5cnf-20var-320cl20100.12
mA-t2-3qbf-5cnf-20var-40cl10100.02
mA-t2-3qbf-5cnf-20var-640cl10100.03
mA-t2-3qbf-5cnf-20var-80cl10100.01
mA-t2-3qbf-5cnf-40var-1280cl10100.11
mA-t2-3qbf-5cnf-40var-160cl10100.03
mA-t2-3qbf-5cnf-40var-320cl209137.26
mA-t2-3qbf-5cnf-40var-640cl20100.04
mA-t2-3qbf-5cnf-40var-80cl10100.01
mA-t2-3qbf-5cnf-80var-1280cl20100.18
mA-t2-3qbf-5cnf-80var-160cl10100.05
mA-t2-3qbf-5cnf-80var-2560cl20100.2
mA-t2-3qbf-5cnf-80var-320cl20100.08
mA-t2-3qbf-5cnf-80var-640cl1055505.38
mA-t2-4qbf-5cnf-160var-1280cl1027417.45
mA-t2-4qbf-5cnf-160var-2560cl20100.62
mA-t2-4qbf-5cnf-160var-320cl10100.1
mA-t2-4qbf-5cnf-160var-5120cl20101.88
mA-t2-4qbf-5cnf-160var-640cl20100.08
mA-t2-4qbf-5cnf-20var-160cl20280.64
mA-t2-4qbf-5cnf-20var-320cl20100.06
mA-t2-4qbf-5cnf-20var-40cl10100.04
mA-t2-4qbf-5cnf-20var-640cl20100.02
mA-t2-4qbf-5cnf-20var-80cl10100.04
mA-t2-4qbf-5cnf-40var-1280cl20100.2
mA-t2-4qbf-5cnf-40var-160cl10100.02
mA-t2-4qbf-5cnf-40var-320cl2010651.1
mA-t2-4qbf-5cnf-40var-640cl20100.1
mA-t2-4qbf-5cnf-40var-80cl10100.04
mA-t2-4qbf-5cnf-80var-1280cl20100.22
mA-t2-4qbf-5cnf-80var-160cl10100.03
mA-t2-4qbf-5cnf-80var-2560cl20100.4
mA-t2-4qbf-5cnf-80var-320cl20100.08
mA-t2-4qbf-5cnf-80var-640cl1046028.68
mA-t2-5qbf-5cnf-160var-1280cl109009.77
mA-t2-5qbf-5cnf-160var-2560cl20100.92
mA-t2-5qbf-5cnf-160var-320cl10100.05
mA-t2-5qbf-5cnf-160var-5120cl20100.76
mA-t2-5qbf-5cnf-160var-640cl20100.14
mA-t2-5qbf-5cnf-20var-160cl10100.02
mA-t2-5qbf-5cnf-20var-320cl20100.16
mA-t2-5qbf-5cnf-20var-40cl10100.04
mA-t2-5qbf-5cnf-20var-640cl20100.12
mA-t2-5qbf-5cnf-20var-80cl10100.02
mA-t2-5qbf-5cnf-40var-1280cl20100.2
mA-t2-5qbf-5cnf-40var-160cl10100.03
mA-t2-5qbf-5cnf-40var-320cl20100.24
mA-t2-5qbf-5cnf-40var-640cl20100.1
mA-t2-5qbf-5cnf-40var-80cl10100.06
mA-t2-5qbf-5cnf-80var-1280cl20100.28
mA-t2-5qbf-5cnf-80var-160cl10100.03
mA-t2-5qbf-5cnf-80var-2560cl20100.28
mA-t2-5qbf-5cnf-80var-320cl10100.04
mA-t2-5qbf-5cnf-80var-640cl2083631.4
mA-t2-6qbf-5cnf-160var-1280cl1045406.93
mA-t2-6qbf-5cnf-160var-2560cl20100.98
mA-t2-6qbf-5cnf-160var-320cl10100.12
mA-t2-6qbf-5cnf-160var-5120cl20102.16
mA-t2-6qbf-5cnf-160var-640cl20100.06
mA-t2-6qbf-5cnf-20var-160cl20910.1
mA-t2-6qbf-5cnf-20var-320cl20100.16
mA-t2-6qbf-5cnf-20var-40cl10100.04
mA-t2-6qbf-5cnf-20var-640cl20100.04
mA-t2-6qbf-5cnf-20var-80cl10100.04
mA-t2-6qbf-5cnf-40var-1280cl20100.22
mA-t2-6qbf-5cnf-40var-160cl10100.05
mA-t2-6qbf-5cnf-40var-320cl20811825.28
mA-t2-6qbf-5cnf-40var-640cl20100.26
mA-t2-6qbf-5cnf-40var-80cl10100.05
mA-t2-6qbf-5cnf-80var-1280cl20100.28
mA-t2-6qbf-5cnf-80var-160cl10100.05
mA-t2-6qbf-5cnf-80var-2560cl20100.5
mA-t2-6qbf-5cnf-80var-320cl10100.07
mA-t2-6qbf-5cnf-80var-640cl20713605.52
MutexP7871.07
Qshifter61239616.14
renHorn8456271034.68
RobotsD2702117422.05
RobotsD37021216312
RobotsD47420218409.87
RobotsD57121117052.4
s11961715305.32
s12692724324.82
s2736126106.98
s2983733313.55
s33304237823.36
s3863127911.6
s4992421607.66
s5102219812.93
s641290.16
s7133531515.01
s8203430613.15
SzymanskiP101124934.97
term169434657.65
Toilet335330.77
ToiletA30891853.76
ToiletC41119133.92
Tree875813425.76
uclid3027028.9
VonNeumann7510133.61
z4ml61440.15