Benchmarks supporting the master's thesis on efficient verification of multi-threaded software.