Experiment Results (CPAChecker)How to run:(1) download CPAchecker-2.1-unix from https://cpachecker.sosy-lab.org/download-oldversions.php(2) install CPAchecker-2.1-unix using the documentation (https://cpachecker.sosy-lab.org/doc.php)(3) copy the CPAchecker-2.1-unix directory into cpa-results-svcomp / cpa-results-embedded directories(4) run test_cpa*.sh files
