Experimental Results (CPAChecker)

How to reproduce:download "CPAchecker-2.1-unix" from https://cpachecker.sosy-lab.org/download-oldversions.phpinstall "CPAchecker-2.1-unix" using the documentation (https://cpachecker.sosy-lab.org/doc.php)copy the "CPAchecker-2.1-unix" directory and paste it into both "cpa-results-svcomp" and "cpa-results-embedded" directoriesrun test_cpa*.sh files<br>predicateAnalysis.txt: the results of CPAchecker using the predicate abstraction option.svcomp22.txt: the results of CPAchecker using the svcomp22 option.We tried to use the same options used in SV-COMP 2022 when running with SV-COMP benchmarks.For three embedded software, we used -predicateAnalysis -stats -timelimit '259200s' -heap '80G' -preprocess.