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

<p>We collected all benchmarks in DIMACS format from the main track of the SAT Competitions from 2004 to 2022, normalized them by pretty printing&nbsp;in a standardized way and stripped&nbsp;comments using the included &#39;normalize.c&#39; program.&nbsp; Then we computed the MD5 checksum&nbsp;and removed duplicates.&nbsp;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).&nbsp; Each benchmark is individually compressed with &#39;.xz&#39; and then all compressed benchmarks are packed into one zip file.</p>