Benchmarks from the systematic testing evaluation part of the paper