public String getSingleReportDirectoryPath() {
return problemBenchmarkResult.getProblemReportDirectoryPath()
+ "/"
+ solverBenchmarkResult.getName();
}
/** @return never null, filename safe */
public String getName() {
return problemBenchmarkResult.getName() + "_" + solverBenchmarkResult.getName();
}
