@Override public String toString() { return toString(getReport()); }
@Override public String toString() { return toString(getReport()); }
@Override public String toString() { return toString(getReport()); }
@Override public String toString() { return toString(getReport()); }
@Override public String toString() { return toString(getReport()); }
public String toString() { return toString(getReport()); }
stats.avgkPerBacktrackingDecisionEvent /= (double)stats.numBacktrackOccurrences; System.err.println(toString()); System.err.println(getDecisionStatsDump());
stats.avgkPerBacktrackingDecisionEvent /= (double)stats.numBacktrackOccurrences; System.err.println(toString()); System.err.println(getDecisionStatsDump());
stats.avgkPerBacktrackingDecisionEvent /= (double)stats.numBacktrackOccurrences; System.err.println(toString()); System.err.println(getDecisionStatsDump());
stats.avgkPerBacktrackingDecisionEvent /= (double)stats.numBacktrackOccurrences; System.err.println(toString()); System.err.println(getDecisionStatsDump());
stats.avgkPerBacktrackingDecisionEvent /= (double)stats.numBacktrackOccurrences; System.err.println(toString()); System.err.println(getDecisionStatsDump());
stats.avgkPerBacktrackingDecisionEvent /= (double)stats.numBacktrackOccurrences; System.err.println(toString()); System.err.println(getDecisionStatsDump());