Published June 8, 2024 | Version v1
Dataset Open

SAT Competition 2011 Application Track Benchmarks

Authors/Creators

  • 1. Albert-Ludwigs-Universität Freiburg

Description

These are the 300 CNF files in DIMACS format from the application track of the SAT competition 2011.

Files

sat-competition-2011-application-benchmarks.zip

Files (691.5 MB)

Name Size Download all
md5:1a06cb9e2b7cd7c3f80121d1bcb8b48c
691.5 MB Preview Download