Published June 8, 2024 | Version v1
Dataset Open

SAT Challenge 2012 Application Track Benchmarks

Authors/Creators

  • 1. Albert-Ludwigs-Universität Freiburg

Description

These are the 600 CNF files in DIMACS format from the application track of the SAT challenge 2012.

Files

sat-challenge-2012-application-benchmarks.zip

Files (1.7 GB)

Name Size
md5:d05fe642c8968e277820a424c3cc0477
1.7 GB Preview Download