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

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.