About the Execution of 2019-Gold for AutoFlight-PT-96a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4305.500 | 3570130.00 | 3636552.00 | 10067.60 | TTT??TTTFTFTFF?T | 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-158897552800129.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool win2019
Input is AutoFlight-PT-96a, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r015-smll-158897552800129
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 804K
-rw-r--r-- 1 mcc users 3.4K Mar 26 00:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 26 00:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 19:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 19:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 25 15:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 15:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 11:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 11:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 629K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME AutoFlight-PT-96a-00
FORMULA_NAME AutoFlight-PT-96a-01
FORMULA_NAME AutoFlight-PT-96a-02
FORMULA_NAME AutoFlight-PT-96a-03
FORMULA_NAME AutoFlight-PT-96a-04
FORMULA_NAME AutoFlight-PT-96a-05
FORMULA_NAME AutoFlight-PT-96a-06
FORMULA_NAME AutoFlight-PT-96a-07
FORMULA_NAME AutoFlight-PT-96a-08
FORMULA_NAME AutoFlight-PT-96a-09
FORMULA_NAME AutoFlight-PT-96a-10
FORMULA_NAME AutoFlight-PT-96a-11
FORMULA_NAME AutoFlight-PT-96a-12
FORMULA_NAME AutoFlight-PT-96a-13
FORMULA_NAME AutoFlight-PT-96a-14
FORMULA_NAME AutoFlight-PT-96a-15
=== Now, execution of the tool begins
BK_START 1589323250377
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ AutoFlight-PT-96a @ 3570 seconds
FORMULA AutoFlight-PT-96a-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-96a-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-96a-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-96a-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-96a-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-96a-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-96a-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-96a-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-96a-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-96a-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-96a-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-96a-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-96a-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ AutoFlight-PT-96a
{
"exit":
{
"memory": 820180,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 4,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "A (X (F ((G ((p1616 + 1 <= p813)) R ((p518 + 1 <= p431) OR F ((X ((p1616 + 1 <= p813)) OR F ((p1320 <= p1369)))))))))",
"processed_size": 117,
"rewrites": 131
},
"result":
{
"preliminary_value": "yes yes yes unknown unknown yes yes yes no yes no yes no no unknown yes "
},
"task":
{
"buchi":
{
"states": 10
},
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 4476/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2251
lola: finding significant places
lola: 2251 places, 2225 transitions, 1737 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLCardinality.xml
lola: LP says that atomic proposition is always false: (3 <= p864)
lola: LP says that atomic proposition is always false: (3 <= p319)
lola: LP says that atomic proposition is always false: (2 <= p524)
lola: LP says that atomic proposition is always false: (2 <= p524)
lola: LP says that atomic proposition is always false: (2 <= p708)
lola: LP says that atomic proposition is always false: (3 <= p1549)
lola: LP says that atomic proposition is always false: (3 <= p1549)
lola: LP says that atomic proposition is always false: (3 <= p236)
lola: LP says that atomic proposition is always false: (3 <= p236)
lola: LP says that atomic proposition is always true: (p1176 <= p154)
lola: LP says that atomic proposition is always false: (2 <= p229)
lola: LP says that atomic proposition is always false: (2 <= p739)
lola: LP says that atomic proposition is always false: (3 <= p1683)
lola: LP says that atomic proposition is always false: (3 <= p1330)
lola: LP says that atomic proposition is always false: (2 <= p788)
lola: LP says that atomic proposition is always false: (2 <= p797)
lola: A (NOT(X ((G (X (X (X (X ((p1596 <= p1163)))))) AND (X (F ((p1116 <= p2106))) U (3 <= p864)))))) : A (NOT((F ((p646 <= p1529)) AND G (X ((3 <= p319)))))) : A (((G ((2 <= p524)) U G ((p1509 <= p416))) OR NOT(((2 <= p524) U G ((1 <= p140)))))) : A (G (F ((p1348 <= p2057)))) : A (F (NOT(X ((F ((p813 <= p1616)) U ((p431 <= p518) AND G ((X ((p813 <= p1616)) AND G ((p1369 + 1 <= p1320)))))))))) : A (NOT(((2 <= p708) AND G (((p1549 <= 2) AND (F ((p2088 <= p1568)) OR F ((3 <= p1549)))))))) : A (((NOT(F (X ((p84 <= p418)))) U NOT(((3 <= p236) U (p236 <= 2)))) U G ((p1176 <= p154)))) : A ((X ((0 <= p744)) OR G (()))) : A (X (X (NOT(((p1841 <= p1625) U (p2040 <= 0)))))) : A (((G ((p1698 <= p2129)) U (2 <= p739)) U ((p1698 <= p2129) AND (X ((p533 <= p2035)) OR F ((p2035 + 1 <= p533)))))) : A ((((0 <= p1220) AND G ((p1506 <= p1867))) U F ((G ((p1683 <= 2)) U X ((3 <= p1330)))))) : A (NOT(((p1700 + 1 <= p1140) AND (X (NOT(X ((p2005 <= p405)))) U (p469 <= p261))))) : A (F (G (X (NOT(F ((p2066 <= p805))))))) : A (G ((F ((2 <= p788)) U (p307 + 1 <= p506)))) : A (NOT((((p223 <= p1117) AND F ((p1117 + 1 <= p223))) AND G (((2 <= p797) OR X (X (X ((p1117 + 1 <= p223))))))))) : A (F ((F ((p715 <= p22)) OR (G (X (NOT(X (NOT(F ((1 <= p1393))))))) U (p1158 <= p1585)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
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:338
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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:98
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:121
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:98
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 131 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 131 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 131 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 131 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 294 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 131 rewrites
lola: closed formula file LTLCardinality.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: subprocess 5 will run for 320 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (TRUE))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (TRUE))
lola: processed formula length: 12
lola: 131 rewrites
lola: closed formula file LTLCardinality.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: 2 markings, 1 edges
lola: ========================================
lola: subprocess 6 will run for 352 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (((p1625 + 1 <= p1841) R (1 <= p2040)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (((p1625 + 1 <= p1841) R (1 <= p2040)))))
lola: processed formula length: 49
lola: 131 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 246 markings, 246 edges
lola: ========================================
lola: subprocess 7 will run for 392 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p1698 <= p2129) AND A ((X ((p533 <= p2035)) OR F ((p2035 + 1 <= p533)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 392 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p1698 <= p2129)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p1698 <= p2129)
lola: processed formula length: 16
lola: 131 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 441 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X ((p533 <= p2035)) OR F ((p2035 + 1 <= p533))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X ((p533 <= p2035)) OR F ((p2035 + 1 <= p533))))
lola: processed formula length: 52
lola: 131 rewrites
lola: closed formula file LTLCardinality.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: 2 markings, 1 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 8 will run for 441 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((G ((p1616 + 1 <= p813)) R ((p518 + 1 <= p431) OR F ((X ((p1616 + 1 <= p813)) OR F ((p1320 <= p1369)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((G ((p1616 + 1 <= p813)) R ((p518 + 1 <= p431) OR F ((X ((p1616 + 1 <= p813)) OR F ((p1320 <= p1369)))))))))
lola: processed formula length: 117
lola: 131 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 10 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 14040 markings, 343624 edges, 2808 markings/sec, 0 secs
lola: 26086 markings, 688701 edges, 2409 markings/sec, 5 secs
lola: 37090 markings, 1023913 edges, 2201 markings/sec, 10 secs
lola: 47887 markings, 1352988 edges, 2159 markings/sec, 15 secs
lola: 58502 markings, 1698411 edges, 2123 markings/sec, 20 secs
lola: 68876 markings, 2042748 edges, 2075 markings/sec, 25 secs
lola: 80196 markings, 2386478 edges, 2264 markings/sec, 30 secs
lola: 90803 markings, 2732431 edges, 2121 markings/sec, 35 secs
lola: 100167 markings, 3058314 edges, 1873 markings/sec, 40 secs
lola: 110519 markings, 3403417 edges, 2070 markings/sec, 45 secs
lola: 120154 markings, 3749563 edges, 1927 markings/sec, 50 secs
lola: 129109 markings, 4097393 edges, 1791 markings/sec, 55 secs
lola: 139259 markings, 4414738 edges, 2030 markings/sec, 60 secs
lola: 150334 markings, 4759953 edges, 2215 markings/sec, 65 secs
lola: 160572 markings, 5106364 edges, 2048 markings/sec, 70 secs
lola: 170838 markings, 5451294 edges, 2053 markings/sec, 75 secs
lola: 180374 markings, 5796136 edges, 1907 markings/sec, 80 secs
lola: 190039 markings, 6142521 edges, 1933 markings/sec, 85 secs
lola: 199224 markings, 6488809 edges, 1837 markings/sec, 90 secs
lola: 209506 markings, 6835680 edges, 2056 markings/sec, 95 secs
lola: 219133 markings, 7182820 edges, 1925 markings/sec, 100 secs
lola: 227522 markings, 7510414 edges, 1678 markings/sec, 105 secs
lola: 236843 markings, 7856640 edges, 1864 markings/sec, 110 secs
lola: 245559 markings, 8203822 edges, 1743 markings/sec, 115 secs
lola: 254154 markings, 8551110 edges, 1719 markings/sec, 120 secs
lola: 262111 markings, 8898971 edges, 1591 markings/sec, 125 secs
lola: 274032 markings, 9242561 edges, 2384 markings/sec, 130 secs
lola: 284756 markings, 9587110 edges, 2145 markings/sec, 135 secs
lola: 294493 markings, 9933081 edges, 1947 markings/sec, 140 secs
lola: 305095 markings, 10278318 edges, 2120 markings/sec, 145 secs
lola: 314742 markings, 10623636 edges, 1929 markings/sec, 150 secs
lola: 323867 markings, 10970805 edges, 1825 markings/sec, 155 secs
lola: 333692 markings, 11316032 edges, 1965 markings/sec, 160 secs
lola: 343458 markings, 11662193 edges, 1953 markings/sec, 165 secs
lola: 352944 markings, 12007558 edges, 1897 markings/sec, 170 secs
lola: 361832 markings, 12355280 edges, 1778 markings/sec, 175 secs
lola: 371241 markings, 12700596 edges, 1882 markings/sec, 180 secs
lola: 379928 markings, 13047301 edges, 1737 markings/sec, 185 secs
lola: 388288 markings, 13394211 edges, 1672 markings/sec, 190 secs
lola: 397164 markings, 13740380 edges, 1775 markings/sec, 195 secs
lola: 406773 markings, 14068288 edges, 1922 markings/sec, 200 secs
lola: 416346 markings, 14414533 edges, 1915 markings/sec, 205 secs
lola: 425135 markings, 14761451 edges, 1758 markings/sec, 210 secs
lola: 434490 markings, 15108432 edges, 1871 markings/sec, 215 secs
lola: 443251 markings, 15454779 edges, 1752 markings/sec, 220 secs
lola: 451808 markings, 15800246 edges, 1711 markings/sec, 225 secs
lola: 459862 markings, 16147507 edges, 1611 markings/sec, 230 secs
lola: 469155 markings, 16487605 edges, 1859 markings/sec, 235 secs
lola: 477427 markings, 16818727 edges, 1654 markings/sec, 240 secs
lola: 485923 markings, 17166278 edges, 1699 markings/sec, 245 secs
lola: 494013 markings, 17513581 edges, 1618 markings/sec, 250 secs
lola: 502451 markings, 17860477 edges, 1688 markings/sec, 255 secs
lola: 510329 markings, 18208123 edges, 1576 markings/sec, 260 secs
lola: 518056 markings, 18555646 edges, 1545 markings/sec, 265 secs
lola: 525857 markings, 18903889 edges, 1560 markings/sec, 270 secs
lola: 537569 markings, 19248551 edges, 2342 markings/sec, 275 secs
lola: 548224 markings, 19594166 edges, 2131 markings/sec, 280 secs
lola: 558005 markings, 19940493 edges, 1956 markings/sec, 285 secs
lola: 568576 markings, 20286323 edges, 2114 markings/sec, 290 secs
lola: 577672 markings, 20615201 edges, 1819 markings/sec, 295 secs
lola: 586213 markings, 20939396 edges, 1708 markings/sec, 300 secs
lola: 596059 markings, 21285564 edges, 1969 markings/sec, 305 secs
lola: 605802 markings, 21631844 edges, 1949 markings/sec, 310 secs
lola: 615359 markings, 21978255 edges, 1911 markings/sec, 315 secs
lola: 624243 markings, 22325307 edges, 1777 markings/sec, 320 secs
lola: 633651 markings, 22672108 edges, 1882 markings/sec, 325 secs
lola: 642333 markings, 23019482 edges, 1736 markings/sec, 330 secs
lola: 650632 markings, 23364176 edges, 1660 markings/sec, 335 secs
lola: 659512 markings, 23709043 edges, 1776 markings/sec, 340 secs
lola: 669514 markings, 24051271 edges, 2000 markings/sec, 345 secs
lola: 678978 markings, 24394910 edges, 1893 markings/sec, 350 secs
lola: 687664 markings, 24739599 edges, 1737 markings/sec, 355 secs
lola: 697025 markings, 25082584 edges, 1872 markings/sec, 360 secs
lola: 705712 markings, 25427887 edges, 1737 markings/sec, 365 secs
lola: 714208 markings, 25771444 edges, 1699 markings/sec, 370 secs
lola: 722223 markings, 26116132 edges, 1603 markings/sec, 375 secs
lola: 731682 markings, 26462861 edges, 1892 markings/sec, 380 secs
lola: 740260 markings, 26805211 edges, 1716 markings/sec, 385 secs
lola: 748288 markings, 27137155 edges, 1606 markings/sec, 390 secs
lola: 756002 markings, 27469733 edges, 1543 markings/sec, 395 secs
lola: 764475 markings, 27816857 edges, 1695 markings/sec, 400 secs
lola: 772331 markings, 28164501 edges, 1571 markings/sec, 405 secs
lola: 780062 markings, 28510740 edges, 1546 markings/sec, 410 secs
lola: 787509 markings, 28856989 edges, 1489 markings/sec, 415 secs
lola: 797988 markings, 29200336 edges, 2096 markings/sec, 420 secs
lola: 807632 markings, 29547809 edges, 1929 markings/sec, 425 secs
lola: 816614 markings, 29892277 edges, 1796 markings/sec, 430 secs
lola: 825797 markings, 30236033 edges, 1837 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown unknown unknown yes yes yes no yes no unknown unknown unknown unknown unknown
lola: memory consumption: 230072 KB
lola: time consumption: 483 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 441 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p1140 <= p1700) OR (X (X ((p2005 <= p405))) R (p261 + 1 <= p469))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((p1140 <= p1700) OR (X (X ((p2005 <= p405))) R (p261 + 1 <= p469))))
lola: processed formula length: 72
lola: 131 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 514 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p1117 + 1 <= p223) OR (G ((p223 <= p1117)) OR X (X (X (F ((p223 <= p1117))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((p1117 + 1 <= p223) OR (G ((p223 <= p1117)) OR X (X (X (F ((p223 <= p1117))))))))
lola: processed formula length: 85
lola: 131 rewrites
lola: closed formula file LTLCardinality.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: 41933 markings, 332082 edges, 8387 markings/sec, 0 secs
lola: 73311 markings, 614959 edges, 6276 markings/sec, 5 secs
lola: 110053 markings, 954997 edges, 7348 markings/sec, 10 secs
lola: 145353 markings, 1294196 edges, 7060 markings/sec, 15 secs
lola: 181071 markings, 1634100 edges, 7144 markings/sec, 20 secs
lola: 215191 markings, 1974083 edges, 6824 markings/sec, 25 secs
lola: 247253 markings, 2312688 edges, 6412 markings/sec, 30 secs
lola: 281765 markings, 2652871 edges, 6902 markings/sec, 35 secs
lola: 316953 markings, 2991211 edges, 7038 markings/sec, 40 secs
lola: 350997 markings, 3332153 edges, 6809 markings/sec, 45 secs
lola: 382913 markings, 3672978 edges, 6383 markings/sec, 50 secs
lola: 415847 markings, 4013105 edges, 6587 markings/sec, 55 secs
lola: 448039 markings, 4356498 edges, 6438 markings/sec, 60 secs
lola: 478885 markings, 4695827 edges, 6169 markings/sec, 65 secs
lola: 508141 markings, 5036036 edges, 5851 markings/sec, 70 secs
lola: 540429 markings, 5375455 edges, 6458 markings/sec, 75 secs
lola: 576197 markings, 5714910 edges, 7154 markings/sec, 80 secs
lola: 610155 markings, 6054351 edges, 6792 markings/sec, 85 secs
lola: 642377 markings, 6395917 edges, 6444 markings/sec, 90 secs
lola: 675087 markings, 6736368 edges, 6542 markings/sec, 95 secs
lola: 701943 markings, 7018383 edges, 5371 markings/sec, 100 secs
lola: 733039 markings, 7360472 edges, 6219 markings/sec, 105 secs
lola: 763073 markings, 7701021 edges, 6007 markings/sec, 110 secs
lola: 792281 markings, 8042117 edges, 5842 markings/sec, 115 secs
lola: 825593 markings, 8381049 edges, 6662 markings/sec, 120 secs
lola: 856475 markings, 8722934 edges, 6176 markings/sec, 125 secs
lola: 887074 markings, 9063520 edges, 6120 markings/sec, 130 secs
lola: 915543 markings, 9404376 edges, 5694 markings/sec, 135 secs
lola: 946549 markings, 9746405 edges, 6201 markings/sec, 140 secs
lola: 975365 markings, 10085937 edges, 5763 markings/sec, 145 secs
lola: 1004065 markings, 10428251 edges, 5740 markings/sec, 150 secs
lola: 1031325 markings, 10770908 edges, 5452 markings/sec, 155 secs
lola: 1061267 markings, 11110798 edges, 5988 markings/sec, 160 secs
lola: 1097088 markings, 11448989 edges, 7164 markings/sec, 165 secs
lola: 1130961 markings, 11789166 edges, 6775 markings/sec, 170 secs
lola: 1163333 markings, 12128288 edges, 6474 markings/sec, 175 secs
lola: 1195600 markings, 12466985 edges, 6453 markings/sec, 180 secs
lola: 1228015 markings, 12805972 edges, 6483 markings/sec, 185 secs
lola: 1258922 markings, 13145268 edges, 6181 markings/sec, 190 secs
lola: 1289133 markings, 13488356 edges, 6042 markings/sec, 195 secs
lola: 1318901 markings, 13832036 edges, 5954 markings/sec, 200 secs
lola: 1352181 markings, 14173381 edges, 6656 markings/sec, 205 secs
lola: 1383207 markings, 14514444 edges, 6205 markings/sec, 210 secs
lola: 1413783 markings, 14857060 edges, 6115 markings/sec, 215 secs
lola: 1441821 markings, 15199069 edges, 5608 markings/sec, 220 secs
lola: 1473035 markings, 15539932 edges, 6243 markings/sec, 225 secs
lola: 1501897 markings, 15880118 edges, 5772 markings/sec, 230 secs
lola: 1530503 markings, 16221335 edges, 5721 markings/sec, 235 secs
lola: 1557563 markings, 16563976 edges, 5412 markings/sec, 240 secs
lola: 1587005 markings, 16904154 edges, 5888 markings/sec, 245 secs
lola: 1619587 markings, 17243511 edges, 6516 markings/sec, 250 secs
lola: 1650459 markings, 17583110 edges, 6174 markings/sec, 255 secs
lola: 1680575 markings, 17924618 edges, 6023 markings/sec, 260 secs
lola: 1709185 markings, 18265190 edges, 5722 markings/sec, 265 secs
lola: 1739783 markings, 18606651 edges, 6120 markings/sec, 270 secs
lola: 1768243 markings, 18949735 edges, 5692 markings/sec, 275 secs
lola: 1797079 markings, 19291362 edges, 5767 markings/sec, 280 secs
lola: 1824101 markings, 19634461 edges, 5404 markings/sec, 285 secs
lola: 1853055 markings, 19976279 edges, 5791 markings/sec, 290 secs
lola: 1882563 markings, 20315080 edges, 5902 markings/sec, 295 secs
lola: 1910883 markings, 20654816 edges, 5664 markings/sec, 300 secs
lola: 1938677 markings, 20996039 edges, 5559 markings/sec, 305 secs
lola: 1964625 markings, 21336983 edges, 5190 markings/sec, 310 secs
lola: 1993305 markings, 21678717 edges, 5736 markings/sec, 315 secs
lola: 2020267 markings, 22020843 edges, 5392 markings/sec, 320 secs
lola: 2046563 markings, 22363066 edges, 5259 markings/sec, 325 secs
lola: 2072255 markings, 22706079 edges, 5138 markings/sec, 330 secs
lola: 2096321 markings, 23048757 edges, 4813 markings/sec, 335 secs
lola: 2133029 markings, 23385690 edges, 7342 markings/sec, 340 secs
lola: 2167181 markings, 23726404 edges, 6830 markings/sec, 345 secs
lola: 2200639 markings, 24064464 edges, 6692 markings/sec, 350 secs
lola: 2232075 markings, 24408163 edges, 6287 markings/sec, 355 secs
lola: 2265503 markings, 24746552 edges, 6686 markings/sec, 360 secs
lola: 2296297 markings, 25087087 edges, 6159 markings/sec, 365 secs
lola: 2326839 markings, 25426984 edges, 6108 markings/sec, 370 secs
lola: 2355867 markings, 25769378 edges, 5806 markings/sec, 375 secs
lola: 2388973 markings, 26108202 edges, 6621 markings/sec, 380 secs
lola: 2419299 markings, 26436105 edges, 6065 markings/sec, 385 secs
lola: 2450217 markings, 26775858 edges, 6184 markings/sec, 390 secs
lola: 2479403 markings, 27116127 edges, 5837 markings/sec, 395 secs
lola: 2509265 markings, 27456490 edges, 5972 markings/sec, 400 secs
lola: 2538806 markings, 27797129 edges, 5908 markings/sec, 405 secs
lola: 2567305 markings, 28138152 edges, 5700 markings/sec, 410 secs
lola: 2595191 markings, 28481550 edges, 5577 markings/sec, 415 secs
lola: 2621157 markings, 28825361 edges, 5193 markings/sec, 420 secs
lola: 2654629 markings, 29164168 edges, 6694 markings/sec, 425 secs
lola: 2685819 markings, 29503588 edges, 6238 markings/sec, 430 secs
lola: 2716959 markings, 29843930 edges, 6228 markings/sec, 435 secs
lola: 2745835 markings, 30184319 edges, 5775 markings/sec, 440 secs
lola: 2776195 markings, 30523998 edges, 6072 markings/sec, 445 secs
lola: 2805473 markings, 30865101 edges, 5856 markings/sec, 450 secs
lola: 2833737 markings, 31205255 edges, 5653 markings/sec, 455 secs
lola: 2861433 markings, 31547449 edges, 5539 markings/sec, 460 secs
lola: 2887941 markings, 31888125 edges, 5302 markings/sec, 465 secs
lola: 2918523 markings, 32228630 edges, 6116 markings/sec, 470 secs
lola: 2947103 markings, 32570609 edges, 5716 markings/sec, 475 secs
lola: 2975929 markings, 32912918 edges, 5765 markings/sec, 480 secs
lola: 3002901 markings, 33255261 edges, 5394 markings/sec, 485 secs
lola: 3030231 markings, 33595814 edges, 5466 markings/sec, 490 secs
lola: 3057890 markings, 33937460 edges, 5532 markings/sec, 495 secs
lola: 3083840 markings, 34279243 edges, 5190 markings/sec, 500 secs
lola: 3110183 markings, 34621801 edges, 5269 markings/sec, 505 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown unknown unknown yes yes yes no yes no yes unknown unknown unknown unknown
lola: memory consumption: 951492 KB
lola: time consumption: 997 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 514 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p307 + 1 <= p506)))
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 ((p307 + 1 <= p506)))
lola: processed formula length: 26
lola: 133 rewrites
lola: closed formula file LTLCardinality.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: (p506 <= p307)
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: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 643 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((p1348 <= p2057))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((p1348 <= p2057))))
lola: processed formula length: 28
lola: 131 rewrites
lola: closed formula file LTLCardinality.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: 22315 markings, 143346 edges, 4463 markings/sec, 0 secs
lola: 37449 markings, 346080 edges, 3027 markings/sec, 5 secs
lola: 52677 markings, 548346 edges, 3046 markings/sec, 10 secs
lola: 67499 markings, 753120 edges, 2964 markings/sec, 15 secs
lola: 82643 markings, 958284 edges, 3029 markings/sec, 20 secs
lola: 97889 markings, 1166372 edges, 3049 markings/sec, 25 secs
lola: 113112 markings, 1371711 edges, 3045 markings/sec, 30 secs
lola: 128235 markings, 1576912 edges, 3025 markings/sec, 35 secs
lola: 143082 markings, 1780490 edges, 2969 markings/sec, 40 secs
lola: 157880 markings, 1983109 edges, 2960 markings/sec, 45 secs
lola: 172676 markings, 2186320 edges, 2959 markings/sec, 50 secs
lola: 187336 markings, 2386818 edges, 2932 markings/sec, 55 secs
lola: 202155 markings, 2587046 edges, 2964 markings/sec, 60 secs
lola: 215103 markings, 2800406 edges, 2590 markings/sec, 65 secs
lola: 227573 markings, 3016984 edges, 2494 markings/sec, 70 secs
lola: 239719 markings, 3235662 edges, 2429 markings/sec, 75 secs
lola: 251559 markings, 3456497 edges, 2368 markings/sec, 80 secs
lola: 262721 markings, 3682391 edges, 2232 markings/sec, 85 secs
lola: 274984 markings, 3901930 edges, 2453 markings/sec, 90 secs
lola: 286652 markings, 4123321 edges, 2334 markings/sec, 95 secs
lola: 297517 markings, 4350081 edges, 2173 markings/sec, 100 secs
lola: 309048 markings, 4572250 edges, 2306 markings/sec, 105 secs
lola: 319807 markings, 4799155 edges, 2152 markings/sec, 110 secs
lola: 329969 markings, 5032163 edges, 2032 markings/sec, 115 secs
lola: 342501 markings, 5251021 edges, 2506 markings/sec, 120 secs
lola: 354067 markings, 5473619 edges, 2313 markings/sec, 125 secs
lola: 365217 markings, 5699079 edges, 2230 markings/sec, 130 secs
lola: 376424 markings, 5923768 edges, 2241 markings/sec, 135 secs
lola: 387139 markings, 6153624 edges, 2143 markings/sec, 140 secs
lola: 397758 markings, 6383335 edges, 2124 markings/sec, 145 secs
lola: 408995 markings, 6607389 edges, 2247 markings/sec, 150 secs
lola: 419700 markings, 6836392 edges, 2141 markings/sec, 155 secs
lola: 430051 markings, 7067015 edges, 2070 markings/sec, 160 secs
lola: 440553 markings, 7295769 edges, 2100 markings/sec, 165 secs
lola: 450634 markings, 7527963 edges, 2016 markings/sec, 170 secs
lola: 460170 markings, 7763605 edges, 1907 markings/sec, 175 secs
lola: 472448 markings, 7982121 edges, 2456 markings/sec, 180 secs
lola: 484084 markings, 8204501 edges, 2327 markings/sec, 185 secs
lola: 495186 markings, 8431755 edges, 2220 markings/sec, 190 secs
lola: 506549 markings, 8655844 edges, 2273 markings/sec, 195 secs
lola: 517310 markings, 8884021 edges, 2152 markings/sec, 200 secs
lola: 527729 markings, 9115909 edges, 2084 markings/sec, 205 secs
lola: 539120 markings, 9340015 edges, 2278 markings/sec, 210 secs
lola: 549881 markings, 9567602 edges, 2152 markings/sec, 215 secs
lola: 560106 markings, 9799164 edges, 2045 markings/sec, 220 secs
lola: 570788 markings, 10027883 edges, 2136 markings/sec, 225 secs
lola: 580908 markings, 10260661 edges, 2024 markings/sec, 230 secs
lola: 590516 markings, 10496363 edges, 1922 markings/sec, 235 secs
lola: 601772 markings, 10722087 edges, 2251 markings/sec, 240 secs
lola: 612664 markings, 10950295 edges, 2178 markings/sec, 245 secs
lola: 623054 markings, 11181872 edges, 2078 markings/sec, 250 secs
lola: 633749 markings, 11412929 edges, 2139 markings/sec, 255 secs
lola: 643947 markings, 11645020 edges, 2040 markings/sec, 260 secs
lola: 653732 markings, 11879261 edges, 1957 markings/sec, 265 secs
lola: 664039 markings, 12111498 edges, 2061 markings/sec, 270 secs
lola: 674140 markings, 12343627 edges, 2020 markings/sec, 275 secs
lola: 684208 markings, 12576240 edges, 2014 markings/sec, 280 secs
lola: 693942 markings, 12811483 edges, 1947 markings/sec, 285 secs
lola: 703703 markings, 13046231 edges, 1952 markings/sec, 290 secs
lola: 713170 markings, 13283837 edges, 1893 markings/sec, 295 secs
lola: 722136 markings, 13523724 edges, 1793 markings/sec, 300 secs
lola: 734240 markings, 13743503 edges, 2421 markings/sec, 305 secs
lola: 745922 markings, 13966351 edges, 2336 markings/sec, 310 secs
lola: 757039 markings, 14194491 edges, 2223 markings/sec, 315 secs
lola: 768402 markings, 14419042 edges, 2273 markings/sec, 320 secs
lola: 779172 markings, 14647243 edges, 2154 markings/sec, 325 secs
lola: 789504 markings, 14877839 edges, 2066 markings/sec, 330 secs
lola: 800932 markings, 15102351 edges, 2286 markings/sec, 335 secs
lola: 811763 markings, 15331098 edges, 2166 markings/sec, 340 secs
lola: 821981 markings, 15562667 edges, 2044 markings/sec, 345 secs
lola: 832665 markings, 15791393 edges, 2137 markings/sec, 350 secs
lola: 842742 markings, 16023181 edges, 2015 markings/sec, 355 secs
lola: 852325 markings, 16258004 edges, 1917 markings/sec, 360 secs
lola: 863491 markings, 16483265 edges, 2233 markings/sec, 365 secs
lola: 874377 markings, 16711620 edges, 2177 markings/sec, 370 secs
lola: 884709 markings, 16941521 edges, 2066 markings/sec, 375 secs
lola: 895292 markings, 17171147 edges, 2117 markings/sec, 380 secs
lola: 905489 markings, 17403132 edges, 2039 markings/sec, 385 secs
lola: 915284 markings, 17637580 edges, 1959 markings/sec, 390 secs
lola: 925530 markings, 17868702 edges, 2049 markings/sec, 395 secs
lola: 935691 markings, 18102386 edges, 2032 markings/sec, 400 secs
lola: 945788 markings, 18335350 edges, 2019 markings/sec, 405 secs
lola: 955520 markings, 18570479 edges, 1946 markings/sec, 410 secs
lola: 965333 markings, 18806376 edges, 1963 markings/sec, 415 secs
lola: 974800 markings, 19043987 edges, 1893 markings/sec, 420 secs
lola: 983865 markings, 19286692 edges, 1813 markings/sec, 425 secs
lola: 995232 markings, 19512127 edges, 2273 markings/sec, 430 secs
lola: 1006102 markings, 19739971 edges, 2174 markings/sec, 435 secs
lola: 1016348 markings, 19971105 edges, 2049 markings/sec, 440 secs
lola: 1027052 markings, 20200346 edges, 2141 markings/sec, 445 secs
lola: 1037189 markings, 20432217 edges, 2027 markings/sec, 450 secs
lola: 1046956 markings, 20666616 edges, 1953 markings/sec, 455 secs
lola: 1057295 markings, 20898765 edges, 2068 markings/sec, 460 secs
lola: 1067508 markings, 21131865 edges, 2043 markings/sec, 465 secs
lola: 1077498 markings, 21364693 edges, 1998 markings/sec, 470 secs
lola: 1087204 markings, 21599808 edges, 1941 markings/sec, 475 secs
lola: 1096948 markings, 21834764 edges, 1949 markings/sec, 480 secs
lola: 1106447 markings, 22073867 edges, 1900 markings/sec, 485 secs
lola: 1115371 markings, 22314214 edges, 1785 markings/sec, 490 secs
lola: 1126067 markings, 22542988 edges, 2139 markings/sec, 495 secs
lola: 1136184 markings, 22775521 edges, 2023 markings/sec, 500 secs
lola: 1145954 markings, 23010640 edges, 1954 markings/sec, 505 secs
lola: 1155795 markings, 23244328 edges, 1968 markings/sec, 510 secs
lola: 1165330 markings, 23482115 edges, 1907 markings/sec, 515 secs
lola: 1174805 markings, 23719787 edges, 1895 markings/sec, 520 secs
lola: 1184076 markings, 23957986 edges, 1854 markings/sec, 525 secs
lola: 1193916 markings, 24193521 edges, 1968 markings/sec, 530 secs
lola: 1203437 markings, 24431437 edges, 1904 markings/sec, 535 secs
lola: 1212484 markings, 24671661 edges, 1809 markings/sec, 540 secs
lola: 1221825 markings, 24910650 edges, 1868 markings/sec, 545 secs
lola: 1230784 markings, 25152036 edges, 1792 markings/sec, 550 secs
lola: 1239733 markings, 25394045 edges, 1790 markings/sec, 555 secs
lola: 1248857 markings, 25633413 edges, 1825 markings/sec, 560 secs
lola: 1261062 markings, 25852516 edges, 2441 markings/sec, 565 secs
lola: 1272651 markings, 26076042 edges, 2318 markings/sec, 570 secs
lola: 1283865 markings, 26302227 edges, 2243 markings/sec, 575 secs
lola: 1294970 markings, 26528852 edges, 2221 markings/sec, 580 secs
lola: 1305793 markings, 26758340 edges, 2165 markings/sec, 585 secs
lola: 1316458 markings, 26987302 edges, 2133 markings/sec, 590 secs
lola: 1327599 markings, 27213587 edges, 2228 markings/sec, 595 secs
lola: 1338386 markings, 27442553 edges, 2157 markings/sec, 600 secs
lola: 1348793 markings, 27673611 edges, 2081 markings/sec, 605 secs
lola: 1359252 markings, 27905311 edges, 2092 markings/sec, 610 secs
lola: 1369291 markings, 28139081 edges, 2008 markings/sec, 615 secs
lola: 1379104 markings, 28374934 edges, 1963 markings/sec, 620 secs
lola: 1390484 markings, 28598581 edges, 2276 markings/sec, 625 secs
lola: 1401335 markings, 28827623 edges, 2170 markings/sec, 630 secs
lola: 1411663 markings, 29061446 edges, 2066 markings/sec, 635 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown unknown unknown yes yes yes no yes no yes unknown no unknown unknown
lola: memory consumption: 751716 KB
lola: time consumption: 1640 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 643 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((p805 + 1 <= p2066))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p805 + 1 <= p2066))))
lola: processed formula length: 31
lola: 131 rewrites
lola: closed formula file LTLCardinality.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: 247 markings, 248 edges
lola: ========================================
lola: subprocess 14 will run for 965 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G ((p1509 <= p416)) OR F ((p140 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G ((p1509 <= p416)) OR F ((p140 <= 0))))
lola: processed formula length: 44
lola: 131 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 1930 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((F ((p715 <= p22)) OR ((p1158 <= p1585) OR (G (F ((1 <= p1393))) AND F ((p1158 <= p1585)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((F ((p715 <= p22)) OR ((p1158 <= p1585) OR (G (F ((1 <= p1393))) AND F ((p1158 <= p1585)))))))
lola: processed formula length: 100
lola: 131 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 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: ========================================
lola: ...considering subproblem: A (X (F ((G ((p1616 + 1 <= p813)) R ((p518 + 1 <= p431) OR F ((X ((p1616 + 1 <= p813)) OR F ((p1320 <= p1369)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((G ((p1616 + 1 <= p813)) R ((p518 + 1 <= p431) OR F ((X ((p1616 + 1 <= p813)) OR F ((p1320 <= p1369)))))))))
lola: processed formula length: 117
lola: 131 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 10 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 13238 markings, 320647 edges, 2648 markings/sec, 0 secs
lola: 25133 markings, 662683 edges, 2379 markings/sec, 5 secs
lola: 36573 markings, 1007361 edges, 2288 markings/sec, 10 secs
lola: 47873 markings, 1352560 edges, 2260 markings/sec, 15 secs
lola: 57536 markings, 1669501 edges, 1933 markings/sec, 20 secs
lola: 67811 markings, 2015202 edges, 2055 markings/sec, 25 secs
lola: 79430 markings, 2359798 edges, 2324 markings/sec, 30 secs
lola: 89990 markings, 2705171 edges, 2112 markings/sec, 35 secs
lola: 99927 markings, 3051121 edges, 1987 markings/sec, 40 secs
lola: 110310 markings, 3395727 edges, 2077 markings/sec, 45 secs
lola: 119942 markings, 3741966 edges, 1926 markings/sec, 50 secs
lola: 128952 markings, 4090436 edges, 1802 markings/sec, 55 secs
lola: 139981 markings, 4435276 edges, 2206 markings/sec, 60 secs
lola: 150987 markings, 4780719 edges, 2201 markings/sec, 65 secs
lola: 161112 markings, 5125750 edges, 2025 markings/sec, 70 secs
lola: 171403 markings, 5471581 edges, 2058 markings/sec, 75 secs
lola: 181077 markings, 5817419 edges, 1935 markings/sec, 80 secs
lola: 190571 markings, 6163324 edges, 1899 markings/sec, 85 secs
lola: 199891 markings, 6509910 edges, 1864 markings/sec, 90 secs
lola: 210063 markings, 6855275 edges, 2034 markings/sec, 95 secs
lola: 219645 markings, 7202162 edges, 1916 markings/sec, 100 secs
lola: 228473 markings, 7549952 edges, 1766 markings/sec, 105 secs
lola: 237759 markings, 7895295 edges, 1857 markings/sec, 110 secs
lola: 246523 markings, 8241900 edges, 1753 markings/sec, 115 secs
lola: 255168 markings, 8589746 edges, 1729 markings/sec, 120 secs
lola: 263463 markings, 8936685 edges, 1659 markings/sec, 125 secs
lola: 275246 markings, 9281526 edges, 2357 markings/sec, 130 secs
lola: 285912 markings, 9627165 edges, 2133 markings/sec, 135 secs
lola: 295649 markings, 9973662 edges, 1947 markings/sec, 140 secs
lola: 306289 markings, 10319378 edges, 2128 markings/sec, 145 secs
lola: 315881 markings, 10665711 edges, 1918 markings/sec, 150 secs
lola: 324959 markings, 11012484 edges, 1816 markings/sec, 155 secs
lola: 334932 markings, 11358651 edges, 1995 markings/sec, 160 secs
lola: 344549 markings, 11704909 edges, 1923 markings/sec, 165 secs
lola: 354164 markings, 12051609 edges, 1923 markings/sec, 170 secs
lola: 363123 markings, 12398640 edges, 1792 markings/sec, 175 secs
lola: 372377 markings, 12745466 edges, 1851 markings/sec, 180 secs
lola: 381020 markings, 13092578 edges, 1729 markings/sec, 185 secs
lola: 389289 markings, 13440029 edges, 1654 markings/sec, 190 secs
lola: 398620 markings, 13786582 edges, 1866 markings/sec, 195 secs
lola: 408491 markings, 14132483 edges, 1974 markings/sec, 200 secs
lola: 417909 markings, 14478141 edges, 1884 markings/sec, 205 secs
lola: 426714 markings, 14825166 edges, 1761 markings/sec, 210 secs
lola: 436239 markings, 15170706 edges, 1905 markings/sec, 215 secs
lola: 444931 markings, 15517251 edges, 1738 markings/sec, 220 secs
lola: 453350 markings, 15864052 edges, 1684 markings/sec, 225 secs
lola: 461799 markings, 16212693 edges, 1690 markings/sec, 230 secs
lola: 471011 markings, 16560696 edges, 1842 markings/sec, 235 secs
lola: 479729 markings, 16909347 edges, 1744 markings/sec, 240 secs
lola: 488020 markings, 17258421 edges, 1658 markings/sec, 245 secs
lola: 496380 markings, 17607554 edges, 1672 markings/sec, 250 secs
lola: 504647 markings, 17956758 edges, 1653 markings/sec, 255 secs
lola: 512578 markings, 18306208 edges, 1586 markings/sec, 260 secs
lola: 520165 markings, 18655987 edges, 1517 markings/sec, 265 secs
lola: 529539 markings, 19004292 edges, 1875 markings/sec, 270 secs
lola: 540539 markings, 19350905 edges, 2200 markings/sec, 275 secs
lola: 551293 markings, 19697937 edges, 2151 markings/sec, 280 secs
lola: 561374 markings, 20045573 edges, 2016 markings/sec, 285 secs
lola: 571507 markings, 20393141 edges, 2027 markings/sec, 290 secs
lola: 581070 markings, 20740739 edges, 1913 markings/sec, 295 secs
lola: 589780 markings, 21089079 edges, 1742 markings/sec, 300 secs
lola: 600490 markings, 21436063 edges, 2142 markings/sec, 305 secs
lola: 610168 markings, 21783831 edges, 1936 markings/sec, 310 secs
lola: 619328 markings, 22131919 edges, 1832 markings/sec, 315 secs
lola: 628601 markings, 22480210 edges, 1855 markings/sec, 320 secs
lola: 637522 markings, 22828875 edges, 1784 markings/sec, 325 secs
lola: 646204 markings, 23177485 edges, 1736 markings/sec, 330 secs
lola: 654267 markings, 23526989 edges, 1613 markings/sec, 335 secs
lola: 664461 markings, 23874307 edges, 2039 markings/sec, 340 secs
lola: 674235 markings, 24221879 edges, 1955 markings/sec, 345 secs
lola: 683556 markings, 24569826 edges, 1864 markings/sec, 350 secs
lola: 692662 markings, 24918037 edges, 1821 markings/sec, 355 secs
lola: 701781 markings, 25266181 edges, 1824 markings/sec, 360 secs
lola: 710481 markings, 25614629 edges, 1740 markings/sec, 365 secs
lola: 718635 markings, 25963604 edges, 1631 markings/sec, 370 secs
lola: 727713 markings, 26312027 edges, 1816 markings/sec, 375 secs
lola: 736530 markings, 26660656 edges, 1763 markings/sec, 380 secs
lola: 745188 markings, 27009164 edges, 1732 markings/sec, 385 secs
lola: 753200 markings, 27358306 edges, 1602 markings/sec, 390 secs
lola: 761784 markings, 27706801 edges, 1717 markings/sec, 395 secs
lola: 769765 markings, 28055814 edges, 1596 markings/sec, 400 secs
lola: 777743 markings, 28405266 edges, 1596 markings/sec, 405 secs
lola: 785152 markings, 28755318 edges, 1482 markings/sec, 410 secs
lola: 795049 markings, 29102940 edges, 1979 markings/sec, 415 secs
lola: 804889 markings, 29450564 edges, 1968 markings/sec, 420 secs
lola: 814266 markings, 29798559 edges, 1875 markings/sec, 425 secs
lola: 823336 markings, 30146720 edges, 1814 markings/sec, 430 secs
lola: 832500 markings, 30494900 edges, 1833 markings/sec, 435 secs
lola: 841206 markings, 30843134 edges, 1741 markings/sec, 440 secs
lola: 849387 markings, 31191997 edges, 1636 markings/sec, 445 secs
lola: 858377 markings, 31540364 edges, 1798 markings/sec, 450 secs
lola: 867273 markings, 31888766 edges, 1779 markings/sec, 455 secs
lola: 875943 markings, 32237489 edges, 1734 markings/sec, 460 secs
lola: 883963 markings, 32586802 edges, 1604 markings/sec, 465 secs
lola: 892546 markings, 32935340 edges, 1717 markings/sec, 470 secs
lola: 900553 markings, 33284413 edges, 1601 markings/sec, 475 secs
lola: 908497 markings, 33633403 edges, 1589 markings/sec, 480 secs
lola: 915920 markings, 33983122 edges, 1485 markings/sec, 485 secs
lola: 924898 markings, 34330619 edges, 1796 markings/sec, 490 secs
lola: 933634 markings, 34678074 edges, 1747 markings/sec, 495 secs
lola: 942250 markings, 35026006 edges, 1723 markings/sec, 500 secs
lola: 950221 markings, 35374519 edges, 1594 markings/sec, 505 secs
lola: 958852 markings, 35722385 edges, 1726 markings/sec, 510 secs
lola: 966765 markings, 36071031 edges, 1583 markings/sec, 515 secs
lola: 974710 markings, 36418594 edges, 1589 markings/sec, 520 secs
lola: 982066 markings, 36766201 edges, 1471 markings/sec, 525 secs
lola: 990461 markings, 37112857 edges, 1679 markings/sec, 530 secs
lola: 998464 markings, 37459815 edges, 1601 markings/sec, 535 secs
lola: 1006373 markings, 37806943 edges, 1582 markings/sec, 540 secs
lola: 1013766 markings, 38154550 edges, 1479 markings/sec, 545 secs
lola: 1021487 markings, 38502126 edges, 1544 markings/sec, 550 secs
lola: 1028954 markings, 38849720 edges, 1493 markings/sec, 555 secs
lola: 1036191 markings, 39197787 edges, 1447 markings/sec, 560 secs
lola: 1043234 markings, 39545844 edges, 1409 markings/sec, 565 secs
lola: 1050809 markings, 39893553 edges, 1515 markings/sec, 570 secs
lola: 1062401 markings, 40237436 edges, 2318 markings/sec, 575 secs
lola: 1072945 markings, 40581769 edges, 2109 markings/sec, 580 secs
lola: 1082803 markings, 40926293 edges, 1972 markings/sec, 585 secs
lola: 1093206 markings, 41269746 edges, 2081 markings/sec, 590 secs
lola: 1102761 markings, 41613710 edges, 1911 markings/sec, 595 secs
lola: 1111715 markings, 41958567 edges, 1791 markings/sec, 600 secs
lola: 1121671 markings, 42302658 edges, 1991 markings/sec, 605 secs
lola: 1131276 markings, 42646609 edges, 1921 markings/sec, 610 secs
lola: 1140777 markings, 42991797 edges, 1900 markings/sec, 615 secs
lola: 1149781 markings, 43339313 edges, 1801 markings/sec, 620 secs
lola: 1158963 markings, 43684910 edges, 1836 markings/sec, 625 secs
lola: 1167545 markings, 44029903 edges, 1716 markings/sec, 630 secs
lola: 1175779 markings, 44376188 edges, 1647 markings/sec, 635 secs
lola: 1185143 markings, 44722271 edges, 1873 markings/sec, 640 secs
lola: 1194939 markings, 45066106 edges, 1959 markings/sec, 645 secs
lola: 1204347 markings, 45411433 edges, 1882 markings/sec, 650 secs
lola: 1213094 markings, 45756436 edges, 1749 markings/sec, 655 secs
lola: 1222597 markings, 46100747 edges, 1901 markings/sec, 660 secs
lola: 1231267 markings, 46446807 edges, 1734 markings/sec, 665 secs
lola: 1239658 markings, 46791563 edges, 1678 markings/sec, 670 secs
lola: 1247979 markings, 47137131 edges, 1664 markings/sec, 675 secs
lola: 1257180 markings, 47482583 edges, 1840 markings/sec, 680 secs
lola: 1265803 markings, 47828814 edges, 1725 markings/sec, 685 secs
lola: 1274066 markings, 48176308 edges, 1653 markings/sec, 690 secs
lola: 1282283 markings, 48521598 edges, 1643 markings/sec, 695 secs
lola: 1290525 markings, 48867340 edges, 1648 markings/sec, 700 secs
lola: 1298445 markings, 49214913 edges, 1584 markings/sec, 705 secs
lola: 1306054 markings, 49561764 edges, 1522 markings/sec, 710 secs
lola: 1314465 markings, 49909315 edges, 1682 markings/sec, 715 secs
lola: 1324587 markings, 50254829 edges, 2024 markings/sec, 720 secs
lola: 1334096 markings, 50599735 edges, 1902 markings/sec, 725 secs
lola: 1342911 markings, 50949027 edges, 1763 markings/sec, 730 secs
lola: 1352412 markings, 51298066 edges, 1900 markings/sec, 735 secs
lola: 1361227 markings, 51647752 edges, 1763 markings/sec, 740 secs
lola: 1369839 markings, 51997201 edges, 1722 markings/sec, 745 secs
lola: 1378090 markings, 52347059 edges, 1650 markings/sec, 750 secs
lola: 1387518 markings, 52695569 edges, 1886 markings/sec, 755 secs
lola: 1396242 markings, 53044516 edges, 1745 markings/sec, 760 secs
lola: 1404622 markings, 53394437 edges, 1676 markings/sec, 765 secs
lola: 1412904 markings, 53744317 edges, 1656 markings/sec, 770 secs
lola: 1421257 markings, 54094123 edges, 1671 markings/sec, 775 secs
lola: 1429219 markings, 54444154 edges, 1592 markings/sec, 780 secs
lola: 1436901 markings, 54794493 edges, 1536 markings/sec, 785 secs
lola: 1444949 markings, 55144938 edges, 1610 markings/sec, 790 secs
lola: 1454164 markings, 55494017 edges, 1843 markings/sec, 795 secs
lola: 1462914 markings, 55843004 edges, 1750 markings/sec, 800 secs
lola: 1471199 markings, 56192894 edges, 1657 markings/sec, 805 secs
lola: 1479589 markings, 56542259 edges, 1678 markings/sec, 810 secs
lola: 1487833 markings, 56891535 edges, 1649 markings/sec, 815 secs
lola: 1495769 markings, 57241198 edges, 1587 markings/sec, 820 secs
lola: 1503331 markings, 57590963 edges, 1512 markings/sec, 825 secs
lola: 1511259 markings, 57940717 edges, 1586 markings/sec, 830 secs
lola: 1519598 markings, 58290257 edges, 1668 markings/sec, 835 secs
lola: 1527557 markings, 58639854 edges, 1592 markings/sec, 840 secs
lola: 1535253 markings, 58990753 edges, 1539 markings/sec, 845 secs
lola: 1542750 markings, 59341202 edges, 1499 markings/sec, 850 secs
lola: 1550501 markings, 59691878 edges, 1550 markings/sec, 855 secs
lola: 1557760 markings, 60042412 edges, 1452 markings/sec, 860 secs
lola: 1564935 markings, 60392910 edges, 1435 markings/sec, 865 secs
lola: 1571819 markings, 60743760 edges, 1377 markings/sec, 870 secs
lola: 1581742 markings, 61092118 edges, 1985 markings/sec, 875 secs
lola: 1591517 markings, 61439766 edges, 1955 markings/sec, 880 secs
lola: 1600927 markings, 61788955 edges, 1882 markings/sec, 885 secs
lola: 1610004 markings, 62137641 edges, 1815 markings/sec, 890 secs
lola: 1619166 markings, 62486344 edges, 1832 markings/sec, 895 secs
lola: 1627892 markings, 62835378 edges, 1745 markings/sec, 900 secs
lola: 1636068 markings, 63185057 edges, 1635 markings/sec, 905 secs
lola: 1645143 markings, 63533644 edges, 1815 markings/sec, 910 secs
lola: 1653979 markings, 63882903 edges, 1767 markings/sec, 915 secs
lola: 1662654 markings, 64231675 edges, 1735 markings/sec, 920 secs
lola: 1670680 markings, 64581595 edges, 1605 markings/sec, 925 secs
lola: 1679281 markings, 64930958 edges, 1720 markings/sec, 930 secs
lola: 1687272 markings, 65280401 edges, 1598 markings/sec, 935 secs
lola: 1695261 markings, 65630399 edges, 1598 markings/sec, 940 secs
lola: 1702673 markings, 65980594 edges, 1482 markings/sec, 945 secs
lola: 1711768 markings, 66329295 edges, 1819 markings/sec, 950 secs
lola: 1720451 markings, 66677857 edges, 1737 markings/sec, 955 secs
lola: 1729199 markings, 67026853 edges, 1750 markings/sec, 960 secs
lola: 1737122 markings, 67376549 edges, 1585 markings/sec, 965 secs
lola: 1745867 markings, 67725895 edges, 1749 markings/sec, 970 secs
lola: 1753786 markings, 68075872 edges, 1584 markings/sec, 975 secs
lola: 1761675 markings, 68425805 edges, 1578 markings/sec, 980 secs
lola: 1769028 markings, 68775400 edges, 1471 markings/sec, 985 secs
lola: 1777553 markings, 69123702 edges, 1705 markings/sec, 990 secs
lola: 1785531 markings, 69472208 edges, 1596 markings/sec, 995 secs
lola: 1793486 markings, 69820974 edges, 1591 markings/sec, 1000 secs
lola: 1800882 markings, 70170129 edges, 1479 markings/sec, 1005 secs
lola: 1808667 markings, 70518992 edges, 1557 markings/sec, 1010 secs
lola: 1816165 markings, 70868744 edges, 1500 markings/sec, 1015 secs
lola: 1823453 markings, 71218990 edges, 1458 markings/sec, 1020 secs
lola: 1830480 markings, 71569547 edges, 1405 markings/sec, 1025 secs
lola: 1838088 markings, 71919354 edges, 1522 markings/sec, 1030 secs
lola: 1847272 markings, 72266579 edges, 1837 markings/sec, 1035 secs
lola: 1855955 markings, 72613841 edges, 1737 markings/sec, 1040 secs
lola: 1864235 markings, 72962380 edges, 1656 markings/sec, 1045 secs
lola: 1872604 markings, 73311995 edges, 1674 markings/sec, 1050 secs
lola: 1880882 markings, 73661489 edges, 1656 markings/sec, 1055 secs
lola: 1888809 markings, 74010875 edges, 1585 markings/sec, 1060 secs
lola: 1896410 markings, 74360965 edges, 1520 markings/sec, 1065 secs
lola: 1904300 markings, 74710662 edges, 1578 markings/sec, 1070 secs
lola: 1912651 markings, 75059690 edges, 1670 markings/sec, 1075 secs
lola: 1920584 markings, 75408230 edges, 1587 markings/sec, 1080 secs
lola: 1928241 markings, 75756712 edges, 1531 markings/sec, 1085 secs
lola: 1935633 markings, 76105337 edges, 1478 markings/sec, 1090 secs
lola: 1943412 markings, 76454236 edges, 1556 markings/sec, 1095 secs
lola: 1950638 markings, 76804332 edges, 1445 markings/sec, 1100 secs
lola: 1957848 markings, 77153319 edges, 1442 markings/sec, 1105 secs
lola: 1964700 markings, 77502655 edges, 1370 markings/sec, 1110 secs
lola: 1972919 markings, 77850696 edges, 1644 markings/sec, 1115 secs
lola: 1980982 markings, 78198847 edges, 1613 markings/sec, 1120 secs
lola: 1988893 markings, 78547228 edges, 1582 markings/sec, 1125 secs
lola: 1996375 markings, 78896143 edges, 1496 markings/sec, 1130 secs
lola: 2004055 markings, 79244863 edges, 1536 markings/sec, 1135 secs
lola: 2011570 markings, 79593903 edges, 1503 markings/sec, 1140 secs
lola: 2018868 markings, 79942986 edges, 1460 markings/sec, 1145 secs
lola: 2025932 markings, 80292340 edges, 1413 markings/sec, 1150 secs
lola: 2032729 markings, 80642237 edges, 1359 markings/sec, 1155 secs
lola: 2040557 markings, 80990738 edges, 1566 markings/sec, 1160 secs
lola: 2047822 markings, 81339945 edges, 1453 markings/sec, 1165 secs
lola: 2055175 markings, 81689000 edges, 1471 markings/sec, 1170 secs
lola: 2062044 markings, 82038545 edges, 1374 markings/sec, 1175 secs
lola: 2069109 markings, 82387884 edges, 1413 markings/sec, 1180 secs
lola: 2076114 markings, 82736893 edges, 1401 markings/sec, 1185 secs
lola: 2082795 markings, 83086408 edges, 1336 markings/sec, 1190 secs
lola: 2089369 markings, 83435619 edges, 1315 markings/sec, 1195 secs
lola: 2095730 markings, 83785256 edges, 1272 markings/sec, 1200 secs
lola: 2106210 markings, 84130794 edges, 2096 markings/sec, 1205 secs
lola: 2117178 markings, 84476028 edges, 2194 markings/sec, 1210 secs
lola: 2127354 markings, 84823319 edges, 2035 markings/sec, 1215 secs
lola: 2137659 markings, 85169656 edges, 2061 markings/sec, 1220 secs
lola: 2147375 markings, 85516074 edges, 1943 markings/sec, 1225 secs
lola: 2156826 markings, 85862035 edges, 1890 markings/sec, 1230 secs
lola: 2166197 markings, 86208460 edges, 1874 markings/sec, 1235 secs
lola: 2176344 markings, 86554268 edges, 2029 markings/sec, 1240 secs
lola: 2185907 markings, 86900759 edges, 1913 markings/sec, 1245 secs
lola: 2194690 markings, 87248061 edges, 1757 markings/sec, 1250 secs
lola: 2204075 markings, 87594723 edges, 1877 markings/sec, 1255 secs
lola: 2212844 markings, 87942028 edges, 1754 markings/sec, 1260 secs
lola: 2221452 markings, 88289345 edges, 1722 markings/sec, 1265 secs
lola: 2229702 markings, 88637060 edges, 1650 markings/sec, 1270 secs
lola: 2240152 markings, 88982506 edges, 2090 markings/sec, 1275 secs
lola: 2249770 markings, 89328593 edges, 1924 markings/sec, 1280 secs
lola: 2258751 markings, 89675312 edges, 1796 markings/sec, 1285 secs
lola: 2268044 markings, 90021954 edges, 1859 markings/sec, 1290 secs
lola: 2276805 markings, 90369216 edges, 1752 markings/sec, 1295 secs
lola: 2285426 markings, 90716399 edges, 1724 markings/sec, 1300 secs
lola: 2293396 markings, 91064266 edges, 1594 markings/sec, 1305 secs
lola: 2302824 markings, 91410678 edges, 1886 markings/sec, 1310 secs
lola: 2311563 markings, 91757942 edges, 1748 markings/sec, 1315 secs
lola: 2320124 markings, 92105718 edges, 1712 markings/sec, 1320 secs
lola: 2328152 markings, 92453486 edges, 1606 markings/sec, 1325 secs
lola: 2336679 markings, 92800943 edges, 1705 markings/sec, 1330 secs
lola: 2344576 markings, 93148905 edges, 1579 markings/sec, 1335 secs
lola: 2352341 markings, 93496710 edges, 1553 markings/sec, 1340 secs
lola: 2359483 markings, 93845187 edges, 1428 markings/sec, 1345 secs
lola: 2370231 markings, 94189936 edges, 2150 markings/sec, 1350 secs
lola: 2379823 markings, 94536073 edges, 1918 markings/sec, 1355 secs
lola: 2388954 markings, 94882990 edges, 1826 markings/sec, 1360 secs
lola: 2398178 markings, 95229446 edges, 1845 markings/sec, 1365 secs
lola: 2407055 markings, 95576409 edges, 1775 markings/sec, 1370 secs
lola: 2415705 markings, 95923831 edges, 1730 markings/sec, 1375 secs
lola: 2423734 markings, 96271751 edges, 1606 markings/sec, 1380 secs
lola: 2432936 markings, 96618453 edges, 1840 markings/sec, 1385 secs
lola: 2441622 markings, 96965667 edges, 1737 markings/sec, 1390 secs
lola: 2450322 markings, 97313049 edges, 1740 markings/sec, 1395 secs
lola: 2458232 markings, 97661182 edges, 1582 markings/sec, 1400 secs
lola: 2466890 markings, 98008619 edges, 1732 markings/sec, 1405 secs
lola: 2474798 markings, 98357880 edges, 1582 markings/sec, 1410 secs
lola: 2482573 markings, 98703506 edges, 1555 markings/sec, 1415 secs
lola: 2489866 markings, 99049998 edges, 1459 markings/sec, 1420 secs
lola: 2499080 markings, 99394177 edges, 1843 markings/sec, 1425 secs
lola: 2507810 markings, 99740321 edges, 1746 markings/sec, 1430 secs
lola: 2516354 markings, 100085464 edges, 1709 markings/sec, 1435 secs
lola: 2524309 markings, 100432781 edges, 1591 markings/sec, 1440 secs
lola: 2532844 markings, 100777945 edges, 1707 markings/sec, 1445 secs
lola: 2540693 markings, 101124726 edges, 1570 markings/sec, 1450 secs
lola: 2548492 markings, 101471842 edges, 1560 markings/sec, 1455 secs
lola: 2555690 markings, 101817989 edges, 1440 markings/sec, 1460 secs
lola: 2564190 markings, 102163817 edges, 1700 markings/sec, 1465 secs
lola: 2572118 markings, 102510033 edges, 1586 markings/sec, 1470 secs
lola: 2580058 markings, 102857899 edges, 1588 markings/sec, 1475 secs
lola: 2587378 markings, 103203629 edges, 1464 markings/sec, 1480 secs
lola: 2595194 markings, 103553074 edges, 1563 markings/sec, 1485 secs
lola: 2602616 markings, 103899765 edges, 1484 markings/sec, 1490 secs
lola: 2609834 markings, 104246645 edges, 1444 markings/sec, 1495 secs
lola: 2616794 markings, 104593574 edges, 1392 markings/sec, 1500 secs
lola: 2624576 markings, 104939846 edges, 1556 markings/sec, 1505 secs
lola: 2634723 markings, 105284126 edges, 2029 markings/sec, 1510 secs
lola: 2644272 markings, 105630069 edges, 1910 markings/sec, 1515 secs
lola: 2653064 markings, 105974340 edges, 1758 markings/sec, 1520 secs
lola: 2662332 markings, 106318592 edges, 1854 markings/sec, 1525 secs
lola: 2670921 markings, 106662697 edges, 1718 markings/sec, 1530 secs
lola: 2679588 markings, 107008244 edges, 1733 markings/sec, 1535 secs
lola: 2687431 markings, 107353800 edges, 1569 markings/sec, 1540 secs
lola: 2696987 markings, 107698111 edges, 1911 markings/sec, 1545 secs
lola: 2705616 markings, 108043445 edges, 1726 markings/sec, 1550 secs
lola: 2714045 markings, 108388324 edges, 1686 markings/sec, 1555 secs
lola: 2722059 markings, 108733673 edges, 1603 markings/sec, 1560 secs
lola: 2730493 markings, 109079073 edges, 1687 markings/sec, 1565 secs
lola: 2738314 markings, 109424436 edges, 1564 markings/sec, 1570 secs
lola: 2746052 markings, 109771337 edges, 1548 markings/sec, 1575 secs
lola: 2753435 markings, 110120116 edges, 1477 markings/sec, 1580 secs
lola: 2762864 markings, 110464091 edges, 1886 markings/sec, 1585 secs
lola: 2771528 markings, 110809134 edges, 1733 markings/sec, 1590 secs
lola: 2779918 markings, 111154862 edges, 1678 markings/sec, 1595 secs
lola: 2788020 markings, 111501438 edges, 1620 markings/sec, 1600 secs
lola: 2796430 markings, 111848254 edges, 1682 markings/sec, 1605 secs
lola: 2804293 markings, 112194908 edges, 1573 markings/sec, 1610 secs
lola: 2811958 markings, 112541061 edges, 1533 markings/sec, 1615 secs
lola: 2819289 markings, 112887438 edges, 1466 markings/sec, 1620 secs
lola: 2827848 markings, 113233347 edges, 1712 markings/sec, 1625 secs
lola: 2835667 markings, 113579348 edges, 1564 markings/sec, 1630 secs
lola: 2843430 markings, 113924761 edges, 1553 markings/sec, 1635 secs
lola: 2850668 markings, 114273413 edges, 1448 markings/sec, 1640 secs
lola: 2858551 markings, 114619858 edges, 1577 markings/sec, 1645 secs
lola: 2865887 markings, 114966443 edges, 1467 markings/sec, 1650 secs
lola: 2873165 markings, 115313708 edges, 1456 markings/sec, 1655 secs
lola: 2880020 markings, 115660616 edges, 1371 markings/sec, 1660 secs
lola: 2887888 markings, 116006073 edges, 1574 markings/sec, 1665 secs
lola: 2896958 markings, 116349984 edges, 1814 markings/sec, 1670 secs
lola: 2905569 markings, 116694508 edges, 1722 markings/sec, 1675 secs
lola: 2913674 markings, 117039808 edges, 1621 markings/sec, 1680 secs
lola: 2922016 markings, 117385060 edges, 1668 markings/sec, 1685 secs
lola: 2930140 markings, 117731592 edges, 1625 markings/sec, 1690 secs
lola: 2938040 markings, 118079472 edges, 1580 markings/sec, 1695 secs
lola: 2945495 markings, 118425631 edges, 1491 markings/sec, 1700 secs
lola: 2953378 markings, 118772686 edges, 1577 markings/sec, 1705 secs
lola: 2961632 markings, 119119839 edges, 1651 markings/sec, 1710 secs
lola: 2969524 markings, 119465250 edges, 1578 markings/sec, 1715 secs
lola: 2977100 markings, 119810620 edges, 1515 markings/sec, 1720 secs
lola: 2984521 markings, 120157712 edges, 1484 markings/sec, 1725 secs
lola: 2992178 markings, 120503498 edges, 1531 markings/sec, 1730 secs
lola: 2999334 markings, 120849810 edges, 1431 markings/sec, 1735 secs
lola: 3006498 markings, 121197569 edges, 1433 markings/sec, 1740 secs
lola: 3013333 markings, 121546092 edges, 1367 markings/sec, 1745 secs
lola: 3021551 markings, 121893450 edges, 1644 markings/sec, 1750 secs
lola: 3029531 markings, 122237871 edges, 1596 markings/sec, 1755 secs
lola: 3037389 markings, 122583961 edges, 1572 markings/sec, 1760 secs
lola: 3044819 markings, 122930001 edges, 1486 markings/sec, 1765 secs
lola: 3052424 markings, 123275900 edges, 1521 markings/sec, 1770 secs
lola: 3059920 markings, 123624502 edges, 1499 markings/sec, 1775 secs
lola: 3067218 markings, 123972428 edges, 1460 markings/sec, 1780 secs
lola: 3074272 markings, 124321786 edges, 1411 markings/sec, 1785 secs
lola: 3080963 markings, 124669065 edges, 1338 markings/sec, 1790 secs
lola: 3088736 markings, 125014522 edges, 1555 markings/sec, 1795 secs
lola: 3096072 markings, 125362630 edges, 1467 markings/sec, 1800 secs
lola: 3103386 markings, 125710680 edges, 1463 markings/sec, 1805 secs
lola: 3110226 markings, 126057793 edges, 1368 markings/sec, 1810 secs
lola: 3117196 markings, 126405919 edges, 1394 markings/sec, 1815 secs
lola: 3124264 markings, 126754906 edges, 1414 markings/sec, 1820 secs
lola: 3130918 markings, 127103732 edges, 1331 markings/sec, 1825 secs
lola: 3137501 markings, 127451505 edges, 1317 markings/sec, 1830 secs
lola: 3143839 markings, 127799190 edges, 1268 markings/sec, 1835 secs
lola: 3152988 markings, 128144145 edges, 1830 markings/sec, 1840 secs
lola: 3162571 markings, 128489283 edges, 1917 markings/sec, 1845 secs
lola: 3172154 markings, 128834581 edges, 1917 markings/sec, 1850 secs
lola: 3181078 markings, 129180699 edges, 1785 markings/sec, 1855 secs
lola: 3190319 markings, 129526184 edges, 1848 markings/sec, 1860 secs
lola: 3198920 markings, 129871205 edges, 1720 markings/sec, 1865 secs
lola: 3207165 markings, 130216688 edges, 1649 markings/sec, 1870 secs
lola: 3215909 markings, 130565653 edges, 1749 markings/sec, 1875 secs
lola: 3224975 markings, 130912437 edges, 1813 markings/sec, 1880 secs
lola: 3233614 markings, 131258541 edges, 1728 markings/sec, 1885 secs
lola: 3241697 markings, 131604490 edges, 1617 markings/sec, 1890 secs
lola: 3250082 markings, 131950286 edges, 1677 markings/sec, 1895 secs
lola: 3258162 markings, 132296049 edges, 1616 markings/sec, 1900 secs
lola: 3266030 markings, 132641853 edges, 1574 markings/sec, 1905 secs
lola: 3273500 markings, 132989390 edges, 1494 markings/sec, 1910 secs
lola: 3281958 markings, 133335874 edges, 1692 markings/sec, 1915 secs
lola: 3290889 markings, 133680619 edges, 1786 markings/sec, 1920 secs
lola: time limit reached - aborting
lola: lola:
preliminary result: yes yes yes unknown unknown yes yes yes no yes no yes no no unknown yes caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: yes yes yes unknown unknown yes yes yes no yes no yes no no unknown yes
preliminary result: yes yes yes unknown unknown yes yes yes no yes no yes no no unknown yes
lola: memory consumption: 820180 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes yes unknown unknown yes yes yes no yes no yes no no unknown yes
lola: memory consumption: 820180 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
rslt: finished
BK_STOP 1589326820507
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AutoFlight-PT-96a"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="win2019"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool win2019"
echo " Input is AutoFlight-PT-96a, examination is LTLCardinality"
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-158897552800129"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-96a.tgz
mv AutoFlight-PT-96a execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;