A Benchmark Collection of #SAT Instances and Tree Decompositions

Benchmarks used for the paper

Johannes K. Fichte, Markus Hecher, Stefan Woltran, Markus Hecher: Weighted Model Counting on the GPU by Exploiting Small Treewidth, Proceedings of the 26th Annual European Symposium on Algorithms (ESA'2018).

For details we refer to the original sources of the benchmarks (https://tinyurl.com/countingbenchmarks), which contains benchmarks from the following sources:

• ApproxMC(165 Instances): https://www.cs.rice.edu/CS/Verification/Projects/ApproxMC/
• C2D(14 Instances): http://reasoning.cs.ucla.edu/c2d/results.html
• Cachet(1090 Instances): https://www.cs.rochester.edu/u/kautz/Cachet/ModelCountingBenchmarks/index.html
• counting-benchmarks(1451 Instances): https://github.com/dfremont/counting-benchmarks