run-benchmark should print out the results