return;
}
ArrayList<Object> results = new ArrayList<Object>();
while (results.size() < reasonerNumber) {
AnytimeResult result = pool.readData();
if (result != null) {
results.add(result);
setData(result.getReasoner(), (Set<OWLNamedIndividual>) result.getAnswer());
if(logger.isInfoEnabled()){
logger.info(result.getReasoner() + "finished with "