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