Sampled and Normalized Satisfiable Instances from the main track of the SAT Competition 2004 to 2022
收藏NIAID Data Ecosystem2026-03-14 收录
下载链接：
https://zenodo.org/record/7750075
下载链接
链接失效反馈官方服务：
资源简介：
We collected all benchmarks in DIMACS format from the main track of the SAT Competitions from 2004 to 2022, normalized them by pretty printing in a standardized way and stripped comments using the included 'normalize.c' program. Then we computed the MD5 checksum and 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.
创建时间：
2023-03-19
