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 .

The task

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`.

Part of FineEnvs/repo2rlenv-seta-seed2synth.