Published June 11, 2024 | Version v1
Dataset Open

SAT Race 2010 Benchmarks

Authors/Creators

  • 1. Albert-Ludwigs-Universität Freiburg

Description

These are the 100 CNF files in DIMACS format from the main track of the SAT race 2010.

Files

sat-race-2010-benchmarks.zip

Files (300.8 MB)

Name Size
md5:0c0d2e2cc031f7365801464ac3f82c98
300.8 MB Preview Download