Published June 2, 2024 | Version v1
Dataset Open

SAT Competition 2020 Main Track Benchmarks

Authors/Creators

  • 1. Albert-Ludwigs-Universität Freiburg

Description

These are the 400 CNF files in DIMACS format from the main track of the SAT competition 2020.

Files

sat-competition-2020-main-benchmarks.zip

Files (2.4 GB)

Name Size Download all
md5:c92c523d8f1f3d44181c138b9b4e4870
2.4 GB Preview Download