About the Execution of 2019-Gold for AutoFlight-PT-24b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10354.760 | 3570160.00 | 3620824.00 | 10579.20 | FFFFFFF?FTF??FF? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r015-smll-158897552800123.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-24b, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r015-smll-158897552800123
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 716K
-rw-r--r-- 1 mcc users 3.8K Mar 25 23:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 25 23:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 18:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 18:43 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 1.9K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 25 15:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 25 15:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 10:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 10:52 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 538K 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-24b-00
FORMULA_NAME AutoFlight-PT-24b-01
FORMULA_NAME AutoFlight-PT-24b-02
FORMULA_NAME AutoFlight-PT-24b-03
FORMULA_NAME AutoFlight-PT-24b-04
FORMULA_NAME AutoFlight-PT-24b-05
FORMULA_NAME AutoFlight-PT-24b-06
FORMULA_NAME AutoFlight-PT-24b-07
FORMULA_NAME AutoFlight-PT-24b-08
FORMULA_NAME AutoFlight-PT-24b-09
FORMULA_NAME AutoFlight-PT-24b-10
FORMULA_NAME AutoFlight-PT-24b-11
FORMULA_NAME AutoFlight-PT-24b-12
FORMULA_NAME AutoFlight-PT-24b-13
FORMULA_NAME AutoFlight-PT-24b-14
FORMULA_NAME AutoFlight-PT-24b-15
=== Now, execution of the tool begins
BK_START 1589312481645
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ AutoFlight-PT-24b @ 3570 seconds
FORMULA AutoFlight-PT-24b-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-24b-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-24b-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-24b-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-24b-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-24b-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-24b-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-24b-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-24b-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-24b-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-24b-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-24b-13 FALSE 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-24b
{
"exit":
{
"memory": 1943788,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 3,
"aconj": 1,
"adisj": 0,
"aneg": 2,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "A (X (X (G ((((p1049 + 1 <= p1838) OR (p558 + 1 <= p346)) OR X ((p893 <= 0)))))))",
"processed_size": 82,
"rewrites": 148
},
"result":
{
"preliminary_value": "no no no no no no no unknown no yes no unknown unknown no no unknown "
},
"task":
{
"buchi":
{
"states": 5
},
"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: 4458/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2230
lola: finding significant places
lola: 2230 places, 2228 transitions, 2082 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 <= p1144)
lola: LP says that atomic proposition is always false: (3 <= p1144)
lola: LP says that atomic proposition is always false: (3 <= p1925)
lola: LP says that atomic proposition is always false: (2 <= p378)
lola: LP says that atomic proposition is always false: (2 <= p690)
lola: LP says that atomic proposition is always false: (3 <= p598)
lola: LP says that atomic proposition is always false: (2 <= p80)
lola: LP says that atomic proposition is always false: (2 <= p1023)
lola: LP says that atomic proposition is always false: (3 <= p995)
lola: LP says that atomic proposition is always false: (3 <= p89)
lola: LP says that atomic proposition is always false: (2 <= p217)
lola: LP says that atomic proposition is always false: (2 <= p217)
lola: LP says that atomic proposition is always false: (3 <= p1594)
lola: LP says that atomic proposition is always false: (2 <= p446)
lola: LP says that atomic proposition is always false: (2 <= p1450)
lola: A (((3 <= p1144) OR NOT(X (X ((((3 <= p1144) OR ((p606 <= p1341) U (3 <= p1925))) OR NOT(F ((p1247 + 1 <= p1680))))))))) : A (NOT((G ((2 <= p378)) U (p1636 <= p786)))) : A (G (X (F (X (G (X (((2 <= p690) AND F ((3 <= p598)))))))))) : A ((G (((2 <= p80) OR X (NOT(F ((p1447 <= p922)))))) U G ((F (X ((p922 + 1 <= p1447))) U (p1447 <= p922))))) : A (NOT((X (F ((p1300 <= p2006))) AND NOT(X (G (F ((G ((1 <= p1416)) AND X (X ((p1803 <= p905))))))))))) : A (NOT(G (NOT(G ((2 <= p1023)))))) : A (X (X (NOT((G (((p2141 <= p1940) U X ((p459 <= p428)))) U (p377 <= p1285)))))) : A (X (G (NOT(X ((((p1838 <= p1049) AND (p346 <= p558)) AND X ((1 <= p893)))))))) : A ((G ((p1823 + 1 <= p407)) U X (X (G (((p1823 + 1 <= p407))))))) : A ((X (X (G (((p28 <= p1252) U NOT(F ((p466 <= p1396))))))) U F ((p466 <= p1396)))) : A ((NOT(G (X ((p116 <= p1470)))) U F ((3 <= p995)))) : A (((p34 <= p988) AND NOT(F ((G ((F (G ((p1632 <= p258))) U X ((3 <= p89)))) U F ((p1208 <= p976))))))) : A (F (((2 <= p217) U F (NOT(F ((() OR F ((p1121 + 1 <= p1822))))))))) : A (G (NOT((((p1904 <= p369) AND G ((p1904 <= p369))) AND G ((((p2046 <= p1908)) OR G ((2 <= p446)))))))) : A ((G ((2 <= p1450)) AND F (X ((p1478 + 1 <= p169))))) : A (X (NOT(X (G ((p1465 <= p1492))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:122
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:300
lola: rewrite Frontend/Parser/formula_rewrite.k:122
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:122
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:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
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:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:180
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:428
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:347
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:251
lola: rewrite Frontend/Parser/formula_rewrite.k:522
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:151
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: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p786 + 1 <= p1636)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p786 + 1 <= p1636)
lola: processed formula length: 19
lola: 148 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 235 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: 148 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 2 will run for 252 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: 148 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 3 will run for 271 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: 148 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 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: 148 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 321 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F ((p1247 + 1 <= p1680)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F ((p1247 + 1 <= p1680)))))
lola: processed formula length: 36
lola: 148 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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1894 markings, 1894 edges
lola: ========================================
lola: subprocess 6 will run for 353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (((p1285 + 1 <= p377) AND (F ((G ((p428 + 1 <= p459)) OR ((p1940 + 1 <= p2141) AND X ((p428 + 1 <= p459))))) OR G ((p1285 + 1 <= p377)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (((p1285 + 1 <= p377) AND (F ((G ((p428 + 1 <= p459)) OR ((p1940 + 1 <= p2141) AND X ((p428 + 1 <= p459))))) OR G ((p1285 + 1 <= p377)))))))
lola: processed formula length: 148
lola: 148 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: 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: 1057 markings, 1057 edges
lola: ========================================
lola: subprocess 7 will run for 392 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G ((((p1049 + 1 <= p1838) OR (p558 + 1 <= p346)) OR X ((p893 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G ((((p1049 + 1 <= p1838) OR (p558 + 1 <= p346)) OR X ((p893 <= 0)))))))
lola: processed formula length: 82
lola: 148 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: 47499 markings, 223639 edges, 9500 markings/sec, 0 secs
lola: 87011 markings, 447417 edges, 7902 markings/sec, 5 secs
lola: 127605 markings, 671446 edges, 8119 markings/sec, 10 secs
lola: 167030 markings, 895926 edges, 7885 markings/sec, 15 secs
lola: 205345 markings, 1119653 edges, 7663 markings/sec, 20 secs
lola: 242121 markings, 1343693 edges, 7355 markings/sec, 25 secs
lola: 282521 markings, 1566537 edges, 8080 markings/sec, 30 secs
lola: 322145 markings, 1789863 edges, 7925 markings/sec, 35 secs
lola: 356641 markings, 2013743 edges, 6899 markings/sec, 40 secs
lola: 391127 markings, 2238579 edges, 6897 markings/sec, 45 secs
lola: 425351 markings, 2462699 edges, 6845 markings/sec, 50 secs
lola: 458719 markings, 2686895 edges, 6674 markings/sec, 55 secs
lola: 492339 markings, 2911431 edges, 6724 markings/sec, 60 secs
lola: 522791 markings, 3135057 edges, 6090 markings/sec, 65 secs
lola: 557051 markings, 3358782 edges, 6852 markings/sec, 70 secs
lola: 590827 markings, 3583334 edges, 6755 markings/sec, 75 secs
lola: 628585 markings, 3807115 edges, 7552 markings/sec, 80 secs
lola: 662943 markings, 4031520 edges, 6872 markings/sec, 85 secs
lola: 697271 markings, 4257319 edges, 6866 markings/sec, 90 secs
lola: 730457 markings, 4480559 edges, 6637 markings/sec, 95 secs
lola: 764381 markings, 4703091 edges, 6785 markings/sec, 100 secs
lola: 797093 markings, 4925557 edges, 6542 markings/sec, 105 secs
lola: 828237 markings, 5147762 edges, 6229 markings/sec, 110 secs
lola: 861693 markings, 5370091 edges, 6691 markings/sec, 115 secs
lola: 895137 markings, 5595312 edges, 6689 markings/sec, 120 secs
lola: 928799 markings, 5819260 edges, 6732 markings/sec, 125 secs
lola: 958535 markings, 6043850 edges, 5947 markings/sec, 130 secs
lola: 988093 markings, 6268411 edges, 5912 markings/sec, 135 secs
lola: 1017695 markings, 6492059 edges, 5920 markings/sec, 140 secs
lola: 1047153 markings, 6715060 edges, 5892 markings/sec, 145 secs
lola: 1076307 markings, 6937805 edges, 5831 markings/sec, 150 secs
lola: 1103343 markings, 7160292 edges, 5407 markings/sec, 155 secs
lola: 1131233 markings, 7382193 edges, 5578 markings/sec, 160 secs
lola: 1160365 markings, 7604719 edges, 5826 markings/sec, 165 secs
lola: 1189631 markings, 7828347 edges, 5853 markings/sec, 170 secs
lola: 1227107 markings, 8053003 edges, 7495 markings/sec, 175 secs
lola: 1261281 markings, 8276239 edges, 6835 markings/sec, 180 secs
lola: 1295180 markings, 8500766 edges, 6780 markings/sec, 185 secs
lola: 1328493 markings, 8724917 edges, 6663 markings/sec, 190 secs
lola: 1362737 markings, 8947712 edges, 6849 markings/sec, 195 secs
lola: 1395075 markings, 9170467 edges, 6468 markings/sec, 200 secs
lola: 1426673 markings, 9393540 edges, 6320 markings/sec, 205 secs
lola: 1459803 markings, 9615148 edges, 6626 markings/sec, 210 secs
lola: 1492743 markings, 9836845 edges, 6588 markings/sec, 215 secs
lola: 1526352 markings, 10060320 edges, 6722 markings/sec, 220 secs
lola: 1555837 markings, 10283395 edges, 5897 markings/sec, 225 secs
lola: 1585240 markings, 10506704 edges, 5881 markings/sec, 230 secs
lola: 1615013 markings, 10731501 edges, 5955 markings/sec, 235 secs
lola: 1644425 markings, 10955159 edges, 5882 markings/sec, 240 secs
lola: 1673561 markings, 11177529 edges, 5827 markings/sec, 245 secs
lola: 1700722 markings, 11402222 edges, 5432 markings/sec, 250 secs
lola: 1728849 markings, 11625093 edges, 5625 markings/sec, 255 secs
lola: 1757869 markings, 11846692 edges, 5804 markings/sec, 260 secs
lola: 1787027 markings, 12070428 edges, 5832 markings/sec, 265 secs
lola: 1824829 markings, 12293708 edges, 7560 markings/sec, 270 secs
lola: 1859067 markings, 12517469 edges, 6848 markings/sec, 275 secs
lola: 1892711 markings, 12741707 edges, 6729 markings/sec, 280 secs
lola: 1925803 markings, 12964313 edges, 6618 markings/sec, 285 secs
lola: 1960107 markings, 13186523 edges, 6861 markings/sec, 290 secs
lola: 1992219 markings, 13408652 edges, 6422 markings/sec, 295 secs
lola: 2023883 markings, 13632212 edges, 6333 markings/sec, 300 secs
lola: 2057027 markings, 13854102 edges, 6629 markings/sec, 305 secs
lola: 2090673 markings, 14077478 edges, 6729 markings/sec, 310 secs
lola: 2123831 markings, 14300917 edges, 6632 markings/sec, 315 secs
lola: 2153253 markings, 14524525 edges, 5884 markings/sec, 320 secs
lola: 2182651 markings, 14746932 edges, 5880 markings/sec, 325 secs
lola: 2212299 markings, 14970801 edges, 5930 markings/sec, 330 secs
lola: 2241497 markings, 15193627 edges, 5840 markings/sec, 335 secs
lola: 2270587 markings, 15415613 edges, 5818 markings/sec, 340 secs
lola: 2297347 markings, 15637364 edges, 5352 markings/sec, 345 secs
lola: 2325471 markings, 15860179 edges, 5625 markings/sec, 350 secs
lola: 2354495 markings, 16081480 edges, 5805 markings/sec, 355 secs
lola: 2383479 markings, 16304107 edges, 5797 markings/sec, 360 secs
lola: 2421371 markings, 16527501 edges, 7578 markings/sec, 365 secs
lola: 2455509 markings, 16750367 edges, 6828 markings/sec, 370 secs
lola: 2488933 markings, 16973274 edges, 6685 markings/sec, 375 secs
lola: 2522053 markings, 17196155 edges, 6624 markings/sec, 380 secs
lola: 2556605 markings, 17419765 edges, 6910 markings/sec, 385 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no no unknown unknown no no unknown unknown unknown no unknown unknown unknown no unknown
lola: memory consumption: 519376 KB
lola: time consumption: 427 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 8 will run for 392 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (X (G (((p1823 + 1 <= p407))))) OR (G ((p1823 + 1 <= p407)) AND F (G (((p1823 + 1 <= p407)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (X (G (((p1823 + 1 <= p407))))) OR (G ((p1823 + 1 <= p407)) AND F (G (((p1823 + 1 <= p407)))))))
lola: processed formula length: 102
lola: 148 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 11 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: 1057 markings, 1057 edges
lola: ========================================
lola: subprocess 9 will run for 449 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (G ((p922 + 1 <= p1447))) U G ((F ((p1447 <= p922)) AND (X (F ((p922 + 1 <= p1447))) OR (p1447 <= p922))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (G ((p922 + 1 <= p1447))) U G ((F ((p1447 <= p922)) AND (X (F ((p922 + 1 <= p1447))) OR (p1447 <= p922))))))
lola: processed formula length: 114
lola: 148 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 15 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: 1058 markings, 1058 edges
lola: ========================================
lola: subprocess 10 will run for 523 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (G ((p2006 + 1 <= p1300))) OR G (F ((G ((1 <= p1416)) AND X (X ((p1803 <= p905))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (G ((p2006 + 1 <= p1300))) OR G (F ((G ((1 <= p1416)) AND X (X ((p1803 <= p905))))))))
lola: processed formula length: 92
lola: 148 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 16 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: 12698 markings, 12702 edges
lola: ========================================
lola: subprocess 11 will run for 628 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F ((p1492 + 1 <= p1465)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F ((p1492 + 1 <= p1465)))))
lola: processed formula length: 36
lola: 148 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: 69297 markings, 207290 edges, 13859 markings/sec, 0 secs
lola: 135217 markings, 427509 edges, 13184 markings/sec, 5 secs
lola: 201097 markings, 647510 edges, 13176 markings/sec, 10 secs
lola: 265281 markings, 868147 edges, 12837 markings/sec, 15 secs
lola: 331775 markings, 1090527 edges, 13299 markings/sec, 20 secs
lola: 389809 markings, 1310103 edges, 11607 markings/sec, 25 secs
lola: 447747 markings, 1529871 edges, 11588 markings/sec, 30 secs
lola: 504267 markings, 1751190 edges, 11304 markings/sec, 35 secs
lola: 560371 markings, 1970971 edges, 11221 markings/sec, 40 secs
lola: 621071 markings, 2191951 edges, 12140 markings/sec, 45 secs
lola: 679487 markings, 2413274 edges, 11683 markings/sec, 50 secs
lola: 738018 markings, 2633755 edges, 11706 markings/sec, 55 secs
lola: 795025 markings, 2853241 edges, 11401 markings/sec, 60 secs
lola: 850401 markings, 3073292 edges, 11075 markings/sec, 65 secs
lola: 908353 markings, 3293111 edges, 11590 markings/sec, 70 secs
lola: 961327 markings, 3513612 edges, 10595 markings/sec, 75 secs
lola: 1012585 markings, 3734054 edges, 10252 markings/sec, 80 secs
lola: 1063383 markings, 3953204 edges, 10160 markings/sec, 85 secs
lola: 1111179 markings, 4172535 edges, 9559 markings/sec, 90 secs
lola: 1162144 markings, 4391215 edges, 10193 markings/sec, 95 secs
lola: 1218911 markings, 4612065 edges, 11353 markings/sec, 100 secs
lola: 1277279 markings, 4832084 edges, 11674 markings/sec, 105 secs
lola: 1335629 markings, 5052605 edges, 11670 markings/sec, 110 secs
lola: 1392853 markings, 5273728 edges, 11445 markings/sec, 115 secs
lola: 1447915 markings, 5492286 edges, 11012 markings/sec, 120 secs
lola: 1505923 markings, 5711908 edges, 11602 markings/sec, 125 secs
lola: 1558655 markings, 5931939 edges, 10546 markings/sec, 130 secs
lola: 1609759 markings, 6151915 edges, 10221 markings/sec, 135 secs
lola: 1661013 markings, 6372876 edges, 10251 markings/sec, 140 secs
lola: 1708664 markings, 6592795 edges, 9530 markings/sec, 145 secs
lola: 1760068 markings, 6813480 edges, 10281 markings/sec, 150 secs
lola: 1817609 markings, 7034808 edges, 11508 markings/sec, 155 secs
lola: 1875938 markings, 7254689 edges, 11666 markings/sec, 160 secs
lola: 1933984 markings, 7474229 edges, 11609 markings/sec, 165 secs
lola: 1990343 markings, 7693444 edges, 11272 markings/sec, 170 secs
lola: 2045722 markings, 7912142 edges, 11076 markings/sec, 175 secs
lola: 2103909 markings, 8132180 edges, 11637 markings/sec, 180 secs
lola: 2156373 markings, 8352025 edges, 10493 markings/sec, 185 secs
lola: 2207093 markings, 8570941 edges, 10144 markings/sec, 190 secs
lola: 2258007 markings, 8789965 edges, 10183 markings/sec, 195 secs
lola: 2305349 markings, 9008991 edges, 9468 markings/sec, 200 secs
lola: 2356510 markings, 9228386 edges, 10232 markings/sec, 205 secs
lola: 2413753 markings, 9448398 edges, 11449 markings/sec, 210 secs
lola: 2471809 markings, 9667429 edges, 11611 markings/sec, 215 secs
lola: 2529782 markings, 9886729 edges, 11595 markings/sec, 220 secs
lola: 2586259 markings, 10105807 edges, 11295 markings/sec, 225 secs
lola: 2641851 markings, 10325727 edges, 11118 markings/sec, 230 secs
lola: 2699885 markings, 10545221 edges, 11607 markings/sec, 235 secs
lola: 2752433 markings, 10765178 edges, 10510 markings/sec, 240 secs
lola: 2803409 markings, 10985257 edges, 10195 markings/sec, 245 secs
lola: 2854625 markings, 11205399 edges, 10243 markings/sec, 250 secs
lola: 2901887 markings, 11424520 edges, 9452 markings/sec, 255 secs
lola: 2953081 markings, 11643795 edges, 10239 markings/sec, 260 secs
lola: 3010213 markings, 11863298 edges, 11426 markings/sec, 265 secs
lola: 3068345 markings, 12082570 edges, 11626 markings/sec, 270 secs
lola: 3126301 markings, 12301729 edges, 11591 markings/sec, 275 secs
lola: 3182775 markings, 12521148 edges, 11295 markings/sec, 280 secs
lola: 3238017 markings, 12739437 edges, 11048 markings/sec, 285 secs
lola: 3295995 markings, 12958730 edges, 11596 markings/sec, 290 secs
lola: 3348621 markings, 13179010 edges, 10525 markings/sec, 295 secs
lola: 3399379 markings, 13397886 edges, 10152 markings/sec, 300 secs
lola: 3450737 markings, 13618962 edges, 10272 markings/sec, 305 secs
lola: 3498015 markings, 13837864 edges, 9456 markings/sec, 310 secs
lola: 3548781 markings, 14055452 edges, 10153 markings/sec, 315 secs
lola: 3605813 markings, 14274997 edges, 11406 markings/sec, 320 secs
lola: 3663959 markings, 14494240 edges, 11629 markings/sec, 325 secs
lola: 3722195 markings, 14714489 edges, 11647 markings/sec, 330 secs
lola: 3778531 markings, 14932826 edges, 11267 markings/sec, 335 secs
lola: 3833685 markings, 15151449 edges, 11031 markings/sec, 340 secs
lola: 3891724 markings, 15370926 edges, 11608 markings/sec, 345 secs
lola: 3944073 markings, 15589932 edges, 10470 markings/sec, 350 secs
lola: 3994899 markings, 15808636 edges, 10165 markings/sec, 355 secs
lola: 4045579 markings, 16027326 edges, 10136 markings/sec, 360 secs
lola: 4093087 markings, 16245927 edges, 9502 markings/sec, 365 secs
lola: 4144057 markings, 16464433 edges, 10194 markings/sec, 370 secs
lola: 4197699 markings, 16683818 edges, 10728 markings/sec, 375 secs
lola: 4249637 markings, 16903979 edges, 10388 markings/sec, 380 secs
lola: 4300870 markings, 17123356 edges, 10247 markings/sec, 385 secs
lola: 4351718 markings, 17341938 edges, 10170 markings/sec, 390 secs
lola: 4399500 markings, 17561832 edges, 9556 markings/sec, 395 secs
lola: 4449943 markings, 17779638 edges, 10089 markings/sec, 400 secs
lola: 4500679 markings, 17998947 edges, 10147 markings/sec, 405 secs
lola: 4547067 markings, 18218810 edges, 9278 markings/sec, 410 secs
lola: 4593059 markings, 18439475 edges, 9198 markings/sec, 415 secs
lola: 4637943 markings, 18656694 edges, 8977 markings/sec, 420 secs
lola: 4682136 markings, 18876147 edges, 8839 markings/sec, 425 secs
lola: 4726569 markings, 19093782 edges, 8887 markings/sec, 430 secs
lola: 4771635 markings, 19312497 edges, 9013 markings/sec, 435 secs
lola: 4833244 markings, 19531291 edges, 12322 markings/sec, 440 secs
lola: 4890919 markings, 19750217 edges, 11535 markings/sec, 445 secs
lola: 4948555 markings, 19968305 edges, 11527 markings/sec, 450 secs
lola: 5002391 markings, 20186546 edges, 10767 markings/sec, 455 secs
lola: 5059683 markings, 20404176 edges, 11458 markings/sec, 460 secs
lola: 5114811 markings, 20622517 edges, 11026 markings/sec, 465 secs
lola: 5165947 markings, 20841718 edges, 10227 markings/sec, 470 secs
lola: 5216937 markings, 21061902 edges, 10198 markings/sec, 475 secs
lola: 5267203 markings, 21281850 edges, 10053 markings/sec, 480 secs
lola: 5315609 markings, 21501342 edges, 9681 markings/sec, 485 secs
lola: 5366663 markings, 21721228 edges, 10211 markings/sec, 490 secs
lola: 5428375 markings, 21941395 edges, 12342 markings/sec, 495 secs
lola: 5486381 markings, 22161271 edges, 11601 markings/sec, 500 secs
lola: 5544329 markings, 22380697 edges, 11590 markings/sec, 505 secs
lola: 5598487 markings, 22599983 edges, 10832 markings/sec, 510 secs
lola: 5656123 markings, 22818950 edges, 11527 markings/sec, 515 secs
lola: 5711621 markings, 23038984 edges, 11100 markings/sec, 520 secs
lola: 5762841 markings, 23258527 edges, 10244 markings/sec, 525 secs
lola: 5813837 markings, 23478426 edges, 10199 markings/sec, 530 secs
lola: 5863919 markings, 23697961 edges, 10016 markings/sec, 535 secs
lola: 5912331 markings, 23917266 edges, 9682 markings/sec, 540 secs
lola: 5963268 markings, 24137004 edges, 10187 markings/sec, 545 secs
lola: 6025471 markings, 24358533 edges, 12441 markings/sec, 550 secs
lola: 6083911 markings, 24580081 edges, 11688 markings/sec, 555 secs
lola: 6142211 markings, 24800607 edges, 11660 markings/sec, 560 secs
lola: 6196695 markings, 25021155 edges, 10897 markings/sec, 565 secs
lola: 6254494 markings, 25241626 edges, 11560 markings/sec, 570 secs
lola: 6310117 markings, 25463326 edges, 11125 markings/sec, 575 secs
lola: 6361587 markings, 25683908 edges, 10294 markings/sec, 580 secs
lola: 6413143 markings, 25904978 edges, 10311 markings/sec, 585 secs
lola: 6463047 markings, 26125682 edges, 9981 markings/sec, 590 secs
lola: 6512189 markings, 26345938 edges, 9828 markings/sec, 595 secs
lola: 6564215 markings, 26566825 edges, 10405 markings/sec, 600 secs
lola: 6626064 markings, 26788610 edges, 12370 markings/sec, 605 secs
lola: 6684635 markings, 27010184 edges, 11714 markings/sec, 610 secs
lola: 6742497 markings, 27230902 edges, 11572 markings/sec, 615 secs
lola: 6796999 markings, 27451527 edges, 10900 markings/sec, 620 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no no no no no no unknown no unknown no unknown unknown unknown no unknown
lola: memory consumption: 1645056 KB
lola: time consumption: 1055 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 12 will run for 628 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p466 <= p1396)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p1396 + 1 <= p466)
lola: processed formula length: 19
lola: 150 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 / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 838 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((p1822 <= p1121))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p1822 <= p1121))))
lola: processed formula length: 28
lola: 148 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: 188647 markings, 217510 edges, 37729 markings/sec, 0 secs
lola: 381126 markings, 439602 edges, 38496 markings/sec, 5 secs
lola: 572723 markings, 660676 edges, 38319 markings/sec, 10 secs
lola: 764204 markings, 881616 edges, 38296 markings/sec, 15 secs
lola: 955413 markings, 1102241 edges, 38242 markings/sec, 20 secs
lola: 1146503 markings, 1322728 edges, 38218 markings/sec, 25 secs
lola: 1337467 markings, 1543073 edges, 38193 markings/sec, 30 secs
lola: 1528297 markings, 1763262 edges, 38166 markings/sec, 35 secs
lola: 1719177 markings, 1983507 edges, 38176 markings/sec, 40 secs
lola: 1910055 markings, 2203751 edges, 38176 markings/sec, 45 secs
lola: 2101173 markings, 2424273 edges, 38224 markings/sec, 50 secs
lola: 2291937 markings, 2644384 edges, 38153 markings/sec, 55 secs
lola: 2482741 markings, 2864543 edges, 38161 markings/sec, 60 secs
lola: 2673430 markings, 3084568 edges, 38138 markings/sec, 65 secs
lola: 2864044 markings, 3304508 edges, 38123 markings/sec, 70 secs
lola: 3054664 markings, 3524453 edges, 38124 markings/sec, 75 secs
lola: 3245065 markings, 3744148 edges, 38080 markings/sec, 80 secs
lola: 3435358 markings, 3963716 edges, 38059 markings/sec, 85 secs
lola: 3625783 markings, 4183436 edges, 38085 markings/sec, 90 secs
lola: 3816411 markings, 4403393 edges, 38126 markings/sec, 95 secs
lola: 4006677 markings, 4622931 edges, 38053 markings/sec, 100 secs
lola: 4196795 markings, 4842298 edges, 38024 markings/sec, 105 secs
lola: 4387001 markings, 5061767 edges, 38041 markings/sec, 110 secs
lola: 4577138 markings, 5281154 edges, 38027 markings/sec, 115 secs
lola: 4767314 markings, 5500588 edges, 38035 markings/sec, 120 secs
lola: 4957359 markings, 5719871 edges, 38009 markings/sec, 125 secs
lola: 5147348 markings, 5939090 edges, 37998 markings/sec, 130 secs
lola: 5337576 markings, 6158583 edges, 38046 markings/sec, 135 secs
lola: 5527914 markings, 6378204 edges, 38068 markings/sec, 140 secs
lola: 5717904 markings, 6597424 edges, 37998 markings/sec, 145 secs
lola: 5907997 markings, 6816763 edges, 38019 markings/sec, 150 secs
lola: 6097930 markings, 7035914 edges, 37987 markings/sec, 155 secs
lola: 6287891 markings, 7255100 edges, 37992 markings/sec, 160 secs
lola: 6477833 markings, 7474264 edges, 37988 markings/sec, 165 secs
lola: 6667562 markings, 7693183 edges, 37946 markings/sec, 170 secs
lola: 6857432 markings, 7912262 edges, 37974 markings/sec, 175 secs
lola: 7047806 markings, 8131925 edges, 38075 markings/sec, 180 secs
lola: 7238166 markings, 8351571 edges, 38072 markings/sec, 185 secs
lola: 7428394 markings, 8571066 edges, 38046 markings/sec, 190 secs
lola: 7618635 markings, 8790575 edges, 38048 markings/sec, 195 secs
lola: 7808735 markings, 9009919 edges, 38020 markings/sec, 200 secs
lola: 7998943 markings, 9229391 edges, 38042 markings/sec, 205 secs
lola: 8189028 markings, 9448720 edges, 38017 markings/sec, 210 secs
lola: 8378875 markings, 9667775 edges, 37969 markings/sec, 215 secs
lola: 8568903 markings, 9887038 edges, 38006 markings/sec, 220 secs
lola: 8759056 markings, 10106445 edges, 38031 markings/sec, 225 secs
lola: 8949212 markings, 10325855 edges, 38031 markings/sec, 230 secs
lola: 9139152 markings, 10545018 edges, 37988 markings/sec, 235 secs
lola: 9329195 markings, 10764299 edges, 38009 markings/sec, 240 secs
lola: 9519032 markings, 10983342 edges, 37967 markings/sec, 245 secs
lola: 9709024 markings, 11202562 edges, 37998 markings/sec, 250 secs
lola: 9898929 markings, 11421683 edges, 37981 markings/sec, 255 secs
lola: 10088773 markings, 11640734 edges, 37969 markings/sec, 260 secs
lola: 10278543 markings, 11859698 edges, 37954 markings/sec, 265 secs
lola: 10468366 markings, 12078726 edges, 37965 markings/sec, 270 secs
lola: 10658082 markings, 12297628 edges, 37943 markings/sec, 275 secs
lola: 10847635 markings, 12516343 edges, 37911 markings/sec, 280 secs
lola: 11037213 markings, 12735088 edges, 37916 markings/sec, 285 secs
lola: 11226697 markings, 12953723 edges, 37897 markings/sec, 290 secs
lola: 11416155 markings, 13172329 edges, 37892 markings/sec, 295 secs
lola: 11605385 markings, 13390671 edges, 37846 markings/sec, 300 secs
lola: 11794463 markings, 13608839 edges, 37816 markings/sec, 305 secs
lola: 11983678 markings, 13827162 edges, 37843 markings/sec, 310 secs
lola: 12173107 markings, 14045734 edges, 37886 markings/sec, 315 secs
lola: 12362594 markings, 14264374 edges, 37897 markings/sec, 320 secs
lola: 12551872 markings, 14482772 edges, 37856 markings/sec, 325 secs
lola: 12741198 markings, 14701224 edges, 37865 markings/sec, 330 secs
lola: 12929978 markings, 14919048 edges, 37756 markings/sec, 335 secs
lola: 13118839 markings, 15136965 edges, 37772 markings/sec, 340 secs
lola: 13307648 markings, 15354821 edges, 37762 markings/sec, 345 secs
lola: 13496218 markings, 15572402 edges, 37714 markings/sec, 350 secs
lola: 13685106 markings, 15790349 edges, 37778 markings/sec, 355 secs
lola: 13874911 markings, 16009354 edges, 37961 markings/sec, 360 secs
lola: 14064811 markings, 16228469 edges, 37980 markings/sec, 365 secs
lola: 14254432 markings, 16447264 edges, 37924 markings/sec, 370 secs
lola: 14444029 markings, 16666029 edges, 37919 markings/sec, 375 secs
lola: 14633715 markings, 16884897 edges, 37937 markings/sec, 380 secs
lola: 14823345 markings, 17103701 edges, 37926 markings/sec, 385 secs
lola: 15012647 markings, 17322127 edges, 37860 markings/sec, 390 secs
lola: 15201883 markings, 17540476 edges, 37847 markings/sec, 395 secs
lola: 15391182 markings, 17758898 edges, 37860 markings/sec, 400 secs
lola: 15580599 markings, 17977455 edges, 37883 markings/sec, 405 secs
lola: 15770020 markings, 18196018 edges, 37884 markings/sec, 410 secs
lola: 15958939 markings, 18414002 edges, 37784 markings/sec, 415 secs
lola: 16148049 markings, 18632207 edges, 37822 markings/sec, 420 secs
lola: 16337202 markings, 18850460 edges, 37831 markings/sec, 425 secs
lola: 16526483 markings, 19068861 edges, 37856 markings/sec, 430 secs
lola: 16715630 markings, 19287107 edges, 37829 markings/sec, 435 secs
lola: 16904629 markings, 19505184 edges, 37800 markings/sec, 440 secs
lola: 17093585 markings, 19723209 edges, 37791 markings/sec, 445 secs
lola: 17282753 markings, 19941479 edges, 37834 markings/sec, 450 secs
lola: 17471997 markings, 20159837 edges, 37849 markings/sec, 455 secs
lola: 17660843 markings, 20377739 edges, 37769 markings/sec, 460 secs
lola: 17849707 markings, 20595659 edges, 37773 markings/sec, 465 secs
lola: 18038575 markings, 20813583 edges, 37774 markings/sec, 470 secs
lola: 18227428 markings, 21031490 edges, 37771 markings/sec, 475 secs
lola: 18416187 markings, 21249289 edges, 37752 markings/sec, 480 secs
lola: 18604819 markings, 21466941 edges, 37726 markings/sec, 485 secs
lola: 18793432 markings, 21684570 edges, 37723 markings/sec, 490 secs
lola: 18982268 markings, 21902460 edges, 37767 markings/sec, 495 secs
lola: 19171072 markings, 22120310 edges, 37761 markings/sec, 500 secs
lola: 19359520 markings, 22337750 edges, 37690 markings/sec, 505 secs
lola: 19547950 markings, 22555169 edges, 37686 markings/sec, 510 secs
lola: 19736518 markings, 22772748 edges, 37714 markings/sec, 515 secs
lola: 19925062 markings, 22990297 edges, 37709 markings/sec, 520 secs
lola: 20113570 markings, 23207808 edges, 37702 markings/sec, 525 secs
lola: 20301782 markings, 23424976 edges, 37642 markings/sec, 530 secs
lola: 20490270 markings, 23642461 edges, 37698 markings/sec, 535 secs
lola: 20679658 markings, 23860985 edges, 37878 markings/sec, 540 secs
lola: 20869178 markings, 24079664 edges, 37904 markings/sec, 545 secs
lola: 21057332 markings, 24296763 edges, 37631 markings/sec, 550 secs
lola: 21244193 markings, 24512372 edges, 37372 markings/sec, 555 secs
lola: 21428747 markings, 24725319 edges, 36911 markings/sec, 560 secs
lola: 21615601 markings, 24940920 edges, 37371 markings/sec, 565 secs
lola: 21803778 markings, 25158048 edges, 37635 markings/sec, 570 secs
lola: 21991368 markings, 25374498 edges, 37518 markings/sec, 575 secs
lola: 22178998 markings, 25590993 edges, 37526 markings/sec, 580 secs
lola: 22366876 markings, 25807774 edges, 37576 markings/sec, 585 secs
lola: 22555539 markings, 26025464 edges, 37733 markings/sec, 590 secs
lola: 22745056 markings, 26244138 edges, 37903 markings/sec, 595 secs
lola: 22934298 markings, 26462494 edges, 37848 markings/sec, 600 secs
lola: 23123391 markings, 26680679 edges, 37819 markings/sec, 605 secs
lola: 23312619 markings, 26899018 edges, 37846 markings/sec, 610 secs
lola: 23501843 markings, 27117354 edges, 37845 markings/sec, 615 secs
lola: 23690740 markings, 27335312 edges, 37779 markings/sec, 620 secs
lola: 23879307 markings, 27552889 edges, 37713 markings/sec, 625 secs
lola: 24068280 markings, 27770936 edges, 37795 markings/sec, 630 secs
lola: 24257444 markings, 27989200 edges, 37833 markings/sec, 635 secs
lola: 24445987 markings, 28206751 edges, 37709 markings/sec, 640 secs
lola: 24634444 markings, 28424202 edges, 37691 markings/sec, 645 secs
lola: 24823120 markings, 28641903 edges, 37735 markings/sec, 650 secs
lola: 25011932 markings, 28859764 edges, 37762 markings/sec, 655 secs
lola: 25199856 markings, 29076600 edges, 37585 markings/sec, 660 secs
lola: 25388502 markings, 29294267 edges, 37729 markings/sec, 665 secs
lola: 25577469 markings, 29512306 edges, 37793 markings/sec, 670 secs
lola: 25766876 markings, 29730853 edges, 37881 markings/sec, 675 secs
lola: 25956481 markings, 29949629 edges, 37921 markings/sec, 680 secs
lola: 26145809 markings, 30168082 edges, 37866 markings/sec, 685 secs
lola: 26335259 markings, 30386681 edges, 37890 markings/sec, 690 secs
lola: 26523637 markings, 30604039 edges, 37676 markings/sec, 695 secs
lola: 26713039 markings, 30822580 edges, 37880 markings/sec, 700 secs
lola: 26901835 markings, 31040421 edges, 37759 markings/sec, 705 secs
lola: 27089982 markings, 31257514 edges, 37629 markings/sec, 710 secs
lola: 27277317 markings, 31473668 edges, 37467 markings/sec, 715 secs
lola: 27467210 markings, 31692775 edges, 37979 markings/sec, 720 secs
lola: 27656956 markings, 31911713 edges, 37949 markings/sec, 725 secs
lola: 27846367 markings, 32130267 edges, 37882 markings/sec, 730 secs
lola: 28035813 markings, 32348858 edges, 37889 markings/sec, 735 secs
lola: 28225166 markings, 32567341 edges, 37871 markings/sec, 740 secs
lola: 28414573 markings, 32785887 edges, 37881 markings/sec, 745 secs
lola: 28603677 markings, 33004085 edges, 37821 markings/sec, 750 secs
lola: 28792740 markings, 33222234 edges, 37813 markings/sec, 755 secs
lola: 28981773 markings, 33440349 edges, 37807 markings/sec, 760 secs
lola: 29171065 markings, 33658763 edges, 37858 markings/sec, 765 secs
lola: 29360442 markings, 33877276 edges, 37875 markings/sec, 770 secs
lola: 29549628 markings, 34095567 edges, 37837 markings/sec, 775 secs
lola: 29738898 markings, 34313956 edges, 37854 markings/sec, 780 secs
lola: 29927930 markings, 34532069 edges, 37806 markings/sec, 785 secs
lola: 30116994 markings, 34750220 edges, 37813 markings/sec, 790 secs
lola: 30305954 markings, 34968250 edges, 37792 markings/sec, 795 secs
lola: 30494738 markings, 35186077 edges, 37757 markings/sec, 800 secs
lola: 30683608 markings, 35404003 edges, 37774 markings/sec, 805 secs
lola: 30873075 markings, 35622621 edges, 37893 markings/sec, 810 secs
lola: 31062764 markings, 35841493 edges, 37938 markings/sec, 815 secs
lola: 31251968 markings, 36059806 edges, 37841 markings/sec, 820 secs
lola: 31441130 markings, 36278069 edges, 37832 markings/sec, 825 secs
lola: 31630082 markings, 36496092 edges, 37790 markings/sec, 830 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no no no no no no unknown no yes no unknown unknown unknown no unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 838 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p369 + 1 <= p1904) OR F (((p369 + 1 <= p1904) OR ((p1908 + 1 <= p2046)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (((p369 + 1 <= p1904) OR F (((p369 + 1 <= p1904) OR ((p1908 + 1 <= p2046)))))))
lola: processed formula length: 84
lola: 148 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: 1048 markings, 1048 edges
lola: ========================================
lola: subprocess 15 will run for 1676 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p34 <= p988) AND A (G ((p976 + 1 <= p1208))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1676 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p34 <= p988)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p34 <= p988)
lola: processed formula length: 13
lola: 148 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: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (X (G ((((p1049 + 1 <= p1838) OR (p558 + 1 <= p346)) OR X ((p893 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G ((((p1049 + 1 <= p1838) OR (p558 + 1 <= p346)) OR X ((p893 <= 0)))))))
lola: processed formula length: 82
lola: 148 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: 47934 markings, 226192 edges, 9587 markings/sec, 0 secs
lola: 87878 markings, 451556 edges, 7989 markings/sec, 5 secs
lola: 128489 markings, 676549 edges, 8122 markings/sec, 10 secs
lola: 168086 markings, 901180 edges, 7919 markings/sec, 15 secs
lola: 206331 markings, 1125558 edges, 7649 markings/sec, 20 secs
lola: 243119 markings, 1349713 edges, 7358 markings/sec, 25 secs
lola: 283899 markings, 1574141 edges, 8156 markings/sec, 30 secs
lola: 323603 markings, 1800086 edges, 7941 markings/sec, 35 secs
lola: 358647 markings, 2025798 edges, 7009 markings/sec, 40 secs
lola: 393199 markings, 2251246 edges, 6910 markings/sec, 45 secs
lola: 427271 markings, 2476489 edges, 6814 markings/sec, 50 secs
lola: 460631 markings, 2701014 edges, 6672 markings/sec, 55 secs
lola: 494361 markings, 2925435 edges, 6746 markings/sec, 60 secs
lola: 525235 markings, 3149952 edges, 6175 markings/sec, 65 secs
lola: 559439 markings, 3373879 edges, 6841 markings/sec, 70 secs
lola: 593051 markings, 3598944 edges, 6722 markings/sec, 75 secs
lola: 631427 markings, 3824762 edges, 7675 markings/sec, 80 secs
lola: 666001 markings, 4050415 edges, 6915 markings/sec, 85 secs
lola: 699933 markings, 4276134 edges, 6786 markings/sec, 90 secs
lola: 733377 markings, 4501098 edges, 6689 markings/sec, 95 secs
lola: 768083 markings, 4725687 edges, 6941 markings/sec, 100 secs
lola: 800409 markings, 4950036 edges, 6465 markings/sec, 105 secs
lola: 832205 markings, 5174469 edges, 6359 markings/sec, 110 secs
lola: 865545 markings, 5398676 edges, 6668 markings/sec, 115 secs
lola: 900017 markings, 5625096 edges, 6894 markings/sec, 120 secs
lola: 933153 markings, 5851092 edges, 6627 markings/sec, 125 secs
lola: 962947 markings, 6076583 edges, 5959 markings/sec, 130 secs
lola: 992803 markings, 6302068 edges, 5971 markings/sec, 135 secs
lola: 1022301 markings, 6527393 edges, 5900 markings/sec, 140 secs
lola: 1051701 markings, 6752086 edges, 5880 markings/sec, 145 secs
lola: 1081084 markings, 6976398 edges, 5877 markings/sec, 150 secs
lola: 1107699 markings, 7199725 edges, 5323 markings/sec, 155 secs
lola: 1136271 markings, 7423819 edges, 5714 markings/sec, 160 secs
lola: 1165495 markings, 7647506 edges, 5845 markings/sec, 165 secs
lola: 1195415 markings, 7872848 edges, 5984 markings/sec, 170 secs
lola: 1234329 markings, 8098357 edges, 7783 markings/sec, 175 secs
lola: 1268321 markings, 8323946 edges, 6798 markings/sec, 180 secs
lola: 1301815 markings, 8549455 edges, 6699 markings/sec, 185 secs
lola: 1336526 markings, 8774414 edges, 6942 markings/sec, 190 secs
lola: 1370855 markings, 8998617 edges, 6866 markings/sec, 195 secs
lola: 1402051 markings, 9222939 edges, 6239 markings/sec, 200 secs
lola: 1434127 markings, 9446915 edges, 6415 markings/sec, 205 secs
lola: 1467895 markings, 9670442 edges, 6754 markings/sec, 210 secs
lola: 1502429 markings, 9895557 edges, 6907 markings/sec, 215 secs
lola: 1534677 markings, 10120848 edges, 6450 markings/sec, 220 secs
lola: 1564157 markings, 10346046 edges, 5896 markings/sec, 225 secs
lola: 1593653 markings, 10571258 edges, 5899 markings/sec, 230 secs
lola: 1623117 markings, 10796222 edges, 5893 markings/sec, 235 secs
lola: 1652357 markings, 11020431 edges, 5848 markings/sec, 240 secs
lola: 1681661 markings, 11244403 edges, 5861 markings/sec, 245 secs
lola: 1707907 markings, 11468629 edges, 5249 markings/sec, 250 secs
lola: 1737083 markings, 11692380 edges, 5835 markings/sec, 255 secs
lola: 1766831 markings, 11916145 edges, 5950 markings/sec, 260 secs
lola: 1798981 markings, 12141568 edges, 6430 markings/sec, 265 secs
lola: 1836081 markings, 12366901 edges, 7420 markings/sec, 270 secs
lola: 1869454 markings, 12591574 edges, 6675 markings/sec, 275 secs
lola: 1903873 markings, 12816416 edges, 6884 markings/sec, 280 secs
lola: 1938243 markings, 13040702 edges, 6874 markings/sec, 285 secs
lola: 1972123 markings, 13264832 edges, 6776 markings/sec, 290 secs
lola: 2002537 markings, 13489079 edges, 6083 markings/sec, 295 secs
lola: 2035118 markings, 13712630 edges, 6516 markings/sec, 300 secs
lola: 2069755 markings, 13936410 edges, 6927 markings/sec, 305 secs
lola: 2104137 markings, 14161132 edges, 6876 markings/sec, 310 secs
lola: 2135091 markings, 14386170 edges, 6191 markings/sec, 315 secs
lola: 2164513 markings, 14610900 edges, 5884 markings/sec, 320 secs
lola: 2193739 markings, 14835396 edges, 5845 markings/sec, 325 secs
lola: 2223149 markings, 15059982 edges, 5882 markings/sec, 330 secs
lola: 2252769 markings, 15284037 edges, 5924 markings/sec, 335 secs
lola: 2282000 markings, 15507870 edges, 5846 markings/sec, 340 secs
lola: 2308233 markings, 15731795 edges, 5247 markings/sec, 345 secs
lola: 2337795 markings, 15955178 edges, 5912 markings/sec, 350 secs
lola: 2367387 markings, 16178793 edges, 5918 markings/sec, 355 secs
lola: 2400833 markings, 16403497 edges, 6689 markings/sec, 360 secs
lola: 2436485 markings, 16628517 edges, 7130 markings/sec, 365 secs
lola: 2470323 markings, 16853029 edges, 6768 markings/sec, 370 secs
lola: 2504857 markings, 17077733 edges, 6907 markings/sec, 375 secs
lola: 2539017 markings, 17301827 edges, 6832 markings/sec, 380 secs
lola: 2572407 markings, 17525690 edges, 6678 markings/sec, 385 secs
lola: 2602191 markings, 17749519 edges, 5957 markings/sec, 390 secs
lola: 2636159 markings, 17972743 edges, 6794 markings/sec, 395 secs
lola: 2670413 markings, 18196532 edges, 6851 markings/sec, 400 secs
lola: 2704449 markings, 18421638 edges, 6807 markings/sec, 405 secs
lola: 2734821 markings, 18646325 edges, 6074 markings/sec, 410 secs
lola: 2764083 markings, 18870919 edges, 5852 markings/sec, 415 secs
lola: 2793513 markings, 19095650 edges, 5886 markings/sec, 420 secs
lola: 2823311 markings, 19319781 edges, 5960 markings/sec, 425 secs
lola: 2852970 markings, 19543688 edges, 5932 markings/sec, 430 secs
lola: 2881645 markings, 19767313 edges, 5735 markings/sec, 435 secs
lola: 2908356 markings, 19991110 edges, 5342 markings/sec, 440 secs
lola: 2937881 markings, 20214265 edges, 5905 markings/sec, 445 secs
lola: 2967327 markings, 20438017 edges, 5889 markings/sec, 450 secs
lola: 3001591 markings, 20661570 edges, 6853 markings/sec, 455 secs
lola: 3036223 markings, 20886233 edges, 6926 markings/sec, 460 secs
lola: 3070777 markings, 21110739 edges, 6911 markings/sec, 465 secs
lola: 3105167 markings, 21335115 edges, 6878 markings/sec, 470 secs
lola: 3138831 markings, 21558971 edges, 6733 markings/sec, 475 secs
lola: 3172031 markings, 21782362 edges, 6640 markings/sec, 480 secs
lola: 3202153 markings, 22006437 edges, 6024 markings/sec, 485 secs
lola: 3236429 markings, 22229538 edges, 6855 markings/sec, 490 secs
lola: 3270507 markings, 22453068 edges, 6816 markings/sec, 495 secs
lola: 3304065 markings, 22677737 edges, 6712 markings/sec, 500 secs
lola: 3333876 markings, 22901866 edges, 5962 markings/sec, 505 secs
lola: 3363328 markings, 23126062 edges, 5890 markings/sec, 510 secs
lola: 3393105 markings, 23349989 edges, 5955 markings/sec, 515 secs
lola: 3422689 markings, 23573503 edges, 5917 markings/sec, 520 secs
lola: 3452247 markings, 23796859 edges, 5912 markings/sec, 525 secs
lola: 3480457 markings, 24020273 edges, 5642 markings/sec, 530 secs
lola: 3507469 markings, 24243559 edges, 5402 markings/sec, 535 secs
lola: 3536783 markings, 24465991 edges, 5863 markings/sec, 540 secs
lola: 3566305 markings, 24689093 edges, 5904 markings/sec, 545 secs
lola: 3601109 markings, 24913470 edges, 6961 markings/sec, 550 secs
lola: 3635671 markings, 25137704 edges, 6912 markings/sec, 555 secs
lola: 3670115 markings, 25361732 edges, 6889 markings/sec, 560 secs
lola: 3704225 markings, 25585508 edges, 6822 markings/sec, 565 secs
lola: 3737625 markings, 25809007 edges, 6680 markings/sec, 570 secs
lola: 3771023 markings, 26032375 edges, 6680 markings/sec, 575 secs
lola: 3801247 markings, 26255771 edges, 6045 markings/sec, 580 secs
lola: 3835375 markings, 26478578 edges, 6826 markings/sec, 585 secs
lola: 3869185 markings, 26702109 edges, 6762 markings/sec, 590 secs
lola: 3902495 markings, 26926201 edges, 6662 markings/sec, 595 secs
lola: 3932107 markings, 27149948 edges, 5922 markings/sec, 600 secs
lola: 3961911 markings, 27373595 edges, 5961 markings/sec, 605 secs
lola: 3991543 markings, 27597457 edges, 5926 markings/sec, 610 secs
lola: 4021053 markings, 27820447 edges, 5902 markings/sec, 615 secs
lola: 4050347 markings, 28043331 edges, 5859 markings/sec, 620 secs
lola: 4078355 markings, 28266172 edges, 5602 markings/sec, 625 secs
lola: 4105491 markings, 28488770 edges, 5427 markings/sec, 630 secs
lola: 4134873 markings, 28710700 edges, 5876 markings/sec, 635 secs
lola: 4164291 markings, 28933690 edges, 5884 markings/sec, 640 secs
lola: 4196153 markings, 29158066 edges, 6372 markings/sec, 645 secs
lola: 4226301 markings, 29382623 edges, 6030 markings/sec, 650 secs
lola: 4255617 markings, 29606537 edges, 5863 markings/sec, 655 secs
lola: 4285158 markings, 29830792 edges, 5908 markings/sec, 660 secs
lola: 4314879 markings, 30054827 edges, 5944 markings/sec, 665 secs
lola: 4344445 markings, 30278218 edges, 5913 markings/sec, 670 secs
lola: 4372973 markings, 30501692 edges, 5706 markings/sec, 675 secs
lola: 4399784 markings, 30725142 edges, 5362 markings/sec, 680 secs
lola: 4429171 markings, 30947939 edges, 5877 markings/sec, 685 secs
lola: 4458617 markings, 31171240 edges, 5889 markings/sec, 690 secs
lola: 4488325 markings, 31395528 edges, 5942 markings/sec, 695 secs
lola: 4515921 markings, 31619759 edges, 5519 markings/sec, 700 secs
lola: 4541861 markings, 31843418 edges, 5188 markings/sec, 705 secs
lola: 4567801 markings, 32067059 edges, 5188 markings/sec, 710 secs
lola: 4593767 markings, 32290723 edges, 5193 markings/sec, 715 secs
lola: 4619675 markings, 32514027 edges, 5182 markings/sec, 720 secs
lola: 4645683 markings, 32737139 edges, 5202 markings/sec, 725 secs
lola: 4670747 markings, 32960059 edges, 5013 markings/sec, 730 secs
lola: 4694065 markings, 33182836 edges, 4664 markings/sec, 735 secs
lola: 4719847 markings, 33405189 edges, 5156 markings/sec, 740 secs
lola: 4745517 markings, 33627617 edges, 5134 markings/sec, 745 secs
lola: 4771581 markings, 33851751 edges, 5213 markings/sec, 750 secs
lola: 4810015 markings, 34074576 edges, 7687 markings/sec, 755 secs
lola: 4844053 markings, 34298570 edges, 6808 markings/sec, 760 secs
lola: 4877345 markings, 34522597 edges, 6658 markings/sec, 765 secs
lola: 4911421 markings, 34746148 edges, 6815 markings/sec, 770 secs
lola: 4945615 markings, 34969193 edges, 6839 markings/sec, 775 secs
lola: 4977379 markings, 35192317 edges, 6353 markings/sec, 780 secs
lola: 5009017 markings, 35415226 edges, 6328 markings/sec, 785 secs
lola: 5042069 markings, 35637682 edges, 6610 markings/sec, 790 secs
lola: 5076567 markings, 35861571 edges, 6900 markings/sec, 795 secs
lola: 5109069 markings, 36085923 edges, 6500 markings/sec, 800 secs
lola: 5138723 markings, 36309860 edges, 5931 markings/sec, 805 secs
lola: 5168081 markings, 36533343 edges, 5872 markings/sec, 810 secs
lola: 5197341 markings, 36756906 edges, 5852 markings/sec, 815 secs
lola: 5226615 markings, 36980189 edges, 5855 markings/sec, 820 secs
lola: 5255785 markings, 37203309 edges, 5834 markings/sec, 825 secs
lola: 5282311 markings, 37426356 edges, 5305 markings/sec, 830 secs
lola: 5310701 markings, 37648959 edges, 5678 markings/sec, 835 secs
lola: 5339891 markings, 37871527 edges, 5838 markings/sec, 840 secs
lola: 5369762 markings, 38095468 edges, 5974 markings/sec, 845 secs
lola: 5408361 markings, 38319428 edges, 7720 markings/sec, 850 secs
lola: 5442127 markings, 38543204 edges, 6753 markings/sec, 855 secs
lola: 5475345 markings, 38766679 edges, 6644 markings/sec, 860 secs
lola: 5509699 markings, 38990172 edges, 6871 markings/sec, 865 secs
lola: 5543839 markings, 39213285 edges, 6828 markings/sec, 870 secs
lola: 5575161 markings, 39436465 edges, 6264 markings/sec, 875 secs
lola: 5606995 markings, 39659234 edges, 6367 markings/sec, 880 secs
lola: 5640263 markings, 39881829 edges, 6654 markings/sec, 885 secs
lola: 5674885 markings, 40105732 edges, 6924 markings/sec, 890 secs
lola: 5706989 markings, 40329439 edges, 6421 markings/sec, 895 secs
lola: 5736449 markings, 40552692 edges, 5892 markings/sec, 900 secs
lola: 5765689 markings, 40776129 edges, 5848 markings/sec, 905 secs
lola: 5794939 markings, 40999504 edges, 5850 markings/sec, 910 secs
lola: 5824141 markings, 41222341 edges, 5840 markings/sec, 915 secs
lola: 5853175 markings, 41445139 edges, 5807 markings/sec, 920 secs
lola: 5879573 markings, 41668096 edges, 5280 markings/sec, 925 secs
lola: 5908133 markings, 41890307 edges, 5712 markings/sec, 930 secs
lola: 5937267 markings, 42112358 edges, 5827 markings/sec, 935 secs
lola: 5967780 markings, 42336174 edges, 6103 markings/sec, 940 secs
lola: 6006275 markings, 42561244 edges, 7699 markings/sec, 945 secs
lola: 6039971 markings, 42786638 edges, 6739 markings/sec, 950 secs
lola: 6073475 markings, 43011705 edges, 6701 markings/sec, 955 secs
lola: 6108263 markings, 43236276 edges, 6958 markings/sec, 960 secs
lola: 6142529 markings, 43460190 edges, 6853 markings/sec, 965 secs
lola: 6173375 markings, 43684317 edges, 6169 markings/sec, 970 secs
lola: 6205443 markings, 43908035 edges, 6414 markings/sec, 975 secs
lola: 6239531 markings, 44131682 edges, 6818 markings/sec, 980 secs
lola: 6274025 markings, 44356771 edges, 6899 markings/sec, 985 secs
lola: 6305987 markings, 44582044 edges, 6392 markings/sec, 990 secs
lola: 6335371 markings, 44806261 edges, 5877 markings/sec, 995 secs
lola: 6364720 markings, 45030316 edges, 5870 markings/sec, 1000 secs
lola: 6394031 markings, 45254610 edges, 5862 markings/sec, 1005 secs
lola: 6423247 markings, 45478610 edges, 5843 markings/sec, 1010 secs
lola: 6452571 markings, 45702561 edges, 5865 markings/sec, 1015 secs
lola: 6478700 markings, 45926434 edges, 5226 markings/sec, 1020 secs
lola: 6508076 markings, 46149806 edges, 5875 markings/sec, 1025 secs
lola: 6537670 markings, 46373260 edges, 5919 markings/sec, 1030 secs
lola: 6569897 markings, 46598052 edges, 6445 markings/sec, 1035 secs
lola: 6606789 markings, 46823119 edges, 7378 markings/sec, 1040 secs
lola: 6640239 markings, 47048037 edges, 6690 markings/sec, 1045 secs
lola: 6674733 markings, 47272941 edges, 6899 markings/sec, 1050 secs
lola: 6708859 markings, 47495940 edges, 6825 markings/sec, 1055 secs
lola: 6742707 markings, 47719869 edges, 6770 markings/sec, 1060 secs
lola: 6773037 markings, 47943821 edges, 6066 markings/sec, 1065 secs
lola: 6805741 markings, 48167184 edges, 6541 markings/sec, 1070 secs
lola: 6840291 markings, 48390709 edges, 6910 markings/sec, 1075 secs
lola: 6874667 markings, 48615678 edges, 6875 markings/sec, 1080 secs
lola: 6905579 markings, 48840613 edges, 6182 markings/sec, 1085 secs
lola: 6935033 markings, 49065620 edges, 5891 markings/sec, 1090 secs
lola: 6964345 markings, 49290750 edges, 5862 markings/sec, 1095 secs
lola: 6993709 markings, 49515010 edges, 5873 markings/sec, 1100 secs
lola: 7023377 markings, 49738996 edges, 5934 markings/sec, 1105 secs
lola: 7052520 markings, 49962866 edges, 5829 markings/sec, 1110 secs
lola: 7078841 markings, 50186847 edges, 5264 markings/sec, 1115 secs
lola: 7108415 markings, 50410303 edges, 5915 markings/sec, 1120 secs
lola: 7138023 markings, 50634023 edges, 5922 markings/sec, 1125 secs
lola: 7169483 markings, 50860062 edges, 6292 markings/sec, 1130 secs
lola: 7201331 markings, 51086283 edges, 6370 markings/sec, 1135 secs
lola: 7230953 markings, 51312623 edges, 5924 markings/sec, 1140 secs
lola: 7260569 markings, 51538945 edges, 5923 markings/sec, 1145 secs
lola: 7290023 markings, 51765064 edges, 5891 markings/sec, 1150 secs
lola: 7319513 markings, 51990415 edges, 5898 markings/sec, 1155 secs
lola: 7349115 markings, 52215218 edges, 5920 markings/sec, 1160 secs
lola: 7375323 markings, 52440496 edges, 5242 markings/sec, 1165 secs
lola: 7405089 markings, 52665209 edges, 5953 markings/sec, 1170 secs
lola: 7434495 markings, 52887409 edges, 5881 markings/sec, 1175 secs
lola: 7464433 markings, 53113443 edges, 5988 markings/sec, 1180 secs
lola: 7492823 markings, 53339644 edges, 5678 markings/sec, 1185 secs
lola: 7519109 markings, 53565353 edges, 5257 markings/sec, 1190 secs
lola: 7545389 markings, 53791294 edges, 5256 markings/sec, 1195 secs
lola: 7571635 markings, 54017226 edges, 5249 markings/sec, 1200 secs
lola: 7597799 markings, 54242617 edges, 5233 markings/sec, 1205 secs
lola: 7623923 markings, 54467565 edges, 5225 markings/sec, 1210 secs
lola: 7649503 markings, 54692595 edges, 5116 markings/sec, 1215 secs
lola: 7672675 markings, 54917755 edges, 4634 markings/sec, 1220 secs
lola: 7698805 markings, 55142343 edges, 5226 markings/sec, 1225 secs
lola: 7724997 markings, 55366956 edges, 5238 markings/sec, 1230 secs
lola: 7751344 markings, 55593352 edges, 5269 markings/sec, 1235 secs
lola: 7784721 markings, 55820180 edges, 6675 markings/sec, 1240 secs
lola: 7814669 markings, 56046222 edges, 5990 markings/sec, 1245 secs
lola: 7844535 markings, 56272486 edges, 5973 markings/sec, 1250 secs
lola: 7874364 markings, 56498444 edges, 5966 markings/sec, 1255 secs
lola: 7904201 markings, 56723732 edges, 5967 markings/sec, 1260 secs
lola: 7933652 markings, 56948836 edges, 5890 markings/sec, 1265 secs
lola: 7961025 markings, 57174287 edges, 5475 markings/sec, 1270 secs
lola: 7989283 markings, 57399114 edges, 5652 markings/sec, 1275 secs
lola: 8018669 markings, 57623759 edges, 5877 markings/sec, 1280 secs
lola: 8048087 markings, 57849456 edges, 5884 markings/sec, 1285 secs
lola: 8077655 markings, 58075416 edges, 5914 markings/sec, 1290 secs
lola: 8104126 markings, 58301190 edges, 5294 markings/sec, 1295 secs
lola: 8130421 markings, 58526809 edges, 5259 markings/sec, 1300 secs
lola: 8156719 markings, 58752595 edges, 5260 markings/sec, 1305 secs
lola: 8183053 markings, 58977799 edges, 5267 markings/sec, 1310 secs
lola: 8209301 markings, 59202587 edges, 5250 markings/sec, 1315 secs
lola: 8235487 markings, 59427418 edges, 5237 markings/sec, 1320 secs
lola: 8259723 markings, 59652117 edges, 4847 markings/sec, 1325 secs
lola: 8284927 markings, 59877031 edges, 5041 markings/sec, 1330 secs
lola: 8311061 markings, 60101265 edges, 5227 markings/sec, 1335 secs
lola: 8337245 markings, 60326220 edges, 5237 markings/sec, 1340 secs
lola: 8367429 markings, 60552192 edges, 6037 markings/sec, 1345 secs
lola: 8398187 markings, 60777997 edges, 6152 markings/sec, 1350 secs
lola: 8427471 markings, 61002637 edges, 5857 markings/sec, 1355 secs
lola: 8456958 markings, 61227990 edges, 5897 markings/sec, 1360 secs
lola: 8486651 markings, 61452854 edges, 5939 markings/sec, 1365 secs
lola: 8516395 markings, 61677427 edges, 5949 markings/sec, 1370 secs
lola: 8545357 markings, 61901787 edges, 5792 markings/sec, 1375 secs
lola: 8572013 markings, 62126166 edges, 5331 markings/sec, 1380 secs
lola: 8601649 markings, 62350084 edges, 5927 markings/sec, 1385 secs
lola: 8631151 markings, 62574258 edges, 5900 markings/sec, 1390 secs
lola: 8661015 markings, 62799721 edges, 5973 markings/sec, 1395 secs
lola: 8688923 markings, 63025057 edges, 5582 markings/sec, 1400 secs
lola: 8715045 markings, 63250080 edges, 5224 markings/sec, 1405 secs
lola: 8741115 markings, 63474683 edges, 5214 markings/sec, 1410 secs
lola: 8767187 markings, 63699187 edges, 5214 markings/sec, 1415 secs
lola: 8793271 markings, 63923831 edges, 5217 markings/sec, 1420 secs
lola: 8819343 markings, 64147704 edges, 5214 markings/sec, 1425 secs
lola: 8844549 markings, 64371830 edges, 5041 markings/sec, 1430 secs
lola: 8867989 markings, 64595656 edges, 4688 markings/sec, 1435 secs
lola: 8893905 markings, 64819034 edges, 5183 markings/sec, 1440 secs
lola: 8919725 markings, 65042467 edges, 5164 markings/sec, 1445 secs
lola: 8945885 markings, 65267784 edges, 5232 markings/sec, 1450 secs
lola: 8979631 markings, 65493653 edges, 6749 markings/sec, 1455 secs
lola: 9009457 markings, 65719004 edges, 5965 markings/sec, 1460 secs
lola: 9039169 markings, 65944418 edges, 5942 markings/sec, 1465 secs
lola: 9069039 markings, 66169749 edges, 5974 markings/sec, 1470 secs
lola: 9098491 markings, 66394259 edges, 5890 markings/sec, 1475 secs
lola: 9127873 markings, 66618736 edges, 5876 markings/sec, 1480 secs
lola: 9154957 markings, 66843377 edges, 5417 markings/sec, 1485 secs
lola: 9183285 markings, 67067452 edges, 5666 markings/sec, 1490 secs
lola: 9212579 markings, 67291235 edges, 5859 markings/sec, 1495 secs
lola: 9241943 markings, 67516758 edges, 5873 markings/sec, 1500 secs
lola: 9271507 markings, 67742527 edges, 5913 markings/sec, 1505 secs
lola: 9296347 markings, 67954740 edges, 4968 markings/sec, 1510 secs
lola: 9319787 markings, 68153176 edges, 4688 markings/sec, 1515 secs
lola: 9346063 markings, 68378611 edges, 5255 markings/sec, 1520 secs
lola: 9372333 markings, 68604064 edges, 5254 markings/sec, 1525 secs
lola: 9398477 markings, 68828567 edges, 5229 markings/sec, 1530 secs
lola: 9424641 markings, 69052865 edges, 5233 markings/sec, 1535 secs
lola: 9449183 markings, 69277525 edges, 4908 markings/sec, 1540 secs
lola: 9473723 markings, 69501871 edges, 4908 markings/sec, 1545 secs
lola: 9499683 markings, 69725578 edges, 5192 markings/sec, 1550 secs
lola: 9525701 markings, 69949815 edges, 5204 markings/sec, 1555 secs
lola: 9554833 markings, 70174959 edges, 5826 markings/sec, 1560 secs
lola: 9586501 markings, 70399984 edges, 6334 markings/sec, 1565 secs
lola: 9616023 markings, 70625489 edges, 5904 markings/sec, 1570 secs
lola: 9645497 markings, 70850718 edges, 5895 markings/sec, 1575 secs
lola: 9674791 markings, 71075685 edges, 5859 markings/sec, 1580 secs
lola: 9704155 markings, 71299938 edges, 5873 markings/sec, 1585 secs
lola: 9733695 markings, 71524370 edges, 5908 markings/sec, 1590 secs
lola: 9759634 markings, 71748862 edges, 5188 markings/sec, 1595 secs
lola: 9789477 markings, 71973127 edges, 5969 markings/sec, 1600 secs
lola: 9819177 markings, 72197408 edges, 5940 markings/sec, 1605 secs
lola: 9849055 markings, 72422997 edges, 5976 markings/sec, 1610 secs
lola: 9877391 markings, 72648025 edges, 5667 markings/sec, 1615 secs
lola: 9903546 markings, 72872724 edges, 5231 markings/sec, 1620 secs
lola: 9929677 markings, 73097719 edges, 5226 markings/sec, 1625 secs
lola: 9955741 markings, 73322310 edges, 5213 markings/sec, 1630 secs
lola: 9981747 markings, 73546394 edges, 5201 markings/sec, 1635 secs
lola: 10007737 markings, 73770383 edges, 5198 markings/sec, 1640 secs
lola: 10033365 markings, 73994395 edges, 5126 markings/sec, 1645 secs
lola: 10056477 markings, 74218347 edges, 4622 markings/sec, 1650 secs
lola: 10082243 markings, 74440505 edges, 5153 markings/sec, 1655 secs
lola: 10108295 markings, 74663777 edges, 5210 markings/sec, 1660 secs
lola: 10134547 markings, 74888328 edges, 5250 markings/sec, 1665 secs
lola: 10166945 markings, 75113240 edges, 6480 markings/sec, 1670 secs
lola: time limit reached - aborting
lola:
preliminary result: no no no no no no no unknown no yes no unknown unknown no no unknown lola:
caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: no no no no no no no unknown no yes no unknown unknown no no unknown
preliminary result: no no no no no no no unknown no yes no unknown unknown no no unknown
lola: memory consumption: 1943788 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: no no no no no no no unknown no yes no unknown unknown no no unknown
lola: memory consumption: 1943788 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 1589316051805
--------------------
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-24b"
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-24b, 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-158897552800123"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-24b.tgz
mv AutoFlight-PT-24b 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 ;