for (SingleBenchmarkResult singleBenchmarkResult : singleBenchmarkResultList) {
SolverBenchmarkResult solverBenchmarkResult = singleBenchmarkResult.getSolverBenchmarkResult();
TerminationConfig originalTerminationConfig = solverBenchmarkResult.getSolverConfig().getTerminationConfig();
TerminationConfig tmpTerminationConfig = originalTerminationConfig == null
? new TerminationConfig() : originalTerminationConfig.clone();
tmpTerminationConfig.shortenTimeMillisSpentLimit(timeLeft);
solverBenchmarkResult.getSolverConfig().setTerminationConfig(tmpTerminationConfig);
Solver solver = solverBenchmarkResult.getSolverConfig().buildSolver();
solver.solve(readPlanningProblem());