zenodoopen
Large SAT Benchmark Suite for Certified SAT Solving with GPU Accelerated Inprocessing
<p>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.</p>
ShareScore
32/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 4
- Harmonization
- 4
- Access
- 16
- Reuse readiness
- 8
- Engagement
- 0