Benchmarking Harness Fix

Benchmarking Harness Fix: a task in repo2rlenv-seta-seed2synth (Harbor dataset). A benchmarking harness at /opt/bench/run bench.sh is supposed to run several worker scripts, capture their timing output from the bash built-in time command, and write a summary report to /opt/bench/report.txt .