SAT Competition 2007 Industrial Track Benchmarks

DOI10.5281/zenodo.11561535ZenodoMaRDI QIDQ6700847FDO

Authors Armin Biere

Publication date 11 June 2024

Copyright license Creative Commons Attribution 4.0 International

Description (long)

These are the 234 CNF files in DIMACS format from the industrial track of the SAT competition 2007.

This page was built for dataset: SAT Competition 2007 Industrial Track Benchmarks