public int getRetrieved() { return foundGuessed.totalIntCount(); }
public int getRelevant() { return foundCorrect.totalIntCount(); }
/** Return overall number of correct answers */ public int getCorrect() { return correctGuesses.totalIntCount(); }