modified correctness benchmarks to read from file