About the Execution of 2019-Gold for Referendum-PT-0050
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 14213.930 | 3570124.00 | 3626121.00 | 9049.20 | F?TFFFFFFFTTFF?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-158961529300106.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-0050, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r150-smll-158961529300106
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 664K
-rw-r--r-- 1 mcc users 24K Apr 12 08:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Apr 12 08:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Apr 11 09:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Apr 11 09:52 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 25K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 96K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 66K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Apr 10 14:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 58K Apr 10 14:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Apr 9 21:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Apr 9 21:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 5.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 13K 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 57K 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-0050-00
FORMULA_NAME Referendum-PT-0050-01
FORMULA_NAME Referendum-PT-0050-02
FORMULA_NAME Referendum-PT-0050-03
FORMULA_NAME Referendum-PT-0050-04
FORMULA_NAME Referendum-PT-0050-05
FORMULA_NAME Referendum-PT-0050-06
FORMULA_NAME Referendum-PT-0050-07
FORMULA_NAME Referendum-PT-0050-08
FORMULA_NAME Referendum-PT-0050-09
FORMULA_NAME Referendum-PT-0050-10
FORMULA_NAME Referendum-PT-0050-11
FORMULA_NAME Referendum-PT-0050-12
FORMULA_NAME Referendum-PT-0050-13
FORMULA_NAME Referendum-PT-0050-14
FORMULA_NAME Referendum-PT-0050-15
=== Now, execution of the tool begins
BK_START 1589967919315
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ Referendum-PT-0050 @ 3570 seconds
FORMULA Referendum-PT-0050-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0050-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0050-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0050-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0050-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0050-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0050-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0050-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0050-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0050-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0050-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0050-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0050-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-PT-0050-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ Referendum-PT-0050
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed May 20 09:45:19 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 3,
"aconj": 1,
"adisj": 2,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 150,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 150,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 100
},
"processed": "A (X (X (X (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)) 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_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_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))))))))",
"processed_size": 3041,
"rewrites": 102
},
"result":
{
"edges": 53,
"markings": 53,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 4,
"aconj": 0,
"adisj": 2,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 101,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 101,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 51
},
"processed": "A (X ((X (X (G ((FIREABLE(start_0) AND X ((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))))))) U (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)))))",
"processed_size": 2327,
"rewrites": 102
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 256
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 1,
"X": 4,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 5,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (F (((FIREABLE(start_0) U X (X (NOT FIREABLE(start_0)))) AND (X (FIREABLE(start_0)) OR (G (FIREABLE(start_0)) AND X (F (FIREABLE(start_0))))))))",
"processed_size": 146,
"rewrites": 102
},
"result":
{
"edges": 20163,
"markings": 15253,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 29
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 277
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 277
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 2,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 100,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 100,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 100
},
"processed": "A (G (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)) AND 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)))))))",
"processed_size": 2047,
"rewrites": 102
},
"result":
{
"edges": 53,
"markings": 53,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 4,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 302
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 2,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 100,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 100,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 100
},
"processed": "A (X (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))) AND 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))))))))",
"processed_size": 2055,
"rewrites": 102
},
"result":
{
"edges": 55,
"markings": 55,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 332
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 3,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 3,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 151,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 151,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 51
},
"processed": "A (G (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 (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 (X (FIREABLE(start_0)) AND 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)))))))))",
"processed_size": 3171,
"rewrites": 102
},
"result":
{
"edges": 62,
"markings": 59,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 8
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 369
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 0,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 2,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (X (F ((FIREABLE(no_34) OR X (F (NOT FIREABLE(start_0)))))))",
"processed_size": 62,
"rewrites": 102
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 416
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (F ((FIREABLE(start_0) OR (X (FIREABLE(start_0)) OR (FIREABLE(start_0) AND X (X (G (NOT FIREABLE(start_0)))))))))",
"processed_size": 115,
"rewrites": 102
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 475
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 4,
"X": 4,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 5,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 5,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 4
},
"processed": "A ((((FIREABLE(no_41) U X (X (X (FIREABLE(yes_17))))) U FIREABLE(yes_37)) U (X (FIREABLE(start_0)) U FIREABLE(no_41))))",
"processed_size": 119,
"rewrites": 102
},
"result":
{
"edges": 98,
"markings": 98,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 35
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 554
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 5,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 5,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 6,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (((X (NOT FIREABLE(yes_9)) U FIREABLE(start_0)) U ((FIREABLE(yes_9) U FIREABLE(yes_6)) U (FIREABLE(start_0) U FIREABLE(yes_9)))))",
"processed_size": 131,
"rewrites": 102
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 17
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 693
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 2,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((FIREABLE(no_14) OR G (FIREABLE(start_0))))",
"processed_size": 46,
"rewrites": 102
},
"result":
{
"edges": 52,
"markings": 52,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 924
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 50,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 50,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 50
},
"processed": "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 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)))))",
"processed_size": 999,
"rewrites": 102
},
"result":
{
"edges": 54,
"markings": 54,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1387
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1387
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "FIREABLE(no_5)",
"processed_size": 14,
"rewrites": 102
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 14,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 14,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2774
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2774
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (NOT FIREABLE(yes_3)))",
"processed_size": 27,
"rewrites": 104
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 15172,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(X(X(X(G(**))))) : A((G(F(**)) OR X(F((** OR G(*)))))) : A(X((X(X(G((** AND X(*))))) U **))) : A(F(((** U X(X(**))) AND (X(**) OR (G(**) AND X(F(**))))))) : (A(G(F((** AND G(**))))) AND A(X(G((* OR G(*)))))) : A(G(F(**))) : A(X(F((G(**) AND X(F(**)))))) : A(G(F((** OR (G(**) OR (X(**) AND G(**))))))) : A((** OR G(*))) : (** AND A(G((** OR F((* R F(**))))))) : A(X(F((** OR X(F(**)))))) : A(F((** OR (X(**) OR (** AND X(X(G(*)))))))) : (A(G(F(**))) AND (A(G((** OR **))) AND (A(G(*)) AND A(G(((G(*) R *) R *)))))) : A((((** U X(X(X(**)))) U **) U (X(**) U **))) : A(F((* AND X((F(*) AND G(**)))))) : A(((X(**) U **) U ((** U **) U (** U **))))"
},
"net":
{
"arcs": 251,
"conflict_clusters": 151,
"places": 151,
"places_significant": 101,
"singleton_clusters": 0,
"transitions": 101
},
"result":
{
"interim_value": "no unknown yes no no no no no no no yes yes no no unknown yes ",
"preliminary_value": "no unknown yes no no no no no no no yes yes no no unknown yes "
},
"task":
{
"type": "compound"
}
}
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: 252/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 151
lola: finding significant places
lola: 151 places, 101 transitions, 101 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 (X (G (X (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)) 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_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_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)))))))) : A ((F (G (F (FIREABLE(start_0)))) OR F (X (F ((FIREABLE(start_0) OR NOT(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)))))))))) : A (X ((X (G (X ((FIREABLE(start_0) AND 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)))))))) U (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))))) : A (F (((FIREABLE(start_0) U X (X (NOT FIREABLE(start_0)))) AND (G (FIREABLE(start_0)) U X (FIREABLE(start_0)))))) : A (G ((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)) AND 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))))) AND NOT(F ((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))) AND 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)))))))))) : A (X (G ((X (G (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))))) U F ((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))) U 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))))))))) : A (F (X (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))) AND 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))))))))) : A (G (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 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 (X (FIREABLE(start_0)) AND 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)))))))) : A ((FIREABLE(no_14) OR NOT(F ((NOT(G (NOT(F ((FIREABLE(start_0) AND G (FIREABLE(no_14))))))) U NOT FIREABLE(start_0)))))) : A ((FIREABLE(no_5) AND G ((NOT FIREABLE(start_0) OR F (NOT((NOT FIREABLE(yes_11) U G (NOT(F (FIREABLE(yes_11))))))))))) : A (X (F ((FIREABLE(no_34) U (FIREABLE(no_34) OR NOT(G (NOT(F (X (NOT FIREABLE(start_0))))))))))) : A (F (((FIREABLE(start_0) OR X (FIREABLE(start_0))) OR (FIREABLE(start_0) AND X (NOT(F ((FIREABLE(no_37) U X (FIREABLE(start_0)))))))))) : A (G ((G ((FIREABLE(yes_14) U FIREABLE(start_0))) AND NOT((FIREABLE(yes_3) OR ((F (FIREABLE(start_0)) U FIREABLE(no_39)) U FIREABLE(yes_14))))))) : A (((((FIREABLE(no_41) U X (X (X (FIREABLE(yes_17))))) U FIREABLE(yes_37)) U FIREABLE(yes_37)) U (X (FIREABLE(start_0)) U FIREABLE(no_41)))) : A (NOT(G ((NOT FIREABLE(no_48) OR X ((G (FIREABLE(start_0)) OR NOT(G (NOT FIREABLE(start_0))))))))) : A (((X (NOT FIREABLE(yes_9)) U FIREABLE(start_0)) U ((FIREABLE(yes_9) U FIREABLE(yes_6)) U (FIREABLE(start_0) U FIREABLE(yes_9)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:545
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:254
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:350
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
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:434
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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:254
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:482
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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:318
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:300
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 (X (X (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... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (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... (shortened)
lola: processed formula length: 3041
lola: 102 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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 53 markings, 53 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G (F (FIREABLE(start_0))) OR X (F ((FIREABLE(start_0) OR 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 FIREA... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G (F (FIREABLE(start_0))) OR X (F ((FIREABLE(start_0) OR 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 FIREA... (shortened)
lola: processed formula length: 1257
lola: 102 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: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 284219 markings, 3983422 edges, 56844 markings/sec, 0 secs
lola: 540575 markings, 7919638 edges, 51271 markings/sec, 5 secs
lola: 779685 markings, 11816799 edges, 47822 markings/sec, 10 secs
lola: 996748 markings, 15640097 edges, 43413 markings/sec, 15 secs
lola: 1234355 markings, 19495919 edges, 47521 markings/sec, 20 secs
lola: 1471467 markings, 23364308 edges, 47422 markings/sec, 25 secs
lola: 1690551 markings, 27172969 edges, 43817 markings/sec, 30 secs
lola: 1910173 markings, 30978189 edges, 43924 markings/sec, 35 secs
lola: 2133182 markings, 34805863 edges, 44602 markings/sec, 40 secs
lola: 2339384 markings, 38570738 edges, 41240 markings/sec, 45 secs
lola: 2543336 markings, 42326502 edges, 40790 markings/sec, 50 secs
lola: 2745928 markings, 46091351 edges, 40518 markings/sec, 55 secs
lola: 2935115 markings, 49789185 edges, 37837 markings/sec, 60 secs
lola: 3110030 markings, 53431925 edges, 34983 markings/sec, 65 secs
lola: 3322980 markings, 57196498 edges, 42590 markings/sec, 70 secs
lola: 3564240 markings, 61072516 edges, 48252 markings/sec, 75 secs
lola: 3787633 markings, 64906860 edges, 44679 markings/sec, 80 secs
lola: 4003787 markings, 68699010 edges, 43231 markings/sec, 85 secs
lola: 4227564 markings, 72532348 edges, 44755 markings/sec, 90 secs
lola: 4434651 markings, 76301314 edges, 41417 markings/sec, 95 secs
lola: 4644374 markings, 80095630 edges, 41945 markings/sec, 100 secs
lola: 4847253 markings, 83868403 edges, 40576 markings/sec, 105 secs
lola: 5033904 markings, 87566394 edges, 37330 markings/sec, 110 secs
lola: 5215197 markings, 91246837 edges, 36259 markings/sec, 115 secs
lola: 5408170 markings, 94952787 edges, 38595 markings/sec, 120 secs
lola: 5635115 markings, 98800651 edges, 45389 markings/sec, 125 secs
lola: 5840469 markings, 102570347 edges, 41071 markings/sec, 130 secs
lola: 6051872 markings, 106356055 edges, 42281 markings/sec, 135 secs
lola: 6252064 markings, 110093828 edges, 40038 markings/sec, 140 secs
lola: 6440897 markings, 113784879 edges, 37767 markings/sec, 145 secs
lola: 6619689 markings, 117437650 edges, 35758 markings/sec, 150 secs
lola: 6800528 markings, 121091849 edges, 36168 markings/sec, 155 secs
lola: 7007327 markings, 124839379 edges, 41360 markings/sec, 160 secs
lola: 7208063 markings, 128570578 edges, 40147 markings/sec, 165 secs
lola: 7394120 markings, 132245383 edges, 37211 markings/sec, 170 secs
lola: 7571639 markings, 135852192 edges, 35504 markings/sec, 175 secs
lola: 7743682 markings, 139432373 edges, 34409 markings/sec, 180 secs
lola: 7939036 markings, 143141029 edges, 39071 markings/sec, 185 secs
lola: 8120373 markings, 146787332 edges, 36267 markings/sec, 190 secs
lola: 8283515 markings, 150294701 edges, 32628 markings/sec, 195 secs
lola: 8467845 markings, 153971545 edges, 36866 markings/sec, 200 secs
lola: 8641362 markings, 157571883 edges, 34703 markings/sec, 205 secs
lola: 8806674 markings, 161125875 edges, 33062 markings/sec, 210 secs
lola: 8971312 markings, 164665017 edges, 32928 markings/sec, 215 secs
lola: 9134251 markings, 168224647 edges, 32588 markings/sec, 220 secs
lola: 9288655 markings, 171732983 edges, 30881 markings/sec, 225 secs
lola: 9434735 markings, 175183692 edges, 29216 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1426092 KB
lola: time consumption: 241 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 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((X (X (G ((FIREABLE(start_0) AND X ((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_... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((X (X (G ((FIREABLE(start_0) AND X ((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_... (shortened)
lola: processed formula length: 2327
lola: 102 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: 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 3 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((FIREABLE(start_0) U X (X (NOT FIREABLE(start_0)))) AND (X (FIREABLE(start_0)) OR (G (FIREABLE(start_0)) AND X (F (FIREABLE(start_0))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (((FIREABLE(start_0) U X (X (NOT FIREABLE(start_0)))) AND (X (FIREABLE(start_0)) OR (G (FIREABLE(start_0)) AND X (F (FIREABLE(start_0))))))))
lola: processed formula length: 146
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 29 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: 15253 markings, 20163 edges
lola: ========================================
lola: subprocess 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (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 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (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 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (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 ... (shortened)
lola: processed formula length: 2047
lola: 102 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: 53 markings, 53 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 5 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (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) O... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (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) O... (shortened)
lola: processed formula length: 2055
lola: 102 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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 55 markings, 55 edges
lola: ========================================
lola: subprocess 6 will run for 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (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 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (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 ... (shortened)
lola: processed formula length: 3171
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 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: add low 101
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: 59 markings, 62 edges
lola: ========================================
lola: subprocess 7 will run for 369 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((FIREABLE(no_34) OR X (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 (F ((FIREABLE(no_34) OR X (F (NOT FIREABLE(start_0)))))))
lola: processed formula length: 62
lola: 102 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: 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 8 will run for 416 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(start_0) OR (X (FIREABLE(start_0)) OR (FIREABLE(start_0) AND X (X (G (NOT FIREABLE(start_0)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((FIREABLE(start_0) OR (X (FIREABLE(start_0)) OR (FIREABLE(start_0) AND X (X (G (NOT FIREABLE(start_0)))))))))
lola: processed formula length: 115
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 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: 1 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 475 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((FIREABLE(no_41) U X (X (X (FIREABLE(yes_17))))) U FIREABLE(yes_37)) U (X (FIREABLE(start_0)) U FIREABLE(no_41))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((((FIREABLE(no_41) U X (X (X (FIREABLE(yes_17))))) U FIREABLE(yes_37)) U (X (FIREABLE(start_0)) U FIREABLE(no_41))))
lola: processed formula length: 119
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 35 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: 98 markings, 98 edges
lola: ========================================
lola: subprocess 10 will run for 554 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(no_48) AND X ((F (NOT FIREABLE(start_0)) AND G (NOT FIREABLE(start_0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((FIREABLE(no_48) AND X ((F (NOT FIREABLE(start_0)) AND G (NOT FIREABLE(start_0)))))))
lola: processed formula length: 91
lola: 102 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: 461449 markings, 3578225 edges, 92290 markings/sec, 0 secs
lola: 901891 markings, 7319563 edges, 88088 markings/sec, 5 secs
lola: 1320470 markings, 11027179 edges, 83716 markings/sec, 10 secs
lola: 1704899 markings, 14655849 edges, 76886 markings/sec, 15 secs
lola: 2143694 markings, 18408801 edges, 87759 markings/sec, 20 secs
lola: 2535918 markings, 22074579 edges, 78445 markings/sec, 25 secs
lola: 2892119 markings, 25425263 edges, 71240 markings/sec, 30 secs
lola: 3281408 markings, 29067529 edges, 77858 markings/sec, 35 secs
lola: 3657147 markings, 32666638 edges, 75148 markings/sec, 40 secs
lola: 4010001 markings, 36195026 edges, 70571 markings/sec, 45 secs
lola: 4345263 markings, 39676235 edges, 67052 markings/sec, 50 secs
lola: 4655362 markings, 43075552 edges, 62020 markings/sec, 55 secs
lola: 5004925 markings, 46385195 edges, 69913 markings/sec, 60 secs
lola: 5419979 markings, 50036178 edges, 83011 markings/sec, 65 secs
lola: 5792831 markings, 53612786 edges, 74570 markings/sec, 70 secs
lola: 6191288 markings, 57207844 edges, 79691 markings/sec, 75 secs
lola: 6542170 markings, 60686998 edges, 70176 markings/sec, 80 secs
lola: 6925813 markings, 64293636 edges, 76729 markings/sec, 85 secs
lola: 7275640 markings, 67807143 edges, 69965 markings/sec, 90 secs
lola: 7606595 markings, 71272693 edges, 66191 markings/sec, 95 secs
lola: 7908070 markings, 74662199 edges, 60295 markings/sec, 100 secs
lola: 8294752 markings, 78270741 edges, 77336 markings/sec, 105 secs
lola: 8660638 markings, 81860883 edges, 73177 markings/sec, 110 secs
lola: 9045270 markings, 85490403 edges, 76926 markings/sec, 115 secs
lola: 9398917 markings, 89041166 edges, 70729 markings/sec, 120 secs
lola: 9734461 markings, 92557434 edges, 67109 markings/sec, 125 secs
lola: 10038343 markings, 95977949 edges, 60776 markings/sec, 130 secs
lola: 10405423 markings, 99564580 edges, 73416 markings/sec, 135 secs
lola: 10760211 markings, 103118602 edges, 70958 markings/sec, 140 secs
lola: 11092657 markings, 106607446 edges, 66489 markings/sec, 145 secs
lola: 11407642 markings, 110052583 edges, 62997 markings/sec, 150 secs
lola: 11736593 markings, 113523389 edges, 65790 markings/sec, 155 secs
lola: 12069077 markings, 116996465 edges, 66497 markings/sec, 160 secs
lola: 12372696 markings, 120371562 edges, 60724 markings/sec, 165 secs
lola: 12684343 markings, 123783780 edges, 62329 markings/sec, 170 secs
lola: 12993389 markings, 127189298 edges, 61809 markings/sec, 175 secs
lola: 13292185 markings, 130557808 edges, 59759 markings/sec, 180 secs
lola: 13577290 markings, 133883814 edges, 57021 markings/sec, 185 secs
lola: 13856287 markings, 137186054 edges, 55799 markings/sec, 190 secs
lola: 14121446 markings, 140449357 edges, 53032 markings/sec, 195 secs
lola: 14357069 markings, 143569014 edges, 47125 markings/sec, 200 secs
lola: 14807997 markings, 147305565 edges, 90186 markings/sec, 205 secs
lola: 15204719 markings, 150943663 edges, 79344 markings/sec, 210 secs
lola: 15587950 markings, 154545054 edges, 76646 markings/sec, 215 secs
lola: 15975690 markings, 158156556 edges, 77548 markings/sec, 220 secs
lola: 16347104 markings, 161735503 edges, 74283 markings/sec, 225 secs
lola: 16699762 markings, 165269267 edges, 70532 markings/sec, 230 secs
lola: 17046022 markings, 168781545 edges, 69252 markings/sec, 235 secs
lola: 17360220 markings, 172205593 edges, 62840 markings/sec, 240 secs
lola: 17700329 markings, 175687584 edges, 68022 markings/sec, 245 secs
lola: 18093259 markings, 179331533 edges, 78586 markings/sec, 250 secs
lola: 18463935 markings, 182915775 edges, 74135 markings/sec, 255 secs
lola: 18818651 markings, 186457392 edges, 70943 markings/sec, 260 secs
lola: 19167076 markings, 189994296 edges, 69685 markings/sec, 265 secs
lola: 19483881 markings, 193446799 edges, 63361 markings/sec, 270 secs
lola: 19808440 markings, 196894595 edges, 64912 markings/sec, 275 secs
lola: 20167755 markings, 200454035 edges, 71863 markings/sec, 280 secs
lola: 20518149 markings, 203976491 edges, 70079 markings/sec, 285 secs
lola: 20842900 markings, 207429241 edges, 64950 markings/sec, 290 secs
lola: 21141175 markings, 210793342 edges, 59655 markings/sec, 295 secs
lola: 21487561 markings, 214292766 edges, 69277 markings/sec, 300 secs
lola: 21806870 markings, 217718579 edges, 63862 markings/sec, 305 secs
lola: 22095944 markings, 221021593 edges, 57815 markings/sec, 310 secs
lola: 22419395 markings, 224456214 edges, 64690 markings/sec, 315 secs
lola: 22701636 markings, 227732668 edges, 56448 markings/sec, 320 secs
lola: 23001540 markings, 231083643 edges, 59981 markings/sec, 325 secs
lola: 23282153 markings, 234356502 edges, 56123 markings/sec, 330 secs
lola: 23545726 markings, 237574871 edges, 52715 markings/sec, 335 secs
lola: 23799332 markings, 240758179 edges, 50721 markings/sec, 340 secs
lola: 24118899 markings, 244099847 edges, 63913 markings/sec, 345 secs
lola: 24501878 markings, 247678031 edges, 76596 markings/sec, 350 secs
lola: 24868487 markings, 251208828 edges, 73322 markings/sec, 355 secs
lola: 25218690 markings, 254702581 edges, 70041 markings/sec, 360 secs
lola: 25558368 markings, 258180955 edges, 67936 markings/sec, 365 secs
lola: 25870916 markings, 261582528 edges, 62510 markings/sec, 370 secs
lola: 26191615 markings, 264989126 edges, 64140 markings/sec, 375 secs
lola: 26548792 markings, 268523964 edges, 71435 markings/sec, 380 secs
lola: 26896950 markings, 272027815 edges, 69632 markings/sec, 385 secs
lola: 27220870 markings, 275469291 edges, 64784 markings/sec, 390 secs
lola: 27517687 markings, 278819486 edges, 59363 markings/sec, 395 secs
lola: 27862425 markings, 282302589 edges, 68948 markings/sec, 400 secs
lola: 28182278 markings, 285730488 edges, 63971 markings/sec, 405 secs
lola: 28472853 markings, 289051295 edges, 58115 markings/sec, 410 secs
lola: 28796876 markings, 292490618 edges, 64805 markings/sec, 415 secs
lola: 29081973 markings, 295792918 edges, 57019 markings/sec, 420 secs
lola: 29382696 markings, 299159256 edges, 60145 markings/sec, 425 secs
lola: 29665709 markings, 302462312 edges, 56603 markings/sec, 430 secs
lola: 29933460 markings, 305725178 edges, 53550 markings/sec, 435 secs
lola: 30186308 markings, 308925435 edges, 50570 markings/sec, 440 secs
lola: 30504611 markings, 312313893 edges, 63661 markings/sec, 445 secs
lola: 30860203 markings, 315860113 edges, 71118 markings/sec, 450 secs
lola: 31207789 markings, 319391036 edges, 69517 markings/sec, 455 secs
lola: 31523748 markings, 322834231 edges, 63192 markings/sec, 460 secs
lola: 31841115 markings, 326283252 edges, 63473 markings/sec, 465 secs
lola: 32185266 markings, 329812945 edges, 68830 markings/sec, 470 secs
lola: 32502014 markings, 333276532 edges, 63350 markings/sec, 475 secs
lola: 32811097 markings, 336699717 edges, 61817 markings/sec, 480 secs
lola: 33129514 markings, 340174829 edges, 63683 markings/sec, 485 secs
lola: 33425115 markings, 343575545 edges, 59120 markings/sec, 490 secs
lola: 33719067 markings, 346977936 edges, 58790 markings/sec, 495 secs
lola: 34008007 markings, 350352636 edges, 57788 markings/sec, 500 secs
lola: 34282069 markings, 353684095 edges, 54812 markings/sec, 505 secs
lola: 34526389 markings, 356910632 edges, 48864 markings/sec, 510 secs
lola: 34869604 markings, 360430306 edges, 68643 markings/sec, 515 secs
lola: 35203932 markings, 363937283 edges, 66866 markings/sec, 520 secs
lola: 35495005 markings, 367320737 edges, 58215 markings/sec, 525 secs
lola: 35829628 markings, 370816050 edges, 66925 markings/sec, 530 secs
lola: 36117484 markings, 374181547 edges, 57571 markings/sec, 535 secs
lola: 36432762 markings, 377629284 edges, 63056 markings/sec, 540 secs
lola: 36720973 markings, 380990376 edges, 57642 markings/sec, 545 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown yes no no unknown no no unknown unknown yes yes unknown no unknown unknown
lola: memory consumption: 5874992 KB
lola: time consumption: 796 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 554 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((X (NOT FIREABLE(yes_9)) U FIREABLE(start_0)) U ((FIREABLE(yes_9) U FIREABLE(yes_6)) U (FIREABLE(start_0) U FIREABLE(yes_9)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((X (NOT FIREABLE(yes_9)) U FIREABLE(start_0)) U ((FIREABLE(yes_9) U FIREABLE(yes_6)) U (FIREABLE(start_0) U FIREABLE(yes_9)))))
lola: processed formula length: 131
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 17 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: 3 markings, 2 edges
lola: ========================================
lola: subprocess 12 will run for 693 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(no_14) OR G (FIREABLE(start_0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(no_14) OR G (FIREABLE(start_0))))
lola: processed formula length: 46
lola: 102 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: 52 markings, 52 edges
lola: ========================================
lola: subprocess 13 will run for 924 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: 999
lola: 102 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: 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: 54 markings, 54 edges
lola: ========================================
lola: subprocess 14 will run for 1387 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(no_5) AND A (G ((NOT FIREABLE(start_0) OR F ((FIREABLE(yes_11) R F (FIREABLE(yes_11))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1387 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(no_5)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(no_5)
lola: processed formula length: 14
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 15 will run for 2774 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (F (FIREABLE(start_0)))) AND (A (G ((FIREABLE(yes_14) OR FIREABLE(start_0)))) AND (A (G (NOT FIREABLE(yes_3))) AND A (G (((G (NOT FIREABLE(start_0)) R NOT FIREABLE(no_39)) R NOT FIREABLE(yes_14)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2774 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(yes_3)))
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:788
lola: processed formula: A (G (NOT FIREABLE(yes_3)))
lola: processed formula length: 27
lola: 104 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:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(yes_3)
lola: state equation task get result unparse finished id 0
lola: SUBRESULT
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 2 markings, 1 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A ((G (F (FIREABLE(start_0))) OR X (F ((FIREABLE(start_0) OR 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 FIREA... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G (F (FIREABLE(start_0))) OR X (F ((FIREABLE(start_0) OR 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 FIREA... (shortened)
lola: processed formula length: 1257
lola: 102 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: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 272820 markings, 3786129 edges, 54564 markings/sec, 0 secs
lola: 527861 markings, 7715375 edges, 51008 markings/sec, 5 secs
lola: 766326 markings, 11601856 edges, 47693 markings/sec, 10 secs
lola: 986527 markings, 15442829 edges, 44040 markings/sec, 15 secs
lola: 1221968 markings, 19294682 edges, 47088 markings/sec, 20 secs
lola: 1456437 markings, 23153835 edges, 46894 markings/sec, 25 secs
lola: 1679047 markings, 26973254 edges, 44522 markings/sec, 30 secs
lola: 1898495 markings, 30776357 edges, 43890 markings/sec, 35 secs
lola: 2122579 markings, 34618815 edges, 44817 markings/sec, 40 secs
lola: 2329374 markings, 38386447 edges, 41359 markings/sec, 45 secs
lola: 2535106 markings, 42153614 edges, 41146 markings/sec, 50 secs
lola: 2737191 markings, 45911239 edges, 40417 markings/sec, 55 secs
lola: 2925406 markings, 49603196 edges, 37643 markings/sec, 60 secs
lola: 3101924 markings, 53249387 edges, 35304 markings/sec, 65 secs
lola: 3310104 markings, 56987505 edges, 41636 markings/sec, 70 secs
lola: 3552351 markings, 60865661 edges, 48449 markings/sec, 75 secs
lola: 3775650 markings, 64695159 edges, 44660 markings/sec, 80 secs
lola: 3989963 markings, 68478207 edges, 42863 markings/sec, 85 secs
lola: 4216677 markings, 72319789 edges, 45343 markings/sec, 90 secs
lola: 4421068 markings, 76075870 edges, 40878 markings/sec, 95 secs
lola: 4633868 markings, 79883638 edges, 42560 markings/sec, 100 secs
lola: 4835980 markings, 83654414 edges, 40422 markings/sec, 105 secs
lola: 5025223 markings, 87360533 edges, 37849 markings/sec, 110 secs
lola: 5205811 markings, 91049042 edges, 36118 markings/sec, 115 secs
lola: 5394876 markings, 94737470 edges, 37813 markings/sec, 120 secs
lola: 5623588 markings, 98590134 edges, 45742 markings/sec, 125 secs
lola: 5826310 markings, 102345775 edges, 40544 markings/sec, 130 secs
lola: 6039689 markings, 106133939 edges, 42676 markings/sec, 135 secs
lola: 6241816 markings, 109887747 edges, 40425 markings/sec, 140 secs
lola: 6431777 markings, 113588319 edges, 37992 markings/sec, 145 secs
lola: 6609480 markings, 117234746 edges, 35541 markings/sec, 150 secs
lola: 6787613 markings, 120879140 edges, 35627 markings/sec, 155 secs
lola: 6997766 markings, 124644050 edges, 42031 markings/sec, 160 secs
lola: 7197393 markings, 128370417 edges, 39925 markings/sec, 165 secs
lola: 7385151 markings, 132042125 edges, 37552 markings/sec, 170 secs
lola: 7562047 markings, 135654971 edges, 35379 markings/sec, 175 secs
lola: 7733066 markings, 139228744 edges, 34204 markings/sec, 180 secs
lola: 7928260 markings, 142937681 edges, 39039 markings/sec, 185 secs
lola: 8112572 markings, 146599747 edges, 36862 markings/sec, 190 secs
lola: 8276613 markings, 150127344 edges, 32808 markings/sec, 195 secs
lola: 8457872 markings, 153788053 edges, 36252 markings/sec, 200 secs
lola: 8634084 markings, 157403586 edges, 35242 markings/sec, 205 secs
lola: 8798971 markings, 160959268 edges, 32977 markings/sec, 210 secs
lola: 8964863 markings, 164508715 edges, 33178 markings/sec, 215 secs
lola: 9127389 markings, 168069325 edges, 32505 markings/sec, 220 secs
lola: 9282115 markings, 171584945 edges, 30945 markings/sec, 225 secs
lola: 9428697 markings, 175039455 edges, 29316 markings/sec, 230 secs
lola: 9562075 markings, 178462573 edges, 26676 markings/sec, 235 secs
lola: 9809999 markings, 182313233 edges, 49585 markings/sec, 240 secs
lola: 10046518 markings, 186133465 edges, 47304 markings/sec, 245 secs
lola: 10249733 markings, 189855310 edges, 40643 markings/sec, 250 secs
lola: 10480423 markings, 193667432 edges, 46138 markings/sec, 255 secs
lola: 10691048 markings, 197424946 edges, 42125 markings/sec, 260 secs
lola: 10902203 markings, 201178810 edges, 42231 markings/sec, 265 secs
lola: 11100808 markings, 204903814 edges, 39721 markings/sec, 270 secs
lola: 11297596 markings, 208624855 edges, 39358 markings/sec, 275 secs
lola: 11484529 markings, 212292979 edges, 37387 markings/sec, 280 secs
lola: 11651958 markings, 215878702 edges, 33486 markings/sec, 285 secs
lola: 11868298 markings, 219659287 edges, 43268 markings/sec, 290 secs
lola: 12086672 markings, 223465744 edges, 43675 markings/sec, 295 secs
lola: 12295272 markings, 227222601 edges, 41720 markings/sec, 300 secs
lola: 12493636 markings, 230945596 edges, 39673 markings/sec, 305 secs
lola: 12690045 markings, 234661629 edges, 39282 markings/sec, 310 secs
lola: 12881683 markings, 238349492 edges, 38328 markings/sec, 315 secs
lola: 13051510 markings, 241940365 edges, 33965 markings/sec, 320 secs
lola: 13250691 markings, 245667765 edges, 39836 markings/sec, 325 secs
lola: 13448611 markings, 249388962 edges, 39584 markings/sec, 330 secs
lola: 13646994 markings, 253127800 edges, 39677 markings/sec, 335 secs
lola: 13837109 markings, 256824414 edges, 38023 markings/sec, 340 secs
lola: 14004838 markings, 260402836 edges, 33546 markings/sec, 345 secs
lola: 14195263 markings, 264096450 edges, 38085 markings/sec, 350 secs
lola: 14384880 markings, 267793660 edges, 37923 markings/sec, 355 secs
lola: 14562647 markings, 271434297 edges, 35553 markings/sec, 360 secs
lola: 14729502 markings, 275013148 edges, 33371 markings/sec, 365 secs
lola: 14914274 markings, 278693877 edges, 36954 markings/sec, 370 secs
lola: 15079643 markings, 282261486 edges, 33074 markings/sec, 375 secs
lola: 15254119 markings, 285896136 edges, 34895 markings/sec, 380 secs
lola: 15415522 markings, 289462209 edges, 32281 markings/sec, 385 secs
lola: 15574239 markings, 293025731 edges, 31743 markings/sec, 390 secs
lola: 15731307 markings, 296572764 edges, 31414 markings/sec, 395 secs
lola: 15873411 markings, 300024774 edges, 28421 markings/sec, 400 secs
lola: 16062289 markings, 303713967 edges, 37776 markings/sec, 405 secs
lola: 16285547 markings, 307544855 edges, 44652 markings/sec, 410 secs
lola: 16492767 markings, 311317510 edges, 41444 markings/sec, 415 secs
lola: 16700088 markings, 315091353 edges, 41464 markings/sec, 420 secs
lola: 16901505 markings, 318844497 edges, 40283 markings/sec, 425 secs
lola: 17088956 markings, 322533799 edges, 37490 markings/sec, 430 secs
lola: 17266519 markings, 326167090 edges, 35513 markings/sec, 435 secs
lola: 17451298 markings, 329831476 edges, 36956 markings/sec, 440 secs
lola: 17655124 markings, 333572509 edges, 40765 markings/sec, 445 secs
lola: 17856596 markings, 337318438 edges, 40294 markings/sec, 450 secs
lola: 18045651 markings, 341018926 edges, 37811 markings/sec, 455 secs
lola: 18220156 markings, 344638103 edges, 34901 markings/sec, 460 secs
lola: 18401265 markings, 348287518 edges, 36222 markings/sec, 465 secs
lola: 18595109 markings, 352008922 edges, 38769 markings/sec, 470 secs
lola: 18777793 markings, 355687987 edges, 36537 markings/sec, 475 secs
lola: 18936501 markings, 359250315 edges, 31742 markings/sec, 480 secs
lola: 19130204 markings, 362977073 edges, 38741 markings/sec, 485 secs
lola: 19300048 markings, 366588217 edges, 33969 markings/sec, 490 secs
lola: 19471304 markings, 370216120 edges, 34251 markings/sec, 495 secs
lola: 19631144 markings, 373766555 edges, 31968 markings/sec, 500 secs
lola: 19796874 markings, 377362098 edges, 33146 markings/sec, 505 secs
lola: 19950838 markings, 380902432 edges, 30793 markings/sec, 510 secs
lola: 20097865 markings, 384382527 edges, 29405 markings/sec, 515 secs
lola: 20259311 markings, 387950128 edges, 32289 markings/sec, 520 secs
lola: 20467668 markings, 391714852 edges, 41671 markings/sec, 525 secs
lola: 20669420 markings, 395466956 edges, 40350 markings/sec, 530 secs
lola: 20856757 markings, 399161876 edges, 37467 markings/sec, 535 secs
lola: 21037211 markings, 402834998 edges, 36091 markings/sec, 540 secs
lola: 21212064 markings, 406462095 edges, 34971 markings/sec, 545 secs
lola: 21408160 markings, 410178102 edges, 39219 markings/sec, 550 secs
lola: 21590764 markings, 413847621 edges, 36521 markings/sec, 555 secs
lola: 21754244 markings, 417407637 edges, 32696 markings/sec, 560 secs
lola: 21941477 markings, 421113793 edges, 37447 markings/sec, 565 secs
lola: 22115385 markings, 424739039 edges, 34782 markings/sec, 570 secs
lola: 22281985 markings, 428335979 edges, 33320 markings/sec, 575 secs
lola: 22447610 markings, 431899538 edges, 33125 markings/sec, 580 secs
lola: 22611851 markings, 435481031 edges, 32848 markings/sec, 585 secs
lola: 22765483 markings, 438992176 edges, 30726 markings/sec, 590 secs
lola: 22912124 markings, 442462793 edges, 29328 markings/sec, 595 secs
lola: 23055677 markings, 445945854 edges, 28711 markings/sec, 600 secs
lola: 23253541 markings, 449681229 edges, 39573 markings/sec, 605 secs
lola: 23442477 markings, 453356356 edges, 37787 markings/sec, 610 secs
lola: 23609158 markings, 456909880 edges, 33336 markings/sec, 615 secs
lola: 23786369 markings, 460535376 edges, 35442 markings/sec, 620 secs
lola: 23965446 markings, 464191870 edges, 35815 markings/sec, 625 secs
lola: 24130326 markings, 467773066 edges, 32976 markings/sec, 630 secs
lola: 24300291 markings, 471359878 edges, 33993 markings/sec, 635 secs
lola: 24461283 markings, 474909064 edges, 32198 markings/sec, 640 secs
lola: 24616166 markings, 478404338 edges, 30977 markings/sec, 645 secs
lola: 24762112 markings, 481833271 edges, 29189 markings/sec, 650 secs
lola: 24896912 markings, 485185811 edges, 26960 markings/sec, 655 secs
lola: 25076388 markings, 488856741 edges, 35895 markings/sec, 660 secs
lola: 25251037 markings, 492461250 edges, 34930 markings/sec, 665 secs
lola: 25417463 markings, 496045218 edges, 33285 markings/sec, 670 secs
lola: 25583866 markings, 499624372 edges, 33281 markings/sec, 675 secs
lola: 25747305 markings, 503197122 edges, 32688 markings/sec, 680 secs
lola: 25901012 markings, 506688962 edges, 30741 markings/sec, 685 secs
lola: 26045966 markings, 510110796 edges, 28991 markings/sec, 690 secs
lola: 26176321 markings, 513478443 edges, 26071 markings/sec, 695 secs
lola: 26354597 markings, 517115653 edges, 35655 markings/sec, 700 secs
lola: 26514421 markings, 520656660 edges, 31965 markings/sec, 705 secs
lola: 26673045 markings, 524201157 edges, 31725 markings/sec, 710 secs
lola: 26824423 markings, 527674446 edges, 30276 markings/sec, 715 secs
lola: 26962336 markings, 531050077 edges, 27583 markings/sec, 720 secs
lola: 27113553 markings, 534559229 edges, 30243 markings/sec, 725 secs
lola: 27269015 markings, 538059703 edges, 31092 markings/sec, 730 secs
lola: 27415045 markings, 541506195 edges, 29206 markings/sec, 735 secs
lola: 27550595 markings, 544852648 edges, 27110 markings/sec, 740 secs
lola: 27698753 markings, 548359212 edges, 29632 markings/sec, 745 secs
lola: 27844147 markings, 551807740 edges, 29079 markings/sec, 750 secs
lola: 27978018 markings, 555191192 edges, 26774 markings/sec, 755 secs
lola: 28121052 markings, 558622372 edges, 28607 markings/sec, 760 secs
lola: 28252235 markings, 561976012 edges, 26237 markings/sec, 765 secs
lola: 28380992 markings, 565292469 edges, 25751 markings/sec, 770 secs
lola: 28506758 markings, 568572911 edges, 25153 markings/sec, 775 secs
lola: 28623617 markings, 571775414 edges, 23372 markings/sec, 780 secs
lola: 28797502 markings, 575400164 edges, 34777 markings/sec, 785 secs
lola: 29040748 markings, 579247854 edges, 48649 markings/sec, 790 secs
lola: 29262637 markings, 583042970 edges, 44378 markings/sec, 795 secs
lola: 29472271 markings, 586789927 edges, 41927 markings/sec, 800 secs
lola: 29699560 markings, 590591241 edges, 45458 markings/sec, 805 secs
lola: 29896919 markings, 594279052 edges, 39472 markings/sec, 810 secs
lola: 30113875 markings, 598058888 edges, 43391 markings/sec, 815 secs
lola: 30311751 markings, 601768341 edges, 39575 markings/sec, 820 secs
lola: 30502588 markings, 605442291 edges, 38167 markings/sec, 825 secs
lola: 30681382 markings, 609065557 edges, 35759 markings/sec, 830 secs
lola: 30849109 markings, 612631371 edges, 33545 markings/sec, 835 secs
lola: 31080136 markings, 616436200 edges, 46205 markings/sec, 840 secs
lola: 31282247 markings, 620159449 edges, 40422 markings/sec, 845 secs
lola: 31499333 markings, 623926520 edges, 43417 markings/sec, 850 secs
lola: 31696259 markings, 627620473 edges, 39385 markings/sec, 855 secs
lola: 31889369 markings, 631301481 edges, 38622 markings/sec, 860 secs
lola: 32068749 markings, 634915403 edges, 35876 markings/sec, 865 secs
lola: 32229083 markings, 638427444 edges, 32067 markings/sec, 870 secs
lola: 32445174 markings, 642211867 edges, 43218 markings/sec, 875 secs
lola: 32642401 markings, 645910782 edges, 39445 markings/sec, 880 secs
lola: 32836483 markings, 649611889 edges, 38816 markings/sec, 885 secs
lola: 33016789 markings, 653245907 edges, 36061 markings/sec, 890 secs
lola: 33176222 markings, 656755172 edges, 31887 markings/sec, 895 secs
lola: 33374799 markings, 660465864 edges, 39715 markings/sec, 900 secs
lola: 33563146 markings, 664146445 edges, 37669 markings/sec, 905 secs
lola: 33734868 markings, 667725328 edges, 34344 markings/sec, 910 secs
lola: 33907734 markings, 671306718 edges, 34573 markings/sec, 915 secs
lola: 34086881 markings, 674935886 edges, 35829 markings/sec, 920 secs
lola: 34243954 markings, 678439316 edges, 31415 markings/sec, 925 secs
lola: 34419387 markings, 682028161 edges, 35087 markings/sec, 930 secs
lola: 34576820 markings, 685533138 edges, 31487 markings/sec, 935 secs
lola: 34734523 markings, 689044294 edges, 31541 markings/sec, 940 secs
lola: 34884921 markings, 692510711 edges, 30080 markings/sec, 945 secs
lola: 35022638 markings, 695884296 edges, 27543 markings/sec, 950 secs
lola: 35217892 markings, 699556045 edges, 39051 markings/sec, 955 secs
lola: 35438919 markings, 703347815 edges, 44205 markings/sec, 960 secs
lola: 35642485 markings, 707063391 edges, 40713 markings/sec, 965 secs
lola: 35844562 markings, 710783090 edges, 40415 markings/sec, 970 secs
lola: 36045076 markings, 714508062 edges, 40103 markings/sec, 975 secs
lola: 36233162 markings, 718183808 edges, 37617 markings/sec, 980 secs
lola: 36406479 markings, 721774769 edges, 34663 markings/sec, 985 secs
lola: 36591730 markings, 725418737 edges, 37050 markings/sec, 990 secs
lola: 36793163 markings, 729128884 edges, 40287 markings/sec, 995 secs
lola: 36993934 markings, 732854581 edges, 40154 markings/sec, 1000 secs
lola: 37181971 markings, 736531403 edges, 37607 markings/sec, 1005 secs
lola: 37353869 markings, 740113075 edges, 34380 markings/sec, 1010 secs
lola: 37534860 markings, 743739763 edges, 36198 markings/sec, 1015 secs
lola: 37727331 markings, 747439814 edges, 38494 markings/sec, 1020 secs
lola: 37908609 markings, 751093023 edges, 36256 markings/sec, 1025 secs
lola: 38065909 markings, 754620693 edges, 31460 markings/sec, 1030 secs
lola: 38258144 markings, 758326952 edges, 38447 markings/sec, 1035 secs
lola: 38428270 markings, 761917994 edges, 34025 markings/sec, 1040 secs
lola: 38596619 markings, 765506920 edges, 33670 markings/sec, 1045 secs
lola: 38756686 markings, 769023136 edges, 32013 markings/sec, 1050 secs
lola: 38920908 markings, 772597507 edges, 32844 markings/sec, 1055 secs
lola: 39073680 markings, 776108046 edges, 30554 markings/sec, 1060 secs
lola: 39219405 markings, 779564904 edges, 29145 markings/sec, 1065 secs
lola: 39372990 markings, 783072977 edges, 30717 markings/sec, 1070 secs
lola: 39584749 markings, 786846475 edges, 42352 markings/sec, 1075 secs
lola: 39785510 markings, 790588531 edges, 40152 markings/sec, 1080 secs
lola: 39975074 markings, 794288220 edges, 37913 markings/sec, 1085 secs
lola: 40154134 markings, 797950202 edges, 35812 markings/sec, 1090 secs
lola: 40326908 markings, 801559088 edges, 34555 markings/sec, 1095 secs
lola: 40521702 markings, 805261766 edges, 38959 markings/sec, 1100 secs
lola: 40706283 markings, 808928222 edges, 36916 markings/sec, 1105 secs
lola: 40872362 markings, 812499801 edges, 33216 markings/sec, 1110 secs
lola: 41054413 markings, 816168828 edges, 36410 markings/sec, 1115 secs
lola: 41230789 markings, 819795335 edges, 35275 markings/sec, 1120 secs
lola: 41396940 markings, 823378600 edges, 33230 markings/sec, 1125 secs
lola: 41563070 markings, 826941947 edges, 33226 markings/sec, 1130 secs
lola: 41725694 markings, 830495721 edges, 32525 markings/sec, 1135 secs
lola: 41880125 markings, 834006200 edges, 30886 markings/sec, 1140 secs
lola: 42026255 markings, 837459909 edges, 29226 markings/sec, 1145 secs
lola: 42158831 markings, 840872454 edges, 26515 markings/sec, 1150 secs
lola: 42360071 markings, 844609876 edges, 40248 markings/sec, 1155 secs
lola: 42549431 markings, 848290229 edges, 37872 markings/sec, 1160 secs
lola: 42720080 markings, 851861131 edges, 34130 markings/sec, 1165 secs
lola: 42893977 markings, 855457392 edges, 34779 markings/sec, 1170 secs
lola: 43073369 markings, 859102007 edges, 35878 markings/sec, 1175 secs
lola: 43234715 markings, 862655535 edges, 32269 markings/sec, 1180 secs
lola: 43407369 markings, 866251955 edges, 34531 markings/sec, 1185 secs
lola: 43567768 markings, 869781237 edges, 32080 markings/sec, 1190 secs
lola: 43722633 markings, 873263156 edges, 30973 markings/sec, 1195 secs
lola: 43870878 markings, 876687441 edges, 29649 markings/sec, 1200 secs
lola: 44005713 markings, 880014379 edges, 26967 markings/sec, 1205 secs
lola: 44175522 markings, 883618521 edges, 33962 markings/sec, 1210 secs
lola: 44352512 markings, 887240988 edges, 35398 markings/sec, 1215 secs
lola: 44516573 markings, 890799442 edges, 32812 markings/sec, 1220 secs
lola: 44687146 markings, 894394494 edges, 34115 markings/sec, 1225 secs
lola: 44848435 markings, 897939414 edges, 32258 markings/sec, 1230 secs
lola: 45003447 markings, 901438107 edges, 31002 markings/sec, 1235 secs
lola: 45142369 markings, 904711491 edges, 27784 markings/sec, 1240 secs
lola: 45276678 markings, 908031888 edges, 26862 markings/sec, 1245 secs
lola: 45444102 markings, 911637126 edges, 33485 markings/sec, 1250 secs
lola: 45601243 markings, 915149715 edges, 31428 markings/sec, 1255 secs
lola: 45763326 markings, 918689075 edges, 32417 markings/sec, 1260 secs
lola: 45915871 markings, 922178257 edges, 30509 markings/sec, 1265 secs
lola: 46057946 markings, 925566003 edges, 28415 markings/sec, 1270 secs
lola: 46198981 markings, 928987162 edges, 28207 markings/sec, 1275 secs
lola: 46354468 markings, 932471478 edges, 31097 markings/sec, 1280 secs
lola: 46505668 markings, 935921812 edges, 30240 markings/sec, 1285 secs
lola: 46642911 markings, 939265051 edges, 27449 markings/sec, 1290 secs
lola: 46785229 markings, 942703004 edges, 28464 markings/sec, 1295 secs
lola: 46931357 markings, 946136785 edges, 29226 markings/sec, 1300 secs
lola: 47064532 markings, 949471490 edges, 26635 markings/sec, 1305 secs
lola: 47206600 markings, 952902242 edges, 28414 markings/sec, 1310 secs
lola: 47334696 markings, 956225870 edges, 25619 markings/sec, 1315 secs
lola: 47470488 markings, 959577072 edges, 27158 markings/sec, 1320 secs
lola: 47595985 markings, 962859291 edges, 25099 markings/sec, 1325 secs
lola: 47716093 markings, 966094685 edges, 24022 markings/sec, 1330 secs
lola: 47830095 markings, 969449757 edges, 22800 markings/sec, 1335 secs
lola: 48067970 markings, 973248591 edges, 47575 markings/sec, 1340 secs
lola: 48271756 markings, 976963404 edges, 40757 markings/sec, 1345 secs
lola: 48483554 markings, 980698423 edges, 42360 markings/sec, 1350 secs
lola: 48680671 markings, 984382998 edges, 39423 markings/sec, 1355 secs
lola: 48873625 markings, 988065011 edges, 38591 markings/sec, 1360 secs
lola: 49056154 markings, 991691297 edges, 36506 markings/sec, 1365 secs
lola: 49220355 markings, 995226230 edges, 32840 markings/sec, 1370 secs
lola: 49427938 markings, 998959815 edges, 41517 markings/sec, 1375 secs
lola: 49624736 markings, 1002635477 edges, 39360 markings/sec, 1380 secs
lola: 49817950 markings, 1006320134 edges, 38643 markings/sec, 1385 secs
lola: 50000389 markings, 1009943912 edges, 36488 markings/sec, 1390 secs
lola: 50163655 markings, 1013456308 edges, 32653 markings/sec, 1395 secs
lola: 50357220 markings, 1017137746 edges, 38713 markings/sec, 1400 secs
lola: 50541351 markings, 1020789773 edges, 36826 markings/sec, 1405 secs
lola: 50719625 markings, 1024402240 edges, 35655 markings/sec, 1410 secs
lola: 50888623 markings, 1027969184 edges, 33800 markings/sec, 1415 secs
lola: 51069151 markings, 1031606356 edges, 36106 markings/sec, 1420 secs
lola: 51229911 markings, 1035128816 edges, 32152 markings/sec, 1425 secs
lola: 51403868 markings, 1038728537 edges, 34791 markings/sec, 1430 secs
lola: 51563546 markings, 1042248486 edges, 31936 markings/sec, 1435 secs
lola: 51720051 markings, 1045759568 edges, 31301 markings/sec, 1440 secs
lola: 51873739 markings, 1049248396 edges, 30738 markings/sec, 1445 secs
lola: 52013031 markings, 1052640694 edges, 27858 markings/sec, 1450 secs
lola: 52186126 markings, 1056232050 edges, 34619 markings/sec, 1455 secs
lola: 52387063 markings, 1059933741 edges, 40187 markings/sec, 1460 secs
lola: 52588103 markings, 1063662900 edges, 40208 markings/sec, 1465 secs
lola: 52776798 markings, 1067349782 edges, 37739 markings/sec, 1470 secs
lola: 52950352 markings, 1070960570 edges, 34711 markings/sec, 1475 secs
lola: 53132486 markings, 1074594196 edges, 36427 markings/sec, 1480 secs
lola: 53323587 markings, 1078268263 edges, 38220 markings/sec, 1485 secs
lola: 53502862 markings, 1081897377 edges, 35855 markings/sec, 1490 secs
lola: 53660790 markings, 1085424527 edges, 31586 markings/sec, 1495 secs
lola: 53851193 markings, 1089100467 edges, 38081 markings/sec, 1500 secs
lola: 54019413 markings, 1092669857 edges, 33644 markings/sec, 1505 secs
lola: 54187944 markings, 1096250477 edges, 33706 markings/sec, 1510 secs
lola: 54347152 markings, 1099759789 edges, 31842 markings/sec, 1515 secs
lola: 54510383 markings, 1103302098 edges, 32646 markings/sec, 1520 secs
lola: 54662057 markings, 1106785357 edges, 30335 markings/sec, 1525 secs
lola: 54806277 markings, 1110213340 edges, 28844 markings/sec, 1530 secs
lola: 54953751 markings, 1113681386 edges, 29495 markings/sec, 1535 secs
lola: 55149346 markings, 1117381606 edges, 39119 markings/sec, 1540 secs
lola: 55335255 markings, 1121027082 edges, 37182 markings/sec, 1545 secs
lola: 55501340 markings, 1124574481 edges, 33217 markings/sec, 1550 secs
lola: 55678259 markings, 1128192247 edges, 35384 markings/sec, 1555 secs
lola: 55856863 markings, 1131836581 edges, 35721 markings/sec, 1560 secs
lola: 56021797 markings, 1135409804 edges, 32987 markings/sec, 1565 secs
lola: 56189916 markings, 1138984495 edges, 33624 markings/sec, 1570 secs
lola: 56351998 markings, 1142543180 edges, 32416 markings/sec, 1575 secs
lola: 56507646 markings, 1146051991 edges, 31130 markings/sec, 1580 secs
lola: 56654040 markings, 1149495624 edges, 29279 markings/sec, 1585 secs
lola: 56788355 markings, 1152871356 edges, 26863 markings/sec, 1590 secs
lola: 56970092 markings, 1156534450 edges, 36347 markings/sec, 1595 secs
lola: 57142752 markings, 1160131928 edges, 34532 markings/sec, 1600 secs
lola: 57309469 markings, 1163707080 edges, 33343 markings/sec, 1605 secs
lola: 57475777 markings, 1167284671 edges, 33262 markings/sec, 1610 secs
lola: 57638879 markings, 1170857061 edges, 32620 markings/sec, 1615 secs
lola: 57792178 markings, 1174344459 edges, 30660 markings/sec, 1620 secs
lola: 57937354 markings, 1177774286 edges, 29035 markings/sec, 1625 secs
lola: 58068962 markings, 1181157773 edges, 26322 markings/sec, 1630 secs
lola: 58247278 markings, 1184787692 edges, 35663 markings/sec, 1635 secs
lola: 58406384 markings, 1188330833 edges, 31821 markings/sec, 1640 secs
lola: 58556297 markings, 1191673399 edges, 29983 markings/sec, 1645 secs
lola: 58707357 markings, 1195131809 edges, 30212 markings/sec, 1650 secs
lola: 58845110 markings, 1198493572 edges, 27551 markings/sec, 1655 secs
lola: 58994668 markings, 1201976936 edges, 29912 markings/sec, 1660 secs
lola: 59149563 markings, 1205467709 edges, 30979 markings/sec, 1665 secs
lola: 59295918 markings, 1208903054 edges, 29271 markings/sec, 1670 secs
lola: 59430547 markings, 1212233558 edges, 26926 markings/sec, 1675 secs
lola: 59578537 markings, 1215720802 edges, 29598 markings/sec, 1680 secs
lola: 59723688 markings, 1219166923 edges, 29030 markings/sec, 1685 secs
lola: 59856172 markings, 1222534650 edges, 26497 markings/sec, 1690 secs
lola: 59999869 markings, 1225967011 edges, 28739 markings/sec, 1695 secs
lola: 60131221 markings, 1229316474 edges, 26270 markings/sec, 1700 secs
lola: 60259150 markings, 1232632504 edges, 25586 markings/sec, 1705 secs
lola: 60385794 markings, 1235928160 edges, 25329 markings/sec, 1710 secs
lola: 60504403 markings, 1239151162 edges, 23722 markings/sec, 1715 secs
lola: 60656048 markings, 1242687092 edges, 30329 markings/sec, 1720 secs
lola: 60862882 markings, 1246439873 edges, 41367 markings/sec, 1725 secs
lola: 61063776 markings, 1250177212 edges, 40179 markings/sec, 1730 secs
lola: 61249431 markings, 1253859812 edges, 37131 markings/sec, 1735 secs
lola: 61429733 markings, 1257515384 edges, 36060 markings/sec, 1740 secs
lola: 61605055 markings, 1261132114 edges, 35064 markings/sec, 1745 secs
lola: 61800397 markings, 1264840614 edges, 39068 markings/sec, 1750 secs
lola: 61982760 markings, 1268507271 edges, 36473 markings/sec, 1755 secs
lola: 62144972 markings, 1272048406 edges, 32442 markings/sec, 1760 secs
lola: 62332284 markings, 1275751068 edges, 37462 markings/sec, 1765 secs
lola: 62505818 markings, 1279371622 edges, 34707 markings/sec, 1770 secs
lola: 62672038 markings, 1282967093 edges, 33244 markings/sec, 1775 secs
lola: 62838050 markings, 1286537266 edges, 33202 markings/sec, 1780 secs
lola: 63002540 markings, 1290120692 edges, 32898 markings/sec, 1785 secs
lola: 63156168 markings, 1293632120 edges, 30726 markings/sec, 1790 secs
lola: 63302296 markings, 1297094225 edges, 29226 markings/sec, 1795 secs
lola: 63445493 markings, 1300564876 edges, 28639 markings/sec, 1800 secs
lola: 63643566 markings, 1304305868 edges, 39615 markings/sec, 1805 secs
lola: 63833308 markings, 1308000525 edges, 37948 markings/sec, 1810 secs
lola: 64001403 markings, 1311584197 edges, 33619 markings/sec, 1815 secs
lola: 64179563 markings, 1315229156 edges, 35632 markings/sec, 1820 secs
lola: 64359327 markings, 1318900285 edges, 35953 markings/sec, 1825 secs
lola: 64525625 markings, 1322498288 edges, 33260 markings/sec, 1830 secs
lola: 64694899 markings, 1326098590 edges, 33855 markings/sec, 1835 secs
lola: 64857901 markings, 1329673481 edges, 32600 markings/sec, 1840 secs
lola: 65013801 markings, 1333195242 edges, 31180 markings/sec, 1845 secs
lola: 65160083 markings, 1336647618 edges, 29256 markings/sec, 1850 secs
lola: 65294684 markings, 1340031505 edges, 26920 markings/sec, 1855 secs
lola: 65478804 markings, 1343727325 edges, 36824 markings/sec, 1860 secs
lola: 65653021 markings, 1347352115 edges, 34843 markings/sec, 1865 secs
lola: 65819967 markings, 1350955453 edges, 33389 markings/sec, 1870 secs
lola: 65986514 markings, 1354544428 edges, 33309 markings/sec, 1875 secs
lola: 66151757 markings, 1358147091 edges, 33049 markings/sec, 1880 secs
lola: 66305566 markings, 1361662515 edges, 30762 markings/sec, 1885 secs
lola: 66451809 markings, 1365127798 edges, 29249 markings/sec, 1890 secs
lola: 66590654 markings, 1368573057 edges, 27769 markings/sec, 1895 secs
lola: 66765071 markings, 1372207631 edges, 34883 markings/sec, 1900 secs
lola: 66928587 markings, 1375792840 edges, 32703 markings/sec, 1905 secs
lola: 67086847 markings, 1379353442 edges, 31652 markings/sec, 1910 secs
lola: 67236577 markings, 1382843843 edges, 29946 markings/sec, 1915 secs
lola: 67373694 markings, 1386243895 edges, 27423 markings/sec, 1920 secs
lola: 67532896 markings, 1389827091 edges, 31840 markings/sec, 1925 secs
lola: 67688016 markings, 1393351365 edges, 31024 markings/sec, 1930 secs
lola: 67835074 markings, 1396823474 edges, 29412 markings/sec, 1935 secs
lola: 67965860 markings, 1400203978 edges, 26157 markings/sec, 1940 secs
lola: 68123027 markings, 1403761896 edges, 31433 markings/sec, 1945 secs
lola: 68265553 markings, 1407208142 edges, 28505 markings/sec, 1950 secs
lola: 68404359 markings, 1410652694 edges, 27761 markings/sec, 1955 secs
lola: 68543183 markings, 1414074291 edges, 27765 markings/sec, 1960 secs
lola: 68678181 markings, 1417488202 edges, 27000 markings/sec, 1965 secs
lola: 68807610 markings, 1420833175 edges, 25886 markings/sec, 1970 secs
lola: 68929347 markings, 1424070540 edges, 24347 markings/sec, 1975 secs
lola: 69039399 markings, 1427122013 edges, 22010 markings/sec, 1980 secs
lola: 69207307 markings, 1430741062 edges, 33582 markings/sec, 1985 secs
lola: 69398016 markings, 1434414721 edges, 38142 markings/sec, 1990 secs
lola: 69577829 markings, 1438062955 edges, 35963 markings/sec, 1995 secs
lola: 69741983 markings, 1441647601 edges, 32831 markings/sec, 2000 secs
lola: 69930760 markings, 1445355158 edges, 37755 markings/sec, 2005 secs
lola: 70099640 markings, 1448983637 edges, 33776 markings/sec, 2010 secs
lola: 70274189 markings, 1452646273 edges, 34910 markings/sec, 2015 secs
lola: 70435999 markings, 1456241348 edges, 32362 markings/sec, 2020 secs
lola: 70598557 markings, 1459837039 edges, 32512 markings/sec, 2025 secs
lola: 70755442 markings, 1463408921 edges, 31377 markings/sec, 2030 secs
lola: 70899926 markings, 1466880305 edges, 28897 markings/sec, 2035 secs
lola: 71060373 markings, 1470466790 edges, 32089 markings/sec, 2040 secs
lola: 71241949 markings, 1474131879 edges, 36315 markings/sec, 2045 secs
lola: 71399907 markings, 1477674671 edges, 31592 markings/sec, 2050 secs
lola: 71579821 markings, 1481334520 edges, 35983 markings/sec, 2055 secs
lola: 71739700 markings, 1484896449 edges, 31976 markings/sec, 2060 secs
lola: 71899295 markings, 1488446105 edges, 31919 markings/sec, 2065 secs
lola: 72050780 markings, 1491938706 edges, 30297 markings/sec, 2070 secs
lola: 72188091 markings, 1495329796 edges, 27462 markings/sec, 2075 secs
lola: 72351176 markings, 1498938547 edges, 32617 markings/sec, 2080 secs
lola: 72511991 markings, 1502497182 edges, 32163 markings/sec, 2085 secs
lola: 72677231 markings, 1506077548 edges, 33048 markings/sec, 2090 secs
lola: 72830593 markings, 1509618497 edges, 30672 markings/sec, 2095 secs
lola: 72976819 markings, 1513071312 edges, 29245 markings/sec, 2100 secs
lola: 73119549 markings, 1516548816 edges, 28546 markings/sec, 2105 secs
lola: 73277358 markings, 1520089297 edges, 31562 markings/sec, 2110 secs
lola: 73431236 markings, 1523585927 edges, 30776 markings/sec, 2115 secs
lola: 73571394 markings, 1527004024 edges, 28032 markings/sec, 2120 secs
lola: 73715616 markings, 1530475715 edges, 28844 markings/sec, 2125 secs
lola: 73861735 markings, 1533924461 edges, 29224 markings/sec, 2130 secs
lola: 73995661 markings, 1537289299 edges, 26785 markings/sec, 2135 secs
lola: 74139887 markings, 1540759964 edges, 28845 markings/sec, 2140 secs
lola: 74270690 markings, 1544121864 edges, 26161 markings/sec, 2145 secs
lola: 74405274 markings, 1547486408 edges, 26917 markings/sec, 2150 secs
lola: 74530604 markings, 1550791239 edges, 25066 markings/sec, 2155 secs
lola: 74651863 markings, 1554048778 edges, 24252 markings/sec, 2160 secs
lola: 74774834 markings, 1557440174 edges, 24594 markings/sec, 2165 secs
lola: 74964171 markings, 1561140177 edges, 37867 markings/sec, 2170 secs
lola: 75132676 markings, 1564736954 edges, 33701 markings/sec, 2175 secs
lola: 75303288 markings, 1568337522 edges, 34122 markings/sec, 2180 secs
lola: 75460190 markings, 1571853399 edges, 31380 markings/sec, 2185 secs
lola: 75623475 markings, 1575386687 edges, 32657 markings/sec, 2190 secs
lola: 75774677 markings, 1578860171 edges, 30240 markings/sec, 2195 secs
lola: 75917329 markings, 1582251613 edges, 28530 markings/sec, 2200 secs
lola: 76060832 markings, 1585680670 edges, 28701 markings/sec, 2205 secs
lola: 76231200 markings, 1589267306 edges, 34074 markings/sec, 2210 secs
lola: 76393035 markings, 1592826845 edges, 32367 markings/sec, 2215 secs
lola: 76549349 markings, 1596357220 edges, 31263 markings/sec, 2220 secs
lola: 76695688 markings, 1599805333 edges, 29268 markings/sec, 2225 secs
lola: 76831696 markings, 1603174667 edges, 27202 markings/sec, 2230 secs
lola: 76990717 markings, 1606734721 edges, 31804 markings/sec, 2235 secs
lola: 77144086 markings, 1610225666 edges, 30674 markings/sec, 2240 secs
lola: 77289663 markings, 1613665342 edges, 29115 markings/sec, 2245 secs
lola: 77419822 markings, 1617025351 edges, 26032 markings/sec, 2250 secs
lola: 77574644 markings, 1620522397 edges, 30964 markings/sec, 2255 secs
lola: 77714139 markings, 1623908095 edges, 27899 markings/sec, 2260 secs
lola: 77849986 markings, 1627275574 edges, 27169 markings/sec, 2265 secs
lola: 77986175 markings, 1630626756 edges, 27238 markings/sec, 2270 secs
lola: 78118258 markings, 1633959958 edges, 26417 markings/sec, 2275 secs
lola: 78243657 markings, 1637223504 edges, 25080 markings/sec, 2280 secs
lola: 78366671 markings, 1640452124 edges, 24603 markings/sec, 2285 secs
lola: 78481532 markings, 1643635831 edges, 22972 markings/sec, 2290 secs
lola: 78628160 markings, 1647167153 edges, 29326 markings/sec, 2295 secs
lola: 78792930 markings, 1650709176 edges, 32954 markings/sec, 2300 secs
lola: 78956440 markings, 1654276852 edges, 32702 markings/sec, 2305 secs
lola: 79108567 markings, 1657747985 edges, 30425 markings/sec, 2310 secs
lola: 79253534 markings, 1661168761 edges, 28993 markings/sec, 2315 secs
lola: 79386057 markings, 1664547810 edges, 26505 markings/sec, 2320 secs
lola: 79548385 markings, 1668093486 edges, 32466 markings/sec, 2325 secs
lola: 79702158 markings, 1671608856 edges, 30755 markings/sec, 2330 secs
lola: 79844874 markings, 1675022092 edges, 28543 markings/sec, 2335 secs
lola: 79983828 markings, 1678444506 edges, 27791 markings/sec, 2340 secs
lola: 80132914 markings, 1681904702 edges, 29817 markings/sec, 2345 secs
lola: 80268584 markings, 1685255471 edges, 27134 markings/sec, 2350 secs
lola: 80407509 markings, 1688667765 edges, 27785 markings/sec, 2355 secs
lola: 80539032 markings, 1691965720 edges, 26305 markings/sec, 2360 secs
lola: 80671571 markings, 1695299362 edges, 26508 markings/sec, 2365 secs
lola: 80796287 markings, 1698536452 edges, 24943 markings/sec, 2370 secs
lola: 80914826 markings, 1701732233 edges, 23708 markings/sec, 2375 secs
lola: 81030011 markings, 1704959053 edges, 23037 markings/sec, 2380 secs
lola: 81182947 markings, 1708475974 edges, 30587 markings/sec, 2385 secs
lola: 81336669 markings, 1711967150 edges, 30744 markings/sec, 2390 secs
lola: 81481978 markings, 1715398819 edges, 29062 markings/sec, 2395 secs
lola: 81611418 markings, 1718734984 edges, 25888 markings/sec, 2400 secs
lola: 81765673 markings, 1722244899 edges, 30851 markings/sec, 2405 secs
lola: 81908232 markings, 1725663684 edges, 28512 markings/sec, 2410 secs
lola: 82043806 markings, 1729049600 edges, 27115 markings/sec, 2415 secs
lola: 82181141 markings, 1732411661 edges, 27467 markings/sec, 2420 secs
lola: 82312282 markings, 1735747582 edges, 26228 markings/sec, 2425 secs
lola: 82438497 markings, 1739022388 edges, 25243 markings/sec, 2430 secs
lola: 82562410 markings, 1742266502 edges, 24783 markings/sec, 2435 secs
lola: 82677875 markings, 1745462665 edges, 23093 markings/sec, 2440 secs
lola: 82811983 markings, 1748884258 edges, 26822 markings/sec, 2445 secs
lola: 82957799 markings, 1752321149 edges, 29163 markings/sec, 2450 secs
lola: 83089887 markings, 1755635851 edges, 26418 markings/sec, 2455 secs
lola: 83231585 markings, 1759049843 edges, 28340 markings/sec, 2460 secs
lola: 83359102 markings, 1762359992 edges, 25503 markings/sec, 2465 secs
lola: 83494198 markings, 1765695445 edges, 27019 markings/sec, 2470 secs
lola: 83619813 markings, 1768977636 edges, 25123 markings/sec, 2475 secs
lola: 83738716 markings, 1772181888 edges, 23781 markings/sec, 2480 secs
lola: 83849923 markings, 1775423345 edges, 22241 markings/sec, 2485 secs
lola: 83993623 markings, 1778865995 edges, 28740 markings/sec, 2490 secs
lola: 84124777 markings, 1782207906 edges, 26231 markings/sec, 2495 secs
lola: 84256670 markings, 1785539068 edges, 26379 markings/sec, 2500 secs
lola: 84381524 markings, 1788837957 edges, 24971 markings/sec, 2505 secs
lola: 84500837 markings, 1792052579 edges, 23863 markings/sec, 2510 secs
lola: 84614920 markings, 1795300087 edges, 22817 markings/sec, 2515 secs
lola: 84748824 markings, 1798658307 edges, 26781 markings/sec, 2520 secs
lola: 84874006 markings, 1801959732 edges, 25036 markings/sec, 2525 secs
lola: 84994723 markings, 1805200560 edges, 24143 markings/sec, 2530 secs
lola: 85103993 markings, 1808381590 edges, 21854 markings/sec, 2535 secs
lola: 85231050 markings, 1811683191 edges, 25411 markings/sec, 2540 secs
lola: 85349412 markings, 1814900518 edges, 23672 markings/sec, 2545 secs
lola: 85459599 markings, 1818061454 edges, 22037 markings/sec, 2550 secs
lola: 85576077 markings, 1821247489 edges, 23296 markings/sec, 2555 secs
lola: 85684411 markings, 1824382769 edges, 21667 markings/sec, 2560 secs
lola: 85791934 markings, 1827500110 edges, 21505 markings/sec, 2565 secs
lola: 85895682 markings, 1830580572 edges, 20750 markings/sec, 2570 secs
lola: 86004901 markings, 1833784681 edges, 21844 markings/sec, 2575 secs
lola: 86130189 markings, 1837251974 edges, 25058 markings/sec, 2580 secs
lola: 86376855 markings, 1841085279 edges, 49333 markings/sec, 2585 secs
lola: 86605864 markings, 1844889577 edges, 45802 markings/sec, 2590 secs
lola: 86800997 markings, 1848572663 edges, 39027 markings/sec, 2595 secs
lola: 87039790 markings, 1852398167 edges, 47759 markings/sec, 2600 secs
lola: 87243642 markings, 1856112816 edges, 40770 markings/sec, 2605 secs
lola: 87456786 markings, 1859870569 edges, 42629 markings/sec, 2610 secs
lola: 87654838 markings, 1863577251 edges, 39610 markings/sec, 2615 secs
lola: 87849713 markings, 1867283517 edges, 38975 markings/sec, 2620 secs
lola: 88031409 markings, 1870920676 edges, 36339 markings/sec, 2625 secs
lola: 88196508 markings, 1874475858 edges, 33020 markings/sec, 2630 secs
lola: 88421674 markings, 1878264704 edges, 45033 markings/sec, 2635 secs
lola: 88632539 markings, 1882018311 edges, 42173 markings/sec, 2640 secs
lola: 88843604 markings, 1885770002 edges, 42213 markings/sec, 2645 secs
lola: 89041637 markings, 1889481834 edges, 39607 markings/sec, 2650 secs
lola: 89237681 markings, 1893192045 edges, 39209 markings/sec, 2655 secs
lola: 89424669 markings, 1896853062 edges, 37398 markings/sec, 2660 secs
lola: 89591850 markings, 1900422810 edges, 33436 markings/sec, 2665 secs
lola: 89795428 markings, 1904165037 edges, 40716 markings/sec, 2670 secs
lola: 89994397 markings, 1907889393 edges, 39794 markings/sec, 2675 secs
lola: 90191504 markings, 1911621237 edges, 39421 markings/sec, 2680 secs
lola: 90378000 markings, 1915300989 edges, 37299 markings/sec, 2685 secs
lola: 90543984 markings, 1918867696 edges, 33197 markings/sec, 2690 secs
lola: 90737526 markings, 1922575595 edges, 38708 markings/sec, 2695 secs
lola: 90925095 markings, 1926261111 edges, 37514 markings/sec, 2700 secs
lola: 91103767 markings, 1929905940 edges, 35734 markings/sec, 2705 secs
lola: 91273465 markings, 1933498624 edges, 33940 markings/sec, 2710 secs
lola: 91455825 markings, 1937169161 edges, 36472 markings/sec, 2715 secs
lola: 91618251 markings, 1940717491 edges, 32485 markings/sec, 2720 secs
lola: 91793758 markings, 1944352943 edges, 35101 markings/sec, 2725 secs
lola: 91955050 markings, 1947911270 edges, 32258 markings/sec, 2730 secs
lola: 92113975 markings, 1951468646 edges, 31785 markings/sec, 2735 secs
lola: 92268492 markings, 1954997308 edges, 30903 markings/sec, 2740 secs
lola: 92409988 markings, 1958435688 edges, 28299 markings/sec, 2745 secs
lola: 92602808 markings, 1962133176 edges, 38564 markings/sec, 2750 secs
lola: 92823798 markings, 1965924670 edges, 44198 markings/sec, 2755 secs
lola: 93027566 markings, 1969643203 edges, 40754 markings/sec, 2760 secs
lola: 93232462 markings, 1973389500 edges, 40979 markings/sec, 2765 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown yes no no no no no no no yes yes no no unknown yes
lola:
preliminary result: no unknown yes no no no no no no no yes yes no no unknown yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown yes no no no no no no no yes yes no no unknown yes
lola: memory consumption: 15172 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
BK_STOP 1589971489439
--------------------
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-0050"
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-0050, 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-158961529300106"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Referendum-PT-0050.tgz
mv Referendum-PT-0050 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 ;