The current version of pack scasp does not contain a file examples/benchmark_iclp18/sasp_vs_scasp/BENCHMARK-sasp-scasp.txt
scasp
examples/benchmark_iclp18/sasp_vs_scasp/BENCHMARK-sasp-scasp.txt