$ lola --search=findpath --formula="EF FIREABLE(t520)" garavel.lola
lola: reading net from garavel.lola
...
lola: checking reachability
...
lola: starting randomized, memory-less exploration (--search=findpath)
lola: searching for paths with maximal depth 1000000 (--depthlimit)
lola: no retry limit given (--retrylimit)
lola: transitions are chosen hash-driven
lola: result: yes
lola: The net satisfies the given formula.
