SMT Baseline PMA+ vs SMT Final B PMA+