Published June 28, 2018 | Version v1
Dataset Open

Analyzed Benchmarks and Raw Data on Experiments for gpusat

Authors/Creators

  • 1. TU Dresden
  • 2. TU Wien

Description

For details see: 

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 benchmarking we used a benchmark-tool. See https://github.com/daajoe/benchmark-tool for details.

 

Files

gpusat_benchmark_results_raw.zip

Files (266.7 MB)

Name Size
md5:0a03fc5127f18a78f63884172e55fb1c
266.7 MB Preview Download