Published February 28, 2025 | Version v3
Dataset Open

CaDiCaL 2.2 System Description Artifact

Authors/Creators

  • 1. ROR icon University of Freiburg
  • 2. ROR icon TU Wien
  • 3. Johannes Kepler University

Description

This is the artifact  of our CaDiCaL 2.2 paper.

We provide results on the benchmarks for the SAT Competition 2024.

The benchmarks were downloaded from the competition page.

- `bin` binary contains the actual binaries used
- `src` contains the source code of all solvers and tooles used
- `cadical-2.2` contains the experimental results for the new CaDiCaL 2.2
- `cadical-2.0` contains the experimental results for the old CaDiCaL 2.0
- `kissat-mab-hywalk-sc2022` results for the winner of SAT Competition 2024
- `kissat-sc2024` results for the winner of the SAT Competition 2024
- `sbva-cadical-sc2023` results for the winner of the SAT Competition 2023

Files

Files (35.9 MB)

Name Size Download all
md5:660c6dd28bba0b88ce7436e6355b510e
35.9 MB Download

Additional details

Funding

FWF Austrian Science Fund
T-1306
FWF Austrian Science Fund
W1255-N23
FWF Austrian Science Fund
S11408-N23
Deutsche Forschungsgemeinschaft
bwHPC INST 35/1597-1 FUGG

Software

Repository URL
https://github.com/arminbiere/cadical
Programming language
C++
Development Status
Active