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