About the Execution of ITS-LoLa for AutoFlight-PT-03b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15782.940 | 3600000.00 | 3611912.00 | 20387.80 | FF??FTF?FFF?FFFF | 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.r166-smll-158987787700410.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 itslola
Input is AutoFlight-PT-03b, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-158987787700410
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 240K
-rw-r--r-- 1 mcc users 3.0K Mar 25 23:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 23:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 18:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 18:25 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.1K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 25 14:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 25 14:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 10:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 10:42 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 70K 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-03b-00
FORMULA_NAME AutoFlight-PT-03b-01
FORMULA_NAME AutoFlight-PT-03b-02
FORMULA_NAME AutoFlight-PT-03b-03
FORMULA_NAME AutoFlight-PT-03b-04
FORMULA_NAME AutoFlight-PT-03b-05
FORMULA_NAME AutoFlight-PT-03b-06
FORMULA_NAME AutoFlight-PT-03b-07
FORMULA_NAME AutoFlight-PT-03b-08
FORMULA_NAME AutoFlight-PT-03b-09
FORMULA_NAME AutoFlight-PT-03b-10
FORMULA_NAME AutoFlight-PT-03b-11
FORMULA_NAME AutoFlight-PT-03b-12
FORMULA_NAME AutoFlight-PT-03b-13
FORMULA_NAME AutoFlight-PT-03b-14
FORMULA_NAME AutoFlight-PT-03b-15
=== Now, execution of the tool begins
BK_START 1591460957127
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-06 16:29:20] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-06 16:29:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-06 16:29:20] [INFO ] Load time of PNML (sax parser for PT used): 155 ms
[2020-06-06 16:29:20] [INFO ] Transformed 298 places.
[2020-06-06 16:29:20] [INFO ] Transformed 296 transitions.
[2020-06-06 16:29:20] [INFO ] Found NUPN structural information;
[2020-06-06 16:29:20] [INFO ] Parsed PT model containing 298 places and 296 transitions in 245 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 48 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 630 resets, run finished after 511 ms. (steps per millisecond=195 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 296 rows 298 cols
[2020-06-06 16:29:21] [INFO ] Computed 22 place invariants in 25 ms
[2020-06-06 16:29:21] [INFO ] [Real]Absence check using 21 positive place invariants in 60 ms returned sat
[2020-06-06 16:29:21] [INFO ] [Real]Absence check using 21 positive and 1 generalized place invariants in 2 ms returned sat
[2020-06-06 16:29:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 16:29:21] [INFO ] [Real]Absence check using state equation in 338 ms returned sat
[2020-06-06 16:29:22] [INFO ] Deduced a trap composed of 31 places in 222 ms
[2020-06-06 16:29:22] [INFO ] Deduced a trap composed of 32 places in 162 ms
[2020-06-06 16:29:22] [INFO ] Deduced a trap composed of 33 places in 146 ms
[2020-06-06 16:29:22] [INFO ] Deduced a trap composed of 39 places in 140 ms
[2020-06-06 16:29:22] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 809 ms
[2020-06-06 16:29:22] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 16:29:22] [INFO ] [Nat]Absence check using 21 positive place invariants in 155 ms returned sat
[2020-06-06 16:29:22] [INFO ] [Nat]Absence check using 21 positive and 1 generalized place invariants in 3 ms returned sat
[2020-06-06 16:29:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 16:29:23] [INFO ] [Nat]Absence check using state equation in 376 ms returned sat
[2020-06-06 16:29:23] [INFO ] Deduced a trap composed of 31 places in 165 ms
[2020-06-06 16:29:23] [INFO ] Deduced a trap composed of 32 places in 160 ms
[2020-06-06 16:29:23] [INFO ] Deduced a trap composed of 33 places in 195 ms
[2020-06-06 16:29:24] [INFO ] Deduced a trap composed of 60 places in 160 ms
[2020-06-06 16:29:24] [INFO ] Deduced a trap composed of 39 places in 144 ms
[2020-06-06 16:29:24] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 984 ms
[2020-06-06 16:29:24] [INFO ] Computed and/alt/rep : 295/398/295 causal constraints in 25 ms.
[2020-06-06 16:29:26] [INFO ] Added : 295 causal constraints over 60 iterations in 1862 ms. Result :sat
[2020-06-06 16:29:26] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2020-06-06 16:29:26] [INFO ] Flatten gal took : 131 ms
FORMULA AutoFlight-PT-03b-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-06 16:29:26] [INFO ] Applying decomposition
[2020-06-06 16:29:26] [INFO ] Flatten gal took : 43 ms
[2020-06-06 16:29:26] [INFO ] Decomposing Gal with order
[2020-06-06 16:29:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-06-06 16:29:26] [INFO ] Removed a total of 8 redundant transitions.
[2020-06-06 16:29:26] [INFO ] Flatten gal took : 96 ms
[2020-06-06 16:29:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 26 labels/synchronizations in 27 ms.
[2020-06-06 16:29:27] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 7 ms.
[2020-06-06 16:29:27] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 6 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ AutoFlight-PT-03b @ 3570 seconds
FORMULA AutoFlight-PT-03b-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-03b-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-03b-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-03b-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-03b-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-03b-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-03b-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-03b-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-03b-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-03b-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-03b-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-03b-03 CANNOT_COMPUTE 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-03b
{
"exit":
{
"memory": 377928,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"files":
{
"JSON": "LTLFireability.json"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 1,
"X": 0,
"aconj": 3,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "F (((((1 <= p191)) U ((1 <= p14))) OR ((1 <= p107))))",
"processed_size": 53,
"rewrites": 92
},
"result":
{
"preliminary_value": "no no unknown unknown no yes no unknown no no no unknown no no no "
},
"task":
{
"buchi":
{
"states": 1
},
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 594/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 298
lola: finding significant places
lola: 298 places, 296 transitions, 276 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: LP says that atomic proposition is always true: (p26 <= 1)
lola: LP says that atomic proposition is always true: (p221 <= 1)
lola: LP says that atomic proposition is always true: (p212 <= 1)
lola: LP says that atomic proposition is always true: (p31 <= 1)
lola: LP says that atomic proposition is always true: (p242 <= 1)
lola: LP says that atomic proposition is always true: (p256 <= 1)
lola: LP says that atomic proposition is always true: (p64 <= 1)
lola: LP says that atomic proposition is always true: (p264 <= 1)
lola: LP says that atomic proposition is always true: (p256 <= 1)
lola: LP says that atomic proposition is always true: (p24 <= 1)
lola: LP says that atomic proposition is always true: (p81 <= 1)
lola: LP says that atomic proposition is always true: (p234 <= 1)
lola: LP says that atomic proposition is always true: (p163 <= 1)
lola: LP says that atomic proposition is always true: (p69 <= 1)
lola: LP says that atomic proposition is always true: (p110 <= 1)
lola: LP says that atomic proposition is always true: (p238 <= 1)
lola: LP says that atomic proposition is always true: (p82 <= 1)
lola: LP says that atomic proposition is always true: (p110 <= 1)
lola: LP says that atomic proposition is always true: (p238 <= 1)
lola: LP says that atomic proposition is always true: (p72 <= 1)
lola: LP says that atomic proposition is always true: (p61 <= 1)
lola: LP says that atomic proposition is always true: (p63 <= 1)
lola: LP says that atomic proposition is always true: (p212 <= 1)
lola: LP says that atomic proposition is always true: (p99 <= 1)
lola: LP says that atomic proposition is always true: (p209 <= 1)
lola: LP says that atomic proposition is always true: (p288 <= 1)
lola: LP says that atomic proposition is always true: (p181 <= 1)
lola: LP says that atomic proposition is always true: (p69 <= 1)
lola: LP says that atomic proposition is always true: (p288 <= 1)
lola: LP says that atomic proposition is always true: (p99 <= 1)
lola: LP says that atomic proposition is always true: (p209 <= 1)
lola: LP says that atomic proposition is always true: (p27 <= 1)
lola: LP says that atomic proposition is always true: (p61 <= 1)
lola: LP says that atomic proposition is always true: (p161 <= 1)
lola: LP says that atomic proposition is always true: (p188 <= 1)
lola: LP says that atomic proposition is always true: (p129 <= 1)
lola: LP says that atomic proposition is always true: (p51 <= 1)
lola: LP says that atomic proposition is always true: (p194 <= 1)
lola: LP says that atomic proposition is always true: (p259 <= 1)
lola: LP says that atomic proposition is always true: (p259 <= 1)
lola: LP says that atomic proposition is always true: (p30 <= 1)
lola: LP says that atomic proposition is always true: (p186 <= 1)
lola: LP says that atomic proposition is always true: (p191 <= 1)
lola: LP says that atomic proposition is always true: (p14 <= 1)
lola: LP says that atomic proposition is always true: (p107 <= 1)
lola: LP says that atomic proposition is always true: (p70 <= 1)
lola: LP says that atomic proposition is always true: (p70 <= 1)
lola: LP says that atomic proposition is always true: (p75 <= 1)
lola: LP says that atomic proposition is always true: (p24 <= 1)
lola: LP says that atomic proposition is always true: (p36 <= 1)
lola: LP says that atomic proposition is always true: (p165 <= 1)
lola: LP says that atomic proposition is always true: (p36 <= 1)
lola: LP says that atomic proposition is always true: (p52 <= 1)
lola: LP says that atomic proposition is always true: (p131 <= 1)
lola: LP says that atomic proposition is always true: (p129 <= 1)
lola: LP says that atomic proposition is always true: (p228 <= 1)
lola: LP says that atomic proposition is always true: (p93 <= 1)
lola: LP says that atomic proposition is always true: (p93 <= 1)
lola: X (G (NOT((((1 <= p26)) U X (((p221 <= 0))))))) : ((NOT(F (((1 <= p212)))) OR ((p31 <= 0))) U ((1 <= p242))) : F (G (X (X (F (G ((NOT((((1 <= p256)) U (((1 <= p64) AND (1 <= p264)) OR ((1 <= p256))))) OR NOT(G (((1 <= p24))))))))))) : X (G ((X (G (X (NOT(X (F (G (((p81 <= 0) OR (p234 <= 0))))))))) U F (((1 <= p163)))))) : G (F ((F (((1 <= p69))) U X ((G (((1 <= p110) AND (1 <= p238))) U ((G (((p82 <= 0))) AND ((1 <= p110))) AND ((1 <= p238)))))))) : (NOT(G ((((1 <= p72)) U X (((1 <= p61)))))) OR ((1 <= p63))) : F (G (F (NOT(F (((1 <= p212))))))) : (NOT(F ((((1 <= p181) AND (((1 <= p99) AND (1 <= p209)) OR ((1 <= p288)))) OR ((1 <= p69))))) AND ((NOT(G (((p288 <= 0)))) OR ((p99 <= 0))) OR ((p209 <= 0)))) : (G ((((p27 <= 0)) AND ((p61 <= 0)))) OR ((1 <= p161))) : NOT((F (((1 <= p188))) U F ((((1 <= p129)) OR ((1 <= p51) AND (1 <= p194)))))) : F ((X (NOT(G ((G (F (G (((1 <= p259))))) OR F (((p259 <= 0))))))) OR ((1 <= p30)))) : (X (((1 <= p186))) U F (((((1 <= p191)) U ((1 <= p14))) OR ((1 <= p107))))) : (F (((G (X (((1 <= p70)))) AND ((1 <= p70))) AND ((1 <= p75)))) OR X (G (X (((1 <= p24)))))) : ((NOT((X (F (((1 <= p36)))) U ((1 <= p165)))) AND NOT((((1 <= p36)) U ((1 <= p52))))) AND F (((1 <= p131)))) : (F (((1 <= p129) AND (1 <= p228))) AND NOT(X (X ((G (NOT(X (F (((1 <= p93)))))) AND NOT(X (((1 <= p93)))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:338
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:380
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:377
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:434
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:437
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:522
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:347
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:519
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:525
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:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((((p26 <= 0)) R X (((1 <= p221))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((((p26 <= 0)) R X (((1 <= p221))))))
lola: processed formula length: 42
lola: 92 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: 158 markings, 158 edges
lola: ========================================
lola: subprocess 1 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((F (((1 <= p163))) OR (G (F (((1 <= p81) AND (1 <= p234)))) AND F (((1 <= p163)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((F (((1 <= p163))) OR (G (F (((1 <= p81) AND (1 <= p234)))) AND F (((1 <= p163)))))))
lola: processed formula length: 91
lola: 92 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: 438052 markings, 1537174 edges, 87610 markings/sec, 0 secs
lola: 857576 markings, 3062470 edges, 83905 markings/sec, 5 secs
lola: 1266348 markings, 4625413 edges, 81754 markings/sec, 10 secs
lola: 1636304 markings, 6158514 edges, 73991 markings/sec, 15 secs
lola: 2005055 markings, 7682136 edges, 73750 markings/sec, 20 secs
lola: 2391287 markings, 9226673 edges, 77246 markings/sec, 25 secs
lola: 2754583 markings, 10731745 edges, 72659 markings/sec, 30 secs
lola: 3135205 markings, 12248414 edges, 76124 markings/sec, 35 secs
lola: 3498971 markings, 13755256 edges, 72753 markings/sec, 40 secs
lola: 3855391 markings, 15231716 edges, 71284 markings/sec, 45 secs
lola: 4240589 markings, 16767100 edges, 77040 markings/sec, 50 secs
lola: 4605836 markings, 18281179 edges, 73049 markings/sec, 55 secs
lola: 4970030 markings, 19789817 edges, 72839 markings/sec, 60 secs
lola: 5363262 markings, 21324044 edges, 78646 markings/sec, 65 secs
lola: 5739130 markings, 22839729 edges, 75174 markings/sec, 70 secs
lola: 6290029 markings, 24371219 edges, 110180 markings/sec, 75 secs
lola: 6837851 markings, 25882404 edges, 109564 markings/sec, 80 secs
lola: 7373726 markings, 27391302 edges, 107175 markings/sec, 85 secs
lola: 7852941 markings, 28920184 edges, 95843 markings/sec, 90 secs
lola: 8356859 markings, 30435372 edges, 100784 markings/sec, 95 secs
lola: 8841342 markings, 31933129 edges, 96897 markings/sec, 100 secs
lola: 9322079 markings, 33428652 edges, 96147 markings/sec, 105 secs
lola: 9726252 markings, 34947178 edges, 80835 markings/sec, 110 secs
lola: 10221204 markings, 36464147 edges, 98990 markings/sec, 115 secs
lola: 10703022 markings, 37953520 edges, 96364 markings/sec, 120 secs
lola: 11180318 markings, 39428624 edges, 95459 markings/sec, 125 secs
lola: 11600181 markings, 40934052 edges, 83973 markings/sec, 130 secs
lola: 12062714 markings, 42420566 edges, 92507 markings/sec, 135 secs
lola: 12540155 markings, 43896807 edges, 95488 markings/sec, 140 secs
lola: 13009870 markings, 45347880 edges, 93943 markings/sec, 145 secs
lola: 13441154 markings, 46835439 edges, 86257 markings/sec, 150 secs
lola: 13872787 markings, 48299192 edges, 86327 markings/sec, 155 secs
lola: 14356874 markings, 49776090 edges, 96817 markings/sec, 160 secs
lola: 14825938 markings, 51225098 edges, 93813 markings/sec, 165 secs
lola: 15288549 markings, 52676301 edges, 92522 markings/sec, 170 secs
lola: 15677929 markings, 54137293 edges, 77876 markings/sec, 175 secs
lola: 16157905 markings, 55605860 edges, 95995 markings/sec, 180 secs
lola: 16622435 markings, 57041185 edges, 92906 markings/sec, 185 secs
lola: 17076107 markings, 58449020 edges, 90734 markings/sec, 190 secs
lola: 17498991 markings, 59928868 edges, 84577 markings/sec, 195 secs
lola: 17940111 markings, 61377194 edges, 88224 markings/sec, 200 secs
lola: 18407146 markings, 62823695 edges, 93407 markings/sec, 205 secs
lola: 18865283 markings, 64241919 edges, 91627 markings/sec, 210 secs
lola: 19308092 markings, 65684960 edges, 88562 markings/sec, 215 secs
lola: 19698181 markings, 67125423 edges, 78018 markings/sec, 220 secs
lola: 20181081 markings, 68571837 edges, 96580 markings/sec, 225 secs
lola: 20640842 markings, 69992844 edges, 91952 markings/sec, 230 secs
lola: 21094611 markings, 71394044 edges, 90754 markings/sec, 235 secs
lola: 21499570 markings, 72845138 edges, 80992 markings/sec, 240 secs
lola: 21939217 markings, 74268252 edges, 87929 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3363256 KB
lola: time consumption: 258 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F ((G (((p61 <= 0))) OR (((p72 <= 0)) AND X (((p61 <= 0)))))) OR ((1 <= p63)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p63))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p63))
lola: processed formula length: 12
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((G (((p61 <= 0))) OR (((p72 <= 0)) AND X (((p61 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((G (((p61 <= 0))) OR (((p72 <= 0)) AND X (((p61 <= 0))))))
lola: processed formula length: 61
lola: 92 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 3 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F ((X (G (((1 <= p70)))) AND (((1 <= p70)) AND ((1 <= p75))))) OR X (X (G (((1 <= p24))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((X (G (((1 <= p70)))) AND (((1 <= p70)) AND ((1 <= p75)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((X (G (((1 <= p70)))) AND (((1 <= p70)) AND ((1 <= p75)))))
lola: processed formula length: 62
lola: 92 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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 158 markings, 158 edges
lola: ========================================
lola: subprocess 4 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (G (((1 <= p24)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (G (((1 <= p24)))))
lola: processed formula length: 24
lola: 92 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: 158 markings, 158 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 4 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((X (G (((p36 <= 0)))) R ((p165 <= 0))) AND ((((p36 <= 0)) R ((p52 <= 0))) AND F (((1 <= p131)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p131)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p131 <= 0))
lola: processed formula length: 13
lola: 94 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: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 199 markings, 211 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 5 will run for 331 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((1 <= p129) AND (1 <= p228))) AND X (X (X ((F (((1 <= p93))) OR ((1 <= p93)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 331 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p129) AND (1 <= p228)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p129 <= 0) OR (p228 <= 0))
lola: processed formula length: 29
lola: 94 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: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 152 markings, 151 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 6 will run for 368 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((p212 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((p212 <= 0))))
lola: processed formula length: 21
lola: 92 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: 210466 markings, 1599687 edges, 42093 markings/sec, 0 secs
lola: 429042 markings, 3295367 edges, 43715 markings/sec, 5 secs
lola: 605684 markings, 4904579 edges, 35328 markings/sec, 10 secs
lola: 802469 markings, 6531512 edges, 39357 markings/sec, 15 secs
lola: 984725 markings, 8209152 edges, 36451 markings/sec, 20 secs
lola: 1180577 markings, 9902203 edges, 39170 markings/sec, 25 secs
lola: 1358831 markings, 11568907 edges, 35651 markings/sec, 30 secs
lola: 1535979 markings, 13243592 edges, 35430 markings/sec, 35 secs
lola: 1705657 markings, 14903845 edges, 33936 markings/sec, 40 secs
lola: 1868611 markings, 16562808 edges, 32591 markings/sec, 45 secs
lola: 2001351 markings, 18242383 edges, 26548 markings/sec, 50 secs
lola: 2127016 markings, 19913431 edges, 25133 markings/sec, 55 secs
lola: 2320162 markings, 21513962 edges, 38629 markings/sec, 60 secs
lola: 2512595 markings, 23193150 edges, 38487 markings/sec, 65 secs
lola: 2660986 markings, 24874292 edges, 29678 markings/sec, 70 secs
lola: 2820587 markings, 26555593 edges, 31920 markings/sec, 75 secs
lola: 2977229 markings, 28250675 edges, 31328 markings/sec, 80 secs
lola: 3126009 markings, 29935461 edges, 29756 markings/sec, 85 secs
lola: 3269962 markings, 31612118 edges, 28791 markings/sec, 90 secs
lola: 3443365 markings, 33285494 edges, 34681 markings/sec, 95 secs
lola: 3630365 markings, 34879401 edges, 37400 markings/sec, 100 secs
lola: 3809759 markings, 36480167 edges, 35879 markings/sec, 105 secs
lola: 3972630 markings, 38052860 edges, 32574 markings/sec, 110 secs
lola: 4110763 markings, 39693231 edges, 27627 markings/sec, 115 secs
lola: 4286745 markings, 41294834 edges, 35196 markings/sec, 120 secs
lola: 4444662 markings, 42834294 edges, 31583 markings/sec, 125 secs
lola: 4592140 markings, 44495605 edges, 29496 markings/sec, 130 secs
lola: 4746257 markings, 46073838 edges, 30823 markings/sec, 135 secs
lola: 4889624 markings, 47649283 edges, 28673 markings/sec, 140 secs
lola: 5020821 markings, 49234080 edges, 26239 markings/sec, 145 secs
lola: 5179261 markings, 50873368 edges, 31688 markings/sec, 150 secs
lola: 5321496 markings, 52532479 edges, 28447 markings/sec, 155 secs
lola: 5489581 markings, 54207541 edges, 33617 markings/sec, 160 secs
lola: 5640519 markings, 55894184 edges, 30188 markings/sec, 165 secs
lola: 5784322 markings, 57555937 edges, 28761 markings/sec, 170 secs
lola: 5910210 markings, 59199008 edges, 25178 markings/sec, 175 secs
lola: 6048263 markings, 60850460 edges, 27611 markings/sec, 180 secs
lola: 6178544 markings, 62477587 edges, 26056 markings/sec, 185 secs
lola: 6316041 markings, 64151712 edges, 27499 markings/sec, 190 secs
lola: 6440271 markings, 65784240 edges, 24846 markings/sec, 195 secs
lola: 6554699 markings, 67352705 edges, 22886 markings/sec, 200 secs
lola: 6689755 markings, 69004813 edges, 27011 markings/sec, 205 secs
lola: 6837435 markings, 70665438 edges, 29536 markings/sec, 210 secs
lola: 6973447 markings, 72328857 edges, 27202 markings/sec, 215 secs
lola: 7103446 markings, 73981909 edges, 26000 markings/sec, 220 secs
lola: 7229940 markings, 75625952 edges, 25299 markings/sec, 225 secs
lola: 7403659 markings, 77315613 edges, 34744 markings/sec, 230 secs
lola: 7556414 markings, 78999168 edges, 30551 markings/sec, 235 secs
lola: 7702749 markings, 80677297 edges, 29267 markings/sec, 240 secs
lola: 7843387 markings, 82353872 edges, 28128 markings/sec, 245 secs
lola: 7973383 markings, 84012665 edges, 25999 markings/sec, 250 secs
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: 8018923 markings, 84499853 edges
lola: ========================================
lola: subprocess 7 will run for 382 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((F (G ((F (((p259 <= 0))) AND ((1 <= p259))))) OR ((1 <= p30))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((F (G ((F (((p259 <= 0))) AND ((1 <= p259))))) OR ((1 <= p30))))
lola: processed formula length: 67
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 155 markings, 156 edges
lola: ========================================
lola: subprocess 8 will run for 436 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((((1 <= p191)) U ((1 <= p14))) OR ((1 <= p107))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (((((1 <= p191)) U ((1 <= p14))) OR ((1 <= p107))))
lola: processed formula length: 53
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 1 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: 434736 markings, 1488393 edges, 86947 markings/sec, 0 secs
lola: 827814 markings, 3029260 edges, 78616 markings/sec, 5 secs
lola: 1214216 markings, 4546890 edges, 77280 markings/sec, 10 secs
lola: 1590104 markings, 6067581 edges, 75178 markings/sec, 15 secs
lola: 1954568 markings, 7551603 edges, 72893 markings/sec, 20 secs
lola: 2330338 markings, 9041433 edges, 75154 markings/sec, 25 secs
lola: 2663313 markings, 10502962 edges, 66595 markings/sec, 30 secs
lola: 3070052 markings, 12006929 edges, 81348 markings/sec, 35 secs
lola: 3458176 markings, 13498284 edges, 77625 markings/sec, 40 secs
lola: 3852880 markings, 14991220 edges, 78941 markings/sec, 45 secs
lola: 4232771 markings, 16477935 edges, 75978 markings/sec, 50 secs
lola: 4623519 markings, 17979940 edges, 78150 markings/sec, 55 secs
lola: 4991621 markings, 19459541 edges, 73620 markings/sec, 60 secs
lola: 5319649 markings, 20925097 edges, 65606 markings/sec, 65 secs
lola: 5662601 markings, 22383701 edges, 68590 markings/sec, 70 secs
lola: 6014355 markings, 23849861 edges, 70351 markings/sec, 75 secs
lola: 6335624 markings, 25289620 edges, 64254 markings/sec, 80 secs
lola: 6689617 markings, 26752790 edges, 70799 markings/sec, 85 secs
lola: 7060927 markings, 28231446 edges, 74262 markings/sec, 90 secs
lola: 7425082 markings, 29694575 edges, 72831 markings/sec, 95 secs
lola: 7798485 markings, 31132467 edges, 74681 markings/sec, 100 secs
lola: 8167632 markings, 32577168 edges, 73829 markings/sec, 105 secs
lola: 8525408 markings, 33990254 edges, 71555 markings/sec, 110 secs
lola: 8875073 markings, 35404326 edges, 69933 markings/sec, 115 secs
lola: 9252002 markings, 36878440 edges, 75386 markings/sec, 120 secs
lola: 9586335 markings, 38303672 edges, 66867 markings/sec, 125 secs
lola: 9933378 markings, 39741057 edges, 69409 markings/sec, 130 secs
lola: 10264031 markings, 41175896 edges, 66131 markings/sec, 135 secs
lola: 10578006 markings, 42597066 edges, 62795 markings/sec, 140 secs
lola: 10876564 markings, 44027462 edges, 59712 markings/sec, 145 secs
lola: 11198930 markings, 45465068 edges, 64473 markings/sec, 150 secs
lola: 11524739 markings, 46910621 edges, 65162 markings/sec, 155 secs
lola: 11822238 markings, 48284397 edges, 59500 markings/sec, 160 secs
lola: 12152145 markings, 49681857 edges, 65981 markings/sec, 165 secs
lola: 12488596 markings, 51125189 edges, 67290 markings/sec, 170 secs
lola: 12880953 markings, 52594406 edges, 78471 markings/sec, 175 secs
lola: 13241047 markings, 54049589 edges, 72019 markings/sec, 180 secs
lola: 13570237 markings, 55492478 edges, 65838 markings/sec, 185 secs
lola: 13940999 markings, 56962480 edges, 74152 markings/sec, 190 secs
lola: 14305472 markings, 58441621 edges, 72895 markings/sec, 195 secs
lola: 14637107 markings, 59920921 edges, 66327 markings/sec, 200 secs
lola: 14955718 markings, 61373863 edges, 63722 markings/sec, 205 secs
lola: 15326225 markings, 62868200 edges, 74101 markings/sec, 210 secs
lola: 15667475 markings, 64338526 edges, 68250 markings/sec, 215 secs
lola: 15979600 markings, 65811182 edges, 62425 markings/sec, 220 secs
lola: 16313619 markings, 67277421 edges, 66804 markings/sec, 225 secs
lola: 16679722 markings, 68769032 edges, 73221 markings/sec, 230 secs
lola: 17060958 markings, 70270814 edges, 76247 markings/sec, 235 secs
lola: 17405172 markings, 71748132 edges, 68843 markings/sec, 240 secs
lola: 17733863 markings, 73211740 edges, 65738 markings/sec, 245 secs
lola: 18058557 markings, 74675956 edges, 64939 markings/sec, 250 secs
lola: 18431216 markings, 76186150 edges, 74532 markings/sec, 255 secs
lola: 18801478 markings, 77676925 edges, 74052 markings/sec, 260 secs
lola: 19137720 markings, 79171462 edges, 67248 markings/sec, 265 secs
lola: 19488467 markings, 80672538 edges, 70149 markings/sec, 270 secs
lola: 19845587 markings, 82158860 edges, 71424 markings/sec, 275 secs
lola: 20204788 markings, 83646177 edges, 71840 markings/sec, 280 secs
lola: 20585649 markings, 85151154 edges, 76172 markings/sec, 285 secs
lola: 20955834 markings, 86651809 edges, 74037 markings/sec, 290 secs
lola: 21271986 markings, 88124139 edges, 63230 markings/sec, 295 secs
lola: 21585676 markings, 89589015 edges, 62738 markings/sec, 300 secs
lola: 21900749 markings, 91052469 edges, 63015 markings/sec, 305 secs
lola: 22238026 markings, 92548496 edges, 67455 markings/sec, 310 secs
lola: 22524983 markings, 93923042 edges, 57391 markings/sec, 315 secs
lola: 22882236 markings, 95339012 edges, 71451 markings/sec, 320 secs
lola: 23238261 markings, 96754978 edges, 71205 markings/sec, 325 secs
lola: 23550957 markings, 98147390 edges, 62539 markings/sec, 330 secs
lola: 23915238 markings, 99578122 edges, 72856 markings/sec, 335 secs
lola: 24245152 markings, 100997922 edges, 65983 markings/sec, 340 secs
lola: 24568694 markings, 102414377 edges, 64708 markings/sec, 345 secs
lola: 24864339 markings, 103792282 edges, 59129 markings/sec, 350 secs
lola: 25176854 markings, 105254304 edges, 62503 markings/sec, 355 secs
lola: 25503939 markings, 106679464 edges, 65417 markings/sec, 360 secs
lola: 25859378 markings, 108117747 edges, 71088 markings/sec, 365 secs
lola: 26205218 markings, 109560097 edges, 69168 markings/sec, 370 secs
lola: 26533003 markings, 110961508 edges, 65557 markings/sec, 375 secs
lola: 26845145 markings, 112362460 edges, 62428 markings/sec, 380 secs
lola: 27174483 markings, 113793780 edges, 65868 markings/sec, 385 secs
lola: 27548808 markings, 115269293 edges, 74865 markings/sec, 390 secs
lola: 27899791 markings, 116718061 edges, 70197 markings/sec, 395 secs
lola: 28213802 markings, 118145711 edges, 62802 markings/sec, 400 secs
lola: 28556583 markings, 119601780 edges, 68556 markings/sec, 405 secs
lola: 28840456 markings, 120938833 edges, 56775 markings/sec, 410 secs
lola: 29139758 markings, 122359830 edges, 59860 markings/sec, 415 secs
lola: 29434075 markings, 123807629 edges, 58863 markings/sec, 420 secs
lola: 29712835 markings, 125182489 edges, 55752 markings/sec, 425 secs
lola: 30052522 markings, 126572836 edges, 67937 markings/sec, 430 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown yes no unknown unknown unknown no unknown no no no
lola: memory consumption: 5055080 KB
lola: time consumption: 950 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 9 will run for 436 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((G (((p82 <= 0))) AND (((1 <= p110)) AND ((1 <= p238)))) OR (G (((1 <= p110) AND (1 <= p238))) AND F ((G (((p82 <= 0))) AND (((1 <= p110)) AND ((1 <= p238)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((G (((p82 <= 0))) AND (((1 <= p110)) AND ((1 <= p238)))) OR (G (((1 <= p110) AND (1 <= p238))) AND F ((G (((p82 <= 0))) AND (((1 <= p110)) AND ((1 <= p238)))))))))
lola: processed formula length: 170
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 27 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: 318 markings, 1068 edges
lola: ========================================
lola: subprocess 10 will run for 524 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((((p129 <= 0)) AND ((p51 <= 0) OR (p194 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((((p129 <= 0)) AND ((p51 <= 0) OR (p194 <= 0))))
lola: processed formula length: 52
lola: 92 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: 152 markings, 152 edges
lola: ========================================
lola: subprocess 11 will run for 655 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((G (((p212 <= 0))) OR ((p31 <= 0))) U ((1 <= p242)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((G (((p212 <= 0))) OR ((p31 <= 0))) U ((1 <= p242)))
lola: processed formula length: 53
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 415892 markings, 1461932 edges, 83178 markings/sec, 0 secs
lola: 795163 markings, 2967587 edges, 75854 markings/sec, 5 secs
lola: 1165047 markings, 4470723 edges, 73977 markings/sec, 10 secs
lola: 1513160 markings, 5965072 edges, 69623 markings/sec, 15 secs
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: 1810559 markings, 7288065 edges
lola: ========================================
lola: subprocess 12 will run for 865 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((((p256 <= 0)) R (((p64 <= 0) OR (p264 <= 0)) AND ((p256 <= 0)))) OR F (((p24 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((((p256 <= 0)) R (((p64 <= 0) OR (p264 <= 0)) AND ((p256 <= 0)))) OR F (((p24 <= 0))))))
lola: processed formula length: 96
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 335189 markings, 1641253 edges, 67038 markings/sec, 0 secs
lola: 593210 markings, 3287747 edges, 51604 markings/sec, 5 secs
lola: 811380 markings, 4946873 edges, 43634 markings/sec, 10 secs
lola: 1016387 markings, 6588582 edges, 41001 markings/sec, 15 secs
lola: 1243797 markings, 8206007 edges, 45482 markings/sec, 20 secs
lola: 1435558 markings, 9800938 edges, 38352 markings/sec, 25 secs
lola: 1619393 markings, 11364447 edges, 36767 markings/sec, 30 secs
lola: 1822798 markings, 12956426 edges, 40681 markings/sec, 35 secs
lola: 2025815 markings, 14559869 edges, 40603 markings/sec, 40 secs
lola: 2183892 markings, 16103091 edges, 31615 markings/sec, 45 secs
lola: 2342636 markings, 17617328 edges, 31749 markings/sec, 50 secs
lola: 2503961 markings, 19134553 edges, 32265 markings/sec, 55 secs
lola: 2690817 markings, 20718229 edges, 37371 markings/sec, 60 secs
lola: 2886466 markings, 22276772 edges, 39130 markings/sec, 65 secs
lola: 3111593 markings, 23848425 edges, 45025 markings/sec, 70 secs
lola: 3321693 markings, 25419963 edges, 42020 markings/sec, 75 secs
lola: 3582347 markings, 26947735 edges, 52131 markings/sec, 80 secs
lola: 3793982 markings, 28517332 edges, 42327 markings/sec, 85 secs
lola: 4017131 markings, 30089931 edges, 44630 markings/sec, 90 secs
lola: 4198499 markings, 31672786 edges, 36274 markings/sec, 95 secs
lola: 4358519 markings, 33217380 edges, 32004 markings/sec, 100 secs
lola: 4514471 markings, 34768934 edges, 31190 markings/sec, 105 secs
lola: 4686100 markings, 36261736 edges, 34326 markings/sec, 110 secs
lola: 4835835 markings, 37726032 edges, 29947 markings/sec, 115 secs
lola: 4998607 markings, 39254453 edges, 32554 markings/sec, 120 secs
lola: 5185502 markings, 40781773 edges, 37379 markings/sec, 125 secs
lola: 5331609 markings, 42242221 edges, 29221 markings/sec, 130 secs
lola: 5463296 markings, 43657720 edges, 26337 markings/sec, 135 secs
lola: 5603524 markings, 45130847 edges, 28046 markings/sec, 140 secs
lola: 5762865 markings, 46659723 edges, 31868 markings/sec, 145 secs
lola: 5941025 markings, 48176049 edges, 35632 markings/sec, 150 secs
lola: 6126600 markings, 49686352 edges, 37115 markings/sec, 155 secs
lola: 6335487 markings, 51254565 edges, 41777 markings/sec, 160 secs
lola: 6553138 markings, 52890171 edges, 43530 markings/sec, 165 secs
lola: 6769488 markings, 54528602 edges, 43270 markings/sec, 170 secs
lola: 6973280 markings, 56135230 edges, 40758 markings/sec, 175 secs
lola: 7182952 markings, 57738591 edges, 41934 markings/sec, 180 secs
lola: 7375191 markings, 59338856 edges, 38448 markings/sec, 185 secs
lola: 7557110 markings, 60938349 edges, 36384 markings/sec, 190 secs
lola: 7724809 markings, 62515053 edges, 33540 markings/sec, 195 secs
lola: 7898008 markings, 64089354 edges, 34640 markings/sec, 200 secs
lola: 8102886 markings, 65687170 edges, 40976 markings/sec, 205 secs
lola: 8302908 markings, 67253503 edges, 40004 markings/sec, 210 secs
lola: 8507838 markings, 68853491 edges, 40986 markings/sec, 215 secs
lola: 8689560 markings, 70467754 edges, 36344 markings/sec, 220 secs
lola: 8863887 markings, 72037489 edges, 34865 markings/sec, 225 secs
lola: 9045979 markings, 73617922 edges, 36418 markings/sec, 230 secs
lola: 9209757 markings, 75178022 edges, 32756 markings/sec, 235 secs
lola: 9398904 markings, 76737868 edges, 37829 markings/sec, 240 secs
lola: 9603561 markings, 78292295 edges, 40931 markings/sec, 245 secs
lola: 9793328 markings, 79844075 edges, 37953 markings/sec, 250 secs
lola: 9994507 markings, 81397682 edges, 40236 markings/sec, 255 secs
lola: 10180443 markings, 82947974 edges, 37187 markings/sec, 260 secs
lola: 10344107 markings, 84482109 edges, 32733 markings/sec, 265 secs
lola: 10541061 markings, 86069640 edges, 39391 markings/sec, 270 secs
lola: 10727586 markings, 87615570 edges, 37305 markings/sec, 275 secs
lola: 10901265 markings, 89120847 edges, 34736 markings/sec, 280 secs
lola: 11074810 markings, 90590026 edges, 34709 markings/sec, 285 secs
lola: 11258860 markings, 92160180 edges, 36810 markings/sec, 290 secs
lola: 11449464 markings, 93682098 edges, 38121 markings/sec, 295 secs
lola: 11624600 markings, 95262095 edges, 35027 markings/sec, 300 secs
lola: 11796279 markings, 96831919 edges, 34336 markings/sec, 305 secs
lola: 11972802 markings, 98390844 edges, 35305 markings/sec, 310 secs
lola: 12158843 markings, 99967438 edges, 37208 markings/sec, 315 secs
lola: 12335106 markings, 101514044 edges, 35253 markings/sec, 320 secs
lola: 12512947 markings, 103074909 edges, 35568 markings/sec, 325 secs
lola: 12674163 markings, 104622533 edges, 32243 markings/sec, 330 secs
lola: 12834790 markings, 106138611 edges, 32125 markings/sec, 335 secs
lola: 12985611 markings, 107659269 edges, 30164 markings/sec, 340 secs
lola: 13145982 markings, 109210665 edges, 32074 markings/sec, 345 secs
lola: 13286731 markings, 110696005 edges, 28150 markings/sec, 350 secs
lola: 13433356 markings, 112213647 edges, 29325 markings/sec, 355 secs
lola: 13580070 markings, 113714903 edges, 29343 markings/sec, 360 secs
lola: 13752931 markings, 115237761 edges, 34572 markings/sec, 365 secs
lola: 13941155 markings, 116809240 edges, 37645 markings/sec, 370 secs
lola: 14115883 markings, 118353049 edges, 34946 markings/sec, 375 secs
lola: 14296446 markings, 119913626 edges, 36113 markings/sec, 380 secs
lola: 14474172 markings, 121451788 edges, 35545 markings/sec, 385 secs
lola: 14650623 markings, 122979769 edges, 35290 markings/sec, 390 secs
lola: 14807680 markings, 124480545 edges, 31411 markings/sec, 395 secs
lola: 14980431 markings, 125967474 edges, 34550 markings/sec, 400 secs
lola: 15159748 markings, 127512004 edges, 35863 markings/sec, 405 secs
lola: 15314341 markings, 128926249 edges, 30919 markings/sec, 410 secs
lola: 15477386 markings, 130478720 edges, 32609 markings/sec, 415 secs
lola: 15621081 markings, 131981421 edges, 28739 markings/sec, 420 secs
lola: 15771187 markings, 133518772 edges, 30021 markings/sec, 425 secs
lola: 15920142 markings, 135042082 edges, 29791 markings/sec, 430 secs
lola: 16075959 markings, 136584221 edges, 31163 markings/sec, 435 secs
lola: 16239532 markings, 138124830 edges, 32715 markings/sec, 440 secs
lola: 16413021 markings, 139639140 edges, 34698 markings/sec, 445 secs
lola: 16606849 markings, 141197422 edges, 38766 markings/sec, 450 secs
lola: 16782289 markings, 142745082 edges, 35088 markings/sec, 455 secs
lola: 16959982 markings, 144300238 edges, 35539 markings/sec, 460 secs
lola: 17114932 markings, 145810803 edges, 30990 markings/sec, 465 secs
lola: 17263729 markings, 147201411 edges, 29759 markings/sec, 470 secs
lola: 17428470 markings, 148744957 edges, 32948 markings/sec, 475 secs
lola: 17604544 markings, 150298778 edges, 35215 markings/sec, 480 secs
lola: 17757244 markings, 151799612 edges, 30540 markings/sec, 485 secs
lola: 17915344 markings, 153323581 edges, 31620 markings/sec, 490 secs
lola: 18060568 markings, 154824691 edges, 29045 markings/sec, 495 secs
lola: 18200384 markings, 156292215 edges, 27963 markings/sec, 500 secs
lola: 18347562 markings, 157790901 edges, 29436 markings/sec, 505 secs
lola: 18521553 markings, 159335695 edges, 34798 markings/sec, 510 secs
lola: 18681467 markings, 160866420 edges, 31983 markings/sec, 515 secs
lola: 18832854 markings, 162311801 edges, 30277 markings/sec, 520 secs
lola: 19008439 markings, 163814498 edges, 35117 markings/sec, 525 secs
lola: 19178738 markings, 165373775 edges, 34060 markings/sec, 530 secs
lola: 19329333 markings, 166888228 edges, 30119 markings/sec, 535 secs
lola: 19473725 markings, 168372902 edges, 28878 markings/sec, 540 secs
lola: 19625984 markings, 169893023 edges, 30452 markings/sec, 545 secs
lola: 19784560 markings, 171402587 edges, 31715 markings/sec, 550 secs
lola: 19946333 markings, 172902514 edges, 32355 markings/sec, 555 secs
lola: 20120500 markings, 174459990 edges, 34833 markings/sec, 560 secs
lola: 20280282 markings, 175929735 edges, 31956 markings/sec, 565 secs
lola: 20446990 markings, 177507892 edges, 33342 markings/sec, 570 secs
lola: 20605560 markings, 179057244 edges, 31714 markings/sec, 575 secs
lola: 20772733 markings, 180612408 edges, 33435 markings/sec, 580 secs
lola: 20929709 markings, 182144336 edges, 31395 markings/sec, 585 secs
lola: 21085802 markings, 183659854 edges, 31219 markings/sec, 590 secs
lola: 21239931 markings, 185160305 edges, 30826 markings/sec, 595 secs
lola: 21379024 markings, 186643515 edges, 27819 markings/sec, 600 secs
lola: 21529008 markings, 188116455 edges, 29997 markings/sec, 605 secs
lola: 21688136 markings, 189645724 edges, 31826 markings/sec, 610 secs
lola: 21864572 markings, 191185291 edges, 35287 markings/sec, 615 secs
lola: 22036965 markings, 192717247 edges, 34479 markings/sec, 620 secs
lola: 22202165 markings, 194248052 edges, 33040 markings/sec, 625 secs
lola: 22368767 markings, 195774866 edges, 33320 markings/sec, 630 secs
lola: 22531858 markings, 197328334 edges, 32618 markings/sec, 635 secs
lola: 22692155 markings, 198878492 edges, 32059 markings/sec, 640 secs
lola: 22840466 markings, 200310924 edges, 29662 markings/sec, 645 secs
lola: 22997563 markings, 201837590 edges, 31419 markings/sec, 650 secs
lola: 23151199 markings, 203330694 edges, 30727 markings/sec, 655 secs
lola: 23294390 markings, 204821805 edges, 28638 markings/sec, 660 secs
lola: 23439180 markings, 206221109 edges, 28958 markings/sec, 665 secs
lola: 23597820 markings, 207768572 edges, 31728 markings/sec, 670 secs
lola: 23774519 markings, 209292295 edges, 35340 markings/sec, 675 secs
lola: 23967124 markings, 210844213 edges, 38521 markings/sec, 680 secs
lola: 24137866 markings, 212368298 edges, 34148 markings/sec, 685 secs
lola: 24308002 markings, 213884745 edges, 34027 markings/sec, 690 secs
lola: 24453496 markings, 215284054 edges, 29099 markings/sec, 695 secs
lola: 24613070 markings, 216802829 edges, 31915 markings/sec, 700 secs
lola: 24783601 markings, 218323476 edges, 34106 markings/sec, 705 secs
lola: 24948516 markings, 219825046 edges, 32983 markings/sec, 710 secs
lola: 25121788 markings, 221354316 edges, 34654 markings/sec, 715 secs
lola: 25281776 markings, 222860836 edges, 31998 markings/sec, 720 secs
lola: 25420032 markings, 224254435 edges, 27651 markings/sec, 725 secs
lola: 25578656 markings, 225775231 edges, 31725 markings/sec, 730 secs
lola: 25733680 markings, 227288911 edges, 31005 markings/sec, 735 secs
lola: 25890501 markings, 228808314 edges, 31364 markings/sec, 740 secs
lola: 26033057 markings, 230282746 edges, 28511 markings/sec, 745 secs
lola: 26165275 markings, 231741694 edges, 26444 markings/sec, 750 secs
lola: 26308382 markings, 233196838 edges, 28621 markings/sec, 755 secs
lola: 26453741 markings, 234699138 edges, 29072 markings/sec, 760 secs
lola: 26589204 markings, 236183149 edges, 27093 markings/sec, 765 secs
lola: 26762877 markings, 237648382 edges, 34735 markings/sec, 770 secs
lola: 26931471 markings, 239140904 edges, 33719 markings/sec, 775 secs
lola: 27093582 markings, 240675877 edges, 32422 markings/sec, 780 secs
lola: 27251569 markings, 242167514 edges, 31597 markings/sec, 785 secs
lola: 27467929 markings, 243719611 edges, 43272 markings/sec, 790 secs
lola: 27655418 markings, 245299340 edges, 37498 markings/sec, 795 secs
lola: 27834435 markings, 246856258 edges, 35803 markings/sec, 800 secs
lola: 28029109 markings, 248459781 edges, 38935 markings/sec, 805 secs
lola: 28199424 markings, 250008788 edges, 34063 markings/sec, 810 secs
lola: 28397416 markings, 251628763 edges, 39598 markings/sec, 815 secs
lola: 28580880 markings, 253207099 edges, 36693 markings/sec, 820 secs
lola: 28791036 markings, 254807874 edges, 42031 markings/sec, 825 secs
lola: 28998281 markings, 256379391 edges, 41449 markings/sec, 830 secs
lola: 29181690 markings, 257957455 edges, 36682 markings/sec, 835 secs
lola: 29356861 markings, 259527702 edges, 35034 markings/sec, 840 secs
lola: 29531878 markings, 261101583 edges, 35003 markings/sec, 845 secs
lola: 29717275 markings, 262684523 edges, 37079 markings/sec, 850 secs
lola: 29889430 markings, 264289789 edges, 34431 markings/sec, 855 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown no yes no unknown unknown no no unknown no no no
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no no unknown unknown no yes no unknown unknown no no unknown no no no
lola: memory consumption: 4345124 KB
lola: time consumption: 1840 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 13 will run for 865 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G ((((p27 <= 0)) AND ((p61 <= 0)))) OR ((1 <= p161)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 865 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p161))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p161))
lola: processed formula length: 13
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1730 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((((p27 <= 0)) AND ((p61 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((((p27 <= 0)) AND ((p61 <= 0))))
lola: processed formula length: 35
lola: 92 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: 152 markings, 152 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 14 will run for 1730 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G ((((p181 <= 0) OR (((p99 <= 0) OR (p209 <= 0)) AND ((p288 <= 0)))) AND ((p69 <= 0)))) AND (F (((1 <= p288))) OR (((p99 <= 0)) OR ((p209 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1730 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((p99 <= 0)) OR ((p209 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: processed formula: (((p99 <= 0)) OR ((p209 <= 0)))
lola: processed formula length: 31
lola: 93 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: X (G ((F (((1 <= p163))) OR (G (F (((1 <= p81) AND (1 <= p234)))) AND F (((1 <= p163)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((F (((1 <= p163))) OR (G (F (((1 <= p81) AND (1 <= p234)))) AND F (((1 <= p163)))))))
lola: processed formula length: 91
lola: 92 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: 437762 markings, 1536185 edges, 87552 markings/sec, 0 secs
lola: 850782 markings, 3037719 edges, 82604 markings/sec, 5 secs
lola: 1253581 markings, 4571696 edges, 80560 markings/sec, 10 secs
lola: 1616087 markings, 6074089 edges, 72501 markings/sec, 15 secs
lola: 1976987 markings, 7568948 edges, 72180 markings/sec, 20 secs
lola: 2357685 markings, 9085881 edges, 76140 markings/sec, 25 secs
lola: 2719192 markings, 10583220 edges, 72301 markings/sec, 30 secs
lola: 3089748 markings, 12074490 edges, 74111 markings/sec, 35 secs
lola: 3454325 markings, 13569800 edges, 72915 markings/sec, 40 secs
lola: 3808469 markings, 15034911 edges, 70829 markings/sec, 45 secs
lola: 4185674 markings, 16543354 edges, 75441 markings/sec, 50 secs
lola: 4549327 markings, 18049798 edges, 72731 markings/sec, 55 secs
lola: 4909367 markings, 19535435 edges, 72008 markings/sec, 60 secs
lola: 5296628 markings, 21051137 edges, 77452 markings/sec, 65 secs
lola: 5662859 markings, 22548048 edges, 73246 markings/sec, 70 secs
lola: 6180317 markings, 24065763 edges, 103492 markings/sec, 75 secs
lola: 6724477 markings, 25567110 edges, 108832 markings/sec, 80 secs
lola: 7259337 markings, 27044555 edges, 106972 markings/sec, 85 secs
lola: 7737047 markings, 28568740 edges, 95542 markings/sec, 90 secs
lola: 8240138 markings, 30076714 edges, 100618 markings/sec, 95 secs
lola: 8718768 markings, 31556140 edges, 95726 markings/sec, 100 secs
lola: 9192692 markings, 33020421 edges, 94785 markings/sec, 105 secs
lola: 9615764 markings, 34535564 edges, 84614 markings/sec, 110 secs
lola: 10079034 markings, 36024900 edges, 92654 markings/sec, 115 secs
lola: 10555563 markings, 37498315 edges, 95306 markings/sec, 120 secs
lola: 11026459 markings, 38953016 edges, 94179 markings/sec, 125 secs
lola: 11455707 markings, 40433085 edges, 85850 markings/sec, 130 secs
lola: 11889894 markings, 41905833 edges, 86837 markings/sec, 135 secs
lola: 12377022 markings, 43391885 edges, 97426 markings/sec, 140 secs
lola: 12850428 markings, 44855373 edges, 94681 markings/sec, 145 secs
lola: 13313871 markings, 46317884 edges, 92689 markings/sec, 150 secs
lola: 13708341 markings, 47792200 edges, 78894 markings/sec, 155 secs
lola: 14192401 markings, 49267141 edges, 96812 markings/sec, 160 secs
lola: 14661031 markings, 50715315 edges, 93726 markings/sec, 165 secs
lola: 15118171 markings, 52127522 edges, 91428 markings/sec, 170 secs
lola: 15532481 markings, 53597276 edges, 82862 markings/sec, 175 secs
lola: 15972943 markings, 55033118 edges, 88092 markings/sec, 180 secs
lola: 16436775 markings, 56466172 edges, 92766 markings/sec, 185 secs
lola: 16888576 markings, 57868223 edges, 90360 markings/sec, 190 secs
lola: 17331286 markings, 59316749 edges, 88542 markings/sec, 195 secs
lola: 17721875 markings, 60756889 edges, 78118 markings/sec, 200 secs
lola: 18210213 markings, 62216742 edges, 97668 markings/sec, 205 secs
lola: 18673917 markings, 63649665 edges, 92741 markings/sec, 210 secs
lola: 19127150 markings, 65049085 edges, 90647 markings/sec, 215 secs
lola: 19529706 markings, 66499028 edges, 80511 markings/sec, 220 secs
lola: 19969185 markings, 67915273 edges, 87896 markings/sec, 225 secs
lola: 20426427 markings, 69327646 edges, 91448 markings/sec, 230 secs
lola: 20874497 markings, 70717621 edges, 89614 markings/sec, 235 secs
lola: 21304153 markings, 72132205 edges, 85931 markings/sec, 240 secs
lola: 21683941 markings, 73529036 edges, 75958 markings/sec, 245 secs
lola: 22160882 markings, 74956095 edges, 95388 markings/sec, 250 secs
lola: 22615844 markings, 76361088 edges, 90992 markings/sec, 255 secs
lola: 23064979 markings, 77748365 edges, 89827 markings/sec, 260 secs
lola: 23467209 markings, 79181113 edges, 80446 markings/sec, 265 secs
lola: 23896449 markings, 80581036 edges, 85848 markings/sec, 270 secs
lola: 24351937 markings, 81992706 edges, 91098 markings/sec, 275 secs
lola: 24801464 markings, 83382487 edges, 89905 markings/sec, 280 secs
lola: 25235396 markings, 84774856 edges, 86786 markings/sec, 285 secs
lola: 25609165 markings, 86163055 edges, 74754 markings/sec, 290 secs
lola: 26070992 markings, 87568101 edges, 92365 markings/sec, 295 secs
lola: 26521537 markings, 88959128 edges, 90109 markings/sec, 300 secs
lola: 26964432 markings, 90332966 edges, 88579 markings/sec, 305 secs
lola: 27367589 markings, 91737081 edges, 80631 markings/sec, 310 secs
lola: 27771577 markings, 93104209 edges, 80798 markings/sec, 315 secs
lola: 28227649 markings, 94498692 edges, 91214 markings/sec, 320 secs
lola: 28668442 markings, 95859462 edges, 88159 markings/sec, 325 secs
lola: 29107570 markings, 97221866 edges, 87826 markings/sec, 330 secs
lola: 29484909 markings, 98616541 edges, 75468 markings/sec, 335 secs
lola: 29941118 markings, 100061346 edges, 91242 markings/sec, 340 secs
lola: 30419504 markings, 101539810 edges, 95677 markings/sec, 345 secs
lola: 30890111 markings, 102994506 edges, 94121 markings/sec, 350 secs
lola: 31325193 markings, 104499027 edges, 87016 markings/sec, 355 secs
lola: 31738145 markings, 105969871 edges, 82590 markings/sec, 360 secs
lola: 32115247 markings, 107505724 edges, 75420 markings/sec, 365 secs
lola: 32480533 markings, 109013525 edges, 73057 markings/sec, 370 secs
lola: 32842406 markings, 110537825 edges, 72375 markings/sec, 375 secs
lola: 33166980 markings, 112042815 edges, 64915 markings/sec, 380 secs
lola: 33485186 markings, 113518034 edges, 63641 markings/sec, 385 secs
lola: 33822870 markings, 115029336 edges, 67537 markings/sec, 390 secs
lola: 34144744 markings, 116521718 edges, 64375 markings/sec, 395 secs
lola: 34458988 markings, 117984939 edges, 62849 markings/sec, 400 secs
lola: 34791268 markings, 119471584 edges, 66456 markings/sec, 405 secs
lola: 35113732 markings, 120966120 edges, 64493 markings/sec, 410 secs
lola: 35431856 markings, 122440769 edges, 63625 markings/sec, 415 secs
lola: 35761407 markings, 123929455 edges, 65910 markings/sec, 420 secs
lola: 36093844 markings, 125455571 edges, 66487 markings/sec, 425 secs
lola: 36415910 markings, 126949142 edges, 64413 markings/sec, 430 secs
lola: 36748380 markings, 128452412 edges, 66494 markings/sec, 435 secs
lola: 37084712 markings, 129958577 edges, 67266 markings/sec, 440 secs
lola: 37417160 markings, 131463760 edges, 66490 markings/sec, 445 secs
lola: 37903497 markings, 132994101 edges, 97267 markings/sec, 450 secs
lola: 38384963 markings, 134482424 edges, 96293 markings/sec, 455 secs
lola: 38857329 markings, 135945074 edges, 94473 markings/sec, 460 secs
lola: 39283670 markings, 137463527 edges, 85268 markings/sec, 465 secs
lola: 39735516 markings, 138969691 edges, 90369 markings/sec, 470 secs
lola: 40164704 markings, 140443160 edges, 85838 markings/sec, 475 secs
lola: 40589866 markings, 141897065 edges, 85032 markings/sec, 480 secs
lola: 40981161 markings, 143395054 edges, 78259 markings/sec, 485 secs
lola: 41393202 markings, 144880442 edges, 82408 markings/sec, 490 secs
lola: 41819738 markings, 146345200 edges, 85307 markings/sec, 495 secs
lola: 42241566 markings, 147787323 edges, 84366 markings/sec, 500 secs
lola: 42663589 markings, 149236875 edges, 84405 markings/sec, 505 secs
lola: 43013325 markings, 150723571 edges, 69947 markings/sec, 510 secs
lola: 43459013 markings, 152192753 edges, 89138 markings/sec, 515 secs
lola: 43879608 markings, 153630530 edges, 84119 markings/sec, 520 secs
lola: 44291145 markings, 155043487 edges, 82307 markings/sec, 525 secs
lola: 44669381 markings, 156513396 edges, 75647 markings/sec, 530 secs
lola: 45078439 markings, 157970904 edges, 81812 markings/sec, 535 secs
lola: 45494812 markings, 159400729 edges, 83275 markings/sec, 540 secs
lola: 45908886 markings, 160815605 edges, 82815 markings/sec, 545 secs
lola: 46318473 markings, 162221732 edges, 81917 markings/sec, 550 secs
lola: 46662051 markings, 163670158 edges, 68716 markings/sec, 555 secs
lola: 47096246 markings, 165116532 edges, 86839 markings/sec, 560 secs
lola: 47509192 markings, 166534529 edges, 82589 markings/sec, 565 secs
lola: 47916017 markings, 167924645 edges, 81365 markings/sec, 570 secs
lola: 48295568 markings, 169356148 edges, 75910 markings/sec, 575 secs
lola: 48682215 markings, 170786634 edges, 77329 markings/sec, 580 secs
lola: 49099989 markings, 172213626 edges, 83555 markings/sec, 585 secs
lola: 49507266 markings, 173611640 edges, 81455 markings/sec, 590 secs
lola: 49917776 markings, 175014973 edges, 82102 markings/sec, 595 secs
lola: 50271601 markings, 176458211 edges, 70765 markings/sec, 600 secs
lola: 50684193 markings, 177876755 edges, 82518 markings/sec, 605 secs
lola: 51090813 markings, 179266346 edges, 81324 markings/sec, 610 secs
lola: 51493864 markings, 180649513 edges, 80610 markings/sec, 615 secs
lola: 51890754 markings, 182048312 edges, 79378 markings/sec, 620 secs
lola: 52236159 markings, 183460509 edges, 69081 markings/sec, 625 secs
lola: 52655931 markings, 184862605 edges, 83954 markings/sec, 630 secs
lola: 53064727 markings, 186259704 edges, 81759 markings/sec, 635 secs
lola: 53461387 markings, 187621295 edges, 79332 markings/sec, 640 secs
lola: 53828180 markings, 189043738 edges, 73359 markings/sec, 645 secs
lola: 54215747 markings, 190434762 edges, 77513 markings/sec, 650 secs
lola: 54618008 markings, 191815218 edges, 80452 markings/sec, 655 secs
lola: 55012115 markings, 193167864 edges, 78821 markings/sec, 660 secs
lola: 55409097 markings, 194524364 edges, 79396 markings/sec, 665 secs
lola: 55755668 markings, 195929287 edges, 69314 markings/sec, 670 secs
lola: 56155648 markings, 197316716 edges, 79996 markings/sec, 675 secs
lola: 56557903 markings, 198691591 edges, 80451 markings/sec, 680 secs
lola: 56948832 markings, 200032711 edges, 78186 markings/sec, 685 secs
lola: 57339729 markings, 201373835 edges, 78179 markings/sec, 690 secs
lola: 57660860 markings, 202740839 edges, 64226 markings/sec, 695 secs
lola: 58070878 markings, 204107376 edges, 82004 markings/sec, 700 secs
lola: 58464030 markings, 205456699 edges, 78630 markings/sec, 705 secs
lola: 58850569 markings, 206782921 edges, 77308 markings/sec, 710 secs
lola: 59230907 markings, 208128617 edges, 76068 markings/sec, 715 secs
lola: 59561378 markings, 209488360 edges, 66094 markings/sec, 720 secs
lola: 60005376 markings, 210971025 edges, 88800 markings/sec, 725 secs
lola: 60432200 markings, 212430248 edges, 85365 markings/sec, 730 secs
lola: 60851496 markings, 213870197 edges, 83859 markings/sec, 735 secs
lola: 61231459 markings, 215365032 edges, 75993 markings/sec, 740 secs
lola: 61611402 markings, 216870647 edges, 75989 markings/sec, 745 secs
lola: 61980031 markings, 218392060 edges, 73726 markings/sec, 750 secs
lola: 62342141 markings, 219892668 edges, 72422 markings/sec, 755 secs
lola: 62690096 markings, 221426662 edges, 69591 markings/sec, 760 secs
lola: 63013672 markings, 222927332 edges, 64715 markings/sec, 765 secs
lola: 63334524 markings, 224415081 edges, 64170 markings/sec, 770 secs
lola: 63674446 markings, 225937097 edges, 67984 markings/sec, 775 secs
lola: 63995256 markings, 227424677 edges, 64162 markings/sec, 780 secs
lola: 64311845 markings, 228891950 edges, 63318 markings/sec, 785 secs
lola: 64649781 markings, 230404719 edges, 67587 markings/sec, 790 secs
lola: 64970683 markings, 231892588 edges, 64180 markings/sec, 795 secs
lola: 65284519 markings, 233351193 edges, 62767 markings/sec, 800 secs
lola: 65625777 markings, 234875694 edges, 68252 markings/sec, 805 secs
lola: 65949742 markings, 236382137 edges, 64793 markings/sec, 810 secs
lola: 66269541 markings, 237866146 edges, 63960 markings/sec, 815 secs
lola: 66616336 markings, 239387918 edges, 69359 markings/sec, 820 secs
lola: 66941982 markings, 240883162 edges, 65129 markings/sec, 825 secs
lola: 67331615 markings, 242393188 edges, 77927 markings/sec, 830 secs
lola: 67826078 markings, 243902620 edges, 98893 markings/sec, 835 secs
lola: 68305675 markings, 245385011 edges, 95919 markings/sec, 840 secs
lola: 68772137 markings, 246873528 edges, 93292 markings/sec, 845 secs
lola: 69197916 markings, 248381519 edges, 85156 markings/sec, 850 secs
lola: 69636748 markings, 249872201 edges, 87766 markings/sec, 855 secs
lola: 70062007 markings, 251332618 edges, 85052 markings/sec, 860 secs
lola: 70487622 markings, 252787899 edges, 85123 markings/sec, 865 secs
lola: 70852544 markings, 254290621 edges, 72984 markings/sec, 870 secs
lola: 71293012 markings, 255778753 edges, 88094 markings/sec, 875 secs
lola: 71715398 markings, 257229160 edges, 84477 markings/sec, 880 secs
lola: 72135964 markings, 258666717 edges, 84113 markings/sec, 885 secs
lola: 72524747 markings, 260140033 edges, 77757 markings/sec, 890 secs
lola: 72925979 markings, 261606072 edges, 80246 markings/sec, 895 secs
lola: 73353179 markings, 263071628 edges, 85440 markings/sec, 900 secs
lola: 73771163 markings, 264500222 edges, 83597 markings/sec, 905 secs
lola: 74184347 markings, 265919034 edges, 82637 markings/sec, 910 secs
lola: 74537556 markings, 267385476 edges, 70642 markings/sec, 915 secs
lola: 74970460 markings, 268843236 edges, 86581 markings/sec, 920 secs
lola: 75387131 markings, 270273391 edges, 83334 markings/sec, 925 secs
lola: 75797540 markings, 271676192 edges, 82082 markings/sec, 930 secs
lola: 76183334 markings, 273112068 edges, 77159 markings/sec, 935 secs
lola: 76564690 markings, 274550415 edges, 76271 markings/sec, 940 secs
lola: 76987845 markings, 275987576 edges, 84631 markings/sec, 945 secs
lola: 77396363 markings, 277390013 edges, 81704 markings/sec, 950 secs
lola: 77804195 markings, 278783788 edges, 81566 markings/sec, 955 secs
lola: 78162326 markings, 280228815 edges, 71626 markings/sec, 960 secs
lola: 78575582 markings, 281663399 edges, 82651 markings/sec, 965 secs
lola: 78989341 markings, 283077938 edges, 82752 markings/sec, 970 secs
lola: 79393389 markings, 284464589 edges, 80810 markings/sec, 975 secs
lola: 79797090 markings, 285877311 edges, 80740 markings/sec, 980 secs
lola: 80140661 markings, 287298875 edges, 68714 markings/sec, 985 secs
lola: 80564158 markings, 288708288 edges, 84699 markings/sec, 990 secs
lola: 80969185 markings, 290092188 edges, 81005 markings/sec, 995 secs
lola: 81364989 markings, 291450932 edges, 79161 markings/sec, 1000 secs
lola: 81732480 markings, 292855696 edges, 73498 markings/sec, 1005 secs
lola: 82112278 markings, 294247565 edges, 75960 markings/sec, 1010 secs
lola: 82523765 markings, 295652814 edges, 82297 markings/sec, 1015 secs
lola: 82925519 markings, 297032043 edges, 80351 markings/sec, 1020 secs
lola: 83323327 markings, 298390767 edges, 79562 markings/sec, 1025 secs
lola: 83671718 markings, 299793718 edges, 69678 markings/sec, 1030 secs
lola: 84069562 markings, 301182865 edges, 79569 markings/sec, 1035 secs
lola: 84468582 markings, 302548428 edges, 79804 markings/sec, 1040 secs
lola: 84861965 markings, 303896597 edges, 78677 markings/sec, 1045 secs
lola: 85254002 markings, 305241480 edges, 78407 markings/sec, 1050 secs
lola: 85582123 markings, 306622137 edges, 65624 markings/sec, 1055 secs
lola: 85992954 markings, 308002395 edges, 82166 markings/sec, 1060 secs
lola: 86386321 markings, 309352438 edges, 78673 markings/sec, 1065 secs
lola: 86772464 markings, 310677262 edges, 77229 markings/sec, 1070 secs
lola: 87159101 markings, 312030235 edges, 77327 markings/sec, 1075 secs
lola: 87478424 markings, 313380057 edges, 63865 markings/sec, 1080 secs
lola: 87892753 markings, 314746326 edges, 82866 markings/sec, 1085 secs
lola: 88282204 markings, 316082646 edges, 77890 markings/sec, 1090 secs
lola: 88670001 markings, 317407126 edges, 77559 markings/sec, 1095 secs
lola: 89041190 markings, 318761123 edges, 74238 markings/sec, 1100 secs
lola: 89385993 markings, 320124958 edges, 68961 markings/sec, 1105 secs
lola: 89826679 markings, 321603025 edges, 88137 markings/sec, 1110 secs
lola: 90250475 markings, 323057274 edges, 84759 markings/sec, 1115 secs
lola: 90671246 markings, 324495769 edges, 84154 markings/sec, 1120 secs
lola: 91040836 markings, 325979270 edges, 73918 markings/sec, 1125 secs
lola: 91396641 markings, 327480162 edges, 71161 markings/sec, 1130 secs
lola: 91722700 markings, 328991874 edges, 65212 markings/sec, 1135 secs
lola: 92020731 markings, 330372496 edges, 59606 markings/sec, 1140 secs
lola: 92345194 markings, 331900814 edges, 64893 markings/sec, 1145 secs
lola: 92638397 markings, 333408031 edges, 58641 markings/sec, 1150 secs
lola: 92924632 markings, 334879719 edges, 57247 markings/sec, 1155 secs
lola: 93216248 markings, 336361431 edges, 58323 markings/sec, 1160 secs
lola: 93514415 markings, 337856740 edges, 59633 markings/sec, 1165 secs
lola: 93801094 markings, 339327529 edges, 57336 markings/sec, 1170 secs
lola: 94081843 markings, 340770721 edges, 56150 markings/sec, 1175 secs
lola: 94385264 markings, 342275755 edges, 60684 markings/sec, 1180 secs
lola: 94672627 markings, 343749349 edges, 57473 markings/sec, 1185 secs
lola: 94952784 markings, 345192778 edges, 56031 markings/sec, 1190 secs
lola: 95247852 markings, 346676872 edges, 59014 markings/sec, 1195 secs
lola: 95550069 markings, 348202360 edges, 60443 markings/sec, 1200 secs
lola: 95842579 markings, 349709698 edges, 58502 markings/sec, 1205 secs
lola: 96135516 markings, 351212819 edges, 58587 markings/sec, 1210 secs
lola: 96449409 markings, 352741187 edges, 62779 markings/sec, 1215 secs
lola: 96746483 markings, 354251757 edges, 59415 markings/sec, 1220 secs
lola: 97093099 markings, 355787023 edges, 69323 markings/sec, 1225 secs
lola: 97549416 markings, 357317399 edges, 91263 markings/sec, 1230 secs
lola: 97984984 markings, 358813159 edges, 87114 markings/sec, 1235 secs
lola: 98419075 markings, 360298215 edges, 86818 markings/sec, 1240 secs
lola: 98794376 markings, 361832647 edges, 75060 markings/sec, 1245 secs
lola: 99208139 markings, 363353659 edges, 82753 markings/sec, 1250 secs
lola: 99603430 markings, 364842138 edges, 79058 markings/sec, 1255 secs
lola: 99986405 markings, 366283478 edges, 76595 markings/sec, 1260 secs
lola: 100370847 markings, 367746039 edges, 76888 markings/sec, 1265 secs
lola: 100680341 markings, 369233126 edges, 61899 markings/sec, 1270 secs
lola: 101088362 markings, 370711936 edges, 81604 markings/sec, 1275 secs
lola: 101470256 markings, 372149038 edges, 76379 markings/sec, 1280 secs
lola: 101845588 markings, 373561827 edges, 75066 markings/sec, 1285 secs
lola: 102218966 markings, 375001376 edges, 74676 markings/sec, 1290 secs
lola: 102526212 markings, 376461024 edges, 61449 markings/sec, 1295 secs
lola: 102930485 markings, 377924854 edges, 80855 markings/sec, 1300 secs
lola: 103308787 markings, 379348721 edges, 75660 markings/sec, 1305 secs
lola: 103679759 markings, 380744876 edges, 74194 markings/sec, 1310 secs
lola: 104050705 markings, 382171751 edges, 74189 markings/sec, 1315 secs
lola: 104350255 markings, 383607185 edges, 59910 markings/sec, 1320 secs
lola: 104752468 markings, 385061720 edges, 80443 markings/sec, 1325 secs
lola: 105126431 markings, 386469142 edges, 74793 markings/sec, 1330 secs
lola: 105492810 markings, 387847491 edges, 73276 markings/sec, 1335 secs
lola: 105819537 markings, 389076062 edges, 65345 markings/sec, 1340 secs
lola: 106122786 markings, 390499986 edges, 60650 markings/sec, 1345 secs
lola: 106475281 markings, 391828065 edges, 70499 markings/sec, 1350 secs
lola: 106886299 markings, 393370095 edges, 82204 markings/sec, 1355 secs
lola: 107247216 markings, 394727715 edges, 72183 markings/sec, 1360 secs
lola: 107609994 markings, 396092904 edges, 72556 markings/sec, 1365 secs
lola: 107923232 markings, 397525672 edges, 62648 markings/sec, 1370 secs
lola: 108287775 markings, 398928774 edges, 72909 markings/sec, 1375 secs
lola: 108659938 markings, 400329455 edges, 74433 markings/sec, 1380 secs
lola: 109021804 markings, 401691198 edges, 72373 markings/sec, 1385 secs
lola: 109385308 markings, 403052266 edges, 72701 markings/sec, 1390 secs
lola: 109706742 markings, 404477598 edges, 64287 markings/sec, 1395 secs
lola: 110018540 markings, 405727934 edges, 62360 markings/sec, 1400 secs
lola: 110390650 markings, 407119852 edges, 74422 markings/sec, 1405 secs
lola: 110753533 markings, 408484926 edges, 72577 markings/sec, 1410 secs
lola: 111110483 markings, 409827783 edges, 71390 markings/sec, 1415 secs
lola: 111447617 markings, 411213266 edges, 67427 markings/sec, 1420 secs
lola: 111758213 markings, 412583636 edges, 62119 markings/sec, 1425 secs
lola: 112133280 markings, 413961590 edges, 75013 markings/sec, 1430 secs
lola: 112493784 markings, 415317461 edges, 72101 markings/sec, 1435 secs
lola: 112848134 markings, 416650353 edges, 70870 markings/sec, 1440 secs
lola: 113206764 markings, 418011953 edges, 71726 markings/sec, 1445 secs
lola: 113490028 markings, 419376685 edges, 56653 markings/sec, 1450 secs
lola: 113859632 markings, 420741718 edges, 73921 markings/sec, 1455 secs
lola: 114218945 markings, 422086707 edges, 71863 markings/sec, 1460 secs
lola: 114572092 markings, 423415163 edges, 70629 markings/sec, 1465 secs
lola: 114925475 markings, 424744357 edges, 70677 markings/sec, 1470 secs
lola: 115229262 markings, 426113390 edges, 60757 markings/sec, 1475 secs
lola: 115570525 markings, 427456262 edges, 68253 markings/sec, 1480 secs
lola: 115923476 markings, 428783740 edges, 70590 markings/sec, 1485 secs
lola: 116272036 markings, 430094599 edges, 69712 markings/sec, 1490 secs
lola: 116616712 markings, 431391150 edges, 68935 markings/sec, 1495 secs
lola: 116942814 markings, 432724365 edges, 65220 markings/sec, 1500 secs
lola: 117230893 markings, 434029530 edges, 57616 markings/sec, 1505 secs
lola: 117597804 markings, 435366500 edges, 73382 markings/sec, 1510 secs
lola: 117945854 markings, 436675352 edges, 69610 markings/sec, 1515 secs
lola: 118291016 markings, 437972931 edges, 69032 markings/sec, 1520 secs
lola: 118637159 markings, 439275299 edges, 69229 markings/sec, 1525 secs
lola: 118924036 markings, 440606573 edges, 57375 markings/sec, 1530 secs
lola: 119286542 markings, 442003660 edges, 72501 markings/sec, 1535 secs
lola: 119666494 markings, 443433359 edges, 75990 markings/sec, 1540 secs
lola: 120045925 markings, 444856260 edges, 75886 markings/sec, 1545 secs
lola: 120418869 markings, 446258964 edges, 74589 markings/sec, 1550 secs
lola: 120745841 markings, 447727238 edges, 65394 markings/sec, 1555 secs
lola: 121089729 markings, 449157625 edges, 68778 markings/sec, 1560 secs
lola: 121455709 markings, 450672510 edges, 73196 markings/sec, 1565 secs
lola: 121815928 markings, 452160249 edges, 72044 markings/sec, 1570 secs
lola: 122164174 markings, 453680428 edges, 69649 markings/sec, 1575 secs
lola: 122485306 markings, 455169417 edges, 64226 markings/sec, 1580 secs
lola: 122800997 markings, 456632632 edges, 63138 markings/sec, 1585 secs
lola: 123137388 markings, 458137951 edges, 67278 markings/sec, 1590 secs
lola: 123453135 markings, 459608387 edges, 63149 markings/sec, 1595 secs
lola: 123767053 markings, 461063056 edges, 62784 markings/sec, 1600 secs
lola: 124101703 markings, 462559918 edges, 66930 markings/sec, 1605 secs
lola: 124418984 markings, 464030781 edges, 63456 markings/sec, 1610 secs
lola: 124731539 markings, 465479674 edges, 62511 markings/sec, 1615 secs
lola: 125066992 markings, 466980442 edges, 67091 markings/sec, 1620 secs
lola: 125394744 markings, 468500245 edges, 65550 markings/sec, 1625 secs
lola: 125712414 markings, 469973453 edges, 63534 markings/sec, 1630 secs
lola: 126054266 markings, 471477366 edges, 68370 markings/sec, 1635 secs
lola: 126377419 markings, 472958713 edges, 64631 markings/sec, 1640 secs
lola: 126712622 markings, 474440479 edges, 67041 markings/sec, 1645 secs
lola: 127182621 markings, 475843988 edges, 94000 markings/sec, 1650 secs
lola: 127662533 markings, 477327258 edges, 95982 markings/sec, 1655 secs
lola: 128132239 markings, 478779129 edges, 93941 markings/sec, 1660 secs
lola: 128507083 markings, 480139929 edges, 74969 markings/sec, 1665 secs
lola: 128887041 markings, 481401623 edges, 75992 markings/sec, 1670 secs
lola: 129315717 markings, 482867634 edges, 85735 markings/sec, 1675 secs
lola: 129735727 markings, 484310240 edges, 84002 markings/sec, 1680 secs
lola: 130143441 markings, 485789366 edges, 81543 markings/sec, 1685 secs
lola: 130213868 markings, 486114070 edges, 14085 markings/sec, 1690 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: F (((((1 <= p191)) U ((1 <= p14))) OR ((1 <= p107))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (((((1 <= p191)) U ((1 <= p14))) OR ((1 <= p107))))
lola: processed formula length: 53
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 1 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: 387931 markings, 1304640 edges, 77586 markings/sec, 0 secs
lola: 772615 markings, 2841388 edges, 76937 markings/sec, 5 secs
lola: 1171351 markings, 4376291 edges, 79747 markings/sec, 10 secs
lola: 1507803 markings, 5770360 edges, 67290 markings/sec, 15 secs
lola: 1886946 markings, 7274636 edges, 75829 markings/sec, 20 secs
lola: 2263566 markings, 8761429 edges, 75324 markings/sec, 25 secs
lola: time limit reached - aborting
lola:
preliminary result: no no unknown unknown no yes no unknown no no no unknown no no no
lola:
preliminary result: no no unknown unknown no yes no unknown no no no unknown no no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no unknown unknown no yes no unknown no no no unknown no no no
lola: memory consumption: 377516 KB
lola: lola: memory consumption: 377516 KB
lola: time consumption: 3570 secondstime consumption: 3570 seconds
lola: lola: print data as JSON (--json)
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: no no unknown unknown no yes no unknown no no no unknown no no no
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: memory consumption: 377928 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
--------------------
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-03b"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itslola"
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 itslola"
echo " Input is AutoFlight-PT-03b, 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 r166-smll-158987787700410"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-03b.tgz
mv AutoFlight-PT-03b 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 ;