SMT-Performance