Software Verification Witnesses 2.0 Artifact Repository with experiment setup and results for the paper Software Verification Witnesses 2.0. Environment If desired, please use SoSy-Lab Virtual Machine (Ubuntu 22.04 LTS) to run the experiments inside a VM. It has been configured such that benchexec can run inside it without any problems. Reproduce Experiments The provided Makefile documents how to reproduce the different experiments (Makefile targets starting with experiment-). Before executing them, you need to run source config.sh in order to set some environment variables for local execution of the experiments using benchexec. By changing the *.xml files, you can select a subset of tasks in order to do a light evaluation of the artifact. Results The results can be found in the results.zip file, where they are divided between violation, correctness and witness analysis. To analyze the results please see the tables in the tables folder, since they contain all the information which was used in the paper.