Container Image for SV-COMP 2026 (PredatorHP) (OCI format)

This OCI container image file was created using the below Containerfile on 2026-02-05 from `registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024`. After download, the image can be imported locally using the command: podman load --input container-predatorhp-oci-svcomp26.tar This OCI container image was used for the experiments in the competition SV-COMP 2026 for the tool PredatorHP. It is based on Ubuntu 22.04 and can be used with container runtimes such as Podman and Docker. Here the Containerfile: FROM registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024 # Pin Ubuntu archive to a snapshot BEFORE the gcc-11 security rebuildRUN rm /etc/apt/sources.list && echo "deb [snapshot=20240301T030400Z] http://archive.ubuntu.com/ubuntu/ jammy main restricted" > /etc/apt/sources.list && \ echo "deb [snapshot=20240301T030400Z] http://archive.ubuntu.com/ubuntu/ jammy-updates main restricted" >> /etc/apt/sources.list && \ echo "deb [snapshot=20240301T030400Z] http://security.ubuntu.com/ubuntu/ jammy-security main restricted" >> /etc/apt/sources.list # Refresh package lists from snapshotRUN apt update # Remove gcc-11 and all conflicting packages from the security rebuildRUN apt remove -y \ gcc-11 \ cpp-11 \ gcc-11-base \ libgcc-11-dev # Install the snapshot versions (11.4.0-1ubuntu1~22.04)# plus multilib support for SV-COMP (-m32)RUN apt install -y \ gcc-11 \ gcc-multilib # Prevent accidental upgrades if someone runs apt laterRUN apt-mark hold gcc-11 gcc-11-base cpp-11 libgcc-11-dev # Cleanup to reduce image size and make the result deterministicRUN apt-get clean && \ rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/* && \ apt-get autoremove -y