Large SAT Benchmark Suite for Certified SAT Solving with GPU Accelerated Inprocessing

This submission includes the SAT benchmark dataset for "Certified SAT Solving with GPU Accelerated Inprocessing" article. The dataset is intended to evaluate the performance of ParaFROST GPU solver and to compare with the state of the art.

本提交内容包含了《基于GPU加速内嵌处理的可验证SAT求解》（"Certified SAT Solving with GPU Accelerated Inprocessing"）一文所使用的布尔可满足性（SAT）基准数据集。该数据集旨在用于评测ParaFROST GPU求解器的性能，并与当前顶尖的同类求解器进行对比。