Published June 8, 2024 | Version v1
Dataset Open

SAT Competition 2013 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 2013.

Files

sat-competition-2013-application-benchmarks.zip

Files (746.3 MB)

Name Size
md5:7907097ebd707e40d6776c6e81481fb7
746.3 MB Preview Download