SMT Baseline PMA+ vs SMT Final H PMA+