This contains the artifacts for smtinterpol (binaries, git repository, docker build). smtinterpol-2.5-1488-g28a43840.tar.gz is the submitted binary smtinterpol-docker.tar.zst is the docker image used to build the binary from sources (includes linux, java, smtinterpol git repository, binaries) use with docker image load. smtinterpol-git.tar.zst is the git repository containing the sources. Use with git clone smtinterpol.git -b smtcomp2026 Dockerfile is the docker script to build the docker image To create the artifacts, I used: git clone --bare https://github.com/ultimate-pa/smtinterpol -b smtcomp2026 tar --zstd -cvf smtinterpol-git.tar.zst smtinterpol.git docker build -t smtinterpol . docker image save smtinterpol:latest | zstd > smtinterpol-docker.tar.zst docker run --rm -v "$PWD:/out" smtinterpol sh -c 'cp /smtinterpol/dist/*.tar.gz /out/' Website: https://ultimate.informatik.uni-freiburg.de/smtinterpol/