About the Execution of 2019-Gold for AutoFlight-PT-12b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7581.900 | 3570107.00 | 3619307.00 | 9482.60 | FF??FF?TT?TT?FFF | 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-158897552800120.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-12b, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r015-smll-158897552800120
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 444K
-rw-r--r-- 1 mcc users 3.4K Mar 25 23:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 23:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 18:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 18:35 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.0K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 25 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 25 10:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 10:47 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 266K 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-12b-00
FORMULA_NAME AutoFlight-PT-12b-01
FORMULA_NAME AutoFlight-PT-12b-02
FORMULA_NAME AutoFlight-PT-12b-03
FORMULA_NAME AutoFlight-PT-12b-04
FORMULA_NAME AutoFlight-PT-12b-05
FORMULA_NAME AutoFlight-PT-12b-06
FORMULA_NAME AutoFlight-PT-12b-07
FORMULA_NAME AutoFlight-PT-12b-08
FORMULA_NAME AutoFlight-PT-12b-09
FORMULA_NAME AutoFlight-PT-12b-10
FORMULA_NAME AutoFlight-PT-12b-11
FORMULA_NAME AutoFlight-PT-12b-12
FORMULA_NAME AutoFlight-PT-12b-13
FORMULA_NAME AutoFlight-PT-12b-14
FORMULA_NAME AutoFlight-PT-12b-15
=== Now, execution of the tool begins
BK_START 1589306929441
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ AutoFlight-PT-12b @ 3570 seconds
FORMULA AutoFlight-PT-12b-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-15 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-12b
{
"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 18:08:49 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 2,
"U": 1,
"X": 5,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 5,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 5,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((F (FIREABLE(t948)) OR (X (FIREABLE(t948)) U (X (X (G (FIREABLE(t1019)))) AND (F (NOT FIREABLE(t176)) OR X (X (G (FIREABLE(t1019)))))))))",
"processed_size": 140,
"rewrites": 143
},
"result":
{
"edges": 540,
"markings": 540,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 32
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 5,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 5,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 4
},
"processed": "A ((X ((FIREABLE(t306) R NOT FIREABLE(t901))) OR (NOT FIREABLE(t856) AND (F (NOT FIREABLE(t491)) OR G (NOT FIREABLE(t856))))))",
"processed_size": 126,
"rewrites": 143
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 257
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((NOT FIREABLE(t1010) R (NOT FIREABLE(t636) OR X (G (NOT FIREABLE(t459))))))",
"processed_size": 78,
"rewrites": 143
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"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": 281
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 1,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((X ((FIREABLE(t908) OR F (NOT FIREABLE(t1025)))) U NOT FIREABLE(t908)))",
"processed_size": 74,
"rewrites": 143
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 312
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 2,
"X": 4,
"aconj": 0,
"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": 4,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (X (X (X (((FIREABLE(t118) U (X (FIREABLE(t771)) U NOT FIREABLE(t118))) OR F (FIREABLE(t40)))))))",
"processed_size": 99,
"rewrites": 143
},
"result":
{
"edges": 3,
"markings": 4,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 8
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 351
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 351
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (FIREABLE(t141)))",
"processed_size": 22,
"rewrites": 145
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 9,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 409
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 5,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (((X (X (FIREABLE(t146))) U FIREABLE(t767)) OR X (X ((FIREABLE(t146) AND X (G (FIREABLE(t413))))))))",
"processed_size": 102,
"rewrites": 143
},
"result":
{
"edges": 544,
"markings": 544,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 17
},
"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"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 491
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (NOT FIREABLE(t479)))",
"processed_size": 26,
"rewrites": 145
},
"result":
{
"edges": 25,
"markings": 26,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 615
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 5,
"G": 2,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 6,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 3,
"tdisj": 2,
"tneg": 0,
"transition_references": 6,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (F (((FIREABLE(t479) OR (F (FIREABLE(t479)) AND F (G (FIREABLE(t479))))) AND F (G ((F (FIREABLE(t479)) AND (FIREABLE(t878) OR FIREABLE(t479))))))))",
"processed_size": 149,
"rewrites": 143
},
"result":
{
"edges": 543,
"markings": 543,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 22
},
"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": 922
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"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 (G ((FIREABLE(t526) AND NOT FIREABLE(t63)))))",
"processed_size": 50,
"rewrites": 143
},
"result":
{
"edges": 545,
"markings": 544,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 14,
"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": 1845
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1845
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "FIREABLE(t697)",
"processed_size": 14,
"rewrites": 143
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 7538568,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(G(**)) : A((F(**) OR (X(**) U (X(X(G(**))) AND (F(*) OR X(X(G(**)))))))) : A(G(F((* OR G(*))))) : A(X(G((F(**) OR (F(**) AND F(G(**))))))) : A(F(((** OR (F(**) AND F(G(**)))) AND F(G((F(**) AND (** OR **))))))) : A(F(G(**))) : A(G(F((X(F(*)) R (* AND X(G(*))))))) : A((X((* R *)) OR (* AND (F(*) OR G(*))))) : A((* R (* OR X(G(*))))) : A(X(((X((* R *)) AND G(*)) R X(*)))) : A((X((** OR F(*))) U **)) : A(X(X(X(((** U (X(**) U **)) OR F(**)))))) : A(X(X(G(((* OR F(G(*))) AND G(*)))))) : (A(G(**)) AND (A(G(F(**))) AND A(G((F(**) OR X(F(**))))))) : A(((X(X(**)) U **) OR X(X((** AND X(G(**))))))) : (** AND A(F((* AND F(*)))))"
},
"net":
{
"arcs": 2618,
"conflict_clusters": 978,
"places": 1126,
"places_significant": 1050,
"singleton_clusters": 0,
"transitions": 1124
},
"result":
{
"interim_value": "no no unknown unknown no no unknown yes yes unknown yes yes unknown no no no ",
"preliminary_value": "no no unknown unknown no no unknown yes yes unknown yes yes unknown no 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: 2250/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1126
lola: finding significant places
lola: 1126 places, 1124 transitions, 1050 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 FIREABLE(t479))) : A ((F (FIREABLE(t948)) OR (X (FIREABLE(t948)) U NOT((G (FIREABLE(t176)) U X (NOT(X (G (FIREABLE(t1019)))))))))) : A (G (NOT((FIREABLE(t262) U F (G ((FIREABLE(t561) AND F (FIREABLE(t857))))))))) : A (G (X ((X (F (X (G (FIREABLE(t128))))) U F (NOT FIREABLE(t642)))))) : A (F (((F (G (FIREABLE(t479))) U FIREABLE(t479)) AND (FIREABLE(t959) U F (G (X ((FIREABLE(t878) U FIREABLE(t479))))))))) : A (F (X (X (G ((FIREABLE(t526) AND NOT FIREABLE(t63))))))) : A (G (F (X (NOT((X (G (FIREABLE(t855))) U (FIREABLE(t855) OR F (X (FIREABLE(t855)))))))))) : A (NOT((X ((NOT FIREABLE(t306) U FIREABLE(t901))) AND (G (FIREABLE(t491)) U FIREABLE(t856))))) : A (NOT((FIREABLE(t1010) U (FIREABLE(t636) AND F (X (FIREABLE(t459))))))) : A (NOT(X (((X ((FIREABLE(t1090) U FIREABLE(t1004))) OR F ((FIREABLE(t1004) OR NOT FIREABLE(t887)))) U X (FIREABLE(t1090)))))) : A (((X (FIREABLE(t908)) OR NOT(G (X (G (FIREABLE(t1025)))))) U NOT FIREABLE(t908))) : A (X (X (X (((FIREABLE(t118) U (X (FIREABLE(t771)) U NOT FIREABLE(t118))) OR F (FIREABLE(t40))))))) : A (NOT(X (F (NOT(G (NOT(X (((FIREABLE(t180) AND G (F (FIREABLE(t785)))) OR F (FIREABLE(t361))))))))))) : A (G ((FIREABLE(t141) AND (F (FIREABLE(t503)) U X (F (FIREABLE(t241))))))) : A (((X (X (FIREABLE(t146))) U FIREABLE(t767)) OR X (X ((FIREABLE(t146) AND G (X (FIREABLE(t413)))))))) : A ((FIREABLE(t697) AND F (NOT((FIREABLE(t1116) OR G (NOT FIREABLE(t1116)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
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:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:428
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:422
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k: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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:353
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:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
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 ((F (FIREABLE(t948)) OR (X (FIREABLE(t948)) U (X (X (G (FIREABLE(t1019)))) AND (F (NOT FIREABLE(t176)) OR X (X (G (FIREABLE(t1019)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (FIREABLE(t948)) OR (X (FIREABLE(t948)) U (X (X (G (FIREABLE(t1019)))) AND (F (NOT FIREABLE(t176)) OR X (X (G (FIREABLE(t1019)))))))))
lola: processed formula length: 140
lola: 143 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 32 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: 540 markings, 540 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((F (NOT FIREABLE(t642)) OR (F (NOT FIREABLE(t642)) AND F (G (FIREABLE(t128))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((F (NOT FIREABLE(t642)) OR (F (NOT FIREABLE(t642)) AND F (G (FIREABLE(t128))))))))
lola: processed formula length: 91
lola: 143 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: 88747 markings, 484811 edges, 17749 markings/sec, 0 secs
lola: 168437 markings, 969192 edges, 15938 markings/sec, 5 secs
lola: 248362 markings, 1457431 edges, 15985 markings/sec, 10 secs
lola: 316600 markings, 1944155 edges, 13648 markings/sec, 15 secs
lola: 387945 markings, 2431593 edges, 14269 markings/sec, 20 secs
lola: 463438 markings, 2914817 edges, 15099 markings/sec, 25 secs
lola: 530769 markings, 3397812 edges, 13466 markings/sec, 30 secs
lola: 602668 markings, 3886049 edges, 14380 markings/sec, 35 secs
lola: 666029 markings, 4370875 edges, 12672 markings/sec, 40 secs
lola: 725642 markings, 4859973 edges, 11923 markings/sec, 45 secs
lola: 791769 markings, 5348013 edges, 13225 markings/sec, 50 secs
lola: 865212 markings, 5833844 edges, 14689 markings/sec, 55 secs
lola: 932324 markings, 6314725 edges, 13422 markings/sec, 60 secs
lola: 1008623 markings, 6801504 edges, 15260 markings/sec, 65 secs
lola: 1076749 markings, 7286860 edges, 13625 markings/sec, 70 secs
lola: 1147911 markings, 7773057 edges, 14232 markings/sec, 75 secs
lola: 1223791 markings, 8262670 edges, 15176 markings/sec, 80 secs
lola: 1292180 markings, 8753155 edges, 13678 markings/sec, 85 secs
lola: 1365122 markings, 9243316 edges, 14588 markings/sec, 90 secs
lola: 1440219 markings, 9729737 edges, 15019 markings/sec, 95 secs
lola: 1508077 markings, 10214582 edges, 13572 markings/sec, 100 secs
lola: 1580267 markings, 10707242 edges, 14438 markings/sec, 105 secs
lola: 1643166 markings, 11193466 edges, 12580 markings/sec, 110 secs
lola: 1702403 markings, 11677848 edges, 11847 markings/sec, 115 secs
lola: 1766925 markings, 12165544 edges, 12904 markings/sec, 120 secs
lola: 1830960 markings, 12653364 edges, 12807 markings/sec, 125 secs
lola: 1889567 markings, 13137331 edges, 11721 markings/sec, 130 secs
lola: 1952599 markings, 13623692 edges, 12606 markings/sec, 135 secs
lola: 2010503 markings, 14110225 edges, 11581 markings/sec, 140 secs
lola: 2062655 markings, 14598426 edges, 10430 markings/sec, 145 secs
lola: 2117955 markings, 15083844 edges, 11060 markings/sec, 150 secs
lola: 2181300 markings, 15571048 edges, 12669 markings/sec, 155 secs
lola: 2241325 markings, 16056976 edges, 12005 markings/sec, 160 secs
lola: 2302179 markings, 16540481 edges, 12171 markings/sec, 165 secs
lola: 2368171 markings, 17024106 edges, 13198 markings/sec, 170 secs
lola: 2429274 markings, 17510845 edges, 12221 markings/sec, 175 secs
lola: 2489559 markings, 17996678 edges, 12057 markings/sec, 180 secs
lola: 2555870 markings, 18486952 edges, 13262 markings/sec, 185 secs
lola: 2618491 markings, 18976980 edges, 12524 markings/sec, 190 secs
lola: 2678877 markings, 19467853 edges, 12077 markings/sec, 195 secs
lola: 2753235 markings, 19959479 edges, 14872 markings/sec, 200 secs
lola: 2832018 markings, 20441362 edges, 15757 markings/sec, 205 secs
lola: 2915363 markings, 20925282 edges, 16669 markings/sec, 210 secs
lola: 2991605 markings, 21411503 edges, 15248 markings/sec, 215 secs
lola: 3058538 markings, 21892272 edges, 13387 markings/sec, 220 secs
lola: 3133508 markings, 22380072 edges, 14994 markings/sec, 225 secs
lola: 3204503 markings, 22859582 edges, 14199 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: 1097876 KB
lola: time consumption: 241 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((X (F (NOT FIREABLE(t855))) R (NOT FIREABLE(t855) AND X (G (NOT FIREABLE(t855))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((X (F (NOT FIREABLE(t855))) R (NOT FIREABLE(t855) AND X (G (NOT FIREABLE(t855))))))))
lola: processed formula length: 94
lola: 143 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 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: 88355 markings, 481709 edges, 17671 markings/sec, 0 secs
lola: 167068 markings, 962832 edges, 15743 markings/sec, 5 secs
lola: 246798 markings, 1447050 edges, 15946 markings/sec, 10 secs
lola: 314471 markings, 1929629 edges, 13535 markings/sec, 15 secs
lola: 385480 markings, 2414839 edges, 14202 markings/sec, 20 secs
lola: 461142 markings, 2898502 edges, 15132 markings/sec, 25 secs
lola: 528375 markings, 3383793 edges, 13447 markings/sec, 30 secs
lola: 600059 markings, 3867839 edges, 14337 markings/sec, 35 secs
lola: 663700 markings, 4352549 edges, 12728 markings/sec, 40 secs
lola: 722125 markings, 4835008 edges, 11685 markings/sec, 45 secs
lola: 787631 markings, 5321147 edges, 13101 markings/sec, 50 secs
lola: 861219 markings, 5806370 edges, 14718 markings/sec, 55 secs
lola: 928933 markings, 6290523 edges, 13543 markings/sec, 60 secs
lola: 1004919 markings, 6777297 edges, 15197 markings/sec, 65 secs
lola: 1073301 markings, 7259541 edges, 13676 markings/sec, 70 secs
lola: 1143268 markings, 7742682 edges, 13993 markings/sec, 75 secs
lola: 1218866 markings, 8230035 edges, 15120 markings/sec, 80 secs
lola: 1287084 markings, 8716045 edges, 13644 markings/sec, 85 secs
lola: 1358994 markings, 9207452 edges, 14382 markings/sec, 90 secs
lola: 1434841 markings, 9693076 edges, 15169 markings/sec, 95 secs
lola: 1502010 markings, 10175799 edges, 13434 markings/sec, 100 secs
lola: 1573772 markings, 10662510 edges, 14352 markings/sec, 105 secs
lola: 1637812 markings, 11150800 edges, 12808 markings/sec, 110 secs
lola: 1696972 markings, 11637781 edges, 11832 markings/sec, 115 secs
lola: 1761691 markings, 12128303 edges, 12944 markings/sec, 120 secs
lola: 1825737 markings, 12611706 edges, 12809 markings/sec, 125 secs
lola: 1884337 markings, 13095620 edges, 11720 markings/sec, 130 secs
lola: 1947293 markings, 13584485 edges, 12591 markings/sec, 135 secs
lola: 2005667 markings, 14070252 edges, 11675 markings/sec, 140 secs
lola: 2057451 markings, 14553825 edges, 10357 markings/sec, 145 secs
lola: 2111963 markings, 15033747 edges, 10902 markings/sec, 150 secs
lola: 2175134 markings, 15521033 edges, 12634 markings/sec, 155 secs
lola: 2235523 markings, 16005407 edges, 12078 markings/sec, 160 secs
lola: 2295835 markings, 16490424 edges, 12062 markings/sec, 165 secs
lola: 2362637 markings, 16982436 edges, 13360 markings/sec, 170 secs
lola: 2424503 markings, 17468048 edges, 12373 markings/sec, 175 secs
lola: 2484074 markings, 17952269 edges, 11914 markings/sec, 180 secs
lola: 2549584 markings, 18443621 edges, 13102 markings/sec, 185 secs
lola: 2613651 markings, 18935694 edges, 12813 markings/sec, 190 secs
lola: 2673281 markings, 19424925 edges, 11926 markings/sec, 195 secs
lola: 2743921 markings, 19913948 edges, 14128 markings/sec, 200 secs
lola: 2825353 markings, 20395623 edges, 16286 markings/sec, 205 secs
lola: 2904032 markings, 20858964 edges, 15736 markings/sec, 210 secs
lola: 2982214 markings, 21344011 edges, 15636 markings/sec, 215 secs
lola: 3048900 markings, 21827537 edges, 13337 markings/sec, 220 secs
lola: 3122526 markings, 22312898 edges, 14725 markings/sec, 225 secs
lola: 3195762 markings, 22796069 edges, 14647 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: 1096784 KB
lola: time consumption: 478 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 3 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X ((FIREABLE(t306) R NOT FIREABLE(t901))) OR (NOT FIREABLE(t856) AND (F (NOT FIREABLE(t491)) OR G (NOT FIREABLE(t856))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X ((FIREABLE(t306) R NOT FIREABLE(t901))) OR (NOT FIREABLE(t856) AND (F (NOT FIREABLE(t491)) OR G (NOT FIREABLE(t856))))))
lola: processed formula length: 126
lola: 143 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((NOT FIREABLE(t1010) R (NOT FIREABLE(t636) OR X (G (NOT FIREABLE(t459))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((NOT FIREABLE(t1010) R (NOT FIREABLE(t636) OR X (G (NOT FIREABLE(t459))))))
lola: processed formula length: 78
lola: 143 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 281 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (((X ((NOT FIREABLE(t1090) R NOT FIREABLE(t1004))) AND G ((NOT FIREABLE(t1004) AND FIREABLE(t887)))) R X (NOT FIREABLE(t1090)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (((X ((NOT FIREABLE(t1090) R NOT FIREABLE(t1004))) AND G ((NOT FIREABLE(t1004) AND FIREABLE(t887)))) R X (NOT FIREABLE(t1090)))))
lola: processed formula length: 134
lola: 143 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: 65638 markings, 472212 edges, 13128 markings/sec, 0 secs
lola: 123828 markings, 966435 edges, 11638 markings/sec, 5 secs
lola: 184525 markings, 1460983 edges, 12139 markings/sec, 10 secs
lola: 236162 markings, 1954533 edges, 10327 markings/sec, 15 secs
lola: 285931 markings, 2448395 edges, 9954 markings/sec, 20 secs
lola: 336594 markings, 2944781 edges, 10133 markings/sec, 25 secs
lola: 392579 markings, 3438228 edges, 11197 markings/sec, 30 secs
lola: 439741 markings, 3931987 edges, 9432 markings/sec, 35 secs
lola: 490536 markings, 4426264 edges, 10159 markings/sec, 40 secs
lola: 537474 markings, 4920090 edges, 9388 markings/sec, 45 secs
lola: 580845 markings, 5413766 edges, 8674 markings/sec, 50 secs
lola: 623464 markings, 5907190 edges, 8524 markings/sec, 55 secs
lola: 666707 markings, 6403537 edges, 8649 markings/sec, 60 secs
lola: 722624 markings, 6895638 edges, 11183 markings/sec, 65 secs
lola: 770196 markings, 7388992 edges, 9514 markings/sec, 70 secs
lola: 820677 markings, 7882577 edges, 10096 markings/sec, 75 secs
lola: 874618 markings, 8376981 edges, 10788 markings/sec, 80 secs
lola: 924201 markings, 8872291 edges, 9917 markings/sec, 85 secs
lola: 974655 markings, 9366497 edges, 10091 markings/sec, 90 secs
lola: 1028849 markings, 9864522 edges, 10839 markings/sec, 95 secs
lola: 1079722 markings, 10362824 edges, 10175 markings/sec, 100 secs
lola: 1129955 markings, 10860341 edges, 10047 markings/sec, 105 secs
lola: 1183359 markings, 11359886 edges, 10681 markings/sec, 110 secs
lola: 1235751 markings, 11856289 edges, 10478 markings/sec, 115 secs
lola: 1285602 markings, 12352508 edges, 9970 markings/sec, 120 secs
lola: 1336021 markings, 12850025 edges, 10084 markings/sec, 125 secs
lola: 1383012 markings, 13343998 edges, 9398 markings/sec, 130 secs
lola: 1424489 markings, 13838810 edges, 8295 markings/sec, 135 secs
lola: 1467983 markings, 14333086 edges, 8699 markings/sec, 140 secs
lola: 1512422 markings, 14830618 edges, 8888 markings/sec, 145 secs
lola: 1559374 markings, 15325660 edges, 9390 markings/sec, 150 secs
lola: 1600277 markings, 15821148 edges, 8181 markings/sec, 155 secs
lola: 1642997 markings, 16316096 edges, 8544 markings/sec, 160 secs
lola: 1686193 markings, 16812751 edges, 8639 markings/sec, 165 secs
lola: 1726219 markings, 17306762 edges, 8005 markings/sec, 170 secs
lola: 1761663 markings, 17801925 edges, 7089 markings/sec, 175 secs
lola: 1799284 markings, 18295801 edges, 7524 markings/sec, 180 secs
lola: 1838006 markings, 18793166 edges, 7744 markings/sec, 185 secs
lola: 1884583 markings, 19285995 edges, 9315 markings/sec, 190 secs
lola: 1925875 markings, 19780173 edges, 8258 markings/sec, 195 secs
lola: 1969092 markings, 20272460 edges, 8643 markings/sec, 200 secs
lola: 2013704 markings, 20768785 edges, 8922 markings/sec, 205 secs
lola: 2060491 markings, 21264591 edges, 9357 markings/sec, 210 secs
lola: 2101450 markings, 21761243 edges, 8192 markings/sec, 215 secs
lola: 2144213 markings, 22256758 edges, 8553 markings/sec, 220 secs
lola: 2190860 markings, 22756372 edges, 9329 markings/sec, 225 secs
lola: 2235204 markings, 23257368 edges, 8869 markings/sec, 230 secs
lola: 2277699 markings, 23757874 edges, 8499 markings/sec, 235 secs
lola: 2321660 markings, 24258997 edges, 8792 markings/sec, 240 secs
lola: 2373047 markings, 24756267 edges, 10277 markings/sec, 245 secs
lola: 2423230 markings, 25251186 edges, 10037 markings/sec, 250 secs
lola: 2473844 markings, 25745148 edges, 10123 markings/sec, 255 secs
lola: 2523889 markings, 26240330 edges, 10009 markings/sec, 260 secs
lola: 2567668 markings, 26733272 edges, 8756 markings/sec, 265 secs
lola: 2609334 markings, 27226621 edges, 8333 markings/sec, 270 secs
lola: 2652735 markings, 27720627 edges, 8680 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown unknown unknown unknown unknown yes yes unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 472228 KB
lola: time consumption: 759 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 281 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X ((FIREABLE(t908) OR F (NOT FIREABLE(t1025)))) U NOT FIREABLE(t908)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X ((FIREABLE(t908) OR F (NOT FIREABLE(t1025)))) U NOT FIREABLE(t908)))
lola: processed formula length: 74
lola: 143 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 312 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X (((FIREABLE(t118) U (X (FIREABLE(t771)) U NOT FIREABLE(t118))) OR F (FIREABLE(t40)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (((FIREABLE(t118) U (X (FIREABLE(t771)) U NOT FIREABLE(t118))) OR F (FIREABLE(t40)))))))
lola: processed formula length: 99
lola: 143 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 8 will run for 351 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G (((NOT FIREABLE(t180) OR F (G (NOT FIREABLE(t785)))) AND G (NOT FIREABLE(t361)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G (((NOT FIREABLE(t180) OR F (G (NOT FIREABLE(t785)))) AND G (NOT FIREABLE(t361)))))))
lola: processed formula length: 95
lola: 143 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 86019 markings, 466994 edges, 17204 markings/sec, 0 secs
lola: 162155 markings, 933436 edges, 15227 markings/sec, 5 secs
lola: 243449 markings, 1424041 edges, 16259 markings/sec, 10 secs
lola: 311791 markings, 1913360 edges, 13668 markings/sec, 15 secs
lola: 383982 markings, 2404064 edges, 14438 markings/sec, 20 secs
lola: 460260 markings, 2892895 edges, 15256 markings/sec, 25 secs
lola: 527831 markings, 3380042 edges, 13514 markings/sec, 30 secs
lola: 600354 markings, 3869851 edges, 14505 markings/sec, 35 secs
lola: 664499 markings, 4358565 edges, 12829 markings/sec, 40 secs
lola: 723670 markings, 4846009 edges, 11834 markings/sec, 45 secs
lola: 790005 markings, 5337302 edges, 13267 markings/sec, 50 secs
lola: 864324 markings, 5827749 edges, 14864 markings/sec, 55 secs
lola: 932498 markings, 6315858 edges, 13635 markings/sec, 60 secs
lola: 1009583 markings, 6807134 edges, 15417 markings/sec, 65 secs
lola: 1078151 markings, 7297702 edges, 13714 markings/sec, 70 secs
lola: 1150173 markings, 7788552 edges, 14404 markings/sec, 75 secs
lola: 1226764 markings, 8280889 edges, 15318 markings/sec, 80 secs
lola: 1295015 markings, 8772633 edges, 13650 markings/sec, 85 secs
lola: 1369405 markings, 9266980 edges, 14878 markings/sec, 90 secs
lola: 1444017 markings, 9756303 edges, 14922 markings/sec, 95 secs
lola: 1512379 markings, 10245004 edges, 13672 markings/sec, 100 secs
lola: 1584825 markings, 10738251 edges, 14489 markings/sec, 105 secs
lola: 1647380 markings, 11229474 edges, 12511 markings/sec, 110 secs
lola: 1707494 markings, 11719373 edges, 12023 markings/sec, 115 secs
lola: 1773750 markings, 12212639 edges, 13251 markings/sec, 120 secs
lola: 1837090 markings, 12701727 edges, 12668 markings/sec, 125 secs
lola: 1896749 markings, 13189632 edges, 11932 markings/sec, 130 secs
lola: 1959652 markings, 13680897 edges, 12581 markings/sec, 135 secs
lola: 2017116 markings, 14171679 edges, 11493 markings/sec, 140 secs
lola: 2069697 markings, 14660667 edges, 10516 markings/sec, 145 secs
lola: 2125562 markings, 15151101 edges, 11173 markings/sec, 150 secs
lola: 2190469 markings, 15643409 edges, 12981 markings/sec, 155 secs
lola: 2250021 markings, 16134365 edges, 11910 markings/sec, 160 secs
lola: 2313362 markings, 16624552 edges, 12668 markings/sec, 165 secs
lola: 2380041 markings, 17117754 edges, 13336 markings/sec, 170 secs
lola: 2440362 markings, 17609744 edges, 12064 markings/sec, 175 secs
lola: 2503095 markings, 18101837 edges, 12547 markings/sec, 180 secs
lola: 2570404 markings, 18597580 edges, 13462 markings/sec, 185 secs
lola: 2631471 markings, 19092415 edges, 12213 markings/sec, 190 secs
lola: 2693929 markings, 19587619 edges, 12492 markings/sec, 195 secs
lola: 2773876 markings, 20079723 edges, 15989 markings/sec, 200 secs
lola: 2853223 markings, 20565635 edges, 15869 markings/sec, 205 secs
lola: 2937745 markings, 21054097 edges, 16904 markings/sec, 210 secs
lola: 3010014 markings, 21541389 edges, 14454 markings/sec, 215 secs
lola: 3078243 markings, 22026931 edges, 13646 markings/sec, 220 secs
lola: 3154441 markings, 22514771 edges, 15240 markings/sec, 225 secs
lola: 3221681 markings, 22997556 edges, 13448 markings/sec, 230 secs
lola: 3293277 markings, 23483564 edges, 14319 markings/sec, 235 secs
lola: 3360951 markings, 23970049 edges, 13535 markings/sec, 240 secs
lola: 3419956 markings, 24455027 edges, 11801 markings/sec, 245 secs
lola: 3482824 markings, 24940718 edges, 12574 markings/sec, 250 secs
lola: 3555401 markings, 25428224 edges, 14515 markings/sec, 255 secs
lola: 3623197 markings, 25912209 edges, 13559 markings/sec, 260 secs
lola: 3694083 markings, 26395668 edges, 14177 markings/sec, 265 secs
lola: 3769703 markings, 26879839 edges, 15124 markings/sec, 270 secs
lola: 3836961 markings, 27362315 edges, 13452 markings/sec, 275 secs
lola: 3911575 markings, 27848070 edges, 14923 markings/sec, 280 secs
lola: 3983543 markings, 28335600 edges, 14394 markings/sec, 285 secs
lola: 4052287 markings, 28823344 edges, 13749 markings/sec, 290 secs
lola: 4123101 markings, 29310667 edges, 14163 markings/sec, 295 secs
lola: 4183120 markings, 29795124 edges, 12004 markings/sec, 300 secs
lola: 4243670 markings, 30279174 edges, 12110 markings/sec, 305 secs
lola: 4306298 markings, 30767215 edges, 12526 markings/sec, 310 secs
lola: 4361670 markings, 31252602 edges, 11074 markings/sec, 315 secs
lola: 4413537 markings, 31735258 edges, 10373 markings/sec, 320 secs
lola: 4469052 markings, 32222506 edges, 11103 markings/sec, 325 secs
lola: 4527230 markings, 32705339 edges, 11636 markings/sec, 330 secs
lola: 4579448 markings, 33185808 edges, 10444 markings/sec, 335 secs
lola: 4633698 markings, 33667563 edges, 10850 markings/sec, 340 secs
lola: 4689064 markings, 34153560 edges, 11073 markings/sec, 345 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown unknown unknown unknown unknown yes yes unknown yes yes unknown unknown unknown unknown
lola: memory consumption: 1593368 KB
lola: time consumption: 1111 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 351 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (FIREABLE(t141))) AND (A (G (F (FIREABLE(t241)))) AND A (G ((F (FIREABLE(t503)) OR X (F (FIREABLE(t241))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 351 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t141)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (FIREABLE(t141)))
lola: processed formula length: 22
lola: 145 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: NOT FIREABLE(t141)
lola: state equation task get result unparse finished id 0
lola: SUBRESULT
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 10 will run for 409 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((X (X (FIREABLE(t146))) U FIREABLE(t767)) OR X (X ((FIREABLE(t146) AND X (G (FIREABLE(t413))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((X (X (FIREABLE(t146))) U FIREABLE(t767)) OR X (X ((FIREABLE(t146) AND X (G (FIREABLE(t413))))))))
lola: processed formula length: 102
lola: 143 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 17 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 544 markings, 544 edges
lola: ========================================
lola: subprocess 11 will run for 491 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t479)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (NOT FIREABLE(t479)))
lola: processed formula length: 26
lola: 145 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(t479)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 26 markings, 25 edges
lola: ========================================
lola: subprocess 12 will run for 614 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((NOT FIREABLE(t561) OR G (NOT FIREABLE(t857))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((NOT FIREABLE(t561) OR G (NOT FIREABLE(t857))))))
lola: processed formula length: 58
lola: 143 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: 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: 182635 markings, 425579 edges, 36527 markings/sec, 0 secs
lola: 309344 markings, 924560 edges, 25342 markings/sec, 5 secs
lola: 397515 markings, 1437405 edges, 17634 markings/sec, 10 secs
lola: 489438 markings, 1947510 edges, 18385 markings/sec, 15 secs
lola: 587491 markings, 2454932 edges, 19611 markings/sec, 20 secs
lola: 679150 markings, 2964619 edges, 18332 markings/sec, 25 secs
lola: 770184 markings, 3472727 edges, 18207 markings/sec, 30 secs
lola: 858319 markings, 3985549 edges, 17627 markings/sec, 35 secs
lola: 943582 markings, 4497163 edges, 17053 markings/sec, 40 secs
lola: 1032993 markings, 5001760 edges, 17882 markings/sec, 45 secs
lola: 1110310 markings, 5513833 edges, 15463 markings/sec, 50 secs
lola: 1180172 markings, 6025464 edges, 13972 markings/sec, 55 secs
lola: 1254532 markings, 6536160 edges, 14872 markings/sec, 60 secs
lola: 1329285 markings, 7047926 edges, 14951 markings/sec, 65 secs
lola: 1404322 markings, 7555029 edges, 15007 markings/sec, 70 secs
lola: 1472286 markings, 8067881 edges, 13593 markings/sec, 75 secs
lola: 1565640 markings, 8566477 edges, 18671 markings/sec, 80 secs
lola: 1653028 markings, 9070257 edges, 17478 markings/sec, 85 secs
lola: 1742843 markings, 9572968 edges, 17963 markings/sec, 90 secs
lola: 1840181 markings, 10071489 edges, 19468 markings/sec, 95 secs
lola: 1928880 markings, 10570074 edges, 17740 markings/sec, 100 secs
lola: 2018175 markings, 11067508 edges, 17859 markings/sec, 105 secs
lola: 2103944 markings, 11570334 edges, 17154 markings/sec, 110 secs
lola: 2188643 markings, 12071286 edges, 16940 markings/sec, 115 secs
lola: 2276129 markings, 12558774 edges, 17497 markings/sec, 120 secs
lola: 2351465 markings, 13061288 edges, 15067 markings/sec, 125 secs
lola: 2421160 markings, 13562221 edges, 13939 markings/sec, 130 secs
lola: 2492805 markings, 14062462 edges, 14329 markings/sec, 135 secs
lola: 2568120 markings, 14565210 edges, 15063 markings/sec, 140 secs
lola: 2640151 markings, 15063533 edges, 14406 markings/sec, 145 secs
lola: 2707667 markings, 15562790 edges, 13503 markings/sec, 150 secs
lola: 2793014 markings, 16062665 edges, 17069 markings/sec, 155 secs
lola: 2885545 markings, 16570842 edges, 18506 markings/sec, 160 secs
lola: 2975816 markings, 17077409 edges, 18054 markings/sec, 165 secs
lola: 3068712 markings, 17583393 edges, 18579 markings/sec, 170 secs
lola: 3164857 markings, 18087999 edges, 19229 markings/sec, 175 secs
lola: 3256040 markings, 18592696 edges, 18237 markings/sec, 180 secs
lola: 3339544 markings, 19101818 edges, 16701 markings/sec, 185 secs
lola: 3426841 markings, 19609536 edges, 17459 markings/sec, 190 secs
lola: 3516561 markings, 20110764 edges, 17944 markings/sec, 195 secs
lola: 3593157 markings, 20618373 edges, 15319 markings/sec, 200 secs
lola: 3665739 markings, 21126895 edges, 14516 markings/sec, 205 secs
lola: 3737030 markings, 21634517 edges, 14258 markings/sec, 210 secs
lola: 3813929 markings, 22143422 edges, 15380 markings/sec, 215 secs
lola: 3886791 markings, 22649286 edges, 14572 markings/sec, 220 secs
lola: 3955660 markings, 23155210 edges, 13774 markings/sec, 225 secs
lola: 4039962 markings, 23654572 edges, 16860 markings/sec, 230 secs
lola: 4131895 markings, 24153024 edges, 18387 markings/sec, 235 secs
lola: 4220913 markings, 24650726 edges, 17804 markings/sec, 240 secs
lola: 4309779 markings, 25150423 edges, 17773 markings/sec, 245 secs
lola: 4406127 markings, 25643930 edges, 19270 markings/sec, 250 secs
lola: 4495247 markings, 26140769 edges, 17824 markings/sec, 255 secs
lola: 4576271 markings, 26640665 edges, 16205 markings/sec, 260 secs
lola: 4663246 markings, 27140343 edges, 17395 markings/sec, 265 secs
lola: 4751769 markings, 27631915 edges, 17705 markings/sec, 270 secs
lola: 4828827 markings, 28127734 edges, 15412 markings/sec, 275 secs
lola: 4900025 markings, 28627178 edges, 14240 markings/sec, 280 secs
lola: 4968892 markings, 29125961 edges, 13773 markings/sec, 285 secs
lola: 5046615 markings, 29628499 edges, 15545 markings/sec, 290 secs
lola: 5118609 markings, 30126723 edges, 14399 markings/sec, 295 secs
lola: 5186304 markings, 30623300 edges, 13539 markings/sec, 300 secs
lola: 5259714 markings, 31124388 edges, 14682 markings/sec, 305 secs
lola: 5359127 markings, 31627686 edges, 19883 markings/sec, 310 secs
lola: 5449225 markings, 32134071 edges, 18020 markings/sec, 315 secs
lola: 5534236 markings, 32640573 edges, 17002 markings/sec, 320 secs
lola: 5638014 markings, 33139295 edges, 20756 markings/sec, 325 secs
lola: 5726155 markings, 33643427 edges, 17628 markings/sec, 330 secs
lola: 5811071 markings, 34147584 edges, 16983 markings/sec, 335 secs
lola: 5898971 markings, 34654993 edges, 17580 markings/sec, 340 secs
lola: 5986262 markings, 35156294 edges, 17458 markings/sec, 345 secs
lola: 6068016 markings, 35659645 edges, 16351 markings/sec, 350 secs
lola: 6140234 markings, 36167219 edges, 14444 markings/sec, 355 secs
lola: 6209068 markings, 36671476 edges, 13767 markings/sec, 360 secs
lola: 6288448 markings, 37180161 edges, 15876 markings/sec, 365 secs
lola: 6361894 markings, 37686027 edges, 14689 markings/sec, 370 secs
lola: 6430758 markings, 38189722 edges, 13773 markings/sec, 375 secs
lola: 6502119 markings, 38694921 edges, 14272 markings/sec, 380 secs
lola: 6602002 markings, 39188903 edges, 19977 markings/sec, 385 secs
lola: 6689749 markings, 39687628 edges, 17549 markings/sec, 390 secs
lola: 6772479 markings, 40187235 edges, 16546 markings/sec, 395 secs
lola: 6874782 markings, 40676285 edges, 20461 markings/sec, 400 secs
lola: 6963095 markings, 41172237 edges, 17663 markings/sec, 405 secs
lola: 7048066 markings, 41669708 edges, 16994 markings/sec, 410 secs
lola: 7135032 markings, 42169258 edges, 17393 markings/sec, 415 secs
lola: 7216470 markings, 42663210 edges, 16288 markings/sec, 420 secs
lola: 7299803 markings, 43151339 edges, 16667 markings/sec, 425 secs
lola: 7373541 markings, 43650604 edges, 14748 markings/sec, 430 secs
lola: 7441959 markings, 44146224 edges, 13684 markings/sec, 435 secs
lola: 7515457 markings, 44644761 edges, 14700 markings/sec, 440 secs
lola: 7589012 markings, 45143153 edges, 14711 markings/sec, 445 secs
lola: 7658904 markings, 45635527 edges, 13978 markings/sec, 450 secs
lola: 7725005 markings, 46134882 edges, 13220 markings/sec, 455 secs
lola: 7822220 markings, 46632958 edges, 19443 markings/sec, 460 secs
lola: 7911665 markings, 47138264 edges, 17889 markings/sec, 465 secs
lola: 7999829 markings, 47642909 edges, 17633 markings/sec, 470 secs
lola: 8099048 markings, 48140983 edges, 19844 markings/sec, 475 secs
lola: 8185575 markings, 48644823 edges, 17305 markings/sec, 480 secs
lola: 8275603 markings, 49145615 edges, 18006 markings/sec, 485 secs
lola: 8364511 markings, 49650344 edges, 17782 markings/sec, 490 secs
lola: 8445752 markings, 50156064 edges, 16248 markings/sec, 495 secs
lola: 8533782 markings, 50653088 edges, 17606 markings/sec, 500 secs
lola: 8610503 markings, 51159871 edges, 15344 markings/sec, 505 secs
lola: 8679798 markings, 51664813 edges, 13859 markings/sec, 510 secs
lola: 8752699 markings, 52169697 edges, 14580 markings/sec, 515 secs
lola: 8827027 markings, 52676398 edges, 14866 markings/sec, 520 secs
lola: 8900465 markings, 53176591 edges, 14688 markings/sec, 525 secs
lola: 8967880 markings, 53681982 edges, 13483 markings/sec, 530 secs
lola: 9060608 markings, 54175077 edges, 18546 markings/sec, 535 secs
lola: 9146975 markings, 54673083 edges, 17273 markings/sec, 540 secs
lola: 9235735 markings, 55168951 edges, 17752 markings/sec, 545 secs
lola: 9331166 markings, 55661586 edges, 19086 markings/sec, 550 secs
lola: 9420780 markings, 56155855 edges, 17923 markings/sec, 555 secs
lola: 9509170 markings, 56648953 edges, 17678 markings/sec, 560 secs
lola: 9593314 markings, 57147295 edges, 16829 markings/sec, 565 secs
lola: 9676943 markings, 57644899 edges, 16726 markings/sec, 570 secs
lola: 9764629 markings, 58129734 edges, 17537 markings/sec, 575 secs
lola: 9839160 markings, 58626050 edges, 14906 markings/sec, 580 secs
lola: 9910057 markings, 59123203 edges, 14179 markings/sec, 585 secs
lola: 9978914 markings, 59618204 edges, 13771 markings/sec, 590 secs
lola: 10054863 markings, 60117022 edges, 15190 markings/sec, 595 secs
lola: 10125714 markings, 60611121 edges, 14170 markings/sec, 600 secs
lola: 10193676 markings, 61104942 edges, 13592 markings/sec, 605 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown unknown unknown yes yes unknown yes yes unknown no no unknown
lola: memory consumption: 2386756 KB
lola: time consumption: 1725 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 615 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((FIREABLE(t479) OR (F (FIREABLE(t479)) AND F (G (FIREABLE(t479))))) AND F (G ((F (FIREABLE(t479)) AND (FIREABLE(t878) OR FIREABLE(t479))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (((FIREABLE(t479) OR (F (FIREABLE(t479)) AND F (G (FIREABLE(t479))))) AND F (G ((F (FIREABLE(t479)) AND (FIREABLE(t878) OR FIREABLE(t479))))))))
lola: processed formula length: 149
lola: 143 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 22 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: 543 markings, 543 edges
lola: ========================================
lola: subprocess 14 will run for 922 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((FIREABLE(t526) AND NOT FIREABLE(t63)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((FIREABLE(t526) AND NOT FIREABLE(t63)))))
lola: processed formula length: 50
lola: 143 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: 544 markings, 545 edges
lola: ========================================
lola: subprocess 15 will run for 1845 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t697) AND A (F ((NOT FIREABLE(t1116) AND F (FIREABLE(t1116))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1845 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t697)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t697)
lola: processed formula length: 14
lola: 143 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (G ((F (NOT FIREABLE(t642)) OR (F (NOT FIREABLE(t642)) AND F (G (FIREABLE(t128))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((F (NOT FIREABLE(t642)) OR (F (NOT FIREABLE(t642)) AND F (G (FIREABLE(t128))))))))
lola: processed formula length: 91
lola: 143 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: 85833 markings, 465834 edges, 17167 markings/sec, 0 secs
lola: 165509 markings, 953207 edges, 15935 markings/sec, 5 secs
lola: 246357 markings, 1444006 edges, 16170 markings/sec, 10 secs
lola: 315120 markings, 1933397 edges, 13753 markings/sec, 15 secs
lola: 387042 markings, 2425101 edges, 14384 markings/sec, 20 secs
lola: 463111 markings, 2912561 edges, 15214 markings/sec, 25 secs
lola: 531028 markings, 3399410 edges, 13583 markings/sec, 30 secs
lola: 603151 markings, 3889150 edges, 14425 markings/sec, 35 secs
lola: 667040 markings, 4378843 edges, 12778 markings/sec, 40 secs
lola: 726441 markings, 4865533 edges, 11880 markings/sec, 45 secs
lola: 793210 markings, 5356966 edges, 13354 markings/sec, 50 secs
lola: 866922 markings, 5847673 edges, 14742 markings/sec, 55 secs
lola: 935514 markings, 6336627 edges, 13718 markings/sec, 60 secs
lola: 1012393 markings, 6828557 edges, 15376 markings/sec, 65 secs
lola: 1080841 markings, 7319212 edges, 13690 markings/sec, 70 secs
lola: 1153078 markings, 7810309 edges, 14447 markings/sec, 75 secs
lola: 1230305 markings, 8304103 edges, 15445 markings/sec, 80 secs
lola: 1298369 markings, 8795808 edges, 13613 markings/sec, 85 secs
lola: 1373351 markings, 9291133 edges, 14996 markings/sec, 90 secs
lola: 1447679 markings, 9781556 edges, 14866 markings/sec, 95 secs
lola: 1516034 markings, 10270993 edges, 13671 markings/sec, 100 secs
lola: 1588195 markings, 10762372 edges, 14432 markings/sec, 105 secs
lola: 1650104 markings, 11253106 edges, 12382 markings/sec, 110 secs
lola: 1710480 markings, 11742993 edges, 12075 markings/sec, 115 secs
lola: 1777100 markings, 12235932 edges, 13324 markings/sec, 120 secs
lola: 1839721 markings, 12724880 edges, 12524 markings/sec, 125 secs
lola: 1899801 markings, 13212204 edges, 12016 markings/sec, 130 secs
lola: 1962515 markings, 13703514 edges, 12543 markings/sec, 135 secs
lola: 2019634 markings, 14194219 edges, 11424 markings/sec, 140 secs
lola: 2072180 markings, 14682886 edges, 10509 markings/sec, 145 secs
lola: 2128125 markings, 15173835 edges, 11189 markings/sec, 150 secs
lola: 2193328 markings, 15665888 edges, 13041 markings/sec, 155 secs
lola: 2252911 markings, 16156005 edges, 11917 markings/sec, 160 secs
lola: 2316309 markings, 16645885 edges, 12680 markings/sec, 165 secs
lola: 2382701 markings, 17138732 edges, 13278 markings/sec, 170 secs
lola: 2442641 markings, 17630130 edges, 11988 markings/sec, 175 secs
lola: 2505798 markings, 18122136 edges, 12631 markings/sec, 180 secs
lola: 2572932 markings, 18617330 edges, 13427 markings/sec, 185 secs
lola: 2633501 markings, 19110858 edges, 12114 markings/sec, 190 secs
lola: 2696340 markings, 19605512 edges, 12568 markings/sec, 195 secs
lola: 2776907 markings, 20097566 edges, 16113 markings/sec, 200 secs
lola: 2856267 markings, 20583591 edges, 15872 markings/sec, 205 secs
lola: 2940758 markings, 21071756 edges, 16898 markings/sec, 210 secs
lola: 3012037 markings, 21558698 edges, 14256 markings/sec, 215 secs
lola: 3079955 markings, 22038646 edges, 13584 markings/sec, 220 secs
lola: 3155464 markings, 22521728 edges, 15102 markings/sec, 225 secs
lola: 3222078 markings, 23001015 edges, 13323 markings/sec, 230 secs
lola: 3293315 markings, 23483820 edges, 14247 markings/sec, 235 secs
lola: 3360739 markings, 23968200 edges, 13485 markings/sec, 240 secs
lola: 3419243 markings, 24449668 edges, 11701 markings/sec, 245 secs
lola: 3481443 markings, 24931013 edges, 12440 markings/sec, 250 secs
lola: 3553415 markings, 25414490 edges, 14394 markings/sec, 255 secs
lola: 3621477 markings, 25898925 edges, 13612 markings/sec, 260 secs
lola: 3692656 markings, 26385941 edges, 14236 markings/sec, 265 secs
lola: 3768934 markings, 26874453 edges, 15256 markings/sec, 270 secs
lola: 3837050 markings, 27362883 edges, 13623 markings/sec, 275 secs
lola: 3912920 markings, 27855542 edges, 15174 markings/sec, 280 secs
lola: 3985094 markings, 28349754 edges, 14435 markings/sec, 285 secs
lola: 4055292 markings, 28843917 edges, 14040 markings/sec, 290 secs
lola: 4126229 markings, 29337001 edges, 14187 markings/sec, 295 secs
lola: 4186704 markings, 29826762 edges, 12095 markings/sec, 300 secs
lola: 4248364 markings, 30316121 edges, 12332 markings/sec, 305 secs
lola: 4311510 markings, 30809561 edges, 12629 markings/sec, 310 secs
lola: 4366966 markings, 31300743 edges, 11091 markings/sec, 315 secs
lola: 4419960 markings, 31790363 edges, 10599 markings/sec, 320 secs
lola: 4476539 markings, 32283189 edges, 11316 markings/sec, 325 secs
lola: 4535107 markings, 32772657 edges, 11714 markings/sec, 330 secs
lola: 4587526 markings, 33260448 edges, 10484 markings/sec, 335 secs
lola: 4643110 markings, 33748346 edges, 11117 markings/sec, 340 secs
lola: 4698886 markings, 34240849 edges, 11155 markings/sec, 345 secs
lola: 4748938 markings, 34732191 edges, 10010 markings/sec, 350 secs
lola: 4796010 markings, 35219360 edges, 9414 markings/sec, 355 secs
lola: 4846271 markings, 35709780 edges, 10052 markings/sec, 360 secs
lola: 4903542 markings, 36201578 edges, 11454 markings/sec, 365 secs
lola: 4958087 markings, 36692758 edges, 10909 markings/sec, 370 secs
lola: 5012188 markings, 37181236 edges, 10820 markings/sec, 375 secs
lola: 5069315 markings, 37672470 edges, 11425 markings/sec, 380 secs
lola: 5127105 markings, 38164558 edges, 11558 markings/sec, 385 secs
lola: 5179957 markings, 38655421 edges, 10570 markings/sec, 390 secs
lola: 5236001 markings, 39147925 edges, 11209 markings/sec, 395 secs
lola: 5295617 markings, 39643457 edges, 11923 markings/sec, 400 secs
lola: 5350182 markings, 40138120 edges, 10913 markings/sec, 405 secs
lola: 5405065 markings, 40632180 edges, 10977 markings/sec, 410 secs
lola: 5469577 markings, 41128634 edges, 12902 markings/sec, 415 secs
lola: 5540902 markings, 41617309 edges, 14265 markings/sec, 420 secs
lola: 5610518 markings, 42107290 edges, 13923 markings/sec, 425 secs
lola: 5681582 markings, 42600881 edges, 14213 markings/sec, 430 secs
lola: 5742230 markings, 43092098 edges, 12130 markings/sec, 435 secs
lola: 5804043 markings, 43582946 edges, 12363 markings/sec, 440 secs
lola: 5871609 markings, 44076122 edges, 13513 markings/sec, 445 secs
lola: 5932354 markings, 44565941 edges, 12149 markings/sec, 450 secs
lola: 5993364 markings, 45054346 edges, 12202 markings/sec, 455 secs
lola: 6056661 markings, 45548021 edges, 12659 markings/sec, 460 secs
lola: 6112615 markings, 46038695 edges, 11191 markings/sec, 465 secs
lola: 6165057 markings, 46526459 edges, 10488 markings/sec, 470 secs
lola: 6221305 markings, 47019773 edges, 11250 markings/sec, 475 secs
lola: 6288294 markings, 47511611 edges, 13398 markings/sec, 480 secs
lola: 6347484 markings, 48002639 edges, 11838 markings/sec, 485 secs
lola: 6410587 markings, 48494109 edges, 12621 markings/sec, 490 secs
lola: 6477816 markings, 48987320 edges, 13446 markings/sec, 495 secs
lola: 6537550 markings, 49478686 edges, 11947 markings/sec, 500 secs
lola: 6600595 markings, 49971659 edges, 12609 markings/sec, 505 secs
lola: 6667647 markings, 50466761 edges, 13410 markings/sec, 510 secs
lola: 6728013 markings, 50961064 edges, 12073 markings/sec, 515 secs
lola: 6791555 markings, 51456256 edges, 12708 markings/sec, 520 secs
lola: 6866024 markings, 51948328 edges, 14894 markings/sec, 525 secs
lola: 6933897 markings, 52437586 edges, 13575 markings/sec, 530 secs
lola: 7006715 markings, 52929891 edges, 14564 markings/sec, 535 secs
lola: 7072705 markings, 53421482 edges, 13198 markings/sec, 540 secs
lola: 7132092 markings, 53911081 edges, 11877 markings/sec, 545 secs
lola: 7195478 markings, 54405426 edges, 12677 markings/sec, 550 secs
lola: 7262365 markings, 54893750 edges, 13377 markings/sec, 555 secs
lola: 7321183 markings, 55381260 edges, 11764 markings/sec, 560 secs
lola: 7384056 markings, 55871538 edges, 12575 markings/sec, 565 secs
lola: 7443709 markings, 56360657 edges, 11931 markings/sec, 570 secs
lola: 7496768 markings, 56848684 edges, 10612 markings/sec, 575 secs
lola: 7551632 markings, 57335532 edges, 10973 markings/sec, 580 secs
lola: 7614173 markings, 57827289 edges, 12508 markings/sec, 585 secs
lola: 7676502 markings, 58317455 edges, 12466 markings/sec, 590 secs
lola: 7736480 markings, 58806065 edges, 11996 markings/sec, 595 secs
lola: 7802573 markings, 59298063 edges, 13219 markings/sec, 600 secs
lola: 7865711 markings, 59785469 edges, 12628 markings/sec, 605 secs
lola: 7925136 markings, 60272192 edges, 11885 markings/sec, 610 secs
lola: 7990166 markings, 60763188 edges, 13006 markings/sec, 615 secs
lola: 8054486 markings, 61253115 edges, 12864 markings/sec, 620 secs
lola: 8114102 markings, 61743530 edges, 11923 markings/sec, 625 secs
lola: 8180968 markings, 62238592 edges, 13373 markings/sec, 630 secs
lola: 8255105 markings, 62727723 edges, 14827 markings/sec, 635 secs
lola: 8323177 markings, 63215013 edges, 13614 markings/sec, 640 secs
lola: 8395373 markings, 63707233 edges, 14439 markings/sec, 645 secs
lola: 8457235 markings, 64198169 edges, 12372 markings/sec, 650 secs
lola: 8517437 markings, 64686082 edges, 12040 markings/sec, 655 secs
lola: 8583885 markings, 65177580 edges, 13290 markings/sec, 660 secs
lola: 8646302 markings, 65664736 edges, 12483 markings/sec, 665 secs
lola: 8706106 markings, 66149763 edges, 11961 markings/sec, 670 secs
lola: 8768611 markings, 66639263 edges, 12501 markings/sec, 675 secs
lola: 8825556 markings, 67128404 edges, 11389 markings/sec, 680 secs
lola: 8877953 markings, 67615760 edges, 10479 markings/sec, 685 secs
lola: 8933687 markings, 68105071 edges, 11147 markings/sec, 690 secs
lola: 8998462 markings, 68595036 edges, 12955 markings/sec, 695 secs
lola: 9057605 markings, 69083098 edges, 11829 markings/sec, 700 secs
lola: 9120891 markings, 69571409 edges, 12657 markings/sec, 705 secs
lola: 9187239 markings, 70062694 edges, 13270 markings/sec, 710 secs
lola: 9247186 markings, 70551706 edges, 11989 markings/sec, 715 secs
lola: 9309510 markings, 71040944 edges, 12465 markings/sec, 720 secs
lola: 9376670 markings, 71534977 edges, 13432 markings/sec, 725 secs
lola: 9437536 markings, 72027945 edges, 12173 markings/sec, 730 secs
lola: 9499416 markings, 72519009 edges, 12376 markings/sec, 735 secs
lola: 9571695 markings, 73010397 edges, 14456 markings/sec, 740 secs
lola: 9639657 markings, 73498742 edges, 13592 markings/sec, 745 secs
lola: 9711672 markings, 73987410 edges, 14403 markings/sec, 750 secs
lola: 9779767 markings, 74477705 edges, 13619 markings/sec, 755 secs
lola: 9839334 markings, 74965684 edges, 11913 markings/sec, 760 secs
lola: 9902217 markings, 75454665 edges, 12577 markings/sec, 765 secs
lola: 9968322 markings, 75943644 edges, 13221 markings/sec, 770 secs
lola: 10027566 markings, 76429544 edges, 11849 markings/sec, 775 secs
lola: 10090019 markings, 76915603 edges, 12491 markings/sec, 780 secs
lola: 10151816 markings, 77405621 edges, 12359 markings/sec, 785 secs
lola: 10206527 markings, 77894618 edges, 10942 markings/sec, 790 secs
lola: 10259764 markings, 78381271 edges, 10647 markings/sec, 795 secs
lola: 10318114 markings, 78872433 edges, 11670 markings/sec, 800 secs
lola: 10382871 markings, 79361709 edges, 12951 markings/sec, 805 secs
lola: 10441780 markings, 79847995 edges, 11782 markings/sec, 810 secs
lola: 10505387 markings, 80338285 edges, 12721 markings/sec, 815 secs
lola: 10571370 markings, 80827080 edges, 13197 markings/sec, 820 secs
lola: 10630260 markings, 81313344 edges, 11778 markings/sec, 825 secs
lola: 10693108 markings, 81803385 edges, 12570 markings/sec, 830 secs
lola: 10760348 markings, 82295051 edges, 13448 markings/sec, 835 secs
lola: 10819799 markings, 82786784 edges, 11890 markings/sec, 840 secs
lola: 10883065 markings, 83279935 edges, 12653 markings/sec, 845 secs
lola: 10958610 markings, 83771273 edges, 15109 markings/sec, 850 secs
lola: 11026376 markings, 84260551 edges, 13553 markings/sec, 855 secs
lola: 11099126 markings, 84751987 edges, 14550 markings/sec, 860 secs
lola: 11164011 markings, 85243087 edges, 12977 markings/sec, 865 secs
lola: 11223287 markings, 85732533 edges, 11855 markings/sec, 870 secs
lola: 11288202 markings, 86226058 edges, 12983 markings/sec, 875 secs
lola: 11353223 markings, 86714573 edges, 13004 markings/sec, 880 secs
lola: 11412392 markings, 87202968 edges, 11834 markings/sec, 885 secs
lola: 11475459 markings, 87693276 edges, 12613 markings/sec, 890 secs
lola: 11534647 markings, 88183530 edges, 11838 markings/sec, 895 secs
lola: 11587104 markings, 88673411 edges, 10491 markings/sec, 900 secs
lola: 11642867 markings, 89162779 edges, 11153 markings/sec, 905 secs
lola: 11706846 markings, 89655587 edges, 12796 markings/sec, 910 secs
lola: 11767577 markings, 90146480 edges, 12146 markings/sec, 915 secs
lola: 11828757 markings, 90635819 edges, 12236 markings/sec, 920 secs
lola: 11895826 markings, 91127421 edges, 13414 markings/sec, 925 secs
lola: 11957814 markings, 91619202 edges, 12398 markings/sec, 930 secs
lola: 12018420 markings, 92110232 edges, 12121 markings/sec, 935 secs
lola: 12085419 markings, 92605720 edges, 13400 markings/sec, 940 secs
lola: 12148717 markings, 93100905 edges, 12660 markings/sec, 945 secs
lola: 12209465 markings, 93595911 edges, 12150 markings/sec, 950 secs
lola: 12279901 markings, 94091208 edges, 14087 markings/sec, 955 secs
lola: 12350324 markings, 94580556 edges, 14085 markings/sec, 960 secs
lola: 12421012 markings, 95073176 edges, 14138 markings/sec, 965 secs
lola: 12491406 markings, 95566576 edges, 14079 markings/sec, 970 secs
lola: 12551690 markings, 96057492 edges, 12057 markings/sec, 975 secs
lola: 12613935 markings, 96549106 edges, 12449 markings/sec, 980 secs
lola: 12680957 markings, 97039805 edges, 13404 markings/sec, 985 secs
lola: 12741405 markings, 97527297 edges, 12090 markings/sec, 990 secs
lola: 12802415 markings, 98014203 edges, 12202 markings/sec, 995 secs
lola: 12865471 markings, 98505226 edges, 12611 markings/sec, 1000 secs
lola: 12920989 markings, 98993947 edges, 11104 markings/sec, 1005 secs
lola: 12973391 markings, 99481382 edges, 10480 markings/sec, 1010 secs
lola: 13029276 markings, 99972272 edges, 11177 markings/sec, 1015 secs
lola: 13096326 markings, 100462971 edges, 13410 markings/sec, 1020 secs
lola: 13155274 markings, 100951888 edges, 11790 markings/sec, 1025 secs
lola: 13218156 markings, 101442319 edges, 12576 markings/sec, 1030 secs
lola: 13285266 markings, 101934224 edges, 13422 markings/sec, 1035 secs
lola: 13344883 markings, 102424165 edges, 11923 markings/sec, 1040 secs
lola: 13407680 markings, 102915496 edges, 12559 markings/sec, 1045 secs
lola: 13474478 markings, 103408770 edges, 13360 markings/sec, 1050 secs
lola: 13534601 markings, 103901192 edges, 12025 markings/sec, 1055 secs
lola: 13598042 markings, 104395207 edges, 12688 markings/sec, 1060 secs
lola: 13664485 markings, 104885674 edges, 13289 markings/sec, 1065 secs
lola: 13723861 markings, 105374608 edges, 11875 markings/sec, 1070 secs
lola: 13786927 markings, 105864446 edges, 12613 markings/sec, 1075 secs
lola: 13848472 markings, 106355425 edges, 12309 markings/sec, 1080 secs
lola: 13903092 markings, 106844906 edges, 10924 markings/sec, 1085 secs
lola: 13957054 markings, 107333283 edges, 10792 markings/sec, 1090 secs
lola: 14014215 markings, 107825936 edges, 11432 markings/sec, 1095 secs
lola: 14071628 markings, 108314216 edges, 11483 markings/sec, 1100 secs
lola: 14124269 markings, 108801455 edges, 10528 markings/sec, 1105 secs
lola: 14179948 markings, 109290325 edges, 11136 markings/sec, 1110 secs
lola: 14234817 markings, 109780811 edges, 10974 markings/sec, 1115 secs
lola: 14284267 markings, 110269834 edges, 9890 markings/sec, 1120 secs
lola: 14331345 markings, 110756557 edges, 9416 markings/sec, 1125 secs
lola: 14381505 markings, 111246908 edges, 10032 markings/sec, 1130 secs
lola: 14439433 markings, 111737956 edges, 11586 markings/sec, 1135 secs
lola: 14493151 markings, 112227438 edges, 10744 markings/sec, 1140 secs
lola: 14547771 markings, 112716483 edges, 10924 markings/sec, 1145 secs
lola: 14606027 markings, 113208634 edges, 11651 markings/sec, 1150 secs
lola: 14662792 markings, 113699193 edges, 11353 markings/sec, 1155 secs
lola: 14715403 markings, 114188416 edges, 10522 markings/sec, 1160 secs
lola: 14771387 markings, 114679898 edges, 11197 markings/sec, 1165 secs
lola: 14830757 markings, 115173396 edges, 11874 markings/sec, 1170 secs
lola: 14884589 markings, 115666101 edges, 10766 markings/sec, 1175 secs
lola: 14939883 markings, 116158711 edges, 11059 markings/sec, 1180 secs
lola: 15006471 markings, 116651983 edges, 13318 markings/sec, 1185 secs
lola: 15075486 markings, 117137505 edges, 13803 markings/sec, 1190 secs
lola: 15145812 markings, 117623870 edges, 14065 markings/sec, 1195 secs
lola: 15214951 markings, 118111558 edges, 13828 markings/sec, 1200 secs
lola: 15274627 markings, 118597411 edges, 11935 markings/sec, 1205 secs
lola: 15336253 markings, 119084016 edges, 12325 markings/sec, 1210 secs
lola: 15402749 markings, 119569184 edges, 13299 markings/sec, 1215 secs
lola: 15462563 markings, 120051856 edges, 11963 markings/sec, 1220 secs
lola: 15522849 markings, 120533963 edges, 12057 markings/sec, 1225 secs
lola: 15585204 markings, 121019859 edges, 12471 markings/sec, 1230 secs
lola: 15640539 markings, 121503846 edges, 11067 markings/sec, 1235 secs
lola: 15689558 markings, 121961148 edges, 9804 markings/sec, 1240 secs
lola: 15745168 markings, 122449268 edges, 11122 markings/sec, 1245 secs
lola: 15810494 markings, 122937605 edges, 13065 markings/sec, 1250 secs
lola: 15869697 markings, 123425000 edges, 11841 markings/sec, 1255 secs
lola: 15932350 markings, 123912957 edges, 12531 markings/sec, 1260 secs
lola: 15995993 markings, 124381208 edges, 12729 markings/sec, 1265 secs
lola: 16055636 markings, 124869860 edges, 11929 markings/sec, 1270 secs
lola: 16118325 markings, 125358133 edges, 12538 markings/sec, 1275 secs
lola: 16185015 markings, 125850794 edges, 13338 markings/sec, 1280 secs
lola: 16245700 markings, 126342860 edges, 12137 markings/sec, 1285 secs
lola: 16307962 markings, 126836106 edges, 12452 markings/sec, 1290 secs
lola: 16368565 markings, 127308380 edges, 12121 markings/sec, 1295 secs
lola: 16423893 markings, 127797575 edges, 11066 markings/sec, 1300 secs
lola: 16476501 markings, 128285640 edges, 10522 markings/sec, 1305 secs
lola: 16532579 markings, 128777452 edges, 11216 markings/sec, 1310 secs
lola: 16585209 markings, 129266347 edges, 10526 markings/sec, 1315 secs
lola: 16631439 markings, 129734040 edges, 9246 markings/sec, 1320 secs
lola: 16680594 markings, 130222895 edges, 9831 markings/sec, 1325 secs
lola: 16731294 markings, 130715166 edges, 10140 markings/sec, 1330 secs
lola: 16783366 markings, 131202718 edges, 10414 markings/sec, 1335 secs
lola: 16830771 markings, 131688903 edges, 9481 markings/sec, 1340 secs
lola: 16879951 markings, 132175225 edges, 9836 markings/sec, 1345 secs
lola: 16930435 markings, 132665614 edges, 10097 markings/sec, 1350 secs
lola: 16976993 markings, 133152934 edges, 9312 markings/sec, 1355 secs
lola: 17020669 markings, 133640610 edges, 8735 markings/sec, 1360 secs
lola: 17064930 markings, 134127505 edges, 8852 markings/sec, 1365 secs
lola: 17110270 markings, 134617977 edges, 9068 markings/sec, 1370 secs
lola: 17162777 markings, 135107823 edges, 10501 markings/sec, 1375 secs
lola: 17211527 markings, 135596691 edges, 9750 markings/sec, 1380 secs
lola: 17259931 markings, 136084130 edges, 9681 markings/sec, 1385 secs
lola: 17310036 markings, 136574628 edges, 10021 markings/sec, 1390 secs
lola: 17362888 markings, 137064740 edges, 10570 markings/sec, 1395 secs
lola: 17411077 markings, 137554010 edges, 9638 markings/sec, 1400 secs
lola: 17460250 markings, 138043086 edges, 9835 markings/sec, 1405 secs
lola: 17511619 markings, 138535672 edges, 10274 markings/sec, 1410 secs
lola: 17563942 markings, 139028377 edges, 10465 markings/sec, 1415 secs
lola: 17611516 markings, 139520436 edges, 9515 markings/sec, 1420 secs
lola: 17661653 markings, 140013103 edges, 10027 markings/sec, 1425 secs
lola: 17718242 markings, 140506618 edges, 11318 markings/sec, 1430 secs
lola: 17782113 markings, 140996399 edges, 12774 markings/sec, 1435 secs
lola: 17841591 markings, 141484193 edges, 11896 markings/sec, 1440 secs
lola: 17904621 markings, 141975198 edges, 12606 markings/sec, 1445 secs
lola: 17962265 markings, 142465811 edges, 11529 markings/sec, 1450 secs
lola: 18014970 markings, 142954777 edges, 10541 markings/sec, 1455 secs
lola: 18070851 markings, 143445698 edges, 11176 markings/sec, 1460 secs
lola: 18129733 markings, 143936007 edges, 11776 markings/sec, 1465 secs
lola: 18183861 markings, 144423831 edges, 10826 markings/sec, 1470 secs
lola: 18237739 markings, 144910751 edges, 10776 markings/sec, 1475 secs
lola: 18293578 markings, 145401245 edges, 11168 markings/sec, 1480 secs
lola: 18345481 markings, 145890891 edges, 10381 markings/sec, 1485 secs
lola: 18392244 markings, 146379453 edges, 9353 markings/sec, 1490 secs
lola: 18442113 markings, 146867046 edges, 9974 markings/sec, 1495 secs
lola: 18496600 markings, 147358800 edges, 10897 markings/sec, 1500 secs
lola: 18553172 markings, 147848161 edges, 11314 markings/sec, 1505 secs
lola: 18605622 markings, 148335958 edges, 10490 markings/sec, 1510 secs
lola: 18661466 markings, 148826146 edges, 11169 markings/sec, 1515 secs
lola: 18720515 markings, 149316720 edges, 11810 markings/sec, 1520 secs
lola: 18773991 markings, 149805894 edges, 10695 markings/sec, 1525 secs
lola: 18828772 markings, 150294391 edges, 10956 markings/sec, 1530 secs
lola: 18887289 markings, 150786209 edges, 11703 markings/sec, 1535 secs
lola: 18943930 markings, 151278197 edges, 11328 markings/sec, 1540 secs
lola: 18996765 markings, 151769571 edges, 10567 markings/sec, 1545 secs
lola: 19053110 markings, 152264250 edges, 11269 markings/sec, 1550 secs
lola: 19119130 markings, 152754132 edges, 13204 markings/sec, 1555 secs
lola: 19178343 markings, 153241485 edges, 11843 markings/sec, 1560 secs
lola: 19240805 markings, 153729910 edges, 12492 markings/sec, 1565 secs
lola: 19301225 markings, 154219249 edges, 12084 markings/sec, 1570 secs
lola: 19354855 markings, 154707554 edges, 10726 markings/sec, 1575 secs
lola: 19409322 markings, 155195555 edges, 10893 markings/sec, 1580 secs
lola: 19467326 markings, 155686432 edges, 11601 markings/sec, 1585 secs
lola: 19523799 markings, 156172945 edges, 11295 markings/sec, 1590 secs
lola: 19575867 markings, 156657435 edges, 10414 markings/sec, 1595 secs
lola: 19631382 markings, 157144674 edges, 11103 markings/sec, 1600 secs
lola: 19685319 markings, 157632883 edges, 10787 markings/sec, 1605 secs
lola: 19734628 markings, 158120496 edges, 9862 markings/sec, 1610 secs
lola: 19781887 markings, 158606382 edges, 9452 markings/sec, 1615 secs
lola: 19832058 markings, 159095861 edges, 10034 markings/sec, 1620 secs
lola: 19890177 markings, 159584305 edges, 11624 markings/sec, 1625 secs
lola: 19943248 markings, 160071948 edges, 10614 markings/sec, 1630 secs
lola: 19998026 markings, 160558618 edges, 10956 markings/sec, 1635 secs
lola: 20056705 markings, 161049353 edges, 11736 markings/sec, 1640 secs
lola: 20112810 markings, 161538271 edges, 11221 markings/sec, 1645 secs
lola: 20165085 markings, 162024751 edges, 10455 markings/sec, 1650 secs
lola: 20220930 markings, 162514773 edges, 11169 markings/sec, 1655 secs
lola: 20280164 markings, 163007396 edges, 11847 markings/sec, 1660 secs
lola: 20333471 markings, 163499070 edges, 10661 markings/sec, 1665 secs
lola: 20389039 markings, 163991036 edges, 11114 markings/sec, 1670 secs
lola: 20452145 markings, 164483509 edges, 12621 markings/sec, 1675 secs
lola: 20513836 markings, 164970607 edges, 12338 markings/sec, 1680 secs
lola: 20573630 markings, 165457162 edges, 11959 markings/sec, 1685 secs
lola: 20636433 markings, 165946830 edges, 12561 markings/sec, 1690 secs
lola: 20692654 markings, 166433628 edges, 11244 markings/sec, 1695 secs
lola: 20745017 markings, 166920689 edges, 10473 markings/sec, 1700 secs
lola: 20800879 markings, 167410827 edges, 11172 markings/sec, 1705 secs
lola: 20859553 markings, 167898389 edges, 11735 markings/sec, 1710 secs
lola: 20912644 markings, 168383274 edges, 10618 markings/sec, 1715 secs
lola: 20966861 markings, 168867933 edges, 10843 markings/sec, 1720 secs
lola: 21022595 markings, 169357115 edges, 11147 markings/sec, 1725 secs
lola: 21073591 markings, 169845192 edges, 10199 markings/sec, 1730 secs
lola: 21120501 markings, 170331083 edges, 9382 markings/sec, 1735 secs
lola: 21170042 markings, 170817944 edges, 9908 markings/sec, 1740 secs
lola: 21223075 markings, 171287944 edges, 10607 markings/sec, 1745 secs
lola: 21279336 markings, 171778024 edges, 11252 markings/sec, 1750 secs
lola: 21331788 markings, 172265906 edges, 10490 markings/sec, 1755 secs
lola: 21387794 markings, 172757247 edges, 11201 markings/sec, 1760 secs
lola: 21446889 markings, 173248570 edges, 11819 markings/sec, 1765 secs
lola: 21500007 markings, 173738187 edges, 10624 markings/sec, 1770 secs
lola: 21555312 markings, 174227842 edges, 11061 markings/sec, 1775 secs
lola: 21614551 markings, 174721957 edges, 11848 markings/sec, 1780 secs
lola: 21670906 markings, 175215593 edges, 11271 markings/sec, 1785 secs
lola: 21723831 markings, 175707534 edges, 10585 markings/sec, 1790 secs
lola: 21780329 markings, 176203242 edges, 11300 markings/sec, 1795 secs
lola: 21847562 markings, 176696002 edges, 13447 markings/sec, 1800 secs
lola: 21906682 markings, 177186668 edges, 11824 markings/sec, 1805 secs
lola: 21969898 markings, 177679578 edges, 12643 markings/sec, 1810 secs
lola: 22030051 markings, 178172969 edges, 12031 markings/sec, 1815 secs
lola: 22083424 markings, 178664728 edges, 10675 markings/sec, 1820 secs
lola: 22138989 markings, 179157042 edges, 11113 markings/sec, 1825 secs
lola: 22198144 markings, 179650030 edges, 11831 markings/sec, 1830 secs
lola: 22254032 markings, 180139643 edges, 11178 markings/sec, 1835 secs
lola: time limit reached - aborting
lola:
preliminary result: no no unknown unknown no no unknown yes yes unknown yes yes unknown no no no
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: no no unknown unknown no no unknown yes yes unknown yes yes unknown no no no
lola:
preliminary result: no no unknown unknown no no unknown yes yes unknown yes yes unknown no no no
lola: memory consumption: 7538568 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 1589310499548
--------------------
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-12b"
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-12b, 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-158897552800120"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-12b.tgz
mv AutoFlight-PT-12b 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 ;