adding missing files to correctness benchmarks