In the directory 'micro-benchmarks' is a subset of the
micro-benchmarks to be included in the DataRaceBench.

The file 'overview.txt' contains the properties and a short
description of each benchmark.