../run_svcomp.py ../../build/release/src/cli/fold ../../bench/corpora/svcomp ../../build/release/src/cli/fold 900 ../../bench/corpora/svcomp/sv-benchmarks/c/MemSafety-Heap.set ../../bench/corpora/svcomp/sv-benchmarks/c/NoOverflows-BitVectors.set ../../bench/corpora/svcomp/sv-benchmarks/c/ReachSafety-Loops.set