Collection of Benchmark Sets for ASP/AASC

These sets of benchmarking instances are used in my master's thesis (Evaluation Techniques for Algebraic Answer Set Counting Over Idempotent Semirings)  for evaluating a preprocessor for aspmc.

References for the individual sets:

smokers, simple_paths:

Thomas Eiter, Markus Hecher, and Rafael Kiesel. Treewidth-aware cycle breaking for
algebraic answer set counting. In Proceedings of the International Conference on
Principles of Knowledge Representation and Reasoning, volume 18, pages 269–279,
2021b. doi:10.24963/kr.2021/26.

Fichte, J. K. 2016. daajoe/gtfs2graphs – a
GTFS transit feed to graph format converter.
https://github.com/daajoe/gtfs2graphs at commit
219944893f874b365de1ed87fc265fd5d19d5972.

gnb, gh, blood:
Elena Bellodi, Marco Alberti, Fabrizio Riguzzi, and Riccardo Zese. Map inference for
probabilistic logic programming. Theory and Practice of Logic Programming, 20(5):
641–655, 2020. doi:10.48550/arXiv.2008.01394.