Updated locks benchmarks to svcomp14.