Dirk Beyer, Marian Lingsch Rosenfeld: WitnessMap (SV-COMP 2026 submission). Zenodo 2025