SMT Baseline PMA+ vs SMT Final F PMA+