Published August 4, 2021
| Version v1
Dataset
Open
GPUSAT3 Benchmark Data and Source Code
Authors/Creators
- 1. TU Dresden, Germany
- 2. TU Wien, Austria
Description
Benchmark data and source code for GPUSAT3.
This dataset contains:
* decompositions_mccext.zip: Tree decompositions by htd, flowcutter and tamaki for the GPUSAT3 extended benchmark set.
* track12.zip: Benchmark instances for the GPUSAT3 extended benchmark.
* mccuda-source.zip: GPUSAT3 source code at the time of submission.
* experiments.zip: Benchmark results for GPUSAT3 and compared solvers.
*