modified benchmarkcorrect to print to two files