SMT Baseline PMA+ vs SMT Final I PMA+