Reproduction Package for JAR Submission `Interpolation and SAT-Based Model Checking Revisited'

This artifact is a reproduction package for the JAR submission
"Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification".

It contains code and data used in the evaluation of the artticle, including:
- a pre-compiled binary of CPAchecker at revision cfa-single-loop-transformation:40806 and the source code
- SV-COMP '22 benchmark suite
- scripts to run the experiments
- raw data generated from the evaluation in the paper
- a preprint of the paper

For this artifact to run properly, please allow two CPU cores and 4 GB memory.