}
for (SolverBenchmark solverBenchmark : solverBenchmarkList) {
solverBenchmark.benchmarkingEnded();
}
determineRanking();
StatisticManager statisticManager = new StatisticManager(benchmarkInstanceDirectory.getName(),
statisticDirectory, unifiedProblemBenchmarkList);
statisticManager.writeStatistics(solverBenchmarkList);
logger.info("Benchmarking ended: winning solverBenchmark ({}), statistic html overview ({}).",
winningSolverBenchmark.getName(), statisticManager.getHtmlOverviewFile().getAbsolutePath());
}