public static void dump(Search search) { solvingDiff.print(); try { String targetName = search.getConfig().getStringArray("target")[0]; String solverName = ProblemCompare.class.getSimpleName(); String fileName = TablePrinter.TABLE_DIR + targetName + "." + solverName + ".ser"; SolvingDiff.writeToFile(fileName, solvingDiff); } catch (IOException _) { throw new RuntimeException(TablePrinter.ERR_MSG); } }