Acknowledgements
The broader data collection process included contributions from individuals whose data was transformed. We duly acknowledge the following for making their data publicly available:
- Fichte, Johannes; Hecher, Markus; Florim Hamiti: Model Counting Competition 2020
- Fichte, Johannes; Hecher, Markus: Model Counting Competition 2021 2022 2023
- Fichte, Johannes; Hecher, Markus; Woltran, Stefan; Zisser, Markus: A Benchmark Collection of #SAT Instances and Tree Decompositions
- Meel, Kuldeep S.: Model Counting and Uniform Sampling Instances
- Automated Reasoning Group at the University of California, Irvine: UAI Competitions
- Martinis, John M. et al.: Quantum supremacy using a programmable superconducting processor Dataset. Dryad.
Moreover, we thank the following authors of open source software used to generated instances: