Algorithm selection for SMT