SMT Baseline PMA+ vs SMT Final C PMA+