SAT Competition Benchmarks 2002 - 2024

These7330 benchmarks normalized with https://github.com/arminbiere/normalize-cnf include without duplication the crafted, combinatorial, industrial and application benchmarks from the SAT competition 2002-2024, covering the industrial/application benchmark sets we collected seperately for these competitions and races from 2002-2019 and the main track instances from 2020-2024, as well as all the instances used in the anniversary track from 2022.  We have also included a separate file that allows to map benchmarks to GBD hashes from used in https://benchmark-database.de