SMT Baseline P1 PMA+ vs SMT Baseline P2 PMA+