Systematic testing benchmarks from the evaluation part of the paper