Mathias Preiner, Nils Froleyks, Armin Biere: HWMCC'24 Benchmarks and Results. Zenodo 2024