Fixed SMT benchmark