Artifacts for Master's Thesis Detection of Collaterally Covered Goals with CPAchecker's Value Analysis

XML files and results of benchmarking.基准测试的可扩展标记语言（XML）文件及其结果。