machine-readable benchmarks