"The oldResult (" + oldResult + ") and newResult (" + newResult
+ ") should have the same name, because they have the same inputSolutionFile ("
+ oldResult.inputSolutionFile + ").");
}
for (Iterator<ProblemStatistic> it = newResult.problemStatisticList.iterator(); it.hasNext(); ) {
ProblemStatistic newStatistic = it.next();
if (!oldResult.hasProblemStatisticType(newStatistic.getProblemStatisticType())) {
it.remove();
}
}
newResult.entityCount = ConfigUtils.mergeProperty(oldResult.entityCount, newResult.entityCount);
newResult.variableCount = ConfigUtils.mergeProperty(oldResult.variableCount, newResult.variableCount);