benchs: add part about LTL

*  benchs/run-benchmark.sh: Here.
1 job for er/bb in 5 minutes and 35 seconds (queued for 1 second)
Status Name Job ID Coverage
  Test
passed debian-stable-gcc #118523

00:05:35