Published March 27, 2025 | Version v1
Dataset Open

SAT Competition 2024 Main Track Benchmarks

Authors/Creators

  • 1. ROR icon University of Freiburg

Description

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

Files

sat-competition-2024-main-benchmarks.zip

Files (4.3 GB)

Name Size Download all
md5:4873f72ffb3a5ae89b39ea08be30a7df
4.3 GB Preview Download