Bench: LTL blackbox

1 job for hm/global in 2 minutes and 24 seconds