Published July 26, 2021
| Version v1
Dataset
Open
Large SAT Benchmark Suite for Certified SAT Solving with GPU Accelerated Inprocessing
Description
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.
Files
benchmarks-j2021.zip
Files
(7.4 GB)
Name | Size | Download all |
---|---|---|
md5:4d0aed943bede82a4b44aed94eb2a8e0
|
7.4 GB | Preview Download |