SAT Race 2010 Benchmarks

From MaRDI portal


DOI10.5281/zenodo.11561176ZenodoMaRDI QIDQ6700844FDO


Authors Armin Biere

Publication date 11 June 2024

Copyright license Creative Commons Attribution 4.0 International


Description

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











This page was built for dataset: SAT Race 2010 Benchmarks

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=SAT_Race_2010_Benchmarks&oldid=54645806"
Powered by MediaWiki