}
SolverBenchmark solverBenchmark = solverBenchmarkIt.next();
List<SolverBenchmarkResult> solverBenchmarkResultList = solverBenchmark.getSolverBenchmarkResultList();
int resultIndex = overallResultIndex % solverBenchmarkResultList.size();
SolverBenchmarkResult result = solverBenchmarkResultList.get(resultIndex);
TerminationConfig originalTerminationConfig = solverBenchmark.getSolverConfig().getTerminationConfig();
TerminationConfig tmpTerminationConfig = originalTerminationConfig.clone();
tmpTerminationConfig.shortenMaximumTimeMillisSpendTotal(timeLeft);
solverBenchmark.getSolverConfig().setTerminationConfig(tmpTerminationConfig);
Solver solver = solverBenchmark.getSolverConfig().buildSolver();
File unsolvedSolutionFile = result.getUnsolvedSolutionFile();
Solution unsolvedSolution = readUnsolvedSolution(xStream, unsolvedSolutionFile);
solver.setPlanningProblem(unsolvedSolution);