SMT Check LIST