SMT Baseline P1 PMA- vs SMT Baseline P2 PMA-