Published June 11, 2024 | Version v1
Dataset Open

Distributed SAT Competition 2002 Industrial Track Benchmarks

Authors/Creators

  • 1. Albert-Ludwigs-Universität Freiburg

Description

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

Files

sat-competition-2002-industrial-benchmarks.zip

Files (50.8 MB)

Name Size Download all
md5:87c2dadb2396b1dd70ef81b437c40532
50.8 MB Preview Download