Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele: Ultimate Kojak SV-COMP 2024. Zenodo 2023