solvers' cache added