SMT Baseline PMA+ vs SMT Final G PMA+