Published June 2, 2024 | Version v1
Dataset Open

SAT Race 2019 Benchmarks

Authors/Creators

  • 1. Albert-Ludwigs-Universität Freiburg

Description

These are the 400 CNF files in DIMACS format from the SAT race 2019.

Files

sat-race-2019-benchmarks.zip

Files (3.7 GB)

Name Size Download all
md5:c7d995780b81b5a34724a171490a256e
3.7 GB Preview Download