Published June 11, 2024 | Version v1
Dataset Open

SAT Race 2006 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 2006.

Files

sat-race-2006-benchmarks.zip

Files (187.2 MB)

Name Size Download all
md5:0bf175f0e850d7f66fc2bc3f9e5c9378
187.2 MB Preview Download