This is the artifact submodule 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
