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);
}
}
