Published June 2, 2024 | Version v1
Dataset Open

SAT Competition 2017 Main Track Benchmarks

Authors/Creators

  • 1. Albert-Ludwigs-Universität Freiburg

Description

These are the 350 CNF files in DIMACS format from the main track of the SAT competition 2017.

Files

sat-competition-2017-main-benchmarks.zip

Files (1.7 GB)

Name Size
md5:7c4c3cddd8e750a6435de8ebfc350bcb
1.7 GB Preview Download