Sampled and Normalized Satisfiable Instances from the main track of the SAT Competition 2004 to 2022

DOI10.5281/zenodo.7750076Zenodo7750076MaRDI QIDQ6700797FDOQ6700797

Dataset published at Zenodo repository.

Armin Biere, Nils Froleyks, Wenxi Wang

Publication date: 19 March 2023

Copyright license: Creative Commons Attribution 4.0 International

Description

We collected all benchmarks in DIMACS format from the main track of the SAT Competitions from 2004 to 2022, normalized them by pretty printingin a standardized way and strippedcomments using the included normalize.c program. Then we computed the MD5 checksumand removed duplicates.The final benchmark set of 1798 benchmarks consists only of those Kissat 3.0.0 showed to be satisfiable within a time limit of 5000 seconds (running on an AMD Ryzen Threadripper 3970X processor). Each benchmark is individually compressed with .xz and then all compressed benchmarks are packed into one zip file.

This page was built for dataset: Sampled and Normalized Satisfiable Instances from the main track of the SAT Competition 2004 to 2022