About the Execution of 2019-Gold for AutoFlight-PT-05b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4270.770 | 3570108.00 | 3617556.00 | 9719.30 | ?F?FFF??T??T??F? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r015-smll-158897552800112.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool win2019
Input is AutoFlight-PT-05b, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r015-smll-158897552800112
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 288K
-rw-r--r-- 1 mcc users 3.3K Mar 25 23:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 23:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 18:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 18:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 25 15:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 15:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 10:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 10:43 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 113K 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-05b-00
FORMULA_NAME AutoFlight-PT-05b-01
FORMULA_NAME AutoFlight-PT-05b-02
FORMULA_NAME AutoFlight-PT-05b-03
FORMULA_NAME AutoFlight-PT-05b-04
FORMULA_NAME AutoFlight-PT-05b-05
FORMULA_NAME AutoFlight-PT-05b-06
FORMULA_NAME AutoFlight-PT-05b-07
FORMULA_NAME AutoFlight-PT-05b-08
FORMULA_NAME AutoFlight-PT-05b-09
FORMULA_NAME AutoFlight-PT-05b-10
FORMULA_NAME AutoFlight-PT-05b-11
FORMULA_NAME AutoFlight-PT-05b-12
FORMULA_NAME AutoFlight-PT-05b-13
FORMULA_NAME AutoFlight-PT-05b-14
FORMULA_NAME AutoFlight-PT-05b-15
=== Now, execution of the tool begins
BK_START 1589294990501
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ AutoFlight-PT-05b @ 3570 seconds
FORMULA AutoFlight-PT-05b-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-05b-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-05b-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-05b-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-05b-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-05b-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-05b-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ AutoFlight-PT-05b
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Tue May 12 14:49:50 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 4
},
"processed": "A (((X (FIREABLE(t74)) AND F (G (FIREABLE(t347)))) OR (FIREABLE(t241) AND X (FIREABLE(t467)))))",
"processed_size": 95,
"rewrites": 98
},
"result":
{
"edges": 256,
"markings": 256,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 240
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 1,
"aneg": 3,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((NOT FIREABLE(t260) OR (NOT FIREABLE(t6) AND X (G ((NOT FIREABLE(t260) AND FIREABLE(t6)))))))",
"processed_size": 96,
"rewrites": 98
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 264
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (X (X (X (F (NOT FIREABLE(t436))))))",
"processed_size": 38,
"rewrites": 98
},
"result":
{
"edges": 3,
"markings": 4,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (X (X (X (((FIREABLE(t441) OR F (FIREABLE(t407))) R NOT FIREABLE(t126))))))",
"processed_size": 77,
"rewrites": 98
},
"result":
{
"edges": 256,
"markings": 256,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 347
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 2,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (G (F ((FIREABLE(t236) OR (F (FIREABLE(t428)) OR G (F (FIREABLE(t236))))))))",
"processed_size": 78,
"rewrites": 98
},
"result":
{
"edges": 239,
"markings": 239,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 462
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 462
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (FIREABLE(t416)))",
"processed_size": 22,
"rewrites": 100
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 14,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 925
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 925
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (F (G (FIREABLE(t307))))",
"processed_size": 26,
"rewrites": 98
},
"result":
{
"edges": 241,
"markings": 240,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 3744768,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(X(G(*))) : (A(G(**)) AND A(F(**))) : A((** U X(X(G((G(**) OR (G(F(*)) AND F(G(**))))))))) : A(G(F((** OR (F(**) OR G(F(**))))))) : (A(G(F(*))) AND A(F(G(*)))) : A(((X(**) AND F(G(**))) OR (** AND X(**)))) : A(F(G((* OR X(G(*)))))) : A((** OR ((X(**) U **) OR (G(*) AND F((** OR (X(**) U **))))))) : A((* OR (* AND X(G(*))))) : A(G((* OR G(*)))) : (A(X(F(**))) AND A(X((** U X(**))))) : A(X(X(X(F(*))))) : A(F(G(*))) : A(X(G((F(**) OR (** AND X(F(**))))))) : A(X(X(X(((** OR F(**)) R *))))) : A(X((F(**) U **)))"
},
"net":
{
"arcs": 1120,
"conflict_clusters": 418,
"places": 482,
"places_significant": 448,
"singleton_clusters": 0,
"transitions": 480
},
"result":
{
"interim_value": "unknown no unknown no no no unknown unknown yes unknown unknown yes unknown unknown no unknown ",
"preliminary_value": "unknown no unknown no no no unknown unknown yes unknown unknown yes unknown unknown no unknown "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 962/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 482
lola: finding significant places
lola: 482 places, 480 transitions, 448 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: A (X (G (NOT(F (((G ((FIREABLE(t408) U FIREABLE(t198))) U NOT FIREABLE(t127)) U FIREABLE(t198))))))) : A ((G (FIREABLE(t416)) AND F ((FIREABLE(t10) AND NOT FIREABLE(t379))))) : A (((FIREABLE(t113) AND FIREABLE(t50)) U X (G (X ((G (NOT(G (FIREABLE(t60)))) U G (NOT FIREABLE(t113)))))))) : A (G (F (((FIREABLE(t236) OR F (FIREABLE(t428))) OR X (G (F (FIREABLE(t236)))))))) : A (G (NOT((G (X (FIREABLE(t102))) OR G (NOT(G (NOT(X ((FIREABLE(t102) U NOT FIREABLE(t307))))))))))) : A (((X (FIREABLE(t74)) AND NOT(G (NOT(G (FIREABLE(t347)))))) OR (FIREABLE(t241) AND X (FIREABLE(t467))))) : A (NOT(G (F (X ((NOT FIREABLE(t232) AND X (F (FIREABLE(t218))))))))) : A ((NOT(((FIREABLE(t201) OR FIREABLE(t100)) U F (FIREABLE(t13)))) U (FIREABLE(t13) OR (X (FIREABLE(t100)) U FIREABLE(t419))))) : A (NOT((FIREABLE(t260) AND (FIREABLE(t6) OR F (X ((FIREABLE(t260) OR NOT FIREABLE(t6)))))))) : A (G (NOT(((FIREABLE(t76) AND FIREABLE(t290)) AND F (FIREABLE(t76)))))) : A (X ((F (FIREABLE(t174)) AND ((NOT FIREABLE(t429) OR NOT FIREABLE(t140)) U X (NOT FIREABLE(t457)))))) : A (X (X (F (NOT(X (FIREABLE(t436))))))) : A (F ((F (X ((NOT FIREABLE(t249) OR FIREABLE(t284)))) U F (NOT(F (FIREABLE(t284))))))) : A (X (G ((F (NOT FIREABLE(t357)) OR (FIREABLE(t347) AND X (F (FIREABLE(t347)))))))) : A (NOT(X ((NOT(X (X ((FIREABLE(t441) OR F (FIREABLE(t407)))))) U X (X (FIREABLE(t126))))))) : A ((X (F (FIREABLE(t73))) U X (FIREABLE(t418))))
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:410
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:338
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (NOT FIREABLE(t198))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (NOT FIREABLE(t198))))
lola: processed formula length: 30
lola: 98 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: 178458 markings, 1119630 edges, 35692 markings/sec, 0 secs
lola: 350803 markings, 2252465 edges, 34469 markings/sec, 5 secs
lola: 500989 markings, 3384422 edges, 30037 markings/sec, 10 secs
lola: 658056 markings, 4520962 edges, 31413 markings/sec, 15 secs
lola: 807852 markings, 5652326 edges, 29959 markings/sec, 20 secs
lola: 963654 markings, 6780465 edges, 31160 markings/sec, 25 secs
lola: 1112362 markings, 7899959 edges, 29742 markings/sec, 30 secs
lola: 1266461 markings, 9018015 edges, 30820 markings/sec, 35 secs
lola: 1413993 markings, 10129894 edges, 29506 markings/sec, 40 secs
lola: 1567161 markings, 11239054 edges, 30634 markings/sec, 45 secs
lola: 1713428 markings, 12344369 edges, 29253 markings/sec, 50 secs
lola: 1866170 markings, 13447963 edges, 30548 markings/sec, 55 secs
lola: 2012048 markings, 14548497 edges, 29176 markings/sec, 60 secs
lola: 2163429 markings, 15646877 edges, 30276 markings/sec, 65 secs
lola: 2309681 markings, 16742285 edges, 29250 markings/sec, 70 secs
lola: 2460104 markings, 17838669 edges, 30085 markings/sec, 75 secs
lola: 2611068 markings, 18968197 edges, 30193 markings/sec, 80 secs
lola: 2765102 markings, 20092669 edges, 30807 markings/sec, 85 secs
lola: 2916779 markings, 21231036 edges, 30335 markings/sec, 90 secs
lola: 3066982 markings, 22364042 edges, 30041 markings/sec, 95 secs
lola: 3200640 markings, 23500214 edges, 26732 markings/sec, 100 secs
lola: 3332847 markings, 24620195 edges, 26441 markings/sec, 105 secs
lola: 3470736 markings, 25762516 edges, 27578 markings/sec, 110 secs
lola: 3601266 markings, 26873306 edges, 26106 markings/sec, 115 secs
lola: 3738787 markings, 28007081 edges, 27504 markings/sec, 120 secs
lola: 3867347 markings, 29103655 edges, 25712 markings/sec, 125 secs
lola: 4002803 markings, 30219898 edges, 27091 markings/sec, 130 secs
lola: 4131871 markings, 31319367 edges, 25814 markings/sec, 135 secs
lola: 4264573 markings, 32417259 edges, 26540 markings/sec, 140 secs
lola: 4395594 markings, 33523910 edges, 26204 markings/sec, 145 secs
lola: 4523895 markings, 34609713 edges, 25660 markings/sec, 150 secs
lola: 4658110 markings, 35717081 edges, 26843 markings/sec, 155 secs
lola: 4785309 markings, 36801921 edges, 25440 markings/sec, 160 secs
lola: 4918532 markings, 37900884 edges, 26645 markings/sec, 165 secs
lola: 5045357 markings, 38980366 edges, 25365 markings/sec, 170 secs
lola: 5177308 markings, 40071386 edges, 26390 markings/sec, 175 secs
lola: 5310243 markings, 41202039 edges, 26587 markings/sec, 180 secs
lola: 5440771 markings, 42309609 edges, 26106 markings/sec, 185 secs
lola: 5597354 markings, 43448666 edges, 31317 markings/sec, 190 secs
lola: 5744637 markings, 44560360 edges, 29457 markings/sec, 195 secs
lola: 5882946 markings, 45700024 edges, 27662 markings/sec, 200 secs
lola: 6013314 markings, 46806625 edges, 26074 markings/sec, 205 secs
lola: 6150330 markings, 47938940 edges, 27403 markings/sec, 210 secs
lola: 6280835 markings, 49046619 edges, 26101 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 960612 KB
lola: time consumption: 227 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t113) AND FIREABLE(t50)) U X (X (G ((G (NOT FIREABLE(t113)) OR (G (F (NOT FIREABLE(t60))) AND F (G (NOT FIREABLE(t113))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t113) AND FIREABLE(t50)) U X (X (G ((G (NOT FIREABLE(t113)) OR (G (F (NOT FIREABLE(t60))) AND F (G (NOT FIREABLE(t113))))))))))
lola: processed formula length: 141
lola: 98 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 91 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: 181561 markings, 1138480 edges, 36312 markings/sec, 0 secs
lola: 352190 markings, 2262199 edges, 34126 markings/sec, 5 secs
lola: 502314 markings, 3394758 edges, 30025 markings/sec, 10 secs
lola: 657107 markings, 4514234 edges, 30959 markings/sec, 15 secs
lola: 805037 markings, 5631525 edges, 29586 markings/sec, 20 secs
lola: 959508 markings, 6748661 edges, 30894 markings/sec, 25 secs
lola: 1107018 markings, 7862966 edges, 29502 markings/sec, 30 secs
lola: 1261466 markings, 8979712 edges, 30890 markings/sec, 35 secs
lola: 1408714 markings, 10091581 edges, 29450 markings/sec, 40 secs
lola: 1533038 markings, 10996026 edges, 24865 markings/sec, 45 secs
lola: 1682438 markings, 12110260 edges, 29880 markings/sec, 50 secs
lola: 1831914 markings, 13208788 edges, 29895 markings/sec, 55 secs
lola: 1981079 markings, 14317532 edges, 29833 markings/sec, 60 secs
lola: 2128891 markings, 15410896 edges, 29562 markings/sec, 65 secs
lola: 2278643 markings, 16513103 edges, 29950 markings/sec, 70 secs
lola: 2423651 markings, 17596793 edges, 29002 markings/sec, 75 secs
lola: 2578934 markings, 18728213 edges, 31057 markings/sec, 80 secs
lola: 2729112 markings, 19850076 edges, 30036 markings/sec, 85 secs
lola: 2885394 markings, 20997453 edges, 31256 markings/sec, 90 secs
lola: 3036018 markings, 22124336 edges, 30125 markings/sec, 95 secs
lola: 3168267 markings, 23225205 edges, 26450 markings/sec, 100 secs
lola: 3299402 markings, 24340546 edges, 26227 markings/sec, 105 secs
lola: 3438374 markings, 25488438 edges, 27794 markings/sec, 110 secs
lola: 3569605 markings, 26603159 edges, 26246 markings/sec, 115 secs
lola: 3706543 markings, 27733894 edges, 27388 markings/sec, 120 secs
lola: 3836687 markings, 28840727 edges, 26029 markings/sec, 125 secs
lola: 3971186 markings, 29950259 edges, 26900 markings/sec, 130 secs
lola: 4101475 markings, 31061595 edges, 26058 markings/sec, 135 secs
lola: 4230058 markings, 32152644 edges, 25717 markings/sec, 140 secs
lola: 4364998 markings, 33266204 edges, 26988 markings/sec, 145 secs
lola: 4493400 markings, 34351890 edges, 25680 markings/sec, 150 secs
lola: 4627924 markings, 35461788 edges, 26905 markings/sec, 155 secs
lola: 4755648 markings, 36547721 edges, 25545 markings/sec, 160 secs
lola: 4887872 markings, 37639188 edges, 26445 markings/sec, 165 secs
lola: 5016080 markings, 38729589 edges, 25642 markings/sec, 170 secs
lola: 5141605 markings, 39801551 edges, 25105 markings/sec, 175 secs
lola: 5280127 markings, 40942740 edges, 27704 markings/sec, 180 secs
lola: 5410236 markings, 42051217 edges, 26022 markings/sec, 185 secs
lola: 5563324 markings, 43194093 edges, 30618 markings/sec, 190 secs
lola: 5711196 markings, 44309759 edges, 29574 markings/sec, 195 secs
lola: 5854381 markings, 45452439 edges, 28637 markings/sec, 200 secs
lola: 5984291 markings, 46560601 edges, 25982 markings/sec, 205 secs
lola: 6120856 markings, 47685063 edges, 27313 markings/sec, 210 secs
lola: 6251289 markings, 48797357 edges, 26087 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 964768 KB
lola: time consumption: 449 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 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((X (FIREABLE(t74)) AND F (G (FIREABLE(t347)))) OR (FIREABLE(t241) AND X (FIREABLE(t467)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((X (FIREABLE(t74)) AND F (G (FIREABLE(t347)))) OR (FIREABLE(t241) AND X (FIREABLE(t467)))))
lola: processed formula length: 95
lola: 98 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 256 markings, 256 edges
lola: ========================================
lola: subprocess 3 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((FIREABLE(t232) OR X (G (NOT FIREABLE(t218)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((FIREABLE(t232) OR X (G (NOT FIREABLE(t218)))))))
lola: processed formula length: 58
lola: 98 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: 153913 markings, 1160810 edges, 30783 markings/sec, 0 secs
lola: 285485 markings, 2326216 edges, 26314 markings/sec, 5 secs
lola: 418213 markings, 3468392 edges, 26546 markings/sec, 10 secs
lola: 549653 markings, 4595928 edges, 26288 markings/sec, 15 secs
lola: 679910 markings, 5731305 edges, 26051 markings/sec, 20 secs
lola: 805912 markings, 6847701 edges, 25200 markings/sec, 25 secs
lola: 935083 markings, 7947483 edges, 25834 markings/sec, 30 secs
lola: 1062925 markings, 9111555 edges, 25568 markings/sec, 35 secs
lola: 1178290 markings, 10270639 edges, 23073 markings/sec, 40 secs
lola: 1291175 markings, 11415979 edges, 22577 markings/sec, 45 secs
lola: 1403721 markings, 12550636 edges, 22509 markings/sec, 50 secs
lola: 1516676 markings, 13677655 edges, 22591 markings/sec, 55 secs
lola: 1630242 markings, 14799194 edges, 22713 markings/sec, 60 secs
lola: 1742420 markings, 15923185 edges, 22436 markings/sec, 65 secs
lola: 1866021 markings, 17077301 edges, 24720 markings/sec, 70 secs
lola: 1988082 markings, 18236396 edges, 24412 markings/sec, 75 secs
lola: 2101328 markings, 19386652 edges, 22649 markings/sec, 80 secs
lola: 2214628 markings, 20526679 edges, 22660 markings/sec, 85 secs
lola: 2329660 markings, 21663352 edges, 23006 markings/sec, 90 secs
lola: 2442998 markings, 22789782 edges, 22668 markings/sec, 95 secs
lola: 2554580 markings, 23907888 edges, 22316 markings/sec, 100 secs
lola: 2667608 markings, 25028625 edges, 22606 markings/sec, 105 secs
lola: 2791351 markings, 26174567 edges, 24749 markings/sec, 110 secs
lola: 2908018 markings, 27319120 edges, 23333 markings/sec, 115 secs
lola: 3020654 markings, 28451724 edges, 22527 markings/sec, 120 secs
lola: 3133747 markings, 29572403 edges, 22619 markings/sec, 125 secs
lola: 3245603 markings, 30684018 edges, 22371 markings/sec, 130 secs
lola: 3355831 markings, 31788374 edges, 22046 markings/sec, 135 secs
lola: 3466158 markings, 32885178 edges, 22065 markings/sec, 140 secs
lola: 3577661 markings, 33994649 edges, 22301 markings/sec, 145 secs
lola: 3700504 markings, 35131617 edges, 24569 markings/sec, 150 secs
lola: 3815996 markings, 36264496 edges, 23098 markings/sec, 155 secs
lola: 3927781 markings, 37388461 edges, 22357 markings/sec, 160 secs
lola: 4039753 markings, 38501405 edges, 22394 markings/sec, 165 secs
lola: 4151419 markings, 39607412 edges, 22333 markings/sec, 170 secs
lola: 4261076 markings, 40704581 edges, 21931 markings/sec, 175 secs
lola: 4370184 markings, 41794947 edges, 21822 markings/sec, 180 secs
lola: 4480756 markings, 42893621 edges, 22114 markings/sec, 185 secs
lola: 4602659 markings, 44022266 edges, 24381 markings/sec, 190 secs
lola: 4718229 markings, 45148845 edges, 23114 markings/sec, 195 secs
lola: 4829286 markings, 46265067 edges, 22211 markings/sec, 200 secs
lola: 4939391 markings, 47373708 edges, 22021 markings/sec, 205 secs
lola: 5051246 markings, 48476653 edges, 22371 markings/sec, 210 secs
lola: 5161304 markings, 49571932 edges, 22012 markings/sec, 215 secs
lola: 5270104 markings, 50660973 edges, 21760 markings/sec, 220 secs
lola: 5379703 markings, 51754942 edges, 21920 markings/sec, 225 secs
lola: 5500569 markings, 52876806 edges, 24173 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 808084 KB
lola: time consumption: 689 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t13) OR ((X (FIREABLE(t100)) U FIREABLE(t419)) OR (G (NOT FIREABLE(t13)) AND F ((FIREABLE(t13) OR (X (FIREABLE(t100)) U FIREABLE(t419))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t13) OR ((X (FIREABLE(t100)) U FIREABLE(t419)) OR (G (NOT FIREABLE(t13)) AND F ((FIREABLE(t13) OR (X (FIREABLE(t100)) U FIREABLE(t419))))))))
lola: processed formula length: 154
lola: 98 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 13 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: 181669 markings, 1139268 edges, 36334 markings/sec, 0 secs
lola: 343843 markings, 2201370 edges, 32435 markings/sec, 5 secs
lola: 495721 markings, 3340430 edges, 30376 markings/sec, 10 secs
lola: 651079 markings, 4471893 edges, 31072 markings/sec, 15 secs
lola: 801696 markings, 5605211 edges, 30123 markings/sec, 20 secs
lola: 956701 markings, 6728777 edges, 31001 markings/sec, 25 secs
lola: 1105077 markings, 7846993 edges, 29675 markings/sec, 30 secs
lola: 1258631 markings, 8960011 edges, 30711 markings/sec, 35 secs
lola: 1406314 markings, 10072356 edges, 29537 markings/sec, 40 secs
lola: 1558574 markings, 11177382 edges, 30452 markings/sec, 45 secs
lola: 1706199 markings, 12285365 edges, 29525 markings/sec, 50 secs
lola: 1857514 markings, 13386624 edges, 30263 markings/sec, 55 secs
lola: 2004929 markings, 14489175 edges, 29483 markings/sec, 60 secs
lola: 2154654 markings, 15582595 edges, 29945 markings/sec, 65 secs
lola: 2301107 markings, 16677430 edges, 29291 markings/sec, 70 secs
lola: 2449572 markings, 17767177 edges, 29693 markings/sec, 75 secs
lola: 2601929 markings, 18901195 edges, 30471 markings/sec, 80 secs
lola: 2755243 markings, 20024466 edges, 30663 markings/sec, 85 secs
lola: 2908662 markings, 21165561 edges, 30684 markings/sec, 90 secs
lola: 3058152 markings, 22295414 edges, 29898 markings/sec, 95 secs
lola: 3192161 markings, 23433060 edges, 26802 markings/sec, 100 secs
lola: 3323498 markings, 24547953 edges, 26267 markings/sec, 105 secs
lola: 3461685 markings, 25691078 edges, 27637 markings/sec, 110 secs
lola: 3592528 markings, 26800991 edges, 26169 markings/sec, 115 secs
lola: 3729594 markings, 27933818 edges, 27413 markings/sec, 120 secs
lola: 3859341 markings, 29034276 edges, 25949 markings/sec, 125 secs
lola: 3994236 markings, 30147556 edges, 26979 markings/sec, 130 secs
lola: 4124397 markings, 31249726 edges, 26032 markings/sec, 135 secs
lola: 4255573 markings, 32342643 edges, 26235 markings/sec, 140 secs
lola: 4387348 markings, 33449684 edges, 26355 markings/sec, 145 secs
lola: 4514010 markings, 34530557 edges, 25332 markings/sec, 150 secs
lola: 4648535 markings, 35640409 edges, 26905 markings/sec, 155 secs
lola: 4775368 markings, 36720410 edges, 25367 markings/sec, 160 secs
lola: 4907891 markings, 37816049 edges, 26505 markings/sec, 165 secs
lola: 5035361 markings, 38895952 edges, 25494 markings/sec, 170 secs
lola: 5165754 markings, 39977147 edges, 26079 markings/sec, 175 secs
lola: 5300354 markings, 41110312 edges, 26920 markings/sec, 180 secs
lola: 5430588 markings, 42216239 edges, 26047 markings/sec, 185 secs
lola: 5584594 markings, 43357357 edges, 30801 markings/sec, 190 secs
lola: 5733181 markings, 44467053 edges, 29717 markings/sec, 195 secs
lola: 5872515 markings, 45604496 edges, 27867 markings/sec, 200 secs
lola: 6002423 markings, 46706816 edges, 25982 markings/sec, 205 secs
lola: 6138964 markings, 47834472 edges, 27308 markings/sec, 210 secs
lola: 6268823 markings, 48938924 edges, 25972 markings/sec, 215 secs
lola: 6402940 markings, 50045419 edges, 26823 markings/sec, 220 secs
lola: 6532209 markings, 51146734 edges, 25854 markings/sec, 225 secs
lola: 6660050 markings, 52230053 edges, 25568 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1034216 KB
lola: time consumption: 929 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((NOT FIREABLE(t260) OR (NOT FIREABLE(t6) AND X (G ((NOT FIREABLE(t260) AND FIREABLE(t6)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((NOT FIREABLE(t260) OR (NOT FIREABLE(t6) AND X (G ((NOT FIREABLE(t260) AND FIREABLE(t6)))))))
lola: processed formula length: 96
lola: 98 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 264 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (F (FIREABLE(t174)))) AND A (X (((NOT FIREABLE(t429) OR NOT FIREABLE(t140)) U X (NOT FIREABLE(t457))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 264 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (FIREABLE(t174))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (FIREABLE(t174))))
lola: processed formula length: 26
lola: 98 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 324138 markings, 997775 edges, 64828 markings/sec, 0 secs
lola: 626358 markings, 2051721 edges, 60444 markings/sec, 5 secs
lola: 929238 markings, 3106397 edges, 60576 markings/sec, 10 secs
lola: 1235745 markings, 4161344 edges, 61301 markings/sec, 15 secs
lola: 1541850 markings, 5228711 edges, 61221 markings/sec, 20 secs
lola: 1878902 markings, 6291601 edges, 67410 markings/sec, 25 secs
lola: 2226559 markings, 7381396 edges, 69531 markings/sec, 30 secs
lola: 2520404 markings, 8459886 edges, 58769 markings/sec, 35 secs
lola: 2811474 markings, 9529401 edges, 58214 markings/sec, 40 secs
lola: 3100276 markings, 10591225 edges, 57760 markings/sec, 45 secs
lola: 3387974 markings, 11649582 edges, 57540 markings/sec, 50 secs
lola: 3673348 markings, 12703741 edges, 57075 markings/sec, 55 secs
lola: 3959644 markings, 13754084 edges, 57259 markings/sec, 60 secs
lola: 4244890 markings, 14800331 edges, 57049 markings/sec, 65 secs
lola: 4535572 markings, 15867395 edges, 58136 markings/sec, 70 secs
lola: 4832856 markings, 16941225 edges, 59457 markings/sec, 75 secs
lola: 5095403 markings, 18009621 edges, 52509 markings/sec, 80 secs
lola: 5350196 markings, 19064046 edges, 50959 markings/sec, 85 secs
lola: 5603166 markings, 20110540 edges, 50594 markings/sec, 90 secs
lola: 5853589 markings, 21147152 edges, 50085 markings/sec, 95 secs
lola: 6102759 markings, 22178622 edges, 49834 markings/sec, 100 secs
lola: 6347666 markings, 23203009 edges, 48981 markings/sec, 105 secs
lola: 6592922 markings, 24225327 edges, 49051 markings/sec, 110 secs
lola: 6840753 markings, 25250013 edges, 49566 markings/sec, 115 secs
lola: 7092502 markings, 26291223 edges, 50350 markings/sec, 120 secs
lola: 7367822 markings, 27343397 edges, 55064 markings/sec, 125 secs
lola: 7642536 markings, 28400253 edges, 54943 markings/sec, 130 secs
lola: 7894335 markings, 29443809 edges, 50360 markings/sec, 135 secs
lola: 8142779 markings, 30478310 edges, 49689 markings/sec, 140 secs
lola: 8388704 markings, 31506396 edges, 49185 markings/sec, 145 secs
lola: 8637582 markings, 32537536 edges, 49776 markings/sec, 150 secs
lola: 8886086 markings, 33565079 edges, 49701 markings/sec, 155 secs
lola: 9132644 markings, 34586291 edges, 49312 markings/sec, 160 secs
lola: 9378700 markings, 35603282 edges, 49211 markings/sec, 165 secs
lola: 9623856 markings, 36617866 edges, 49031 markings/sec, 170 secs
lola: 9871122 markings, 37659541 edges, 49453 markings/sec, 175 secs
lola: 10161700 markings, 38712545 edges, 58116 markings/sec, 180 secs
lola: 10419672 markings, 39762130 edges, 51594 markings/sec, 185 secs
lola: 10671299 markings, 40803060 edges, 50325 markings/sec, 190 secs
lola: 10920685 markings, 41834974 edges, 49877 markings/sec, 195 secs
lola: 11168392 markings, 42860525 edges, 49541 markings/sec, 200 secs
lola: 11415056 markings, 43880145 edges, 49333 markings/sec, 205 secs
lola: 11655504 markings, 44893908 edges, 48090 markings/sec, 210 secs
lola: 11900926 markings, 45908309 edges, 49084 markings/sec, 215 secs
lola: 12145076 markings, 46919128 edges, 48830 markings/sec, 220 secs
lola: 12393344 markings, 47945767 edges, 49654 markings/sec, 225 secs
lola: 12663000 markings, 48988927 edges, 53931 markings/sec, 230 secs
lola: 12940932 markings, 50044165 edges, 55586 markings/sec, 235 secs
lola: 13192118 markings, 51085337 edges, 50237 markings/sec, 240 secs
lola: 13436658 markings, 52114505 edges, 48908 markings/sec, 245 secs
lola: 13685422 markings, 53143253 edges, 49753 markings/sec, 250 secs
lola: 13933087 markings, 54169041 edges, 49533 markings/sec, 255 secs
lola: local time limit reached - aborting
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: unknown unknown unknown unknown unknown no unknown unknown yes unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown no unknown unknown yes unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2247020 KB
lola: time consumption: 1193 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown no unknown unknown yes unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2247020 KB
lola: time consumption: 1193 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 7 will run for 264 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X (F (NOT FIREABLE(t436))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (F (NOT FIREABLE(t436))))))
lola: processed formula length: 38
lola: 98 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: 4 markings, 3 edges
lola: ========================================
lola: subprocess 8 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((F (NOT FIREABLE(t357)) OR (FIREABLE(t347) AND X (F (FIREABLE(t347))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((F (NOT FIREABLE(t357)) OR (FIREABLE(t347) AND X (F (FIREABLE(t347))))))))
lola: processed formula length: 83
lola: 98 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: 182659 markings, 1145222 edges, 36532 markings/sec, 0 secs
lola: 354490 markings, 2278248 edges, 34366 markings/sec, 5 secs
lola: 503996 markings, 3408494 edges, 29901 markings/sec, 10 secs
lola: 659893 markings, 4535490 edges, 31179 markings/sec, 15 secs
lola: 809088 markings, 5660037 edges, 29839 markings/sec, 20 secs
lola: 963572 markings, 6779793 edges, 30897 markings/sec, 25 secs
lola: 1110726 markings, 7889944 edges, 29431 markings/sec, 30 secs
lola: 1264061 markings, 8998796 edges, 30667 markings/sec, 35 secs
lola: 1410095 markings, 10102257 edges, 29207 markings/sec, 40 secs
lola: 1562178 markings, 11202668 edges, 30417 markings/sec, 45 secs
lola: 1708234 markings, 12302529 edges, 29211 markings/sec, 50 secs
lola: 1859038 markings, 13398022 edges, 30161 markings/sec, 55 secs
lola: 2005567 markings, 14493849 edges, 29306 markings/sec, 60 secs
lola: 2154441 markings, 15581101 edges, 29775 markings/sec, 65 secs
lola: 2299958 markings, 16669781 edges, 29103 markings/sec, 70 secs
lola: 2447715 markings, 17754090 edges, 29551 markings/sec, 75 secs
lola: 2599268 markings, 18882319 edges, 30311 markings/sec, 80 secs
lola: 2751711 markings, 20000067 edges, 30489 markings/sec, 85 secs
lola: 2904549 markings, 21137137 edges, 30568 markings/sec, 90 secs
lola: 3053990 markings, 22262139 edges, 29888 markings/sec, 95 secs
lola: 3187999 markings, 23395951 edges, 26802 markings/sec, 100 secs
lola: 3319215 markings, 24507612 edges, 26243 markings/sec, 105 secs
lola: 3456832 markings, 25647351 edges, 27523 markings/sec, 110 secs
lola: 3587654 markings, 26755151 edges, 26164 markings/sec, 115 secs
lola: 3723858 markings, 27882131 edges, 27241 markings/sec, 120 secs
lola: 3853392 markings, 28978758 edges, 25907 markings/sec, 125 secs
lola: 3987526 markings, 30085034 edges, 26827 markings/sec, 130 secs
lola: 4116783 markings, 31184574 edges, 25851 markings/sec, 135 secs
lola: 4245632 markings, 32272285 edges, 25770 markings/sec, 140 secs
lola: 4378316 markings, 33376135 edges, 26537 markings/sec, 145 secs
lola: 4504162 markings, 34451513 edges, 25169 markings/sec, 150 secs
lola: 4638210 markings, 35557104 edges, 26810 markings/sec, 155 secs
lola: 4765498 markings, 36634760 edges, 25458 markings/sec, 160 secs
lola: 4897756 markings, 37722473 edges, 26452 markings/sec, 165 secs
lola: 5024624 markings, 38800384 edges, 25374 markings/sec, 170 secs
lola: 5151091 markings, 39869340 edges, 25293 markings/sec, 175 secs
lola: 5287145 markings, 41001358 edges, 27211 markings/sec, 180 secs
lola: 5416586 markings, 42101766 edges, 25888 markings/sec, 185 secs
lola: 5569300 markings, 43239084 edges, 30543 markings/sec, 190 secs
lola: 5715838 markings, 44344326 edges, 29308 markings/sec, 195 secs
lola: 5857456 markings, 45478369 edges, 28324 markings/sec, 200 secs
lola: 5986849 markings, 46579477 edges, 25879 markings/sec, 205 secs
lola: 6122377 markings, 47697653 edges, 27106 markings/sec, 210 secs
lola: 6251794 markings, 48801955 edges, 25883 markings/sec, 215 secs
lola: 6384910 markings, 49900753 edges, 26623 markings/sec, 220 secs
lola: 6514916 markings, 51001609 edges, 26001 markings/sec, 225 secs
lola: 6642349 markings, 52078970 edges, 25487 markings/sec, 230 secs
lola: 6775875 markings, 53180085 edges, 26705 markings/sec, 235 secs
lola: 6901524 markings, 54252210 edges, 25130 markings/sec, 240 secs
lola: 7033857 markings, 55343163 edges, 26467 markings/sec, 245 secs
lola: 7159826 markings, 56419644 edges, 25194 markings/sec, 250 secs
lola: 7290043 markings, 57494820 edges, 26043 markings/sec, 255 secs
lola: 7418263 markings, 58575078 edges, 25644 markings/sec, 260 secs
lola: 7542719 markings, 59633945 edges, 24891 markings/sec, 265 secs
lola: 7673741 markings, 60715987 edges, 26204 markings/sec, 270 secs
lola: 7797331 markings, 61770327 edges, 24718 markings/sec, 275 secs
lola: 7929660 markings, 62860718 edges, 26466 markings/sec, 280 secs
lola: 8059961 markings, 63965846 edges, 26060 markings/sec, 285 secs
lola: 8195876 markings, 65067001 edges, 27183 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown no unknown unknown yes unknown unknown yes unknown unknown unknown unknown
lola: memory consumption: 1251460 KB
lola: time consumption: 1490 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 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X (((FIREABLE(t441) OR F (FIREABLE(t407))) R NOT FIREABLE(t126))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (((FIREABLE(t441) OR F (FIREABLE(t407))) R NOT FIREABLE(t126))))))
lola: processed formula length: 77
lola: 98 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 256 markings, 256 edges
lola: ========================================
lola: subprocess 10 will run for 346 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((F (FIREABLE(t73)) U FIREABLE(t418))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((F (FIREABLE(t73)) U FIREABLE(t418))))
lola: processed formula length: 44
lola: 98 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: 209910 markings, 1138627 edges, 41982 markings/sec, 0 secs
lola: 398494 markings, 2278712 edges, 37717 markings/sec, 5 secs
lola: 583073 markings, 3407805 edges, 36916 markings/sec, 10 secs
lola: 761098 markings, 4539173 edges, 35605 markings/sec, 15 secs
lola: 916784 markings, 5659105 edges, 31137 markings/sec, 20 secs
lola: 1099095 markings, 6771927 edges, 36462 markings/sec, 25 secs
lola: 1279610 markings, 7878214 edges, 36103 markings/sec, 30 secs
lola: 1441238 markings, 8976381 edges, 32326 markings/sec, 35 secs
lola: 1607033 markings, 10081195 edges, 33159 markings/sec, 40 secs
lola: 1786270 markings, 11172328 edges, 35847 markings/sec, 45 secs
lola: 1965916 markings, 12264235 edges, 35929 markings/sec, 50 secs
lola: 2115546 markings, 13393236 edges, 29926 markings/sec, 55 secs
lola: 2301622 markings, 14529959 edges, 37215 markings/sec, 60 secs
lola: 2474583 markings, 15661819 edges, 34592 markings/sec, 65 secs
lola: 2625084 markings, 16785396 edges, 30100 markings/sec, 70 secs
lola: 2772612 markings, 17910328 edges, 29506 markings/sec, 75 secs
lola: 2938200 markings, 19033318 edges, 33118 markings/sec, 80 secs
lola: 3081001 markings, 20155341 edges, 28560 markings/sec, 85 secs
lola: 3233469 markings, 21258566 edges, 30494 markings/sec, 90 secs
lola: 3398056 markings, 22373224 edges, 32917 markings/sec, 95 secs
lola: 3526342 markings, 23466181 edges, 25657 markings/sec, 100 secs
lola: 3689156 markings, 24560026 edges, 32563 markings/sec, 105 secs
lola: 3851176 markings, 25648024 edges, 32404 markings/sec, 110 secs
lola: 3977845 markings, 26728711 edges, 25334 markings/sec, 115 secs
lola: 4143045 markings, 27846906 edges, 33040 markings/sec, 120 secs
lola: 4313773 markings, 28968091 edges, 34146 markings/sec, 125 secs
lola: 4464927 markings, 30104115 edges, 30231 markings/sec, 130 secs
lola: 4631254 markings, 31225017 edges, 33265 markings/sec, 135 secs
lola: 4796143 markings, 32336999 edges, 32978 markings/sec, 140 secs
lola: 4927534 markings, 33452231 edges, 26278 markings/sec, 145 secs
lola: 5090831 markings, 34556508 edges, 32659 markings/sec, 150 secs
lola: 5252513 markings, 35647469 edges, 32336 markings/sec, 155 secs
lola: 5380817 markings, 36739999 edges, 25661 markings/sec, 160 secs
lola: 5542445 markings, 37829178 edges, 32326 markings/sec, 165 secs
lola: 5691859 markings, 38904171 edges, 29883 markings/sec, 170 secs
lola: 5830009 markings, 39982699 edges, 27630 markings/sec, 175 secs
lola: 5990095 markings, 41059457 edges, 32017 markings/sec, 180 secs
lola: 6116073 markings, 42134693 edges, 25196 markings/sec, 185 secs
lola: 6280685 markings, 43246826 edges, 32922 markings/sec, 190 secs
lola: 6454162 markings, 44370880 edges, 34695 markings/sec, 195 secs
lola: 6615763 markings, 45487885 edges, 32320 markings/sec, 200 secs
lola: 6766016 markings, 46596687 edges, 30051 markings/sec, 205 secs
lola: 6930296 markings, 47706755 edges, 32856 markings/sec, 210 secs
lola: 7058766 markings, 48804233 edges, 25694 markings/sec, 215 secs
lola: 7221917 markings, 49902751 edges, 32630 markings/sec, 220 secs
lola: 7384083 markings, 50989702 edges, 32433 markings/sec, 225 secs
lola: 7511970 markings, 52077207 edges, 25577 markings/sec, 230 secs
lola: 7672591 markings, 53159038 edges, 32124 markings/sec, 235 secs
lola: 7831183 markings, 54231423 edges, 31718 markings/sec, 240 secs
lola: 7958264 markings, 55301428 edges, 25416 markings/sec, 245 secs
lola: 8118383 markings, 56373516 edges, 32024 markings/sec, 250 secs
lola: 8251047 markings, 57438595 edges, 26533 markings/sec, 255 secs
lola: 8406968 markings, 58545327 edges, 31184 markings/sec, 260 secs
lola: 8580719 markings, 59659619 edges, 34750 markings/sec, 265 secs
lola: 8748334 markings, 60776368 edges, 33523 markings/sec, 270 secs
lola: 8891592 markings, 61886869 edges, 28652 markings/sec, 275 secs
lola: 9054947 markings, 62992087 edges, 32671 markings/sec, 280 secs
lola: 9189120 markings, 64081531 edges, 26835 markings/sec, 285 secs
lola: 9343845 markings, 65168090 edges, 30945 markings/sec, 290 secs
lola: 9505405 markings, 66252018 edges, 32312 markings/sec, 295 secs
lola: 9633515 markings, 67335387 edges, 25622 markings/sec, 300 secs
lola: 9792462 markings, 68404857 edges, 31789 markings/sec, 305 secs
lola: 9950726 markings, 69468415 edges, 31653 markings/sec, 310 secs
lola: 10076030 markings, 70529557 edges, 25061 markings/sec, 315 secs
lola: 10233912 markings, 71583536 edges, 31576 markings/sec, 320 secs
lola: 10362328 markings, 72639996 edges, 25683 markings/sec, 325 secs
lola: 10520511 markings, 73741281 edges, 31637 markings/sec, 330 secs
lola: 10692932 markings, 74846366 edges, 34484 markings/sec, 335 secs
lola: 10853115 markings, 75949934 edges, 32037 markings/sec, 340 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown no unknown unknown yes unknown unknown yes unknown unknown no unknown
lola: memory consumption: 1655896 KB
lola: time consumption: 1836 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 346 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (NOT FIREABLE(t284))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (NOT FIREABLE(t284))))
lola: processed formula length: 30
lola: 98 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: 140506 markings, 1139109 edges, 28101 markings/sec, 0 secs
lola: 266214 markings, 2274025 edges, 25142 markings/sec, 5 secs
lola: 389345 markings, 3407680 edges, 24626 markings/sec, 10 secs
lola: 505348 markings, 4540644 edges, 23201 markings/sec, 15 secs
lola: 616419 markings, 5664153 edges, 22214 markings/sec, 20 secs
lola: 736117 markings, 6812588 edges, 23940 markings/sec, 25 secs
lola: 849908 markings, 7941430 edges, 22758 markings/sec, 30 secs
lola: 960610 markings, 9073685 edges, 22140 markings/sec, 35 secs
lola: 1066418 markings, 10198019 edges, 21162 markings/sec, 40 secs
lola: 1163745 markings, 11309836 edges, 19465 markings/sec, 45 secs
lola: 1283891 markings, 12432761 edges, 24029 markings/sec, 50 secs
lola: 1396461 markings, 13550655 edges, 22514 markings/sec, 55 secs
lola: 1505333 markings, 14667986 edges, 21774 markings/sec, 60 secs
lola: 1611934 markings, 15783084 edges, 21320 markings/sec, 65 secs
lola: 1713814 markings, 16898490 edges, 20376 markings/sec, 70 secs
lola: 1817344 markings, 18015474 edges, 20706 markings/sec, 75 secs
lola: 1924266 markings, 19148358 edges, 21384 markings/sec, 80 secs
lola: 2026558 markings, 20282697 edges, 20458 markings/sec, 85 secs
lola: 2126761 markings, 21397441 edges, 20041 markings/sec, 90 secs
lola: 2221956 markings, 22511392 edges, 19039 markings/sec, 95 secs
lola: 2315553 markings, 23632513 edges, 18719 markings/sec, 100 secs
lola: 2423890 markings, 24753140 edges, 21667 markings/sec, 105 secs
lola: 2540976 markings, 25883026 edges, 23417 markings/sec, 110 secs
lola: 2646907 markings, 26999824 edges, 21186 markings/sec, 115 secs
lola: 2760424 markings, 28140431 edges, 22703 markings/sec, 120 secs
lola: 2865454 markings, 29274975 edges, 21006 markings/sec, 125 secs
lola: 2965916 markings, 30400256 edges, 20092 markings/sec, 130 secs
lola: 3072510 markings, 31500127 edges, 21319 markings/sec, 135 secs
lola: 3173491 markings, 32598104 edges, 20196 markings/sec, 140 secs
lola: 3271081 markings, 33702976 edges, 19518 markings/sec, 145 secs
lola: 3368717 markings, 34815556 edges, 19527 markings/sec, 150 secs
lola: 3461766 markings, 35924607 edges, 18610 markings/sec, 155 secs
lola: 3555253 markings, 37032075 edges, 18697 markings/sec, 160 secs
lola: 3661286 markings, 38127698 edges, 21207 markings/sec, 165 secs
lola: 3761204 markings, 39215586 edges, 19984 markings/sec, 170 secs
lola: 3857279 markings, 40301158 edges, 19215 markings/sec, 175 secs
lola: 3953441 markings, 41393496 edges, 19232 markings/sec, 180 secs
lola: 4045677 markings, 42489467 edges, 18447 markings/sec, 185 secs
lola: 4134097 markings, 43581839 edges, 17684 markings/sec, 190 secs
lola: 4232194 markings, 44671146 edges, 19619 markings/sec, 195 secs
lola: 4324106 markings, 45755273 edges, 18382 markings/sec, 200 secs
lola: 4410458 markings, 46836259 edges, 17270 markings/sec, 205 secs
lola: 4502065 markings, 47930334 edges, 18321 markings/sec, 210 secs
lola: 4588179 markings, 49017940 edges, 17223 markings/sec, 215 secs
lola: 4671476 markings, 50116874 edges, 16659 markings/sec, 220 secs
lola: 4774332 markings, 51218223 edges, 20571 markings/sec, 225 secs
lola: 4891147 markings, 52342861 edges, 23363 markings/sec, 230 secs
lola: 4997527 markings, 53455711 edges, 21276 markings/sec, 235 secs
lola: 5109198 markings, 54575210 edges, 22334 markings/sec, 240 secs
lola: 5213750 markings, 55707134 edges, 20910 markings/sec, 245 secs
lola: 5312479 markings, 56832418 edges, 19746 markings/sec, 250 secs
lola: 5421058 markings, 57935581 edges, 21716 markings/sec, 255 secs
lola: 5521648 markings, 59035812 edges, 20118 markings/sec, 260 secs
lola: 5618959 markings, 60135461 edges, 19462 markings/sec, 265 secs
lola: 5717313 markings, 61245152 edges, 19671 markings/sec, 270 secs
lola: 5810834 markings, 62356146 edges, 18704 markings/sec, 275 secs
lola: 5901103 markings, 63458508 edges, 18054 markings/sec, 280 secs
lola: 6008258 markings, 64547345 edges, 21431 markings/sec, 285 secs
lola: 6107636 markings, 65631576 edges, 19876 markings/sec, 290 secs
lola: 6203249 markings, 66721087 edges, 19123 markings/sec, 295 secs
lola: 6301865 markings, 67823637 edges, 19723 markings/sec, 300 secs
lola: 6394396 markings, 68918002 edges, 18506 markings/sec, 305 secs
lola: 6481632 markings, 70019643 edges, 17447 markings/sec, 310 secs
lola: 6582375 markings, 71116676 edges, 20149 markings/sec, 315 secs
lola: 6674491 markings, 72204219 edges, 18423 markings/sec, 320 secs
lola: 6761520 markings, 73291713 edges, 17406 markings/sec, 325 secs
lola: 6852537 markings, 74386146 edges, 18203 markings/sec, 330 secs
lola: 6938908 markings, 75480078 edges, 17274 markings/sec, 335 secs
lola: 7023825 markings, 76584848 edges, 16983 markings/sec, 340 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown no unknown unknown yes unknown unknown yes unknown unknown no unknown
lola: memory consumption: 1086864 KB
lola: time consumption: 2182 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 12 will run for 347 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((FIREABLE(t236) OR (F (FIREABLE(t428)) OR G (F (FIREABLE(t236))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((FIREABLE(t236) OR (F (FIREABLE(t428)) OR G (F (FIREABLE(t236))))))))
lola: processed formula length: 78
lola: 98 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: 239 markings, 239 edges
lola: ========================================
lola: subprocess 13 will run for 462 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t76) OR NOT FIREABLE(t290)) OR G (NOT FIREABLE(t76)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (((NOT FIREABLE(t76) OR NOT FIREABLE(t290)) OR G (NOT FIREABLE(t76)))))
lola: processed formula length: 77
lola: 98 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: 167482 markings, 1079814 edges, 33496 markings/sec, 0 secs
lola: 326559 markings, 2206414 edges, 31815 markings/sec, 5 secs
lola: 469944 markings, 3320562 edges, 28677 markings/sec, 10 secs
lola: 615293 markings, 4434887 edges, 29070 markings/sec, 15 secs
lola: 770028 markings, 5557020 edges, 30947 markings/sec, 20 secs
lola: 914136 markings, 6668138 edges, 28822 markings/sec, 25 secs
lola: 1054803 markings, 7779741 edges, 28133 markings/sec, 30 secs
lola: 1196306 markings, 8879472 edges, 28301 markings/sec, 35 secs
lola: 1326613 markings, 9975894 edges, 26061 markings/sec, 40 secs
lola: 1461027 markings, 11057779 edges, 26883 markings/sec, 45 secs
lola: 1582492 markings, 12135711 edges, 24293 markings/sec, 50 secs
lola: 1701270 markings, 13208939 edges, 23756 markings/sec, 55 secs
lola: 1822320 markings, 14289624 edges, 24210 markings/sec, 60 secs
lola: 1953599 markings, 15380231 edges, 26256 markings/sec, 65 secs
lola: 2080122 markings, 16465328 edges, 25305 markings/sec, 70 secs
lola: 2204006 markings, 17565813 edges, 24777 markings/sec, 75 secs
lola: 2320717 markings, 18665186 edges, 23342 markings/sec, 80 secs
lola: 2468552 markings, 19772684 edges, 29567 markings/sec, 85 secs
lola: 2611707 markings, 20891474 edges, 28631 markings/sec, 90 secs
lola: 2747079 markings, 21989977 edges, 27074 markings/sec, 95 secs
lola: 2882033 markings, 23066973 edges, 26991 markings/sec, 100 secs
lola: 3006976 markings, 24145895 edges, 24989 markings/sec, 105 secs
lola: 3125188 markings, 25245317 edges, 23642 markings/sec, 110 secs
lola: 3254454 markings, 26341731 edges, 25853 markings/sec, 115 secs
lola: 3374892 markings, 27435505 edges, 24088 markings/sec, 120 secs
lola: 3496382 markings, 28542317 edges, 24298 markings/sec, 125 secs
lola: 3637155 markings, 29583436 edges, 28155 markings/sec, 130 secs
lola: 3768744 markings, 30640879 edges, 26318 markings/sec, 135 secs
lola: 3900718 markings, 31695302 edges, 26395 markings/sec, 140 secs
lola: 4025051 markings, 32765704 edges, 24867 markings/sec, 145 secs
lola: 4151919 markings, 33822976 edges, 25374 markings/sec, 150 secs
lola: 4277438 markings, 34879606 edges, 25104 markings/sec, 155 secs
lola: 4397513 markings, 35944982 edges, 24015 markings/sec, 160 secs
lola: 4518710 markings, 37021879 edges, 24239 markings/sec, 165 secs
lola: 4649246 markings, 38077680 edges, 26107 markings/sec, 170 secs
lola: 4772647 markings, 39142730 edges, 24680 markings/sec, 175 secs
lola: 4895811 markings, 40204850 edges, 24633 markings/sec, 180 secs
lola: 5014414 markings, 41268532 edges, 23721 markings/sec, 185 secs
lola: 5135206 markings, 42326317 edges, 24158 markings/sec, 190 secs
lola: 5251287 markings, 43384368 edges, 23216 markings/sec, 195 secs
lola: 5365633 markings, 44447063 edges, 22869 markings/sec, 200 secs
lola: 5478913 markings, 45498663 edges, 22656 markings/sec, 205 secs
lola: 5606899 markings, 46552100 edges, 25597 markings/sec, 210 secs
lola: 5735806 markings, 47629333 edges, 25781 markings/sec, 215 secs
lola: 5860584 markings, 48709528 edges, 24956 markings/sec, 220 secs
lola: 5988179 markings, 49759151 edges, 25519 markings/sec, 225 secs
lola: 6107991 markings, 50820143 edges, 23962 markings/sec, 230 secs
lola: 6229791 markings, 51881117 edges, 24360 markings/sec, 235 secs
lola: 6344159 markings, 52944048 edges, 22874 markings/sec, 240 secs
lola: 6456285 markings, 54016705 edges, 22425 markings/sec, 245 secs
lola: 6571698 markings, 55082389 edges, 23083 markings/sec, 250 secs
lola: 6688651 markings, 56130361 edges, 23391 markings/sec, 255 secs
lola: 6795178 markings, 57171810 edges, 21305 markings/sec, 260 secs
lola: 6902724 markings, 58234158 edges, 21509 markings/sec, 265 secs
lola: 7017167 markings, 59287300 edges, 22889 markings/sec, 270 secs
lola: 7127784 markings, 60341139 edges, 22123 markings/sec, 275 secs
lola: 7236434 markings, 61400150 edges, 21730 markings/sec, 280 secs
lola: 7342175 markings, 62451256 edges, 21148 markings/sec, 285 secs
lola: 7444839 markings, 63503863 edges, 20533 markings/sec, 290 secs
lola: 7563646 markings, 64564124 edges, 23761 markings/sec, 295 secs
lola: 7666412 markings, 65605999 edges, 20553 markings/sec, 300 secs
lola: 7776314 markings, 66657947 edges, 21980 markings/sec, 305 secs
lola: 7888589 markings, 67715955 edges, 22455 markings/sec, 310 secs
lola: 7990606 markings, 68800159 edges, 20403 markings/sec, 315 secs
lola: 8092129 markings, 69841666 edges, 20305 markings/sec, 320 secs
lola: 8192930 markings, 70907722 edges, 20160 markings/sec, 325 secs
lola: 8287291 markings, 71978287 edges, 18872 markings/sec, 330 secs
lola: 8380134 markings, 73044265 edges, 18569 markings/sec, 335 secs
lola: 8505241 markings, 74121472 edges, 25021 markings/sec, 340 secs
lola: 8622163 markings, 75195346 edges, 23384 markings/sec, 345 secs
lola: 8732992 markings, 76267313 edges, 22166 markings/sec, 350 secs
lola: 8842702 markings, 77327369 edges, 21942 markings/sec, 355 secs
lola: 8955050 markings, 78391775 edges, 22470 markings/sec, 360 secs
lola: 9064225 markings, 79459894 edges, 21835 markings/sec, 365 secs
lola: 9171337 markings, 80517462 edges, 21422 markings/sec, 370 secs
lola: 9275014 markings, 81579369 edges, 20735 markings/sec, 375 secs
lola: 9418619 markings, 82660819 edges, 28721 markings/sec, 380 secs
lola: 9578683 markings, 83760135 edges, 32013 markings/sec, 385 secs
lola: 9723996 markings, 84849673 edges, 29063 markings/sec, 390 secs
lola: 9860630 markings, 85931932 edges, 27327 markings/sec, 395 secs
lola: 10008810 markings, 87018538 edges, 29636 markings/sec, 400 secs
lola: 10151275 markings, 88118720 edges, 28493 markings/sec, 405 secs
lola: 10295821 markings, 89186539 edges, 28909 markings/sec, 410 secs
lola: 10426418 markings, 90243074 edges, 26119 markings/sec, 415 secs
lola: 10560738 markings, 91321717 edges, 26864 markings/sec, 420 secs
lola: 10684069 markings, 92391557 edges, 24666 markings/sec, 425 secs
lola: 10796819 markings, 93456467 edges, 22550 markings/sec, 430 secs
lola: 10938157 markings, 94538614 edges, 28268 markings/sec, 435 secs
lola: 11068971 markings, 95612763 edges, 26163 markings/sec, 440 secs
lola: 11197297 markings, 96691654 edges, 25665 markings/sec, 445 secs
lola: 11324440 markings, 97765020 edges, 25429 markings/sec, 450 secs
lola: 11445736 markings, 98835752 edges, 24259 markings/sec, 455 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no unknown no unknown unknown yes unknown unknown yes unknown unknown no unknown
lola: memory consumption: 1768084 KB
lola: time consumption: 2644 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 14 will run for 462 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (FIREABLE(t416))) AND A (F ((FIREABLE(t10) AND NOT FIREABLE(t379)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 462 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t416)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (FIREABLE(t416)))
lola: processed formula length: 22
lola: 100 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: NOT FIREABLE(t416)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 15 will run for 925 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (F (NOT FIREABLE(t102)))) AND A (F (G (FIREABLE(t307)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 925 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (FIREABLE(t307))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (FIREABLE(t307))))
lola: processed formula length: 26
lola: 98 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: 240 markings, 241 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (G (NOT FIREABLE(t198))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (NOT FIREABLE(t198))))
lola: processed formula length: 30
lola: 98 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: 176119 markings, 1103805 edges, 35224 markings/sec, 0 secs
lola: 349557 markings, 2243564 edges, 34688 markings/sec, 5 secs
lola: 500765 markings, 3382328 edges, 30242 markings/sec, 10 secs
lola: 657324 markings, 4515823 edges, 31312 markings/sec, 15 secs
lola: 807167 markings, 5648380 edges, 29969 markings/sec, 20 secs
lola: 962963 markings, 6775273 edges, 31159 markings/sec, 25 secs
lola: 1111103 markings, 7892388 edges, 29628 markings/sec, 30 secs
lola: 1265277 markings, 9008851 edges, 30835 markings/sec, 35 secs
lola: 1412289 markings, 10119376 edges, 29402 markings/sec, 40 secs
lola: 1565614 markings, 11226818 edges, 30665 markings/sec, 45 secs
lola: 1711999 markings, 12333018 edges, 29277 markings/sec, 50 secs
lola: 1864394 markings, 13435578 edges, 30479 markings/sec, 55 secs
lola: 2010727 markings, 14537576 edges, 29267 markings/sec, 60 secs
lola: 2161677 markings, 15634207 edges, 30190 markings/sec, 65 secs
lola: 2307959 markings, 16728158 edges, 29256 markings/sec, 70 secs
lola: 2458002 markings, 17824042 edges, 30009 markings/sec, 75 secs
lola: 2609650 markings, 18957206 edges, 30330 markings/sec, 80 secs
lola: 2763997 markings, 20083659 edges, 30869 markings/sec, 85 secs
lola: 2915994 markings, 21223643 edges, 30399 markings/sec, 90 secs
lola: 3066107 markings, 22356671 edges, 30023 markings/sec, 95 secs
lola: 3199766 markings, 23493179 edges, 26732 markings/sec, 100 secs
lola: 3331450 markings, 24610137 edges, 26337 markings/sec, 105 secs
lola: 3469635 markings, 25753030 edges, 27637 markings/sec, 110 secs
lola: 3600228 markings, 26864643 edges, 26119 markings/sec, 115 secs
lola: 3737774 markings, 27998982 edges, 27509 markings/sec, 120 secs
lola: 3866602 markings, 29098053 edges, 25766 markings/sec, 125 secs
lola: 4002040 markings, 30214576 edges, 27088 markings/sec, 130 secs
lola: 4131410 markings, 31315212 edges, 25874 markings/sec, 135 secs
lola: 4263963 markings, 32412624 edges, 26511 markings/sec, 140 secs
lola: 4395148 markings, 33519085 edges, 26237 markings/sec, 145 secs
lola: 4523186 markings, 34603983 edges, 25608 markings/sec, 150 secs
lola: 4657612 markings, 35713013 edges, 26885 markings/sec, 155 secs
lola: 4784271 markings, 36793445 edges, 25332 markings/sec, 160 secs
lola: 4917462 markings, 37892718 edges, 26638 markings/sec, 165 secs
lola: 5044212 markings, 38972012 edges, 25350 markings/sec, 170 secs
lola: 5175959 markings, 40061521 edges, 26349 markings/sec, 175 secs
lola: 5309324 markings, 41193370 edges, 26673 markings/sec, 180 secs
lola: 5440136 markings, 42303891 edges, 26162 markings/sec, 185 secs
lola: 5596677 markings, 43444272 edges, 31308 markings/sec, 190 secs
lola: 5744301 markings, 44557485 edges, 29525 markings/sec, 195 secs
lola: 5882066 markings, 45692910 edges, 27553 markings/sec, 200 secs
lola: 6012065 markings, 46795654 edges, 26000 markings/sec, 205 secs
lola: 6148830 markings, 47925773 edges, 27353 markings/sec, 210 secs
lola: 6278986 markings, 49029732 edges, 26031 markings/sec, 215 secs
lola: 6413745 markings, 50141523 edges, 26952 markings/sec, 220 secs
lola: 6543566 markings, 51240343 edges, 25964 markings/sec, 225 secs
lola: 6673963 markings, 52329851 edges, 26079 markings/sec, 230 secs
lola: 6805182 markings, 53431059 edges, 26244 markings/sec, 235 secs
lola: 6931384 markings, 54505839 edges, 25240 markings/sec, 240 secs
lola: 7064873 markings, 55607055 edges, 26698 markings/sec, 245 secs
lola: 7191037 markings, 56683755 edges, 25233 markings/sec, 250 secs
lola: 7323079 markings, 57771255 edges, 26408 markings/sec, 255 secs
lola: 7450823 markings, 58851100 edges, 25549 markings/sec, 260 secs
lola: 7578430 markings, 59921370 edges, 25521 markings/sec, 265 secs
lola: 7707412 markings, 61002269 edges, 25796 markings/sec, 270 secs
lola: 7830877 markings, 62055486 edges, 24693 markings/sec, 275 secs
lola: 7966381 markings, 63174519 edges, 27101 markings/sec, 280 secs
lola: 8096139 markings, 64275048 edges, 25952 markings/sec, 285 secs
lola: 8241007 markings, 65397305 edges, 28974 markings/sec, 290 secs
lola: 8391196 markings, 66520467 edges, 30038 markings/sec, 295 secs
lola: 8535971 markings, 67645093 edges, 28955 markings/sec, 300 secs
lola: 8666925 markings, 68756571 edges, 26191 markings/sec, 305 secs
lola: 8800041 markings, 69860695 edges, 26623 markings/sec, 310 secs
lola: 8932578 markings, 70977330 edges, 26507 markings/sec, 315 secs
lola: 9061037 markings, 72066461 edges, 25692 markings/sec, 320 secs
lola: 9195934 markings, 73179293 edges, 26979 markings/sec, 325 secs
lola: 9322310 markings, 74257517 edges, 25275 markings/sec, 330 secs
lola: 9455325 markings, 75355234 edges, 26603 markings/sec, 335 secs
lola: 9582601 markings, 76438371 edges, 25455 markings/sec, 340 secs
lola: 9713107 markings, 77517987 edges, 26101 markings/sec, 345 secs
lola: 9841444 markings, 78604176 edges, 25667 markings/sec, 350 secs
lola: 9967428 markings, 79670275 edges, 25197 markings/sec, 355 secs
lola: 10099155 markings, 80757746 edges, 26345 markings/sec, 360 secs
lola: 10224113 markings, 81822158 edges, 24992 markings/sec, 365 secs
lola: 10354194 markings, 82897944 edges, 26016 markings/sec, 370 secs
lola: 10479597 markings, 83960457 edges, 25081 markings/sec, 375 secs
lola: 10607331 markings, 85023216 edges, 25547 markings/sec, 380 secs
lola: 10740253 markings, 86138545 edges, 26584 markings/sec, 385 secs
lola: 10867550 markings, 87224137 edges, 25459 markings/sec, 390 secs
lola: 11018264 markings, 88346050 edges, 30143 markings/sec, 395 secs
lola: 11164499 markings, 89442044 edges, 29247 markings/sec, 400 secs
lola: 11304400 markings, 90567770 edges, 27980 markings/sec, 405 secs
lola: 11433219 markings, 91663376 edges, 25764 markings/sec, 410 secs
lola: 11567902 markings, 92774554 edges, 26937 markings/sec, 415 secs
lola: 11696468 markings, 93870959 edges, 25713 markings/sec, 420 secs
lola: 11828340 markings, 94960854 edges, 26374 markings/sec, 425 secs
lola: 11958263 markings, 96057601 edges, 25985 markings/sec, 430 secs
lola: 12084769 markings, 97130027 edges, 25301 markings/sec, 435 secs
lola: 12217528 markings, 98225725 edges, 26552 markings/sec, 440 secs
lola: 12342901 markings, 99293808 edges, 25075 markings/sec, 445 secs
lola: 12473794 markings, 100374184 edges, 26179 markings/sec, 450 secs
lola: 12599660 markings, 101445321 edges, 25173 markings/sec, 455 secs
lola: 12728212 markings, 102510525 edges, 25710 markings/sec, 460 secs
lola: 12855877 markings, 103584587 edges, 25533 markings/sec, 465 secs
lola: 12979061 markings, 104635202 edges, 24637 markings/sec, 470 secs
lola: 13108835 markings, 105708607 edges, 25955 markings/sec, 475 secs
lola: 13233122 markings, 106757213 edges, 24857 markings/sec, 480 secs
lola: 13363933 markings, 107834220 edges, 26162 markings/sec, 485 secs
lola: 13493533 markings, 108938306 edges, 25920 markings/sec, 490 secs
lola: 13624017 markings, 110028735 edges, 26097 markings/sec, 495 secs
lola: 13775388 markings, 111142355 edges, 30274 markings/sec, 500 secs
lola: 13921321 markings, 112235475 edges, 29187 markings/sec, 505 secs
lola: 14055167 markings, 113344860 edges, 26769 markings/sec, 510 secs
lola: 14182173 markings, 114427461 edges, 25401 markings/sec, 515 secs
lola: 14316558 markings, 115536095 edges, 26877 markings/sec, 520 secs
lola: 14444598 markings, 116618796 edges, 25608 markings/sec, 525 secs
lola: 14576795 markings, 117707546 edges, 26439 markings/sec, 530 secs
lola: 14703893 markings, 118789288 edges, 25420 markings/sec, 535 secs
lola: 14830032 markings, 119856993 edges, 25228 markings/sec, 540 secs
lola: 14961391 markings, 120947302 edges, 26272 markings/sec, 545 secs
lola: 15085733 markings, 122004800 edges, 24868 markings/sec, 550 secs
lola: 15217979 markings, 123091798 edges, 26449 markings/sec, 555 secs
lola: 15343461 markings, 124157503 edges, 25096 markings/sec, 560 secs
lola: 15473001 markings, 125227427 edges, 25908 markings/sec, 565 secs
lola: 15598620 markings, 126298447 edges, 25124 markings/sec, 570 secs
lola: 15723022 markings, 127352199 edges, 24880 markings/sec, 575 secs
lola: 15853647 markings, 128426293 edges, 26125 markings/sec, 580 secs
lola: 15976041 markings, 129470234 edges, 24479 markings/sec, 585 secs
lola: 16107724 markings, 130555339 edges, 26337 markings/sec, 590 secs
lola: 16235353 markings, 131645628 edges, 25526 markings/sec, 595 secs
lola: 16371807 markings, 132734447 edges, 27291 markings/sec, 600 secs
lola: 16519693 markings, 133838143 edges, 29577 markings/sec, 605 secs
lola: 16665104 markings, 134932222 edges, 29082 markings/sec, 610 secs
lola: 16796290 markings, 136035714 edges, 26237 markings/sec, 615 secs
lola: 16923285 markings, 137115429 edges, 25399 markings/sec, 620 secs
lola: 17056714 markings, 138216835 edges, 26686 markings/sec, 625 secs
lola: 17182932 markings, 139291129 edges, 25244 markings/sec, 630 secs
lola: 17314931 markings, 140380670 edges, 26400 markings/sec, 635 secs
lola: 17440889 markings, 141453349 edges, 25192 markings/sec, 640 secs
lola: 17570192 markings, 142523915 edges, 25861 markings/sec, 645 secs
lola: 17698675 markings, 143604334 edges, 25697 markings/sec, 650 secs
lola: 17822382 markings, 144659158 edges, 24741 markings/sec, 655 secs
lola: 17953680 markings, 145742924 edges, 26260 markings/sec, 660 secs
lola: 18078256 markings, 146802768 edges, 24915 markings/sec, 665 secs
lola: 18208419 markings, 147871278 edges, 26033 markings/sec, 670 secs
lola: 18333409 markings, 148934649 edges, 24998 markings/sec, 675 secs
lola: 18457332 markings, 149987489 edges, 24785 markings/sec, 680 secs
lola: 18586088 markings, 151054203 edges, 25751 markings/sec, 685 secs
lola: 18709375 markings, 152093882 edges, 24657 markings/sec, 690 secs
lola: 18841074 markings, 153180634 edges, 26340 markings/sec, 695 secs
lola: 18967865 markings, 154262137 edges, 25358 markings/sec, 700 secs
lola: 19105291 markings, 155349144 edges, 27485 markings/sec, 705 secs
lola: 19251084 markings, 156441715 edges, 29159 markings/sec, 710 secs
lola: 19395103 markings, 157529068 edges, 28804 markings/sec, 715 secs
lola: 19524366 markings, 158624814 edges, 25853 markings/sec, 720 secs
lola: 19651663 markings, 159700850 edges, 25459 markings/sec, 725 secs
lola: 19784557 markings, 160795870 edges, 26579 markings/sec, 730 secs
lola: 19909523 markings, 161862688 edges, 24993 markings/sec, 735 secs
lola: 20040681 markings, 162943386 edges, 26232 markings/sec, 740 secs
lola: 20165374 markings, 164007312 edges, 24939 markings/sec, 745 secs
lola: 20293861 markings, 165069608 edges, 25697 markings/sec, 750 secs
lola: 20421172 markings, 166140546 edges, 25462 markings/sec, 755 secs
lola: 20544042 markings, 167188410 edges, 24574 markings/sec, 760 secs
lola: 20673767 markings, 168261288 edges, 25945 markings/sec, 765 secs
lola: 20798287 markings, 169314826 edges, 24904 markings/sec, 770 secs
lola: 20927186 markings, 170373972 edges, 25780 markings/sec, 775 secs
lola: 21050885 markings, 171429128 edges, 24740 markings/sec, 780 secs
lola: 21173103 markings, 172471477 edges, 24444 markings/sec, 785 secs
lola: 21301940 markings, 173528043 edges, 25767 markings/sec, 790 secs
lola: 21423092 markings, 174559426 edges, 24230 markings/sec, 795 secs
lola: 21553550 markings, 175634612 edges, 26092 markings/sec, 800 secs
lola: 21679867 markings, 176713088 edges, 25263 markings/sec, 805 secs
lola: 21815142 markings, 177797431 edges, 27055 markings/sec, 810 secs
lola: 21967462 markings, 178930553 edges, 30464 markings/sec, 815 secs
lola: 22116280 markings, 180054362 edges, 29764 markings/sec, 820 secs
lola: 22249682 markings, 181186144 edges, 26680 markings/sec, 825 secs
lola: 22380612 markings, 182297036 edges, 26186 markings/sec, 830 secs
lola: 22517405 markings, 183427284 edges, 27359 markings/sec, 835 secs
lola: 22647496 markings, 184529530 edges, 26018 markings/sec, 840 secs
lola: 22783187 markings, 185651476 edges, 27138 markings/sec, 845 secs
lola: 22912455 markings, 186745402 edges, 25854 markings/sec, 850 secs
lola: 23046266 markings, 187848680 edges, 26762 markings/sec, 855 secs
lola: 23175253 markings, 188946441 edges, 25797 markings/sec, 860 secs
lola: 23303952 markings, 190033943 edges, 25740 markings/sec, 865 secs
lola: 23436719 markings, 191136929 edges, 26553 markings/sec, 870 secs
lola: 23562722 markings, 192213618 edges, 25201 markings/sec, 875 secs
lola: 23696555 markings, 193316966 edges, 26767 markings/sec, 880 secs
lola: 23823983 markings, 194395230 edges, 25486 markings/sec, 885 secs
lola: 23956104 markings, 195482424 edges, 26424 markings/sec, 890 secs
lola: 24082869 markings, 196560318 edges, 25353 markings/sec, 895 secs
lola: 24209116 markings, 197628626 edges, 25249 markings/sec, 900 secs
lola: 24344978 markings, 198756631 edges, 27172 markings/sec, 905 secs
lola: 24473843 markings, 199853874 edges, 25773 markings/sec, 910 secs
lola: 24627753 markings, 201000838 edges, 30782 markings/sec, 915 secs
lola: 24776461 markings, 202120675 edges, 29742 markings/sec, 920 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no unknown no no no unknown unknown yes unknown unknown yes unknown unknown no unknown
lola:
preliminary result: unknown no unknown no no no unknown unknown yes unknown unknown yes unknown unknown no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no unknown no no no unknown unknown yes unknown unknown yes unknown unknown no unknown
lola: memory consumption: 3744768 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
BK_STOP 1589298560609
--------------------
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-05b"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="win2019"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool win2019"
echo " Input is AutoFlight-PT-05b, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r015-smll-158897552800112"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-05b.tgz
mv AutoFlight-PT-05b 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 ;