Published March 9, 2026
| Version v1
Dataset
Open
Artifact CaDiCaL 3.0 Paper
Authors/Creators
-
1.
University of Freiburg
-
2.
TU Wien
- 3. Johannes Kepler University
-
4.
Karlsruhe Institute of Technology
Description
This artifact contains the experimental data for our CaDiCaL 3.0 paper including source code, binaries, scripts to run the experiments, log-files, plots and scripts to produce plots. The SAT Competition 2025 and Hardward Model Checking Competition 2025 benchmarks used in our experiments are available separately.
Files
Files
(116.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:be2fa25d96f09b120f5437f62475badd
|
116.6 MB | Download |