Published June 11, 2024 | Version v1
Dataset Open

SAT Competition 2007 Industrial Track Benchmarks

Authors/Creators

  • 1. Albert-Ludwigs-Universität Freiburg

Description

These are the 234 CNF files in DIMACS format from the industrial track of the SAT competition 2007.

 

Files

sat-competition-2007-industrial-benchmarks.zip

Files (455.6 MB)

Name Size Download all
md5:85780a60ac834d0a76909ed2d141d68f
455.6 MB Preview Download