Published June 11, 2024 | Version v1
Dataset Open

Distributed SAT Competition 2004 Industrial Track Benchmarks

Authors/Creators

  • 1. Albert-Ludwigs-Universität Freiburg

Description

These are the 324 CNF files in DIMACS format from the industrial track of the SAT competition 2004 which were distributed after the competition.

 

Files

sat-competition-2004-industrial-benchmarks.zip

Files (1.7 GB)

Name Size Download all
md5:15d28203c09907db49305145e0a0adec
1.7 GB Preview Download