runResult.setInstanceRetrievalTime(instanceRetrievalTime);
runResult.setApproximationTime(approximationTime);
runResult.setInstances(approximateClassInstances);
runResult.setAxiomRewriteTime(approximationResult
.axiomRewriteTime());
runResult.setVocabularySelectionTime(approximationResult
.selectionTime());
runResult.setRunNumber(runCounter);
if (StrategyManager.getLastSelectionStrategy() != null)
StrategyManager.getLastSelectionStrategy().feedback(