Renamed svcomp benchmarks.