Published June 2, 2024 | Version v1
Dataset Open

SAT Race 2015 Benchmarks

Authors/Creators

  • 1. Albert-Ludwigs-Universität Freiburg

Description

These are the 300 CNF files in DIMACS format from the main track of the SAT race 2015.

Files

sat-race-2015-main-benchmarks.zip

Files (287.2 MB)

Name Size Download all
md5:831175ca2e509c848f7969d9870cc66e
287.2 MB Preview Download