SV-COMP Evaluation scripts