Dirk Beyer, Po-Chun Chien, Nian-Ze Lee: SoSy-Lab Virtual Machine (Ubuntu 24.04 LTS). Zenodo 2025