modified output of correctness benchmarks