Benchmarks from https://doi.org/10.1007/978-3-319-66706-5_13

Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky: Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Program

Originally translated to Java from SV-COMP and modified (e.g. introduction of locks) by Mukherjee et al.

Translated back to C by us.
