SMT Baseline PMA- vs SMT Final A PMA-