SMT Baseline PMA+ vs SMT Baseline PMA-