About the Execution of 2019-Gold for AutoFlight-PT-06b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5790.200 | 3570128.00 | 3634694.00 | 9291.30 | FF?F?T??F?FT??FF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r015-smll-158897552800116.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-06b, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r015-smll-158897552800116
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 324K
-rw-r--r-- 1 mcc users 4.1K Mar 25 23:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 25 23:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 18:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 18:30 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.4K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Mar 25 15:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 25 15:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 25 10:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 25 10:44 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 134K 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-06b-00
FORMULA_NAME AutoFlight-PT-06b-01
FORMULA_NAME AutoFlight-PT-06b-02
FORMULA_NAME AutoFlight-PT-06b-03
FORMULA_NAME AutoFlight-PT-06b-04
FORMULA_NAME AutoFlight-PT-06b-05
FORMULA_NAME AutoFlight-PT-06b-06
FORMULA_NAME AutoFlight-PT-06b-07
FORMULA_NAME AutoFlight-PT-06b-08
FORMULA_NAME AutoFlight-PT-06b-09
FORMULA_NAME AutoFlight-PT-06b-10
FORMULA_NAME AutoFlight-PT-06b-11
FORMULA_NAME AutoFlight-PT-06b-12
FORMULA_NAME AutoFlight-PT-06b-13
FORMULA_NAME AutoFlight-PT-06b-14
FORMULA_NAME AutoFlight-PT-06b-15
=== Now, execution of the tool begins
BK_START 1589301715488
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ AutoFlight-PT-06b @ 3570 seconds
FORMULA AutoFlight-PT-06b-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-06b-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-06b-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-06b-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-06b-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-06b-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-06b-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-06b-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-06b-00 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-06b
{
"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 16:41:55 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (X ((FIREABLE(t306) OR G (FIREABLE(t79)))))",
"processed_size": 45,
"rewrites": 110
},
"result":
{
"edges": 305,
"markings": 305,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 0,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 3,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 6,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 3,
"tneg": 0,
"transition_references": 7,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 4
},
"processed": "A (X (G (((FIREABLE(t300) AND FIREABLE(t542)) OR (X (FIREABLE(t302)) OR (G (NOT FIREABLE(t535)) AND F (((FIREABLE(t300) AND FIREABLE(t542)) OR X (FIREABLE(t302))))))))))",
"processed_size": 169,
"rewrites": 110
},
"result":
{
"edges": 306,
"markings": 306,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 8
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 256
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 4,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (X ((F ((G (NOT FIREABLE(t517)) OR (NOT FIREABLE(t255) AND NOT FIREABLE(t517)))) OR X (NOT FIREABLE(t59)))))",
"processed_size": 110,
"rewrites": 110
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 4,
"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": 279
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 279
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"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 (G (NOT FIREABLE(t415))))",
"processed_size": 30,
"rewrites": 110
},
"result":
{
"edges": 305,
"markings": 305,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 7,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 314
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 314
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 2,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "(NOT FIREABLE(t184) AND NOT FIREABLE(t60))",
"processed_size": 42,
"rewrites": 110
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 9,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 366
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (X (X ((FIREABLE(t60) OR X (F (FIREABLE(t184)))))))",
"processed_size": 53,
"rewrites": 110
},
"result":
{
"edges": 305,
"markings": 305,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 9,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 366
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 366
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((FIREABLE(t329) OR X (F ((FIREABLE(t329) AND FIREABLE(t376))))))",
"processed_size": 67,
"rewrites": 110
},
"result":
{
"edges": 305,
"markings": 305,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 11,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 457
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 3,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 5,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 6,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 4
},
"processed": "A ((X ((FIREABLE(t557) OR ((F (FIREABLE(t316)) U FIREABLE(t370)) U NOT FIREABLE(t316)))) U (FIREABLE(t316) AND FIREABLE(t33))))",
"processed_size": 127,
"rewrites": 110
},
"result":
{
"edges": 415,
"markings": 415,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 12,
"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": 610
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 1,
"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": 2,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((F (FIREABLE(t411)) U NOT FIREABLE(t570)))",
"processed_size": 45,
"rewrites": 110
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 916
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 916
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (F (FIREABLE(t280))))",
"processed_size": 26,
"rewrites": 110
},
"result":
{
"edges": 278,
"markings": 278,
"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": 5711184,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(A(G(F(**))) AND A(G(((F(**) AND G(*)) OR **)))) : (A(X((** OR G(**)))) AND A(X(X(F(**))))) : A(X(F(((* R *) AND G(F(**)))))) : A(X(G((** OR (X(**) OR (G(**) AND F((** OR X(**))))))))) : A(F(G((F((* AND F((* OR X(G(*)))))) AND (** OR (* AND F((* OR X(G(*)))))))))) : A(X((F((G(*) OR (* AND *))) OR X(*)))) : A(F(((X(*) R *) AND G(*)))) : A(X((F(**) OR G(**)))) : (A(X(X(G((** OR G(**)))))) AND A(X(G(*)))) : A(G((* OR X(G(*))))) : (** AND A(X(X((** OR X(F(**))))))) : A((F(**) U **)) : A(F(G((** OR (G(*) R *))))) : (A(X(G(**))) AND A(G(F((X(F(**)) OR (** U **)))))) : (A((** OR X(F(**)))) AND A(X(X((** OR G(**)))))) : A((X((** OR ((F(**) U **) U **))) U **))"
},
"net":
{
"arcs": 1334,
"conflict_clusters": 498,
"places": 574,
"places_significant": 534,
"singleton_clusters": 0,
"transitions": 572
},
"result":
{
"interim_value": "no no unknown no unknown yes unknown unknown no unknown no yes unknown unknown no no ",
"preliminary_value": "no no unknown no unknown yes unknown unknown no unknown no yes unknown unknown no no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 1146/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 574
lola: finding significant places
lola: 574 places, 572 transitions, 534 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 (G ((NOT((G (NOT((FIREABLE(t329) U FIREABLE(t280)))) OR F (FIREABLE(t280)))) U FIREABLE(t280)))) : A (X (((FIREABLE(t306) OR G (FIREABLE(t79))) AND X (F (((NOT FIREABLE(t352) AND F (FIREABLE(t392))) U FIREABLE(t392))))))) : A (F (X (NOT(G (((FIREABLE(t39) U FIREABLE(t152)) OR G (F (G (NOT(X (FIREABLE(t390)))))))))))) : A (G (X ((G (NOT FIREABLE(t535)) U ((FIREABLE(t300) AND FIREABLE(t542)) OR X (FIREABLE(t302))))))) : A (F (G ((X (FIREABLE(t274)) U X (NOT((FIREABLE(t179) OR G ((FIREABLE(t510) AND F (X (FIREABLE(t274)))))))))))) : A ((F (NOT(X (G ((FIREABLE(t255) U FIREABLE(t517)))))) OR NOT(X (X (FIREABLE(t59)))))) : A (((FIREABLE(t42) U (FIREABLE(t311) OR FIREABLE(t42))) U F (NOT(((X (FIREABLE(t279)) U FIREABLE(t480)) OR F (FIREABLE(t42))))))) : A (X ((F (FIREABLE(t221)) OR G (FIREABLE(t563))))) : A (NOT((F (X (X (NOT(G ((FIREABLE(t448) OR G (FIREABLE(t415)))))))) OR X (F (FIREABLE(t415)))))) : A (G (NOT(((FIREABLE(t76) AND FIREABLE(t124)) AND X (F (FIREABLE(t534))))))) : A (((NOT FIREABLE(t184) AND NOT FIREABLE(t60)) AND X (X ((FIREABLE(t60) OR X (F (FIREABLE(t184)))))))) : A ((F (((FIREABLE(t570) AND X ((FIREABLE(t232) AND NOT FIREABLE(t570)))) U FIREABLE(t411))) U NOT FIREABLE(t570))) : A (X (F (G ((NOT FIREABLE(t416) OR NOT((F (FIREABLE(t65)) U (FIREABLE(t380) AND FIREABLE(t65))))))))) : A ((G (X (NOT FIREABLE(t547))) AND G (F ((X (F (FIREABLE(t105))) OR (FIREABLE(t549) U FIREABLE(t105))))))) : A (((FIREABLE(t329) OR X (F ((FIREABLE(t329) AND FIREABLE(t376))))) AND X (X ((NOT FIREABLE(t376) OR G (FIREABLE(t126))))))) : A ((X ((FIREABLE(t557) OR ((F (FIREABLE(t316)) U FIREABLE(t370)) U NOT FIREABLE(t316)))) U (FIREABLE(t316) AND FIREABLE(t33))))
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:318
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:434
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:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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:410
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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:347
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:551
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:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:536
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 ((FIREABLE(t306) OR G (FIREABLE(t79))))) AND A (X (X (F (FIREABLE(t392))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((FIREABLE(t306) OR G (FIREABLE(t79)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((FIREABLE(t306) OR G (FIREABLE(t79)))))
lola: processed formula length: 45
lola: 110 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 305 markings, 305 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (((NOT FIREABLE(t39) R NOT FIREABLE(t152)) AND G (F (FIREABLE(t390)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (((NOT FIREABLE(t39) R NOT FIREABLE(t152)) AND G (F (FIREABLE(t390)))))))
lola: processed formula length: 81
lola: 110 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 275184 markings, 962039 edges, 55037 markings/sec, 0 secs
lola: 515658 markings, 1923993 edges, 48095 markings/sec, 5 secs
lola: 749904 markings, 2882868 edges, 46849 markings/sec, 10 secs
lola: 962972 markings, 3839451 edges, 42614 markings/sec, 15 secs
lola: 1197374 markings, 4787716 edges, 46880 markings/sec, 20 secs
lola: 1405164 markings, 5733267 edges, 41558 markings/sec, 25 secs
lola: 1639949 markings, 6675718 edges, 46957 markings/sec, 30 secs
lola: 1849591 markings, 7615234 edges, 41928 markings/sec, 35 secs
lola: 2079647 markings, 8552511 edges, 46011 markings/sec, 40 secs
lola: 2292572 markings, 9488601 edges, 42585 markings/sec, 45 secs
lola: 2518002 markings, 10423223 edges, 45086 markings/sec, 50 secs
lola: 2735577 markings, 11364850 edges, 43515 markings/sec, 55 secs
lola: 2957271 markings, 12297645 edges, 44339 markings/sec, 60 secs
lola: 3177032 markings, 13226481 edges, 43952 markings/sec, 65 secs
lola: 3394876 markings, 14149529 edges, 43569 markings/sec, 70 secs
lola: 3614673 markings, 15070255 edges, 43959 markings/sec, 75 secs
lola: 3826433 markings, 15993392 edges, 42352 markings/sec, 80 secs
lola: 4055925 markings, 16939027 edges, 45898 markings/sec, 85 secs
lola: 4270104 markings, 17885062 edges, 42836 markings/sec, 90 secs
lola: 4504529 markings, 18840274 edges, 46885 markings/sec, 95 secs
lola: 4713577 markings, 19791414 edges, 41810 markings/sec, 100 secs
lola: 4925491 markings, 20750329 edges, 42383 markings/sec, 105 secs
lola: 5116803 markings, 21696998 edges, 38262 markings/sec, 110 secs
lola: 5321480 markings, 22648275 edges, 40935 markings/sec, 115 secs
lola: 5522197 markings, 23594307 edges, 40143 markings/sec, 120 secs
lola: 5719012 markings, 24538500 edges, 39363 markings/sec, 125 secs
lola: 5924542 markings, 25483924 edges, 41106 markings/sec, 130 secs
lola: 6108856 markings, 26424534 edges, 36863 markings/sec, 135 secs
lola: 6315185 markings, 27357782 edges, 41266 markings/sec, 140 secs
lola: 6506409 markings, 28294462 edges, 38245 markings/sec, 145 secs
lola: 6707184 markings, 29230636 edges, 40155 markings/sec, 150 secs
lola: 6906796 markings, 30160074 edges, 39922 markings/sec, 155 secs
lola: 7096312 markings, 31089784 edges, 37903 markings/sec, 160 secs
lola: 7298615 markings, 32016644 edges, 40461 markings/sec, 165 secs
lola: 7482887 markings, 32941540 edges, 36854 markings/sec, 170 secs
lola: 7682160 markings, 33861496 edges, 39855 markings/sec, 175 secs
lola: 7877411 markings, 34782947 edges, 39050 markings/sec, 180 secs
lola: 8069834 markings, 35706222 edges, 38485 markings/sec, 185 secs
lola: 8276556 markings, 36655465 edges, 41344 markings/sec, 190 secs
lola: 8464014 markings, 37612159 edges, 37492 markings/sec, 195 secs
lola: 8703012 markings, 38575083 edges, 47800 markings/sec, 200 secs
lola: 8917384 markings, 39535928 edges, 42874 markings/sec, 205 secs
lola: 9130316 markings, 40496226 edges, 42586 markings/sec, 210 secs
lola: 9327459 markings, 41456823 edges, 39429 markings/sec, 215 secs
lola: 9531643 markings, 42412189 edges, 40837 markings/sec, 220 secs
lola: 9735342 markings, 43363480 edges, 40740 markings/sec, 225 secs
lola: 9929687 markings, 44309762 edges, 38869 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1545512 KB
lola: time consumption: 242 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (((FIREABLE(t300) AND FIREABLE(t542)) OR (X (FIREABLE(t302)) OR (G (NOT FIREABLE(t535)) AND F (((FIREABLE(t300) AND FIREABLE(t542)) OR X (FIREABLE(t302))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (((FIREABLE(t300) AND FIREABLE(t542)) OR (X (FIREABLE(t302)) OR (G (NOT FIREABLE(t535)) AND F (((FIREABLE(t300) AND FIREABLE(t542)) OR X (FIREABLE(t302))))))))))
lola: processed formula length: 169
lola: 110 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 306 markings, 306 edges
lola: ========================================
lola: subprocess 3 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((F ((NOT FIREABLE(t179) AND F ((NOT FIREABLE(t510) OR X (G (NOT FIREABLE(t274))))))) AND (FIREABLE(t274) OR (NOT FIREABLE(t179) AND F ((NOT FIREABLE(t510) OR X (G (NOT FIREABLE(t274)))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((F ((NOT FIREABLE(t179) AND F ((NOT FIREABLE(t510) OR X (G (NOT FIREABLE(t274))))))) AND (FIREABLE(t274) OR (NOT FIREABLE(t179) AND F ((NOT FIREABLE(t510) OR X (G (NOT FIREABLE(t274)))))))))))
lola: processed formula length: 201
lola: 110 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: 153313 markings, 935192 edges, 30663 markings/sec, 0 secs
lola: 293994 markings, 1927740 edges, 28136 markings/sec, 5 secs
lola: 424110 markings, 2917737 edges, 26023 markings/sec, 10 secs
lola: 558126 markings, 3902336 edges, 26803 markings/sec, 15 secs
lola: 684265 markings, 4883870 edges, 25228 markings/sec, 20 secs
lola: 821205 markings, 5864347 edges, 27388 markings/sec, 25 secs
lola: 944989 markings, 6842245 edges, 24757 markings/sec, 30 secs
lola: 1082739 markings, 7817195 edges, 27550 markings/sec, 35 secs
lola: 1207718 markings, 8788407 edges, 24996 markings/sec, 40 secs
lola: 1339792 markings, 9758344 edges, 26415 markings/sec, 45 secs
lola: 1467334 markings, 10725782 edges, 25508 markings/sec, 50 secs
lola: 1594235 markings, 11690365 edges, 25380 markings/sec, 55 secs
lola: 1723212 markings, 12648030 edges, 25795 markings/sec, 60 secs
lola: 1847358 markings, 13600023 edges, 24829 markings/sec, 65 secs
lola: 1981457 markings, 14574058 edges, 26820 markings/sec, 70 secs
lola: 2107021 markings, 15557345 edges, 25113 markings/sec, 75 secs
lola: 2246505 markings, 16547266 edges, 27897 markings/sec, 80 secs
lola: 2370958 markings, 17535845 edges, 24891 markings/sec, 85 secs
lola: 2491714 markings, 18521526 edges, 24151 markings/sec, 90 secs
lola: 2601534 markings, 19502844 edges, 21964 markings/sec, 95 secs
lola: 2722403 markings, 20483065 edges, 24174 markings/sec, 100 secs
lola: 2831183 markings, 21461175 edges, 21756 markings/sec, 105 secs
lola: 2952097 markings, 22437956 edges, 24183 markings/sec, 110 secs
lola: 3059249 markings, 23412827 edges, 21430 markings/sec, 115 secs
lola: 3180894 markings, 24383902 edges, 24329 markings/sec, 120 secs
lola: 3287676 markings, 25351067 edges, 21356 markings/sec, 125 secs
lola: 3407763 markings, 26318550 edges, 24017 markings/sec, 130 secs
lola: 3515665 markings, 27282993 edges, 21580 markings/sec, 135 secs
lola: 3634283 markings, 28246288 edges, 23724 markings/sec, 140 secs
lola: 3742101 markings, 29205653 edges, 21564 markings/sec, 145 secs
lola: 3858377 markings, 30158832 edges, 23255 markings/sec, 150 secs
lola: 3966216 markings, 31105419 edges, 21568 markings/sec, 155 secs
lola: 4082820 markings, 32071962 edges, 23321 markings/sec, 160 secs
lola: 4195217 markings, 33048396 edges, 22479 markings/sec, 165 secs
lola: 4323831 markings, 34027457 edges, 25723 markings/sec, 170 secs
lola: 4449542 markings, 35005911 edges, 25142 markings/sec, 175 secs
lola: 4571990 markings, 35985280 edges, 24490 markings/sec, 180 secs
lola: 4682319 markings, 36961924 edges, 22066 markings/sec, 185 secs
lola: 4800737 markings, 37932926 edges, 23684 markings/sec, 190 secs
lola: 4911052 markings, 38900228 edges, 22063 markings/sec, 195 secs
lola: 5027754 markings, 39864880 edges, 23340 markings/sec, 200 secs
lola: 5137921 markings, 40827223 edges, 22033 markings/sec, 205 secs
lola: 5253200 markings, 41787886 edges, 23056 markings/sec, 210 secs
lola: 5364371 markings, 42744914 edges, 22234 markings/sec, 215 secs
lola: 5477546 markings, 43698626 edges, 22635 markings/sec, 220 secs
lola: 5589789 markings, 44651540 edges, 22449 markings/sec, 225 secs
lola: 5702276 markings, 45601460 edges, 22497 markings/sec, 230 secs
lola: 5814933 markings, 46550499 edges, 22531 markings/sec, 235 secs
lola: 5924661 markings, 47494552 edges, 21946 markings/sec, 240 secs
lola: 6037587 markings, 48434156 edges, 22585 markings/sec, 245 secs
lola: 6145342 markings, 49378908 edges, 21551 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 927796 KB
lola: time consumption: 498 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 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((F ((G (NOT FIREABLE(t517)) OR (NOT FIREABLE(t255) AND NOT FIREABLE(t517)))) OR X (NOT FIREABLE(t59)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((F ((G (NOT FIREABLE(t517)) OR (NOT FIREABLE(t255) AND NOT FIREABLE(t517)))) OR X (NOT FIREABLE(t59)))))
lola: processed formula length: 110
lola: 110 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 5 will run for 279 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((X (NOT FIREABLE(t279)) R NOT FIREABLE(t480)) AND G (NOT FIREABLE(t42)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (((X (NOT FIREABLE(t279)) R NOT FIREABLE(t480)) AND G (NOT FIREABLE(t42)))))
lola: processed formula length: 81
lola: 110 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 164490 markings, 984739 edges, 32898 markings/sec, 0 secs
lola: 320628 markings, 1972433 edges, 31228 markings/sec, 5 secs
lola: 455925 markings, 2953842 edges, 27059 markings/sec, 10 secs
lola: 597463 markings, 3936669 edges, 28308 markings/sec, 15 secs
lola: 736927 markings, 4920817 edges, 27893 markings/sec, 20 secs
lola: 856039 markings, 5900559 edges, 23822 markings/sec, 25 secs
lola: 988609 markings, 6880166 edges, 26514 markings/sec, 30 secs
lola: 1123036 markings, 7854795 edges, 26885 markings/sec, 35 secs
lola: 1255891 markings, 8829669 edges, 26571 markings/sec, 40 secs
lola: 1372428 markings, 9800890 edges, 23307 markings/sec, 45 secs
lola: 1510712 markings, 10774883 edges, 27657 markings/sec, 50 secs
lola: 1644814 markings, 11746760 edges, 26820 markings/sec, 55 secs
lola: 1768481 markings, 12720090 edges, 24733 markings/sec, 60 secs
lola: 1890648 markings, 13690652 edges, 24433 markings/sec, 65 secs
lola: 2028204 markings, 14660741 edges, 27511 markings/sec, 70 secs
lola: 2164153 markings, 15625654 edges, 27190 markings/sec, 75 secs
lola: 2280022 markings, 16591076 edges, 23174 markings/sec, 80 secs
lola: 2413306 markings, 17563422 edges, 26657 markings/sec, 85 secs
lola: 2546164 markings, 18526574 edges, 26572 markings/sec, 90 secs
lola: 2676250 markings, 19491396 edges, 26017 markings/sec, 95 secs
lola: 2793001 markings, 20456887 edges, 23350 markings/sec, 100 secs
lola: 2930603 markings, 21420515 edges, 27520 markings/sec, 105 secs
lola: 3063536 markings, 22379801 edges, 26587 markings/sec, 110 secs
lola: 3184174 markings, 23344091 edges, 24128 markings/sec, 115 secs
lola: 3305820 markings, 24298702 edges, 24329 markings/sec, 120 secs
lola: 3441165 markings, 25258076 edges, 27069 markings/sec, 125 secs
lola: 3575411 markings, 26209639 edges, 26849 markings/sec, 130 secs
lola: 3688601 markings, 27153520 edges, 22638 markings/sec, 135 secs
lola: 3819154 markings, 28109888 edges, 26111 markings/sec, 140 secs
lola: 3954631 markings, 29092033 edges, 27095 markings/sec, 145 secs
lola: 4086974 markings, 30071677 edges, 26469 markings/sec, 150 secs
lola: 4205485 markings, 31050176 edges, 23702 markings/sec, 155 secs
lola: 4345685 markings, 32035899 edges, 28040 markings/sec, 160 secs
lola: 4482790 markings, 33019516 edges, 27421 markings/sec, 165 secs
lola: 4604542 markings, 34009986 edges, 24350 markings/sec, 170 secs
lola: 4729730 markings, 34988719 edges, 25038 markings/sec, 175 secs
lola: 4850349 markings, 35972333 edges, 24124 markings/sec, 180 secs
lola: 4972576 markings, 36954466 edges, 24445 markings/sec, 185 secs
lola: 5077721 markings, 37929968 edges, 21029 markings/sec, 190 secs
lola: 5188672 markings, 38901890 edges, 22190 markings/sec, 195 secs
lola: 5308810 markings, 39877258 edges, 24028 markings/sec, 200 secs
lola: 5429970 markings, 40848188 edges, 24232 markings/sec, 205 secs
lola: 5537020 markings, 41821176 edges, 21410 markings/sec, 210 secs
lola: 5643879 markings, 42791917 edges, 21372 markings/sec, 215 secs
lola: 5766701 markings, 43762729 edges, 24564 markings/sec, 220 secs
lola: 5885907 markings, 44729118 edges, 23841 markings/sec, 225 secs
lola: 5996969 markings, 45710054 edges, 22212 markings/sec, 230 secs
lola: 6101880 markings, 46677459 edges, 20982 markings/sec, 235 secs
lola: 6224636 markings, 47644026 edges, 24551 markings/sec, 240 secs
lola: 6341604 markings, 48613185 edges, 23394 markings/sec, 245 secs
lola: 6453754 markings, 49577160 edges, 22430 markings/sec, 250 secs
lola: 6556811 markings, 50535837 edges, 20611 markings/sec, 255 secs
lola: 6677247 markings, 51499380 edges, 24087 markings/sec, 260 secs
lola: 6795095 markings, 52471674 edges, 23570 markings/sec, 265 secs
lola: 6908747 markings, 53435290 edges, 22730 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1025188 KB
lola: time consumption: 777 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 279 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((F (FIREABLE(t221)) OR G (FIREABLE(t563)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((F (FIREABLE(t221)) OR G (FIREABLE(t563)))))
lola: processed formula length: 50
lola: 110 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: 276519 markings, 830059 edges, 55304 markings/sec, 0 secs
lola: 526721 markings, 1699469 edges, 50040 markings/sec, 5 secs
lola: 776788 markings, 2568682 edges, 50013 markings/sec, 10 secs
lola: 1026961 markings, 3437371 edges, 50035 markings/sec, 15 secs
lola: 1276363 markings, 4304952 edges, 49880 markings/sec, 20 secs
lola: 1526390 markings, 5173120 edges, 50005 markings/sec, 25 secs
lola: 1776863 markings, 6044410 edges, 50095 markings/sec, 30 secs
lola: 2029647 markings, 6922647 edges, 50557 markings/sec, 35 secs
lola: 2280869 markings, 7796431 edges, 50244 markings/sec, 40 secs
lola: 2510395 markings, 8666946 edges, 45905 markings/sec, 45 secs
lola: 2730188 markings, 9539200 edges, 43959 markings/sec, 50 secs
lola: 2950201 markings, 10411748 edges, 44003 markings/sec, 55 secs
lola: 3169537 markings, 11282633 edges, 43867 markings/sec, 60 secs
lola: 3389189 markings, 12153185 edges, 43930 markings/sec, 65 secs
lola: 3608203 markings, 13022736 edges, 43803 markings/sec, 70 secs
lola: 3827435 markings, 13893186 edges, 43846 markings/sec, 75 secs
lola: 4048393 markings, 14769133 edges, 44192 markings/sec, 80 secs
lola: 4271712 markings, 15649391 edges, 44664 markings/sec, 85 secs
lola: 4518846 markings, 16519589 edges, 49427 markings/sec, 90 secs
lola: 4736941 markings, 17392015 edges, 43619 markings/sec, 95 secs
lola: 4954397 markings, 18261770 edges, 43491 markings/sec, 100 secs
lola: 5174069 markings, 19132387 edges, 43934 markings/sec, 105 secs
lola: 5392951 markings, 20001377 edges, 43776 markings/sec, 110 secs
lola: 5611775 markings, 20870152 edges, 43765 markings/sec, 115 secs
lola: 5830792 markings, 21738230 edges, 43803 markings/sec, 120 secs
lola: 6050511 markings, 22610712 edges, 43944 markings/sec, 125 secs
lola: 6271568 markings, 23488532 edges, 44211 markings/sec, 130 secs
lola: 6505801 markings, 24354523 edges, 46847 markings/sec, 135 secs
lola: 6738577 markings, 25224898 edges, 46555 markings/sec, 140 secs
lola: 6958601 markings, 26096979 edges, 44005 markings/sec, 145 secs
lola: 7177954 markings, 26967936 edges, 43871 markings/sec, 150 secs
lola: 7397585 markings, 27840041 edges, 43926 markings/sec, 155 secs
lola: 7617211 markings, 28710461 edges, 43925 markings/sec, 160 secs
lola: 7836293 markings, 29580302 edges, 43816 markings/sec, 165 secs
lola: 8054772 markings, 30448779 edges, 43696 markings/sec, 170 secs
lola: 8273441 markings, 31324175 edges, 43734 markings/sec, 175 secs
lola: 8495003 markings, 32207373 edges, 44312 markings/sec, 180 secs
lola: 8744809 markings, 33078938 edges, 49961 markings/sec, 185 secs
lola: 8963621 markings, 33950390 edges, 43762 markings/sec, 190 secs
lola: 9182717 markings, 34820216 edges, 43819 markings/sec, 195 secs
lola: 9402019 markings, 35689361 edges, 43860 markings/sec, 200 secs
lola: 9620374 markings, 36556188 edges, 43671 markings/sec, 205 secs
lola: 9838211 markings, 37421035 edges, 43567 markings/sec, 210 secs
lola: 10056794 markings, 38287322 edges, 43717 markings/sec, 215 secs
lola: 10275727 markings, 39156543 edges, 43787 markings/sec, 220 secs
lola: 10495063 markings, 40027288 edges, 43867 markings/sec, 225 secs
lola: 10727027 markings, 40899206 edges, 46393 markings/sec, 230 secs
lola: 10961967 markings, 41763171 edges, 46988 markings/sec, 235 secs
lola: 11178679 markings, 42623359 edges, 43342 markings/sec, 240 secs
lola: 11396764 markings, 43487575 edges, 43617 markings/sec, 245 secs
lola: 11613537 markings, 44348020 edges, 43355 markings/sec, 250 secs
lola: 11830371 markings, 45211589 edges, 43367 markings/sec, 255 secs
lola: 12044631 markings, 46071874 edges, 42852 markings/sec, 260 secs
lola: 12261673 markings, 46931945 edges, 43408 markings/sec, 265 secs
lola: 12481699 markings, 47805517 edges, 44005 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1986184 KB
lola: time consumption: 1057 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 279 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (X (G ((FIREABLE(t448) OR G (FIREABLE(t415))))))) AND A (X (G (NOT FIREABLE(t415)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 279 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (NOT FIREABLE(t415))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (NOT FIREABLE(t415))))
lola: processed formula length: 30
lola: 110 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 305 markings, 305 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 8 will run for 314 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t76) OR NOT FIREABLE(t124)) OR X (G (NOT FIREABLE(t534))))))
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(t124)) OR X (G (NOT FIREABLE(t534))))))
lola: processed formula length: 82
lola: 110 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: 160702 markings, 988290 edges, 32140 markings/sec, 0 secs
lola: 300441 markings, 1981263 edges, 27948 markings/sec, 5 secs
lola: 430540 markings, 2971327 edges, 26020 markings/sec, 10 secs
lola: 566466 markings, 3963582 edges, 27185 markings/sec, 15 secs
lola: 693269 markings, 4953451 edges, 25361 markings/sec, 20 secs
lola: 832380 markings, 5941505 edges, 27822 markings/sec, 25 secs
lola: 958585 markings, 6926259 edges, 25241 markings/sec, 30 secs
lola: 1094060 markings, 7908800 edges, 27095 markings/sec, 35 secs
lola: 1221682 markings, 8886228 edges, 25524 markings/sec, 40 secs
lola: 1352337 markings, 9863824 edges, 26131 markings/sec, 45 secs
lola: 1481638 markings, 10838062 edges, 25860 markings/sec, 50 secs
lola: 1601571 markings, 11749310 edges, 23987 markings/sec, 55 secs
lola: 1731136 markings, 12704484 edges, 25913 markings/sec, 60 secs
lola: 1854268 markings, 13652891 edges, 24626 markings/sec, 65 secs
lola: 1988478 markings, 14620959 edges, 26842 markings/sec, 70 secs
lola: 2111623 markings, 15596577 edges, 24629 markings/sec, 75 secs
lola: 2251906 markings, 16585166 edges, 28057 markings/sec, 80 secs
lola: 2376063 markings, 17575261 edges, 24831 markings/sec, 85 secs
lola: 2495851 markings, 18559348 edges, 23958 markings/sec, 90 secs
lola: 2606626 markings, 19538695 edges, 22155 markings/sec, 95 secs
lola: 2726722 markings, 20518910 edges, 24019 markings/sec, 100 secs
lola: 2835691 markings, 21495207 edges, 21794 markings/sec, 105 secs
lola: 2955714 markings, 22467238 edges, 24005 markings/sec, 110 secs
lola: 3062765 markings, 23435058 edges, 21410 markings/sec, 115 secs
lola: 3183934 markings, 24408259 edges, 24234 markings/sec, 120 secs
lola: 3290047 markings, 25372420 edges, 21223 markings/sec, 125 secs
lola: 3410082 markings, 26337130 edges, 24007 markings/sec, 130 secs
lola: 3517170 markings, 27296821 edges, 21418 markings/sec, 135 secs
lola: 3635264 markings, 28254212 edges, 23619 markings/sec, 140 secs
lola: 3742330 markings, 29208033 edges, 21413 markings/sec, 145 secs
lola: 3857891 markings, 30154520 edges, 23112 markings/sec, 150 secs
lola: 3965560 markings, 31099380 edges, 21534 markings/sec, 155 secs
lola: 4081434 markings, 32061279 edges, 23175 markings/sec, 160 secs
lola: 4194599 markings, 33042928 edges, 22633 markings/sec, 165 secs
lola: 4323392 markings, 34024359 edges, 25759 markings/sec, 170 secs
lola: 4449314 markings, 35004332 edges, 25184 markings/sec, 175 secs
lola: 4572438 markings, 35988270 edges, 24625 markings/sec, 180 secs
lola: 4682833 markings, 36966338 edges, 22079 markings/sec, 185 secs
lola: 4802541 markings, 37947498 edges, 23942 markings/sec, 190 secs
lola: 4912527 markings, 38913857 edges, 21997 markings/sec, 195 secs
lola: 5030249 markings, 39884702 edges, 23544 markings/sec, 200 secs
lola: 5139539 markings, 40841497 edges, 21858 markings/sec, 205 secs
lola: 5254477 markings, 41798141 edges, 22988 markings/sec, 210 secs
lola: 5365535 markings, 42755636 edges, 22212 markings/sec, 215 secs
lola: 5478690 markings, 43709237 edges, 22631 markings/sec, 220 secs
lola: 5591413 markings, 44667756 edges, 22545 markings/sec, 225 secs
lola: 5704017 markings, 45617143 edges, 22521 markings/sec, 230 secs
lola: 5816516 markings, 46564486 edges, 22500 markings/sec, 235 secs
lola: 5926028 markings, 47506973 edges, 21902 markings/sec, 240 secs
lola: 6039055 markings, 48447317 edges, 22605 markings/sec, 245 secs
lola: 6146588 markings, 49389211 edges, 21507 markings/sec, 250 secs
lola: 6264399 markings, 50360486 edges, 23562 markings/sec, 255 secs
lola: 6378498 markings, 51335425 edges, 22820 markings/sec, 260 secs
lola: 6511778 markings, 52308383 edges, 26656 markings/sec, 265 secs
lola: 6633207 markings, 53282202 edges, 24286 markings/sec, 270 secs
lola: 6749526 markings, 54255871 edges, 23264 markings/sec, 275 secs
lola: 6861159 markings, 55220888 edges, 22327 markings/sec, 280 secs
lola: 6977341 markings, 56186458 edges, 23236 markings/sec, 285 secs
lola: 7087257 markings, 57149868 edges, 21983 markings/sec, 290 secs
lola: 7203932 markings, 58109992 edges, 23335 markings/sec, 295 secs
lola: 7311632 markings, 59061896 edges, 21540 markings/sec, 300 secs
lola: 7428119 markings, 60011244 edges, 23297 markings/sec, 305 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no unknown yes unknown unknown no unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1126636 KB
lola: time consumption: 1371 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 314 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((NOT FIREABLE(t184) AND NOT FIREABLE(t60)) AND A (X (X ((FIREABLE(t60) OR X (F (FIREABLE(t184))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 314 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t184) AND NOT FIREABLE(t60))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(t184) AND NOT FIREABLE(t60))
lola: processed formula length: 42
lola: 110 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 366 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X ((FIREABLE(t60) OR X (F (FIREABLE(t184)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X ((FIREABLE(t60) OR X (F (FIREABLE(t184)))))))
lola: processed formula length: 53
lola: 110 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 305 markings, 305 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 10 will run for 366 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (G (NOT FIREABLE(t547)))) AND A (G (F ((X (F (FIREABLE(t105))) OR (FIREABLE(t549) U FIREABLE(t105)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 366 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (NOT FIREABLE(t547))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (NOT FIREABLE(t547))))
lola: processed formula length: 30
lola: 110 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: 154207 markings, 940585 edges, 30841 markings/sec, 0 secs
lola: 294832 markings, 1935679 edges, 28125 markings/sec, 5 secs
lola: 425398 markings, 2927975 edges, 26113 markings/sec, 10 secs
lola: 559961 markings, 3915366 edges, 26913 markings/sec, 15 secs
lola: 686406 markings, 4900983 edges, 25289 markings/sec, 20 secs
lola: 824134 markings, 5884250 edges, 27546 markings/sec, 25 secs
lola: 948637 markings, 6864493 edges, 24901 markings/sec, 30 secs
lola: 1085454 markings, 7841217 edges, 27363 markings/sec, 35 secs
lola: 1211733 markings, 8815181 edges, 25256 markings/sec, 40 secs
lola: 1343504 markings, 9787713 edges, 26354 markings/sec, 45 secs
lola: 1471131 markings, 10757626 edges, 25525 markings/sec, 50 secs
lola: 1598199 markings, 11723395 edges, 25414 markings/sec, 55 secs
lola: 1727927 markings, 12682018 edges, 25946 markings/sec, 60 secs
lola: 1852409 markings, 13638084 edges, 24896 markings/sec, 65 secs
lola: 1987806 markings, 14616470 edges, 27079 markings/sec, 70 secs
lola: 2112276 markings, 15602094 edges, 24894 markings/sec, 75 secs
lola: 2253532 markings, 16596204 edges, 28251 markings/sec, 80 secs
lola: 2377599 markings, 17587786 edges, 24813 markings/sec, 85 secs
lola: 2497628 markings, 18576830 edges, 24006 markings/sec, 90 secs
lola: 2609626 markings, 19561648 edges, 22400 markings/sec, 95 secs
lola: 2729608 markings, 20544850 edges, 23996 markings/sec, 100 secs
lola: 2839956 markings, 21525117 edges, 22070 markings/sec, 105 secs
lola: 2960439 markings, 22504988 edges, 24097 markings/sec, 110 secs
lola: 3069036 markings, 23481314 edges, 21719 markings/sec, 115 secs
lola: 3189276 markings, 24452993 edges, 24048 markings/sec, 120 secs
lola: 3296132 markings, 25422523 edges, 21371 markings/sec, 125 secs
lola: 3417294 markings, 26392391 edges, 24232 markings/sec, 130 secs
lola: 3523790 markings, 27358733 edges, 21299 markings/sec, 135 secs
lola: 3643749 markings, 28324229 edges, 23992 markings/sec, 140 secs
lola: 3751225 markings, 29285395 edges, 21495 markings/sec, 145 secs
lola: 3868808 markings, 30239833 edges, 23517 markings/sec, 150 secs
lola: 3975881 markings, 31192015 edges, 21415 markings/sec, 155 secs
lola: 4094639 markings, 32166596 edges, 23752 markings/sec, 160 secs
lola: 4206494 markings, 33147834 edges, 22371 markings/sec, 165 secs
lola: 4339117 markings, 34134256 edges, 26525 markings/sec, 170 secs
lola: 4463759 markings, 35119794 edges, 24928 markings/sec, 175 secs
lola: 4587070 markings, 36106020 edges, 24662 markings/sec, 180 secs
lola: 4696581 markings, 37088061 edges, 21902 markings/sec, 185 secs
lola: 4817283 markings, 38065378 edges, 24140 markings/sec, 190 secs
lola: 4926194 markings, 39037786 edges, 21782 markings/sec, 195 secs
lola: 5045603 markings, 40007108 edges, 23882 markings/sec, 200 secs
lola: 5153976 markings, 40971434 edges, 21675 markings/sec, 205 secs
lola: 5271612 markings, 41935338 edges, 23527 markings/sec, 210 secs
lola: 5381089 markings, 42895436 edges, 21895 markings/sec, 215 secs
lola: 5497020 markings, 43855288 edges, 23186 markings/sec, 220 secs
lola: 5606987 markings, 44813100 edges, 21993 markings/sec, 225 secs
lola: 5721590 markings, 45768303 edges, 22921 markings/sec, 230 secs
lola: 5831864 markings, 46719359 edges, 22055 markings/sec, 235 secs
lola: 5943678 markings, 47658528 edges, 22363 markings/sec, 240 secs
lola: 6055191 markings, 48597256 edges, 22303 markings/sec, 245 secs
lola: 6166865 markings, 49551068 edges, 22335 markings/sec, 250 secs
lola: 6282857 markings, 50526627 edges, 23198 markings/sec, 255 secs
lola: 6402198 markings, 51502463 edges, 23868 markings/sec, 260 secs
lola: 6531901 markings, 52481877 edges, 25941 markings/sec, 265 secs
lola: 6653298 markings, 53457184 edges, 24279 markings/sec, 270 secs
lola: 6768025 markings, 54433791 edges, 22945 markings/sec, 275 secs
lola: 6882951 markings, 55405340 edges, 22985 markings/sec, 280 secs
lola: 6997099 markings, 56368856 edges, 22830 markings/sec, 285 secs
lola: 7110585 markings, 57336139 edges, 22697 markings/sec, 290 secs
lola: 7225491 markings, 58304042 edges, 22981 markings/sec, 295 secs
lola: 7337452 markings, 59268732 edges, 22392 markings/sec, 300 secs
lola: 7452903 markings, 60231042 edges, 23090 markings/sec, 305 secs
lola: 7562782 markings, 61189358 edges, 21976 markings/sec, 310 secs
lola: 7678798 markings, 62148655 edges, 23203 markings/sec, 315 secs
lola: 7787929 markings, 63105630 edges, 21826 markings/sec, 320 secs
lola: 7904957 markings, 64063891 edges, 23406 markings/sec, 325 secs
lola: 8010890 markings, 65015536 edges, 21187 markings/sec, 330 secs
lola: 8127924 markings, 65962355 edges, 23407 markings/sec, 335 secs
lola: 8231702 markings, 66906144 edges, 20756 markings/sec, 340 secs
lola: 8352982 markings, 67880833 edges, 24256 markings/sec, 345 secs
lola: 8461556 markings, 68855093 edges, 21715 markings/sec, 350 secs
lola: 8598412 markings, 69834197 edges, 27371 markings/sec, 355 secs
lola: 8721372 markings, 70812430 edges, 24592 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no unknown yes unknown unknown no unknown no unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no unknown no unknown yes unknown unknown no unknown no unknown unknown unknown unknown unknown
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no unknown yes unknown unknown no unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 1310144 KB
lola: time consumption: 1737 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 366 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((FIREABLE(t329) OR X (F ((FIREABLE(t329) AND FIREABLE(t376)))))) AND A (X (X ((NOT FIREABLE(t376) OR G (FIREABLE(t126)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 366 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t329) OR X (F ((FIREABLE(t329) AND FIREABLE(t376))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t329) OR X (F ((FIREABLE(t329) AND FIREABLE(t376))))))
lola: processed formula length: 67
lola: 110 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 305 markings, 305 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 12 will run for 457 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X ((FIREABLE(t557) OR ((F (FIREABLE(t316)) U FIREABLE(t370)) U NOT FIREABLE(t316)))) U (FIREABLE(t316) AND FIREABLE(t33))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X ((FIREABLE(t557) OR ((F (FIREABLE(t316)) U FIREABLE(t370)) U NOT FIREABLE(t316)))) U (FIREABLE(t316) AND FIREABLE(t33))))
lola: processed formula length: 127
lola: 110 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 415 markings, 415 edges
lola: ========================================
lola: subprocess 13 will run for 610 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (FIREABLE(t411)) U NOT FIREABLE(t570)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (FIREABLE(t411)) U NOT FIREABLE(t570)))
lola: processed formula length: 45
lola: 110 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 915 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((NOT FIREABLE(t416) OR (G (NOT FIREABLE(t65)) R (NOT FIREABLE(t380) OR NOT FIREABLE(t65)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((NOT FIREABLE(t416) OR (G (NOT FIREABLE(t65)) R (NOT FIREABLE(t380) OR NOT FIREABLE(t65)))))))
lola: processed formula length: 104
lola: 110 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 154076 markings, 962330 edges, 30815 markings/sec, 0 secs
lola: 288182 markings, 1925408 edges, 26821 markings/sec, 5 secs
lola: 412882 markings, 2881468 edges, 24940 markings/sec, 10 secs
lola: 539183 markings, 3828191 edges, 25260 markings/sec, 15 secs
lola: 663502 markings, 4774256 edges, 24864 markings/sec, 20 secs
lola: 782749 markings, 5724328 edges, 23849 markings/sec, 25 secs
lola: 896206 markings, 6679846 edges, 22691 markings/sec, 30 secs
lola: 1015672 markings, 7628925 edges, 23893 markings/sec, 35 secs
lola: 1141451 markings, 8592001 edges, 25156 markings/sec, 40 secs
lola: 1260187 markings, 9551474 edges, 23747 markings/sec, 45 secs
lola: 1373451 markings, 10501116 edges, 22653 markings/sec, 50 secs
lola: 1478823 markings, 11459019 edges, 21074 markings/sec, 55 secs
lola: 1613008 markings, 12396055 edges, 26837 markings/sec, 60 secs
lola: 1752226 markings, 13360667 edges, 27844 markings/sec, 65 secs
lola: 1880418 markings, 14318801 edges, 25638 markings/sec, 70 secs
lola: 2006428 markings, 15274212 edges, 25202 markings/sec, 75 secs
lola: 2126400 markings, 16169135 edges, 23994 markings/sec, 80 secs
lola: 2243192 markings, 17103714 edges, 23358 markings/sec, 85 secs
lola: 2359493 markings, 18050500 edges, 23260 markings/sec, 90 secs
lola: 2468075 markings, 18996767 edges, 21716 markings/sec, 95 secs
lola: 2599023 markings, 19957784 edges, 26190 markings/sec, 100 secs
lola: 2718508 markings, 20916610 edges, 23897 markings/sec, 105 secs
lola: 2838139 markings, 21876268 edges, 23926 markings/sec, 110 secs
lola: 2948693 markings, 22833868 edges, 22111 markings/sec, 115 secs
lola: 3059878 markings, 23758256 edges, 22237 markings/sec, 120 secs
lola: 3198781 markings, 24673737 edges, 27781 markings/sec, 125 secs
lola: 3327779 markings, 25599787 edges, 25800 markings/sec, 130 secs
lola: 3447160 markings, 26528720 edges, 23876 markings/sec, 135 secs
lola: 3570796 markings, 27443548 edges, 24727 markings/sec, 140 secs
lola: 3691417 markings, 28368970 edges, 24124 markings/sec, 145 secs
lola: 3806813 markings, 29286391 edges, 23079 markings/sec, 150 secs
lola: 3915680 markings, 30201900 edges, 21773 markings/sec, 155 secs
lola: 4030958 markings, 31123469 edges, 23056 markings/sec, 160 secs
lola: 4153742 markings, 32055111 edges, 24557 markings/sec, 165 secs
lola: 4267588 markings, 32985156 edges, 22769 markings/sec, 170 secs
lola: 4378810 markings, 33911766 edges, 22244 markings/sec, 175 secs
lola: 4484999 markings, 34837768 edges, 21238 markings/sec, 180 secs
lola: 4603327 markings, 35735010 edges, 23666 markings/sec, 185 secs
lola: 4737717 markings, 36649990 edges, 26878 markings/sec, 190 secs
lola: 4865702 markings, 37580182 edges, 25597 markings/sec, 195 secs
lola: 4980190 markings, 38497315 edges, 22898 markings/sec, 200 secs
lola: 5111262 markings, 39426667 edges, 26214 markings/sec, 205 secs
lola: 5227345 markings, 40348718 edges, 23217 markings/sec, 210 secs
lola: 5343114 markings, 41267775 edges, 23154 markings/sec, 215 secs
lola: 5450974 markings, 42181227 edges, 21572 markings/sec, 220 secs
lola: 5570529 markings, 43105553 edges, 23911 markings/sec, 225 secs
lola: 5690031 markings, 44036644 edges, 23900 markings/sec, 230 secs
lola: 5805320 markings, 44966876 edges, 23058 markings/sec, 235 secs
lola: 5915961 markings, 45895015 edges, 22128 markings/sec, 240 secs
lola: 6017347 markings, 46818579 edges, 20277 markings/sec, 245 secs
lola: 6135531 markings, 47736621 edges, 23637 markings/sec, 250 secs
lola: 6258924 markings, 48688976 edges, 24679 markings/sec, 255 secs
lola: 6377005 markings, 49639811 edges, 23616 markings/sec, 260 secs
lola: 6500861 markings, 50591671 edges, 24771 markings/sec, 265 secs
lola: 6625672 markings, 51545369 edges, 24962 markings/sec, 270 secs
lola: 6744367 markings, 52497717 edges, 23739 markings/sec, 275 secs
lola: 6863230 markings, 53447895 edges, 23773 markings/sec, 280 secs
lola: 6992860 markings, 54403363 edges, 25926 markings/sec, 285 secs
lola: 7130220 markings, 55350765 edges, 27472 markings/sec, 290 secs
lola: 7259235 markings, 56299613 edges, 25803 markings/sec, 295 secs
lola: 7396463 markings, 57246947 edges, 27446 markings/sec, 300 secs
lola: 7524090 markings, 58197295 edges, 25525 markings/sec, 305 secs
lola: 7653626 markings, 59151294 edges, 25907 markings/sec, 310 secs
lola: 7768690 markings, 60108067 edges, 23013 markings/sec, 315 secs
lola: 7887100 markings, 61067042 edges, 23682 markings/sec, 320 secs
lola: 8002932 markings, 62019854 edges, 23166 markings/sec, 325 secs
lola: 8104356 markings, 62968127 edges, 20285 markings/sec, 330 secs
lola: 8221398 markings, 63916439 edges, 23408 markings/sec, 335 secs
lola: 8338118 markings, 64859562 edges, 23344 markings/sec, 340 secs
lola: 8446146 markings, 65801190 edges, 21606 markings/sec, 345 secs
lola: 8558260 markings, 66746452 edges, 22423 markings/sec, 350 secs
lola: 8660684 markings, 67698407 edges, 20485 markings/sec, 355 secs
lola: 8775495 markings, 68653772 edges, 22962 markings/sec, 360 secs
lola: 8890302 markings, 69617959 edges, 22961 markings/sec, 365 secs
lola: 9007969 markings, 70578240 edges, 23533 markings/sec, 370 secs
lola: 9122605 markings, 71540506 edges, 22927 markings/sec, 375 secs
lola: 9239917 markings, 72498896 edges, 23462 markings/sec, 380 secs
lola: 9354696 markings, 73461630 edges, 22956 markings/sec, 385 secs
lola: 9468005 markings, 74422661 edges, 22662 markings/sec, 390 secs
lola: 9589034 markings, 75387649 edges, 24206 markings/sec, 395 secs
lola: 9713815 markings, 76359175 edges, 24956 markings/sec, 400 secs
lola: 9831357 markings, 77317888 edges, 23508 markings/sec, 405 secs
lola: 9946562 markings, 78283504 edges, 23041 markings/sec, 410 secs
lola: 10050507 markings, 79242903 edges, 20789 markings/sec, 415 secs
lola: 10171386 markings, 80198768 edges, 24176 markings/sec, 420 secs
lola: 10292375 markings, 81160568 edges, 24198 markings/sec, 425 secs
lola: 10416019 markings, 82124415 edges, 24729 markings/sec, 430 secs
lola: 10529990 markings, 83085864 edges, 22794 markings/sec, 435 secs
lola: 10640478 markings, 84044572 edges, 22098 markings/sec, 440 secs
lola: 10748964 markings, 85004795 edges, 21697 markings/sec, 445 secs
lola: 10865528 markings, 85969849 edges, 23313 markings/sec, 450 secs
lola: 10974976 markings, 86936194 edges, 21890 markings/sec, 455 secs
lola: 11077147 markings, 87895246 edges, 20434 markings/sec, 460 secs
lola: 11178230 markings, 88858716 edges, 20217 markings/sec, 465 secs
lola: 11283881 markings, 89833659 edges, 21130 markings/sec, 470 secs
lola: 11389974 markings, 90799978 edges, 21219 markings/sec, 475 secs
lola: 11492825 markings, 91767029 edges, 20570 markings/sec, 480 secs
lola: 11600563 markings, 92728061 edges, 21548 markings/sec, 485 secs
lola: 11701583 markings, 93691053 edges, 20204 markings/sec, 490 secs
lola: 11795344 markings, 94652126 edges, 18752 markings/sec, 495 secs
lola: 11888530 markings, 95610999 edges, 18637 markings/sec, 500 secs
lola: 11972561 markings, 96556417 edges, 16806 markings/sec, 505 secs
lola: 12055245 markings, 97505499 edges, 16537 markings/sec, 510 secs
lola: 12133290 markings, 98445874 edges, 15609 markings/sec, 515 secs
lola: 12215923 markings, 99396139 edges, 16527 markings/sec, 520 secs
lola: 12292110 markings, 100336421 edges, 15237 markings/sec, 525 secs
lola: 12367797 markings, 101283124 edges, 15137 markings/sec, 530 secs
lola: 12443199 markings, 102226607 edges, 15080 markings/sec, 535 secs
lola: 12521994 markings, 103168958 edges, 15759 markings/sec, 540 secs
lola: 12650396 markings, 104115531 edges, 25680 markings/sec, 545 secs
lola: 12768080 markings, 105058211 edges, 23537 markings/sec, 550 secs
lola: 12884900 markings, 106000676 edges, 23364 markings/sec, 555 secs
lola: 13012849 markings, 106939364 edges, 25590 markings/sec, 560 secs
lola: 13131070 markings, 107873123 edges, 23644 markings/sec, 565 secs
lola: 13247535 markings, 108806087 edges, 23293 markings/sec, 570 secs
lola: 13336599 markings, 109746270 edges, 17813 markings/sec, 575 secs
lola: 13464150 markings, 110691279 edges, 25510 markings/sec, 580 secs
lola: 13589815 markings, 111645847 edges, 25133 markings/sec, 585 secs
lola: 13699288 markings, 112607737 edges, 21895 markings/sec, 590 secs
lola: 13803047 markings, 113566782 edges, 20752 markings/sec, 595 secs
lola: 13916964 markings, 114517350 edges, 22783 markings/sec, 600 secs
lola: 14037886 markings, 115473341 edges, 24184 markings/sec, 605 secs
lola: 14141155 markings, 116437294 edges, 20654 markings/sec, 610 secs
lola: 14236984 markings, 117397586 edges, 19166 markings/sec, 615 secs
lola: 14349727 markings, 118359016 edges, 22549 markings/sec, 620 secs
lola: 14449173 markings, 119318676 edges, 19889 markings/sec, 625 secs
lola: 14560279 markings, 120269844 edges, 22221 markings/sec, 630 secs
lola: 14640256 markings, 121249354 edges, 15995 markings/sec, 635 secs
lola: 14738442 markings, 122212373 edges, 19637 markings/sec, 640 secs
lola: 14835348 markings, 123171054 edges, 19381 markings/sec, 645 secs
lola: 14924422 markings, 124132618 edges, 17815 markings/sec, 650 secs
lola: 15008350 markings, 125089431 edges, 16786 markings/sec, 655 secs
lola: 15114931 markings, 126027851 edges, 21316 markings/sec, 660 secs
lola: 15233872 markings, 126970304 edges, 23788 markings/sec, 665 secs
lola: 15340465 markings, 127908946 edges, 21319 markings/sec, 670 secs
lola: 15451165 markings, 128843334 edges, 22140 markings/sec, 675 secs
lola: 15554699 markings, 129779618 edges, 20707 markings/sec, 680 secs
lola: 15661594 markings, 130722729 edges, 21379 markings/sec, 685 secs
lola: 15779224 markings, 131673540 edges, 23526 markings/sec, 690 secs
lola: 15891259 markings, 132622993 edges, 22407 markings/sec, 695 secs
lola: 16008911 markings, 133570808 edges, 23530 markings/sec, 700 secs
lola: 16106545 markings, 134523057 edges, 19527 markings/sec, 705 secs
lola: 16189285 markings, 135501342 edges, 16548 markings/sec, 710 secs
lola: 16269505 markings, 136477159 edges, 16044 markings/sec, 715 secs
lola: 16352315 markings, 137453675 edges, 16562 markings/sec, 720 secs
lola: 16429582 markings, 138430758 edges, 15453 markings/sec, 725 secs
lola: 16506478 markings, 139411475 edges, 15379 markings/sec, 730 secs
lola: 16577607 markings, 140394171 edges, 14226 markings/sec, 735 secs
lola: 16650425 markings, 141374033 edges, 14564 markings/sec, 740 secs
lola: 16717141 markings, 142354140 edges, 13343 markings/sec, 745 secs
lola: 16793033 markings, 143245926 edges, 15178 markings/sec, 750 secs
lola: 16907351 markings, 144176945 edges, 22864 markings/sec, 755 secs
lola: 17029193 markings, 145127149 edges, 24368 markings/sec, 760 secs
lola: 17113502 markings, 146093700 edges, 16862 markings/sec, 765 secs
lola: 17191310 markings, 147061748 edges, 15562 markings/sec, 770 secs
lola: 17290684 markings, 148006917 edges, 19875 markings/sec, 775 secs
lola: 17386386 markings, 148955328 edges, 19140 markings/sec, 780 secs
lola: 17477125 markings, 149904978 edges, 18148 markings/sec, 785 secs
lola: 17564053 markings, 150852279 edges, 17386 markings/sec, 790 secs
lola: 17657233 markings, 151783714 edges, 18636 markings/sec, 795 secs
lola: 17772533 markings, 152707503 edges, 23060 markings/sec, 800 secs
lola: 17893757 markings, 153654623 edges, 24245 markings/sec, 805 secs
lola: 17979358 markings, 154620797 edges, 17120 markings/sec, 810 secs
lola: 18056990 markings, 155592942 edges, 15526 markings/sec, 815 secs
lola: 18154713 markings, 156533635 edges, 19545 markings/sec, 820 secs
lola: 18248175 markings, 157476489 edges, 18692 markings/sec, 825 secs
lola: 18337096 markings, 158423530 edges, 17784 markings/sec, 830 secs
lola: 18421675 markings, 159373006 edges, 16916 markings/sec, 835 secs
lola: 18513651 markings, 160306150 edges, 18395 markings/sec, 840 secs
lola: 18621958 markings, 161248757 edges, 21661 markings/sec, 845 secs
lola: 18700562 markings, 162209926 edges, 15721 markings/sec, 850 secs
lola: 18788931 markings, 163161079 edges, 17674 markings/sec, 855 secs
lola: 18873282 markings, 164110602 edges, 16870 markings/sec, 860 secs
lola: 18968897 markings, 165035149 edges, 19123 markings/sec, 865 secs
lola: 19066205 markings, 165963146 edges, 19462 markings/sec, 870 secs
lola: 19162034 markings, 166905389 edges, 19166 markings/sec, 875 secs
lola: 19230555 markings, 167870305 edges, 13704 markings/sec, 880 secs
lola: 19296833 markings, 168844185 edges, 13256 markings/sec, 885 secs
lola: 19387225 markings, 169782498 edges, 18078 markings/sec, 890 secs
lola: 19467581 markings, 170741667 edges, 16071 markings/sec, 895 secs
lola: 19553068 markings, 171686969 edges, 17097 markings/sec, 900 secs
lola: 19638604 markings, 172631479 edges, 17107 markings/sec, 905 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no unknown yes unknown unknown no unknown no yes unknown unknown no no
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown no unknown no unknown yes unknown unknown no unknown no yes unknown unknown no no
lola: memory consumption: 3691904 KB
lola: time consumption: 2654 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 916 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (F (FIREABLE(t280)))) AND A (G (((F (FIREABLE(t280)) AND G (NOT FIREABLE(t280))) OR FIREABLE(t280)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 916 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(t280))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(t280))))
lola: processed formula length: 26
lola: 110 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: 278 markings, 278 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (F (((NOT FIREABLE(t39) R NOT FIREABLE(t152)) AND G (F (FIREABLE(t390)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (((NOT FIREABLE(t39) R NOT FIREABLE(t152)) AND G (F (FIREABLE(t390)))))))
lola: processed formula length: 81
lola: 110 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 260668 markings, 910757 edges, 52134 markings/sec, 0 secs
lola: 502509 markings, 1875191 edges, 48368 markings/sec, 5 secs
lola: 739812 markings, 2840194 edges, 47461 markings/sec, 10 secs
lola: 952895 markings, 3801727 edges, 42617 markings/sec, 15 secs
lola: 1190741 markings, 4759109 edges, 47569 markings/sec, 20 secs
lola: 1400714 markings, 5713283 edges, 41995 markings/sec, 25 secs
lola: 1637501 markings, 6666215 edges, 47357 markings/sec, 30 secs
lola: 1850304 markings, 7617957 edges, 42561 markings/sec, 35 secs
lola: 2083623 markings, 8568425 edges, 46664 markings/sec, 40 secs
lola: 2298942 markings, 9517678 edges, 43064 markings/sec, 45 secs
lola: 2529081 markings, 10465455 edges, 46028 markings/sec, 50 secs
lola: 2745496 markings, 11411901 edges, 43283 markings/sec, 55 secs
lola: 2972589 markings, 12357171 edges, 45419 markings/sec, 60 secs
lola: 3191257 markings, 13298637 edges, 43734 markings/sec, 65 secs
lola: 3413858 markings, 14234290 edges, 44520 markings/sec, 70 secs
lola: 3635806 markings, 15166131 edges, 44390 markings/sec, 75 secs
lola: 3854762 markings, 16106743 edges, 43791 markings/sec, 80 secs
lola: 4085019 markings, 17068992 edges, 46051 markings/sec, 85 secs
lola: 4307438 markings, 18032833 edges, 44484 markings/sec, 90 secs
lola: 4540657 markings, 19001265 edges, 46644 markings/sec, 95 secs
lola: 4755703 markings, 19968303 edges, 43009 markings/sec, 100 secs
lola: 4965880 markings, 20932885 edges, 42035 markings/sec, 105 secs
lola: 5156179 markings, 21894224 edges, 38060 markings/sec, 110 secs
lola: 5366517 markings, 22853262 edges, 42068 markings/sec, 115 secs
lola: 5563130 markings, 23811966 edges, 39323 markings/sec, 120 secs
lola: 5767514 markings, 24768358 edges, 40877 markings/sec, 125 secs
lola: 5971819 markings, 25722554 edges, 40861 markings/sec, 130 secs
lola: 6167681 markings, 26675207 edges, 39172 markings/sec, 135 secs
lola: 6374540 markings, 27624602 edges, 41372 markings/sec, 140 secs
lola: 6562034 markings, 28570229 edges, 37499 markings/sec, 145 secs
lola: 6769260 markings, 29516441 edges, 41445 markings/sec, 150 secs
lola: 6963813 markings, 30461560 edges, 38911 markings/sec, 155 secs
lola: 7165822 markings, 31404217 edges, 40402 markings/sec, 160 secs
lola: 7367363 markings, 32344757 edges, 40308 markings/sec, 165 secs
lola: 7555745 markings, 33280109 edges, 37676 markings/sec, 170 secs
lola: 7759276 markings, 34209230 edges, 40706 markings/sec, 175 secs
lola: 7945949 markings, 35137157 edges, 37335 markings/sec, 180 secs
lola: 8150886 markings, 36087073 edges, 40987 markings/sec, 185 secs
lola: 8352920 markings, 37046237 edges, 40407 markings/sec, 190 secs
lola: 8564814 markings, 38005569 edges, 42379 markings/sec, 195 secs
lola: 8794518 markings, 38968221 edges, 45941 markings/sec, 200 secs
lola: 9007885 markings, 39928757 edges, 42673 markings/sec, 205 secs
lola: 9217486 markings, 40889421 edges, 41920 markings/sec, 210 secs
lola: 9405172 markings, 41847255 edges, 37537 markings/sec, 215 secs
lola: 9616212 markings, 42799313 edges, 42208 markings/sec, 220 secs
lola: 9808948 markings, 43748675 edges, 38547 markings/sec, 225 secs
lola: 10012058 markings, 44696965 edges, 40622 markings/sec, 230 secs
lola: 10214473 markings, 45641707 edges, 40483 markings/sec, 235 secs
lola: 10408439 markings, 46583909 edges, 38793 markings/sec, 240 secs
lola: 10613698 markings, 47524308 edges, 41052 markings/sec, 245 secs
lola: 10798714 markings, 48459848 edges, 37003 markings/sec, 250 secs
lola: 11004081 markings, 49396403 edges, 41073 markings/sec, 255 secs
lola: 11196488 markings, 50332054 edges, 38481 markings/sec, 260 secs
lola: 11396192 markings, 51264142 edges, 39941 markings/sec, 265 secs
lola: 11595697 markings, 52195067 edges, 39901 markings/sec, 270 secs
lola: 11781290 markings, 53121826 edges, 37119 markings/sec, 275 secs
lola: 11984049 markings, 54043134 edges, 40552 markings/sec, 280 secs
lola: 12169529 markings, 54962551 edges, 37096 markings/sec, 285 secs
lola: 12371848 markings, 55905911 edges, 40464 markings/sec, 290 secs
lola: 12575885 markings, 56860687 edges, 40807 markings/sec, 295 secs
lola: 12782469 markings, 57815249 edges, 41317 markings/sec, 300 secs
lola: 13012617 markings, 58771817 edges, 46030 markings/sec, 305 secs
lola: 13224947 markings, 59726721 edges, 42466 markings/sec, 310 secs
lola: 13432743 markings, 60680669 edges, 41559 markings/sec, 315 secs
lola: 13621321 markings, 61631445 edges, 37716 markings/sec, 320 secs
lola: 13828817 markings, 62578616 edges, 41499 markings/sec, 325 secs
lola: 14023535 markings, 63524720 edges, 38944 markings/sec, 330 secs
lola: 14225402 markings, 64466800 edges, 40373 markings/sec, 335 secs
lola: 14426840 markings, 65406804 edges, 40288 markings/sec, 340 secs
lola: 14615440 markings, 66342716 edges, 37720 markings/sec, 345 secs
lola: 14820277 markings, 67277503 edges, 40967 markings/sec, 350 secs
lola: 15007324 markings, 68208732 edges, 37409 markings/sec, 355 secs
lola: 15208666 markings, 69140829 edges, 40268 markings/sec, 360 secs
lola: 15405726 markings, 70071071 edges, 39412 markings/sec, 365 secs
lola: 15598509 markings, 70997481 edges, 38557 markings/sec, 370 secs
lola: 15800752 markings, 71924908 edges, 40449 markings/sec, 375 secs
lola: 15982151 markings, 72847593 edges, 36280 markings/sec, 380 secs
lola: 16184370 markings, 73767132 edges, 40444 markings/sec, 385 secs
lola: 16372926 markings, 74684861 edges, 37711 markings/sec, 390 secs
lola: 16572056 markings, 75614721 edges, 39826 markings/sec, 395 secs
lola: 16775077 markings, 76561538 edges, 40604 markings/sec, 400 secs
lola: 16968549 markings, 77506638 edges, 38694 markings/sec, 405 secs
lola: 17202748 markings, 78456404 edges, 46840 markings/sec, 410 secs
lola: 17410378 markings, 79403913 edges, 41526 markings/sec, 415 secs
lola: 17620514 markings, 80346719 edges, 42027 markings/sec, 420 secs
lola: 17810528 markings, 81285931 edges, 38003 markings/sec, 425 secs
lola: 18011576 markings, 82223946 edges, 40210 markings/sec, 430 secs
lola: 18212041 markings, 83158860 edges, 40093 markings/sec, 435 secs
lola: 18403960 markings, 84091947 edges, 38384 markings/sec, 440 secs
lola: 18607520 markings, 85026044 edges, 40712 markings/sec, 445 secs
lola: 18792025 markings, 85957149 edges, 36901 markings/sec, 450 secs
lola: 18994887 markings, 86885799 edges, 40572 markings/sec, 455 secs
lola: 19187224 markings, 87813090 edges, 38467 markings/sec, 460 secs
lola: 19383680 markings, 88737341 edges, 39291 markings/sec, 465 secs
lola: 19582701 markings, 89659298 edges, 39804 markings/sec, 470 secs
lola: 19762877 markings, 90576831 edges, 36035 markings/sec, 475 secs
lola: 19966605 markings, 91495202 edges, 40746 markings/sec, 480 secs
lola: 20153313 markings, 92411062 edges, 37342 markings/sec, 485 secs
lola: 20349356 markings, 93322207 edges, 39209 markings/sec, 490 secs
lola: 20544155 markings, 94228618 edges, 38960 markings/sec, 495 secs
lola: 20725622 markings, 95136495 edges, 36293 markings/sec, 500 secs
lola: 20932451 markings, 96076764 edges, 41366 markings/sec, 505 secs
lola: 21121869 markings, 97016447 edges, 37884 markings/sec, 510 secs
lola: 21342752 markings, 97957756 edges, 44177 markings/sec, 515 secs
lola: 21560164 markings, 98899062 edges, 43482 markings/sec, 520 secs
lola: 21769862 markings, 99838579 edges, 41940 markings/sec, 525 secs
lola: 21970740 markings, 100775730 edges, 40176 markings/sec, 530 secs
lola: 22162383 markings, 101709592 edges, 38329 markings/sec, 535 secs
lola: 22364873 markings, 102637524 edges, 40498 markings/sec, 540 secs
lola: 22548363 markings, 103563286 edges, 36698 markings/sec, 545 secs
lola: 22750020 markings, 104491048 edges, 40331 markings/sec, 550 secs
lola: 22944612 markings, 105419702 edges, 38918 markings/sec, 555 secs
lola: 23139825 markings, 106343743 edges, 39043 markings/sec, 560 secs
lola: 23339589 markings, 107264601 edges, 39953 markings/sec, 565 secs
lola: 23519104 markings, 108181807 edges, 35903 markings/sec, 570 secs
lola: 23721883 markings, 109099844 edges, 40556 markings/sec, 575 secs
lola: 23910386 markings, 110017746 edges, 37701 markings/sec, 580 secs
lola: 24106891 markings, 110933224 edges, 39301 markings/sec, 585 secs
lola: 24302356 markings, 111845954 edges, 39093 markings/sec, 590 secs
lola: 24483831 markings, 112755303 edges, 36295 markings/sec, 595 secs
lola: 24683305 markings, 113658894 edges, 39895 markings/sec, 600 secs
lola: 24865485 markings, 114560575 edges, 36436 markings/sec, 605 secs
lola: 25063536 markings, 115483404 edges, 39610 markings/sec, 610 secs
lola: 25264245 markings, 116419860 edges, 40142 markings/sec, 615 secs
lola: 25461609 markings, 117355554 edges, 39473 markings/sec, 620 secs
lola: 25691030 markings, 118294747 edges, 45884 markings/sec, 625 secs
lola: 25897157 markings, 119232113 edges, 41225 markings/sec, 630 secs
lola: 26103469 markings, 120169598 edges, 41262 markings/sec, 635 secs
lola: 26292411 markings, 121104318 edges, 37788 markings/sec, 640 secs
lola: 26492181 markings, 122034848 edges, 39954 markings/sec, 645 secs
lola: 26690362 markings, 122962195 edges, 39636 markings/sec, 650 secs
lola: 26880933 markings, 123886972 edges, 38114 markings/sec, 655 secs
lola: 27082633 markings, 124811442 edges, 40340 markings/sec, 660 secs
lola: 27265549 markings, 125735430 edges, 36583 markings/sec, 665 secs
lola: 27466612 markings, 126655242 edges, 40213 markings/sec, 670 secs
lola: 27657172 markings, 127573846 edges, 38112 markings/sec, 675 secs
lola: 27851497 markings, 128489536 edges, 38865 markings/sec, 680 secs
lola: 28049868 markings, 129404665 edges, 39674 markings/sec, 685 secs
lola: 28228444 markings, 130316393 edges, 35715 markings/sec, 690 secs
lola: 28430124 markings, 131227841 edges, 40336 markings/sec, 695 secs
lola: 28616821 markings, 132138212 edges, 37339 markings/sec, 700 secs
lola: 28811003 markings, 133042940 edges, 38836 markings/sec, 705 secs
lola: 29004164 markings, 133943205 edges, 38632 markings/sec, 710 secs
lola: 29182023 markings, 134842367 edges, 35572 markings/sec, 715 secs
lola: 29388882 markings, 135775320 edges, 41372 markings/sec, 720 secs
lola: 29577325 markings, 136707876 edges, 37689 markings/sec, 725 secs
lola: 29794149 markings, 137643345 edges, 43365 markings/sec, 730 secs
lola: 30011846 markings, 138578190 edges, 43539 markings/sec, 735 secs
lola: 30222449 markings, 139512025 edges, 42121 markings/sec, 740 secs
lola: 30422255 markings, 140444443 edges, 39961 markings/sec, 745 secs
lola: 30608460 markings, 141373886 edges, 37241 markings/sec, 750 secs
lola: 30812053 markings, 142299429 edges, 40719 markings/sec, 755 secs
lola: 30998382 markings, 143222410 edges, 37266 markings/sec, 760 secs
lola: 31196403 markings, 144145558 edges, 39604 markings/sec, 765 secs
lola: 31393394 markings, 145065495 edges, 39398 markings/sec, 770 secs
lola: 31582149 markings, 145983120 edges, 37751 markings/sec, 775 secs
lola: 31782147 markings, 146898775 edges, 40000 markings/sec, 780 secs
lola: 31962557 markings, 147810819 edges, 36082 markings/sec, 785 secs
lola: 32161347 markings, 148724208 edges, 39758 markings/sec, 790 secs
lola: 32353302 markings, 149636268 edges, 38391 markings/sec, 795 secs
lola: 32544141 markings, 150545264 edges, 38168 markings/sec, 800 secs
lola: 32742017 markings, 151454786 edges, 39575 markings/sec, 805 secs
lola: 32920205 markings, 152361005 edges, 35638 markings/sec, 810 secs
lola: 33118013 markings, 153262412 edges, 39562 markings/sec, 815 secs
lola: 33304610 markings, 154164183 edges, 37319 markings/sec, 820 secs
lola: 33498076 markings, 155075363 edges, 38693 markings/sec, 825 secs
lola: 33698703 markings, 156002995 edges, 40125 markings/sec, 830 secs
lola: 33880628 markings, 156930239 edges, 36385 markings/sec, 835 secs
lola: 34120485 markings, 157891402 edges, 47971 markings/sec, 840 secs
lola: 34334138 markings, 158852626 edges, 42731 markings/sec, 845 secs
lola: 34547323 markings, 159814040 edges, 42637 markings/sec, 850 secs
lola: 34743603 markings, 160774475 edges, 39256 markings/sec, 855 secs
lola: 34948196 markings, 161730520 edges, 40919 markings/sec, 860 secs
lola: 35152298 markings, 162683478 edges, 40820 markings/sec, 865 secs
lola: 35347674 markings, 163634304 edges, 39075 markings/sec, 870 secs
lola: 35554757 markings, 164582932 edges, 41417 markings/sec, 875 secs
lola: 35742440 markings, 165530941 edges, 37537 markings/sec, 880 secs
lola: 35949450 markings, 166474774 edges, 41402 markings/sec, 885 secs
lola: 36143170 markings, 167417245 edges, 38744 markings/sec, 890 secs
lola: 36344765 markings, 168358031 edges, 40319 markings/sec, 895 secs
lola: 36546132 markings, 169297510 edges, 40273 markings/sec, 900 secs
lola: 36735347 markings, 170234510 edges, 37843 markings/sec, 905 secs
lola: 36940443 markings, 171171676 edges, 41019 markings/sec, 910 secs
lola: time limit reached - aborting
lola:
preliminary result: no no unknown no unknown yes unknown unknown no unknown no yes unknown unknown no no
lola:
preliminary result: no no unknown no unknown yes unknown unknown no unknown no yes unknown unknown no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no unknown no unknown yes unknown unknown no unknown no yes unknown unknown no no
lola: memory consumption: 5711184 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 1589305285616
--------------------
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-06b"
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-06b, 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-158897552800116"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-06b.tgz
mv AutoFlight-PT-06b 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 ;