There is a newer version of the record available.

Published February 25, 2025 | Version v1
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-mega-merge 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 (36.0 MB)

Name Size Download all
md5:ef431d5a1fd9f36a029c8b0fdb840f54
36.0 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