GPUSAT3 Benchmark Data and Source Code
Johannes K. Fichte, Markus Hecher, Valentin Roland · Zenodo (CERN European Organization for Nuclear Research) · 2021
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. *