Report number of SAT/SMT solver calls