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 Job ID Name Coverage
  Test
passed #118523
debian-stable-gcc

00:05:35