Changes to timers for solvers