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