Daniel Dietsch, Manuel Bentele, Marcel Ebbinghaus, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele: Ultimate GemCutter SV-COMP 2025. Zenodo 2024