modify the too large file ProblemsToSolveDriver