$ lola --check=full phils10.lola
lola: reading net from phils10.lola
...
lola: building the complete state space (--check=full)
lola: result: no
lola: 59048 markings, 393650 edges
