Deleting solvers