Ce projet vise à expérimenter différentes algorithmes pour résoudre le problème des réponses abondantes dans les bases de connaissances. Il fournit des notions coopératives telles que le jeu de sous-requêtes minimales induisant l'échec (MFIS) et le jeu de sous-requêtes maximales ne échouant pas (XSS) pour aider à la reformulation de requêtes. Il est utilisé pour évaluer les performances des algorithmes en termes de temps de calcul.