time variables in Solvers