CaDiCaL 2.2 System Description Artifact
DOI10.5281/zenodo.14923247Zenodo14923247MaRDI QIDQ6700864FDOQ6700864
Dataset published at Zenodo repository.
Florian Pollitt, Nils Froleyks, Katalin Fazekas, Mathias Fleury, Armin Biere
Publication date: 25 February 2025
Copyright license: Creative Commons Attribution 4.0 International
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
This page was built for dataset: CaDiCaL 2.2 System Description Artifact
