Debugging benchmarks