SMT B Final PMA+ vs SMT A Final PMA+