About the Execution of 2019-Gold for AutoFlight-PT-96a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4291.470 | 3570110.00 | 3637418.00 | 9552.80 | ?FFF???TFTFT??FF | 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.r015-smll-158897552800130.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 AutoFlight-PT-96a, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r015-smll-158897552800130
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 804K
-rw-r--r-- 1 mcc users 3.4K Mar 26 00:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 26 00:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 19:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 19:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 25 15:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 15:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 11:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 11:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 629K Mar 24 05:37 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 AutoFlight-PT-96a-00
FORMULA_NAME AutoFlight-PT-96a-01
FORMULA_NAME AutoFlight-PT-96a-02
FORMULA_NAME AutoFlight-PT-96a-03
FORMULA_NAME AutoFlight-PT-96a-04
FORMULA_NAME AutoFlight-PT-96a-05
FORMULA_NAME AutoFlight-PT-96a-06
FORMULA_NAME AutoFlight-PT-96a-07
FORMULA_NAME AutoFlight-PT-96a-08
FORMULA_NAME AutoFlight-PT-96a-09
FORMULA_NAME AutoFlight-PT-96a-10
FORMULA_NAME AutoFlight-PT-96a-11
FORMULA_NAME AutoFlight-PT-96a-12
FORMULA_NAME AutoFlight-PT-96a-13
FORMULA_NAME AutoFlight-PT-96a-14
FORMULA_NAME AutoFlight-PT-96a-15
=== Now, execution of the tool begins
BK_START 1589324878991
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ AutoFlight-PT-96a @ 3570 seconds
FORMULA AutoFlight-PT-96a-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-96a-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-96a-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-96a-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-96a-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-96a-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-96a-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-96a-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-96a-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-96a-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ AutoFlight-PT-96a
{
"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": "Tue May 12 23:07:59 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((FIREABLE(t615) U (FIREABLE(t298) AND X (X (X (G (FIREABLE(t615))))))))",
"processed_size": 74,
"rewrites": 102
},
"result":
{
"edges": 246,
"markings": 246,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 16
},
"compoundnumber": 1,
"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": 238
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((FIREABLE(t640) OR G (F ((FIREABLE(t1815) AND X (X (G (FIREABLE(t640)))))))))",
"processed_size": 80,
"rewrites": 102
},
"result":
{
"edges": 246,
"markings": 246,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 8
},
"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": 257
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 1,
"U": 1,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 5,
"unfir": 2,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((X (F ((F (NOT FIREABLE(t1538)) AND X (NOT FIREABLE(t1538))))) U (NOT FIREABLE(t760) OR (G (FIREABLE(t2126)) AND F (NOT FIREABLE(t760))))))",
"processed_size": 142,
"rewrites": 102
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 16
},
"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": 285
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (X ((FIREABLE(t1949) OR X (G (FIREABLE(t586))))))",
"processed_size": 51,
"rewrites": 102
},
"result":
{
"edges": 246,
"markings": 246,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"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": 321
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 2,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (((NOT FIREABLE(t1960) OR FIREABLE(t564)) OR X (G ((FIREABLE(t411) OR FIREABLE(t1960))))))",
"processed_size": 94,
"rewrites": 102
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"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": 367
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (F ((FIREABLE(t1682) OR X (FIREABLE(t1682)))))",
"processed_size": 48,
"rewrites": 102
},
"result":
{
"edges": 246,
"markings": 246,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"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": 428
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 428
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"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": "A (G (FIREABLE(t996)))",
"processed_size": 22,
"rewrites": 104
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 11,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 536
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"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": "NOT FIREABLE(t1599)",
"processed_size": 19,
"rewrites": 104
},
"result":
{
"edges": 245,
"markings": 246,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 2
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 714
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "(NOT FIREABLE(t1566) AND NOT FIREABLE(t701))",
"processed_size": 44,
"rewrites": 107
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 9
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1072
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1072
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"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": "A (G (F (FIREABLE(t1588))))",
"processed_size": 27,
"rewrites": 102
},
"result":
{
"edges": 246,
"markings": 246,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 15,
"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": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 1042948,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A((X(X(**)) R *)) : A((** U (** AND X(X(X(G(**))))))) : A((** OR G(F((** AND X(X(G(**)))))))) : (A(G(F(**))) AND A(G(F(**)))) : A(F(((** OR (** U **)) AND X(G((F(**) AND (** OR **))))))) : A(X(X(F((X(*) R *))))) : A(X(X(G(((* OR F(G(*))) AND (F(G(*)) OR G((* OR F(G(*)))))))))) : A((X(F((F(*) AND X(*)))) U (** OR (G(**) AND F(**))))) : A(X((** OR X(G(**))))) : A((** OR X(G(**)))) : A(F((** OR X(**)))) : A(F((** OR **))) : A((** U G((* OR X(*))))) : A(F(((G(*) OR G(F(*))) AND F(*)))) : (A(X(X((F(*) AND *)))) AND A(G(**))) : A(F(**))"
},
"net":
{
"arcs": 6914,
"conflict_clusters": 1275,
"places": 2251,
"places_significant": 1737,
"singleton_clusters": 0,
"transitions": 2225
},
"result":
{
"interim_value": "unknown no no no unknown unknown unknown yes no yes no yes unknown unknown no no ",
"preliminary_value": "unknown no no no unknown unknown unknown yes no yes no yes unknown unknown no no "
},
"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: 4476/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2251
lola: finding significant places
lola: 2251 places, 2225 transitions, 1737 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: A (NOT((X (NOT(X (FIREABLE(t1308)))) U FIREABLE(t1303)))) : A ((FIREABLE(t615) U (FIREABLE(t298) AND NOT(F (X (NOT(X (X (FIREABLE(t615)))))))))) : A ((FIREABLE(t640) OR F (G (F ((FIREABLE(t1815) AND NOT(X (X (NOT(G (FIREABLE(t640)))))))))))) : A (G ((X (X (G (F (X (FIREABLE(t104)))))) AND F ((FIREABLE(t104) U X (FIREABLE(t1588))))))) : A (F (((FIREABLE(t1511) OR (FIREABLE(t392) U FIREABLE(t1282))) AND G (X ((NOT FIREABLE(t1511) U NOT FIREABLE(t422))))))) : A (X (F (X (NOT((X ((FIREABLE(t1979) OR FIREABLE(t2191))) U (FIREABLE(t1934) OR FIREABLE(t1387)))))))) : A (X (X (G (NOT((G (F ((FIREABLE(t2032) U FIREABLE(t1118)))) U (FIREABLE(t1500) AND G (F (FIREABLE(t2032)))))))))) : A ((X (NOT(G ((G (FIREABLE(t1538)) OR X (FIREABLE(t1538)))))) U (G (FIREABLE(t2126)) U NOT FIREABLE(t760)))) : A (X ((FIREABLE(t1949) OR X (G (FIREABLE(t586)))))) : A (((NOT FIREABLE(t1960) OR FIREABLE(t564)) OR G (X ((FIREABLE(t411) OR FIREABLE(t1960)))))) : A (F ((FIREABLE(t1682) OR X (FIREABLE(t1682))))) : A ((F (FIREABLE(t1566)) OR F (FIREABLE(t701)))) : A ((FIREABLE(t1854) U NOT(F ((FIREABLE(t1854) AND X (FIREABLE(t38))))))) : A (F (NOT(((F (FIREABLE(t570)) AND X (F (G ((FIREABLE(t1592) AND FIREABLE(t2040)))))) OR G (FIREABLE(t1592)))))) : A ((NOT(X ((G (X (FIREABLE(t56))) OR X (NOT FIREABLE(t1515))))) AND G ((FIREABLE(t996) OR G (FIREABLE(t996)))))) : A (F ((X ((FIREABLE(t488) OR NOT(G (X (F (G (NOT FIREABLE(t931)))))))) U FIREABLE(t1599))))
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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:377
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:332
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:519
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:494
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
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 (FIREABLE(t1308))) R NOT FIREABLE(t1303)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (X (FIREABLE(t1308))) R NOT FIREABLE(t1303)))
lola: processed formula length: 51
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: 24146 markings, 339872 edges, 4829 markings/sec, 0 secs
lola: 45262 markings, 679560 edges, 4223 markings/sec, 5 secs
lola: 64494 markings, 1020766 edges, 3846 markings/sec, 10 secs
lola: 85557 markings, 1363370 edges, 4213 markings/sec, 15 secs
lola: 104756 markings, 1707277 edges, 3840 markings/sec, 20 secs
lola: 122910 markings, 2051477 edges, 3631 markings/sec, 25 secs
lola: 142410 markings, 2395425 edges, 3900 markings/sec, 30 secs
lola: 161884 markings, 2739308 edges, 3895 markings/sec, 35 secs
lola: 180683 markings, 3083514 edges, 3760 markings/sec, 40 secs
lola: 198269 markings, 3428238 edges, 3517 markings/sec, 45 secs
lola: 217170 markings, 3773312 edges, 3780 markings/sec, 50 secs
lola: 234468 markings, 4117658 edges, 3460 markings/sec, 55 secs
lola: 251085 markings, 4460142 edges, 3323 markings/sec, 60 secs
lola: 268413 markings, 4804784 edges, 3466 markings/sec, 65 secs
lola: 288591 markings, 5147013 edges, 4036 markings/sec, 70 secs
lola: 307559 markings, 5490776 edges, 3794 markings/sec, 75 secs
lola: 325098 markings, 5834044 edges, 3508 markings/sec, 80 secs
lola: 343635 markings, 6178208 edges, 3707 markings/sec, 85 secs
lola: 360819 markings, 6522851 edges, 3437 markings/sec, 90 secs
lola: 378082 markings, 6867059 edges, 3453 markings/sec, 95 secs
lola: 393746 markings, 7212719 edges, 3133 markings/sec, 100 secs
lola: 412790 markings, 7554942 edges, 3809 markings/sec, 105 secs
lola: 429994 markings, 7898545 edges, 3441 markings/sec, 110 secs
lola: 446822 markings, 8243555 edges, 3366 markings/sec, 115 secs
lola: 462835 markings, 8588234 edges, 3203 markings/sec, 120 secs
lola: 479585 markings, 8931580 edges, 3350 markings/sec, 125 secs
lola: 495264 markings, 9276521 edges, 3136 markings/sec, 130 secs
lola: 510745 markings, 9623259 edges, 3096 markings/sec, 135 secs
lola: 525253 markings, 9969841 edges, 2902 markings/sec, 140 secs
lola: 546490 markings, 10313530 edges, 4247 markings/sec, 145 secs
lola: 565495 markings, 10658173 edges, 3801 markings/sec, 150 secs
lola: 583695 markings, 11003376 edges, 3640 markings/sec, 155 secs
lola: 602063 markings, 11348147 edges, 3674 markings/sec, 160 secs
lola: 619702 markings, 11693137 edges, 3528 markings/sec, 165 secs
lola: 636920 markings, 12038737 edges, 3444 markings/sec, 170 secs
lola: 652887 markings, 12384517 edges, 3193 markings/sec, 175 secs
lola: 671199 markings, 12729396 edges, 3662 markings/sec, 180 secs
lola: 688379 markings, 13074864 edges, 3436 markings/sec, 185 secs
lola: 705755 markings, 13420511 edges, 3475 markings/sec, 190 secs
lola: 721440 markings, 13767142 edges, 3137 markings/sec, 195 secs
lola: 738748 markings, 14112639 edges, 3462 markings/sec, 200 secs
lola: 754378 markings, 14459028 edges, 3126 markings/sec, 205 secs
lola: 770062 markings, 14805266 edges, 3137 markings/sec, 210 secs
lola: 784734 markings, 15152072 edges, 2934 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 256380 KB
lola: time consumption: 226 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 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t615) U (FIREABLE(t298) AND X (X (X (G (FIREABLE(t615))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t615) U (FIREABLE(t298) AND X (X (X (G (FIREABLE(t615))))))))
lola: processed formula length: 74
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 16 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: 246 markings, 246 edges
lola: ========================================
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t640) OR G (F ((FIREABLE(t1815) AND X (X (G (FIREABLE(t640)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t640) OR G (F ((FIREABLE(t1815) AND X (X (G (FIREABLE(t640)))))))))
lola: processed formula length: 80
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: 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: 246 markings, 246 edges
lola: ========================================
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((FIREABLE(t1511) OR (FIREABLE(t392) U FIREABLE(t1282))) AND X (G ((F (NOT FIREABLE(t422)) AND (NOT FIREABLE(t1511) OR NOT FIREABLE(t422))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (((FIREABLE(t1511) OR (FIREABLE(t392) U FIREABLE(t1282))) AND X (G ((F (NOT FIREABLE(t422)) AND (NOT FIREABLE(t1511) OR NOT FIREABLE(t422))))))))
lola: processed formula length: 150
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: 23607 markings, 326513 edges, 4721 markings/sec, 0 secs
lola: 44954 markings, 668930 edges, 4269 markings/sec, 5 secs
lola: 64289 markings, 1011457 edges, 3867 markings/sec, 10 secs
lola: 85171 markings, 1352490 edges, 4176 markings/sec, 15 secs
lola: 104310 markings, 1694328 edges, 3828 markings/sec, 20 secs
lola: 122461 markings, 2036124 edges, 3630 markings/sec, 25 secs
lola: 141587 markings, 2378165 edges, 3825 markings/sec, 30 secs
lola: 161152 markings, 2719909 edges, 3913 markings/sec, 35 secs
lola: 179904 markings, 3062185 edges, 3750 markings/sec, 40 secs
lola: 196984 markings, 3405200 edges, 3416 markings/sec, 45 secs
lola: 216087 markings, 3747362 edges, 3821 markings/sec, 50 secs
lola: 233282 markings, 4090271 edges, 3439 markings/sec, 55 secs
lola: 250046 markings, 4433260 edges, 3353 markings/sec, 60 secs
lola: 266752 markings, 4776705 edges, 3341 markings/sec, 65 secs
lola: 287114 markings, 5118037 edges, 4072 markings/sec, 70 secs
lola: 306212 markings, 5459706 edges, 3820 markings/sec, 75 secs
lola: 323805 markings, 5801974 edges, 3519 markings/sec, 80 secs
lola: 342215 markings, 6144038 edges, 3682 markings/sec, 85 secs
lola: 359506 markings, 6486929 edges, 3458 markings/sec, 90 secs
lola: 376548 markings, 6829752 edges, 3408 markings/sec, 95 secs
lola: 392308 markings, 7173082 edges, 3152 markings/sec, 100 secs
lola: 410818 markings, 7515260 edges, 3702 markings/sec, 105 secs
lola: 428096 markings, 7858364 edges, 3456 markings/sec, 110 secs
lola: 445082 markings, 8201549 edges, 3397 markings/sec, 115 secs
lola: 460794 markings, 8545372 edges, 3142 markings/sec, 120 secs
lola: 477757 markings, 8888004 edges, 3393 markings/sec, 125 secs
lola: 493322 markings, 9231811 edges, 3113 markings/sec, 130 secs
lola: 508794 markings, 9575955 edges, 3094 markings/sec, 135 secs
lola: 523293 markings, 9920592 edges, 2900 markings/sec, 140 secs
lola: 543719 markings, 10262277 edges, 4085 markings/sec, 145 secs
lola: 562896 markings, 10604363 edges, 3835 markings/sec, 150 secs
lola: 581102 markings, 10947014 edges, 3641 markings/sec, 155 secs
lola: 599117 markings, 11289892 edges, 3603 markings/sec, 160 secs
lola: 617045 markings, 11632708 edges, 3586 markings/sec, 165 secs
lola: 634204 markings, 11975820 edges, 3432 markings/sec, 170 secs
lola: 650319 markings, 12319616 edges, 3223 markings/sec, 175 secs
lola: 668032 markings, 12662750 edges, 3543 markings/sec, 180 secs
lola: 685593 markings, 13006002 edges, 3512 markings/sec, 185 secs
lola: 702710 markings, 13349540 edges, 3423 markings/sec, 190 secs
lola: 718619 markings, 13693830 edges, 3182 markings/sec, 195 secs
lola: 735470 markings, 14037478 edges, 3370 markings/sec, 200 secs
lola: 751370 markings, 14381610 edges, 3180 markings/sec, 205 secs
lola: 767036 markings, 14725649 edges, 3133 markings/sec, 210 secs
lola: 781752 markings, 15070259 edges, 2943 markings/sec, 215 secs
lola: 799028 markings, 15413558 edges, 3455 markings/sec, 220 secs
lola: 816559 markings, 15756193 edges, 3506 markings/sec, 225 secs
lola: 833671 markings, 16099417 edges, 3422 markings/sec, 230 secs
lola: 849550 markings, 16443115 edges, 3176 markings/sec, 235 secs
lola: 866396 markings, 16786612 edges, 3369 markings/sec, 240 secs
lola: 882288 markings, 17130631 edges, 3178 markings/sec, 245 secs
lola: 897947 markings, 17474558 edges, 3132 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 241392 KB
lola: time consumption: 483 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 4 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F ((X ((NOT FIREABLE(t1979) AND NOT FIREABLE(t2191))) R (NOT FIREABLE(t1934) AND NOT FIREABLE(t1387)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F ((X ((NOT FIREABLE(t1979) AND NOT FIREABLE(t2191))) R (NOT FIREABLE(t1934) AND NOT FIREABLE(t1387)))))))
lola: processed formula length: 115
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: 226616 markings, 247766 edges, 45323 markings/sec, 0 secs
lola: 450935 markings, 497469 edges, 44864 markings/sec, 5 secs
lola: 674983 markings, 747543 edges, 44810 markings/sec, 10 secs
lola: 896834 markings, 998130 edges, 44370 markings/sec, 15 secs
lola: 1120665 markings, 1248309 edges, 44766 markings/sec, 20 secs
lola: 1342224 markings, 1499432 edges, 44312 markings/sec, 25 secs
lola: 1562816 markings, 1750452 edges, 44118 markings/sec, 30 secs
lola: 1783328 markings, 2002076 edges, 44102 markings/sec, 35 secs
lola: 2006756 markings, 2252288 edges, 44686 markings/sec, 40 secs
lola: 2213225 markings, 2486393 edges, 41294 markings/sec, 45 secs
lola: 2434486 markings, 2738414 edges, 44252 markings/sec, 50 secs
lola: 2654464 markings, 2990454 edges, 43996 markings/sec, 55 secs
lola: 2875194 markings, 3242134 edges, 44146 markings/sec, 60 secs
lola: 3093611 markings, 3493856 edges, 43683 markings/sec, 65 secs
lola: 3311271 markings, 3746275 edges, 43532 markings/sec, 70 secs
lola: 3530994 markings, 3998527 edges, 43945 markings/sec, 75 secs
lola: 3754149 markings, 4249119 edges, 44631 markings/sec, 80 secs
lola: 3976134 markings, 4500835 edges, 44397 markings/sec, 85 secs
lola: 4196891 markings, 4753163 edges, 44151 markings/sec, 90 secs
lola: 4418093 markings, 5005708 edges, 44240 markings/sec, 95 secs
lola: 4638859 markings, 5258205 edges, 44153 markings/sec, 100 secs
lola: 4858597 markings, 5511379 edges, 43948 markings/sec, 105 secs
lola: 5076338 markings, 5764758 edges, 43548 markings/sec, 110 secs
lola: 5296301 markings, 6017365 edges, 43993 markings/sec, 115 secs
lola: 5516777 markings, 6269844 edges, 44095 markings/sec, 120 secs
lola: 5736470 markings, 6523022 edges, 43939 markings/sec, 125 secs
lola: 5954271 markings, 6776879 edges, 43560 markings/sec, 130 secs
lola: 6171752 markings, 7028794 edges, 43496 markings/sec, 135 secs
lola: 6388285 markings, 7281215 edges, 43307 markings/sec, 140 secs
lola: 6605902 markings, 7536186 edges, 43523 markings/sec, 145 secs
lola: 6821345 markings, 7791528 edges, 43089 markings/sec, 150 secs
lola: 7042852 markings, 8043097 edges, 44301 markings/sec, 155 secs
lola: 7265301 markings, 8294161 edges, 44490 markings/sec, 160 secs
lola: 7487641 markings, 8546228 edges, 44468 markings/sec, 165 secs
lola: 7707349 markings, 8798677 edges, 43942 markings/sec, 170 secs
lola: 7928983 markings, 9050683 edges, 44327 markings/sec, 175 secs
lola: 8148430 markings, 9303108 edges, 43889 markings/sec, 180 secs
lola: 8367731 markings, 9555903 edges, 43860 markings/sec, 185 secs
lola: 8584697 markings, 9809710 edges, 43393 markings/sec, 190 secs
lola: 8805925 markings, 10061282 edges, 44246 markings/sec, 195 secs
lola: 9024928 markings, 10313566 edges, 43801 markings/sec, 200 secs
lola: 9244072 markings, 10566268 edges, 43829 markings/sec, 205 secs
lola: 9460823 markings, 10820213 edges, 43350 markings/sec, 210 secs
lola: 9680168 markings, 11073023 edges, 43869 markings/sec, 215 secs
lola: 9897141 markings, 11327109 edges, 43395 markings/sec, 220 secs
lola: 10112894 markings, 11579914 edges, 43151 markings/sec, 225 secs
lola: 10328049 markings, 11835734 edges, 43031 markings/sec, 230 secs
lola: 10549674 markings, 12086916 edges, 44325 markings/sec, 235 secs
lola: 10769578 markings, 12340184 edges, 43981 markings/sec, 240 secs
lola: 10989526 markings, 12593962 edges, 43990 markings/sec, 245 secs
lola: 11206701 markings, 12847875 edges, 43435 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3204592 KB
lola: time consumption: 741 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G (((NOT FIREABLE(t1500) OR F (G (NOT FIREABLE(t2032)))) AND (F (G (NOT FIREABLE(t1118))) OR G ((NOT FIREABLE(t1500) OR F (G (NOT FIREABLE(t2032)))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G (((NOT FIREABLE(t1500) OR F (G (NOT FIREABLE(t2032)))) AND (F (G (NOT FIREABLE(t1118))) OR G ((NOT FIREABLE(t1500) OR F (G (NOT FIREABLE(t2032)))))))))))
lola: processed formula length: 164
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 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: 24214 markings, 341115 edges, 4843 markings/sec, 0 secs
lola: 45517 markings, 683273 edges, 4261 markings/sec, 5 secs
lola: 64794 markings, 1027162 edges, 3855 markings/sec, 10 secs
lola: 85867 markings, 1368988 edges, 4215 markings/sec, 15 secs
lola: 105009 markings, 1711476 edges, 3828 markings/sec, 20 secs
lola: 122979 markings, 2053135 edges, 3594 markings/sec, 25 secs
lola: 142327 markings, 2394035 edges, 3870 markings/sec, 30 secs
lola: 161766 markings, 2736863 edges, 3888 markings/sec, 35 secs
lola: 180430 markings, 3079774 edges, 3733 markings/sec, 40 secs
lola: 197906 markings, 3422897 edges, 3495 markings/sec, 45 secs
lola: 216769 markings, 3765134 edges, 3773 markings/sec, 50 secs
lola: 233957 markings, 4108475 edges, 3438 markings/sec, 55 secs
lola: 250809 markings, 4454123 edges, 3370 markings/sec, 60 secs
lola: 268116 markings, 4799737 edges, 3461 markings/sec, 65 secs
lola: 288248 markings, 5140927 edges, 4026 markings/sec, 70 secs
lola: 307282 markings, 5485441 edges, 3807 markings/sec, 75 secs
lola: 324818 markings, 5828325 edges, 3507 markings/sec, 80 secs
lola: 343237 markings, 6170038 edges, 3684 markings/sec, 85 secs
lola: 360351 markings, 6512573 edges, 3423 markings/sec, 90 secs
lola: 377443 markings, 6854931 edges, 3418 markings/sec, 95 secs
lola: 393056 markings, 7198453 edges, 3123 markings/sec, 100 secs
lola: 411971 markings, 7540212 edges, 3783 markings/sec, 105 secs
lola: 429139 markings, 7881909 edges, 3434 markings/sec, 110 secs
lola: 446098 markings, 8227596 edges, 3392 markings/sec, 115 secs
lola: 461965 markings, 8571211 edges, 3173 markings/sec, 120 secs
lola: 478862 markings, 8915632 edges, 3379 markings/sec, 125 secs
lola: 494432 markings, 9258982 edges, 3114 markings/sec, 130 secs
lola: 509804 markings, 9602539 edges, 3074 markings/sec, 135 secs
lola: 524023 markings, 9947318 edges, 2844 markings/sec, 140 secs
lola: 545135 markings, 10291128 edges, 4222 markings/sec, 145 secs
lola: 564316 markings, 10634602 edges, 3836 markings/sec, 150 secs
lola: 582551 markings, 10981026 edges, 3647 markings/sec, 155 secs
lola: 600787 markings, 11323702 edges, 3647 markings/sec, 160 secs
lola: 618472 markings, 11667743 edges, 3537 markings/sec, 165 secs
lola: 635699 markings, 12012618 edges, 3445 markings/sec, 170 secs
lola: 651742 markings, 12358691 edges, 3209 markings/sec, 175 secs
lola: 669812 markings, 12701311 edges, 3614 markings/sec, 180 secs
lola: 687174 markings, 13046114 edges, 3472 markings/sec, 185 secs
lola: 704216 markings, 13389186 edges, 3408 markings/sec, 190 secs
lola: 720066 markings, 13735160 edges, 3170 markings/sec, 195 secs
lola: 737081 markings, 14079520 edges, 3403 markings/sec, 200 secs
lola: 752819 markings, 14422878 edges, 3148 markings/sec, 205 secs
lola: 768632 markings, 14769170 edges, 3163 markings/sec, 210 secs
lola: 783255 markings, 15113988 edges, 2925 markings/sec, 215 secs
lola: 801064 markings, 15457527 edges, 3562 markings/sec, 220 secs
lola: 818295 markings, 15799792 edges, 3446 markings/sec, 225 secs
lola: 835376 markings, 16143693 edges, 3416 markings/sec, 230 secs
lola: 851171 markings, 16488653 edges, 3159 markings/sec, 235 secs
lola: 868173 markings, 16832520 edges, 3400 markings/sec, 240 secs
lola: 883985 markings, 17177750 edges, 3162 markings/sec, 245 secs
lola: 899749 markings, 17522804 edges, 3153 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 289708 KB
lola: time consumption: 998 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 6 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (F ((F (NOT FIREABLE(t1538)) AND X (NOT FIREABLE(t1538))))) U (NOT FIREABLE(t760) OR (G (FIREABLE(t2126)) AND F (NOT FIREABLE(t760))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (F ((F (NOT FIREABLE(t1538)) AND X (NOT FIREABLE(t1538))))) U (NOT FIREABLE(t760) OR (G (FIREABLE(t2126)) AND F (NOT FIREABLE(t760))))))
lola: processed formula length: 142
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 16 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 7 will run for 285 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((FIREABLE(t1949) OR X (G (FIREABLE(t586))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((FIREABLE(t1949) OR X (G (FIREABLE(t586))))))
lola: processed formula length: 51
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: 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: 246 markings, 246 edges
lola: ========================================
lola: subprocess 8 will run for 321 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(t1960) OR FIREABLE(t564)) OR X (G ((FIREABLE(t411) OR FIREABLE(t1960))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((NOT FIREABLE(t1960) OR FIREABLE(t564)) OR X (G ((FIREABLE(t411) OR FIREABLE(t1960))))))
lola: processed formula length: 94
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: 1 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 367 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t1682) OR X (FIREABLE(t1682)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((FIREABLE(t1682) OR X (FIREABLE(t1682)))))
lola: processed formula length: 48
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: 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: 246 markings, 246 edges
lola: ========================================
lola: subprocess 10 will run for 428 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t1854) U G ((NOT FIREABLE(t1854) OR X (NOT FIREABLE(t38))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t1854) U G ((NOT FIREABLE(t1854) OR X (NOT FIREABLE(t38))))))
lola: processed formula length: 74
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: 23000 markings, 320941 edges, 4600 markings/sec, 0 secs
lola: 44450 markings, 664558 edges, 4290 markings/sec, 5 secs
lola: 63917 markings, 1009226 edges, 3893 markings/sec, 10 secs
lola: 84935 markings, 1352799 edges, 4204 markings/sec, 15 secs
lola: 104219 markings, 1697271 edges, 3857 markings/sec, 20 secs
lola: 122432 markings, 2040827 edges, 3643 markings/sec, 25 secs
lola: 141556 markings, 2382161 edges, 3825 markings/sec, 30 secs
lola: 161082 markings, 2723337 edges, 3905 markings/sec, 35 secs
lola: 179753 markings, 3064362 edges, 3734 markings/sec, 40 secs
lola: 196543 markings, 3400420 edges, 3358 markings/sec, 45 secs
lola: 214542 markings, 3724073 edges, 3600 markings/sec, 50 secs
lola: 229208 markings, 4020504 edges, 2933 markings/sec, 55 secs
lola: 246369 markings, 4364523 edges, 3432 markings/sec, 60 secs
lola: 262041 markings, 4709534 edges, 3134 markings/sec, 65 secs
lola: 283133 markings, 5050344 edges, 4218 markings/sec, 70 secs
lola: 302244 markings, 5393180 edges, 3822 markings/sec, 75 secs
lola: 320332 markings, 5736803 edges, 3618 markings/sec, 80 secs
lola: 338579 markings, 6079569 edges, 3649 markings/sec, 85 secs
lola: 355196 markings, 6400509 edges, 3323 markings/sec, 90 secs
lola: 372428 markings, 6746189 edges, 3446 markings/sec, 95 secs
lola: 388612 markings, 7092590 edges, 3237 markings/sec, 100 secs
lola: 406623 markings, 7437752 edges, 3602 markings/sec, 105 secs
lola: 424043 markings, 7781609 edges, 3484 markings/sec, 110 secs
lola: 439246 markings, 8083632 edges, 3041 markings/sec, 115 secs
lola: 455292 markings, 8429875 edges, 3209 markings/sec, 120 secs
lola: 472165 markings, 8775002 edges, 3375 markings/sec, 125 secs
lola: 488189 markings, 9120915 edges, 3205 markings/sec, 130 secs
lola: 503934 markings, 9467345 edges, 3149 markings/sec, 135 secs
lola: 518837 markings, 9814519 edges, 2981 markings/sec, 140 secs
lola: 537442 markings, 10159588 edges, 3721 markings/sec, 145 secs
lola: 556666 markings, 10504434 edges, 3845 markings/sec, 150 secs
lola: 575796 markings, 10849549 edges, 3826 markings/sec, 155 secs
lola: 593537 markings, 11195145 edges, 3548 markings/sec, 160 secs
lola: 612168 markings, 11539940 edges, 3726 markings/sec, 165 secs
lola: 629447 markings, 11885583 edges, 3456 markings/sec, 170 secs
lola: 646067 markings, 12231701 edges, 3324 markings/sec, 175 secs
lola: 663118 markings, 12577363 edges, 3410 markings/sec, 180 secs
lola: 681302 markings, 12922900 edges, 3637 markings/sec, 185 secs
lola: 698588 markings, 13268959 edges, 3457 markings/sec, 190 secs
lola: 714912 markings, 13615579 edges, 3265 markings/sec, 195 secs
lola: 731620 markings, 13961894 edges, 3342 markings/sec, 200 secs
lola: 747897 markings, 14308292 edges, 3255 markings/sec, 205 secs
lola: 763651 markings, 14654748 edges, 3151 markings/sec, 210 secs
lola: 778588 markings, 15002005 edges, 2987 markings/sec, 215 secs
lola: 795168 markings, 15348198 edges, 3316 markings/sec, 220 secs
lola: 813253 markings, 15693243 edges, 3617 markings/sec, 225 secs
lola: 830474 markings, 16037285 edges, 3444 markings/sec, 230 secs
lola: 845775 markings, 16363189 edges, 3060 markings/sec, 235 secs
lola: 862416 markings, 16709317 edges, 3328 markings/sec, 240 secs
lola: 878732 markings, 17055726 edges, 3263 markings/sec, 245 secs
lola: 894514 markings, 17402602 edges, 3156 markings/sec, 250 secs
lola: 909459 markings, 17749875 edges, 2989 markings/sec, 255 secs
lola: 925209 markings, 18096341 edges, 3150 markings/sec, 260 secs
lola: 941728 markings, 18442208 edges, 3304 markings/sec, 265 secs
lola: 957498 markings, 18788415 edges, 3154 markings/sec, 270 secs
lola: 972732 markings, 19135145 edges, 3047 markings/sec, 275 secs
lola: 987463 markings, 19482389 edges, 2946 markings/sec, 280 secs
lola: 1002928 markings, 19829213 edges, 3093 markings/sec, 285 secs
lola: 1017245 markings, 20176561 edges, 2863 markings/sec, 290 secs
lola: 1031665 markings, 20524084 edges, 2884 markings/sec, 295 secs
lola: 1045298 markings, 20871753 edges, 2727 markings/sec, 300 secs
lola: 1064328 markings, 21216137 edges, 3806 markings/sec, 305 secs
lola: 1083044 markings, 21549592 edges, 3743 markings/sec, 310 secs
lola: 1101519 markings, 21886137 edges, 3695 markings/sec, 315 secs
lola: 1119356 markings, 22231226 edges, 3567 markings/sec, 320 secs
lola: 1137752 markings, 22576152 edges, 3679 markings/sec, 325 secs
lola: 1154950 markings, 22921225 edges, 3440 markings/sec, 330 secs
lola: 1171425 markings, 23266943 edges, 3295 markings/sec, 335 secs
lola: 1188797 markings, 23612352 edges, 3474 markings/sec, 340 secs
lola: 1206832 markings, 23957523 edges, 3607 markings/sec, 345 secs
lola: 1224077 markings, 24302928 edges, 3449 markings/sec, 350 secs
lola: 1240265 markings, 24649200 edges, 3238 markings/sec, 355 secs
lola: 1257031 markings, 24994986 edges, 3353 markings/sec, 360 secs
lola: 1273188 markings, 25340734 edges, 3231 markings/sec, 365 secs
lola: 1288951 markings, 25687074 edges, 3153 markings/sec, 370 secs
lola: 1303859 markings, 26033933 edges, 2982 markings/sec, 375 secs
lola: 1320630 markings, 26377969 edges, 3354 markings/sec, 380 secs
lola: 1338544 markings, 26723263 edges, 3583 markings/sec, 385 secs
lola: 1355758 markings, 27068824 edges, 3443 markings/sec, 390 secs
lola: 1371913 markings, 27415014 edges, 3231 markings/sec, 395 secs
lola: 1388693 markings, 27760845 edges, 3356 markings/sec, 400 secs
lola: 1404836 markings, 28106846 edges, 3229 markings/sec, 405 secs
lola: 1420618 markings, 28453114 edges, 3156 markings/sec, 410 secs
lola: 1435505 markings, 28799861 edges, 2977 markings/sec, 415 secs
lola: 1451423 markings, 29144410 edges, 3184 markings/sec, 420 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown unknown unknown unknown yes no yes no unknown unknown unknown unknown unknown
lola: memory consumption: 450216 KB
lola: time consumption: 1426 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 428 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (X ((F (NOT FIREABLE(t56)) AND FIREABLE(t1515))))) AND A (G (FIREABLE(t996))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 428 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t996)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (FIREABLE(t996)))
lola: processed formula length: 22
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:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: NOT FIREABLE(t996)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 12 will run for 536 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t1599)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: NOT FIREABLE(t1599)
lola: processed formula length: 19
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 / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: ========================================
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 246 markings, 245 edges
lola: ========================================
lola: subprocess 13 will run for 714 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t1566) OR FIREABLE(t701))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:767
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:793
lola: processed formula: (NOT FIREABLE(t1566) AND NOT FIREABLE(t701))
lola: processed formula length: 44
lola: 107 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1072 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((G (NOT FIREABLE(t570)) OR G (F ((NOT FIREABLE(t1592) OR NOT FIREABLE(t2040))))) AND F (NOT FIREABLE(t1592)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (((G (NOT FIREABLE(t570)) OR G (F ((NOT FIREABLE(t1592) OR NOT FIREABLE(t2040))))) AND F (NOT FIREABLE(t1592)))))
lola: processed formula length: 119
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 12 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: 16355 markings, 232475 edges, 3271 markings/sec, 0 secs
lola: 30762 markings, 475916 edges, 2881 markings/sec, 5 secs
lola: 44492 markings, 721032 edges, 2746 markings/sec, 10 secs
lola: 57654 markings, 970589 edges, 2632 markings/sec, 15 secs
lola: 70691 markings, 1223185 edges, 2607 markings/sec, 20 secs
lola: 84390 markings, 1470401 edges, 2740 markings/sec, 25 secs
lola: 97805 markings, 1720763 edges, 2683 markings/sec, 30 secs
lola: 110482 markings, 1972913 edges, 2535 markings/sec, 35 secs
lola: 122766 markings, 2227762 edges, 2457 markings/sec, 40 secs
lola: 134246 markings, 2488083 edges, 2296 markings/sec, 45 secs
lola: 148077 markings, 2731727 edges, 2766 markings/sec, 50 secs
lola: 160994 markings, 2981862 edges, 2583 markings/sec, 55 secs
lola: 173619 markings, 3234529 edges, 2525 markings/sec, 60 secs
lola: 185891 markings, 3488168 edges, 2454 markings/sec, 65 secs
lola: 197704 markings, 3747302 edges, 2363 markings/sec, 70 secs
lola: 210234 markings, 3999590 edges, 2506 markings/sec, 75 secs
lola: 222393 markings, 4254439 edges, 2432 markings/sec, 80 secs
lola: 233889 markings, 4513937 edges, 2299 markings/sec, 85 secs
lola: 245787 markings, 4770989 edges, 2380 markings/sec, 90 secs
lola: 257037 markings, 5033164 edges, 2250 markings/sec, 95 secs
lola: 269176 markings, 5292551 edges, 2428 markings/sec, 100 secs
lola: 284242 markings, 5531801 edges, 3013 markings/sec, 105 secs
lola: 298177 markings, 5776594 edges, 2787 markings/sec, 110 secs
lola: 311916 markings, 6020844 edges, 2748 markings/sec, 115 secs
lola: 324904 markings, 6270704 edges, 2598 markings/sec, 120 secs
lola: 338479 markings, 6520169 edges, 2715 markings/sec, 125 secs
lola: 352069 markings, 6767490 edges, 2718 markings/sec, 130 secs
lola: 364886 markings, 7019798 edges, 2563 markings/sec, 135 secs
lola: 377650 markings, 7270127 edges, 2553 markings/sec, 140 secs
lola: 389732 markings, 7525251 edges, 2416 markings/sec, 145 secs
lola: 401719 markings, 7781895 edges, 2397 markings/sec, 150 secs
lola: 415127 markings, 8028381 edges, 2682 markings/sec, 155 secs
lola: 428014 markings, 8279116 edges, 2577 markings/sec, 160 secs
lola: 440677 markings, 8531171 edges, 2533 markings/sec, 165 secs
lola: 452926 markings, 8785275 edges, 2450 markings/sec, 170 secs
lola: 464388 markings, 9044968 edges, 2292 markings/sec, 175 secs
lola: 477196 markings, 9295476 edges, 2562 markings/sec, 180 secs
lola: 489209 markings, 9551521 edges, 2403 markings/sec, 185 secs
lola: 500948 markings, 9809822 edges, 2348 markings/sec, 190 secs
lola: 512579 markings, 10069154 edges, 2326 markings/sec, 195 secs
lola: 523833 markings, 10330993 edges, 2251 markings/sec, 200 secs
lola: 536958 markings, 10584357 edges, 2625 markings/sec, 205 secs
lola: 551659 markings, 10825107 edges, 2940 markings/sec, 210 secs
lola: 565377 markings, 11071514 edges, 2744 markings/sec, 215 secs
lola: 579084 markings, 11316360 edges, 2741 markings/sec, 220 secs
lola: 592028 markings, 11567583 edges, 2589 markings/sec, 225 secs
lola: 605764 markings, 11816532 edges, 2747 markings/sec, 230 secs
lola: 619443 markings, 12063884 edges, 2736 markings/sec, 235 secs
lola: 631946 markings, 12317367 edges, 2501 markings/sec, 240 secs
lola: 644686 markings, 12567777 edges, 2548 markings/sec, 245 secs
lola: 656658 markings, 12823317 edges, 2394 markings/sec, 250 secs
lola: 669124 markings, 13076223 edges, 2493 markings/sec, 255 secs
lola: 682382 markings, 13323212 edges, 2652 markings/sec, 260 secs
lola: 694961 markings, 13575105 edges, 2516 markings/sec, 265 secs
lola: 707708 markings, 13825401 edges, 2549 markings/sec, 270 secs
lola: 719807 markings, 14080753 edges, 2420 markings/sec, 275 secs
lola: 731553 markings, 14339295 edges, 2349 markings/sec, 280 secs
lola: 744144 markings, 14591561 edges, 2518 markings/sec, 285 secs
lola: 756136 markings, 14847631 edges, 2398 markings/sec, 290 secs
lola: 767891 markings, 15105838 edges, 2351 markings/sec, 295 secs
lola: 779321 markings, 15366057 edges, 2286 markings/sec, 300 secs
lola: 790490 markings, 15628029 edges, 2234 markings/sec, 305 secs
lola: 804377 markings, 15876771 edges, 2777 markings/sec, 310 secs
lola: 819239 markings, 16118637 edges, 2972 markings/sec, 315 secs
lola: 832837 markings, 16365088 edges, 2720 markings/sec, 320 secs
lola: 846270 markings, 16613418 edges, 2687 markings/sec, 325 secs
lola: 859098 markings, 16865891 edges, 2566 markings/sec, 330 secs
lola: 873261 markings, 17113384 edges, 2833 markings/sec, 335 secs
lola: 886802 markings, 17363073 edges, 2708 markings/sec, 340 secs
lola: 899377 markings, 17615749 edges, 2515 markings/sec, 345 secs
lola: 911766 markings, 17869947 edges, 2478 markings/sec, 350 secs
lola: 923810 markings, 18126201 edges, 2409 markings/sec, 355 secs
lola: 936698 markings, 18378522 edges, 2578 markings/sec, 360 secs
lola: 950031 markings, 18626905 edges, 2667 markings/sec, 365 secs
lola: 962520 markings, 18882152 edges, 2498 markings/sec, 370 secs
lola: 975229 markings, 19133563 edges, 2542 markings/sec, 375 secs
lola: 987263 markings, 19390133 edges, 2407 markings/sec, 380 secs
lola: 999416 markings, 19646950 edges, 2431 markings/sec, 385 secs
lola: 1011771 markings, 19902238 edges, 2471 markings/sec, 390 secs
lola: 1023640 markings, 20159841 edges, 2374 markings/sec, 395 secs
lola: 1035471 markings, 20419099 edges, 2366 markings/sec, 400 secs
lola: 1047003 markings, 20681069 edges, 2306 markings/sec, 405 secs
lola: 1057959 markings, 20946724 edges, 2191 markings/sec, 410 secs
lola: 1072989 markings, 21188922 edges, 3006 markings/sec, 415 secs
lola: 1087602 markings, 21433242 edges, 2923 markings/sec, 420 secs
lola: 1101296 markings, 21680107 edges, 2739 markings/sec, 425 secs
lola: 1114648 markings, 21929801 edges, 2670 markings/sec, 430 secs
lola: 1127344 markings, 22185311 edges, 2539 markings/sec, 435 secs
lola: 1141569 markings, 22431452 edges, 2845 markings/sec, 440 secs
lola: 1155094 markings, 22682869 edges, 2705 markings/sec, 445 secs
lola: 1167741 markings, 22935963 edges, 2529 markings/sec, 450 secs
lola: 1180089 markings, 23191086 edges, 2470 markings/sec, 455 secs
lola: 1191840 markings, 23452801 edges, 2350 markings/sec, 460 secs
lola: 1205461 markings, 23700236 edges, 2724 markings/sec, 465 secs
lola: 1218516 markings, 23951324 edges, 2611 markings/sec, 470 secs
lola: 1231189 markings, 24204533 edges, 2535 markings/sec, 475 secs
lola: 1243537 markings, 24459555 edges, 2470 markings/sec, 480 secs
lola: 1255443 markings, 24717535 edges, 2381 markings/sec, 485 secs
lola: 1267910 markings, 24971808 edges, 2493 markings/sec, 490 secs
lola: 1280207 markings, 25227882 edges, 2459 markings/sec, 495 secs
lola: 1291670 markings, 25489513 edges, 2293 markings/sec, 500 secs
lola: 1303722 markings, 25746822 edges, 2410 markings/sec, 505 secs
lola: 1315054 markings, 26008697 edges, 2266 markings/sec, 510 secs
lola: 1326713 markings, 26268688 edges, 2332 markings/sec, 515 secs
lola: 1341642 markings, 26507227 edges, 2986 markings/sec, 520 secs
lola: 1355903 markings, 26749613 edges, 2852 markings/sec, 525 secs
lola: 1369654 markings, 26994113 edges, 2750 markings/sec, 530 secs
lola: 1382608 markings, 27243956 edges, 2591 markings/sec, 535 secs
lola: 1396111 markings, 27496308 edges, 2701 markings/sec, 540 secs
lola: 1409959 markings, 27745482 edges, 2770 markings/sec, 545 secs
lola: 1422975 markings, 27999235 edges, 2603 markings/sec, 550 secs
lola: 1435842 markings, 28252167 edges, 2573 markings/sec, 555 secs
lola: 1448042 markings, 28509166 edges, 2440 markings/sec, 560 secs
lola: 1460023 markings, 28768291 edges, 2396 markings/sec, 565 secs
lola: 1473611 markings, 29016077 edges, 2718 markings/sec, 570 secs
lola: 1486552 markings, 29268583 edges, 2588 markings/sec, 575 secs
lola: 1499289 markings, 29521938 edges, 2547 markings/sec, 580 secs
lola: 1511638 markings, 29778052 edges, 2470 markings/sec, 585 secs
lola: 1523177 markings, 30040171 edges, 2308 markings/sec, 590 secs
lola: 1536138 markings, 30292538 edges, 2592 markings/sec, 595 secs
lola: 1548211 markings, 30550558 edges, 2415 markings/sec, 600 secs
lola: 1560016 markings, 30810530 edges, 2361 markings/sec, 605 secs
lola: 1571672 markings, 31071759 edges, 2331 markings/sec, 610 secs
lola: 1583020 markings, 31335510 edges, 2270 markings/sec, 615 secs
lola: 1598039 markings, 31634480 edges, 3004 markings/sec, 620 secs
lola: 1616154 markings, 31973054 edges, 3623 markings/sec, 625 secs
lola: 1633677 markings, 32311521 edges, 3505 markings/sec, 630 secs
lola: 1649815 markings, 32650596 edges, 3228 markings/sec, 635 secs
lola: 1666214 markings, 32989441 edges, 3280 markings/sec, 640 secs
lola: 1682208 markings, 33328563 edges, 3199 markings/sec, 645 secs
lola: 1697576 markings, 33667750 edges, 3074 markings/sec, 650 secs
lola: 1712420 markings, 34007823 edges, 2969 markings/sec, 655 secs
lola: 1728585 markings, 34347322 edges, 3233 markings/sec, 660 secs
lola: 1746819 markings, 34685510 edges, 3647 markings/sec, 665 secs
lola: 1764188 markings, 35023784 edges, 3474 markings/sec, 670 secs
lola: 1780630 markings, 35362783 edges, 3288 markings/sec, 675 secs
lola: 1796871 markings, 35701775 edges, 3248 markings/sec, 680 secs
lola: 1813079 markings, 36041108 edges, 3242 markings/sec, 685 secs
lola: 1828607 markings, 36381533 edges, 3106 markings/sec, 690 secs
lola: 1843569 markings, 36721644 edges, 2992 markings/sec, 695 secs
lola: 1859110 markings, 37061352 edges, 3108 markings/sec, 700 secs
lola: 1877692 markings, 37399361 edges, 3716 markings/sec, 705 secs
lola: 1895014 markings, 37737857 edges, 3464 markings/sec, 710 secs
lola: 1911719 markings, 38076684 edges, 3341 markings/sec, 715 secs
lola: 1927770 markings, 38415838 edges, 3210 markings/sec, 720 secs
lola: 1944101 markings, 38755007 edges, 3266 markings/sec, 725 secs
lola: 1959614 markings, 39095802 edges, 3103 markings/sec, 730 secs
lola: 1974631 markings, 39436013 edges, 3003 markings/sec, 735 secs
lola: 1989566 markings, 39777323 edges, 2987 markings/sec, 740 secs
lola: 2008606 markings, 40116180 edges, 3808 markings/sec, 745 secs
lola: 2026001 markings, 40455606 edges, 3479 markings/sec, 750 secs
lola: 2042904 markings, 40795405 edges, 3381 markings/sec, 755 secs
lola: 2058866 markings, 41135971 edges, 3192 markings/sec, 760 secs
lola: 2075402 markings, 41475830 edges, 3307 markings/sec, 765 secs
lola: 2090838 markings, 41816722 edges, 3087 markings/sec, 770 secs
lola: 2106042 markings, 42157331 edges, 3041 markings/sec, 775 secs
lola: 2120188 markings, 42499257 edges, 2829 markings/sec, 780 secs
lola: 2139768 markings, 42837917 edges, 3916 markings/sec, 785 secs
lola: 2157088 markings, 43177238 edges, 3464 markings/sec, 790 secs
lola: 2174175 markings, 43516906 edges, 3417 markings/sec, 795 secs
lola: 2190010 markings, 43857826 edges, 3167 markings/sec, 800 secs
lola: 2206685 markings, 44197563 edges, 3335 markings/sec, 805 secs
lola: 2222106 markings, 44538127 edges, 3084 markings/sec, 810 secs
lola: 2237377 markings, 44878876 edges, 3054 markings/sec, 815 secs
lola: 2251568 markings, 45220400 edges, 2838 markings/sec, 820 secs
lola: 2270840 markings, 45560271 edges, 3854 markings/sec, 825 secs
lola: 2288069 markings, 45900091 edges, 3446 markings/sec, 830 secs
lola: 2305510 markings, 46240044 edges, 3488 markings/sec, 835 secs
lola: 2321155 markings, 46580883 edges, 3129 markings/sec, 840 secs
lola: 2337983 markings, 46920642 edges, 3366 markings/sec, 845 secs
lola: 2353368 markings, 47261342 edges, 3077 markings/sec, 850 secs
lola: 2368720 markings, 47602318 edges, 3070 markings/sec, 855 secs
lola: 2383182 markings, 47943786 edges, 2892 markings/sec, 860 secs
lola: 2404239 markings, 48278964 edges, 4211 markings/sec, 865 secs
lola: 2423490 markings, 48612081 edges, 3850 markings/sec, 870 secs
lola: 2442608 markings, 48948415 edges, 3824 markings/sec, 875 secs
lola: 2461698 markings, 49284328 edges, 3818 markings/sec, 880 secs
lola: 2482159 markings, 49619735 edges, 4092 markings/sec, 885 secs
lola: 2502035 markings, 49957349 edges, 3975 markings/sec, 890 secs
lola: 2519674 markings, 50295605 edges, 3528 markings/sec, 895 secs
lola: 2541039 markings, 50632085 edges, 4273 markings/sec, 900 secs
lola: 2560622 markings, 50969413 edges, 3917 markings/sec, 905 secs
lola: 2579917 markings, 51307280 edges, 3859 markings/sec, 910 secs
lola: 2599077 markings, 51645228 edges, 3832 markings/sec, 915 secs
lola: 2619569 markings, 51980423 edges, 4098 markings/sec, 920 secs
lola: 2639412 markings, 52318364 edges, 3969 markings/sec, 925 secs
lola: 2657160 markings, 52657462 edges, 3550 markings/sec, 930 secs
lola: 2678448 markings, 52994696 edges, 4258 markings/sec, 935 secs
lola: 2698102 markings, 53332356 edges, 3931 markings/sec, 940 secs
lola: 2717490 markings, 53671176 edges, 3878 markings/sec, 945 secs
lola: 2736675 markings, 54010007 edges, 3837 markings/sec, 950 secs
lola: 2757393 markings, 54349080 edges, 4144 markings/sec, 955 secs
lola: 2777332 markings, 54688207 edges, 3988 markings/sec, 960 secs
lola: 2795080 markings, 55028348 edges, 3550 markings/sec, 965 secs
lola: 2817366 markings, 55278786 edges, 4457 markings/sec, 970 secs
lola: 2836807 markings, 55528343 edges, 3888 markings/sec, 975 secs
lola: 2854501 markings, 55762160 edges, 3539 markings/sec, 980 secs
lola: 2873854 markings, 56044298 edges, 3871 markings/sec, 985 secs
lola: 2893591 markings, 56279831 edges, 3947 markings/sec, 990 secs
lola: 2912640 markings, 56556801 edges, 3810 markings/sec, 995 secs
lola: 2934898 markings, 56807728 edges, 4452 markings/sec, 1000 secs
lola: 2951609 markings, 57059194 edges, 3342 markings/sec, 1005 secs
lola: 2967704 markings, 57330378 edges, 3219 markings/sec, 1010 secs
lola: 2983723 markings, 57566417 edges, 3204 markings/sec, 1015 secs
lola: 3002745 markings, 57835760 edges, 3804 markings/sec, 1020 secs
lola: 3020069 markings, 58082656 edges, 3465 markings/sec, 1025 secs
lola: 3046925 markings, 58344259 edges, 5371 markings/sec, 1030 secs
lola: 3062630 markings, 58585297 edges, 3141 markings/sec, 1035 secs
lola: 3078067 markings, 58848256 edges, 3087 markings/sec, 1040 secs
lola: 3091813 markings, 59106931 edges, 2749 markings/sec, 1045 secs
lola: 3108557 markings, 59381821 edges, 3349 markings/sec, 1050 secs
lola: 3122001 markings, 59633069 edges, 2689 markings/sec, 1055 secs
lola: 3139151 markings, 59909295 edges, 3430 markings/sec, 1060 secs
lola: 3155066 markings, 60178090 edges, 3183 markings/sec, 1065 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown unknown unknown unknown yes no yes no yes unknown unknown no no
lola: memory consumption: 907040 KB
lola: time consumption: 2498 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 15 will run for 1072 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (F (FIREABLE(t104)))) AND A (G (F (FIREABLE(t1588)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1072 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(t1588))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(t1588))))
lola: processed formula length: 27
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: 246 markings, 246 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A ((X (X (FIREABLE(t1308))) R NOT FIREABLE(t1303)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (X (FIREABLE(t1308))) R NOT FIREABLE(t1303)))
lola: processed formula length: 51
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: 24048 markings, 338247 edges, 4810 markings/sec, 0 secs
lola: 45180 markings, 677843 edges, 4226 markings/sec, 5 secs
lola: 63310 markings, 996934 edges, 3626 markings/sec, 10 secs
lola: 84150 markings, 1340631 edges, 4168 markings/sec, 15 secs
lola: 103521 markings, 1685194 edges, 3874 markings/sec, 20 secs
lola: 121928 markings, 2030245 edges, 3681 markings/sec, 25 secs
lola: 141165 markings, 2375338 edges, 3847 markings/sec, 30 secs
lola: 160885 markings, 2719582 edges, 3944 markings/sec, 35 secs
lola: 179762 markings, 3064516 edges, 3775 markings/sec, 40 secs
lola: 196926 markings, 3408961 edges, 3433 markings/sec, 45 secs
lola: 215954 markings, 3749436 edges, 3806 markings/sec, 50 secs
lola: 233183 markings, 4093476 edges, 3446 markings/sec, 55 secs
lola: 249895 markings, 4435605 edges, 3342 markings/sec, 60 secs
lola: 266850 markings, 4780774 edges, 3391 markings/sec, 65 secs
lola: 287252 markings, 5124389 edges, 4080 markings/sec, 70 secs
lola: 306292 markings, 5465930 edges, 3808 markings/sec, 75 secs
lola: 323797 markings, 5807911 edges, 3501 markings/sec, 80 secs
lola: 342236 markings, 6150095 edges, 3688 markings/sec, 85 secs
lola: 359525 markings, 6493291 edges, 3458 markings/sec, 90 secs
lola: 376559 markings, 6836132 edges, 3407 markings/sec, 95 secs
lola: 392367 markings, 7181041 edges, 3162 markings/sec, 100 secs
lola: 410950 markings, 7521827 edges, 3717 markings/sec, 105 secs
lola: 428089 markings, 7862966 edges, 3428 markings/sec, 110 secs
lola: 445032 markings, 8205454 edges, 3389 markings/sec, 115 secs
lola: 460696 markings, 8548029 edges, 3133 markings/sec, 120 secs
lola: 477777 markings, 8893090 edges, 3416 markings/sec, 125 secs
lola: 493277 markings, 9235972 edges, 3100 markings/sec, 130 secs
lola: 508776 markings, 9580707 edges, 3100 markings/sec, 135 secs
lola: 523224 markings, 9925516 edges, 2890 markings/sec, 140 secs
lola: 544008 markings, 10271362 edges, 4157 markings/sec, 145 secs
lola: 563144 markings, 10613339 edges, 3827 markings/sec, 150 secs
lola: 581265 markings, 10955498 edges, 3624 markings/sec, 155 secs
lola: 599321 markings, 11297645 edges, 3611 markings/sec, 160 secs
lola: 617144 markings, 11639506 edges, 3565 markings/sec, 165 secs
lola: 634253 markings, 11982165 edges, 3422 markings/sec, 170 secs
lola: 650310 markings, 12325221 edges, 3211 markings/sec, 175 secs
lola: 668043 markings, 12667523 edges, 3547 markings/sec, 180 secs
lola: 685514 markings, 13009509 edges, 3494 markings/sec, 185 secs
lola: 702560 markings, 13351893 edges, 3409 markings/sec, 190 secs
lola: 718464 markings, 13696208 edges, 3181 markings/sec, 195 secs
lola: 735330 markings, 14040070 edges, 3373 markings/sec, 200 secs
lola: 751375 markings, 14387801 edges, 3209 markings/sec, 205 secs
lola: 767193 markings, 14735273 edges, 3164 markings/sec, 210 secs
lola: 782003 markings, 15082849 edges, 2962 markings/sec, 215 secs
lola: 799635 markings, 15429213 edges, 3526 markings/sec, 220 secs
lola: 817206 markings, 15775693 edges, 3514 markings/sec, 225 secs
lola: 834488 markings, 16123004 edges, 3456 markings/sec, 230 secs
lola: 850459 markings, 16470907 edges, 3194 markings/sec, 235 secs
lola: 867526 markings, 16817570 edges, 3413 markings/sec, 240 secs
lola: 883477 markings, 17165050 edges, 3190 markings/sec, 245 secs
lola: 899337 markings, 17513387 edges, 3172 markings/sec, 250 secs
lola: 914112 markings, 17861393 edges, 2955 markings/sec, 255 secs
lola: 930737 markings, 18208328 edges, 3325 markings/sec, 260 secs
lola: 946826 markings, 18555511 edges, 3218 markings/sec, 265 secs
lola: 962601 markings, 18902366 edges, 3155 markings/sec, 270 secs
lola: 977539 markings, 19250474 edges, 2988 markings/sec, 275 secs
lola: 992838 markings, 19598488 edges, 3060 markings/sec, 280 secs
lola: 1007806 markings, 19946582 edges, 2994 markings/sec, 285 secs
lola: 1022424 markings, 20295070 edges, 2924 markings/sec, 290 secs
lola: 1036514 markings, 20644024 edges, 2818 markings/sec, 295 secs
lola: 1050490 markings, 20992554 edges, 2795 markings/sec, 300 secs
lola: 1071557 markings, 21337676 edges, 4213 markings/sec, 305 secs
lola: 1090720 markings, 21683012 edges, 3833 markings/sec, 310 secs
lola: 1108754 markings, 22028752 edges, 3607 markings/sec, 315 secs
lola: 1127243 markings, 22374743 edges, 3698 markings/sec, 320 secs
lola: 1144830 markings, 22721248 edges, 3517 markings/sec, 325 secs
lola: 1162073 markings, 23067706 edges, 3449 markings/sec, 330 secs
lola: 1178030 markings, 23415214 edges, 3191 markings/sec, 335 secs
lola: 1196543 markings, 23760912 edges, 3703 markings/sec, 340 secs
lola: 1214057 markings, 24107407 edges, 3503 markings/sec, 345 secs
lola: 1231251 markings, 24454247 edges, 3439 markings/sec, 350 secs
lola: 1247136 markings, 24801115 edges, 3177 markings/sec, 355 secs
lola: 1264303 markings, 25147927 edges, 3433 markings/sec, 360 secs
lola: 1280025 markings, 25495243 edges, 3144 markings/sec, 365 secs
lola: 1295632 markings, 25842619 edges, 3121 markings/sec, 370 secs
lola: 1310117 markings, 26190871 edges, 2897 markings/sec, 375 secs
lola: 1328973 markings, 26536304 edges, 3771 markings/sec, 380 secs
lola: 1346438 markings, 26883445 edges, 3493 markings/sec, 385 secs
lola: 1363496 markings, 27230744 edges, 3412 markings/sec, 390 secs
lola: 1379553 markings, 27578479 edges, 3211 markings/sec, 395 secs
lola: 1396557 markings, 27925288 edges, 3401 markings/sec, 400 secs
lola: 1412312 markings, 28272519 edges, 3151 markings/sec, 405 secs
lola: 1427843 markings, 28619934 edges, 3106 markings/sec, 410 secs
lola: 1442135 markings, 28968545 edges, 2858 markings/sec, 415 secs
lola: 1459582 markings, 29315831 edges, 3489 markings/sec, 420 secs
lola: 1475279 markings, 29663473 edges, 3139 markings/sec, 425 secs
lola: 1491006 markings, 30010919 edges, 3145 markings/sec, 430 secs
lola: 1505719 markings, 30358581 edges, 2943 markings/sec, 435 secs
lola: 1521398 markings, 30705739 edges, 3136 markings/sec, 440 secs
lola: 1536145 markings, 31053621 edges, 2949 markings/sec, 445 secs
lola: 1550728 markings, 31401565 edges, 2917 markings/sec, 450 secs
lola: 1564542 markings, 31749956 edges, 2763 markings/sec, 455 secs
lola: 1580138 markings, 32097972 edges, 3119 markings/sec, 460 secs
lola: 1598377 markings, 32444446 edges, 3648 markings/sec, 465 secs
lola: 1615757 markings, 32791383 edges, 3476 markings/sec, 470 secs
lola: 1632148 markings, 33139021 edges, 3278 markings/sec, 475 secs
lola: 1648838 markings, 33486299 edges, 3338 markings/sec, 480 secs
lola: 1665204 markings, 33833952 edges, 3273 markings/sec, 485 secs
lola: 1681024 markings, 34181527 edges, 3164 markings/sec, 490 secs
lola: 1696010 markings, 34530155 edges, 2997 markings/sec, 495 secs
lola: 1711819 markings, 34877508 edges, 3162 markings/sec, 500 secs
lola: 1728384 markings, 35224782 edges, 3313 markings/sec, 505 secs
lola: 1744223 markings, 35572427 edges, 3168 markings/sec, 510 secs
lola: 1759499 markings, 35920851 edges, 3055 markings/sec, 515 secs
lola: 1774401 markings, 36269420 edges, 2980 markings/sec, 520 secs
lola: 1789822 markings, 36617385 edges, 3084 markings/sec, 525 secs
lola: 1804219 markings, 36965606 edges, 2879 markings/sec, 530 secs
lola: 1818568 markings, 37314450 edges, 2870 markings/sec, 535 secs
lola: 1832278 markings, 37663723 edges, 2742 markings/sec, 540 secs
lola: 1848748 markings, 38010863 edges, 3294 markings/sec, 545 secs
lola: 1864793 markings, 38357828 edges, 3209 markings/sec, 550 secs
lola: 1880583 markings, 38705008 edges, 3158 markings/sec, 555 secs
lola: 1895469 markings, 39052734 edges, 2977 markings/sec, 560 secs
lola: 1910778 markings, 39400103 edges, 3062 markings/sec, 565 secs
lola: 1925750 markings, 39747793 edges, 2994 markings/sec, 570 secs
lola: 1940297 markings, 40095674 edges, 2909 markings/sec, 575 secs
lola: 1954394 markings, 40444249 edges, 2819 markings/sec, 580 secs
lola: 1967940 markings, 40793503 edges, 2709 markings/sec, 585 secs
lola: 1983574 markings, 41141258 edges, 3127 markings/sec, 590 secs
lola: 1998080 markings, 41489257 edges, 2901 markings/sec, 595 secs
lola: 2012756 markings, 41837502 edges, 2935 markings/sec, 600 secs
lola: 2026480 markings, 42186273 edges, 2745 markings/sec, 605 secs
lola: 2040521 markings, 42534981 edges, 2808 markings/sec, 610 secs
lola: 2054547 markings, 42883266 edges, 2805 markings/sec, 615 secs
lola: 2067882 markings, 43232017 edges, 2667 markings/sec, 620 secs
lola: 2080984 markings, 43581319 edges, 2620 markings/sec, 625 secs
lola: 2093764 markings, 43930424 edges, 2556 markings/sec, 630 secs
lola: 2112479 markings, 44276772 edges, 3743 markings/sec, 635 secs
lola: 2131894 markings, 44622655 edges, 3883 markings/sec, 640 secs
lola: 2150838 markings, 44969292 edges, 3789 markings/sec, 645 secs
lola: 2168833 markings, 45315729 edges, 3599 markings/sec, 650 secs
lola: 2187101 markings, 45661315 edges, 3654 markings/sec, 655 secs
lola: 2204420 markings, 46007450 edges, 3464 markings/sec, 660 secs
lola: 2220894 markings, 46354347 edges, 3295 markings/sec, 665 secs
lola: 2238502 markings, 46700889 edges, 3522 markings/sec, 670 secs
lola: 2256429 markings, 47047294 edges, 3585 markings/sec, 675 secs
lola: 2273687 markings, 47393969 edges, 3452 markings/sec, 680 secs
lola: 2289816 markings, 47741072 edges, 3226 markings/sec, 685 secs
lola: 2306746 markings, 48087805 edges, 3386 markings/sec, 690 secs
lola: 2322833 markings, 48434607 edges, 3217 markings/sec, 695 secs
lola: 2338654 markings, 48781742 edges, 3164 markings/sec, 700 secs
lola: 2353581 markings, 49129881 edges, 2985 markings/sec, 705 secs
lola: 2370847 markings, 49476682 edges, 3453 markings/sec, 710 secs
lola: 2388584 markings, 49822882 edges, 3547 markings/sec, 715 secs
lola: 2405871 markings, 50169236 edges, 3457 markings/sec, 720 secs
lola: 2421921 markings, 50516472 edges, 3210 markings/sec, 725 secs
lola: 2438900 markings, 50863085 edges, 3396 markings/sec, 730 secs
lola: 2454955 markings, 51210604 edges, 3211 markings/sec, 735 secs
lola: 2470766 markings, 51557909 edges, 3162 markings/sec, 740 secs
lola: 2485619 markings, 51905969 edges, 2971 markings/sec, 745 secs
lola: 2501986 markings, 52253198 edges, 3273 markings/sec, 750 secs
lola: 2518209 markings, 52600113 edges, 3245 markings/sec, 755 secs
lola: 2534019 markings, 52947414 edges, 3162 markings/sec, 760 secs
lola: 2548965 markings, 53295359 edges, 2989 markings/sec, 765 secs
lola: 2564065 markings, 53642898 edges, 3020 markings/sec, 770 secs
lola: 2579337 markings, 53990853 edges, 3054 markings/sec, 775 secs
lola: 2593828 markings, 54339163 edges, 2898 markings/sec, 780 secs
lola: 2608016 markings, 54687327 edges, 2838 markings/sec, 785 secs
lola: 2621203 markings, 55035919 edges, 2637 markings/sec, 790 secs
lola: 2640217 markings, 55381860 edges, 3803 markings/sec, 795 secs
lola: 2657667 markings, 55728972 edges, 3490 markings/sec, 800 secs
lola: 2674636 markings, 56075880 edges, 3394 markings/sec, 805 secs
lola: 2690750 markings, 56423248 edges, 3223 markings/sec, 810 secs
lola: 2707648 markings, 56769802 edges, 3380 markings/sec, 815 secs
lola: 2723460 markings, 57117170 edges, 3162 markings/sec, 820 secs
lola: 2739002 markings, 57465247 edges, 3108 markings/sec, 825 secs
lola: 2753471 markings, 57814006 edges, 2894 markings/sec, 830 secs
lola: 2770789 markings, 58161249 edges, 3464 markings/sec, 835 secs
lola: 2786527 markings, 58509372 edges, 3148 markings/sec, 840 secs
lola: 2802200 markings, 58857046 edges, 3135 markings/sec, 845 secs
lola: 2816869 markings, 59205529 edges, 2934 markings/sec, 850 secs
lola: 2832575 markings, 59552962 edges, 3141 markings/sec, 855 secs
lola: 2847342 markings, 59900747 edges, 2953 markings/sec, 860 secs
lola: 2861936 markings, 60248939 edges, 2919 markings/sec, 865 secs
lola: 2875687 markings, 60597800 edges, 2750 markings/sec, 870 secs
lola: 2890771 markings, 60946010 edges, 3017 markings/sec, 875 secs
lola: 2907385 markings, 61293138 edges, 3323 markings/sec, 880 secs
lola: 2923224 markings, 61641126 edges, 3168 markings/sec, 885 secs
lola: 2938527 markings, 61988822 edges, 3061 markings/sec, 890 secs
lola: 2953269 markings, 62336981 edges, 2948 markings/sec, 895 secs
lola: 2968767 markings, 62684404 edges, 3100 markings/sec, 900 secs
lola: 2983092 markings, 63032386 edges, 2865 markings/sec, 905 secs
lola: 2997599 markings, 63380709 edges, 2901 markings/sec, 910 secs
lola: 3011266 markings, 63729437 edges, 2733 markings/sec, 915 secs
lola: 3026488 markings, 64077359 edges, 3044 markings/sec, 920 secs
lola: 3041409 markings, 64425546 edges, 2984 markings/sec, 925 secs
lola: 3055819 markings, 64773624 edges, 2882 markings/sec, 930 secs
lola: 3069953 markings, 65122244 edges, 2827 markings/sec, 935 secs
lola: 3083523 markings, 65471285 edges, 2714 markings/sec, 940 secs
lola: 3097776 markings, 65819544 edges, 2851 markings/sec, 945 secs
lola: 3111293 markings, 66168821 edges, 2703 markings/sec, 950 secs
lola: 3124872 markings, 66518117 edges, 2716 markings/sec, 955 secs
lola: 3137659 markings, 66868084 edges, 2557 markings/sec, 960 secs
lola: 3152479 markings, 67215562 edges, 2964 markings/sec, 965 secs
lola: 3170667 markings, 67561654 edges, 3638 markings/sec, 970 secs
lola: 3188093 markings, 67908329 edges, 3485 markings/sec, 975 secs
lola: 3204502 markings, 68255262 edges, 3282 markings/sec, 980 secs
lola: 3221138 markings, 68601779 edges, 3327 markings/sec, 985 secs
lola: 3237510 markings, 68948519 edges, 3274 markings/sec, 990 secs
lola: 3253258 markings, 69295543 edges, 3150 markings/sec, 995 secs
lola: 3268355 markings, 69643692 edges, 3019 markings/sec, 1000 secs
lola: 3284030 markings, 69990874 edges, 3135 markings/sec, 1005 secs
lola: 3300651 markings, 70338148 edges, 3324 markings/sec, 1010 secs
lola: 3316501 markings, 70686348 edges, 3170 markings/sec, 1015 secs
lola: 3331827 markings, 71034897 edges, 3065 markings/sec, 1020 secs
lola: 3346593 markings, 71383564 edges, 2953 markings/sec, 1025 secs
lola: 3362094 markings, 71730856 edges, 3100 markings/sec, 1030 secs
lola: 3376440 markings, 72079057 edges, 2869 markings/sec, 1035 secs
lola: 3390935 markings, 72427907 edges, 2899 markings/sec, 1040 secs
lola: 3404614 markings, 72776793 edges, 2736 markings/sec, 1045 secs
lola: 3420926 markings, 73123964 edges, 3262 markings/sec, 1050 secs
lola: 3437023 markings, 73471067 edges, 3219 markings/sec, 1055 secs
lola: 3452843 markings, 73818381 edges, 3164 markings/sec, 1060 secs
lola: 3467767 markings, 74166374 edges, 2985 markings/sec, 1065 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no no no unknown unknown unknown yes no yes no yes unknown unknown no no
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: unknown no no no unknown unknown unknown yes no yes no yes unknown unknown no no lola:
preliminary result: unknown no no no unknown unknown unknown yes no yes no yes unknown unknown no no
lola: memory consumption: 1042948 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no no unknown unknown unknown yes no yes no yes unknown unknown no no
rslt: finished
BK_STOP 1589328449101
--------------------
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="AutoFlight-PT-96a"
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 AutoFlight-PT-96a, 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 r015-smll-158897552800130"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-96a.tgz
mv AutoFlight-PT-96a 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 ;