The artifact accompanies the TACAS 2027 tool-demonstration paper

This artifact accompanies a tool submission for the TACAS 2027 Artifact Evaluation. It contains the CPAchecker 4.1 binary used to reproduce the results presented in the associated paper.

The archive includes:

• binaries of the tool

• Instructions for usage

• a controlled BenchExec definition

• Scripts for reproducing the experimental results

• raw experiment outputs

The artifact is intended to support the TACAS 2027 Artifact Evaluation process and to allow reviewers to verify the claims made in the paper. Detailed setup and reproduction instructions are provided in README.md.