SMT Baseline PMA+ vs SMT Final A PMA+