SMT IV COMP