Ce projet propose un benchmark dédié à l'argumentation logique, incluant des graphes d'argumentation générés à partir de bases de connaissances exprimées en règles existentielles. Il met à disposition trois ensembles d'instances (petites, moyennes et grandes) pour évaluer et comparer des frameworks d'argumentation. Les graphes générés possèdent des propriétés structurelles spécifiques, détaillées dans des publications associées.