About the Execution of 2019-Gold for AutoFlight-PT-48a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5517.180 | 3570129.00 | 3633023.00 | 9486.50 | ?FFFTFFT?FFT?FTT | 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-158897552800126.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-48a, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r015-smll-158897552800126
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 480K
-rw-r--r-- 1 mcc users 3.9K Mar 25 23:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 25 23:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 18:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 18:59 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.3K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.9K Mar 25 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 25 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 11:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 11:03 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 309K 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-48a-00
FORMULA_NAME AutoFlight-PT-48a-01
FORMULA_NAME AutoFlight-PT-48a-02
FORMULA_NAME AutoFlight-PT-48a-03
FORMULA_NAME AutoFlight-PT-48a-04
FORMULA_NAME AutoFlight-PT-48a-05
FORMULA_NAME AutoFlight-PT-48a-06
FORMULA_NAME AutoFlight-PT-48a-07
FORMULA_NAME AutoFlight-PT-48a-08
FORMULA_NAME AutoFlight-PT-48a-09
FORMULA_NAME AutoFlight-PT-48a-10
FORMULA_NAME AutoFlight-PT-48a-11
FORMULA_NAME AutoFlight-PT-48a-12
FORMULA_NAME AutoFlight-PT-48a-13
FORMULA_NAME AutoFlight-PT-48a-14
FORMULA_NAME AutoFlight-PT-48a-15
=== Now, execution of the tool begins
BK_START 1589317701343
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ AutoFlight-PT-48a @ 3570 seconds
FORMULA AutoFlight-PT-48a-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-48a-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-48a-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-48a-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-48a-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-48a-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-48a-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-48a-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-48a-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-48a-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-48a-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-48a-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-48a-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ AutoFlight-PT-48a
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Tue May 12 21:08:21 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"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": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "NOT FIREABLE(t761)",
"processed_size": 18,
"rewrites": 82
},
"result":
{
"edges": 125,
"markings": 126,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 8
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 1,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 238
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 1,
"U": 1,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (F ((FIREABLE(t827) AND F (G ((X (FIREABLE(t827)) OR (FIREABLE(t960) U X (F (FIREABLE(t631))))))))))",
"processed_size": 102,
"rewrites": 80
},
"result":
{
"edges": 127,
"markings": 127,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 257
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 3,
"tneg": 0,
"transition_references": 6,
"unfir": 3,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (((FIREABLE(t127) OR NOT FIREABLE(t295)) OR (X (FIREABLE(t248)) OR F (G ((F (NOT FIREABLE(t127)) AND (F (FIREABLE(t295)) OR NOT FIREABLE(t127))))))))",
"processed_size": 152,
"rewrites": 80
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 9
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 278
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 278
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (X ((FIREABLE(t296) U G (NOT FIREABLE(t495)))))",
"processed_size": 49,
"rewrites": 80
},
"result":
{
"edges": 44868,
"markings": 6753,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 4,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 303
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (((X (G (FIREABLE(t595))) U FIREABLE(t536)) OR X (NOT FIREABLE(t789))))",
"processed_size": 73,
"rewrites": 80
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 5,
"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": 334
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (X (G (FIREABLE(t524))))",
"processed_size": 26,
"rewrites": 80
},
"result":
{
"edges": 126,
"markings": 126,
"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"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 376
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 376
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (X (FIREABLE(t66)))",
"processed_size": 21,
"rewrites": 80
},
"result":
{
"edges": 126,
"markings": 126,
"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"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 8,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 429
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (X (F (FIREABLE(t1096))))",
"processed_size": 27,
"rewrites": 80
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 9,
"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": 501
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 5,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (X (X (G ((F (FIREABLE(t336)) AND (X (X (X (F (NOT FIREABLE(t428))))) OR FIREABLE(t336)))))))",
"processed_size": 95,
"rewrites": 80
},
"result":
{
"edges": 126,
"markings": 126,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 627
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 4,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((X ((NOT FIREABLE(t655) AND (G (NOT FIREABLE(t767)) OR F (NOT FIREABLE(t767))))) R NOT FIREABLE(t659)))",
"processed_size": 106,
"rewrites": 80
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 8
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 836
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "FIREABLE(t538)",
"processed_size": 14,
"rewrites": 82
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 3
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 4,
"G": 2,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (F ((G (F (FIREABLE(t782))) AND (FIREABLE(t410) OR (F (FIREABLE(t410)) AND F (G (FIREABLE(t781))))))))",
"processed_size": 104,
"rewrites": 80
},
"result":
{
"edges": 126,
"markings": 126,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 18
},
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2508
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2508
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "NOT FIREABLE(t683)",
"processed_size": 18,
"rewrites": 82
},
"result":
{
"edges": 125,
"markings": 126,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 4
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 5424932,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(A(X(G(*))) AND A(X((X(*) OR F(G(*)))))) : (A(F(**)) AND A((** OR X(G(**))))) : A(F((** AND F(G((X(**) OR (** U X(F(**))))))))) : A(F((G(F(**)) AND (** OR (F(**) AND F(G(**))))))) : A((** OR (X(**) OR F(G((F(**) AND (F(**) OR **))))))) : (A(F(**)) AND A((F(**) U G(**)))) : (A(X(X(F(**)))) AND A(X((** U G(*))))) : A(((X(G(**)) U **) OR X(**))) : A((X(G(*)) R *)) : A(X(G(**))) : (A(X(*)) AND A(X(F(**)))) : A(X(F(**))) : A((F(G((* OR X(*)))) OR (G(**) AND F(G((* OR X(*))))))) : A(X(X(G((F(**) AND (X(X(X(F(*)))) OR **)))))) : A((X((* AND (G(*) OR F(*)))) R *)) : A(F(*))"
},
"net":
{
"arcs": 3458,
"conflict_clusters": 639,
"places": 1127,
"places_significant": 869,
"singleton_clusters": 0,
"transitions": 1113
},
"result":
{
"interim_value": "unknown no no no yes no no yes unknown no no yes unknown no yes yes ",
"preliminary_value": "unknown no no no yes no no yes unknown no no yes unknown no yes 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: 2240/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1127
lola: finding significant places
lola: 1127 places, 1113 transitions, 869 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: A (NOT(X ((F (FIREABLE(t1012)) OR (X (FIREABLE(t1012)) AND G (F (NOT FIREABLE(t189)))))))) : A ((F (FIREABLE(t761)) AND (FIREABLE(t438) OR X (G (NOT FIREABLE(t421)))))) : A (F ((FIREABLE(t827) AND F (G ((X (FIREABLE(t827)) OR (FIREABLE(t960) U X (F (FIREABLE(t631)))))))))) : A (F ((G (F (FIREABLE(t782))) AND (F (G (FIREABLE(t781))) U FIREABLE(t410))))) : A ((((FIREABLE(t127) OR NOT FIREABLE(t295)) OR X (FIREABLE(t248))) OR F (G ((F (FIREABLE(t295)) U NOT FIREABLE(t127)))))) : A ((F (FIREABLE(t683)) AND (F (FIREABLE(t1025)) U G (FIREABLE(t895))))) : A (X ((X (F (FIREABLE(t959))) AND (FIREABLE(t296) U NOT(F ((FIREABLE(t603) U FIREABLE(t495)))))))) : A (((G (X (FIREABLE(t595))) U FIREABLE(t536)) OR X (NOT FIREABLE(t789)))) : A (NOT((X (F (((FIREABLE(t1034) OR FIREABLE(t789)) U F ((FIREABLE(t1034) AND FIREABLE(t952)))))) U FIREABLE(t5)))) : A (G (X (FIREABLE(t524)))) : A (NOT(X ((NOT FIREABLE(t66) OR G (NOT((FIREABLE(t654) U FIREABLE(t1000)))))))) : A (F (X (FIREABLE(t1096)))) : A ((G (NOT FIREABLE(t818)) U NOT(G (F ((NOT FIREABLE(t818) AND X (FIREABLE(t818)))))))) : A (G (X ((F (X (X (NOT(X (X (G (FIREABLE(t428)))))))) U X (FIREABLE(t336)))))) : A (NOT((X ((FIREABLE(t655) OR (F (FIREABLE(t767)) AND G (FIREABLE(t767))))) U FIREABLE(t659)))) : A ((X (F ((X (FIREABLE(t1048)) AND F ((F (FIREABLE(t538)) U F (FIREABLE(t244))))))) U NOT(G (FIREABLE(t538)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:338
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (G (NOT FIREABLE(t1012)))) AND A (X ((X (NOT FIREABLE(t1012)) OR F (G (FIREABLE(t189)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (NOT FIREABLE(t1012))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (NOT FIREABLE(t1012))))
lola: processed formula length: 31
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 63928 markings, 575241 edges, 12786 markings/sec, 0 secs
lola: 122691 markings, 1181641 edges, 11753 markings/sec, 5 secs
lola: 176335 markings, 1796482 edges, 10729 markings/sec, 10 secs
lola: 233330 markings, 2415190 edges, 11399 markings/sec, 15 secs
lola: 282347 markings, 2996730 edges, 9803 markings/sec, 20 secs
lola: 337512 markings, 3617871 edges, 11033 markings/sec, 25 secs
lola: 389147 markings, 4238288 edges, 10327 markings/sec, 30 secs
lola: 438656 markings, 4862932 edges, 9902 markings/sec, 35 secs
lola: 489177 markings, 5483509 edges, 10104 markings/sec, 40 secs
lola: 543311 markings, 6110257 edges, 10827 markings/sec, 45 secs
lola: 593594 markings, 6730552 edges, 10057 markings/sec, 50 secs
lola: 640336 markings, 7354982 edges, 9348 markings/sec, 55 secs
lola: 689787 markings, 7980837 edges, 9890 markings/sec, 60 secs
lola: 733186 markings, 8608534 edges, 8680 markings/sec, 65 secs
lola: 790786 markings, 9229747 edges, 11520 markings/sec, 70 secs
lola: 842413 markings, 9860172 edges, 10325 markings/sec, 75 secs
lola: 891944 markings, 10490389 edges, 9906 markings/sec, 80 secs
lola: 939614 markings, 11116420 edges, 9534 markings/sec, 85 secs
lola: 986795 markings, 11746682 edges, 9436 markings/sec, 90 secs
lola: 1033343 markings, 12371642 edges, 9310 markings/sec, 95 secs
lola: 1081874 markings, 12996101 edges, 9706 markings/sec, 100 secs
lola: 1127332 markings, 13623759 edges, 9092 markings/sec, 105 secs
lola: 1171346 markings, 14250673 edges, 8803 markings/sec, 110 secs
lola: 1213476 markings, 14879086 edges, 8426 markings/sec, 115 secs
lola: 1259542 markings, 15495380 edges, 9213 markings/sec, 120 secs
lola: 1312468 markings, 16104139 edges, 10585 markings/sec, 125 secs
lola: 1362044 markings, 16716694 edges, 9915 markings/sec, 130 secs
lola: 1407834 markings, 17329942 edges, 9158 markings/sec, 135 secs
lola: 1456986 markings, 17947188 edges, 9830 markings/sec, 140 secs
lola: 1500687 markings, 18566324 edges, 8740 markings/sec, 145 secs
lola: 1548411 markings, 19184369 edges, 9545 markings/sec, 150 secs
lola: 1593395 markings, 19801555 edges, 8997 markings/sec, 155 secs
lola: 1637907 markings, 20418807 edges, 8902 markings/sec, 160 secs
lola: 1679324 markings, 21036090 edges, 8283 markings/sec, 165 secs
lola: 1723760 markings, 21654287 edges, 8887 markings/sec, 170 secs
lola: 1770256 markings, 22275912 edges, 9299 markings/sec, 175 secs
lola: 1813748 markings, 22901904 edges, 8698 markings/sec, 180 secs
lola: 1856097 markings, 23525293 edges, 8470 markings/sec, 185 secs
lola: 1898389 markings, 24154654 edges, 8458 markings/sec, 190 secs
lola: 1938773 markings, 24778475 edges, 8077 markings/sec, 195 secs
lola: 1981822 markings, 25392968 edges, 8610 markings/sec, 200 secs
lola: 2034896 markings, 25999967 edges, 10615 markings/sec, 205 secs
lola: 2084557 markings, 26608928 edges, 9932 markings/sec, 210 secs
lola: 2132927 markings, 27221584 edges, 9674 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 578072 KB
lola: time consumption: 226 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 578072 KB
lola: time consumption: 227 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (FIREABLE(t761))) AND A ((FIREABLE(t438) OR X (G (NOT FIREABLE(t421))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t761)))
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: NOT FIREABLE(t761)
lola: processed formula length: 18
lola: 82 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / 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: 126 markings, 125 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t827) AND F (G ((X (FIREABLE(t827)) OR (FIREABLE(t960) U X (F (FIREABLE(t631))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((FIREABLE(t827) AND F (G ((X (FIREABLE(t827)) OR (FIREABLE(t960) U X (F (FIREABLE(t631))))))))))
lola: processed formula length: 102
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 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: 127 markings, 127 edges
lola: ========================================
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t127) OR NOT FIREABLE(t295)) OR (X (FIREABLE(t248)) OR F (G ((F (NOT FIREABLE(t127)) AND (F (FIREABLE(t295)) OR NOT FIREABLE(t127))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t127) OR NOT FIREABLE(t295)) OR (X (FIREABLE(t248)) OR F (G ((F (NOT FIREABLE(t127)) AND (F (FIREABLE(t295)) OR NOT FIREABLE(t127))))))))
lola: processed formula length: 152
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (X (F (FIREABLE(t959))))) AND A (X ((FIREABLE(t296) U G (NOT FIREABLE(t495))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((FIREABLE(t296) U G (NOT FIREABLE(t495)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((FIREABLE(t296) U G (NOT FIREABLE(t495)))))
lola: processed formula length: 49
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 6753 markings, 44868 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 5 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((X (G (FIREABLE(t595))) U FIREABLE(t536)) OR X (NOT FIREABLE(t789))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((X (G (FIREABLE(t595))) U FIREABLE(t536)) OR X (NOT FIREABLE(t789))))
lola: processed formula length: 73
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 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: 3 markings, 2 edges
lola: ========================================
lola: subprocess 6 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (G ((NOT FIREABLE(t1034) OR NOT FIREABLE(t952)))) R NOT FIREABLE(t5)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (G ((NOT FIREABLE(t1034) OR NOT FIREABLE(t952)))) R NOT FIREABLE(t5)))
lola: processed formula length: 77
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 63721 markings, 572903 edges, 12744 markings/sec, 0 secs
lola: 122011 markings, 1173094 edges, 11658 markings/sec, 5 secs
lola: 175401 markings, 1784235 edges, 10678 markings/sec, 10 secs
lola: 231377 markings, 2392925 edges, 11195 markings/sec, 15 secs
lola: 283040 markings, 3003684 edges, 10333 markings/sec, 20 secs
lola: 337725 markings, 3620963 edges, 10937 markings/sec, 25 secs
lola: 389409 markings, 4242241 edges, 10337 markings/sec, 30 secs
lola: 438942 markings, 4866123 edges, 9907 markings/sec, 35 secs
lola: 489260 markings, 5484307 edges, 10064 markings/sec, 40 secs
lola: 543237 markings, 6109339 edges, 10795 markings/sec, 45 secs
lola: 593898 markings, 6734786 edges, 10132 markings/sec, 50 secs
lola: 641038 markings, 7362005 edges, 9428 markings/sec, 55 secs
lola: 690368 markings, 7990440 edges, 9866 markings/sec, 60 secs
lola: 733841 markings, 8619603 edges, 8695 markings/sec, 65 secs
lola: 791570 markings, 9240732 edges, 11546 markings/sec, 70 secs
lola: 843098 markings, 9870059 edges, 10306 markings/sec, 75 secs
lola: 892573 markings, 10499794 edges, 9895 markings/sec, 80 secs
lola: 940197 markings, 11124383 edges, 9525 markings/sec, 85 secs
lola: 987193 markings, 11752841 edges, 9399 markings/sec, 90 secs
lola: 1033666 markings, 12376290 edges, 9295 markings/sec, 95 secs
lola: 1082368 markings, 13003028 edges, 9740 markings/sec, 100 secs
lola: 1127825 markings, 13631658 edges, 9091 markings/sec, 105 secs
lola: 1172241 markings, 14262589 edges, 8883 markings/sec, 110 secs
lola: 1214201 markings, 14889971 edges, 8392 markings/sec, 115 secs
lola: 1260516 markings, 15505223 edges, 9263 markings/sec, 120 secs
lola: 1313393 markings, 16116112 edges, 10575 markings/sec, 125 secs
lola: 1363170 markings, 16730015 edges, 9955 markings/sec, 130 secs
lola: 1408843 markings, 17345047 edges, 9135 markings/sec, 135 secs
lola: 1458314 markings, 17963525 edges, 9894 markings/sec, 140 secs
lola: 1501898 markings, 18586221 edges, 8717 markings/sec, 145 secs
lola: 1550222 markings, 19205532 edges, 9665 markings/sec, 150 secs
lola: 1594379 markings, 19816317 edges, 8831 markings/sec, 155 secs
lola: 1638560 markings, 20428425 edges, 8836 markings/sec, 160 secs
lola: 1679865 markings, 21044224 edges, 8261 markings/sec, 165 secs
lola: 1724530 markings, 21664415 edges, 8933 markings/sec, 170 secs
lola: 1771072 markings, 22287475 edges, 9308 markings/sec, 175 secs
lola: 1814409 markings, 22910412 edges, 8667 markings/sec, 180 secs
lola: 1856553 markings, 23531333 edges, 8429 markings/sec, 185 secs
lola: 1898572 markings, 24157214 edges, 8404 markings/sec, 190 secs
lola: 1938967 markings, 24781392 edges, 8079 markings/sec, 195 secs
lola: 1981928 markings, 25394182 edges, 8592 markings/sec, 200 secs
lola: 2035091 markings, 26002552 edges, 10633 markings/sec, 205 secs
lola: 2085159 markings, 26615299 edges, 10014 markings/sec, 210 secs
lola: 2133500 markings, 27229043 edges, 9668 markings/sec, 215 secs
lola: 2180445 markings, 27844250 edges, 9389 markings/sec, 220 secs
lola: 2226445 markings, 28462264 edges, 9200 markings/sec, 225 secs
lola: 2270264 markings, 29078205 edges, 8764 markings/sec, 230 secs
lola: 2319237 markings, 29698006 edges, 9795 markings/sec, 235 secs
lola: 2362891 markings, 30317247 edges, 8731 markings/sec, 240 secs
lola: 2406565 markings, 30936043 edges, 8735 markings/sec, 245 secs
lola: 2447203 markings, 31553763 edges, 8128 markings/sec, 250 secs
lola: 2492574 markings, 32172767 edges, 9074 markings/sec, 255 secs
lola: 2538410 markings, 32793072 edges, 9167 markings/sec, 260 secs
lola: 2581850 markings, 33416836 edges, 8688 markings/sec, 265 secs
lola: 2624128 markings, 34038300 edges, 8456 markings/sec, 270 secs
lola: 2665924 markings, 34663981 edges, 8359 markings/sec, 275 secs
lola: 2706166 markings, 35287681 edges, 8048 markings/sec, 280 secs
lola: 2747598 markings, 35908723 edges, 8286 markings/sec, 285 secs
lola: 2791773 markings, 36524511 edges, 8835 markings/sec, 290 secs
lola: 2838682 markings, 37150277 edges, 9382 markings/sec, 295 secs
lola: 2883151 markings, 37776753 edges, 8894 markings/sec, 300 secs
lola: 2926486 markings, 38403051 edges, 8667 markings/sec, 305 secs
lola: 2966075 markings, 39026851 edges, 7918 markings/sec, 310 secs
lola: 3008813 markings, 39652643 edges, 8548 markings/sec, 315 secs
lola: 3049374 markings, 40279100 edges, 8112 markings/sec, 320 secs
lola: 3088300 markings, 40906701 edges, 7785 markings/sec, 325 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown yes unknown no yes unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 838136 KB
lola: time consumption: 561 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (FIREABLE(t524))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (FIREABLE(t524))))
lola: processed formula length: 26
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 126 markings, 126 edges
lola: ========================================
lola: subprocess 8 will run for 376 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (FIREABLE(t66))) AND A (X (F (FIREABLE(t1000)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 376 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (FIREABLE(t66)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (FIREABLE(t66)))
lola: processed formula length: 21
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 126 markings, 126 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 9 will run for 429 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (FIREABLE(t1096))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (FIREABLE(t1096))))
lola: processed formula length: 27
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: 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 10 will run for 501 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (G ((FIREABLE(t818) OR X (NOT FIREABLE(t818))))) OR (G (NOT FIREABLE(t818)) AND F (G ((FIREABLE(t818) OR X (NOT FIREABLE(t818))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (G ((FIREABLE(t818) OR X (NOT FIREABLE(t818))))) OR (G (NOT FIREABLE(t818)) AND F (G ((FIREABLE(t818) OR X (NOT FIREABLE(t818))))))))
lola: processed formula length: 139
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 12 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: 70284 markings, 534664 edges, 14057 markings/sec, 0 secs
lola: 135729 markings, 1116753 edges, 13089 markings/sec, 5 secs
lola: 197396 markings, 1708115 edges, 12333 markings/sec, 10 secs
lola: 255806 markings, 2316057 edges, 11682 markings/sec, 15 secs
lola: 316836 markings, 2919393 edges, 12206 markings/sec, 20 secs
lola: 375017 markings, 3543887 edges, 11636 markings/sec, 25 secs
lola: 432486 markings, 4154601 edges, 11494 markings/sec, 30 secs
lola: 492351 markings, 4769421 edges, 11973 markings/sec, 35 secs
lola: 551211 markings, 5384655 edges, 11772 markings/sec, 40 secs
lola: 605250 markings, 6008597 edges, 10808 markings/sec, 45 secs
lola: 657999 markings, 6631486 edges, 10550 markings/sec, 50 secs
lola: 708637 markings, 7247662 edges, 10128 markings/sec, 55 secs
lola: 770278 markings, 7868984 edges, 12328 markings/sec, 60 secs
lola: 826188 markings, 8499482 edges, 11182 markings/sec, 65 secs
lola: 884623 markings, 9120753 edges, 11687 markings/sec, 70 secs
lola: 935835 markings, 9749395 edges, 10242 markings/sec, 75 secs
lola: 989941 markings, 10381886 edges, 10821 markings/sec, 80 secs
lola: 1040309 markings, 11014225 edges, 10074 markings/sec, 85 secs
lola: 1087159 markings, 11643634 edges, 9370 markings/sec, 90 secs
lola: 1150377 markings, 12255937 edges, 12644 markings/sec, 95 secs
lola: 1208923 markings, 12883473 edges, 11709 markings/sec, 100 secs
lola: 1264059 markings, 13516006 edges, 11027 markings/sec, 105 secs
lola: 1318349 markings, 14148201 edges, 10858 markings/sec, 110 secs
lola: 1367853 markings, 14774657 edges, 9901 markings/sec, 115 secs
lola: 1421993 markings, 15410439 edges, 10828 markings/sec, 120 secs
lola: 1472493 markings, 16048037 edges, 10100 markings/sec, 125 secs
lola: 1529351 markings, 16662141 edges, 11372 markings/sec, 130 secs
lola: 1578356 markings, 17296327 edges, 9801 markings/sec, 135 secs
lola: 1631486 markings, 17926941 edges, 10626 markings/sec, 140 secs
lola: 1680984 markings, 18552966 edges, 9900 markings/sec, 145 secs
lola: 1728277 markings, 19187454 edges, 9459 markings/sec, 150 secs
lola: 1776630 markings, 19816270 edges, 9671 markings/sec, 155 secs
lola: 1820625 markings, 20447030 edges, 8799 markings/sec, 160 secs
lola: 1866786 markings, 21068510 edges, 9232 markings/sec, 165 secs
lola: 1927928 markings, 21695574 edges, 12228 markings/sec, 170 secs
lola: 1983546 markings, 22329249 edges, 11124 markings/sec, 175 secs
lola: 2042007 markings, 22951397 edges, 11692 markings/sec, 180 secs
lola: 2093845 markings, 23586365 edges, 10368 markings/sec, 185 secs
lola: 2147983 markings, 24221095 edges, 10828 markings/sec, 190 secs
lola: 2198227 markings, 24856636 edges, 10049 markings/sec, 195 secs
lola: 2246279 markings, 25490799 edges, 9610 markings/sec, 200 secs
lola: 2300480 markings, 26125653 edges, 10840 markings/sec, 205 secs
lola: 2352333 markings, 26756762 edges, 10371 markings/sec, 210 secs
lola: 2403518 markings, 27388318 edges, 10237 markings/sec, 215 secs
lola: 2449853 markings, 28026190 edges, 9267 markings/sec, 220 secs
lola: 2496503 markings, 28661419 edges, 9330 markings/sec, 225 secs
lola: 2542381 markings, 29298050 edges, 9176 markings/sec, 230 secs
lola: 2595868 markings, 29935646 edges, 10697 markings/sec, 235 secs
lola: 2645859 markings, 30576579 edges, 9998 markings/sec, 240 secs
lola: 2692341 markings, 31214923 edges, 9296 markings/sec, 245 secs
lola: 2741833 markings, 31844622 edges, 9898 markings/sec, 250 secs
lola: 2786288 markings, 32485736 edges, 8891 markings/sec, 255 secs
lola: 2832775 markings, 33121851 edges, 9297 markings/sec, 260 secs
lola: 2876896 markings, 33759582 edges, 8824 markings/sec, 265 secs
lola: 2917106 markings, 34394748 edges, 8042 markings/sec, 270 secs
lola: 2981959 markings, 35012310 edges, 12971 markings/sec, 275 secs
lola: 3040994 markings, 35645189 edges, 11807 markings/sec, 280 secs
lola: 3096634 markings, 36282917 edges, 11128 markings/sec, 285 secs
lola: 3151342 markings, 36919568 edges, 10942 markings/sec, 290 secs
lola: 3201331 markings, 37554153 edges, 9998 markings/sec, 295 secs
lola: 3256014 markings, 38195540 edges, 10937 markings/sec, 300 secs
lola: 3306960 markings, 38839287 edges, 10189 markings/sec, 305 secs
lola: 3357799 markings, 39473518 edges, 10168 markings/sec, 310 secs
lola: 3413049 markings, 40109346 edges, 11050 markings/sec, 315 secs
lola: 3463122 markings, 40749455 edges, 10015 markings/sec, 320 secs
lola: 3513313 markings, 41384116 edges, 10038 markings/sec, 325 secs
lola: 3559658 markings, 42024471 edges, 9269 markings/sec, 330 secs
lola: 3607075 markings, 42661028 edges, 9483 markings/sec, 335 secs
lola: 3650464 markings, 43298719 edges, 8678 markings/sec, 340 secs
lola: 3702993 markings, 43933255 edges, 10506 markings/sec, 345 secs
lola: 3753737 markings, 44576863 edges, 10149 markings/sec, 350 secs
lola: 3800746 markings, 45221273 edges, 9402 markings/sec, 355 secs
lola: 3852257 markings, 45857016 edges, 10302 markings/sec, 360 secs
lola: 3897896 markings, 46496799 edges, 9128 markings/sec, 365 secs
lola: 3944333 markings, 47142763 edges, 9287 markings/sec, 370 secs
lola: 3990037 markings, 47785682 edges, 9141 markings/sec, 375 secs
lola: 4033937 markings, 48435216 edges, 8780 markings/sec, 380 secs
lola: 4085847 markings, 49054389 edges, 10382 markings/sec, 385 secs
lola: 4129466 markings, 49689966 edges, 8724 markings/sec, 390 secs
lola: 4183094 markings, 50329131 edges, 10726 markings/sec, 395 secs
lola: 4233624 markings, 50971536 edges, 10106 markings/sec, 400 secs
lola: 4283531 markings, 51606459 edges, 9981 markings/sec, 405 secs
lola: 4330329 markings, 52247420 edges, 9360 markings/sec, 410 secs
lola: 4377951 markings, 52885930 edges, 9524 markings/sec, 415 secs
lola: 4421487 markings, 53526640 edges, 8707 markings/sec, 420 secs
lola: 4468989 markings, 54162105 edges, 9500 markings/sec, 425 secs
lola: 4513034 markings, 54806002 edges, 8809 markings/sec, 430 secs
lola: 4557302 markings, 55450671 edges, 8854 markings/sec, 435 secs
lola: 4601181 markings, 56087820 edges, 8776 markings/sec, 440 secs
lola: 4648832 markings, 56724680 edges, 9530 markings/sec, 445 secs
lola: 4693021 markings, 57361847 edges, 8838 markings/sec, 450 secs
lola: 4735940 markings, 57993490 edges, 8584 markings/sec, 455 secs
lola: 4778607 markings, 58633672 edges, 8533 markings/sec, 460 secs
lola: 4819853 markings, 59276030 edges, 8249 markings/sec, 465 secs
lola: 4860909 markings, 59908641 edges, 8211 markings/sec, 470 secs
lola: 4899383 markings, 60545725 edges, 7695 markings/sec, 475 secs
lola: 4949187 markings, 61157397 edges, 9961 markings/sec, 480 secs
lola: 5007431 markings, 61778553 edges, 11649 markings/sec, 485 secs
lola: 5060727 markings, 62397272 edges, 10659 markings/sec, 490 secs
lola: 5118244 markings, 63004333 edges, 11503 markings/sec, 495 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown yes unknown no yes unknown no no yes unknown unknown unknown unknown
lola: memory consumption: 966184 KB
lola: time consumption: 1062 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 501 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G ((F (FIREABLE(t336)) AND (X (X (X (F (NOT FIREABLE(t428))))) OR FIREABLE(t336)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G ((F (FIREABLE(t336)) AND (X (X (X (F (NOT FIREABLE(t428))))) OR FIREABLE(t336)))))))
lola: processed formula length: 95
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 126 markings, 126 edges
lola: ========================================
lola: subprocess 12 will run for 627 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X ((NOT FIREABLE(t655) AND (G (NOT FIREABLE(t767)) OR F (NOT FIREABLE(t767))))) R NOT FIREABLE(t659)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X ((NOT FIREABLE(t655) AND (G (NOT FIREABLE(t767)) OR F (NOT FIREABLE(t767))))) R NOT FIREABLE(t659)))
lola: processed formula length: 106
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 13 will run for 836 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (NOT FIREABLE(t538)))
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: FIREABLE(t538)
lola: processed formula length: 14
lola: 82 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((G (F (FIREABLE(t782))) AND (FIREABLE(t410) OR (F (FIREABLE(t410)) AND F (G (FIREABLE(t781))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((G (F (FIREABLE(t782))) AND (FIREABLE(t410) OR (F (FIREABLE(t410)) AND F (G (FIREABLE(t781))))))))
lola: processed formula length: 104
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 18 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 126 markings, 126 edges
lola: ========================================
lola: subprocess 15 will run for 2508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (FIREABLE(t683))) AND A ((F (FIREABLE(t1025)) U G (FIREABLE(t895)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t683)))
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: NOT FIREABLE(t683)
lola: processed formula length: 18
lola: 82 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / 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: 126 markings, 125 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (A (X (G (NOT FIREABLE(t1012)))) AND A (X ((X (NOT FIREABLE(t1012)) OR F (G (FIREABLE(t189)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: A (X (G (NOT FIREABLE(t1012))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (NOT FIREABLE(t1012))))
lola: processed formula length: 31
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 61217 markings, 544665 edges, 12243 markings/sec, 0 secs
lola: 118955 markings, 1143176 edges, 11548 markings/sec, 5 secs
lola: 172470 markings, 1748673 edges, 10703 markings/sec, 10 secs
lola: 228706 markings, 2358207 edges, 11247 markings/sec, 15 secs
lola: 274963 markings, 2932004 edges, 9251 markings/sec, 20 secs
lola: 332028 markings, 3549781 edges, 11413 markings/sec, 25 secs
lola: 384076 markings, 4169065 edges, 10410 markings/sec, 30 secs
lola: 433095 markings, 4783406 edges, 9804 markings/sec, 35 secs
lola: 481105 markings, 5399416 edges, 9602 markings/sec, 40 secs
lola: 535715 markings, 6016870 edges, 10922 markings/sec, 45 secs
lola: 585771 markings, 6637024 edges, 10011 markings/sec, 50 secs
lola: 633308 markings, 7258517 edges, 9507 markings/sec, 55 secs
lola: 682389 markings, 7883403 edges, 9816 markings/sec, 60 secs
lola: 726684 markings, 8504862 edges, 8859 markings/sec, 65 secs
lola: 781155 markings, 9123081 edges, 10894 markings/sec, 70 secs
lola: 829025 markings, 9698569 edges, 9574 markings/sec, 75 secs
lola: 879845 markings, 10325084 edges, 10164 markings/sec, 80 secs
lola: 925750 markings, 10950918 edges, 9181 markings/sec, 85 secs
lola: 975137 markings, 11575627 edges, 9877 markings/sec, 90 secs
lola: 1019989 markings, 12204531 edges, 8970 markings/sec, 95 secs
lola: 1068387 markings, 12823867 edges, 9680 markings/sec, 100 secs
lola: 1111730 markings, 13412056 edges, 8669 markings/sec, 105 secs
lola: 1156183 markings, 14039636 edges, 8891 markings/sec, 110 secs
lola: 1199833 markings, 14665736 edges, 8730 markings/sec, 115 secs
lola: 1238772 markings, 15288641 edges, 7788 markings/sec, 120 secs
lola: 1294968 markings, 15895221 edges, 11239 markings/sec, 125 secs
lola: 1344818 markings, 16504697 edges, 9970 markings/sec, 130 secs
lola: 1392613 markings, 17110195 edges, 9559 markings/sec, 135 secs
lola: 1439748 markings, 17726086 edges, 9427 markings/sec, 140 secs
lola: 1484651 markings, 18334057 edges, 8981 markings/sec, 145 secs
lola: 1528518 markings, 18920520 edges, 8773 markings/sec, 150 secs
lola: 1574083 markings, 19538174 edges, 9113 markings/sec, 155 secs
lola: 1619258 markings, 20154087 edges, 9035 markings/sec, 160 secs
lola: 1662042 markings, 20770981 edges, 8557 markings/sec, 165 secs
lola: 1701773 markings, 21387109 edges, 7946 markings/sec, 170 secs
lola: 1750746 markings, 22005191 edges, 9795 markings/sec, 175 secs
lola: 1793605 markings, 22622843 edges, 8572 markings/sec, 180 secs
lola: 1835522 markings, 23212536 edges, 8383 markings/sec, 185 secs
lola: 1876094 markings, 23835710 edges, 8114 markings/sec, 190 secs
lola: 1918555 markings, 24456958 edges, 8492 markings/sec, 195 secs
lola: 1957422 markings, 25080471 edges, 7773 markings/sec, 200 secs
lola: 2008084 markings, 25681552 edges, 10132 markings/sec, 205 secs
lola: 2058782 markings, 26287635 edges, 10140 markings/sec, 210 secs
lola: 2107981 markings, 26891546 edges, 9840 markings/sec, 215 secs
lola: 2152372 markings, 27498431 edges, 8878 markings/sec, 220 secs
lola: 2200967 markings, 28111522 edges, 9719 markings/sec, 225 secs
lola: 2244873 markings, 28723414 edges, 8781 markings/sec, 230 secs
lola: 2288213 markings, 29293337 edges, 8668 markings/sec, 235 secs
lola: 2334164 markings, 29911648 edges, 9190 markings/sec, 240 secs
lola: 2378214 markings, 30530912 edges, 8810 markings/sec, 245 secs
lola: 2420975 markings, 31148551 edges, 8552 markings/sec, 250 secs
lola: 2459966 markings, 31763538 edges, 7798 markings/sec, 255 secs
lola: 2508878 markings, 32384525 edges, 9782 markings/sec, 260 secs
lola: 2553227 markings, 33008128 edges, 8870 markings/sec, 265 secs
lola: 2596637 markings, 33628548 edges, 8682 markings/sec, 270 secs
lola: 2637071 markings, 34250778 edges, 8087 markings/sec, 275 secs
lola: 2679628 markings, 34875277 edges, 8511 markings/sec, 280 secs
lola: 2719855 markings, 35498884 edges, 8045 markings/sec, 285 secs
lola: 2761700 markings, 36113687 edges, 8369 markings/sec, 290 secs
lola: 2808152 markings, 36734721 edges, 9290 markings/sec, 295 secs
lola: 2853567 markings, 37359381 edges, 9083 markings/sec, 300 secs
lola: 2897470 markings, 37987416 edges, 8781 markings/sec, 305 secs
lola: 2940034 markings, 38611731 edges, 8513 markings/sec, 310 secs
lola: 2980845 markings, 39234443 edges, 8162 markings/sec, 315 secs
lola: 3023100 markings, 39859039 edges, 8451 markings/sec, 320 secs
lola: 3062256 markings, 40488997 edges, 7831 markings/sec, 325 secs
lola: 3103449 markings, 41113534 edges, 8239 markings/sec, 330 secs
lola: 3144922 markings, 41737875 edges, 8295 markings/sec, 335 secs
lola: 3183615 markings, 42364108 edges, 7739 markings/sec, 340 secs
lola: 3222308 markings, 42987537 edges, 7739 markings/sec, 345 secs
lola: 3259120 markings, 43609692 edges, 7362 markings/sec, 350 secs
lola: 3297518 markings, 44222165 edges, 7680 markings/sec, 355 secs
lola: 3350801 markings, 44826806 edges, 10657 markings/sec, 360 secs
lola: 3401033 markings, 45439332 edges, 10046 markings/sec, 365 secs
lola: 3448416 markings, 46048357 edges, 9477 markings/sec, 370 secs
lola: 3495848 markings, 46664638 edges, 9486 markings/sec, 375 secs
lola: 3541117 markings, 47283540 edges, 9054 markings/sec, 380 secs
lola: 3588347 markings, 47901227 edges, 9446 markings/sec, 385 secs
lola: 3633189 markings, 48516188 edges, 8968 markings/sec, 390 secs
lola: 3677053 markings, 49134558 edges, 8773 markings/sec, 395 secs
lola: 3719996 markings, 49749522 edges, 8589 markings/sec, 400 secs
lola: 3762138 markings, 50365135 edges, 8428 markings/sec, 405 secs
lola: 3809104 markings, 50983959 edges, 9393 markings/sec, 410 secs
lola: 3852707 markings, 51605037 edges, 8721 markings/sec, 415 secs
lola: 3895305 markings, 52223600 edges, 8520 markings/sec, 420 secs
lola: 3937027 markings, 52844404 edges, 8344 markings/sec, 425 secs
lola: 3977983 markings, 53464669 edges, 8191 markings/sec, 430 secs
lola: 4015908 markings, 54087552 edges, 7585 markings/sec, 435 secs
lola: 4065116 markings, 54709821 edges, 9842 markings/sec, 440 secs
lola: 4109545 markings, 55333552 edges, 8886 markings/sec, 445 secs
lola: 4153527 markings, 55957626 edges, 8796 markings/sec, 450 secs
lola: 4194147 markings, 56580488 edges, 8124 markings/sec, 455 secs
lola: 4236148 markings, 57201782 edges, 8400 markings/sec, 460 secs
lola: 4276671 markings, 57826717 edges, 8105 markings/sec, 465 secs
lola: 4316941 markings, 58449061 edges, 8054 markings/sec, 470 secs
lola: 4358872 markings, 59070499 edges, 8386 markings/sec, 475 secs
lola: 4398631 markings, 59694947 edges, 7952 markings/sec, 480 secs
lola: 4437685 markings, 60316661 edges, 7811 markings/sec, 485 secs
lola: 4475676 markings, 60936980 edges, 7598 markings/sec, 490 secs
lola: 4511402 markings, 61557775 edges, 7145 markings/sec, 495 secs
lola: 4555468 markings, 62166698 edges, 8813 markings/sec, 500 secs
lola: 4600344 markings, 62774708 edges, 8975 markings/sec, 505 secs
lola: 4642941 markings, 63384578 edges, 8519 markings/sec, 510 secs
lola: 4683224 markings, 63992911 edges, 8057 markings/sec, 515 secs
lola: 4724550 markings, 64607246 edges, 8265 markings/sec, 520 secs
lola: 4764705 markings, 65221514 edges, 8031 markings/sec, 525 secs
lola: 4804261 markings, 65836956 edges, 7911 markings/sec, 530 secs
lola: 4845091 markings, 66450309 edges, 8166 markings/sec, 535 secs
lola: 4883403 markings, 67066270 edges, 7662 markings/sec, 540 secs
lola: 4922387 markings, 67678027 edges, 7797 markings/sec, 545 secs
lola: 4958692 markings, 68291524 edges, 7261 markings/sec, 550 secs
lola: 4996399 markings, 68906052 edges, 7541 markings/sec, 555 secs
lola: 5037350 markings, 69524348 edges, 8190 markings/sec, 560 secs
lola: 5075631 markings, 70145488 edges, 7656 markings/sec, 565 secs
lola: 5113934 markings, 70761875 edges, 7661 markings/sec, 570 secs
lola: 5149581 markings, 71380180 edges, 7129 markings/sec, 575 secs
lola: 5186810 markings, 72001254 edges, 7446 markings/sec, 580 secs
lola: 5222833 markings, 72619760 edges, 7205 markings/sec, 585 secs
lola: 5261296 markings, 73228596 edges, 7693 markings/sec, 590 secs
lola: 5314225 markings, 73829024 edges, 10586 markings/sec, 595 secs
lola: 5362960 markings, 74435407 edges, 9747 markings/sec, 600 secs
lola: 5411822 markings, 75044979 edges, 9772 markings/sec, 605 secs
lola: 5458167 markings, 75655146 edges, 9269 markings/sec, 610 secs
lola: 5503956 markings, 76269025 edges, 9158 markings/sec, 615 secs
lola: 5547160 markings, 76882471 edges, 8641 markings/sec, 620 secs
lola: 5596148 markings, 77496790 edges, 9798 markings/sec, 625 secs
lola: 5640470 markings, 78113080 edges, 8864 markings/sec, 630 secs
lola: 5683776 markings, 78730532 edges, 8661 markings/sec, 635 secs
lola: 5724749 markings, 79342476 edges, 8195 markings/sec, 640 secs
lola: 5768466 markings, 79956503 edges, 8743 markings/sec, 645 secs
lola: 5814449 markings, 80575603 edges, 9197 markings/sec, 650 secs
lola: 5858058 markings, 81195329 edges, 8722 markings/sec, 655 secs
lola: 5900063 markings, 81813078 edges, 8401 markings/sec, 660 secs
lola: 5941510 markings, 82434059 edges, 8289 markings/sec, 665 secs
lola: 5982565 markings, 83054829 edges, 8211 markings/sec, 670 secs
lola: 6021745 markings, 83675097 edges, 7836 markings/sec, 675 secs
lola: 6066583 markings, 84290122 edges, 8968 markings/sec, 680 secs
lola: 6112079 markings, 84911096 edges, 9099 markings/sec, 685 secs
lola: 6155841 markings, 85534944 edges, 8752 markings/sec, 690 secs
lola: 6199429 markings, 86155809 edges, 8718 markings/sec, 695 secs
lola: 6238684 markings, 86775353 edges, 7851 markings/sec, 700 secs
lola: 6281175 markings, 87399566 edges, 8498 markings/sec, 705 secs
lola: 6321237 markings, 88022588 edges, 8012 markings/sec, 710 secs
lola: 6361091 markings, 88645521 edges, 7971 markings/sec, 715 secs
lola: 6402844 markings, 89267472 edges, 8351 markings/sec, 720 secs
lola: 6441964 markings, 89886746 edges, 7824 markings/sec, 725 secs
lola: 6479978 markings, 90510105 edges, 7603 markings/sec, 730 secs
lola: 6517815 markings, 91126461 edges, 7567 markings/sec, 735 secs
lola: 6552247 markings, 91743936 edges, 6886 markings/sec, 740 secs
lola: 6598555 markings, 92349385 edges, 9262 markings/sec, 745 secs
lola: 6642730 markings, 92957837 edges, 8835 markings/sec, 750 secs
lola: 6685349 markings, 93565453 edges, 8524 markings/sec, 755 secs
lola: 6725396 markings, 94172748 edges, 8009 markings/sec, 760 secs
lola: 6766886 markings, 94785371 edges, 8298 markings/sec, 765 secs
lola: 6806809 markings, 95399251 edges, 7985 markings/sec, 770 secs
lola: 6845688 markings, 96012219 edges, 7776 markings/sec, 775 secs
lola: 6886904 markings, 96626432 edges, 8243 markings/sec, 780 secs
lola: 6925572 markings, 97237466 edges, 7734 markings/sec, 785 secs
lola: 6963243 markings, 97850548 edges, 7534 markings/sec, 790 secs
lola: 7001379 markings, 98460725 edges, 7627 markings/sec, 795 secs
lola: 7035910 markings, 99073226 edges, 6906 markings/sec, 800 secs
lola: 7077703 markings, 99689438 edges, 8359 markings/sec, 805 secs
lola: 7117600 markings, 100308232 edges, 7979 markings/sec, 810 secs
lola: 7155514 markings, 100926205 edges, 7583 markings/sec, 815 secs
lola: 7192562 markings, 101541228 edges, 7410 markings/sec, 820 secs
lola: 7228918 markings, 102160806 edges, 7271 markings/sec, 825 secs
lola: 7265932 markings, 102779228 edges, 7403 markings/sec, 830 secs
lola: 7300560 markings, 103398430 edges, 6926 markings/sec, 835 secs
lola: 7339090 markings, 104007589 edges, 7706 markings/sec, 840 secs
lola: 7377591 markings, 104611677 edges, 7700 markings/sec, 845 secs
lola: 7424154 markings, 105214063 edges, 9313 markings/sec, 850 secs
lola: 7466771 markings, 105819908 edges, 8523 markings/sec, 855 secs
lola: 7509322 markings, 106426343 edges, 8510 markings/sec, 860 secs
lola: 7549220 markings, 107034536 edges, 7980 markings/sec, 865 secs
lola: 7590103 markings, 107643206 edges, 8177 markings/sec, 870 secs
lola: 7629534 markings, 108252580 edges, 7886 markings/sec, 875 secs
lola: 7668147 markings, 108862848 edges, 7723 markings/sec, 880 secs
lola: 7708792 markings, 109468672 edges, 8129 markings/sec, 885 secs
lola: 7748201 markings, 110078075 edges, 7882 markings/sec, 890 secs
lola: 7786197 markings, 110692309 edges, 7599 markings/sec, 895 secs
lola: 7824130 markings, 111301554 edges, 7587 markings/sec, 900 secs
lola: 7860036 markings, 111911751 edges, 7181 markings/sec, 905 secs
lola: 7896668 markings, 112520010 edges, 7326 markings/sec, 910 secs
lola: 7938403 markings, 113138948 edges, 8347 markings/sec, 915 secs
lola: 7977112 markings, 113761684 edges, 7742 markings/sec, 920 secs
lola: 8014756 markings, 114379095 edges, 7529 markings/sec, 925 secs
lola: 8051624 markings, 114992956 edges, 7374 markings/sec, 930 secs
lola: 8088003 markings, 115611183 edges, 7276 markings/sec, 935 secs
lola: 8124595 markings, 116227555 edges, 7318 markings/sec, 940 secs
lola: 8158921 markings, 116847055 edges, 6865 markings/sec, 945 secs
lola: 8193090 markings, 117454680 edges, 6834 markings/sec, 950 secs
lola: 8236289 markings, 118078994 edges, 8640 markings/sec, 955 secs
lola: 8275902 markings, 118701456 edges, 7923 markings/sec, 960 secs
lola: 8313810 markings, 119328044 edges, 7582 markings/sec, 965 secs
lola: 8352624 markings, 119951029 edges, 7763 markings/sec, 970 secs
lola: 8387939 markings, 120573373 edges, 7063 markings/sec, 975 secs
lola: 8425511 markings, 121196049 edges, 7514 markings/sec, 980 secs
lola: 8461245 markings, 121813628 edges, 7147 markings/sec, 985 secs
lola: 8495879 markings, 122438472 edges, 6927 markings/sec, 990 secs
lola: 8531924 markings, 123055019 edges, 7209 markings/sec, 995 secs
lola: 8568364 markings, 123672297 edges, 7288 markings/sec, 1000 secs
lola: 8603241 markings, 124292131 edges, 6975 markings/sec, 1005 secs
lola: 8637733 markings, 124915833 edges, 6898 markings/sec, 1010 secs
lola: 8671810 markings, 125538827 edges, 6815 markings/sec, 1015 secs
lola: 8704377 markings, 126157174 edges, 6513 markings/sec, 1020 secs
lola: 8740640 markings, 126765745 edges, 7253 markings/sec, 1025 secs
lola: 8794061 markings, 127368024 edges, 10684 markings/sec, 1030 secs
lola: 8843893 markings, 127980400 edges, 9966 markings/sec, 1035 secs
lola: 8890638 markings, 128589779 edges, 9349 markings/sec, 1040 secs
lola: 8938404 markings, 129206921 edges, 9553 markings/sec, 1045 secs
lola: 8983625 markings, 129825519 edges, 9044 markings/sec, 1050 secs
lola: 9031067 markings, 130442630 edges, 9488 markings/sec, 1055 secs
lola: 9075812 markings, 131059367 edges, 8949 markings/sec, 1060 secs
lola: 9119627 markings, 131677461 edges, 8763 markings/sec, 1065 secs
lola: 9162177 markings, 132294820 edges, 8510 markings/sec, 1070 secs
lola: 9205327 markings, 132910748 edges, 8630 markings/sec, 1075 secs
lola: 9251805 markings, 133532880 edges, 9296 markings/sec, 1080 secs
lola: 9296006 markings, 134154535 edges, 8840 markings/sec, 1085 secs
lola: 9338409 markings, 134774653 edges, 8481 markings/sec, 1090 secs
lola: 9380129 markings, 135400287 edges, 8344 markings/sec, 1095 secs
lola: 9420977 markings, 136024011 edges, 8170 markings/sec, 1100 secs
lola: 9459965 markings, 136647478 edges, 7798 markings/sec, 1105 secs
lola: 9509373 markings, 137271084 edges, 9882 markings/sec, 1110 secs
lola: 9553479 markings, 137896871 edges, 8821 markings/sec, 1115 secs
lola: 9597430 markings, 138521927 edges, 8790 markings/sec, 1120 secs
lola: 9637727 markings, 139146078 edges, 8059 markings/sec, 1125 secs
lola: 9680002 markings, 139769461 edges, 8455 markings/sec, 1130 secs
lola: 9720712 markings, 140396906 edges, 8142 markings/sec, 1135 secs
lola: 9760794 markings, 141018266 edges, 8016 markings/sec, 1140 secs
lola: 9803087 markings, 141643245 edges, 8459 markings/sec, 1145 secs
lola: 9842431 markings, 142265999 edges, 7869 markings/sec, 1150 secs
lola: 9881499 markings, 142890857 edges, 7814 markings/sec, 1155 secs
lola: 9919652 markings, 143512471 edges, 7631 markings/sec, 1160 secs
lola: 9955157 markings, 144132735 edges, 7101 markings/sec, 1165 secs
lola: 10000878 markings, 144745381 edges, 9144 markings/sec, 1170 secs
lola: 10045473 markings, 145356352 edges, 8919 markings/sec, 1175 secs
lola: 10087872 markings, 145965141 edges, 8480 markings/sec, 1180 secs
lola: 10127597 markings, 146572140 edges, 7945 markings/sec, 1185 secs
lola: 10169229 markings, 147185022 edges, 8326 markings/sec, 1190 secs
lola: 10208839 markings, 147797318 edges, 7922 markings/sec, 1195 secs
lola: 10248724 markings, 148409327 edges, 7977 markings/sec, 1200 secs
lola: 10288786 markings, 149021971 edges, 8012 markings/sec, 1205 secs
lola: 10327109 markings, 149633447 edges, 7665 markings/sec, 1210 secs
lola: 10365723 markings, 150243620 edges, 7723 markings/sec, 1215 secs
lola: 10401831 markings, 150854283 edges, 7222 markings/sec, 1220 secs
lola: 10439820 markings, 151465296 edges, 7598 markings/sec, 1225 secs
lola: 10480183 markings, 152076483 edges, 8073 markings/sec, 1230 secs
lola: 10517534 markings, 152690671 edges, 7470 markings/sec, 1235 secs
lola: 10555609 markings, 153299521 edges, 7615 markings/sec, 1240 secs
lola: 10590687 markings, 153910281 edges, 7016 markings/sec, 1245 secs
lola: 10627830 markings, 154525047 edges, 7429 markings/sec, 1250 secs
lola: 10663414 markings, 155136452 edges, 7117 markings/sec, 1255 secs
lola: 10699775 markings, 155742470 edges, 7272 markings/sec, 1260 secs
lola: 10745734 markings, 156338694 edges, 9192 markings/sec, 1265 secs
lola: 10787725 markings, 156938368 edges, 8398 markings/sec, 1270 secs
lola: 10830099 markings, 157538881 edges, 8475 markings/sec, 1275 secs
lola: 10869333 markings, 158144323 edges, 7847 markings/sec, 1280 secs
lola: 10909979 markings, 158747714 edges, 8129 markings/sec, 1285 secs
lola: 10949426 markings, 159354364 edges, 7889 markings/sec, 1290 secs
lola: 10986418 markings, 159957779 edges, 7398 markings/sec, 1295 secs
lola: 11028993 markings, 160569893 edges, 8515 markings/sec, 1300 secs
lola: 11067280 markings, 161175983 edges, 7657 markings/sec, 1305 secs
lola: 11104711 markings, 161788439 edges, 7486 markings/sec, 1310 secs
lola: 11142407 markings, 162395433 edges, 7539 markings/sec, 1315 secs
lola: 11176938 markings, 163003337 edges, 6906 markings/sec, 1320 secs
lola: 11217063 markings, 163612526 edges, 8025 markings/sec, 1325 secs
lola: 11256640 markings, 164226313 edges, 7915 markings/sec, 1330 secs
lola: 11294323 markings, 164842272 edges, 7537 markings/sec, 1335 secs
lola: 11332168 markings, 165449690 edges, 7569 markings/sec, 1340 secs
lola: 11366405 markings, 166061822 edges, 6847 markings/sec, 1345 secs
lola: 11403984 markings, 166677161 edges, 7516 markings/sec, 1350 secs
lola: 11439269 markings, 167287695 edges, 7057 markings/sec, 1355 secs
lola: 11475146 markings, 167896461 edges, 7175 markings/sec, 1360 secs
lola: 11512681 markings, 168500875 edges, 7507 markings/sec, 1365 secs
lola: 11553788 markings, 169114018 edges, 8221 markings/sec, 1370 secs
lola: 11591924 markings, 169729230 edges, 7627 markings/sec, 1375 secs
lola: 11630241 markings, 170345631 edges, 7663 markings/sec, 1380 secs
lola: 11666551 markings, 170960457 edges, 7262 markings/sec, 1385 secs
lola: 11701760 markings, 171571510 edges, 7042 markings/sec, 1390 secs
lola: 11738644 markings, 172192003 edges, 7377 markings/sec, 1395 secs
lola: 11774326 markings, 172813395 edges, 7136 markings/sec, 1400 secs
lola: 11807873 markings, 173430710 edges, 6709 markings/sec, 1405 secs
lola: 11845975 markings, 174048381 edges, 7620 markings/sec, 1410 secs
lola: 11880915 markings, 174664767 edges, 6988 markings/sec, 1415 secs
lola: 11915107 markings, 175281016 edges, 6838 markings/sec, 1420 secs
lola: 11949133 markings, 175895287 edges, 6805 markings/sec, 1425 secs
lola: 11981501 markings, 176509917 edges, 6474 markings/sec, 1430 secs
lola: 12013755 markings, 177117609 edges, 6451 markings/sec, 1435 secs
lola: 12061296 markings, 177719780 edges, 9508 markings/sec, 1440 secs
lola: 12103331 markings, 178321943 edges, 8407 markings/sec, 1445 secs
lola: 12145799 markings, 178924078 edges, 8494 markings/sec, 1450 secs
lola: 12184899 markings, 179527273 edges, 7820 markings/sec, 1455 secs
lola: 12226715 markings, 180135154 edges, 8363 markings/sec, 1460 secs
lola: 12264604 markings, 180741536 edges, 7578 markings/sec, 1465 secs
lola: 12305230 markings, 181350982 edges, 8125 markings/sec, 1470 secs
lola: 12344580 markings, 181962829 edges, 7870 markings/sec, 1475 secs
lola: 12383070 markings, 182573980 edges, 7698 markings/sec, 1480 secs
lola: 12421182 markings, 183178278 edges, 7622 markings/sec, 1485 secs
lola: 12457096 markings, 183788693 edges, 7183 markings/sec, 1490 secs
lola: 12496096 markings, 184402786 edges, 7800 markings/sec, 1495 secs
lola: 12535876 markings, 185016347 edges, 7956 markings/sec, 1500 secs
lola: 12573631 markings, 185630057 edges, 7551 markings/sec, 1505 secs
lola: 12611843 markings, 186243345 edges, 7642 markings/sec, 1510 secs
lola: 12646983 markings, 186859665 edges, 7028 markings/sec, 1515 secs
lola: 12683895 markings, 187474420 edges, 7382 markings/sec, 1520 secs
lola: 12719034 markings, 188089437 edges, 7028 markings/sec, 1525 secs
lola: 12756212 markings, 188703071 edges, 7436 markings/sec, 1530 secs
lola: 12796976 markings, 189316877 edges, 8153 markings/sec, 1535 secs
lola: 12835250 markings, 189932965 edges, 7655 markings/sec, 1540 secs
lola: 12873335 markings, 190546831 edges, 7617 markings/sec, 1545 secs
lola: 12909643 markings, 191163923 edges, 7262 markings/sec, 1550 secs
lola: 12944991 markings, 191774723 edges, 7070 markings/sec, 1555 secs
lola: 12981938 markings, 192391582 edges, 7389 markings/sec, 1560 secs
lola: 13016563 markings, 193016411 edges, 6925 markings/sec, 1565 secs
lola: 13051021 markings, 193624420 edges, 6892 markings/sec, 1570 secs
lola: 13089182 markings, 194238256 edges, 7632 markings/sec, 1575 secs
lola: 13123648 markings, 194855379 edges, 6893 markings/sec, 1580 secs
lola: 13158234 markings, 195473515 edges, 6917 markings/sec, 1585 secs
lola: 13192267 markings, 196093672 edges, 6807 markings/sec, 1590 secs
lola: 13224484 markings, 196703209 edges, 6443 markings/sec, 1595 secs
lola: 13259600 markings, 197307971 edges, 7023 markings/sec, 1600 secs
lola: 13299049 markings, 197904772 edges, 7890 markings/sec, 1605 secs
lola: 13336166 markings, 198507251 edges, 7423 markings/sec, 1610 secs
lola: 13373604 markings, 199110393 edges, 7488 markings/sec, 1615 secs
lola: 13408435 markings, 199710811 edges, 6966 markings/sec, 1620 secs
lola: 13444977 markings, 200318724 edges, 7308 markings/sec, 1625 secs
lola: 13479933 markings, 200923500 edges, 6991 markings/sec, 1630 secs
lola: 13513032 markings, 201527550 edges, 6620 markings/sec, 1635 secs
lola: 13550326 markings, 202137364 edges, 7459 markings/sec, 1640 secs
lola: 13584637 markings, 202746544 edges, 6862 markings/sec, 1645 secs
lola: 13619309 markings, 203358900 edges, 6934 markings/sec, 1650 secs
lola: 13652858 markings, 203961854 edges, 6710 markings/sec, 1655 secs
lola: 13684710 markings, 204566856 edges, 6370 markings/sec, 1660 secs
lola: 13717772 markings, 205171082 edges, 6612 markings/sec, 1665 secs
lola: 13754260 markings, 205779782 edges, 7298 markings/sec, 1670 secs
lola: 13788464 markings, 206396028 edges, 6841 markings/sec, 1675 secs
lola: 13821869 markings, 207005803 edges, 6681 markings/sec, 1680 secs
lola: 13854560 markings, 207614769 edges, 6538 markings/sec, 1685 secs
lola: 13887113 markings, 208232765 edges, 6511 markings/sec, 1690 secs
lola: 13919870 markings, 208843051 edges, 6551 markings/sec, 1695 secs
lola: 13950839 markings, 209453717 edges, 6194 markings/sec, 1700 secs
lola: 13988306 markings, 210053096 edges, 7493 markings/sec, 1705 secs
lola: 14040321 markings, 210649926 edges, 10403 markings/sec, 1710 secs
lola: 14089506 markings, 211252456 edges, 9837 markings/sec, 1715 secs
lola: 14137173 markings, 211856219 edges, 9533 markings/sec, 1720 secs
lola: 14183168 markings, 212458520 edges, 9199 markings/sec, 1725 secs
lola: 14228591 markings, 213068960 edges, 9085 markings/sec, 1730 secs
lola: 14270962 markings, 213676090 edges, 8474 markings/sec, 1735 secs
lola: 14319572 markings, 214284235 edges, 9722 markings/sec, 1740 secs
lola: 14363355 markings, 214893858 edges, 8757 markings/sec, 1745 secs
lola: 14406384 markings, 215507029 edges, 8606 markings/sec, 1750 secs
lola: 14446885 markings, 216111546 edges, 8100 markings/sec, 1755 secs
lola: 14489920 markings, 216718124 edges, 8607 markings/sec, 1760 secs
lola: 14535503 markings, 217330563 edges, 9117 markings/sec, 1765 secs
lola: 14578590 markings, 217943764 edges, 8617 markings/sec, 1770 secs
lola: 14620263 markings, 218553637 edges, 8335 markings/sec, 1775 secs
lola: 14661227 markings, 219167199 edges, 8193 markings/sec, 1780 secs
lola: 14701894 markings, 219780089 edges, 8133 markings/sec, 1785 secs
lola: 14739965 markings, 220393498 edges, 7614 markings/sec, 1790 secs
lola: 14783712 markings, 220997987 edges, 8749 markings/sec, 1795 secs
lola: 14829583 markings, 221613352 edges, 9174 markings/sec, 1800 secs
lola: 14873344 markings, 222228334 edges, 8752 markings/sec, 1805 secs
lola: 14915984 markings, 222843823 edges, 8528 markings/sec, 1810 secs
lola: 14954927 markings, 223457689 edges, 7789 markings/sec, 1815 secs
lola: 14996758 markings, 224071614 edges, 8366 markings/sec, 1820 secs
lola: 15037025 markings, 224687291 edges, 8053 markings/sec, 1825 secs
lola: 15074287 markings, 225303106 edges, 7452 markings/sec, 1830 secs
lola: 15117405 markings, 225920517 edges, 8624 markings/sec, 1835 secs
lola: 15156409 markings, 226535951 edges, 7801 markings/sec, 1840 secs
lola: 15194250 markings, 227154000 edges, 7568 markings/sec, 1845 secs
lola: 15232150 markings, 227765642 edges, 7580 markings/sec, 1850 secs
lola: 15267114 markings, 228375889 edges, 6993 markings/sec, 1855 secs
lola: 15310097 markings, 228978021 edges, 8597 markings/sec, 1860 secs
lola: 15347023 markings, 229474499 edges, 7385 markings/sec, 1865 secs
lola: 15389428 markings, 230077307 edges, 8481 markings/sec, 1870 secs
lola: 15430179 markings, 230676622 edges, 8150 markings/sec, 1875 secs
lola: 15470305 markings, 231278575 edges, 8025 markings/sec, 1880 secs
lola: 15511089 markings, 231885173 edges, 8157 markings/sec, 1885 secs
lola: 15549077 markings, 232497319 edges, 7598 markings/sec, 1890 secs
lola: 15589947 markings, 233103306 edges, 8174 markings/sec, 1895 secs
lola: 15628791 markings, 233712956 edges, 7769 markings/sec, 1900 secs
lola: 15666877 markings, 234320964 edges, 7617 markings/sec, 1905 secs
lola: 15705056 markings, 234923160 edges, 7636 markings/sec, 1910 secs
lola: 15740811 markings, 235530871 edges, 7151 markings/sec, 1915 secs
lola: 15778523 markings, 236136589 edges, 7542 markings/sec, 1920 secs
lola: 15818739 markings, 236746538 edges, 8043 markings/sec, 1925 secs
lola: 15856883 markings, 237360179 edges, 7629 markings/sec, 1930 secs
lola: 15894352 markings, 237966816 edges, 7494 markings/sec, 1935 secs
lola: 15929930 markings, 238577394 edges, 7116 markings/sec, 1940 secs
lola: 15966948 markings, 239192288 edges, 7404 markings/sec, 1945 secs
lola: 16002117 markings, 239803337 edges, 7034 markings/sec, 1950 secs
lola: 16036604 markings, 240415297 edges, 6897 markings/sec, 1955 secs
lola: 16074072 markings, 241010642 edges, 7494 markings/sec, 1960 secs
lola: 16120321 markings, 241605582 edges, 9250 markings/sec, 1965 secs
lola: 16162332 markings, 242204072 edges, 8402 markings/sec, 1970 secs
lola: 16204761 markings, 242803584 edges, 8486 markings/sec, 1975 secs
lola: 16244645 markings, 243406083 edges, 7977 markings/sec, 1980 secs
lola: 16284719 markings, 244009571 edges, 8015 markings/sec, 1985 secs
lola: 16324474 markings, 244615885 edges, 7951 markings/sec, 1990 secs
lola: 16362414 markings, 245223238 edges, 7588 markings/sec, 1995 secs
lola: 16402840 markings, 245827291 edges, 8085 markings/sec, 2000 secs
lola: 16442577 markings, 246437004 edges, 7947 markings/sec, 2005 secs
lola: 16480538 markings, 247045710 edges, 7592 markings/sec, 2010 secs
lola: 16518223 markings, 247656063 edges, 7537 markings/sec, 2015 secs
lola: 16553929 markings, 248260875 edges, 7141 markings/sec, 2020 secs
lola: 16589991 markings, 248866125 edges, 7212 markings/sec, 2025 secs
lola: 16631618 markings, 249481962 edges, 8325 markings/sec, 2030 secs
lola: 16670320 markings, 250101367 edges, 7740 markings/sec, 2035 secs
lola: 16707846 markings, 250711839 edges, 7505 markings/sec, 2040 secs
lola: 16744292 markings, 251321898 edges, 7289 markings/sec, 2045 secs
lola: 16780067 markings, 251931601 edges, 7155 markings/sec, 2050 secs
lola: 16816649 markings, 252544123 edges, 7316 markings/sec, 2055 secs
lola: 16851184 markings, 253158575 edges, 6907 markings/sec, 2060 secs
lola: 16885117 markings, 253760394 edges, 6787 markings/sec, 2065 secs
lola: 16926826 markings, 254378173 edges, 8342 markings/sec, 2070 secs
lola: 16966069 markings, 254998046 edges, 7849 markings/sec, 2075 secs
lola: 17004619 markings, 255611876 edges, 7710 markings/sec, 2080 secs
lola: 17042129 markings, 256224441 edges, 7502 markings/sec, 2085 secs
lola: 17077789 markings, 256839608 edges, 7132 markings/sec, 2090 secs
lola: 17113973 markings, 257454778 edges, 7237 markings/sec, 2095 secs
lola: 17150430 markings, 258067810 edges, 7291 markings/sec, 2100 secs
lola: 17184660 markings, 258684172 edges, 6846 markings/sec, 2105 secs
lola: 17218727 markings, 259298874 edges, 6813 markings/sec, 2110 secs
lola: 17256637 markings, 259914662 edges, 7582 markings/sec, 2115 secs
lola: 17291200 markings, 260533759 edges, 6913 markings/sec, 2120 secs
lola: 17325353 markings, 261147966 edges, 6831 markings/sec, 2125 secs
lola: 17359230 markings, 261759504 edges, 6775 markings/sec, 2130 secs
lola: 17391645 markings, 262372794 edges, 6483 markings/sec, 2135 secs
lola: 17422532 markings, 262981560 edges, 6177 markings/sec, 2140 secs
lola: 17467118 markings, 263576601 edges, 8917 markings/sec, 2145 secs
lola: 17510772 markings, 264172692 edges, 8731 markings/sec, 2150 secs
lola: 17552652 markings, 264776089 edges, 8376 markings/sec, 2155 secs
lola: 17593061 markings, 265375748 edges, 8082 markings/sec, 2160 secs
lola: 17633946 markings, 265982373 edges, 8177 markings/sec, 2165 secs
lola: 17673222 markings, 266589263 edges, 7855 markings/sec, 2170 secs
lola: 17710661 markings, 267195467 edges, 7488 markings/sec, 2175 secs
lola: 17752234 markings, 267802390 edges, 8315 markings/sec, 2180 secs
lola: 17790887 markings, 268406957 edges, 7731 markings/sec, 2185 secs
lola: 17829222 markings, 269014431 edges, 7667 markings/sec, 2190 secs
lola: 17866455 markings, 269620315 edges, 7447 markings/sec, 2195 secs
lola: 17901057 markings, 270224555 edges, 6920 markings/sec, 2200 secs
lola: 17941315 markings, 270834731 edges, 8052 markings/sec, 2205 secs
lola: 17981035 markings, 271445359 edges, 7944 markings/sec, 2210 secs
lola: 18018526 markings, 272056498 edges, 7498 markings/sec, 2215 secs
lola: 18055994 markings, 272665483 edges, 7494 markings/sec, 2220 secs
lola: 18090908 markings, 273279511 edges, 6983 markings/sec, 2225 secs
lola: 18128180 markings, 273898842 edges, 7454 markings/sec, 2230 secs
lola: 18163427 markings, 274507693 edges, 7049 markings/sec, 2235 secs
lola: 18198621 markings, 275117594 edges, 7039 markings/sec, 2240 secs
lola: 18239828 markings, 275730559 edges, 8241 markings/sec, 2245 secs
lola: 18278603 markings, 276348203 edges, 7755 markings/sec, 2250 secs
lola: 18317019 markings, 276967567 edges, 7683 markings/sec, 2255 secs
lola: 18353555 markings, 277582732 edges, 7307 markings/sec, 2260 secs
lola: 18387951 markings, 278191395 edges, 6879 markings/sec, 2265 secs
lola: 18425273 markings, 278808705 edges, 7464 markings/sec, 2270 secs
lola: 18460859 markings, 279422948 edges, 7117 markings/sec, 2275 secs
lola: 18495860 markings, 280036064 edges, 7000 markings/sec, 2280 secs
lola: 18532337 markings, 280653205 edges, 7295 markings/sec, 2285 secs
lola: 18568461 markings, 281266148 edges, 7225 markings/sec, 2290 secs
lola: 18602631 markings, 281877403 edges, 6834 markings/sec, 2295 secs
lola: 18635745 markings, 282494627 edges, 6623 markings/sec, 2300 secs
lola: 18669771 markings, 283101710 edges, 6805 markings/sec, 2305 secs
lola: 18701572 markings, 283715726 edges, 6360 markings/sec, 2310 secs
lola: 18739077 markings, 284322294 edges, 7501 markings/sec, 2315 secs
lola: 18778017 markings, 284924332 edges, 7788 markings/sec, 2320 secs
lola: 18814649 markings, 285525080 edges, 7326 markings/sec, 2325 secs
lola: 18852372 markings, 286126410 edges, 7545 markings/sec, 2330 secs
lola: 18887147 markings, 286726904 edges, 6955 markings/sec, 2335 secs
lola: 18923723 markings, 287330882 edges, 7315 markings/sec, 2340 secs
lola: 18958179 markings, 287935427 edges, 6891 markings/sec, 2345 secs
lola: 18991557 markings, 288541392 edges, 6676 markings/sec, 2350 secs
lola: 19028558 markings, 289146910 edges, 7400 markings/sec, 2355 secs
lola: 19063182 markings, 289756515 edges, 6925 markings/sec, 2360 secs
lola: 19096891 markings, 290358892 edges, 6742 markings/sec, 2365 secs
lola: 19131032 markings, 290964440 edges, 6828 markings/sec, 2370 secs
lola: 19163623 markings, 291566394 edges, 6518 markings/sec, 2375 secs
lola: 19194108 markings, 292169884 edges, 6097 markings/sec, 2380 secs
lola: 19230544 markings, 292777634 edges, 7287 markings/sec, 2385 secs
lola: 19265865 markings, 293387929 edges, 7064 markings/sec, 2390 secs
lola: 19298704 markings, 293997080 edges, 6568 markings/sec, 2395 secs
lola: 19332862 markings, 294604881 edges, 6832 markings/sec, 2400 secs
lola: 19364739 markings, 295214168 edges, 6375 markings/sec, 2405 secs
lola: 19397592 markings, 295829183 edges, 6571 markings/sec, 2410 secs
lola: 19429885 markings, 296437369 edges, 6459 markings/sec, 2415 secs
lola: 19460752 markings, 297052784 edges, 6173 markings/sec, 2420 secs
lola: 19496673 markings, 297651811 edges, 7184 markings/sec, 2425 secs
lola: 19531174 markings, 298249310 edges, 6900 markings/sec, 2430 secs
lola: 19565645 markings, 298844864 edges, 6894 markings/sec, 2435 secs
lola: 19611489 markings, 299436590 edges, 9169 markings/sec, 2440 secs
lola: 19653362 markings, 300033265 edges, 8375 markings/sec, 2445 secs
lola: 19695732 markings, 300631787 edges, 8474 markings/sec, 2450 secs
lola: 19735513 markings, 301232981 edges, 7956 markings/sec, 2455 secs
lola: 19775559 markings, 301835819 edges, 8009 markings/sec, 2460 secs
lola: 19815228 markings, 302440882 edges, 7934 markings/sec, 2465 secs
lola: 19853305 markings, 303050415 edges, 7615 markings/sec, 2470 secs
lola: 19893673 markings, 303653551 edges, 8074 markings/sec, 2475 secs
lola: 19933278 markings, 304261160 edges, 7921 markings/sec, 2480 secs
lola: 19971179 markings, 304869234 edges, 7580 markings/sec, 2485 secs
lola: 20008684 markings, 305476423 edges, 7501 markings/sec, 2490 secs
lola: 20044815 markings, 306088183 edges, 7226 markings/sec, 2495 secs
lola: 20080627 markings, 306689679 edges, 7162 markings/sec, 2500 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no no no yes no no yes unknown no no yes unknown no yes yes
lola:
preliminary result: unknown no no no yes no no yes unknown no no yes unknown no yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no no yes no no yes unknown no no yes unknown no yes yes
lola: memory consumption: 5425196 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no no yes no no yes unknown no no yes unknown no yes yes
lola: memory consumption: 5424932 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
BK_STOP 1589321271472
--------------------
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-48a"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="win2019"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool win2019"
echo " Input is AutoFlight-PT-48a, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r015-smll-158897552800126"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-48a.tgz
mv AutoFlight-PT-48a execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;