SMT Baseline PMA+ vs SMT Final J PMA+