SAT Race 2015 Benchmarks

From MaRDI portal
(Redirected from Dataset:6700839)


DOI10.5281/zenodo.11431262ZenodoMaRDI QIDQ6700839FDO


Authors Armin Biere

Publication date 2 June 2024

Copyright license Creative Commons Attribution 4.0 International


Description

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











This page was built for dataset: SAT Race 2015 Benchmarks

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