Add svcomp 2014 locks benchmarks