About the Execution of 2019-Gold for Referendum-PT-0100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.130 | 3570192.00 | 3624838.00 | 9783.00 | TFTF?FFFF?TTFT?T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r150-smll-158961529300108.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool win2019
Input is Referendum-PT-0100, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r150-smll-158961529300108
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 42K Apr 12 08:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 140K Apr 12 08:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 28K Apr 11 09:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 150K Apr 11 09:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 51K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 172K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 17K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 95K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 34K Apr 10 15:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K Apr 10 15:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 32K Apr 9 21:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 171K Apr 9 21:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 14K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 31K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 113K Mar 24 05:38 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME Referendum-PT-0100-00
FORMULA_NAME Referendum-PT-0100-01
FORMULA_NAME Referendum-PT-0100-02
FORMULA_NAME Referendum-PT-0100-03
FORMULA_NAME Referendum-PT-0100-04
FORMULA_NAME Referendum-PT-0100-05
FORMULA_NAME Referendum-PT-0100-06
FORMULA_NAME Referendum-PT-0100-07
FORMULA_NAME Referendum-PT-0100-08
FORMULA_NAME Referendum-PT-0100-09
FORMULA_NAME Referendum-PT-0100-10
FORMULA_NAME Referendum-PT-0100-11
FORMULA_NAME Referendum-PT-0100-12
FORMULA_NAME Referendum-PT-0100-13
FORMULA_NAME Referendum-PT-0100-14
FORMULA_NAME Referendum-PT-0100-15
=== Now, execution of the tool begins
BK_START 1589971511879
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ Referendum-PT-0100 @ 3570 seconds
FORMULA Referendum-PT-0100-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0100-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0100-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0100-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0100-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0100-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0100-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0100-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0100-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0100-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0100-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0100-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0100-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for LTLFireability @ Referendum-PT-0100
{
"exit":
{
"memory": 759088,
"runtime": 3571.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 101,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 102,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 101
},
"processed": "A (G ((FIREABLE(start_0) OR X (F (((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR FIREABLE(no_20) OR FIREABLE(no_21) OR FIREABLE(no_22) OR FIREABLE(no_23) OR FIREABLE(no_24) OR FIREABLE(no_25) OR FIREABLE(no_26) OR FIREABLE(no_27) OR FIREABLE(no_28) OR FIREABLE(no_29) OR FIREABLE(no_30) OR FIREABLE(no_31) OR FIREABLE(no_32) OR FIREABLE(no_33) OR FIREABLE(no_34) OR FIREABLE(no_35) OR FIREABLE(no_36) OR FIREABLE(no_37) OR FIREABLE(no_38) OR FIREABLE(no_39) OR FIREABLE(no_40) OR FIREABLE(no_41) OR FIREABLE(no_42) OR FIREABLE(no_43) OR FIREABLE(no_44) OR FIREABLE(no_45) OR FIREABLE(no_46) OR FIREABLE(no_47) OR FIREABLE(no_48) OR FIREABLE(no_49) OR FIREABLE(no_50) OR FIREABLE(no_51) OR FIREABLE(no_52) OR FIREABLE(no_53) OR FIREABLE(no_54) OR FIREABLE(no_55) OR FIREABLE(no_56) OR FIREABLE(no_57) OR FIREABLE(no_58) OR FIREABLE(no_59) OR FIREABLE(no_60) OR FIREABLE(no_61) OR FIREABLE(no_62) OR FIREABLE(no_63) OR FIREABLE(no_64) OR FIREABLE(no_65) OR FIREABLE(no_66) OR FIREABLE(no_67) OR FIREABLE(no_68) OR FIREABLE(no_69) OR FIREABLE(no_70) OR FIREABLE(no_71) OR FIREABLE(no_72) OR FIREABLE(no_73) OR FIREABLE(no_74) OR FIREABLE(no_75) OR FIREABLE(no_76) OR FIREABLE(no_77) OR FIREABLE(no_78) OR FIREABLE(no_79) OR FIREABLE(no_80) OR FIREABLE(no_81) OR FIREABLE(no_82) OR FIREABLE(no_83) OR FIREABLE(no_84) OR FIREABLE(no_85) OR FIREABLE(no_86) OR FIREABLE(no_87) OR FIREABLE(no_88) OR FIREABLE(no_89) OR FIREABLE(no_90) OR FIREABLE(no_91) OR FIREABLE(no_92) OR FIREABLE(no_93) OR FIREABLE(no_94) OR FIREABLE(no_95) OR FIREABLE(no_96) OR FIREABLE(no_97) OR FIREABLE(no_98) OR FIREABLE(no_99)) OR G (NOT FIREABLE(start_0))))))))",
"processed_size": 2057,
"rewrites": 129
},
"result":
{
"preliminary_value": "yes no yes no unknown no no no no unknown yes yes no yes unknown yes "
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 17,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 502/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 301
lola: finding significant places
lola: 301 places, 201 transitions, 201 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: A (NOT(((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR FIREABLE(no_20) OR FIREABLE(no_21) OR FIREABLE(no_22) OR FIREABLE(no_23) OR FIREABLE(no_24) OR FIREABLE(no_25) OR FIREABLE(no_26) OR FIREABLE(no_27) OR FIREABLE(no_28) OR FIREABLE(no_29) OR FIREABLE(no_30) OR FIREABLE(no_31) OR FIREABLE(no_32) OR FIREABLE(no_33) OR FIREABLE(no_34) OR FIREABLE(no_35) OR FIREABLE(no_36) OR FIREABLE(no_37) OR FIREABLE(no_38) OR FIREABLE(no_39) OR FIREABLE(no_40) OR FIREABLE(no_41) OR FIREABLE(no_42) OR FIREABLE(no_43) OR FIREABLE(no_44) OR FIREABLE(no_45) OR FIREABLE(no_46) OR FIREABLE(no_47) OR FIREABLE(no_48) OR FIREABLE(no_49) OR FIREABLE(no_50) OR FIREABLE(no_51) OR FIREABLE(no_52) OR FIREABLE(no_53) OR FIREABLE(no_54) OR FIREABLE(no_55) OR FIREABLE(no_56) OR FIREABLE(no_57) OR FIREABLE(no_58) OR FIREABLE(no_59) OR FIREABLE(no_60) OR FIREABLE(no_61) OR FIREABLE(no_62) OR FIREABLE(no_63) OR FIREABLE(no_64) OR FIREABLE(no_65) OR FIREABLE(no_66) OR FIREABLE(no_67) OR FIREABLE(no_68) OR FIREABLE(no_69) OR FIREABLE(no_70) OR FIREABLE(no_71) OR FIREABLE(no_72) OR FIREABLE(no_73) OR FIREABLE(no_74) OR FIREABLE(no_75) OR FIREABLE(no_76) OR FIREABLE(no_77) OR FIREABLE(no_78) OR FIREABLE(no_79) OR FIREABLE(no_80) OR FIREABLE(no_81) OR FIREABLE(no_82) OR FIREABLE(no_83) OR FIREABLE(no_84) OR FIREABLE(no_85) OR FIREABLE(no_86) OR FIREABLE(no_87) OR FIREABLE(no_88) OR FIREABLE(no_89) OR FIREABLE(no_90) OR FIREABLE(no_91) OR FIREABLE(no_92) OR FIREABLE(no_93) OR FIREABLE(no_94) OR FIREABLE(no_95) OR FIREABLE(no_96) OR FIREABLE(no_97) OR FIREABLE(no_98) OR FIREABLE(no_99)) U (FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR FIREABLE(no_20) OR FIREABLE(no_21) OR FIREABLE(no_22) OR FIREABLE(no_23) OR FIREABLE(no_24) OR FIREABLE(no_25) OR FIREABLE(no_26) OR FIREABLE(no_27) OR FIREABLE(no_28) OR FIREABLE(no_29) OR FIREABLE(no_30) OR FIREABLE(no_31) OR FIREABLE(no_32) OR FIREABLE(no_33) OR FIREABLE(no_34) OR FIREABLE(no_35) OR FIREABLE(no_36) OR FIREABLE(no_37) OR FIREABLE(no_38) OR FIREABLE(no_39) OR FIREABLE(no_40) OR FIREABLE(no_41) OR FIREABLE(no_42) OR FIREABLE(no_43) OR FIREABLE(no_44) OR FIREABLE(no_45) OR FIREABLE(no_46) OR FIREABLE(no_47) OR FIREABLE(no_48) OR FIREABLE(no_49) OR FIREABLE(no_50) OR FIREABLE(no_51) OR FIREABLE(no_52) OR FIREABLE(no_53) OR FIREABLE(no_54) OR FIREABLE(no_55) OR FIREABLE(no_56) OR FIREABLE(no_57) OR FIREABLE(no_58) OR FIREABLE(no_59) OR FIREABLE(no_60) OR FIREABLE(no_61) OR FIREABLE(no_62) OR FIREABLE(no_63) OR FIREABLE(no_64) OR FIREABLE(no_65) OR FIREABLE(no_66) OR FIREABLE(no_67) OR FIREABLE(no_68) OR FIREABLE(no_69) OR FIREABLE(no_70) OR FIREABLE(no_71) OR FIREABLE(no_72) OR FIREABLE(no_73) OR FIREABLE(no_74) OR FIREABLE(no_75) OR FIREABLE(no_76) OR FIREABLE(no_77) OR FIREABLE(no_78) OR FIREABLE(no_79) OR FIREABLE(no_80) OR FIREABLE(no_81) OR FIREABLE(no_82) OR FIREABLE(no_83) OR FIREABLE(no_84) OR FIREABLE(no_85) OR FIREABLE(no_86) OR FIREABLE(no_87) OR FIREABLE(no_88) OR FIREABLE(no_89) OR FIREABLE(no_90) OR FIREABLE(no_91) OR FIREABLE(no_92) OR FIREABLE(no_93) OR FIREABLE(no_94) OR FIREABLE(no_95) OR FIREABLE(no_96) OR FIREABLE(no_97) OR FIREABLE(no_98) OR FIREABLE(no_99))))) : A (F (X (((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR FIREABLE(no_20) OR FIREABLE(no_21) OR FIREABLE(no_22) OR FIREABLE(no_23) OR FIREABLE(no_24) OR FIREABLE(no_25) OR FIREABLE(no_26) OR FIREABLE(no_27) OR FIREABLE(no_28) OR FIREABLE(no_29) OR FIREABLE(no_30) OR FIREABLE(no_31) OR FIREABLE(no_32) OR FIREABLE(no_33) OR FIREABLE(no_34) OR FIREABLE(no_35) OR FIREABLE(no_36) OR FIREABLE(no_37) OR FIREABLE(no_38) OR FIREABLE(no_39) OR FIREABLE(no_40) OR FIREABLE(no_41) OR FIREABLE(no_42) OR FIREABLE(no_43) OR FIREABLE(no_44) OR FIREABLE(no_45) OR FIREABLE(no_46) OR FIREABLE(no_47) OR FIREABLE(no_48) OR FIREABLE(no_49) OR FIREABLE(no_50) OR FIREABLE(no_51) OR FIREABLE(no_52) OR FIREABLE(no_53) OR FIREABLE(no_54) OR FIREABLE(no_55) OR FIREABLE(no_56) OR FIREABLE(no_57) OR FIREABLE(no_58) OR FIREABLE(no_59) OR FIREABLE(no_60) OR FIREABLE(no_61) OR FIREABLE(no_62) OR FIREABLE(no_63) OR FIREABLE(no_64) OR FIREABLE(no_65) OR FIREABLE(no_66) OR FIREABLE(no_67) OR FIREABLE(no_68) OR FIREABLE(no_69) OR FIREABLE(no_70) OR FIREABLE(no_71) OR FIREABLE(no_72) OR FIREABLE(no_73) OR FIREABLE(no_74) OR FIREABLE(no_75) OR FIREABLE(no_76) OR FIREABLE(no_77) OR FIREABLE(no_78) OR FIREABLE(no_79) OR FIREABLE(no_80) OR FIREABLE(no_81) OR FIREABLE(no_82) OR FIREABLE(no_83) OR FIREABLE(no_84) OR FIREABLE(no_85) OR FIREABLE(no_86) OR FIREABLE(no_87) OR FIREABLE(no_88) OR FIREABLE(no_89) OR FIREABLE(no_90) OR FIREABLE(no_91) OR FIREABLE(no_92) OR FIREABLE(no_93) OR FIREABLE(no_94) OR FIREABLE(no_95) OR FIREABLE(no_96) OR FIREABLE(no_97) OR FIREABLE(no_98) OR FIREABLE(no_99)) AND NOT((FIREABLE(start_0) U (F ((FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIREABLE(yes_19) OR FIREABLE(yes_20) OR FIREABLE(yes_21) OR FIREABLE(yes_22) OR FIREABLE(yes_23) OR FIREABLE(yes_24) OR FIREABLE(yes_25) OR FIREABLE(yes_26) OR FIREABLE(yes_27) OR FIREABLE(yes_28) OR FIREABLE(yes_29) OR FIREABLE(yes_30) OR FIREABLE(yes_31) OR FIREABLE(yes_32) OR FIREABLE(yes_33) OR FIREABLE(yes_34) OR FIREABLE(yes_35) OR FIREABLE(yes_36) OR FIREABLE(yes_37) OR FIREABLE(yes_38) OR FIREABLE(yes_39) OR FIREABLE(yes_40) OR FIREABLE(yes_41) OR FIREABLE(yes_42) OR FIREABLE(yes_43) OR FIREABLE(yes_44) OR FIREABLE(yes_45) OR FIREABLE(yes_46) OR FIREABLE(yes_47) OR FIREABLE(yes_48) OR FIREABLE(yes_49) OR FIREABLE(yes_50) OR FIREABLE(yes_51) OR FIREABLE(yes_52) OR FIREABLE(yes_53) OR FIREABLE(yes_54) OR FIREABLE(yes_55) OR FIREABLE(yes_56) OR FIREABLE(yes_57) OR FIREABLE(yes_58) OR FIREABLE(yes_59) OR FIREABLE(yes_60) OR FIREABLE(yes_61) OR FIREABLE(yes_62) OR FIREABLE(yes_63) OR FIREABLE(yes_64) OR FIREABLE(yes_65) OR FIREABLE(yes_66) OR FIREABLE(yes_67) OR FIREABLE(yes_68) OR FIREABLE(yes_69) OR FIREABLE(yes_70) OR FIREABLE(yes_71) OR FIREABLE(yes_72) OR FIREABLE(yes_73) OR FIREABLE(yes_74) OR FIREABLE(yes_75) OR FIREABLE(yes_76) OR FIREABLE(yes_77) OR FIREABLE(yes_78) OR FIREABLE(yes_79) OR FIREABLE(yes_80) OR FIREABLE(yes_81) OR FIREABLE(yes_82) OR FIREABLE(yes_83) OR FIREABLE(yes_84) OR FIREABLE(yes_85) OR FIREABLE(yes_86) OR FIREABLE(yes_87) OR FIREABLE(yes_88) OR FIREABLE(yes_89) OR FIREABLE(yes_90) OR FIREABLE(yes_91) OR FIREABLE(yes_92) OR FIREABLE(yes_93) OR FIREABLE(yes_94) OR FIREABLE(yes_95) OR FIREABLE(yes_96) OR FIREABLE(yes_97) OR FIREABLE(yes_98) OR FIREABLE(yes_99))) U (FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR FIREABLE(no_20) OR FIREABLE(no_21) OR FIREABLE(no_22) OR FIREABLE(no_23) OR FIREABLE(no_24) OR FIREABLE(no_25) OR FIREABLE(no_26) OR FIREABLE(no_27) OR FIREABLE(no_28) OR FIREABLE(no_29) OR FIREABLE(no_30) OR FIREABLE(no_31) OR FIREABLE(no_32) OR FIREABLE(no_33) OR FIREABLE(no_34) OR FIREABLE(no_35) OR FIREABLE(no_36) OR FIREABLE(no_37) OR FIREABLE(no_38) OR FIREABLE(no_39) OR FIREABLE(no_40) OR FIREABLE(no_41) OR FIREABLE(no_42) OR FIREABLE(no_43) OR FIREABLE(no_44) OR FIREABLE(no_45) OR FIREABLE(no_46) OR FIREABLE(no_47) OR FIREABLE(no_48) OR FIREABLE(no_49) OR FIREABLE(no_50) OR FIREABLE(no_51) OR FIREABLE(no_52) OR FIREABLE(no_53) OR FIREABLE(no_54) OR FIREABLE(no_55) OR FIREABLE(no_56) OR FIREABLE(no_57) OR FIREABLE(no_58) OR FIREABLE(no_59) OR FIREABLE(no_60) OR FIREABLE(no_61) OR FIREABLE(no_62) OR FIREABLE(no_63) OR FIREABLE(no_64) OR FIREABLE(no_65) OR FIREABLE(no_66) OR FIREABLE(no_67) OR FIREABLE(no_68) OR FIREABLE(no_69) OR FIREABLE(no_70) OR FIREABLE(no_71) OR FIREABLE(no_72) OR FIREABLE(no_73) OR FIREABLE(no_74) OR FIREABLE(no_75) OR FIREABLE(no_76) OR FIREABLE(no_77) OR FIREABLE(no_78) OR FIREABLE(no_79) OR FIREABLE(no_80) OR FIREABLE(no_81) OR FIREABLE(no_82) OR FIREABLE(no_83) OR FIREABLE(no_84) OR FIREABLE(no_85) OR FIREABLE(no_86) OR FIREABLE(no_87) OR FIREABLE(no_88) OR FIREABLE(no_89) OR FIREABLE(no_90) OR FIREABLE(no_91) OR FIREABLE(no_92) OR FIREABLE(no_93) OR FIREABLE(no_94) OR FIREABLE(no_95) OR FIREABLE(no_96) OR FIREABLE(no_97) OR FIREABLE(no_98) OR FIREABLE(no_99))))))))) : A ((((FIREABLE(start_0) AND F ((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR FIREABLE(no_20) OR FIREABLE(no_21) OR FIREABLE(no_22) OR FIREABLE(no_23) OR FIREABLE(no_24) OR FIREABLE(no_25) OR FIREABLE(no_26) OR FIREABLE(no_27) OR FIREABLE(no_28) OR FIREABLE(no_29) OR FIREABLE(no_30) OR FIREABLE(no_31) OR FIREABLE(no_32) OR FIREABLE(no_33) OR FIREABLE(no_34) OR FIREABLE(no_35) OR FIREABLE(no_36) OR FIREABLE(no_37) OR FIREABLE(no_38) OR FIREABLE(no_39) OR FIREABLE(no_40) OR FIREABLE(no_41) OR FIREABLE(no_42) OR FIREABLE(no_43) OR FIREABLE(no_44) OR FIREABLE(no_45) OR FIREABLE(no_46) OR FIREABLE(no_47) OR FIREABLE(no_48) OR FIREABLE(no_49) OR FIREABLE(no_50) OR FIREABLE(no_51) OR FIREABLE(no_52) OR FIREABLE(no_53) OR FIREABLE(no_54) OR FIREABLE(no_55) OR FIREABLE(no_56) OR FIREABLE(no_57) OR FIREABLE(no_58) OR FIREABLE(no_59) OR FIREABLE(no_60) OR FIREABLE(no_61) OR FIREABLE(no_62) OR FIREABLE(no_63) OR FIREABLE(no_64) OR FIREABLE(no_65) OR FIREABLE(no_66) OR FIREABLE(no_67) OR FIREABLE(no_68) OR FIREABLE(no_69) OR FIREABLE(no_70) OR FIREABLE(no_71) OR FIREABLE(no_72) OR FIREABLE(no_73) OR FIREABLE(no_74) OR FIREABLE(no_75) OR FIREABLE(no_76) OR FIREABLE(no_77) OR FIREABLE(no_78) OR FIREABLE(no_79) OR FIREABLE(no_80) OR FIREABLE(no_81) OR FIREABLE(no_82) OR FIREABLE(no_83) OR FIREABLE(no_84) OR FIREABLE(no_85) OR FIREABLE(no_86) OR FIREABLE(no_87) OR FIREABLE(no_88) OR FIREABLE(no_89) OR FIREABLE(no_90) OR FIREABLE(no_91) OR FIREABLE(no_92) OR FIREABLE(no_93) OR FIREABLE(no_94) OR FIREABLE(no_95) OR FIREABLE(no_96) OR FIREABLE(no_97) OR FIREABLE(no_98) OR FIREABLE(no_99)))) AND NOT(F (FIREABLE(start_0)))) U FIREABLE(start_0))) : A (NOT((NOT(X ((FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIREABLE(yes_19) OR FIREABLE(yes_20) OR FIREABLE(yes_21) OR FIREABLE(yes_22) OR FIREABLE(yes_23) OR FIREABLE(yes_24) OR FIREABLE(yes_25) OR FIREABLE(yes_26) OR FIREABLE(yes_27) OR FIREABLE(yes_28) OR FIREABLE(yes_29) OR FIREABLE(yes_30) OR FIREABLE(yes_31) OR FIREABLE(yes_32) OR FIREABLE(yes_33) OR FIREABLE(yes_34) OR FIREABLE(yes_35) OR FIREABLE(yes_36) OR FIREABLE(yes_37) OR FIREABLE(yes_38) OR FIREABLE(yes_39) OR FIREABLE(yes_40) OR FIREABLE(yes_41) OR FIREABLE(yes_42) OR FIREABLE(yes_43) OR FIREABLE(yes_44) OR FIREABLE(yes_45) OR FIREABLE(yes_46) OR FIREABLE(yes_47) OR FIREABLE(yes_48) OR FIREABLE(yes_49) OR FIREABLE(yes_50) OR FIREABLE(yes_51) OR FIREABLE(yes_52) OR FIREABLE(yes_53) OR FIREABLE(yes_54) OR FIREABLE(yes_55) OR FIREABLE(yes_56) OR FIREABLE(yes_57) OR FIREABLE(yes_58) OR FIREABLE(yes_59) OR FIREABLE(yes_60) OR FIREABLE(yes_61) OR FIREABLE(yes_62) OR FIREABLE(yes_63) OR FIREABLE(yes_64) OR FIREABLE(yes_65) OR FIREABLE(yes_66) OR FIREABLE(yes_67) OR FIREABLE(yes_68) OR FIREABLE(yes_69) OR FIREABLE(yes_70) OR FIREABLE(yes_71) OR FIREABLE(yes_72) OR FIREABLE(yes_73) OR FIREABLE(yes_74) OR FIREABLE(yes_75) OR FIREABLE(yes_76) OR FIREABLE(yes_77) OR FIREABLE(yes_78) OR FIREABLE(yes_79) OR FIREABLE(yes_80) OR FIREABLE(yes_81) OR FIREABLE(yes_82) OR FIREABLE(yes_83) OR FIREABLE(yes_84) OR FIREABLE(yes_85) OR FIREABLE(yes_86) OR FIREABLE(yes_87) OR FIREABLE(yes_88) OR FIREABLE(yes_89) OR FIREABLE(yes_90) OR FIREABLE(yes_91) OR FIREABLE(yes_92) OR FIREABLE(yes_93) OR FIREABLE(yes_94) OR FIREABLE(yes_95) OR FIREABLE(yes_96) OR FIREABLE(yes_97) OR FIREABLE(yes_98) OR FIREABLE(yes_99)))) OR (NOT(F ((FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIREABLE(yes_19) OR FIREABLE(yes_20) OR FIREABLE(yes_21) OR FIREABLE(yes_22) OR FIREABLE(yes_23) OR FIREABLE(yes_24) OR FIREABLE(yes_25) OR FIREABLE(yes_26) OR FIREABLE(yes_27) OR FIREABLE(yes_28) OR FIREABLE(yes_29) OR FIREABLE(yes_30) OR FIREABLE(yes_31) OR FIREABLE(yes_32) OR FIREABLE(yes_33) OR FIREABLE(yes_34) OR FIREABLE(yes_35) OR FIREABLE(yes_36) OR FIREABLE(yes_37) OR FIREABLE(yes_38) OR FIREABLE(yes_39) OR FIREABLE(yes_40) OR FIREABLE(yes_41) OR FIREABLE(yes_42) OR FIREABLE(yes_43) OR FIREABLE(yes_44) OR FIREABLE(yes_45) OR FIREABLE(yes_46) OR FIREABLE(yes_47) OR FIREABLE(yes_48) OR FIREABLE(yes_49) OR FIREABLE(yes_50) OR FIREABLE(yes_51) OR FIREABLE(yes_52) OR FIREABLE(yes_53) OR FIREABLE(yes_54) OR FIREABLE(yes_55) OR FIREABLE(yes_56) OR FIREABLE(yes_57) OR FIREABLE(yes_58) OR FIREABLE(yes_59) OR FIREABLE(yes_60) OR FIREABLE(yes_61) OR FIREABLE(yes_62) OR FIREABLE(yes_63) OR FIREABLE(yes_64) OR FIREABLE(yes_65) OR FIREABLE(yes_66) OR FIREABLE(yes_67) OR FIREABLE(yes_68) OR FIREABLE(yes_69) OR FIREABLE(yes_70) OR FIREABLE(yes_71) OR FIREABLE(yes_72) OR FIREABLE(yes_73) OR FIREABLE(yes_74) OR FIREABLE(yes_75) OR FIREABLE(yes_76) OR FIREABLE(yes_77) OR FIREABLE(yes_78) OR FIREABLE(yes_79) OR FIREABLE(yes_80) OR FIREABLE(yes_81) OR FIREABLE(yes_82) OR FIREABLE(yes_83) OR FIREABLE(yes_84) OR FIREABLE(yes_85) OR FIREABLE(yes_86) OR FIREABLE(yes_87) OR FIREABLE(yes_88) OR FIREABLE(yes_89) OR FIREABLE(yes_90) OR FIREABLE(yes_91) OR FIREABLE(yes_92) OR FIREABLE(yes_93) OR FIREABLE(yes_94) OR FIREABLE(yes_95) OR FIREABLE(yes_96) OR FIREABLE(yes_97) OR FIREABLE(yes_98) OR FIREABLE(yes_99)))) U ((NOT FIREABLE(yes_0) AND NOT FIREABLE(yes_1) AND NOT FIREABLE(yes_2) AND NOT FIREABLE(yes_3) AND NOT FIREABLE(yes_4) AND NOT FIREABLE(yes_5) AND NOT FIREABLE(yes_6) AND NOT FIREABLE(yes_7) AND NOT FIREABLE(yes_8) AND NOT FIREABLE(yes_9) AND NOT FIREABLE(yes_10) AND NOT FIREABLE(yes_11) AND NOT FIREABLE(yes_12) AND NOT FIREABLE(yes_13) AND NOT FIREABLE(yes_14) AND NOT FIREABLE(yes_15) AND NOT FIREABLE(yes_16) AND NOT FIREABLE(yes_17) AND NOT FIREABLE(yes_18) AND NOT FIREABLE(yes_19) AND NOT FIREABLE(yes_20) AND NOT FIREABLE(yes_21) AND NOT FIREABLE(yes_22) AND NOT FIREABLE(yes_23) AND NOT FIREABLE(yes_24) AND NOT FIREABLE(yes_25) AND NOT FIREABLE(yes_26) AND NOT FIREABLE(yes_27) AND NOT FIREABLE(yes_28) AND NOT FIREABLE(yes_29) AND NOT FIREABLE(yes_30) AND NOT FIREABLE(yes_31) AND NOT FIREABLE(yes_32) AND NOT FIREABLE(yes_33) AND NOT FIREABLE(yes_34) AND NOT FIREABLE(yes_35) AND NOT FIREABLE(yes_36) AND NOT FIREABLE(yes_37) AND NOT FIREABLE(yes_38) AND NOT FIREABLE(yes_39) AND NOT FIREABLE(yes_40) AND NOT FIREABLE(yes_41) AND NOT FIREABLE(yes_42) AND NOT FIREABLE(yes_43) AND NOT FIREABLE(yes_44) AND NOT FIREABLE(yes_45) AND NOT FIREABLE(yes_46) AND NOT FIREABLE(yes_47) AND NOT FIREABLE(yes_48) AND NOT FIREABLE(yes_49) AND NOT FIREABLE(yes_50) AND NOT FIREABLE(yes_51) AND NOT FIREABLE(yes_52) AND NOT FIREABLE(yes_53) AND NOT FIREABLE(yes_54) AND NOT FIREABLE(yes_55) AND NOT FIREABLE(yes_56) AND NOT FIREABLE(yes_57) AND NOT FIREABLE(yes_58) AND NOT FIREABLE(yes_59) AND NOT FIREABLE(yes_60) AND NOT FIREABLE(yes_61) AND NOT FIREABLE(yes_62) AND NOT FIREABLE(yes_63) AND NOT FIREABLE(yes_64) AND NOT FIREABLE(yes_65) AND NOT FIREABLE(yes_66) AND NOT FIREABLE(yes_67) AND NOT FIREABLE(yes_68) AND NOT FIREABLE(yes_69) AND NOT FIREABLE(yes_70) AND NOT FIREABLE(yes_71) AND NOT FIREABLE(yes_72) AND NOT FIREABLE(yes_73) AND NOT FIREABLE(yes_74) AND NOT FIREABLE(yes_75) AND NOT FIREABLE(yes_76) AND NOT FIREABLE(yes_77) AND NOT FIREABLE(yes_78) AND NOT FIREABLE(yes_79) AND NOT FIREABLE(yes_80) AND NOT FIREABLE(yes_81) AND NOT FIREABLE(yes_82) AND NOT FIREABLE(yes_83) AND NOT FIREABLE(yes_84) AND NOT FIREABLE(yes_85) AND NOT FIREABLE(yes_86) AND NOT FIREABLE(yes_87) AND NOT FIREABLE(yes_88) AND NOT FIREABLE(yes_89) AND NOT FIREABLE(yes_90) AND NOT FIREABLE(yes_91) AND NOT FIREABLE(yes_92) AND NOT FIREABLE(yes_93) AND NOT FIREABLE(yes_94) AND NOT FIREABLE(yes_95) AND NOT FIREABLE(yes_96) AND NOT FIREABLE(yes_97) AND NOT FIREABLE(yes_98) AND NOT FIREABLE(yes_99)) AND F ((FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIREABLE(yes_19) OR FIREABLE(yes_20) OR FIREABLE(yes_21) OR FIREABLE(yes_22) OR FIREABLE(yes_23) OR FIREABLE(yes_24) OR FIREABLE(yes_25) OR FIREABLE(yes_26) OR FIREABLE(yes_27) OR FIREABLE(yes_28) OR FIREABLE(yes_29) OR FIREABLE(yes_30) OR FIREABLE(yes_31) OR FIREABLE(yes_32) OR FIREABLE(yes_33) OR FIREABLE(yes_34) OR FIREABLE(yes_35) OR FIREABLE(yes_36) OR FIREABLE(yes_37) OR FIREABLE(yes_38) OR FIREABLE(yes_39) OR FIREABLE(yes_40) OR FIREABLE(yes_41) OR FIREABLE(yes_42) OR FIREABLE(yes_43) OR FIREABLE(yes_44) OR FIREABLE(yes_45) OR FIREABLE(yes_46) OR FIREABLE(yes_47) OR FIREABLE(yes_48) OR FIREABLE(yes_49) OR FIREABLE(yes_50) OR FIREABLE(yes_51) OR FIREABLE(yes_52) OR FIREABLE(yes_53) OR FIREABLE(yes_54) OR FIREABLE(yes_55) OR FIREABLE(yes_56) OR FIREABLE(yes_57) OR FIREABLE(yes_58) OR FIREABLE(yes_59) OR FIREABLE(yes_60) OR FIREABLE(yes_61) OR FIREABLE(yes_62) OR FIREABLE(yes_63) OR FIREABLE(yes_64) OR FIREABLE(yes_65) OR FIREABLE(yes_66) OR FIREABLE(yes_67) OR FIREABLE(yes_68) OR FIREABLE(yes_69) OR FIREABLE(yes_70) OR FIREABLE(yes_71) OR FIREABLE(yes_72) OR FIREABLE(yes_73) OR FIREABLE(yes_74) OR FIREABLE(yes_75) OR FIREABLE(yes_76) OR FIREABLE(yes_77) OR FIREABLE(yes_78) OR FIREABLE(yes_79) OR FIREABLE(yes_80) OR FIREABLE(yes_81) OR FIREABLE(yes_82) OR FIREABLE(yes_83) OR FIREABLE(yes_84) OR FIREABLE(yes_85) OR FIREABLE(yes_86) OR FIREABLE(yes_87) OR FIREABLE(yes_88) OR FIREABLE(yes_89) OR FIREABLE(yes_90) OR FIREABLE(yes_91) OR FIREABLE(yes_92) OR FIREABLE(yes_93) OR FIREABLE(yes_94) OR FIREABLE(yes_95) OR FIREABLE(yes_96) OR FIREABLE(yes_97) OR FIREABLE(yes_98) OR FIREABLE(yes_99)))))))) : A (G (((FIREABLE(start_0) U FIREABLE(start_0)) U F ((X ((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR FIREABLE(no_20) OR FIREABLE(no_21) OR FIREABLE(no_22) OR FIREABLE(no_23) OR FIREABLE(no_24) OR FIREABLE(no_25) OR FIREABLE(no_26) OR FIREABLE(no_27) OR FIREABLE(no_28) OR FIREABLE(no_29) OR FIREABLE(no_30) OR FIREABLE(no_31) OR FIREABLE(no_32) OR FIREABLE(no_33) OR FIREABLE(no_34) OR FIREABLE(no_35) OR FIREABLE(no_36) OR FIREABLE(no_37) OR FIREABLE(no_38) OR FIREABLE(no_39) OR FIREABLE(no_40) OR FIREABLE(no_41) OR FIREABLE(no_42) OR FIREABLE(no_43) OR FIREABLE(no_44) OR FIREABLE(no_45) OR FIREABLE(no_46) OR FIREABLE(no_47) OR FIREABLE(no_48) OR FIREABLE(no_49) OR FIREABLE(no_50) OR FIREABLE(no_51) OR FIREABLE(no_52) OR FIREABLE(no_53) OR FIREABLE(no_54) OR FIREABLE(no_55) OR FIREABLE(no_56) OR FIREABLE(no_57) OR FIREABLE(no_58) OR FIREABLE(no_59) OR FIREABLE(no_60) OR FIREABLE(no_61) OR FIREABLE(no_62) OR FIREABLE(no_63) OR FIREABLE(no_64) OR FIREABLE(no_65) OR FIREABLE(no_66) OR FIREABLE(no_67) OR FIREABLE(no_68) OR FIREABLE(no_69) OR FIREABLE(no_70) OR FIREABLE(no_71) OR FIREABLE(no_72) OR FIREABLE(no_73) OR FIREABLE(no_74) OR FIREABLE(no_75) OR FIREABLE(no_76) OR FIREABLE(no_77) OR FIREABLE(no_78) OR FIREABLE(no_79) OR FIREABLE(no_80) OR FIREABLE(no_81) OR FIREABLE(no_82) OR FIREABLE(no_83) OR FIREABLE(no_84) OR FIREABLE(no_85) OR FIREABLE(no_86) OR FIREABLE(no_87) OR FIREABLE(no_88) OR FIREABLE(no_89) OR FIREABLE(no_90) OR FIREABLE(no_91) OR FIREABLE(no_92) OR FIREABLE(no_93) OR FIREABLE(no_94) OR FIREABLE(no_95) OR FIREABLE(no_96) OR FIREABLE(no_97) OR FIREABLE(no_98) OR FIREABLE(no_99))) OR G (X (G (NOT FIREABLE(start_0))))))))) : A (G (((NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16) AND NOT FIREABLE(no_17) AND NOT FIREABLE(no_18) AND NOT FIREABLE(no_19) AND NOT FIREABLE(no_20) AND NOT FIREABLE(no_21) AND NOT FIREABLE(no_22) AND NOT FIREABLE(no_23) AND NOT FIREABLE(no_24) AND NOT FIREABLE(no_25) AND NOT FIREABLE(no_26) AND NOT FIREABLE(no_27) AND NOT FIREABLE(no_28) AND NOT FIREABLE(no_29) AND NOT FIREABLE(no_30) AND NOT FIREABLE(no_31) AND NOT FIREABLE(no_32) AND NOT FIREABLE(no_33) AND NOT FIREABLE(no_34) AND NOT FIREABLE(no_35) AND NOT FIREABLE(no_36) AND NOT FIREABLE(no_37) AND NOT FIREABLE(no_38) AND NOT FIREABLE(no_39) AND NOT FIREABLE(no_40) AND NOT FIREABLE(no_41) AND NOT FIREABLE(no_42) AND NOT FIREABLE(no_43) AND NOT FIREABLE(no_44) AND NOT FIREABLE(no_45) AND NOT FIREABLE(no_46) AND NOT FIREABLE(no_47) AND NOT FIREABLE(no_48) AND NOT FIREABLE(no_49) AND NOT FIREABLE(no_50) AND NOT FIREABLE(no_51) AND NOT FIREABLE(no_52) AND NOT FIREABLE(no_53) AND NOT FIREABLE(no_54) AND NOT FIREABLE(no_55) AND NOT FIREABLE(no_56) AND NOT FIREABLE(no_57) AND NOT FIREABLE(no_58) AND NOT FIREABLE(no_59) AND NOT FIREABLE(no_60) AND NOT FIREABLE(no_61) AND NOT FIREABLE(no_62) AND NOT FIREABLE(no_63) AND NOT FIREABLE(no_64) AND NOT FIREABLE(no_65) AND NOT FIREABLE(no_66) AND NOT FIREABLE(no_67) AND NOT FIREABLE(no_68) AND NOT FIREABLE(no_69) AND NOT FIREABLE(no_70) AND NOT FIREABLE(no_71) AND NOT FIREABLE(no_72) AND NOT FIREABLE(no_73) AND NOT FIREABLE(no_74) AND NOT FIREABLE(no_75) AND NOT FIREABLE(no_76) AND NOT FIREABLE(no_77) AND NOT FIREABLE(no_78) AND NOT FIREABLE(no_79) AND NOT FIREABLE(no_80) AND NOT FIREABLE(no_81) AND NOT FIREABLE(no_82) AND NOT FIREABLE(no_83) AND NOT FIREABLE(no_84) AND NOT FIREABLE(no_85) AND NOT FIREABLE(no_86) AND NOT FIREABLE(no_87) AND NOT FIREABLE(no_88) AND NOT FIREABLE(no_89) AND NOT FIREABLE(no_90) AND NOT FIREABLE(no_91) AND NOT FIREABLE(no_92) AND NOT FIREABLE(no_93) AND NOT FIREABLE(no_94) AND NOT FIREABLE(no_95) AND NOT FIREABLE(no_96) AND NOT FIREABLE(no_97) AND NOT FIREABLE(no_98) AND NOT FIREABLE(no_99)) AND NOT((X ((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR FIREABLE(no_20) OR FIREABLE(no_21) OR FIREABLE(no_22) OR FIREABLE(no_23) OR FIREABLE(no_24) OR FIREABLE(no_25) OR FIREABLE(no_26) OR FIREABLE(no_27) OR FIREABLE(no_28) OR FIREABLE(no_29) OR FIREABLE(no_30) OR FIREABLE(no_31) OR FIREABLE(no_32) OR FIREABLE(no_33) OR FIREABLE(no_34) OR FIREABLE(no_35) OR FIREABLE(no_36) OR FIREABLE(no_37) OR FIREABLE(no_38) OR FIREABLE(no_39) OR FIREABLE(no_40) OR FIREABLE(no_41) OR FIREABLE(no_42) OR FIREABLE(no_43) OR FIREABLE(no_44) OR FIREABLE(no_45) OR FIREABLE(no_46) OR FIREABLE(no_47) OR FIREABLE(no_48) OR FIREABLE(no_49) OR FIREABLE(no_50) OR FIREABLE(no_51) OR FIREABLE(no_52) OR FIREABLE(no_53) OR FIREABLE(no_54) OR FIREABLE(no_55) OR FIREABLE(no_56) OR FIREABLE(no_57) OR FIREABLE(no_58) OR FIREABLE(no_59) OR FIREABLE(no_60) OR FIREABLE(no_61) OR FIREABLE(no_62) OR FIREABLE(no_63) OR FIREABLE(no_64) OR FIREABLE(no_65) OR FIREABLE(no_66) OR FIREABLE(no_67) OR FIREABLE(no_68) OR FIREABLE(no_69) OR FIREABLE(no_70) OR FIREABLE(no_71) OR FIREABLE(no_72) OR FIREABLE(no_73) OR FIREABLE(no_74) OR FIREABLE(no_75) OR FIREABLE(no_76) OR FIREABLE(no_77) OR FIREABLE(no_78) OR FIREABLE(no_79) OR FIREABLE(no_80) OR FIREABLE(no_81) OR FIREABLE(no_82) OR FIREABLE(no_83) OR FIREABLE(no_84) OR FIREABLE(no_85) OR FIREABLE(no_86) OR FIREABLE(no_87) OR FIREABLE(no_88) OR FIREABLE(no_89) OR FIREABLE(no_90) OR FIREABLE(no_91) OR FIREABLE(no_92) OR FIREABLE(no_93) OR FIREABLE(no_94) OR FIREABLE(no_95) OR FIREABLE(no_96) OR FIREABLE(no_97) OR FIREABLE(no_98) OR FIREABLE(no_99))) OR NOT(F (X (X (FIREABLE(start_0)))))))))) : A (F (G (((FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIREABLE(yes_19) OR FIREABLE(yes_20) OR FIREABLE(yes_21) OR FIREABLE(yes_22) OR FIREABLE(yes_23) OR FIREABLE(yes_24) OR FIREABLE(yes_25) OR FIREABLE(yes_26) OR FIREABLE(yes_27) OR FIREABLE(yes_28) OR FIREABLE(yes_29) OR FIREABLE(yes_30) OR FIREABLE(yes_31) OR FIREABLE(yes_32) OR FIREABLE(yes_33) OR FIREABLE(yes_34) OR FIREABLE(yes_35) OR FIREABLE(yes_36) OR FIREABLE(yes_37) OR FIREABLE(yes_38) OR FIREABLE(yes_39) OR FIREABLE(yes_40) OR FIREABLE(yes_41) OR FIREABLE(yes_42) OR FIREABLE(yes_43) OR FIREABLE(yes_44) OR FIREABLE(yes_45) OR FIREABLE(yes_46) OR FIREABLE(yes_47) OR FIREABLE(yes_48) OR FIREABLE(yes_49) OR FIREABLE(yes_50) OR FIREABLE(yes_51) OR FIREABLE(yes_52) OR FIREABLE(yes_53) OR FIREABLE(yes_54) OR FIREABLE(yes_55) OR FIREABLE(yes_56) OR FIREABLE(yes_57) OR FIREABLE(yes_58) OR FIREABLE(yes_59) OR FIREABLE(yes_60) OR FIREABLE(yes_61) OR FIREABLE(yes_62) OR FIREABLE(yes_63) OR FIREABLE(yes_64) OR FIREABLE(yes_65) OR FIREABLE(yes_66) OR FIREABLE(yes_67) OR FIREABLE(yes_68) OR FIREABLE(yes_69) OR FIREABLE(yes_70) OR FIREABLE(yes_71) OR FIREABLE(yes_72) OR FIREABLE(yes_73) OR FIREABLE(yes_74) OR FIREABLE(yes_75) OR FIREABLE(yes_76) OR FIREABLE(yes_77) OR FIREABLE(yes_78) OR FIREABLE(yes_79) OR FIREABLE(yes_80) OR FIREABLE(yes_81) OR FIREABLE(yes_82) OR FIREABLE(yes_83) OR FIREABLE(yes_84) OR FIREABLE(yes_85) OR FIREABLE(yes_86) OR FIREABLE(yes_87) OR FIREABLE(yes_88) OR FIREABLE(yes_89) OR FIREABLE(yes_90) OR FIREABLE(yes_91) OR FIREABLE(yes_92) OR FIREABLE(yes_93) OR FIREABLE(yes_94) OR FIREABLE(yes_95) OR FIREABLE(yes_96) OR FIREABLE(yes_97) OR FIREABLE(yes_98) OR FIREABLE(yes_99)) OR G (FIREABLE(start_0)))))) : A (F (((FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIREABLE(yes_19) OR FIREABLE(yes_20) OR FIREABLE(yes_21) OR FIREABLE(yes_22) OR FIREABLE(yes_23) OR FIREABLE(yes_24) OR FIREABLE(yes_25) OR FIREABLE(yes_26) OR FIREABLE(yes_27) OR FIREABLE(yes_28) OR FIREABLE(yes_29) OR FIREABLE(yes_30) OR FIREABLE(yes_31) OR FIREABLE(yes_32) OR FIREABLE(yes_33) OR FIREABLE(yes_34) OR FIREABLE(yes_35) OR FIREABLE(yes_36) OR FIREABLE(yes_37) OR FIREABLE(yes_38) OR FIREABLE(yes_39) OR FIREABLE(yes_40) OR FIREABLE(yes_41) OR FIREABLE(yes_42) OR FIREABLE(yes_43) OR FIREABLE(yes_44) OR FIREABLE(yes_45) OR FIREABLE(yes_46) OR FIREABLE(yes_47) OR FIREABLE(yes_48) OR FIREABLE(yes_49) OR FIREABLE(yes_50) OR FIREABLE(yes_51) OR FIREABLE(yes_52) OR FIREABLE(yes_53) OR FIREABLE(yes_54) OR FIREABLE(yes_55) OR FIREABLE(yes_56) OR FIREABLE(yes_57) OR FIREABLE(yes_58) OR FIREABLE(yes_59) OR FIREABLE(yes_60) OR FIREABLE(yes_61) OR FIREABLE(yes_62) OR FIREABLE(yes_63) OR FIREABLE(yes_64) OR FIREABLE(yes_65) OR FIREABLE(yes_66) OR FIREABLE(yes_67) OR FIREABLE(yes_68) OR FIREABLE(yes_69) OR FIREABLE(yes_70) OR FIREABLE(yes_71) OR FIREABLE(yes_72) OR FIREABLE(yes_73) OR FIREABLE(yes_74) OR FIREABLE(yes_75) OR FIREABLE(yes_76) OR FIREABLE(yes_77) OR FIREABLE(yes_78) OR FIREABLE(yes_79) OR FIREABLE(yes_80) OR FIREABLE(yes_81) OR FIREABLE(yes_82) OR FIREABLE(yes_83) OR FIREABLE(yes_84) OR FIREABLE(yes_85) OR FIREABLE(yes_86) OR FIREABLE(yes_87) OR FIREABLE(yes_88) OR FIREABLE(yes_89) OR FIREABLE(yes_90) OR FIREABLE(yes_91) OR FIREABLE(yes_92) OR FIREABLE(yes_93) OR FIREABLE(yes_94) OR FIREABLE(yes_95) OR FIREABLE(yes_96) OR FIREABLE(yes_97) OR FIREABLE(yes_98) OR FIREABLE(yes_99)) U NOT(G (X (NOT(G (((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR FIREABLE(no_20) OR FIREABLE(no_21) OR FIREABLE(no_22) OR FIREABLE(no_23) OR FIREABLE(no_24) OR FIREABLE(no_25) OR FIREABLE(no_26) OR FIREABLE(no_27) OR FIREABLE(no_28) OR FIREABLE(no_29) OR FIREABLE(no_30) OR FIREABLE(no_31) OR FIREABLE(no_32) OR FIREABLE(no_33) OR FIREABLE(no_34) OR FIREABLE(no_35) OR FIREABLE(no_36) OR FIREABLE(no_37) OR FIREABLE(no_38) OR FIREABLE(no_39) OR FIREABLE(no_40) OR FIREABLE(no_41) OR FIREABLE(no_42) OR FIREABLE(no_43) OR FIREABLE(no_44) OR FIREABLE(no_45) OR FIREABLE(no_46) OR FIREABLE(no_47) OR FIREABLE(no_48) OR FIREABLE(no_49) OR FIREABLE(no_50) OR FIREABLE(no_51) OR FIREABLE(no_52) OR FIREABLE(no_53) OR FIREABLE(no_54) OR FIREABLE(no_55) OR FIREABLE(no_56) OR FIREABLE(no_57) OR FIREABLE(no_58) OR FIREABLE(no_59) OR FIREABLE(no_60) OR FIREABLE(no_61) OR FIREABLE(no_62) OR FIREABLE(no_63) OR FIREABLE(no_64) OR FIREABLE(no_65) OR FIREABLE(no_66) OR FIREABLE(no_67) OR FIREABLE(no_68) OR FIREABLE(no_69) OR FIREABLE(no_70) OR FIREABLE(no_71) OR FIREABLE(no_72) OR FIREABLE(no_73) OR FIREABLE(no_74) OR FIREABLE(no_75) OR FIREABLE(no_76) OR FIREABLE(no_77) OR FIREABLE(no_78) OR FIREABLE(no_79) OR FIREABLE(no_80) OR FIREABLE(no_81) OR FIREABLE(no_82) OR FIREABLE(no_83) OR FIREABLE(no_84) OR FIREABLE(no_85) OR FIREABLE(no_86) OR FIREABLE(no_87) OR FIREABLE(no_88) OR FIREABLE(no_89) OR FIREABLE(no_90) OR FIREABLE(no_91) OR FIREABLE(no_92) OR FIREABLE(no_93) OR FIREABLE(no_94) OR FIREABLE(no_95) OR FIREABLE(no_96) OR FIREABLE(no_97) OR FIREABLE(no_98) OR FIREABLE(no_99)) U FIREABLE(start_0)))))))))) : A (NOT((F (FIREABLE(start_0)) AND (FIREABLE(yes_4) OR (FIREABLE(start_0) U F ((G (FIREABLE(start_0)) U FIREABLE(no_14)))))))) : A (G (NOT(X (X ((X (FIREABLE(start_0)) OR (FIREABLE(start_0) AND G (FIREABLE(start_0))))))))) : A (((FIREABLE(no_27) OR F (FIREABLE(no_27))) OR F (X (FIREABLE(yes_45))))) : A ((NOT(X (FIREABLE(yes_83))) U (F (X ((FIREABLE(yes_83) AND FIREABLE(yes_29)))) OR X (G (FIREABLE(yes_83)))))) : A (G (NOT FIREABLE(no_39))) : A (F ((FIREABLE(yes_64) AND FIREABLE(yes_67)))) : A (F (X (G (NOT FIREABLE(no_48))))) : A (F ((G (X (FIREABLE(start_0))) U (NOT(X (X (X (NOT(X (FIREABLE(start_0))))))) U F (FIREABLE(yes_41))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:416
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:491
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:500
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR ... (shortened)
lola: processed formula length: 6915
lola: 129 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 11 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 105 markings, 108 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X ((FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIR... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIREAB... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR FIREAB... (shortened)
lola: processed formula length: 4588
lola: 129 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 102 markings, 102 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (F (((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR ... (shortened)
lola: processed formula length: 2030
lola: 129 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 271736 markings, 1952587 edges, 54347 markings/sec, 0 secs
lola: 528357 markings, 4139743 edges, 51324 markings/sec, 5 secs
lola: 803657 markings, 6333282 edges, 55060 markings/sec, 10 secs
lola: 1059071 markings, 8532028 edges, 51083 markings/sec, 15 secs
lola: 1297164 markings, 10714402 edges, 47619 markings/sec, 20 secs
lola: 1523920 markings, 12883027 edges, 45351 markings/sec, 25 secs
lola: 1772206 markings, 15058321 edges, 49657 markings/sec, 30 secs
lola: 2027987 markings, 17251220 edges, 51156 markings/sec, 35 secs
lola: 2278740 markings, 19445763 edges, 50151 markings/sec, 40 secs
lola: 2511205 markings, 21623096 edges, 46493 markings/sec, 45 secs
lola: 2728612 markings, 23775666 edges, 43481 markings/sec, 50 secs
lola: 2980644 markings, 25977726 edges, 50406 markings/sec, 55 secs
lola: 3214875 markings, 28156547 edges, 46846 markings/sec, 60 secs
lola: 3426457 markings, 30299778 edges, 42316 markings/sec, 65 secs
lola: 3659690 markings, 32462215 edges, 46647 markings/sec, 70 secs
lola: 3866451 markings, 34586669 edges, 41352 markings/sec, 75 secs
lola: 4091170 markings, 36744134 edges, 44944 markings/sec, 80 secs
lola: 4297831 markings, 38870188 edges, 41332 markings/sec, 85 secs
lola: 4497164 markings, 40985462 edges, 39867 markings/sec, 90 secs
lola: 4685221 markings, 43088267 edges, 37611 markings/sec, 95 secs
lola: 4884801 markings, 45188601 edges, 39916 markings/sec, 100 secs
lola: 5144967 markings, 47361834 edges, 52033 markings/sec, 105 secs
lola: 5385530 markings, 49434582 edges, 48113 markings/sec, 110 secs
lola: 5608536 markings, 51458474 edges, 44601 markings/sec, 115 secs
lola: 5826414 markings, 53599509 edges, 43576 markings/sec, 120 secs
lola: 6066128 markings, 55755188 edges, 47943 markings/sec, 125 secs
lola: 6304354 markings, 57925789 edges, 47645 markings/sec, 130 secs
lola: 6525741 markings, 60074923 edges, 44277 markings/sec, 135 secs
lola: 6748119 markings, 62216064 edges, 44476 markings/sec, 140 secs
lola: 6973648 markings, 64372838 edges, 45106 markings/sec, 145 secs
lola: 7184903 markings, 66503892 edges, 42251 markings/sec, 150 secs
lola: 7390028 markings, 68632801 edges, 41025 markings/sec, 155 secs
lola: 7597835 markings, 70763918 edges, 41561 markings/sec, 160 secs
lola: 7796859 markings, 72882046 edges, 39805 markings/sec, 165 secs
lola: 7975781 markings, 74964780 edges, 35784 markings/sec, 170 secs
lola: 8209684 markings, 77118301 edges, 46781 markings/sec, 175 secs
lola: 8448592 markings, 79292533 edges, 47782 markings/sec, 180 secs
lola: 8668862 markings, 81447947 edges, 44054 markings/sec, 185 secs
lola: 8892434 markings, 83606162 edges, 44714 markings/sec, 190 secs
lola: 9110801 markings, 85682311 edges, 43673 markings/sec, 195 secs
lola: 9325195 markings, 87832656 edges, 42879 markings/sec, 200 secs
lola: 9532876 markings, 89979598 edges, 41536 markings/sec, 205 secs
lola: 9740210 markings, 92126593 edges, 41467 markings/sec, 210 secs
lola: 9939903 markings, 94258012 edges, 39939 markings/sec, 215 secs
lola: 10118776 markings, 96353349 edges, 35775 markings/sec, 220 secs
lola: 10343553 markings, 98507962 edges, 44955 markings/sec, 225 secs
lola: 10564484 markings, 100669788 edges, 44186 markings/sec, 230 secs
lola: 10765138 markings, 102657680 edges, 40131 markings/sec, 235 secs
lola: 10972563 markings, 104800961 edges, 41485 markings/sec, 240 secs
lola: 11178225 markings, 106937755 edges, 41132 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1922476 KB
lola: time consumption: 259 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1922476 KB
lola: time consumption: 259 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G ((NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16)... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16)... (shortened)
lola: processed formula length: 2395
lola: 131 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: SUBRESULT
lola: formula 0: (FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR FIREABLE(no_20) OR FIREABLE(no_21) OR FIREABLE(no_22) OR FIREABLE(no_23) OR FIREABLE(no_24) OR FIREABLE(no_25) OR FIREABLE(no_26) OR FIREABLE(no_27) OR FIREABLE(no_28) OR FIREABLE(no_29) OR FIREABLE(no_30) OR FIREABLE(no_31) OR FIREABLE(no_32) OR FIREABLE(no_33) OR FIREABLE(no_34) OR FIREABLE(no_35) OR FIREABLE(no_36) OR FIREABLE(no_37) OR FIREABLE(no_38) OR FIREABLE(no_39) OR FIREABLE(no_40) OR FIREABLE(no_41) OR FIREABLE(no_42) OR FIREABLE(no_43) OR FIREABLE(no_44) OR FIREABLE(no_45) OR FIREABLE(no_46) OR FIREABLE(no_47) OR FIREABLE(no_48) OR FIREABLE(no_49) OR FIREABLE(no_50) OR FIREABLE(no_51) OR FIREABLE(no_52) OR FIREABLE(no_53) OR FIREABLE(no_54) OR FIREABLE(no_55) OR FIREABLE(no_56) OR FIREABLE(no_57) OR FIREABLE(no_58) OR FIREABLE(no_59) OR FIREABLE(no_60) OR FIREABLE(no_61) OR FIREABLE(no_62) OR FIREABLE(no_63) OR FIREABLE(no_64) OR FIREABLE(no_65) OR FIREABLE(no_66) OR FIREABLE(no_67) OR FIREABLE(no_68) OR FIREABLE(no_69) OR FIREABLE(no_70) OR FIREABLE(no_71) OR FIREABLE(no_72) OR FIREABLE(no_73) OR FIREABLE(no_74) OR FIREABLE(no_75) OR FIREABLE(no_76) OR FIREABLE(no_77) OR FIREABLE(no_78) OR FIREABLE(no_79) OR FIREABLE(no_80) OR FIREABLE(no_81) OR FIREABLE(no_82) OR FIREABLE(no_83) OR FIREABLE(no_84) OR FIREABLE(no_85) OR FIREABLE(no_86) OR FIREABLE(no_87) OR FIREABLE(no_88) OR FIREABLE(no_89) OR FIREABLE(no_90) OR FIREABLE(no_91) OR FIREABLE(no_92) OR FIREABLE(no_93) OR FIREABLE(no_94) OR FIREABLE(no_95) OR FIREABLE(no_96) OR FIREABLE(no_97) OR FIREABLE(no_98) OR FIREABLE(no_99))
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 2 markings, 1 edges
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 100 literals and 100 conjunctive subformulas
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 4 will run for 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G ((X (NOT FIREABLE(start_0)) AND F (NOT FIREABLE(start_0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G ((X (NOT FIREABLE(start_0)) AND F (NOT FIREABLE(start_0)))))))
lola: processed formula length: 73
lola: 129 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 330873 markings, 2373617 edges, 66175 markings/sec, 0 secs
lola: 634605 markings, 4724111 edges, 60746 markings/sec, 5 secs
lola: 913137 markings, 7054202 edges, 55706 markings/sec, 10 secs
lola: 1185197 markings, 9368369 edges, 54412 markings/sec, 15 secs
lola: 1474047 markings, 11705900 edges, 57770 markings/sec, 20 secs
lola: 1733441 markings, 14006285 edges, 51879 markings/sec, 25 secs
lola: 2011131 markings, 16333460 edges, 55538 markings/sec, 30 secs
lola: 2259737 markings, 18625112 edges, 49721 markings/sec, 35 secs
lola: 2520013 markings, 20931463 edges, 52055 markings/sec, 40 secs
lola: 2760437 markings, 23209287 edges, 48085 markings/sec, 45 secs
lola: 2991978 markings, 25475816 edges, 46308 markings/sec, 50 secs
lola: 3199195 markings, 27709481 edges, 41443 markings/sec, 55 secs
lola: 3505159 markings, 30051592 edges, 61193 markings/sec, 60 secs
lola: 3776325 markings, 32362988 edges, 54233 markings/sec, 65 secs
lola: 4038729 markings, 34659443 edges, 52481 markings/sec, 70 secs
lola: 4303501 markings, 36968680 edges, 52954 markings/sec, 75 secs
lola: 4560929 markings, 39272455 edges, 51486 markings/sec, 80 secs
lola: 4806991 markings, 41563977 edges, 49212 markings/sec, 85 secs
lola: 5037797 markings, 43829582 edges, 46161 markings/sec, 90 secs
lola: 5255015 markings, 46071945 edges, 43444 markings/sec, 95 secs
lola: 5513859 markings, 48369029 edges, 51769 markings/sec, 100 secs
lola: 5767963 markings, 50670542 edges, 50821 markings/sec, 105 secs
lola: 6030075 markings, 52979795 edges, 52422 markings/sec, 110 secs
lola: 6272759 markings, 55261063 edges, 48537 markings/sec, 115 secs
lola: 6503437 markings, 57523735 edges, 46136 markings/sec, 120 secs
lola: 6709961 markings, 59739217 edges, 41305 markings/sec, 125 secs
lola: 6967177 markings, 62042836 edges, 51443 markings/sec, 130 secs
lola: 7210161 markings, 64320229 edges, 48597 markings/sec, 135 secs
lola: 7440443 markings, 66577359 edges, 46056 markings/sec, 140 secs
lola: 7646813 markings, 68779179 edges, 41274 markings/sec, 145 secs
lola: 7880615 markings, 71042219 edges, 46760 markings/sec, 150 secs
lola: 8111589 markings, 73305937 edges, 46195 markings/sec, 155 secs
lola: 8312729 markings, 75505262 edges, 40228 markings/sec, 160 secs
lola: 8541777 markings, 77760528 edges, 45810 markings/sec, 165 secs
lola: 8745269 markings, 79963075 edges, 40698 markings/sec, 170 secs
lola: 8956457 markings, 82176062 edges, 42238 markings/sec, 175 secs
lola: 9155497 markings, 84373210 edges, 39808 markings/sec, 180 secs
lola: 9345387 markings, 86553721 edges, 37978 markings/sec, 185 secs
lola: 9520905 markings, 88685936 edges, 35104 markings/sec, 190 secs
lola: 9787557 markings, 90979105 edges, 53330 markings/sec, 195 secs
lola: 10068829 markings, 93291187 edges, 56254 markings/sec, 200 secs
lola: 10322719 markings, 95567272 edges, 50778 markings/sec, 205 secs
lola: 10598413 markings, 97875568 edges, 55139 markings/sec, 210 secs
lola: 10848147 markings, 100151486 edges, 49947 markings/sec, 215 secs
lola: 11096587 markings, 102430960 edges, 49688 markings/sec, 220 secs
lola: 11337523 markings, 104701485 edges, 48187 markings/sec, 225 secs
lola: 11558649 markings, 106937971 edges, 44225 markings/sec, 230 secs
lola: 11789765 markings, 109184440 edges, 46223 markings/sec, 235 secs
lola: 12058935 markings, 111494904 edges, 53834 markings/sec, 240 secs
lola: 12313337 markings, 113784251 edges, 50880 markings/sec, 245 secs
lola: 12557935 markings, 116061465 edges, 48920 markings/sec, 250 secs
lola: 12795033 markings, 118326413 edges, 47420 markings/sec, 255 secs
lola: 13012349 markings, 120556243 edges, 43463 markings/sec, 260 secs
lola: 13245517 markings, 122810770 edges, 46634 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown no unknown no unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2134548 KB
lola: time consumption: 534 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (FIREABLE(no_27)) OR X (F (FIREABLE(yes_45)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (FIREABLE(no_27)) OR X (F (FIREABLE(yes_45)))))
lola: processed formula length: 53
lola: 129 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 6 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((NOT FIREABLE(yes_83) U (F ((FIREABLE(yes_83) AND FIREABLE(yes_29))) OR G (FIREABLE(yes_83))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((NOT FIREABLE(yes_83) U (F ((FIREABLE(yes_83) AND FIREABLE(yes_29))) OR G (FIREABLE(yes_83))))))
lola: processed formula length: 102
lola: 129 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 7 will run for 337 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(no_39)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (NOT FIREABLE(no_39)))
lola: processed formula length: 27
lola: 131 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(no_39)
lola: state equation task get result unparse finished id 0
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: The predicate is not invariant.
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 8 will run for 379 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(yes_41)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: NOT FIREABLE(yes_41)
lola: processed formula length: 20
lola: 131 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 433 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(yes_64) AND FIREABLE(yes_67))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (NOT FIREABLE(yes_64) OR NOT FIREABLE(yes_67))
lola: processed formula length: 47
lola: 131 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 506 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (NOT FIREABLE(no_48))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (NOT FIREABLE(no_48))))
lola: processed formula length: 31
lola: 129 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 116213 markings, 1351975 edges, 23243 markings/sec, 0 secs
lola: 235695 markings, 2761156 edges, 23896 markings/sec, 5 secs
lola: 334070 markings, 4161241 edges, 19675 markings/sec, 10 secs
lola: 451063 markings, 5575565 edges, 23399 markings/sec, 15 secs
lola: 571515 markings, 6993886 edges, 24090 markings/sec, 20 secs
lola: 671288 markings, 8401765 edges, 19955 markings/sec, 25 secs
lola: 767492 markings, 9806966 edges, 19241 markings/sec, 30 secs
lola: 860750 markings, 11207137 edges, 18652 markings/sec, 35 secs
lola: 950727 markings, 12602664 edges, 17995 markings/sec, 40 secs
lola: 1035238 markings, 13993117 edges, 16902 markings/sec, 45 secs
lola: 1145851 markings, 15399418 edges, 22123 markings/sec, 50 secs
lola: 1266555 markings, 16817937 edges, 24141 markings/sec, 55 secs
lola: 1367934 markings, 18231121 edges, 20276 markings/sec, 60 secs
lola: 1479523 markings, 19642639 edges, 22318 markings/sec, 65 secs
lola: 1600472 markings, 21063241 edges, 24190 markings/sec, 70 secs
lola: 1705147 markings, 22481728 edges, 20935 markings/sec, 75 secs
lola: 1800475 markings, 23886935 edges, 19066 markings/sec, 80 secs
lola: 1894002 markings, 25288341 edges, 18705 markings/sec, 85 secs
lola: 1986368 markings, 26684590 edges, 18473 markings/sec, 90 secs
lola: 2073532 markings, 28076555 edges, 17433 markings/sec, 95 secs
lola: 2160252 markings, 29470197 edges, 17344 markings/sec, 100 secs
lola: 2254252 markings, 30873221 edges, 18800 markings/sec, 105 secs
lola: 2346360 markings, 32269275 edges, 18422 markings/sec, 110 secs
lola: 2432460 markings, 33661067 edges, 17220 markings/sec, 115 secs
lola: 2518314 markings, 35051277 edges, 17171 markings/sec, 120 secs
lola: 2607464 markings, 36442336 edges, 17830 markings/sec, 125 secs
lola: 2691882 markings, 37830708 edges, 16884 markings/sec, 130 secs
lola: 2776824 markings, 39218465 edges, 16988 markings/sec, 135 secs
lola: 2859641 markings, 40602989 edges, 16563 markings/sec, 140 secs
lola: 2942644 markings, 41987697 edges, 16601 markings/sec, 145 secs
lola: 3022471 markings, 43370513 edges, 15965 markings/sec, 150 secs
lola: 3099194 markings, 44749920 edges, 15345 markings/sec, 155 secs
lola: 3172966 markings, 46131551 edges, 14754 markings/sec, 160 secs
lola: 3284041 markings, 47528343 edges, 22215 markings/sec, 165 secs
lola: 3403781 markings, 48936453 edges, 23948 markings/sec, 170 secs
lola: 3503177 markings, 50334798 edges, 19879 markings/sec, 175 secs
lola: 3615883 markings, 51738182 edges, 22541 markings/sec, 180 secs
lola: 3735936 markings, 53149807 edges, 24011 markings/sec, 185 secs
lola: 3838387 markings, 54555733 edges, 20490 markings/sec, 190 secs
lola: 3933121 markings, 55955126 edges, 18947 markings/sec, 195 secs
lola: 4026774 markings, 57351076 edges, 18731 markings/sec, 200 secs
lola: 4118318 markings, 58741314 edges, 18309 markings/sec, 205 secs
lola: 4203995 markings, 60126408 edges, 17135 markings/sec, 210 secs
lola: 4303570 markings, 61519823 edges, 19915 markings/sec, 215 secs
lola: 4424753 markings, 62932106 edges, 24237 markings/sec, 220 secs
lola: 4531636 markings, 64345249 edges, 21377 markings/sec, 225 secs
lola: 4633520 markings, 65747416 edges, 20377 markings/sec, 230 secs
lola: 4753775 markings, 67159696 edges, 24051 markings/sec, 235 secs
lola: 4867118 markings, 68575460 edges, 22669 markings/sec, 240 secs
lola: 4960167 markings, 69977831 edges, 18610 markings/sec, 245 secs
lola: 5058988 markings, 71381920 edges, 19764 markings/sec, 250 secs
lola: 5150543 markings, 72777578 edges, 18311 markings/sec, 255 secs
lola: 5239078 markings, 74169049 edges, 17707 markings/sec, 260 secs
lola: 5320867 markings, 75557063 edges, 16358 markings/sec, 265 secs
lola: 5418084 markings, 76962009 edges, 19443 markings/sec, 270 secs
lola: 5509521 markings, 78359591 edges, 18287 markings/sec, 275 secs
lola: 5597930 markings, 79752651 edges, 17682 markings/sec, 280 secs
lola: 5680858 markings, 81144077 edges, 16586 markings/sec, 285 secs
lola: 5772653 markings, 82537867 edges, 18359 markings/sec, 290 secs
lola: 5858313 markings, 83930184 edges, 17132 markings/sec, 295 secs
lola: 5942573 markings, 85321887 edges, 16852 markings/sec, 300 secs
lola: 6027639 markings, 86710719 edges, 17013 markings/sec, 305 secs
lola: 6109758 markings, 88097542 edges, 16424 markings/sec, 310 secs
lola: 6189874 markings, 89482783 edges, 16023 markings/sec, 315 secs
lola: 6268877 markings, 90867575 edges, 15801 markings/sec, 320 secs
lola: 6343419 markings, 92251617 edges, 14908 markings/sec, 325 secs
lola: 6428815 markings, 93643456 edges, 17079 markings/sec, 330 secs
lola: 6521858 markings, 95045576 edges, 18609 markings/sec, 335 secs
lola: 6613579 markings, 96448451 edges, 18344 markings/sec, 340 secs
lola: 6699056 markings, 97848027 edges, 17095 markings/sec, 345 secs
lola: 6786771 markings, 99244792 edges, 17543 markings/sec, 350 secs
lola: 6875323 markings, 100636188 edges, 17710 markings/sec, 355 secs
lola: 6958029 markings, 102027700 edges, 16541 markings/sec, 360 secs
lola: 7045137 markings, 103419065 edges, 17422 markings/sec, 365 secs
lola: 7125329 markings, 104809208 edges, 16038 markings/sec, 370 secs
lola: 7209904 markings, 106198607 edges, 16915 markings/sec, 375 secs
lola: 7289765 markings, 107585673 edges, 15972 markings/sec, 380 secs
lola: 7367129 markings, 108973341 edges, 15473 markings/sec, 385 secs
lola: 7438321 markings, 110354907 edges, 14238 markings/sec, 390 secs
lola: 7529885 markings, 111744705 edges, 18313 markings/sec, 395 secs
lola: 7617087 markings, 113132389 edges, 17440 markings/sec, 400 secs
lola: 7699672 markings, 114518153 edges, 16517 markings/sec, 405 secs
lola: 7785681 markings, 115905699 edges, 17202 markings/sec, 410 secs
lola: 7867155 markings, 117290753 edges, 16295 markings/sec, 415 secs
lola: 7947620 markings, 118674688 edges, 16093 markings/sec, 420 secs
lola: 8027140 markings, 120057325 edges, 15904 markings/sec, 425 secs
lola: 8103200 markings, 121443595 edges, 15212 markings/sec, 430 secs
lola: 8180014 markings, 122824975 edges, 15363 markings/sec, 435 secs
lola: 8265083 markings, 124209398 edges, 17014 markings/sec, 440 secs
lola: 8346608 markings, 125590414 edges, 16305 markings/sec, 445 secs
lola: 8427075 markings, 126972458 edges, 16093 markings/sec, 450 secs
lola: 8506041 markings, 128354096 edges, 15793 markings/sec, 455 secs
lola: 8580607 markings, 129732473 edges, 14913 markings/sec, 460 secs
lola: 8656411 markings, 131110565 edges, 15161 markings/sec, 465 secs
lola: 8737293 markings, 132491731 edges, 16176 markings/sec, 470 secs
lola: 8816489 markings, 133872134 edges, 15839 markings/sec, 475 secs
lola: 8891909 markings, 135252931 edges, 15084 markings/sec, 480 secs
lola: 8965768 markings, 136628600 edges, 14772 markings/sec, 485 secs
lola: 9043585 markings, 138007065 edges, 15563 markings/sec, 490 secs
lola: 9117576 markings, 139382799 edges, 14798 markings/sec, 495 secs
lola: 9190969 markings, 140756751 edges, 14679 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no unknown no unknown unknown unknown unknown yes yes no yes unknown yes
lola: memory consumption: 1348348 KB
lola: time consumption: 1040 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 506 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G (NOT FIREABLE(start_0)) OR (NOT FIREABLE(yes_4) AND G ((NOT FIREABLE(no_14) AND (F (NOT FIREABLE(start_0)) OR G (NOT FIREABLE(no_14))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G (NOT FIREABLE(start_0)) OR (NOT FIREABLE(yes_4) AND G ((NOT FIREABLE(no_14) AND (F (NOT FIREABLE(start_0)) OR G (NOT FIREABLE(no_14))))))))
lola: processed formula length: 145
lola: 129 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 103 markings, 103 edges
lola: ========================================
lola: subprocess 12 will run for 632 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((F (FIREABLE(start_0)) AND ((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((F (FIREABLE(start_0)) AND ((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_... (shortened)
lola: processed formula length: 2050
lola: 129 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 103 markings, 104 edges
lola: ========================================
lola: subprocess 13 will run for 843 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(start_0) AND (F ((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(start_0) AND (F ((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR... (shortened)
lola: processed formula length: 2073
lola: 129 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1265 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (((FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (((FIREABLE(yes_0) OR FIREABLE(yes_1) OR FIREABLE(yes_2) OR FIREABLE(yes_3) OR FIREABLE(yes_4) OR FIREABLE(yes_5) OR FIREABLE(yes_6) OR FIREABLE(yes_7) OR FIREABLE(yes_8) OR FIREABLE(yes_9) OR FIREABLE(yes_10) OR FIREABLE(yes_11) OR FIREABLE(yes_12) OR FIREABLE(yes_13) OR FIREABLE(yes_14) OR FIREABLE(yes_15) OR FIREABLE(yes_16) OR FIREABLE(yes_17) OR FIREABLE(yes_18) OR ... (shortened)
lola: processed formula length: 2126
lola: 129 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 103 markings, 104 edges
lola: ========================================
lola: subprocess 15 will run for 2530 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16) A... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking universal release
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:693
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (((NOT FIREABLE(no_0) AND NOT FIREABLE(no_1) AND NOT FIREABLE(no_2) AND NOT FIREABLE(no_3) AND NOT FIREABLE(no_4) AND NOT FIREABLE(no_5) AND NOT FIREABLE(no_6) AND NOT FIREABLE(no_7) AND NOT FIREABLE(no_8) AND NOT FIREABLE(no_9) AND NOT FIREABLE(no_10) AND NOT FIREABLE(no_11) AND NOT FIREABLE(no_12) AND NOT FIREABLE(no_13) AND NOT FIREABLE(no_14) AND NOT FIREABLE(no_15) AND NOT FIREABLE(no_16) A... (shortened)
lola: processed formula length: 4783
lola: 133 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EU
lola: Predicate Phi releases Predicate Psi on all paths.
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (A (G (F (((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: A (G (F (((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18) OR FIREABLE(no_19) OR ... (shortened)
lola: processed formula length: 2030
lola: 129 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 301135 markings, 2212064 edges, 60227 markings/sec, 0 secs
lola: 561119 markings, 4400507 edges, 51997 markings/sec, 5 secs
lola: 833563 markings, 6596147 edges, 54489 markings/sec, 10 secs
lola: 1072737 markings, 8655353 edges, 47835 markings/sec, 15 secs
lola: 1313886 markings, 10850898 edges, 48230 markings/sec, 20 secs
lola: 1538648 markings, 13032203 edges, 44952 markings/sec, 25 secs
lola: 1792205 markings, 15219780 edges, 50711 markings/sec, 30 secs
lola: 2046692 markings, 17417785 edges, 50897 markings/sec, 35 secs
lola: 2297533 markings, 19617569 edges, 50168 markings/sec, 40 secs
lola: 2529514 markings, 21803077 edges, 46396 markings/sec, 45 secs
lola: 2752364 markings, 23973554 edges, 44570 markings/sec, 50 secs
lola: 3003727 markings, 26178002 edges, 50273 markings/sec, 55 secs
lola: 3236106 markings, 28362852 edges, 46476 markings/sec, 60 secs
lola: 3451810 markings, 30523272 edges, 43141 markings/sec, 65 secs
lola: 3687000 markings, 32706986 edges, 47038 markings/sec, 70 secs
lola: 3896228 markings, 34848518 edges, 41846 markings/sec, 75 secs
lola: 4118130 markings, 37015902 edges, 44380 markings/sec, 80 secs
lola: 4326114 markings, 39158930 edges, 41597 markings/sec, 85 secs
lola: 4523114 markings, 41280844 edges, 39400 markings/sec, 90 secs
lola: 4712276 markings, 43400643 edges, 37832 markings/sec, 95 secs
lola: 4926928 markings, 45526915 edges, 42930 markings/sec, 100 secs
lola: 5181182 markings, 47709886 edges, 50851 markings/sec, 105 secs
lola: 5436074 markings, 49895311 edges, 50978 markings/sec, 110 secs
lola: 5672455 markings, 52070074 edges, 47276 markings/sec, 115 secs
lola: 5881687 markings, 54215839 edges, 41846 markings/sec, 120 secs
lola: 6135107 markings, 56410075 edges, 50684 markings/sec, 125 secs
lola: 6375537 markings, 58590057 edges, 48086 markings/sec, 130 secs
lola: 6585767 markings, 60734140 edges, 42046 markings/sec, 135 secs
lola: 6825445 markings, 62919678 edges, 47936 markings/sec, 140 secs
lola: 7040088 markings, 65075861 edges, 42929 markings/sec, 145 secs
lola: 7261243 markings, 67240981 edges, 44231 markings/sec, 150 secs
lola: 7468898 markings, 69385579 edges, 41531 markings/sec, 155 secs
lola: 7672924 markings, 71525865 edges, 40805 markings/sec, 160 secs
lola: 7865161 markings, 73652319 edges, 38447 markings/sec, 165 secs
lola: 8047226 markings, 75751953 edges, 36413 markings/sec, 170 secs
lola: 8300629 markings, 77941440 edges, 50681 markings/sec, 175 secs
lola: 8535524 markings, 80117327 edges, 46979 markings/sec, 180 secs
lola: 8744737 markings, 82263151 edges, 41843 markings/sec, 185 secs
lola: 8985401 markings, 84448802 edges, 48133 markings/sec, 190 secs
lola: 9195537 markings, 86596998 edges, 42027 markings/sec, 195 secs
lola: 9421089 markings, 88772757 edges, 45110 markings/sec, 200 secs
lola: 9629854 markings, 90924639 edges, 41753 markings/sec, 205 secs
lola: 9831554 markings, 93065314 edges, 40340 markings/sec, 210 secs
lola: 10021840 markings, 95191148 edges, 38057 markings/sec, 215 secs
lola: 10212584 markings, 97309557 edges, 38149 markings/sec, 220 secs
lola: 10447503 markings, 99492495 edges, 46984 markings/sec, 225 secs
lola: 10658265 markings, 101647921 edges, 42152 markings/sec, 230 secs
lola: 10879982 markings, 103815932 edges, 44343 markings/sec, 235 secs
lola: 11088469 markings, 105964679 edges, 41697 markings/sec, 240 secs
lola: 11286092 markings, 108094474 edges, 39525 markings/sec, 245 secs
lola: 11474843 markings, 110212606 edges, 37750 markings/sec, 250 secs
lola: 11669743 markings, 112336997 edges, 38980 markings/sec, 255 secs
lola: 11879387 markings, 114479386 edges, 41929 markings/sec, 260 secs
lola: 12088121 markings, 116628289 edges, 41747 markings/sec, 265 secs
lola: 12287195 markings, 118760004 edges, 39815 markings/sec, 270 secs
lola: 12467366 markings, 120847958 edges, 36034 markings/sec, 275 secs
lola: 12666120 markings, 122976332 edges, 39751 markings/sec, 280 secs
lola: 12863554 markings, 125103882 edges, 39487 markings/sec, 285 secs
lola: 13051950 markings, 127216919 edges, 37679 markings/sec, 290 secs
lola: 13234181 markings, 129312327 edges, 36446 markings/sec, 295 secs
lola: 13425278 markings, 131428904 edges, 38219 markings/sec, 300 secs
lola: 13598837 markings, 133506019 edges, 34712 markings/sec, 305 secs
lola: 13782520 markings, 135601636 edges, 36737 markings/sec, 310 secs
lola: 13955890 markings, 137682437 edges, 34674 markings/sec, 315 secs
lola: 14124862 markings, 139755292 edges, 33794 markings/sec, 320 secs
lola: 14284760 markings, 141801009 edges, 31980 markings/sec, 325 secs
lola: 14449135 markings, 143847632 edges, 32875 markings/sec, 330 secs
lola: 14718414 markings, 146036381 edges, 53856 markings/sec, 335 secs
lola: 14969888 markings, 148212175 edges, 50295 markings/sec, 340 secs
lola: 15208376 markings, 150381018 edges, 47698 markings/sec, 345 secs
lola: 15426807 markings, 152529340 edges, 43686 markings/sec, 350 secs
lola: 15667551 markings, 154693388 edges, 48149 markings/sec, 355 secs
lola: 15905506 markings, 156859957 edges, 47591 markings/sec, 360 secs
lola: 16126286 markings, 159008003 edges, 44156 markings/sec, 365 secs
lola: 16349654 markings, 161159844 edges, 44674 markings/sec, 370 secs
lola: 16575665 markings, 163323021 edges, 45202 markings/sec, 375 secs
lola: 16789404 markings, 165467339 edges, 42748 markings/sec, 380 secs
lola: 16995748 markings, 167602758 edges, 41269 markings/sec, 385 secs
lola: 17201689 markings, 169736563 edges, 41188 markings/sec, 390 secs
lola: 17401732 markings, 171862036 edges, 40009 markings/sec, 395 secs
lola: 17568075 markings, 173798883 edges, 33269 markings/sec, 400 secs
lola: 17799040 markings, 175945182 edges, 46193 markings/sec, 405 secs
lola: 18037493 markings, 178117347 edges, 47691 markings/sec, 410 secs
lola: 18259464 markings, 180273182 edges, 44394 markings/sec, 415 secs
lola: 18482774 markings, 182425081 edges, 44662 markings/sec, 420 secs
lola: 18708680 markings, 184586727 edges, 45181 markings/sec, 425 secs
lola: 18921716 markings, 186727841 edges, 42607 markings/sec, 430 secs
lola: 19128436 markings, 188865683 edges, 41344 markings/sec, 435 secs
lola: 19334835 markings, 191004343 edges, 41280 markings/sec, 440 secs
lola: 19534897 markings, 193128241 edges, 40012 markings/sec, 445 secs
lola: 19713635 markings, 195214623 edges, 35748 markings/sec, 450 secs
lola: 19935796 markings, 197362635 edges, 44432 markings/sec, 455 secs
lola: 20158308 markings, 199529424 edges, 44502 markings/sec, 460 secs
lola: 20375309 markings, 201681088 edges, 43400 markings/sec, 465 secs
lola: 20582186 markings, 203817861 edges, 41375 markings/sec, 470 secs
lola: 20786773 markings, 205950564 edges, 40917 markings/sec, 475 secs
lola: 20980124 markings, 208058926 edges, 38670 markings/sec, 480 secs
lola: 21155454 markings, 210129844 edges, 35066 markings/sec, 485 secs
lola: 21374355 markings, 212282109 edges, 43780 markings/sec, 490 secs
lola: 21580843 markings, 214414362 edges, 41298 markings/sec, 495 secs
lola: 21782240 markings, 216541307 edges, 40279 markings/sec, 500 secs
lola: 21971417 markings, 218637325 edges, 37835 markings/sec, 505 secs
lola: 22144657 markings, 220689209 edges, 34648 markings/sec, 510 secs
lola: 22350363 markings, 222823033 edges, 41141 markings/sec, 515 secs
lola: 22546760 markings, 224939780 edges, 39279 markings/sec, 520 secs
lola: 22722067 markings, 226998235 edges, 35061 markings/sec, 525 secs
lola: 22912111 markings, 229097637 edges, 38009 markings/sec, 530 secs
lola: 23095037 markings, 231179223 edges, 36585 markings/sec, 535 secs
lola: 23270444 markings, 233239997 edges, 35081 markings/sec, 540 secs
lola: 23443088 markings, 235290492 edges, 34529 markings/sec, 545 secs
lola: 23615928 markings, 237351266 edges, 34568 markings/sec, 550 secs
lola: 23779328 markings, 239386009 edges, 32680 markings/sec, 555 secs
lola: 23933539 markings, 241382799 edges, 30842 markings/sec, 560 secs
lola: 24128047 markings, 243437029 edges, 38902 markings/sec, 565 secs
lola: 24371439 markings, 245608446 edges, 48678 markings/sec, 570 secs
lola: 24596758 markings, 247759963 edges, 45064 markings/sec, 575 secs
lola: 24813970 markings, 249894721 edges, 43442 markings/sec, 580 secs
lola: 25043914 markings, 252053879 edges, 45989 markings/sec, 585 secs
lola: 25253443 markings, 254182240 edges, 41906 markings/sec, 590 secs
lola: 25469040 markings, 256324868 edges, 43119 markings/sec, 595 secs
lola: 25675613 markings, 258453615 edges, 41315 markings/sec, 600 secs
lola: 25869286 markings, 260560497 edges, 38735 markings/sec, 605 secs
lola: 26057039 markings, 262660688 edges, 37551 markings/sec, 610 secs
lola: 26260604 markings, 264773566 edges, 40713 markings/sec, 615 secs
lola: 26487490 markings, 266936480 edges, 45377 markings/sec, 620 secs
lola: 26700263 markings, 269075818 edges, 42555 markings/sec, 625 secs
lola: 26911533 markings, 271213336 edges, 42254 markings/sec, 630 secs
lola: 27118646 markings, 273344856 edges, 41423 markings/sec, 635 secs
lola: 27314826 markings, 275459348 edges, 39236 markings/sec, 640 secs
lola: 27497816 markings, 277546921 edges, 36598 markings/sec, 645 secs
lola: 27699280 markings, 279665870 edges, 40293 markings/sec, 650 secs
lola: 27905819 markings, 281799062 edges, 41308 markings/sec, 655 secs
lola: 28111694 markings, 283937107 edges, 41175 markings/sec, 660 secs
lola: 28308766 markings, 286056100 edges, 39414 markings/sec, 665 secs
lola: 28485092 markings, 288127825 edges, 35265 markings/sec, 670 secs
lola: 28686812 markings, 290253475 edges, 40344 markings/sec, 675 secs
lola: 28883588 markings, 292377604 edges, 39355 markings/sec, 680 secs
lola: 29067715 markings, 294469018 edges, 36825 markings/sec, 685 secs
lola: 29252194 markings, 296557014 edges, 36896 markings/sec, 690 secs
lola: 29439527 markings, 298658909 edges, 37467 markings/sec, 695 secs
lola: 29614692 markings, 300728055 edges, 35033 markings/sec, 700 secs
lola: 29794198 markings, 302808513 edges, 35901 markings/sec, 705 secs
lola: 29967726 markings, 304882912 edges, 34706 markings/sec, 710 secs
lola: 30133686 markings, 306939192 edges, 33192 markings/sec, 715 secs
lola: 30291684 markings, 308968188 edges, 31600 markings/sec, 720 secs
lola: 30457817 markings, 311006196 edges, 33227 markings/sec, 725 secs
lola: 30692477 markings, 313179991 edges, 46932 markings/sec, 730 secs
lola: 30901669 markings, 315324914 edges, 41838 markings/sec, 735 secs
lola: 31124408 markings, 317486571 edges, 44548 markings/sec, 740 secs
lola: 31331725 markings, 319626577 edges, 41463 markings/sec, 745 secs
lola: 31530062 markings, 321754102 edges, 39667 markings/sec, 750 secs
lola: 31717720 markings, 323862105 edges, 37532 markings/sec, 755 secs
lola: 31909593 markings, 325967227 edges, 38375 markings/sec, 760 secs
lola: 32121553 markings, 328117389 edges, 42392 markings/sec, 765 secs
lola: 32329891 markings, 330264333 edges, 41668 markings/sec, 770 secs
lola: 32527699 markings, 332395032 edges, 39562 markings/sec, 775 secs
lola: 32710591 markings, 334486526 edges, 36578 markings/sec, 780 secs
lola: 32906555 markings, 336607722 edges, 39193 markings/sec, 785 secs
lola: 33105972 markings, 338743691 edges, 39883 markings/sec, 790 secs
lola: 33294471 markings, 340861556 edges, 37700 markings/sec, 795 secs
lola: 33476611 markings, 342959040 edges, 36428 markings/sec, 800 secs
lola: 33668712 markings, 345083688 edges, 38420 markings/sec, 805 secs
lola: 33841961 markings, 347165463 edges, 34650 markings/sec, 810 secs
lola: 34026850 markings, 349265963 edges, 36978 markings/sec, 815 secs
lola: 34200732 markings, 351345564 edges, 34776 markings/sec, 820 secs
lola: 34369606 markings, 353419455 edges, 33775 markings/sec, 825 secs
lola: 34529486 markings, 355460208 edges, 31976 markings/sec, 830 secs
lola: 34679354 markings, 357474104 edges, 29974 markings/sec, 835 secs
lola: 34903816 markings, 359639004 edges, 44892 markings/sec, 840 secs
lola: 35111886 markings, 361786172 edges, 41614 markings/sec, 845 secs
lola: 35311406 markings, 363919086 edges, 39904 markings/sec, 850 secs
lola: 35499938 markings, 366036291 edges, 37706 markings/sec, 855 secs
lola: 35684317 markings, 368137403 edges, 36876 markings/sec, 860 secs
lola: 35889659 markings, 370278128 edges, 41068 markings/sec, 865 secs
lola: 36081619 markings, 372399299 edges, 38392 markings/sec, 870 secs
lola: 36254622 markings, 374476249 edges, 34601 markings/sec, 875 secs
lola: 36453338 markings, 376606284 edges, 39743 markings/sec, 880 secs
lola: 36630935 markings, 378689193 edges, 35519 markings/sec, 885 secs
lola: 36813809 markings, 380787469 edges, 36575 markings/sec, 890 secs
lola: 36986412 markings, 382859445 edges, 34521 markings/sec, 895 secs
lola: 37156185 markings, 384923421 edges, 33955 markings/sec, 900 secs
lola: 37320427 markings, 386972928 edges, 32848 markings/sec, 905 secs
lola: 37470017 markings, 388974267 edges, 29918 markings/sec, 910 secs
lola: 37665650 markings, 391094992 edges, 39127 markings/sec, 915 secs
lola: 37861226 markings, 393217803 edges, 39115 markings/sec, 920 secs
lola: 38048133 markings, 395316360 edges, 37381 markings/sec, 925 secs
lola: 38231471 markings, 397404387 edges, 36668 markings/sec, 930 secs
lola: 38420764 markings, 399516661 edges, 37859 markings/sec, 935 secs
lola: 38594547 markings, 401586607 edges, 34757 markings/sec, 940 secs
lola: 38776312 markings, 403673266 edges, 36353 markings/sec, 945 secs
lola: 38948495 markings, 405740232 edges, 34437 markings/sec, 950 secs
lola: 39114477 markings, 407785518 edges, 33196 markings/sec, 955 secs
lola: 39271657 markings, 409797438 edges, 31436 markings/sec, 960 secs
lola: 39422460 markings, 411796109 edges, 30161 markings/sec, 965 secs
lola: 39617906 markings, 413915853 edges, 39089 markings/sec, 970 secs
lola: 39793750 markings, 415990193 edges, 35169 markings/sec, 975 secs
lola: 39977353 markings, 418092112 edges, 36721 markings/sec, 980 secs
lola: 40150298 markings, 420163805 edges, 34589 markings/sec, 985 secs
lola: 40319834 markings, 422224500 edges, 33907 markings/sec, 990 secs
lola: 40481516 markings, 424254761 edges, 32336 markings/sec, 995 secs
lola: 40629009 markings, 426232792 edges, 29499 markings/sec, 1000 secs
lola: 40806521 markings, 428314219 edges, 35502 markings/sec, 1005 secs
lola: 40978559 markings, 430379624 edges, 34408 markings/sec, 1010 secs
lola: 41148212 markings, 432442604 edges, 33931 markings/sec, 1015 secs
lola: 41311285 markings, 434476241 edges, 32615 markings/sec, 1020 secs
lola: 41460114 markings, 436461395 edges, 29766 markings/sec, 1025 secs
lola: 41626436 markings, 438510936 edges, 33264 markings/sec, 1030 secs
lola: 41790870 markings, 440549421 edges, 32887 markings/sec, 1035 secs
lola: 41946608 markings, 442562635 edges, 31148 markings/sec, 1040 secs
lola: 42095836 markings, 444556111 edges, 29846 markings/sec, 1045 secs
lola: 42258151 markings, 446597943 edges, 32463 markings/sec, 1050 secs
lola: 42406549 markings, 448588527 edges, 29680 markings/sec, 1055 secs
lola: 42560130 markings, 450603058 edges, 30716 markings/sec, 1060 secs
lola: 42703506 markings, 452578068 edges, 28675 markings/sec, 1065 secs
lola: 42844998 markings, 454539542 edges, 28298 markings/sec, 1070 secs
lola: 42985253 markings, 456492659 edges, 28051 markings/sec, 1075 secs
lola: 43114674 markings, 458404037 edges, 25884 markings/sec, 1080 secs
lola: 43319440 markings, 460483813 edges, 40953 markings/sec, 1085 secs
lola: 43573626 markings, 462655477 edges, 50837 markings/sec, 1090 secs
lola: 43822155 markings, 464821785 edges, 49706 markings/sec, 1095 secs
lola: 44055171 markings, 466981149 edges, 46603 markings/sec, 1100 secs
lola: 44263807 markings, 469108185 edges, 41727 markings/sec, 1105 secs
lola: 44516099 markings, 471281792 edges, 50458 markings/sec, 1110 secs
lola: 44749599 markings, 473439118 edges, 46700 markings/sec, 1115 secs
lola: 44956964 markings, 475565141 edges, 41473 markings/sec, 1120 secs
lola: 45197480 markings, 477735843 edges, 48103 markings/sec, 1125 secs
lola: 45408528 markings, 479870738 edges, 42210 markings/sec, 1130 secs
lola: 45629350 markings, 482021087 edges, 44164 markings/sec, 1135 secs
lola: 45835148 markings, 484145350 edges, 41160 markings/sec, 1140 secs
lola: 46036710 markings, 486265793 edges, 40312 markings/sec, 1145 secs
lola: 46227048 markings, 488371158 edges, 38068 markings/sec, 1150 secs
lola: 46406309 markings, 490446661 edges, 35852 markings/sec, 1155 secs
lola: 46657429 markings, 492616609 edges, 50224 markings/sec, 1160 secs
lola: 46890848 markings, 494779505 edges, 46684 markings/sec, 1165 secs
lola: 47096107 markings, 496907850 edges, 41052 markings/sec, 1170 secs
lola: 47338649 markings, 499081719 edges, 48508 markings/sec, 1175 secs
lola: 47549274 markings, 501217994 edges, 42125 markings/sec, 1180 secs
lola: 47771570 markings, 503376159 edges, 44459 markings/sec, 1185 secs
lola: 47978907 markings, 505513819 edges, 41467 markings/sec, 1190 secs
lola: 48180350 markings, 507643236 edges, 40289 markings/sec, 1195 secs
lola: 48370655 markings, 509754036 edges, 38061 markings/sec, 1200 secs
lola: 48553391 markings, 511841670 edges, 36547 markings/sec, 1205 secs
lola: 48787663 markings, 514012378 edges, 46854 markings/sec, 1210 secs
lola: 48994595 markings, 516150840 edges, 41386 markings/sec, 1215 secs
lola: 49220069 markings, 518309472 edges, 45095 markings/sec, 1220 secs
lola: 49426489 markings, 520441797 edges, 41284 markings/sec, 1225 secs
lola: 49626182 markings, 522562482 edges, 39939 markings/sec, 1230 secs
lola: 49812825 markings, 524661504 edges, 37329 markings/sec, 1235 secs
lola: 50000598 markings, 526754574 edges, 37555 markings/sec, 1240 secs
lola: 50214514 markings, 528895446 edges, 42783 markings/sec, 1245 secs
lola: 50421508 markings, 531026796 edges, 41399 markings/sec, 1250 secs
lola: 50616502 markings, 533137101 edges, 38999 markings/sec, 1255 secs
lola: 50800579 markings, 535218539 edges, 36815 markings/sec, 1260 secs
lola: 50991123 markings, 537311947 edges, 38109 markings/sec, 1265 secs
lola: 51191189 markings, 539433886 edges, 40013 markings/sec, 1270 secs
lola: 51379015 markings, 541530803 edges, 37565 markings/sec, 1275 secs
lola: 51554089 markings, 543590671 edges, 35015 markings/sec, 1280 secs
lola: 51746481 markings, 545697728 edges, 38478 markings/sec, 1285 secs
lola: 51919662 markings, 547748744 edges, 34636 markings/sec, 1290 secs
lola: 52102746 markings, 549827150 edges, 36617 markings/sec, 1295 secs
lola: 52273539 markings, 551880899 edges, 34159 markings/sec, 1300 secs
lola: 52442205 markings, 553934423 edges, 33733 markings/sec, 1305 secs
lola: 52603597 markings, 555964060 edges, 32278 markings/sec, 1310 secs
lola: 52752012 markings, 557955803 edges, 29683 markings/sec, 1315 secs
lola: 52986223 markings, 560092037 edges, 46842 markings/sec, 1320 secs
lola: 53223550 markings, 562241036 edges, 47465 markings/sec, 1325 secs
lola: 53438167 markings, 564368969 edges, 42923 markings/sec, 1330 secs
lola: 53663103 markings, 566501922 edges, 44987 markings/sec, 1335 secs
lola: 53883979 markings, 568636954 edges, 44175 markings/sec, 1340 secs
lola: 54096687 markings, 570757045 edges, 42542 markings/sec, 1345 secs
lola: 54301030 markings, 572871448 edges, 40869 markings/sec, 1350 secs
lola: 54504688 markings, 574987401 edges, 40732 markings/sec, 1355 secs
lola: 54700299 markings, 577086886 edges, 39122 markings/sec, 1360 secs
lola: 54876364 markings, 579152917 edges, 35213 markings/sec, 1365 secs
lola: 55099255 markings, 581285442 edges, 44578 markings/sec, 1370 secs
lola: 55318453 markings, 583428661 edges, 43840 markings/sec, 1375 secs
lola: 55533975 markings, 585560822 edges, 43104 markings/sec, 1380 secs
lola: 55738917 markings, 587678972 edges, 40988 markings/sec, 1385 secs
lola: 55941803 markings, 589793963 edges, 40577 markings/sec, 1390 secs
lola: 56134221 markings, 591886449 edges, 38484 markings/sec, 1395 secs
lola: 56308779 markings, 593947258 edges, 34912 markings/sec, 1400 secs
lola: 56524965 markings, 596085158 edges, 43237 markings/sec, 1405 secs
lola: 56730620 markings, 598208493 edges, 41131 markings/sec, 1410 secs
lola: 56932348 markings, 600330332 edges, 40346 markings/sec, 1415 secs
lola: 57121982 markings, 602427679 edges, 37927 markings/sec, 1420 secs
lola: 57294781 markings, 604485409 edges, 34560 markings/sec, 1425 secs
lola: 57499373 markings, 606609179 edges, 40918 markings/sec, 1430 secs
lola: 57696674 markings, 608722923 edges, 39460 markings/sec, 1435 secs
lola: 57872464 markings, 610784335 edges, 35158 markings/sec, 1440 secs
lola: 58060588 markings, 612876557 edges, 37625 markings/sec, 1445 secs
lola: 58245245 markings, 614961899 edges, 36931 markings/sec, 1450 secs
lola: 58420653 markings, 617025131 edges, 35082 markings/sec, 1455 secs
lola: 58594218 markings, 619080484 edges, 34713 markings/sec, 1460 secs
lola: 58768040 markings, 621149429 edges, 34764 markings/sec, 1465 secs
lola: 58931534 markings, 623193705 edges, 32699 markings/sec, 1470 secs
lola: 59087647 markings, 625206710 edges, 31223 markings/sec, 1475 secs
lola: 59273709 markings, 627267969 edges, 37212 markings/sec, 1480 secs
lola: 59500095 markings, 629421863 edges, 45277 markings/sec, 1485 secs
lola: 59711947 markings, 631556736 edges, 42370 markings/sec, 1490 secs
lola: 59924639 markings, 633691865 edges, 42538 markings/sec, 1495 secs
lola: 60130948 markings, 635818776 edges, 41262 markings/sec, 1500 secs
lola: 60326703 markings, 637931367 edges, 39151 markings/sec, 1505 secs
lola: 60510569 markings, 640019542 edges, 36773 markings/sec, 1510 secs
lola: 60709238 markings, 642132163 edges, 39734 markings/sec, 1515 secs
lola: 60915183 markings, 644264722 edges, 41189 markings/sec, 1520 secs
lola: 61121190 markings, 646398235 edges, 41201 markings/sec, 1525 secs
lola: 61320580 markings, 648518088 edges, 39878 markings/sec, 1530 secs
lola: 61498290 markings, 650593563 edges, 35542 markings/sec, 1535 secs
lola: 61698129 markings, 652714483 edges, 39968 markings/sec, 1540 secs
lola: 61893546 markings, 654835904 edges, 39083 markings/sec, 1545 secs
lola: 62080892 markings, 656936613 edges, 37469 markings/sec, 1550 secs
lola: 62264454 markings, 659028275 edges, 36712 markings/sec, 1555 secs
lola: 62453247 markings, 661135204 edges, 37759 markings/sec, 1560 secs
lola: 62627619 markings, 663211134 edges, 34874 markings/sec, 1565 secs
lola: 62809045 markings, 665293279 edges, 36285 markings/sec, 1570 secs
lola: 62981445 markings, 667362902 edges, 34480 markings/sec, 1575 secs
lola: 63148197 markings, 669418962 edges, 33350 markings/sec, 1580 secs
lola: 63306052 markings, 671438138 edges, 31571 markings/sec, 1585 secs
lola: 63463105 markings, 673461378 edges, 31411 markings/sec, 1590 secs
lola: 63681862 markings, 675603204 edges, 43751 markings/sec, 1595 secs
lola: 63888744 markings, 677733327 edges, 41376 markings/sec, 1600 secs
lola: 64085107 markings, 679848175 edges, 39273 markings/sec, 1605 secs
lola: 64272618 markings, 681948963 edges, 37502 markings/sec, 1610 secs
lola: 64458295 markings, 684039519 edges, 37135 markings/sec, 1615 secs
lola: 64660036 markings, 686159426 edges, 40348 markings/sec, 1620 secs
lola: 64850175 markings, 688262584 edges, 38028 markings/sec, 1625 secs
lola: 65022511 markings, 690328602 edges, 34467 markings/sec, 1630 secs
lola: 65219016 markings, 692438606 edges, 39301 markings/sec, 1635 secs
lola: 65395080 markings, 694506914 edges, 35213 markings/sec, 1640 secs
lola: 65576937 markings, 696591811 edges, 36371 markings/sec, 1645 secs
lola: 65748538 markings, 698652924 edges, 34320 markings/sec, 1650 secs
lola: 65917248 markings, 700703511 edges, 33742 markings/sec, 1655 secs
lola: 66081015 markings, 702743945 edges, 32753 markings/sec, 1660 secs
lola: 66230790 markings, 704742081 edges, 29955 markings/sec, 1665 secs
lola: 66423793 markings, 706848453 edges, 38601 markings/sec, 1670 secs
lola: 66617922 markings, 708956794 edges, 38826 markings/sec, 1675 secs
lola: 66804944 markings, 711044803 edges, 37404 markings/sec, 1680 secs
lola: 66986614 markings, 713123265 edges, 36334 markings/sec, 1685 secs
lola: 67175526 markings, 715222578 edges, 37782 markings/sec, 1690 secs
lola: 67348179 markings, 717288695 edges, 34531 markings/sec, 1695 secs
lola: 67530397 markings, 719368920 edges, 36444 markings/sec, 1700 secs
lola: 67701607 markings, 721426483 edges, 34242 markings/sec, 1705 secs
lola: 67868071 markings, 723466704 edges, 33293 markings/sec, 1710 secs
lola: 68024850 markings, 725476726 edges, 31356 markings/sec, 1715 secs
lola: 68171548 markings, 727463187 edges, 29340 markings/sec, 1720 secs
lola: 68367859 markings, 729567081 edges, 39262 markings/sec, 1725 secs
lola: 68542495 markings, 731611840 edges, 34927 markings/sec, 1730 secs
lola: 68720355 markings, 733653162 edges, 35572 markings/sec, 1735 secs
lola: 68890723 markings, 735705742 edges, 34074 markings/sec, 1740 secs
lola: 69058848 markings, 737747840 edges, 33625 markings/sec, 1745 secs
lola: 69221504 markings, 739761301 edges, 32531 markings/sec, 1750 secs
lola: 69369338 markings, 741719625 edges, 29567 markings/sec, 1755 secs
lola: 69537644 markings, 743753310 edges, 33661 markings/sec, 1760 secs
lola: 69707239 markings, 745806676 edges, 33919 markings/sec, 1765 secs
lola: 69880060 markings, 747868804 edges, 34564 markings/sec, 1770 secs
lola: 70044743 markings, 749906131 edges, 32937 markings/sec, 1775 secs
lola: 70196652 markings, 751898885 edges, 30382 markings/sec, 1780 secs
lola: 70357331 markings, 753926760 edges, 32136 markings/sec, 1785 secs
lola: 70523839 markings, 755971542 edges, 33302 markings/sec, 1790 secs
lola: 70682585 markings, 757996074 edges, 31749 markings/sec, 1795 secs
lola: 70825401 markings, 759972246 edges, 28563 markings/sec, 1800 secs
lola: 70992502 markings, 762030557 edges, 33420 markings/sec, 1805 secs
lola: 71144094 markings, 764037775 edges, 30318 markings/sec, 1810 secs
lola: 71295686 markings, 766055060 edges, 30318 markings/sec, 1815 secs
lola: 71440331 markings, 768041674 edges, 28929 markings/sec, 1820 secs
lola: 71588711 markings, 770036257 edges, 29676 markings/sec, 1825 secs
lola: 71725791 markings, 771986229 edges, 27416 markings/sec, 1830 secs
lola: 71859165 markings, 773920535 edges, 26675 markings/sec, 1835 secs
lola: 72034106 markings, 775960017 edges, 34988 markings/sec, 1840 secs
lola: 72281114 markings, 778139923 edges, 49402 markings/sec, 1845 secs
lola: 72508824 markings, 780303533 edges, 45542 markings/sec, 1850 secs
lola: 72726107 markings, 782447829 edges, 43457 markings/sec, 1855 secs
lola: 72958110 markings, 784620875 edges, 46401 markings/sec, 1860 secs
lola: 73167548 markings, 786760019 edges, 41888 markings/sec, 1865 secs
lola: 73386634 markings, 788915924 edges, 43817 markings/sec, 1870 secs
lola: 73593528 markings, 791051892 edges, 41379 markings/sec, 1875 secs
lola: 73789572 markings, 793165917 edges, 39209 markings/sec, 1880 secs
lola: 73977747 markings, 795273467 edges, 37635 markings/sec, 1885 secs
lola: 74179734 markings, 797388718 edges, 40397 markings/sec, 1890 secs
lola: 74406676 markings, 799549904 edges, 45388 markings/sec, 1895 secs
lola: 74619655 markings, 801693059 edges, 42596 markings/sec, 1900 secs
lola: 74832707 markings, 803835736 edges, 42610 markings/sec, 1905 secs
lola: 75040113 markings, 805973706 edges, 41481 markings/sec, 1910 secs
lola: 75236507 markings, 808091536 edges, 39279 markings/sec, 1915 secs
lola: 75420511 markings, 810185554 edges, 36801 markings/sec, 1920 secs
lola: 75621564 markings, 812310732 edges, 40211 markings/sec, 1925 secs
lola: 75828799 markings, 814451178 edges, 41447 markings/sec, 1930 secs
lola: 76035410 markings, 816594895 edges, 41322 markings/sec, 1935 secs
lola: 76233801 markings, 818723260 edges, 39678 markings/sec, 1940 secs
lola: 76410871 markings, 820802920 edges, 35414 markings/sec, 1945 secs
lola: 76612895 markings, 822934566 edges, 40405 markings/sec, 1950 secs
lola: 76810161 markings, 825062035 edges, 39453 markings/sec, 1955 secs
lola: 76994772 markings, 827159418 edges, 36922 markings/sec, 1960 secs
lola: 77179943 markings, 829254579 edges, 37034 markings/sec, 1965 secs
lola: 77367814 markings, 831363577 edges, 37574 markings/sec, 1970 secs
lola: 77543921 markings, 833441720 edges, 35221 markings/sec, 1975 secs
lola: 77723789 markings, 835527577 edges, 35974 markings/sec, 1980 secs
lola: 77897881 markings, 837611172 edges, 34818 markings/sec, 1985 secs
lola: 78064873 markings, 839677033 edges, 33398 markings/sec, 1990 secs
lola: 78223139 markings, 841722155 edges, 31653 markings/sec, 1995 secs
lola: 78396294 markings, 843792735 edges, 34631 markings/sec, 2000 secs
lola: 78629706 markings, 845964625 edges, 46682 markings/sec, 2005 secs
lola: 78838619 markings, 848104606 edges, 41783 markings/sec, 2010 secs
lola: 79059236 markings, 850261493 edges, 44123 markings/sec, 2015 secs
lola: 79266850 markings, 852400578 edges, 41523 markings/sec, 2020 secs
lola: 79464015 markings, 854524304 edges, 39433 markings/sec, 2025 secs
lola: 79652372 markings, 856634410 edges, 37671 markings/sec, 2030 secs
lola: 79845784 markings, 858750084 edges, 38682 markings/sec, 2035 secs
lola: 80056359 markings, 860895863 edges, 42115 markings/sec, 2040 secs
lola: 80264543 markings, 863041577 edges, 41637 markings/sec, 2045 secs
lola: 80463702 markings, 865176642 edges, 39832 markings/sec, 2050 secs
lola: 80645066 markings, 867267180 edges, 36273 markings/sec, 2055 secs
lola: 80843363 markings, 869399678 edges, 39659 markings/sec, 2060 secs
lola: 81041317 markings, 871532411 edges, 39591 markings/sec, 2065 secs
lola: 81230319 markings, 873649772 edges, 37800 markings/sec, 2070 secs
lola: 81412674 markings, 875751464 edges, 36471 markings/sec, 2075 secs
lola: 81604593 markings, 877873990 edges, 38384 markings/sec, 2080 secs
lola: 81779246 markings, 879964572 edges, 34931 markings/sec, 2085 secs
lola: 81963731 markings, 882067756 edges, 36897 markings/sec, 2090 secs
lola: 82137018 markings, 884151346 edges, 34657 markings/sec, 2095 secs
lola: 82306648 markings, 886231770 edges, 33926 markings/sec, 2100 secs
lola: 82466775 markings, 888282785 edges, 32025 markings/sec, 2105 secs
lola: 82625419 markings, 890331945 edges, 31729 markings/sec, 2110 secs
lola: 82846112 markings, 892492008 edges, 44139 markings/sec, 2115 secs
lola: 83054580 markings, 894640755 edges, 41694 markings/sec, 2120 secs
lola: 83252397 markings, 896773410 edges, 39563 markings/sec, 2125 secs
lola: 83441493 markings, 898893119 edges, 37819 markings/sec, 2130 secs
lola: 83630788 markings, 901009892 edges, 37859 markings/sec, 2135 secs
lola: 83833074 markings, 903144535 edges, 40457 markings/sec, 2140 secs
lola: 84024335 markings, 905263868 edges, 38252 markings/sec, 2145 secs
lola: 84200331 markings, 907349998 edges, 35199 markings/sec, 2150 secs
lola: 84395740 markings, 909473625 edges, 39082 markings/sec, 2155 secs
lola: 84572044 markings, 911556411 edges, 35261 markings/sec, 2160 secs
lola: 84756645 markings, 913663366 edges, 36920 markings/sec, 2165 secs
lola: 84929485 markings, 915738760 edges, 34568 markings/sec, 2170 secs
lola: 85099460 markings, 917809886 edges, 33995 markings/sec, 2175 secs
lola: 85262100 markings, 919857217 edges, 32528 markings/sec, 2180 secs
lola: 85412717 markings, 921879196 edges, 30123 markings/sec, 2185 secs
lola: 85613308 markings, 924010840 edges, 40118 markings/sec, 2190 secs
lola: 85809936 markings, 926130799 edges, 39326 markings/sec, 2195 secs
lola: 85992126 markings, 928210394 edges, 36438 markings/sec, 2200 secs
lola: 86177035 markings, 930302378 edges, 36982 markings/sec, 2205 secs
lola: 86364045 markings, 932402804 edges, 37402 markings/sec, 2210 secs
lola: 86540148 markings, 934476513 edges, 35221 markings/sec, 2215 secs
lola: 86718763 markings, 936553462 edges, 35723 markings/sec, 2220 secs
lola: 86891440 markings, 938618737 edges, 34535 markings/sec, 2225 secs
lola: 87055610 markings, 940652952 edges, 32834 markings/sec, 2230 secs
lola: 87211507 markings, 942662444 edges, 31179 markings/sec, 2235 secs
lola: 87368903 markings, 944687917 edges, 31479 markings/sec, 2240 secs
lola: 87561290 markings, 946801642 edges, 38477 markings/sec, 2245 secs
lola: 87735320 markings, 948866648 edges, 34806 markings/sec, 2250 secs
lola: 87921754 markings, 950975018 edges, 37287 markings/sec, 2255 secs
lola: 88093601 markings, 953047213 edges, 34369 markings/sec, 2260 secs
lola: 88262348 markings, 955102386 edges, 33749 markings/sec, 2265 secs
lola: 88420882 markings, 957119759 edges, 31707 markings/sec, 2270 secs
lola: 88569236 markings, 959112870 edges, 29671 markings/sec, 2275 secs
lola: 88750504 markings, 961202812 edges, 36254 markings/sec, 2280 secs
lola: 88921942 markings, 963262636 edges, 34288 markings/sec, 2285 secs
lola: 89091362 markings, 965325416 edges, 33884 markings/sec, 2290 secs
lola: 89251797 markings, 967343259 edges, 32087 markings/sec, 2295 secs
lola: 89400375 markings, 969333563 edges, 29716 markings/sec, 2300 secs
lola: 89568405 markings, 971383033 edges, 33606 markings/sec, 2305 secs
lola: 89730533 markings, 973405075 edges, 32426 markings/sec, 2310 secs
lola: 89885510 markings, 975400666 edges, 30995 markings/sec, 2315 secs
lola: 90034587 markings, 977386067 edges, 29815 markings/sec, 2320 secs
lola: 90193105 markings, 979404756 edges, 31704 markings/sec, 2325 secs
lola: 90340772 markings, 981378634 edges, 29533 markings/sec, 2330 secs
lola: 90493320 markings, 983378258 edges, 30510 markings/sec, 2335 secs
lola: 90636382 markings, 985339807 edges, 28612 markings/sec, 2340 secs
lola: 90776126 markings, 987284294 edges, 27949 markings/sec, 2345 secs
lola: 90915705 markings, 989225259 edges, 27916 markings/sec, 2350 secs
lola: 91044221 markings, 991124813 edges, 25703 markings/sec, 2355 secs
lola: 91228478 markings, 993176406 edges, 36851 markings/sec, 2360 secs
lola: 91453083 markings, 995321139 edges, 44921 markings/sec, 2365 secs
lola: 91663688 markings, 997441659 edges, 42121 markings/sec, 2370 secs
lola: 91872578 markings, 999559164 edges, 41778 markings/sec, 2375 secs
lola: 92078083 markings, 1001674394 edges, 41101 markings/sec, 2380 secs
lola: 92272996 markings, 1003773648 edges, 38983 markings/sec, 2385 secs
lola: 92454309 markings, 1005842617 edges, 36263 markings/sec, 2390 secs
lola: 92653183 markings, 1007939499 edges, 39775 markings/sec, 2395 secs
lola: 92857791 markings, 1010054616 edges, 40922 markings/sec, 2400 secs
lola: 93061673 markings, 1012171632 edges, 40776 markings/sec, 2405 secs
lola: 93258491 markings, 1014275190 edges, 39364 markings/sec, 2410 secs
lola: 93434385 markings, 1016329523 edges, 35179 markings/sec, 2415 secs
lola: 93577447 markings, 1017855875 edges, 28612 markings/sec, 2420 secs
lola: 93704493 markings, 1019217094 edges, 25409 markings/sec, 2425 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(start_0) OR X (F (((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((FIREABLE(start_0) OR X (F (((FIREABLE(no_0) OR FIREABLE(no_1) OR FIREABLE(no_2) OR FIREABLE(no_3) OR FIREABLE(no_4) OR FIREABLE(no_5) OR FIREABLE(no_6) OR FIREABLE(no_7) OR FIREABLE(no_8) OR FIREABLE(no_9) OR FIREABLE(no_10) OR FIREABLE(no_11) OR FIREABLE(no_12) OR FIREABLE(no_13) OR FIREABLE(no_14) OR FIREABLE(no_15) OR FIREABLE(no_16) OR FIREABLE(no_17) OR FIREABLE(no_18... (shortened)
lola: processed formula length: 2057
lola: 129 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 317145 markings, 2241941 edges, 63429 markings/sec, 0 secs
lola: 601026 markings, 4464429 edges, 56776 markings/sec, 5 secs
lola: 874016 markings, 6687870 edges, 54598 markings/sec, 10 secs
lola: 1122723 markings, 8882702 edges, 49741 markings/sec, 15 secs
lola: 1407806 markings, 11105368 edges, 57017 markings/sec, 20 secs
lola: 1664843 markings, 13307732 edges, 51407 markings/sec, 25 secs
lola: 1916452 markings, 15504895 edges, 50322 markings/sec, 30 secs
lola: 2171001 markings, 17710306 edges, 50910 markings/sec, 35 secs
lola: 2416150 markings, 19905334 edges, 49030 markings/sec, 40 secs
lola: 2651228 markings, 22091601 edges, 47016 markings/sec, 45 secs
lola: 2878560 markings, 24265770 edges, 45466 markings/sec, 50 secs
lola: 3089440 markings, 26425140 edges, 42176 markings/sec, 55 secs
lola: 3328260 markings, 28598214 edges, 47764 markings/sec, 60 secs
lola: 3601318 markings, 30804400 edges, 54612 markings/sec, 65 secs
lola: 3852044 markings, 32996493 edges, 50145 markings/sec, 70 secs
lola: 4112234 markings, 35195269 edges, 52038 markings/sec, 75 secs
lola: 4354073 markings, 37380285 edges, 48368 markings/sec, 80 secs
lola: 4602699 markings, 39575886 edges, 49725 markings/sec, 85 secs
lola: 4838118 markings, 41764773 edges, 47084 markings/sec, 90 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no yes no unknown no no no no unknown yes yes no yes unknown yes
lola:
preliminary result: yes no yes no unknown no no no no unknown yes yes no yes unknown yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no yes no unknown no no no no unknown yes yes no yes unknown yes
lola: memory consumption: 759088 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: memory consumption: 759088 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no yes no unknown no no no no unknown yes yes no yes unknown yes
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: memory consumption: 759088 KB
lola: time consumption: 3571 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
BK_STOP 1589975082071
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Referendum-PT-0100"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="win2019"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool win2019"
echo " Input is Referendum-PT-0100, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r150-smll-158961529300108"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Referendum-PT-0100.tgz
mv Referendum-PT-0100 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;