Published June 11, 2024 | Version v1
Dataset Open

SAT Competition 2009 Application Track Benchmarks

Authors/Creators

  • 1. Albert-Ludwigs-Universität Freiburg

Description

These are the 292 CNF files in DIMACS format from the application track of the SAT competition 2009.

Files

sat-competition-2009-application-benchmarks.zip

Files (393.1 MB)

Name Size Download all
md5:dd754873f9b956e95b12e6be2f6add23
393.1 MB Preview Download