CaDiCaL 2.2 System Description Artifact (Q6700864)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: CaDiCaL 2.2 System Description Artifact |
Dataset published at Zenodo repository.
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | CaDiCaL 2.2 System Description Artifact |
Dataset published at Zenodo repository. |
Statements
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
0 references
25 February 2025
0 references
