About the Execution of 2019-Gold for AutoFlight-PT-12b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4285.720 | 3570136.00 | 3808938.00 | 9387.40 | F??F??FTFFFF?FFT | 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-158897552800119.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool win2019
Input is AutoFlight-PT-12b, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r015-smll-158897552800119
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 444K
-rw-r--r-- 1 mcc users 3.4K Mar 25 23:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 23:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 18:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 18:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 25 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 25 10:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 10:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 266K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME AutoFlight-PT-12b-00
FORMULA_NAME AutoFlight-PT-12b-01
FORMULA_NAME AutoFlight-PT-12b-02
FORMULA_NAME AutoFlight-PT-12b-03
FORMULA_NAME AutoFlight-PT-12b-04
FORMULA_NAME AutoFlight-PT-12b-05
FORMULA_NAME AutoFlight-PT-12b-06
FORMULA_NAME AutoFlight-PT-12b-07
FORMULA_NAME AutoFlight-PT-12b-08
FORMULA_NAME AutoFlight-PT-12b-09
FORMULA_NAME AutoFlight-PT-12b-10
FORMULA_NAME AutoFlight-PT-12b-11
FORMULA_NAME AutoFlight-PT-12b-12
FORMULA_NAME AutoFlight-PT-12b-13
FORMULA_NAME AutoFlight-PT-12b-14
FORMULA_NAME AutoFlight-PT-12b-15
=== Now, execution of the tool begins
BK_START 1589305305583
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ AutoFlight-PT-12b @ 3570 seconds
FORMULA AutoFlight-PT-12b-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-08 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-12b
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Tue May 12 17:41:45 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 110
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 0,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 110
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 1,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 110
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 2,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 273
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 110
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 3,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 296
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 296
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (G ((p333 <= p1086)))",
"processed_size": 23,
"rewrites": 112
},
"result":
{
"edges": 52,
"markings": 53,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 4,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 323
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 323
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "A (X (TRUE))",
"processed_size": 12,
"rewrites": 110
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 359
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (X ((p1038 + 1 <= p818)))",
"processed_size": 27,
"rewrites": 110
},
"result":
{
"edges": 540,
"markings": 540,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 6,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 359
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (X ((p977 + 1 <= p460)))",
"processed_size": 26,
"rewrites": 110
},
"result":
{
"edges": 540,
"markings": 540,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 410
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 410
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (G ((p358 <= p316)))",
"processed_size": 22,
"rewrites": 112
},
"result":
{
"edges": 12709330,
"markings": 7818717,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 9,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 449
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "(p154 <= 0)",
"processed_size": 11,
"rewrites": 112
},
"result":
{
"edges": 542,
"markings": 543,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 2
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 561
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(p636 <= p344)",
"processed_size": 14,
"rewrites": 112
},
"result":
{
"edges": 542,
"markings": 543,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 5
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 749
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 749
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (G ((p651 + 1 <= p736)))",
"processed_size": 26,
"rewrites": 112
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 3234472,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(X(*)) : A((X(G(*)) U **)) : A(G(F(**))) : FALSE : A(G(F(**))) : A(X(G((G(**) OR (G(*) AND F(G(**))))))) : (A(G(**)) AND A(X(X(F((** AND X((** AND G(**))))))))) : TRUE : (A(G(**)) AND A(G(*))) : A(F(*)) : A(F(**)) : (A(X(**)) AND A(X(TRUE))) : A(X(F((G(*) OR (X(*) AND F(*)))))) : FALSE : (A(X(**)) AND A(G(**))) : TRUE"
},
"net":
{
"arcs": 2618,
"conflict_clusters": 978,
"places": 1126,
"places_significant": 1050,
"singleton_clusters": 0,
"transitions": 1124
},
"result":
{
"interim_value": "no unknown unknown no unknown unknown no yes no no no no unknown no no yes ",
"preliminary_value": "no unknown unknown no unknown unknown no yes no no no no unknown no no yes "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 2250/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1126
lola: finding significant places
lola: 1126 places, 1124 transitions, 1050 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLCardinality.xml
lola: LP says that atomic proposition is always false: (3 <= p243)
lola: LP says that atomic proposition is always false: (3 <= p243)
lola: LP says that atomic proposition is always false: (3 <= p238)
lola: LP says that atomic proposition is always false: (3 <= p243)
lola: LP says that atomic proposition is always false: (3 <= p1110)
lola: LP says that atomic proposition is always false: (3 <= p640)
lola: LP says that atomic proposition is always false: (2 <= p930)
lola: LP says that atomic proposition is always false: (2 <= p1027)
lola: LP says that atomic proposition is always false: (3 <= p746)
lola: LP says that atomic proposition is always false: (2 <= p430)
lola: LP says that atomic proposition is always false: (3 <= p72)
lola: LP says that atomic proposition is always false: (3 <= p72)
lola: LP says that atomic proposition is always false: (2 <= p1002)
lola: LP says that atomic proposition is always false: (2 <= p1002)
lola: LP says that atomic proposition is always false: (2 <= p939)
lola: A ((((3 <= p243) AND X (NOT(G ((3 <= p243))))) U X (NOT(((p460 <= p977) OR ((p238 <= 2) U (3 <= p243))))))) : A (((3 <= p1110) U (NOT(F (X ((p1106 + 1 <= p1025)))) U (p1014 + 1 <= p346)))) : A (F (NOT(F ((NOT(X (G (F (G ((3 <= p640)))))) AND G (X (NOT(F ((p1065 <= p5)))))))))) : A (G (F (X ((((p712 + 1 <= p511) U (p511 <= p712)) U X (((p511 <= p712) U (2 <= p930)))))))) : A ((G (F ((1 <= p978))) AND NOT(G (((2 <= p1027) AND G (F ((p356 <= p537)))))))) : A (G ((X (NOT(F ((p589 <= p287)))) U X (G ((p520 <= p726)))))) : A ((G ((p333 <= p1086)) AND X (X (F (((p333 <= p1086) AND X (((p1107 <= p467) AND G ((p925 <= p284)))))))))) : A ((X (((p976 <= p258) OR G ((p746 <= 2)))) OR G ((0 <= p746)))) : A ((G ((p629 <= p965)) AND NOT(F ((p736 <= p651))))) : A (F (NOT(G ((p636 <= p344))))) : A (F ((1 <= p154))) : A (X (((p1038 + 1 <= p818) AND X (G ((0 <= p1112)))))) : A (NOT(G (X ((F ((1 <= p413)) AND (X ((p198 <= p989)) OR G ((p279 <= p975)))))))) : A (F (G ((NOT(((2 <= p430) AND ((p580 <= p594) OR NOT(X ((p680 <= p547)))))) U (F ((3 <= p72)) U (3 <= p72)))))) : A (((X ((p1023 <= p826)) OR F (X ((2 <= p1002)))) AND (G ((p358 <= p316)) OR G ((2 <= p1002))))) : A (NOT(G (X ((2 <= p939)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
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:118
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:157
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:118
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:115
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:123
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:123
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:142
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:157
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:157
lola: rewrite Frontend/Parser/formula_rewrite.k:121
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:536
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 110 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 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 110 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 254 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: 110 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 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 110 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G ((p333 <= p1086))) AND A (X (X (F (((p333 <= p1086) AND X (((p1107 <= p467) AND G ((p925 <= p284))))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p333 <= p1086)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((p333 <= p1086)))
lola: processed formula length: 23
lola: 112 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p1086 + 1 <= p333)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 53 markings, 52 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (G ((p1025 <= p1106))) U (p1014 + 1 <= p346)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (G ((p1025 <= p1106))) U (p1014 + 1 <= p346)))
lola: processed formula length: 52
lola: 110 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: 88850 markings, 485503 edges, 17770 markings/sec, 0 secs
lola: 168761 markings, 970981 edges, 15982 markings/sec, 5 secs
lola: 248607 markings, 1459131 edges, 15969 markings/sec, 10 secs
lola: 316575 markings, 1943976 edges, 13594 markings/sec, 15 secs
lola: 388068 markings, 2432599 edges, 14299 markings/sec, 20 secs
lola: 463981 markings, 2918142 edges, 15183 markings/sec, 25 secs
lola: 531481 markings, 3402084 edges, 13500 markings/sec, 30 secs
lola: 603232 markings, 3889756 edges, 14350 markings/sec, 35 secs
lola: 666806 markings, 4377066 edges, 12715 markings/sec, 40 secs
lola: 725764 markings, 4860880 edges, 11792 markings/sec, 45 secs
lola: 790590 markings, 5341396 edges, 12965 markings/sec, 50 secs
lola: 863165 markings, 5819322 edges, 14515 markings/sec, 55 secs
lola: 931412 markings, 6308388 edges, 13649 markings/sec, 60 secs
lola: 1008654 markings, 6801699 edges, 15448 markings/sec, 65 secs
lola: 1077530 markings, 7293033 edges, 13775 markings/sec, 70 secs
lola: 1149740 markings, 7785131 edges, 14442 markings/sec, 75 secs
lola: 1226712 markings, 8280486 edges, 15394 markings/sec, 80 secs
lola: 1294832 markings, 8771448 edges, 13624 markings/sec, 85 secs
lola: 1369221 markings, 9266072 edges, 14878 markings/sec, 90 secs
lola: 1444106 markings, 9756928 edges, 14977 markings/sec, 95 secs
lola: 1512543 markings, 10246355 edges, 13687 markings/sec, 100 secs
lola: 1584890 markings, 10738719 edges, 14469 markings/sec, 105 secs
lola: 1647376 markings, 11229442 edges, 12497 markings/sec, 110 secs
lola: 1707354 markings, 11718063 edges, 11996 markings/sec, 115 secs
lola: 1773510 markings, 12210925 edges, 13231 markings/sec, 120 secs
lola: 1836814 markings, 12699546 edges, 12661 markings/sec, 125 secs
lola: 1896544 markings, 13188141 edges, 11946 markings/sec, 130 secs
lola: 1959558 markings, 13680145 edges, 12603 markings/sec, 135 secs
lola: 2016962 markings, 14170255 edges, 11481 markings/sec, 140 secs
lola: 2069524 markings, 14659132 edges, 10512 markings/sec, 145 secs
lola: 2125470 markings, 15150234 edges, 11189 markings/sec, 150 secs
lola: 2190437 markings, 15643161 edges, 12993 markings/sec, 155 secs
lola: 2250053 markings, 16134654 edges, 11923 markings/sec, 160 secs
lola: 2313465 markings, 16625268 edges, 12682 markings/sec, 165 secs
lola: 2380246 markings, 17119309 edges, 13356 markings/sec, 170 secs
lola: 2440544 markings, 17611379 edges, 12060 markings/sec, 175 secs
lola: 2502719 markings, 18099219 edges, 12435 markings/sec, 180 secs
lola: 2569649 markings, 18591506 edges, 13386 markings/sec, 185 secs
lola: 2630306 markings, 19082436 edges, 12131 markings/sec, 190 secs
lola: 2692104 markings, 19573382 edges, 12360 markings/sec, 195 secs
lola: 2771084 markings, 20063435 edges, 15796 markings/sec, 200 secs
lola: 2850095 markings, 20547239 edges, 15802 markings/sec, 205 secs
lola: 2934222 markings, 21033174 edges, 16825 markings/sec, 210 secs
lola: 3006634 markings, 21517542 edges, 14482 markings/sec, 215 secs
lola: 3074422 markings, 22000527 edges, 13558 markings/sec, 220 secs
lola: 3150535 markings, 22485612 edges, 15223 markings/sec, 225 secs
lola: 3217806 markings, 22966880 edges, 13454 markings/sec, 230 secs
lola: 3285316 markings, 23428216 edges, 13502 markings/sec, 235 secs
lola: 3354060 markings, 23915205 edges, 13749 markings/sec, 240 secs
lola: 3413379 markings, 24400822 edges, 11864 markings/sec, 245 secs
lola: 3475485 markings, 24886948 edges, 12421 markings/sec, 250 secs
lola: 3547805 markings, 25375553 edges, 14464 markings/sec, 255 secs
lola: 3615825 markings, 25862560 edges, 13604 markings/sec, 260 secs
lola: 3687493 markings, 26350078 edges, 14334 markings/sec, 265 secs
lola: 3763801 markings, 26838906 edges, 15262 markings/sec, 270 secs
lola: 3831385 markings, 27326384 edges, 13517 markings/sec, 275 secs
lola: 3906437 markings, 27817376 edges, 15010 markings/sec, 280 secs
lola: 3980031 markings, 28309869 edges, 14719 markings/sec, 285 secs
lola: 4049144 markings, 28801626 edges, 13823 markings/sec, 290 secs
lola: 4121150 markings, 29294737 edges, 14401 markings/sec, 295 secs
lola: 4181868 markings, 29783820 edges, 12144 markings/sec, 300 secs
lola: 4242845 markings, 30272362 edges, 12195 markings/sec, 305 secs
lola: 4305997 markings, 30764837 edges, 12630 markings/sec, 310 secs
lola: 4362033 markings, 31255847 edges, 11207 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no unknown unknown no yes unknown unknown unknown unknown unknown no unknown yes
lola: memory consumption: 1494048 KB
lola: time consumption: 335 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 6 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X ((p1038 + 1 <= p818))) AND A (X (TRUE)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (TRUE))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (TRUE))
lola: processed formula length: 12
lola: 110 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 7 will run for 359 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((p1038 + 1 <= p818)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((p1038 + 1 <= p818)))
lola: processed formula length: 27
lola: 110 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: 540 markings, 540 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 7 will run for 359 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((G ((p413 <= 0)) OR (X ((p989 + 1 <= p198)) AND F ((p975 + 1 <= p279)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((G ((p413 <= 0)) OR (X ((p989 + 1 <= p198)) AND F ((p975 + 1 <= p279)))))))
lola: processed formula length: 84
lola: 110 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 153095 markings, 509694 edges, 30619 markings/sec, 0 secs
lola: 284439 markings, 1015087 edges, 26269 markings/sec, 5 secs
lola: 416631 markings, 1517995 edges, 26438 markings/sec, 10 secs
lola: 546499 markings, 2014595 edges, 25974 markings/sec, 15 secs
lola: 675508 markings, 2515673 edges, 25802 markings/sec, 20 secs
lola: 799960 markings, 3014656 edges, 24890 markings/sec, 25 secs
lola: 910286 markings, 3510175 edges, 22065 markings/sec, 30 secs
lola: 1025980 markings, 4006078 edges, 23139 markings/sec, 35 secs
lola: 1136124 markings, 4494212 edges, 22029 markings/sec, 40 secs
lola: 1244627 markings, 4981854 edges, 21701 markings/sec, 45 secs
lola: 1395367 markings, 5486113 edges, 30148 markings/sec, 50 secs
lola: 1526139 markings, 5987522 edges, 26154 markings/sec, 55 secs
lola: 1657690 markings, 6487241 edges, 26310 markings/sec, 60 secs
lola: 1787292 markings, 6983392 edges, 25920 markings/sec, 65 secs
lola: 1913939 markings, 7474065 edges, 25329 markings/sec, 70 secs
lola: 2035954 markings, 7963210 edges, 24403 markings/sec, 75 secs
lola: 2147465 markings, 8460078 edges, 22302 markings/sec, 80 secs
lola: 2263162 markings, 8956182 edges, 23139 markings/sec, 85 secs
lola: 2374185 markings, 9449649 edges, 22205 markings/sec, 90 secs
lola: 2481835 markings, 9939427 edges, 21530 markings/sec, 95 secs
lola: 2625174 markings, 10441560 edges, 28668 markings/sec, 100 secs
lola: 2747036 markings, 10938380 edges, 24372 markings/sec, 105 secs
lola: 2888387 markings, 11440379 edges, 28270 markings/sec, 110 secs
lola: 3009059 markings, 11934819 edges, 24134 markings/sec, 115 secs
lola: 3139317 markings, 12422514 edges, 26052 markings/sec, 120 secs
lola: 3255194 markings, 12907331 edges, 23175 markings/sec, 125 secs
lola: 3367398 markings, 13383061 edges, 22441 markings/sec, 130 secs
lola: 3482966 markings, 13863285 edges, 23114 markings/sec, 135 secs
lola: 3586014 markings, 14343027 edges, 20610 markings/sec, 140 secs
lola: 3687459 markings, 14815074 edges, 20289 markings/sec, 145 secs
lola: 3798194 markings, 15290063 edges, 22147 markings/sec, 150 secs
lola: 3921169 markings, 15779657 edges, 24595 markings/sec, 155 secs
lola: 4035885 markings, 16265422 edges, 22943 markings/sec, 160 secs
lola: 4153158 markings, 16745512 edges, 23455 markings/sec, 165 secs
lola: 4263401 markings, 17221915 edges, 22049 markings/sec, 170 secs
lola: 4367653 markings, 17706716 edges, 20850 markings/sec, 175 secs
lola: 4469953 markings, 18187045 edges, 20460 markings/sec, 180 secs
lola: 4592296 markings, 18679010 edges, 24469 markings/sec, 185 secs
lola: 4714560 markings, 19180933 edges, 24453 markings/sec, 190 secs
lola: 4840386 markings, 19683214 edges, 25165 markings/sec, 195 secs
lola: 4962548 markings, 20183884 edges, 24432 markings/sec, 200 secs
lola: 5096525 markings, 20684025 edges, 26795 markings/sec, 205 secs
lola: 5234620 markings, 21186072 edges, 27619 markings/sec, 210 secs
lola: 5369130 markings, 21688899 edges, 26902 markings/sec, 215 secs
lola: 5524289 markings, 22195251 edges, 31032 markings/sec, 220 secs
lola: 5660546 markings, 22699076 edges, 27251 markings/sec, 225 secs
lola: 5801550 markings, 23197699 edges, 28201 markings/sec, 230 secs
lola: 5922369 markings, 23694025 edges, 24164 markings/sec, 235 secs
lola: 6043539 markings, 24188670 edges, 24234 markings/sec, 240 secs
lola: 6171747 markings, 24684177 edges, 25642 markings/sec, 245 secs
lola: 6286819 markings, 25173428 edges, 23014 markings/sec, 250 secs
lola: 6409486 markings, 25668242 edges, 24533 markings/sec, 255 secs
lola: 6520003 markings, 26161608 edges, 22103 markings/sec, 260 secs
lola: 6623222 markings, 26650091 edges, 20644 markings/sec, 265 secs
lola: 6737464 markings, 27121095 edges, 22848 markings/sec, 270 secs
lola: 6854985 markings, 27613882 edges, 23504 markings/sec, 275 secs
lola: 6975685 markings, 28104947 edges, 24140 markings/sec, 280 secs
lola: 7105718 markings, 28605948 edges, 26007 markings/sec, 285 secs
lola: 7223962 markings, 29104291 edges, 23649 markings/sec, 290 secs
lola: 7353751 markings, 29606936 edges, 25958 markings/sec, 295 secs
lola: 7472667 markings, 30106544 edges, 23783 markings/sec, 300 secs
lola: 7595327 markings, 30605246 edges, 24532 markings/sec, 305 secs
lola: 7724147 markings, 31101842 edges, 25764 markings/sec, 310 secs
lola: 7841129 markings, 31593371 edges, 23396 markings/sec, 315 secs
lola: 7963833 markings, 32091887 edges, 24541 markings/sec, 320 secs
lola: 8073142 markings, 32593199 edges, 21862 markings/sec, 325 secs
lola: 8179533 markings, 33090843 edges, 21278 markings/sec, 330 secs
lola: 8295058 markings, 33590304 edges, 23105 markings/sec, 335 secs
lola: 8399217 markings, 34083687 edges, 20832 markings/sec, 340 secs
lola: 8508235 markings, 34577537 edges, 21804 markings/sec, 345 secs
lola: 8613278 markings, 35073053 edges, 21009 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no unknown unknown no yes unknown unknown unknown no unknown no unknown yes
lola: memory consumption: 2034620 KB
lola: time consumption: 694 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 359 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((p977 + 1 <= p460)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((p977 + 1 <= p460)))
lola: processed formula length: 26
lola: 110 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: 540 markings, 540 edges
lola: ========================================
lola: subprocess 9 will run for 410 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X ((p1023 <= p826))) AND A (G ((p358 <= p316))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 410 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p358 <= p316)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((p358 <= p316)))
lola: processed formula length: 22
lola: 112 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p316 + 1 <= p358)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to LTLCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file LTLCardinality-9-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 223817 markings, 357203 edges, 44763 markings/sec, 0 secs
lola: sara is running 5 secs || 449075 markings, 720963 edges, 45052 markings/sec, 5 secs
lola: sara is running 10 secs || 672678 markings, 1082622 edges, 44721 markings/sec, 10 secs
lola: sara is running 15 secs || 892881 markings, 1437085 edges, 44041 markings/sec, 15 secs
lola: sara is running 20 secs || 1110350 markings, 1791477 edges, 43494 markings/sec, 20 secs
lola: sara is running 25 secs || 1329448 markings, 2148171 edges, 43820 markings/sec, 25 secs
lola: sara is running 30 secs || 1547061 markings, 2503457 edges, 43523 markings/sec, 30 secs
lola: sara is running 35 secs || 1763315 markings, 2855389 edges, 43251 markings/sec, 35 secs
lola: sara is running 40 secs || 1980003 markings, 3206102 edges, 43338 markings/sec, 40 secs
lola: sara is running 45 secs || 2195436 markings, 3556356 edges, 43087 markings/sec, 45 secs
lola: sara is running 50 secs || 2412747 markings, 3908105 edges, 43462 markings/sec, 50 secs
lola: sara is running 55 secs || 2630425 markings, 4267215 edges, 43536 markings/sec, 55 secs
lola: sara is running 60 secs || 2847192 markings, 4621063 edges, 43353 markings/sec, 60 secs
lola: sara is running 65 secs || 3065570 markings, 4973877 edges, 43676 markings/sec, 65 secs
lola: sara is running 70 secs || 3284521 markings, 5329628 edges, 43790 markings/sec, 70 secs
lola: sara is running 75 secs || 3502576 markings, 5683986 edges, 43611 markings/sec, 75 secs
lola: sara is running 80 secs || 3719413 markings, 6036921 edges, 43367 markings/sec, 80 secs
lola: sara is running 85 secs || 3934984 markings, 6391268 edges, 43114 markings/sec, 85 secs
lola: sara is running 90 secs || 4147906 markings, 6739422 edges, 42584 markings/sec, 90 secs
lola: sara is running 95 secs || 4361919 markings, 7086321 edges, 42803 markings/sec, 95 secs
lola: sara is running 100 secs || 4576790 markings, 7436129 edges, 42974 markings/sec, 100 secs
lola: sara is running 105 secs || 4793489 markings, 7787878 edges, 43340 markings/sec, 105 secs
lola: sara is running 110 secs || 5007635 markings, 8136677 edges, 42829 markings/sec, 110 secs
lola: sara is running 115 secs || 5222006 markings, 8484865 edges, 42874 markings/sec, 115 secs
lola: sara is running 120 secs || 5438590 markings, 8836806 edges, 43317 markings/sec, 120 secs
lola: sara is running 125 secs || 5654851 markings, 9186892 edges, 43252 markings/sec, 125 secs
lola: sara is running 130 secs || 5871401 markings, 9536873 edges, 43310 markings/sec, 130 secs
lola: sara is running 135 secs || 6084843 markings, 9885028 edges, 42688 markings/sec, 135 secs
lola: sara is running 140 secs || 6299003 markings, 10233940 edges, 42832 markings/sec, 140 secs
lola: sara is running 145 secs || 6513523 markings, 10585644 edges, 42904 markings/sec, 145 secs
lola: sara is running 150 secs || 6729032 markings, 10937425 edges, 43102 markings/sec, 150 secs
lola: sara is running 155 secs || 6947237 markings, 11289031 edges, 43641 markings/sec, 155 secs
lola: sara is running 160 secs || 7163407 markings, 11639133 edges, 43234 markings/sec, 160 secs
lola: sara is running 165 secs || 7379603 markings, 11992265 edges, 43239 markings/sec, 165 secs
lola: sara is running 170 secs || 7596627 markings, 12345780 edges, 43405 markings/sec, 170 secs
lola: sara is running 175 secs || 7811324 markings, 12698038 edges, 42939 markings/sec, 175 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 7818717 markings, 12709330 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 10 will run for 449 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((G ((p520 <= p726)) OR (G ((p287 + 1 <= p589)) AND F (G ((p520 <= p726))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((G ((p520 <= p726)) OR (G ((p287 + 1 <= p589)) AND F (G ((p520 <= p726))))))))
lola: processed formula length: 87
lola: 110 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 89088 markings, 487217 edges, 17818 markings/sec, 0 secs
lola: 169443 markings, 974536 edges, 16071 markings/sec, 5 secs
lola: 249349 markings, 1464624 edges, 15981 markings/sec, 10 secs
lola: 317688 markings, 1953130 edges, 13668 markings/sec, 15 secs
lola: 389933 markings, 2444101 edges, 14449 markings/sec, 20 secs
lola: 465860 markings, 2931432 edges, 15185 markings/sec, 25 secs
lola: 533800 markings, 3417996 edges, 13588 markings/sec, 30 secs
lola: 605855 markings, 3907972 edges, 14411 markings/sec, 35 secs
lola: 669400 markings, 4397510 edges, 12709 markings/sec, 40 secs
lola: 728779 markings, 4884414 edges, 11876 markings/sec, 45 secs
lola: 796327 markings, 5375387 edges, 13510 markings/sec, 50 secs
lola: 869411 markings, 5865506 edges, 14617 markings/sec, 55 secs
lola: 937965 markings, 6353595 edges, 13711 markings/sec, 60 secs
lola: 1014715 markings, 6845151 edges, 15350 markings/sec, 65 secs
lola: 1082936 markings, 7335703 edges, 13644 markings/sec, 70 secs
lola: 1155441 markings, 7826669 edges, 14501 markings/sec, 75 secs
lola: 1232764 markings, 8319612 edges, 15465 markings/sec, 80 secs
lola: 1300521 markings, 8810693 edges, 13551 markings/sec, 85 secs
lola: 1375597 markings, 9304803 edges, 15015 markings/sec, 90 secs
lola: 1449507 markings, 9794921 edges, 14782 markings/sec, 95 secs
lola: 1517906 markings, 10283818 edges, 13680 markings/sec, 100 secs
lola: 1589897 markings, 10776306 edges, 14398 markings/sec, 105 secs
lola: 1651429 markings, 11266683 edges, 12306 markings/sec, 110 secs
lola: 1712143 markings, 11755771 edges, 12143 markings/sec, 115 secs
lola: 1778835 markings, 12247830 edges, 13338 markings/sec, 120 secs
lola: 1841130 markings, 12736233 edges, 12459 markings/sec, 125 secs
lola: 1901042 markings, 13223699 edges, 11982 markings/sec, 130 secs
lola: 1963978 markings, 13714881 edges, 12587 markings/sec, 135 secs
lola: 2020872 markings, 14205147 edges, 11379 markings/sec, 140 secs
lola: 2073337 markings, 14693109 edges, 10493 markings/sec, 145 secs
lola: 2129156 markings, 15183437 edges, 11164 markings/sec, 150 secs
lola: 2194470 markings, 15675426 edges, 13063 markings/sec, 155 secs
lola: 2254329 markings, 16165844 edges, 11972 markings/sec, 160 secs
lola: 2317413 markings, 16656103 edges, 12617 markings/sec, 165 secs
lola: 2383974 markings, 17148483 edges, 13312 markings/sec, 170 secs
lola: 2443695 markings, 17639384 edges, 11944 markings/sec, 175 secs
lola: 2506900 markings, 18130834 edges, 12641 markings/sec, 180 secs
lola: 2573904 markings, 18625450 edges, 13401 markings/sec, 185 secs
lola: 2634482 markings, 19119183 edges, 12116 markings/sec, 190 secs
lola: 2697494 markings, 19613901 edges, 12602 markings/sec, 195 secs
lola: 2778136 markings, 20105208 edges, 16128 markings/sec, 200 secs
lola: 2857474 markings, 20590656 edges, 15868 markings/sec, 205 secs
lola: 2941874 markings, 21078754 edges, 16880 markings/sec, 210 secs
lola: 3012776 markings, 21565330 edges, 14180 markings/sec, 215 secs
lola: 3081725 markings, 22050517 edges, 13790 markings/sec, 220 secs
lola: 3157810 markings, 22537923 edges, 15217 markings/sec, 225 secs
lola: 3225272 markings, 23022327 edges, 13492 markings/sec, 230 secs
lola: 3296807 markings, 23507886 edges, 14307 markings/sec, 235 secs
lola: 3364221 markings, 23993831 edges, 13483 markings/sec, 240 secs
lola: 3422965 markings, 24477811 edges, 11749 markings/sec, 245 secs
lola: 3485297 markings, 24962946 edges, 12466 markings/sec, 250 secs
lola: 3558799 markings, 25449554 edges, 14700 markings/sec, 255 secs
lola: 3626247 markings, 25934620 edges, 13490 markings/sec, 260 secs
lola: 3697802 markings, 26417235 edges, 14311 markings/sec, 265 secs
lola: 3772719 markings, 26900616 edges, 14983 markings/sec, 270 secs
lola: 3840093 markings, 27383255 edges, 13475 markings/sec, 275 secs
lola: 3915338 markings, 27869729 edges, 15049 markings/sec, 280 secs
lola: 3985915 markings, 28356882 edges, 14115 markings/sec, 285 secs
lola: 4055296 markings, 28843972 edges, 13876 markings/sec, 290 secs
lola: 4125510 markings, 29331268 edges, 14043 markings/sec, 295 secs
lola: 4185346 markings, 29814907 edges, 11967 markings/sec, 300 secs
lola: 4246173 markings, 30298548 edges, 12165 markings/sec, 305 secs
lola: 4308669 markings, 30785864 edges, 12499 markings/sec, 310 secs
lola: 4363801 markings, 31271131 edges, 11026 markings/sec, 315 secs
lola: 4415623 markings, 31753412 edges, 10364 markings/sec, 320 secs
lola: 4471156 markings, 32240851 edges, 11107 markings/sec, 325 secs
lola: 4529453 markings, 32724897 edges, 11659 markings/sec, 330 secs
lola: 4581434 markings, 33205941 edges, 10396 markings/sec, 335 secs
lola: 4635896 markings, 33687107 edges, 10892 markings/sec, 340 secs
lola: 4691238 markings, 34172702 edges, 11068 markings/sec, 345 secs
lola: 4741193 markings, 34656133 edges, 9991 markings/sec, 350 secs
lola: 4787927 markings, 35137319 edges, 9347 markings/sec, 355 secs
lola: 4837050 markings, 35620195 edges, 9825 markings/sec, 360 secs
lola: 4892734 markings, 36106574 edges, 11137 markings/sec, 365 secs
lola: 4947647 markings, 36590998 edges, 10983 markings/sec, 370 secs
lola: 4999447 markings, 37072572 edges, 10360 markings/sec, 375 secs
lola: 5054772 markings, 37558241 edges, 11065 markings/sec, 380 secs
lola: 5113381 markings, 38044416 edges, 11722 markings/sec, 385 secs
lola: 5165617 markings, 38528588 edges, 10447 markings/sec, 390 secs
lola: 5220451 markings, 39012865 edges, 10967 markings/sec, 395 secs
lola: 5279342 markings, 39502164 edges, 11778 markings/sec, 400 secs
lola: 5331522 markings, 39959977 edges, 10436 markings/sec, 405 secs
lola: 5384323 markings, 40450810 edges, 10560 markings/sec, 410 secs
lola: 5440741 markings, 40945804 edges, 11284 markings/sec, 415 secs
lola: 5515538 markings, 41434819 edges, 14959 markings/sec, 420 secs
lola: 5583134 markings, 41921788 edges, 13519 markings/sec, 425 secs
lola: 5655628 markings, 42412294 edges, 14499 markings/sec, 430 secs
lola: 5720015 markings, 42901471 edges, 12877 markings/sec, 435 secs
lola: 5779025 markings, 43388605 edges, 11802 markings/sec, 440 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown no unknown unknown no yes unknown unknown unknown no unknown no no yes
lola: memory consumption: 1983808 KB
lola: time consumption: 1323 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 449 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((1 <= p154)))
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: (p154 <= 0)
lola: processed formula length: 11
lola: 112 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: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 543 markings, 542 edges
lola: ========================================
lola: subprocess 12 will run for 561 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p344 + 1 <= p636)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: (p636 <= p344)
lola: processed formula length: 14
lola: 112 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: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 543 markings, 542 edges
lola: ========================================
lola: subprocess 13 will run for 749 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((1 <= p978))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((1 <= p978))))
lola: processed formula length: 23
lola: 110 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: 133376 markings, 504245 edges, 26675 markings/sec, 0 secs
lola: 248932 markings, 984637 edges, 23111 markings/sec, 5 secs
lola: 364759 markings, 1496438 edges, 23165 markings/sec, 10 secs
lola: 481720 markings, 2008135 edges, 23392 markings/sec, 15 secs
lola: 590591 markings, 2518189 edges, 21774 markings/sec, 20 secs
lola: 704428 markings, 3027991 edges, 22767 markings/sec, 25 secs
lola: 814034 markings, 3530767 edges, 21921 markings/sec, 30 secs
lola: 920726 markings, 4037804 edges, 21338 markings/sec, 35 secs
lola: 1037952 markings, 4544897 edges, 23445 markings/sec, 40 secs
lola: 1139313 markings, 5032073 edges, 20272 markings/sec, 45 secs
lola: 1238846 markings, 5540538 edges, 19907 markings/sec, 50 secs
lola: 1349127 markings, 6053519 edges, 22056 markings/sec, 55 secs
lola: 1463732 markings, 6568349 edges, 22921 markings/sec, 60 secs
lola: 1580091 markings, 7081457 edges, 23272 markings/sec, 65 secs
lola: 1684218 markings, 7595522 edges, 20825 markings/sec, 70 secs
lola: 1785491 markings, 8109434 edges, 20255 markings/sec, 75 secs
lola: 1890044 markings, 8624246 edges, 20911 markings/sec, 80 secs
lola: 1986754 markings, 9139867 edges, 19342 markings/sec, 85 secs
lola: 2094698 markings, 9654640 edges, 21589 markings/sec, 90 secs
lola: 2189171 markings, 10169417 edges, 18895 markings/sec, 95 secs
lola: 2290005 markings, 10680728 edges, 20167 markings/sec, 100 secs
lola: 2397204 markings, 11189799 edges, 21440 markings/sec, 105 secs
lola: 2499002 markings, 11694898 edges, 20360 markings/sec, 110 secs
lola: 2606195 markings, 12203045 edges, 21439 markings/sec, 115 secs
lola: 2710634 markings, 12710448 edges, 20888 markings/sec, 120 secs
lola: 2809011 markings, 13218262 edges, 19675 markings/sec, 125 secs
lola: 2909950 markings, 13719448 edges, 20188 markings/sec, 130 secs
lola: 3010748 markings, 14225572 edges, 20160 markings/sec, 135 secs
lola: 3101979 markings, 14728147 edges, 18246 markings/sec, 140 secs
lola: 3191962 markings, 15226894 edges, 17997 markings/sec, 145 secs
lola: 3292530 markings, 15680096 edges, 20114 markings/sec, 150 secs
lola: 3402976 markings, 16190853 edges, 22089 markings/sec, 155 secs
lola: 3513218 markings, 16699591 edges, 22048 markings/sec, 160 secs
lola: 3613058 markings, 17208016 edges, 19968 markings/sec, 165 secs
lola: 3701170 markings, 17714952 edges, 17622 markings/sec, 170 secs
lola: 3796909 markings, 18222563 edges, 19148 markings/sec, 175 secs
lola: 3911347 markings, 18732056 edges, 22888 markings/sec, 180 secs
lola: 4020141 markings, 19241162 edges, 21759 markings/sec, 185 secs
lola: 4126035 markings, 19749348 edges, 21179 markings/sec, 190 secs
lola: 4222487 markings, 20253724 edges, 19290 markings/sec, 195 secs
lola: 4326079 markings, 20761614 edges, 20718 markings/sec, 200 secs
lola: 4413143 markings, 21241310 edges, 17413 markings/sec, 205 secs
lola: 4500133 markings, 21754694 edges, 17398 markings/sec, 210 secs
lola: 4606987 markings, 22268554 edges, 21371 markings/sec, 215 secs
lola: 4702986 markings, 22780970 edges, 19200 markings/sec, 220 secs
lola: 4800684 markings, 23294128 edges, 19540 markings/sec, 225 secs
lola: 4886366 markings, 23808036 edges, 17136 markings/sec, 230 secs
lola: 4982322 markings, 24321045 edges, 19191 markings/sec, 235 secs
lola: 5071647 markings, 24834284 edges, 17865 markings/sec, 240 secs
lola: 5156970 markings, 25347891 edges, 17065 markings/sec, 245 secs
lola: 5268282 markings, 25859215 edges, 22262 markings/sec, 250 secs
lola: 5377031 markings, 26372769 edges, 21750 markings/sec, 255 secs
lola: 5491683 markings, 26885573 edges, 22930 markings/sec, 260 secs
lola: 5591030 markings, 27402526 edges, 19869 markings/sec, 265 secs
lola: 5696747 markings, 27916625 edges, 21143 markings/sec, 270 secs
lola: 5803690 markings, 28430066 edges, 21389 markings/sec, 275 secs
lola: 5904074 markings, 28940262 edges, 20077 markings/sec, 280 secs
lola: 5990949 markings, 29430774 edges, 17375 markings/sec, 285 secs
lola: 6098200 markings, 29916561 edges, 21450 markings/sec, 290 secs
lola: 6204505 markings, 30424923 edges, 21261 markings/sec, 295 secs
lola: 6317722 markings, 30931075 edges, 22643 markings/sec, 300 secs
lola: 6418226 markings, 31447386 edges, 20101 markings/sec, 305 secs
lola: 6515406 markings, 31960615 edges, 19436 markings/sec, 310 secs
lola: 6610499 markings, 32476578 edges, 19019 markings/sec, 315 secs
lola: 6703851 markings, 32991838 edges, 18670 markings/sec, 320 secs
lola: 6796459 markings, 33506442 edges, 18522 markings/sec, 325 secs
lola: 6882124 markings, 34021052 edges, 17133 markings/sec, 330 secs
lola: 6985529 markings, 34534839 edges, 20681 markings/sec, 335 secs
lola: 7085516 markings, 35050394 edges, 19997 markings/sec, 340 secs
lola: 7188566 markings, 35565155 edges, 20610 markings/sec, 345 secs
lola: 7283843 markings, 36083532 edges, 19055 markings/sec, 350 secs
lola: 7378411 markings, 36600137 edges, 18914 markings/sec, 355 secs
lola: 7472495 markings, 37113975 edges, 18817 markings/sec, 360 secs
lola: 7562516 markings, 37624553 edges, 18004 markings/sec, 365 secs
lola: 7655631 markings, 38139517 edges, 18623 markings/sec, 370 secs
lola: 7748231 markings, 38654327 edges, 18520 markings/sec, 375 secs
lola: 7833567 markings, 39170981 edges, 17067 markings/sec, 380 secs
lola: 7924812 markings, 39687197 edges, 18249 markings/sec, 385 secs
lola: 8028613 markings, 40202323 edges, 20760 markings/sec, 390 secs
lola: 8128268 markings, 40717624 edges, 19931 markings/sec, 395 secs
lola: 8231285 markings, 41231742 edges, 20603 markings/sec, 400 secs
lola: 8322293 markings, 41749617 edges, 18202 markings/sec, 405 secs
lola: 8414706 markings, 42264804 edges, 18483 markings/sec, 410 secs
lola: 8499604 markings, 42778343 edges, 16980 markings/sec, 415 secs
lola: 8583020 markings, 43293957 edges, 16683 markings/sec, 420 secs
lola: 8674484 markings, 43809190 edges, 18293 markings/sec, 425 secs
lola: 8755399 markings, 44325146 edges, 16183 markings/sec, 430 secs
lola: 8844330 markings, 44838500 edges, 17786 markings/sec, 435 secs
lola: 8954089 markings, 45349954 edges, 21952 markings/sec, 440 secs
lola: 9057828 markings, 45863225 edges, 20748 markings/sec, 445 secs
lola: 9157869 markings, 46378536 edges, 20008 markings/sec, 450 secs
lola: 9254654 markings, 46893338 edges, 19357 markings/sec, 455 secs
lola: 9361971 markings, 47408107 edges, 21463 markings/sec, 460 secs
lola: 9458422 markings, 47924678 edges, 19290 markings/sec, 465 secs
lola: 9557834 markings, 48440532 edges, 19882 markings/sec, 470 secs
lola: 9649337 markings, 48950611 edges, 18301 markings/sec, 475 secs
lola: 9755688 markings, 49465299 edges, 21270 markings/sec, 480 secs
lola: 9859392 markings, 49980470 edges, 20741 markings/sec, 485 secs
lola: 9950356 markings, 50494993 edges, 18193 markings/sec, 490 secs
lola: 10041497 markings, 51010727 edges, 18228 markings/sec, 495 secs
lola: 10133331 markings, 51525580 edges, 18367 markings/sec, 500 secs
lola: 10232007 markings, 52042104 edges, 19735 markings/sec, 505 secs
lola: 10326317 markings, 52558638 edges, 18862 markings/sec, 510 secs
lola: 10424161 markings, 53074630 edges, 19569 markings/sec, 515 secs
lola: 10510782 markings, 53590797 edges, 17324 markings/sec, 520 secs
lola: 10603974 markings, 54104918 edges, 18638 markings/sec, 525 secs
lola: 10704904 markings, 54621339 edges, 20186 markings/sec, 530 secs
lola: 10799527 markings, 55135796 edges, 18925 markings/sec, 535 secs
lola: 10895048 markings, 55645758 edges, 19104 markings/sec, 540 secs
lola: 10987785 markings, 56156506 edges, 18547 markings/sec, 545 secs
lola: 11083830 markings, 56666433 edges, 19209 markings/sec, 550 secs
lola: 11179282 markings, 57179690 edges, 19090 markings/sec, 555 secs
lola: 11269328 markings, 57694505 edges, 18009 markings/sec, 560 secs
lola: 11365843 markings, 58205678 edges, 19303 markings/sec, 565 secs
lola: 11459025 markings, 58717992 edges, 18636 markings/sec, 570 secs
lola: 11548974 markings, 59230211 edges, 17990 markings/sec, 575 secs
lola: 11641678 markings, 59742866 edges, 18541 markings/sec, 580 secs
lola: 11740405 markings, 60257335 edges, 19745 markings/sec, 585 secs
lola: 11834736 markings, 60771373 edges, 18866 markings/sec, 590 secs
lola: 11933716 markings, 61285566 edges, 19796 markings/sec, 595 secs
lola: 12022356 markings, 61799420 edges, 17728 markings/sec, 600 secs
lola: 12109137 markings, 62313128 edges, 17356 markings/sec, 605 secs
lola: 12193935 markings, 62826534 edges, 16960 markings/sec, 610 secs
lola: 12279190 markings, 63339028 edges, 17051 markings/sec, 615 secs
lola: 12371922 markings, 63849271 edges, 18546 markings/sec, 620 secs
lola: 12462533 markings, 64357623 edges, 18122 markings/sec, 625 secs
lola: 12554854 markings, 64870234 edges, 18464 markings/sec, 630 secs
lola: 12647998 markings, 65384326 edges, 18629 markings/sec, 635 secs
lola: 12732324 markings, 65895917 edges, 16865 markings/sec, 640 secs
lola: 12813685 markings, 66406482 edges, 16272 markings/sec, 645 secs
lola: 12897345 markings, 66914791 edges, 16732 markings/sec, 650 secs
lola: 12978201 markings, 67422823 edges, 16171 markings/sec, 655 secs
lola: 13062408 markings, 67931951 edges, 16841 markings/sec, 660 secs
lola: 13151512 markings, 68441602 edges, 17821 markings/sec, 665 secs
lola: 13263562 markings, 68955659 edges, 22410 markings/sec, 670 secs
lola: 13378854 markings, 69469530 edges, 23058 markings/sec, 675 secs
lola: 13484606 markings, 69986330 edges, 21150 markings/sec, 680 secs
lola: 13589469 markings, 70501076 edges, 20973 markings/sec, 685 secs
lola: 13690987 markings, 71015917 edges, 20304 markings/sec, 690 secs
lola: 13796015 markings, 71530767 edges, 21006 markings/sec, 695 secs
lola: 13892043 markings, 72047785 edges, 19206 markings/sec, 700 secs
lola: 13993706 markings, 72563824 edges, 20333 markings/sec, 705 secs
lola: 14099807 markings, 73079331 edges, 21220 markings/sec, 710 secs
lola: 14199104 markings, 73595761 edges, 19859 markings/sec, 715 secs
lola: 14297253 markings, 74111044 edges, 19630 markings/sec, 720 secs
lola: 14392810 markings, 74626663 edges, 19111 markings/sec, 725 secs
lola: 14491421 markings, 75141940 edges, 19722 markings/sec, 730 secs
lola: 14588558 markings, 75656532 edges, 19427 markings/sec, 735 secs
lola: 14678196 markings, 76171218 edges, 17928 markings/sec, 740 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown no unknown unknown no yes unknown no no no unknown no no yes
lola: memory consumption: 3912512 KB
lola: time consumption: 2073 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 14 will run for 748 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((p1065 <= p5))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((p1065 <= p5))))
lola: processed formula length: 25
lola: 110 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: 77280 markings, 472367 edges, 15456 markings/sec, 0 secs
lola: 154073 markings, 994706 edges, 15359 markings/sec, 5 secs
lola: 229532 markings, 1520495 edges, 15092 markings/sec, 10 secs
lola: 300179 markings, 2046001 edges, 14129 markings/sec, 15 secs
lola: 372697 markings, 2569162 edges, 14504 markings/sec, 20 secs
lola: 440527 markings, 3086263 edges, 13566 markings/sec, 25 secs
lola: 509268 markings, 3612004 edges, 13748 markings/sec, 30 secs
lola: 585094 markings, 4136380 edges, 15165 markings/sec, 35 secs
lola: 650136 markings, 4660890 edges, 13008 markings/sec, 40 secs
lola: 709963 markings, 5185619 edges, 11965 markings/sec, 45 secs
lola: 786909 markings, 5711362 edges, 15389 markings/sec, 50 secs
lola: 860036 markings, 6237113 edges, 14625 markings/sec, 55 secs
lola: 928510 markings, 6761837 edges, 13695 markings/sec, 60 secs
lola: 992761 markings, 7286116 edges, 12850 markings/sec, 65 secs
lola: 1057862 markings, 7811957 edges, 13020 markings/sec, 70 secs
lola: 1120445 markings, 8337586 edges, 12517 markings/sec, 75 secs
lola: 1186026 markings, 8862949 edges, 13116 markings/sec, 80 secs
lola: 1242010 markings, 9386924 edges, 11197 markings/sec, 85 secs
lola: 1311317 markings, 9909112 edges, 13861 markings/sec, 90 secs
lola: 1378780 markings, 10430198 edges, 13493 markings/sec, 95 secs
lola: 1447688 markings, 10954339 edges, 13782 markings/sec, 100 secs
lola: 1514598 markings, 11478911 edges, 13382 markings/sec, 105 secs
lola: 1577868 markings, 12002749 edges, 12654 markings/sec, 110 secs
lola: 1643216 markings, 12520501 edges, 13070 markings/sec, 115 secs
lola: 1705083 markings, 13042360 edges, 12373 markings/sec, 120 secs
lola: 1760735 markings, 13556951 edges, 11130 markings/sec, 125 secs
lola: 1823144 markings, 14074575 edges, 12482 markings/sec, 130 secs
lola: 1898516 markings, 14600565 edges, 15074 markings/sec, 135 secs
lola: 1969219 markings, 15126303 edges, 14141 markings/sec, 140 secs
lola: 2033259 markings, 15650304 edges, 12808 markings/sec, 145 secs
lola: 2084734 markings, 16174239 edges, 10295 markings/sec, 150 secs
lola: 2150516 markings, 16698306 edges, 13156 markings/sec, 155 secs
lola: 2221322 markings, 17224403 edges, 14161 markings/sec, 160 secs
lola: 2292732 markings, 17749212 edges, 14282 markings/sec, 165 secs
lola: 2350445 markings, 18269904 edges, 11543 markings/sec, 170 secs
lola: 2419251 markings, 18794360 edges, 13761 markings/sec, 175 secs
lola: 2477773 markings, 19316235 edges, 11704 markings/sec, 180 secs
lola: 2531272 markings, 19839213 edges, 10700 markings/sec, 185 secs
lola: 2598348 markings, 20363939 edges, 13415 markings/sec, 190 secs
lola: 2656428 markings, 20885370 edges, 11616 markings/sec, 195 secs
lola: 2714280 markings, 21409609 edges, 11570 markings/sec, 200 secs
lola: 2768843 markings, 21933047 edges, 10913 markings/sec, 205 secs
lola: 2824901 markings, 22454845 edges, 11212 markings/sec, 210 secs
lola: 2875835 markings, 22978358 edges, 10187 markings/sec, 215 secs
lola: 2944824 markings, 23501314 edges, 13798 markings/sec, 220 secs
lola: 3014509 markings, 24026706 edges, 13937 markings/sec, 225 secs
lola: 3088503 markings, 24552073 edges, 14799 markings/sec, 230 secs
lola: 3152339 markings, 25078225 edges, 12767 markings/sec, 235 secs
lola: 3221007 markings, 25603737 edges, 13734 markings/sec, 240 secs
lola: 3287068 markings, 26129642 edges, 13212 markings/sec, 245 secs
lola: 3347477 markings, 26655480 edges, 12082 markings/sec, 250 secs
lola: 3415945 markings, 27178975 edges, 13694 markings/sec, 255 secs
lola: 3484934 markings, 27704495 edges, 13798 markings/sec, 260 secs
lola: 3557723 markings, 28227983 edges, 14558 markings/sec, 265 secs
lola: 3617785 markings, 28753212 edges, 12012 markings/sec, 270 secs
lola: 3679257 markings, 29276204 edges, 12294 markings/sec, 275 secs
lola: 3737008 markings, 29800516 edges, 11550 markings/sec, 280 secs
lola: 3798609 markings, 30324306 edges, 12320 markings/sec, 285 secs
lola: 3851165 markings, 30845301 edges, 10511 markings/sec, 290 secs
lola: 3911924 markings, 31367990 edges, 12152 markings/sec, 295 secs
lola: 3974816 markings, 31892191 edges, 12578 markings/sec, 300 secs
lola: 4040289 markings, 32416659 edges, 13095 markings/sec, 305 secs
lola: 4099999 markings, 32941824 edges, 11942 markings/sec, 310 secs
lola: 4158357 markings, 33465195 edges, 11672 markings/sec, 315 secs
lola: 4215994 markings, 33987772 edges, 11527 markings/sec, 320 secs
lola: 4271221 markings, 34511105 edges, 11045 markings/sec, 325 secs
lola: 4332487 markings, 35035211 edges, 12253 markings/sec, 330 secs
lola: 4384024 markings, 35557467 edges, 10307 markings/sec, 335 secs
lola: 4435577 markings, 36081246 edges, 10311 markings/sec, 340 secs
lola: 4503778 markings, 36605757 edges, 13640 markings/sec, 345 secs
lola: 4565694 markings, 37129493 edges, 12383 markings/sec, 350 secs
lola: 4630339 markings, 37653215 edges, 12929 markings/sec, 355 secs
lola: 4686927 markings, 38178857 edges, 11318 markings/sec, 360 secs
lola: 4742724 markings, 38701643 edges, 11159 markings/sec, 365 secs
lola: 4796132 markings, 39222936 edges, 10682 markings/sec, 370 secs
lola: 4849392 markings, 39746187 edges, 10652 markings/sec, 375 secs
lola: 4903081 markings, 40269233 edges, 10738 markings/sec, 380 secs
lola: 4951546 markings, 40791423 edges, 9693 markings/sec, 385 secs
lola: 5020843 markings, 41314532 edges, 13859 markings/sec, 390 secs
lola: 5089538 markings, 41838514 edges, 13739 markings/sec, 395 secs
lola: 5153122 markings, 42362816 edges, 12717 markings/sec, 400 secs
lola: 5214810 markings, 42886947 edges, 12338 markings/sec, 405 secs
lola: 5282309 markings, 43412104 edges, 13500 markings/sec, 410 secs
lola: 5342804 markings, 43937460 edges, 12099 markings/sec, 415 secs
lola: 5404610 markings, 44462489 edges, 12361 markings/sec, 420 secs
lola: 5466344 markings, 44987298 edges, 12347 markings/sec, 425 secs
lola: 5534187 markings, 45512279 edges, 13569 markings/sec, 430 secs
lola: 5591985 markings, 46036586 edges, 11560 markings/sec, 435 secs
lola: 5648858 markings, 46560247 edges, 11375 markings/sec, 440 secs
lola: 5704833 markings, 47082923 edges, 11195 markings/sec, 445 secs
lola: 5766975 markings, 47608497 edges, 12428 markings/sec, 450 secs
lola: 5826972 markings, 48134150 edges, 11999 markings/sec, 455 secs
lola: 5886538 markings, 48658823 edges, 11913 markings/sec, 460 secs
lola: 5937060 markings, 49180162 edges, 10104 markings/sec, 465 secs
lola: 6000852 markings, 49705328 edges, 12758 markings/sec, 470 secs
lola: 6062584 markings, 50229298 edges, 12346 markings/sec, 475 secs
lola: 6123865 markings, 50745327 edges, 12256 markings/sec, 480 secs
lola: 6183090 markings, 51265571 edges, 11845 markings/sec, 485 secs
lola: 6242941 markings, 51780077 edges, 11970 markings/sec, 490 secs
lola: 6302184 markings, 52302896 edges, 11849 markings/sec, 495 secs
lola: 6357292 markings, 52825129 edges, 11022 markings/sec, 500 secs
lola: 6418362 markings, 53345088 edges, 12214 markings/sec, 505 secs
lola: 6475654 markings, 53867036 edges, 11458 markings/sec, 510 secs
lola: 6532990 markings, 54386711 edges, 11467 markings/sec, 515 secs
lola: 6593651 markings, 54909081 edges, 12132 markings/sec, 520 secs
lola: 6652591 markings, 55431435 edges, 11788 markings/sec, 525 secs
lola: 6712632 markings, 55954695 edges, 12008 markings/sec, 530 secs
lola: 6770203 markings, 56476086 edges, 11514 markings/sec, 535 secs
lola: 6823711 markings, 56996713 edges, 10702 markings/sec, 540 secs
lola: 6875117 markings, 57516959 edges, 10281 markings/sec, 545 secs
lola: 6928018 markings, 58035809 edges, 10580 markings/sec, 550 secs
lola: 6986427 markings, 58550382 edges, 11682 markings/sec, 555 secs
lola: 7042362 markings, 59066447 edges, 11187 markings/sec, 560 secs
lola: 7100524 markings, 59586935 edges, 11632 markings/sec, 565 secs
lola: 7156909 markings, 60106771 edges, 11277 markings/sec, 570 secs
lola: 7207191 markings, 60627820 edges, 10056 markings/sec, 575 secs
lola: 7259455 markings, 61142044 edges, 10453 markings/sec, 580 secs
lola: 7305820 markings, 61656278 edges, 9273 markings/sec, 585 secs
lola: 7360024 markings, 62171866 edges, 10841 markings/sec, 590 secs
lola: 7410786 markings, 62688663 edges, 10152 markings/sec, 595 secs
lola: 7484327 markings, 63216847 edges, 14708 markings/sec, 600 secs
lola: 7558395 markings, 63745081 edges, 14814 markings/sec, 605 secs
lola: 7621787 markings, 64274412 edges, 12678 markings/sec, 610 secs
lola: 7691273 markings, 64802556 edges, 13897 markings/sec, 615 secs
lola: 7756160 markings, 65330790 edges, 12977 markings/sec, 620 secs
lola: 7820996 markings, 65859759 edges, 12967 markings/sec, 625 secs
lola: 7884087 markings, 66388379 edges, 12618 markings/sec, 630 secs
lola: 7952814 markings, 66917333 edges, 13745 markings/sec, 635 secs
lola: 8015664 markings, 67445872 edges, 12570 markings/sec, 640 secs
lola: 8077558 markings, 67974355 edges, 12379 markings/sec, 645 secs
lola: 8139585 markings, 68502202 edges, 12405 markings/sec, 650 secs
lola: 8202017 markings, 69028493 edges, 12486 markings/sec, 655 secs
lola: 8260679 markings, 69552952 edges, 11732 markings/sec, 660 secs
lola: 8315149 markings, 70073190 edges, 10894 markings/sec, 665 secs
lola: 8362126 markings, 70592721 edges, 9395 markings/sec, 670 secs
lola: 8407775 markings, 71114380 edges, 9130 markings/sec, 675 secs
lola: 8453176 markings, 71634817 edges, 9080 markings/sec, 680 secs
lola: 8498592 markings, 72156188 edges, 9083 markings/sec, 685 secs
lola: 8538724 markings, 72675815 edges, 8026 markings/sec, 690 secs
lola: 8604660 markings, 73196500 edges, 13187 markings/sec, 695 secs
lola: 8674164 markings, 73721509 edges, 13901 markings/sec, 700 secs
lola: 8747260 markings, 74246329 edges, 14619 markings/sec, 705 secs
lola: 8812320 markings, 74771147 edges, 13012 markings/sec, 710 secs
lola: 8878158 markings, 75295741 edges, 13168 markings/sec, 715 secs
lola: 8945310 markings, 75819986 edges, 13430 markings/sec, 720 secs
lola: 9005620 markings, 76346036 edges, 12062 markings/sec, 725 secs
lola: 9071392 markings, 76871159 edges, 13154 markings/sec, 730 secs
lola: 9136694 markings, 77397194 edges, 13060 markings/sec, 735 secs
lola: 9200256 markings, 77921764 edges, 12712 markings/sec, 740 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown no unknown unknown no yes unknown no no no unknown no no yes
lola: memory consumption: 3166980 KB
lola: time consumption: 2821 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 15 will run for 749 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G ((p629 <= p965))) AND A (G ((p651 + 1 <= p736))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 749 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p651 + 1 <= p736)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G ((p651 + 1 <= p736)))
lola: processed formula length: 26
lola: 112 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p736 <= p651)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A ((X (G ((p1025 <= p1106))) U (p1014 + 1 <= p346)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (G ((p1025 <= p1106))) U (p1014 + 1 <= p346)))
lola: processed formula length: 52
lola: 110 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: 87494 markings, 475712 edges, 17499 markings/sec, 0 secs
lola: 167073 markings, 962871 edges, 15916 markings/sec, 5 secs
lola: 247692 markings, 1453002 edges, 16124 markings/sec, 10 secs
lola: 316309 markings, 1941833 edges, 13723 markings/sec, 15 secs
lola: 388075 markings, 2432657 edges, 14353 markings/sec, 20 secs
lola: 464340 markings, 2920585 edges, 15253 markings/sec, 25 secs
lola: 532263 markings, 3407013 edges, 13585 markings/sec, 30 secs
lola: 604186 markings, 3896714 edges, 14385 markings/sec, 35 secs
lola: 668089 markings, 4386718 edges, 12781 markings/sec, 40 secs
lola: 727376 markings, 4872984 edges, 11857 markings/sec, 45 secs
lola: 794459 markings, 5363866 edges, 13417 markings/sec, 50 secs
lola: 867727 markings, 5854004 edges, 14654 markings/sec, 55 secs
lola: 936231 markings, 6341285 edges, 13701 markings/sec, 60 secs
lola: 1012901 markings, 6832621 edges, 15334 markings/sec, 65 secs
lola: 1081465 markings, 7323636 edges, 13713 markings/sec, 70 secs
lola: 1153743 markings, 7815345 edges, 14456 markings/sec, 75 secs
lola: 1231236 markings, 8310046 edges, 15499 markings/sec, 80 secs
lola: 1299254 markings, 8802358 edges, 13604 markings/sec, 85 secs
lola: 1374413 markings, 9298023 edges, 15032 markings/sec, 90 secs
lola: 1448739 markings, 9788885 edges, 14865 markings/sec, 95 secs
lola: 1517283 markings, 10279105 edges, 13709 markings/sec, 100 secs
lola: 1581350 markings, 10714490 edges, 12813 markings/sec, 105 secs
lola: 1640413 markings, 11171314 edges, 11813 markings/sec, 110 secs
lola: 1700007 markings, 11660301 edges, 11919 markings/sec, 115 secs
lola: 1765035 markings, 12152964 edges, 13006 markings/sec, 120 secs
lola: 1829549 markings, 12641954 edges, 12903 markings/sec, 125 secs
lola: 1888544 markings, 13129196 edges, 11799 markings/sec, 130 secs
lola: 1952019 markings, 13619683 edges, 12695 markings/sec, 135 secs
lola: 2010476 markings, 14110005 edges, 11691 markings/sec, 140 secs
lola: 2062574 markings, 14597808 edges, 10420 markings/sec, 145 secs
lola: 2118347 markings, 15087010 edges, 11155 markings/sec, 150 secs
lola: 2182342 markings, 15579678 edges, 12799 markings/sec, 155 secs
lola: 2242849 markings, 16070166 edges, 12101 markings/sec, 160 secs
lola: 2304558 markings, 16558895 edges, 12342 markings/sec, 165 secs
lola: 2372081 markings, 17052177 edges, 13505 markings/sec, 170 secs
lola: 2432865 markings, 17543543 edges, 12157 markings/sec, 175 secs
lola: 2494207 markings, 18033858 edges, 12268 markings/sec, 180 secs
lola: 2561603 markings, 18528410 edges, 13479 markings/sec, 185 secs
lola: 2623661 markings, 19022562 edges, 12412 markings/sec, 190 secs
lola: 2684788 markings, 19515636 edges, 12225 markings/sec, 195 secs
lola: 2762014 markings, 20008890 edges, 15445 markings/sec, 200 secs
lola: 2841440 markings, 20495232 edges, 15885 markings/sec, 205 secs
lola: 2925972 markings, 20983026 edges, 16906 markings/sec, 210 secs
lola: 3000055 markings, 21469763 edges, 14817 markings/sec, 215 secs
lola: 3067919 markings, 21954716 edges, 13573 markings/sec, 220 secs
lola: 3144149 markings, 22443359 edges, 15246 markings/sec, 225 secs
lola: 3212797 markings, 22927821 edges, 13730 markings/sec, 230 secs
lola: 3283113 markings, 23413072 edges, 14063 markings/sec, 235 secs
lola: 3352095 markings, 23900210 edges, 13796 markings/sec, 240 secs
lola: 3411563 markings, 24384718 edges, 11894 markings/sec, 245 secs
lola: 3473071 markings, 24869972 edges, 12302 markings/sec, 250 secs
lola: 3545378 markings, 25358658 edges, 14461 markings/sec, 255 secs
lola: 3612937 markings, 25845041 edges, 13512 markings/sec, 260 secs
lola: 3684825 markings, 26331878 edges, 14378 markings/sec, 265 secs
lola: 3761403 markings, 26819997 edges, 15316 markings/sec, 270 secs
lola: 3828495 markings, 27306289 edges, 13418 markings/sec, 275 secs
lola: 3902829 markings, 27796205 edges, 14867 markings/sec, 280 secs
lola: 3977170 markings, 28287529 edges, 14868 markings/sec, 285 secs
lola: 4045803 markings, 28778353 edges, 13727 markings/sec, 290 secs
lola: 4117726 markings, 29270255 edges, 14385 markings/sec, 295 secs
lola: 4179096 markings, 29758128 edges, 12274 markings/sec, 300 secs
lola: 4239422 markings, 30245329 edges, 12065 markings/sec, 305 secs
lola: 4302418 markings, 30736542 edges, 12599 markings/sec, 310 secs
lola: 4358655 markings, 31225793 edges, 11247 markings/sec, 315 secs
lola: 4410939 markings, 31712222 edges, 10457 markings/sec, 320 secs
lola: 4466802 markings, 32202618 edges, 11173 markings/sec, 325 secs
lola: 4525531 markings, 32690684 edges, 11746 markings/sec, 330 secs
lola: 4578373 markings, 33175668 edges, 10568 markings/sec, 335 secs
lola: 4632939 markings, 33660797 edges, 10913 markings/sec, 340 secs
lola: 4688728 markings, 34150577 edges, 11158 markings/sec, 345 secs
lola: 4739431 markings, 34638324 edges, 10141 markings/sec, 350 secs
lola: 4786478 markings, 35123960 edges, 9409 markings/sec, 355 secs
lola: 4835966 markings, 35610177 edges, 9898 markings/sec, 360 secs
lola: 4891916 markings, 36099996 edges, 11190 markings/sec, 365 secs
lola: 4947410 markings, 36588586 edges, 11099 markings/sec, 370 secs
lola: 4999758 markings, 37075398 edges, 10470 markings/sec, 375 secs
lola: 5055609 markings, 37566049 edges, 11170 markings/sec, 380 secs
lola: 5114920 markings, 38056944 edges, 11862 markings/sec, 385 secs
lola: 5167305 markings, 38545744 edges, 10477 markings/sec, 390 secs
lola: 5222923 markings, 39034779 edges, 11124 markings/sec, 395 secs
lola: 5282669 markings, 39528532 edges, 11949 markings/sec, 400 secs
lola: 5331788 markings, 39962310 edges, 9824 markings/sec, 405 secs
lola: 5380772 markings, 40419355 edges, 9797 markings/sec, 410 secs
lola: 5437153 markings, 40913974 edges, 11276 markings/sec, 415 secs
lola: 5511629 markings, 41405303 edges, 14895 markings/sec, 420 secs
lola: 5578910 markings, 41892870 edges, 13456 markings/sec, 425 secs
lola: 5651711 markings, 42384231 edges, 14560 markings/sec, 430 secs
lola: 5716599 markings, 42874574 edges, 12978 markings/sec, 435 secs
lola: 5775623 markings, 43361800 edges, 11805 markings/sec, 440 secs
lola: 5839732 markings, 43853432 edges, 12822 markings/sec, 445 secs
lola: 5905222 markings, 44340920 edges, 13098 markings/sec, 450 secs
lola: 5964033 markings, 44826567 edges, 11762 markings/sec, 455 secs
lola: 6026811 markings, 45315168 edges, 12556 markings/sec, 460 secs
lola: 6086057 markings, 45804114 edges, 11849 markings/sec, 465 secs
lola: 6138466 markings, 46290602 edges, 10482 markings/sec, 470 secs
lola: 6193656 markings, 46777091 edges, 11038 markings/sec, 475 secs
lola: 6256778 markings, 47268713 edges, 12624 markings/sec, 480 secs
lola: 6318310 markings, 47757719 edges, 12306 markings/sec, 485 secs
lola: 6378477 markings, 48243986 edges, 12033 markings/sec, 490 secs
lola: 6444843 markings, 48735171 edges, 13273 markings/sec, 495 secs
lola: 6507456 markings, 49224268 edges, 12523 markings/sec, 500 secs
lola: 6567527 markings, 49711410 edges, 12014 markings/sec, 505 secs
lola: 6632967 markings, 50203821 edges, 13088 markings/sec, 510 secs
lola: 6697209 markings, 50696437 edges, 12848 markings/sec, 515 secs
lola: 6757021 markings, 51187330 edges, 11962 markings/sec, 520 secs
lola: 6824659 markings, 51680009 edges, 13528 markings/sec, 525 secs
lola: 6897221 markings, 52166038 edges, 14512 markings/sec, 530 secs
lola: 6965279 markings, 52650193 edges, 13612 markings/sec, 535 secs
lola: 7036478 markings, 53137627 edges, 14240 markings/sec, 540 secs
lola: 7097242 markings, 53623699 edges, 12153 markings/sec, 545 secs
lola: 7157400 markings, 54107721 edges, 12032 markings/sec, 550 secs
lola: 7223408 markings, 54595560 edges, 13202 markings/sec, 555 secs
lola: 7285227 markings, 55078916 edges, 12364 markings/sec, 560 secs
lola: 7344644 markings, 55560535 edges, 11883 markings/sec, 565 secs
lola: 7406650 markings, 56046257 edges, 12401 markings/sec, 570 secs
lola: 7463199 markings, 56530833 edges, 11310 markings/sec, 575 secs
lola: 7515036 markings, 57013198 edges, 10367 markings/sec, 580 secs
lola: 7570248 markings, 57497831 edges, 11042 markings/sec, 585 secs
lola: 7634306 markings, 57984583 edges, 12812 markings/sec, 590 secs
lola: 7693468 markings, 58469825 edges, 11832 markings/sec, 595 secs
lola: 7755691 markings, 58954092 edges, 12445 markings/sec, 600 secs
lola: 7821825 markings, 59442296 edges, 13227 markings/sec, 605 secs
lola: 7881852 markings, 59928239 edges, 12005 markings/sec, 610 secs
lola: 7943018 markings, 60413837 edges, 12233 markings/sec, 615 secs
lola: 8010082 markings, 60903926 edges, 13413 markings/sec, 620 secs
lola: 8071039 markings, 61393606 edges, 12191 markings/sec, 625 secs
lola: 8131978 markings, 61882657 edges, 12188 markings/sec, 630 secs
lola: 8203303 markings, 62372813 edges, 14265 markings/sec, 635 secs
lola: 8271556 markings, 62856966 edges, 13651 markings/sec, 640 secs
lola: 8342183 markings, 63341925 edges, 14125 markings/sec, 645 secs
lola: 8410687 markings, 63828073 edges, 13701 markings/sec, 650 secs
lola: 8469845 markings, 64312289 edges, 11832 markings/sec, 655 secs
lola: 8531687 markings, 64796659 edges, 12368 markings/sec, 660 secs
lola: 8597817 markings, 65283115 edges, 13226 markings/sec, 665 secs
lola: 8657564 markings, 65764385 edges, 11949 markings/sec, 670 secs
lola: 8717732 markings, 66244607 edges, 12034 markings/sec, 675 secs
lola: 8780244 markings, 66731245 edges, 12502 markings/sec, 680 secs
lola: 8835380 markings, 67215820 edges, 11027 markings/sec, 685 secs
lola: 8886978 markings, 67696076 edges, 10320 markings/sec, 690 secs
lola: 8942324 markings, 68181814 edges, 11069 markings/sec, 695 secs
lola: 9008055 markings, 68667585 edges, 13146 markings/sec, 700 secs
lola: 9066928 markings, 69150715 edges, 11775 markings/sec, 705 secs
lola: 9128729 markings, 69635099 edges, 12360 markings/sec, 710 secs
lola: 9194903 markings, 70122736 edges, 13235 markings/sec, 715 secs
lola: 9253818 markings, 70607762 edges, 11783 markings/sec, 720 secs
lola: 9316592 markings, 71092898 edges, 12555 markings/sec, 725 secs
lola: 9382651 markings, 71582248 edges, 13212 markings/sec, 730 secs
lola: 9442290 markings, 72070343 edges, 11928 markings/sec, 735 secs
lola: 9504778 markings, 72559072 edges, 12498 markings/sec, 740 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown unknown no unknown unknown no yes no no no no unknown no no yes
lola:
preliminary result: no unknown unknown no unknown unknown no yes no no no no unknown no no yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown no unknown unknown no yes no no no no unknown no no yes
lola: memory consumption: 3234472 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 unknown unknown no unknown unknown no yes no no no no unknown no no yes
rslt: finished
BK_STOP 1589308875719
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AutoFlight-PT-12b"
export BK_EXAMINATION="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-12b, 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-158897552800119"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-12b.tgz
mv AutoFlight-PT-12b execution
cd execution
if [ "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 ;