pthread-benchmarks Benchmarks copied from the concurrency category of SVComp, available at https://github.com/sosy-lab/sv-benchmarks.