Set of benchmarks used by the OCCAM tool. - View it on GitHub