Data-race challenges extracted from benchmarks

Data-race challenges extracted from benchmarks #477