pthread-nondet: benchmarks that have a nondeterministic number of threads. Submitted by ASER team, Parasol Lab, Texas A&M University.

