Published June 11, 2024 | Version v1
Dataset Open

SAT Race 2008 Benchmarks

Authors/Creators

  • 1. Albert-Ludwigs-Universität Freiburg

Description

These are the 100 CNF files in DIMACS format from the main track of the SAT race 2008.

Files

sat-race-2008-benchmarks.zip

Files (249.3 MB)

Name Size Download all
md5:6e6ae7d7c70b46f0a2fc2b0fe22d09ad
249.3 MB Preview Download