Understanding SMT Features