SAT Race 2019 Benchmarks

From MaRDI portal


DOI10.5281/zenodo.11428417ZenodoMaRDI QIDQ6700835FDO


Authors Armin Biere

Publication date 2 June 2024

Copyright license Creative Commons Attribution 4.0 International


Description

These are the 400 CNF files in DIMACS format from the SAT race 2019.











This page was built for dataset: SAT Race 2019 Benchmarks

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