Contributed by: the DIVINE team, https://divine.fi.muni.cz

These programs are examples of pthread-based benchmarks used with DIVINE, some
of them are based on real-world code. Description of each file, as well as its
author is written at the beginning of the file (or the source file for .i).
