This artifact allows for analysis and replication of the experimental results discussed in the paper"Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts". The paper describes ghost witnesses, an exchange format between verification tools for concurrentprograms. The artifact contains two such verification tools, Goblint and Ultimate GemCutter, as well asan experimental setup to evaluate the information exchange between these two tools. In particular, this artifact contains the following components: EVALUATION RESULTS :: The evaluation results, and overview tables (HTML) generated from the raw data. SOURCE CODE :: Source code for Goblint and Ultimate GemCutter, the verification tools used in the experiments for the paper. VERIFIER BINARIES :: Binaries for Goblint and Ultimate GemCutter. BENCHMARK PROGRAMS :: The benchmarks used for evaluation of the verifiers. BENCHMARK WITNESSES :: The witnesses generated by Goblint, which were used in the experiments. BENCHEXEC TOOL :: The BenchExec benchmarking tool can be used to replicate our results. The artifact consists of a virtual machine (rather than a docker image), as we use the benchmarking toolBenchExec which itself relies on containerization and cannot easily be run inside a container.The virtual machine was created on Linux Ubuntu.