baseline building and smt checking