benchs: log status

* benchs/run-ltl-bb.sh, benchs/run-ltl.sh: Here.
1 job for hm/global in 2 minutes and 25 seconds