Simmo Saan, Karoliine Holter, Julian Erhard, Michael Schwarz, Sarah Tilscher, Vesal Vojdani, Helmut Seidl: Goblint at SV-COMP 2025. Zenodo 2024