Aeacus Sheng, Joseph E. Reeves, Marijn J. H. Heule: jreeves3/ulc-cadical. DROPS Artifacts 2025