CaDiCaL 2.2 System Description Artifact

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本配套材料为我们CaDiCaL 2.2学术论文的附属成果。 我们提供了针对2024年SAT竞赛（SAT Competition）基准测试集的实验结果。 本次实验所用的基准测试集均从该竞赛的官方页面下载获取。 - `bin` 目录存放本次实验实际使用的二进制可执行文件 - `src` 目录存放本次实验用到的所有求解器与工具的源代码 - `cadical-2.2` 目录存放新版CaDiCaL 2.2的实验结果 - `cadical-2.0` 目录存放旧版CaDiCaL 2.0的实验结果 - `kissat-mab-hywalk-sc2022` 存放2024年SAT竞赛冠军的实验结果 - `kissat-sc2024` 存放2024年SAT竞赛冠军的实验结果 - `sbva-cadical-sc2023` 存放2023年SAT竞赛冠军的实验结果