SMT Baseline PMA+ vs SMT Final E PMA+