Published July 16, 2019 | Version v1
Dataset Open

Analyzed Benchmarks on Experiments for gpusat2

Authors/Creators

  • 1. TU Dresden
  • 2. TU Wien

Description

For details see: 

Johannes K. Fichte, Markus Hecher, Markus Hecher: An Improved GPU-based SAT Model Counter, Proceedings of the 25th International Conference on Principles and Practice of Constraint Programming (CP'2019).

For benchmarking we used a benchmark-tool. See https://github.com/daajoe/benchmark-tool for details.

See also: https://github.com/daajoe/GPUSAT and https://github.com/daajoe/gpusat_experiments

Files

results.zip

Files (493.0 MB)

Name Size
md5:c4391e8df1c4197665c361e36309e534
493.0 MB Preview Download