runResult.setClassificationTime(classificationTime);
runResult.setAboxUpdateTime(aboxUpdateTime);
runResult.setInstanceRetrievalTime(instanceRetrievalTime);
runResult.setApproximationTime(approximationTime);
runResult.setInstances(approximateClassInstances);
runResult.setAxiomRewriteTime(approximationResult
.axiomRewriteTime());
runResult.setVocabularySelectionTime(approximationResult
.selectionTime());
runResult.setRunNumber(runCounter);