About the Execution of 2019-Gold for ASLink-PT-05b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4306.480 | 3570169.00 | 3640613.00 | 10619.60 | ?T?FFFF?TFF?FF?F | 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-158897552700022.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 ASLink-PT-05b, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r015-smll-158897552700022
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 964K
-rw-r--r-- 1 mcc users 3.5K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 09:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 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 795K 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 ASLink-PT-05b-00
FORMULA_NAME ASLink-PT-05b-01
FORMULA_NAME ASLink-PT-05b-02
FORMULA_NAME ASLink-PT-05b-03
FORMULA_NAME ASLink-PT-05b-04
FORMULA_NAME ASLink-PT-05b-05
FORMULA_NAME ASLink-PT-05b-06
FORMULA_NAME ASLink-PT-05b-07
FORMULA_NAME ASLink-PT-05b-08
FORMULA_NAME ASLink-PT-05b-09
FORMULA_NAME ASLink-PT-05b-10
FORMULA_NAME ASLink-PT-05b-11
FORMULA_NAME ASLink-PT-05b-12
FORMULA_NAME ASLink-PT-05b-13
FORMULA_NAME ASLink-PT-05b-14
FORMULA_NAME ASLink-PT-05b-15
=== Now, execution of the tool begins
BK_START 1589164711934
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ASLink-PT-05b @ 3570 seconds
FORMULA ASLink-PT-05b-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for LTLFireability @ ASLink-PT-05b
{
"exit":
{
"memory": 2709172,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"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": 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 (G (NOT FIREABLE(t2233))))",
"processed_size": 31,
"rewrites": 63
},
"result":
{
"preliminary_value": "unknown yes unknown no no no no unknown yes no no unknown no no unknown no "
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 5470/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2430
lola: finding significant places
lola: 2430 places, 3040 transitions, 2192 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 (X (G (NOT FIREABLE(t2233)))) : A (((FIREABLE(t416) U FIREABLE(t2868)) OR NOT((F (FIREABLE(t810)) AND X (X (X (X (FIREABLE(t416))))))))) : A (G (F ((NOT(G (X (F (FIREABLE(t1660))))) OR X (FIREABLE(t743)))))) : A ((G (FIREABLE(t1647)) U G (X ((FIREABLE(t1647) OR G ((FIREABLE(t866) U FIREABLE(t588)))))))) : A ((X (X (NOT FIREABLE(t1107))) U (G (((FIREABLE(t1622) OR FIREABLE(t1062)) OR F (FIREABLE(t1622)))) OR G (FIREABLE(t1107))))) : A (((FIREABLE(t874) OR G (FIREABLE(t1747))) AND F (X (G (NOT FIREABLE(t1499)))))) : A (G (F (G (X (FIREABLE(t875)))))) : A (((FIREABLE(t1133) OR G (FIREABLE(t2820))) OR F (X (FIREABLE(t419))))) : A ((NOT FIREABLE(t2246) OR G (X (G (FIREABLE(t2500)))))) : A ((FIREABLE(t2140) AND ((G (FIREABLE(t1839)) OR G (FIREABLE(t2140))) OR G (NOT FIREABLE(t1839))))) : A (F ((F (X (F ((FIREABLE(t1932) OR FIREABLE(t780))))) U (FIREABLE(t589) OR F (FIREABLE(t780)))))) : A (X (X (F ((FIREABLE(t651) OR (FIREABLE(t2125) U FIREABLE(t300))))))) : A (X (NOT(X ((NOT FIREABLE(t284) AND G (NOT(F (G (FIREABLE(t284)))))))))) : A ((FIREABLE(t1797) OR G (F (((G (FIREABLE(t2395)) U NOT FIREABLE(t1781)) U F ((FIREABLE(t2395) OR X (FIREABLE(t1797))))))))) : A (X (NOT(X ((F (FIREABLE(t2841)) OR X ((FIREABLE(t2260) OR X (G (FIREABLE(t887)))))))))) : A (F (X (F (X (FIREABLE(t1369))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:347
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k: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:347
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(t2233))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (NOT FIREABLE(t2233))))
lola: processed formula length: 31
lola: 63 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: 58479 markings, 257825 edges, 11696 markings/sec, 0 secs
lola: 98682 markings, 519785 edges, 8041 markings/sec, 5 secs
lola: 138712 markings, 781945 edges, 8006 markings/sec, 10 secs
lola: 178606 markings, 1043848 edges, 7979 markings/sec, 15 secs
lola: 216971 markings, 1305450 edges, 7673 markings/sec, 20 secs
lola: 254223 markings, 1566506 edges, 7450 markings/sec, 25 secs
lola: 289700 markings, 1818985 edges, 7095 markings/sec, 30 secs
lola: 329735 markings, 2082391 edges, 8007 markings/sec, 35 secs
lola: 368076 markings, 2345631 edges, 7668 markings/sec, 40 secs
lola: 405429 markings, 2607414 edges, 7471 markings/sec, 45 secs
lola: 443352 markings, 2868538 edges, 7585 markings/sec, 50 secs
lola: 483316 markings, 3130472 edges, 7993 markings/sec, 55 secs
lola: 519618 markings, 3391963 edges, 7260 markings/sec, 60 secs
lola: 557331 markings, 3654276 edges, 7543 markings/sec, 65 secs
lola: 596506 markings, 3916672 edges, 7835 markings/sec, 70 secs
lola: 636403 markings, 4179134 edges, 7979 markings/sec, 75 secs
lola: 673083 markings, 4441541 edges, 7336 markings/sec, 80 secs
lola: 709386 markings, 4703047 edges, 7261 markings/sec, 85 secs
lola: 749147 markings, 4964891 edges, 7952 markings/sec, 90 secs
lola: 789012 markings, 5226926 edges, 7973 markings/sec, 95 secs
lola: 826052 markings, 5488404 edges, 7408 markings/sec, 100 secs
lola: 862594 markings, 5749347 edges, 7308 markings/sec, 105 secs
lola: 902312 markings, 6010851 edges, 7944 markings/sec, 110 secs
lola: 941638 markings, 6272722 edges, 7865 markings/sec, 115 secs
lola: 978323 markings, 6534379 edges, 7337 markings/sec, 120 secs
lola: 1015237 markings, 6795102 edges, 7383 markings/sec, 125 secs
lola: 1054926 markings, 7056467 edges, 7938 markings/sec, 130 secs
lola: 1093450 markings, 7317931 edges, 7705 markings/sec, 135 secs
lola: 1130710 markings, 7578737 edges, 7452 markings/sec, 140 secs
lola: 1167241 markings, 7839376 edges, 7306 markings/sec, 145 secs
lola: 1206958 markings, 8100587 edges, 7943 markings/sec, 150 secs
lola: 1245013 markings, 8361462 edges, 7611 markings/sec, 155 secs
lola: 1282126 markings, 8621563 edges, 7423 markings/sec, 160 secs
lola: 1319963 markings, 8881709 edges, 7567 markings/sec, 165 secs
lola: 1356476 markings, 9145747 edges, 7303 markings/sec, 170 secs
lola: 1391700 markings, 9409701 edges, 7045 markings/sec, 175 secs
lola: 1425663 markings, 9673165 edges, 6793 markings/sec, 180 secs
lola: 1458105 markings, 9936481 edges, 6488 markings/sec, 185 secs
lola: 1490438 markings, 10199492 edges, 6467 markings/sec, 190 secs
lola: 1525222 markings, 10463631 edges, 6957 markings/sec, 195 secs
lola: 1560068 markings, 10727468 edges, 6969 markings/sec, 200 secs
lola: 1592172 markings, 10990803 edges, 6421 markings/sec, 205 secs
lola: 1624229 markings, 11253304 edges, 6411 markings/sec, 210 secs
lola: 1658917 markings, 11516720 edges, 6938 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: memory consumption: 321196 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 (((FIREABLE(t416) U FIREABLE(t2868)) OR (G (NOT FIREABLE(t810)) OR X (X (X (X (NOT FIREABLE(t416))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t416) U FIREABLE(t2868)) OR (G (NOT FIREABLE(t810)) OR X (X (X (X (NOT FIREABLE(t416))))))))
lola: processed formula length: 106
lola: 63 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 21 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: 43 markings, 83 edges
lola: ========================================
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((F (G (NOT FIREABLE(t1660))) OR X (FIREABLE(t743))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((F (G (NOT FIREABLE(t1660))) OR X (FIREABLE(t743))))))
lola: processed formula length: 63
lola: 63 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: 58254 markings, 255783 edges, 11651 markings/sec, 0 secs
lola: 98334 markings, 517122 edges, 8016 markings/sec, 5 secs
lola: 135200 markings, 758716 edges, 7373 markings/sec, 10 secs
lola: 175243 markings, 1021906 edges, 8009 markings/sec, 15 secs
lola: 214286 markings, 1284897 edges, 7809 markings/sec, 20 secs
lola: 251463 markings, 1546912 edges, 7435 markings/sec, 25 secs
lola: 288062 markings, 1808655 edges, 7320 markings/sec, 30 secs
lola: 328306 markings, 2071024 edges, 8049 markings/sec, 35 secs
lola: 366466 markings, 2333255 edges, 7632 markings/sec, 40 secs
lola: 403689 markings, 2594458 edges, 7445 markings/sec, 45 secs
lola: 441555 markings, 2855908 edges, 7573 markings/sec, 50 secs
lola: 481276 markings, 3118323 edges, 7944 markings/sec, 55 secs
lola: 518056 markings, 3380481 edges, 7356 markings/sec, 60 secs
lola: 555762 markings, 3642036 edges, 7541 markings/sec, 65 secs
lola: 594469 markings, 3903528 edges, 7741 markings/sec, 70 secs
lola: 634193 markings, 4164882 edges, 7945 markings/sec, 75 secs
lola: 670783 markings, 4425711 edges, 7318 markings/sec, 80 secs
lola: 707016 markings, 4685917 edges, 7247 markings/sec, 85 secs
lola: 746497 markings, 4946534 edges, 7896 markings/sec, 90 secs
lola: 786370 markings, 5207333 edges, 7975 markings/sec, 95 secs
lola: 822897 markings, 5467616 edges, 7305 markings/sec, 100 secs
lola: 859251 markings, 5727299 edges, 7271 markings/sec, 105 secs
lola: 898672 markings, 5987859 edges, 7884 markings/sec, 110 secs
lola: 937951 markings, 6248267 edges, 7856 markings/sec, 115 secs
lola: 974759 markings, 6508415 edges, 7362 markings/sec, 120 secs
lola: 1011173 markings, 6768140 edges, 7283 markings/sec, 125 secs
lola: 1050697 markings, 7027922 edges, 7905 markings/sec, 130 secs
lola: 1089527 markings, 7287846 edges, 7766 markings/sec, 135 secs
lola: 1126010 markings, 7547322 edges, 7297 markings/sec, 140 secs
lola: 1162613 markings, 7806033 edges, 7321 markings/sec, 145 secs
lola: 1202262 markings, 8066078 edges, 7930 markings/sec, 150 secs
lola: 1240499 markings, 8326995 edges, 7647 markings/sec, 155 secs
lola: 1277614 markings, 8587348 edges, 7423 markings/sec, 160 secs
lola: 1314132 markings, 8846850 edges, 7304 markings/sec, 165 secs
lola: 1352087 markings, 9111229 edges, 7591 markings/sec, 170 secs
lola: 1387248 markings, 9375521 edges, 7032 markings/sec, 175 secs
lola: 1421634 markings, 9639224 edges, 6877 markings/sec, 180 secs
lola: 1454032 markings, 9902584 edges, 6480 markings/sec, 185 secs
lola: 1486014 markings, 10165290 edges, 6396 markings/sec, 190 secs
lola: 1520343 markings, 10429255 edges, 6866 markings/sec, 195 secs
lola: 1555638 markings, 10693149 edges, 7059 markings/sec, 200 secs
lola: 1587521 markings, 10956598 edges, 6377 markings/sec, 205 secs
lola: 1620536 markings, 11218936 edges, 6603 markings/sec, 210 secs
lola: 1654231 markings, 11481575 edges, 6739 markings/sec, 215 secs
lola: 1688689 markings, 11745332 edges, 6892 markings/sec, 220 secs
lola: 1722382 markings, 12008818 edges, 6739 markings/sec, 225 secs
lola: 1755373 markings, 12271424 edges, 6598 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 338048 KB
lola: time consumption: 465 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (G ((FIREABLE(t1647) OR G ((F (FIREABLE(t588)) AND (FIREABLE(t866) OR FIREABLE(t588))))))) OR (G (FIREABLE(t1647)) AND F (G ((FIREABLE(t1647) OR G ((F (FIREABLE(t588)) AND (FIREABLE(t866) OR FIREABLE(t588))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (G ((FIREABLE(t1647) OR G ((F (FIREABLE(t588)) AND (FIREABLE(t866) OR FIREABLE(t588))))))) OR (G (FIREABLE(t1647)) AND F (G ((FIREABLE(t1647) OR G ((F (FIREABLE(t588)) AND (FIREABLE(t866) OR FIREABLE(t588))))))))))
lola: processed formula length: 220
lola: 63 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 30 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: 350 markings, 351 edges
lola: ========================================
lola: subprocess 4 will run for 258 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (X (NOT FIREABLE(t1107))) U (G (((FIREABLE(t1622) OR FIREABLE(t1062)) OR F (FIREABLE(t1622)))) OR G (FIREABLE(t1107)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (X (NOT FIREABLE(t1107))) U (G (((FIREABLE(t1622) OR FIREABLE(t1062)) OR F (FIREABLE(t1622)))) OR G (FIREABLE(t1107)))))
lola: processed formula length: 127
lola: 63 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 25 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: 2246 markings, 2252 edges
lola: ========================================
lola: subprocess 5 will run for 282 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t1133) OR (G (FIREABLE(t2820)) OR X (F (FIREABLE(t419))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t1133) OR (G (FIREABLE(t2820)) OR X (F (FIREABLE(t419))))))
lola: processed formula length: 72
lola: 63 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: 79130 markings, 238402 edges, 15826 markings/sec, 0 secs
lola: 149010 markings, 487378 edges, 13976 markings/sec, 5 secs
lola: 215420 markings, 736439 edges, 13282 markings/sec, 10 secs
lola: 293982 markings, 982694 edges, 15712 markings/sec, 15 secs
lola: 364781 markings, 1229275 edges, 14160 markings/sec, 20 secs
lola: 430602 markings, 1475521 edges, 13164 markings/sec, 25 secs
lola: 506939 markings, 1721499 edges, 15267 markings/sec, 30 secs
lola: 579271 markings, 1967609 edges, 14466 markings/sec, 35 secs
lola: 645436 markings, 2213206 edges, 13233 markings/sec, 40 secs
lola: 716780 markings, 2460759 edges, 14269 markings/sec, 45 secs
lola: 783815 markings, 2709911 edges, 13407 markings/sec, 50 secs
lola: 845152 markings, 2958580 edges, 12267 markings/sec, 55 secs
lola: 902387 markings, 3208131 edges, 11447 markings/sec, 60 secs
lola: 971302 markings, 3455302 edges, 13783 markings/sec, 65 secs
lola: 1034539 markings, 3702753 edges, 12647 markings/sec, 70 secs
lola: 1094381 markings, 3949500 edges, 11968 markings/sec, 75 secs
lola: 1155610 markings, 4196867 edges, 12246 markings/sec, 80 secs
lola: 1222316 markings, 4443410 edges, 13341 markings/sec, 85 secs
lola: 1282725 markings, 4689582 edges, 12082 markings/sec, 90 secs
lola: 1340256 markings, 4936263 edges, 11506 markings/sec, 95 secs
lola: 1409083 markings, 5184591 edges, 13765 markings/sec, 100 secs
lola: 1475658 markings, 5434203 edges, 13315 markings/sec, 105 secs
lola: 1537074 markings, 5683173 edges, 12283 markings/sec, 110 secs
lola: 1595162 markings, 5933095 edges, 11618 markings/sec, 115 secs
lola: 1664273 markings, 6179931 edges, 13822 markings/sec, 120 secs
lola: 1726724 markings, 6427410 edges, 12490 markings/sec, 125 secs
lola: 1785984 markings, 6674319 edges, 11852 markings/sec, 130 secs
lola: 1847818 markings, 6921335 edges, 12367 markings/sec, 135 secs
lola: 1914171 markings, 7168215 edges, 13271 markings/sec, 140 secs
lola: 1974943 markings, 7414032 edges, 12154 markings/sec, 145 secs
lola: 2031441 markings, 7661226 edges, 11300 markings/sec, 150 secs
lola: 2103459 markings, 7910535 edges, 14404 markings/sec, 155 secs
lola: 2168468 markings, 8161170 edges, 13002 markings/sec, 160 secs
lola: 2229678 markings, 8411229 edges, 12242 markings/sec, 165 secs
lola: 2289747 markings, 8660885 edges, 12014 markings/sec, 170 secs
lola: 2358453 markings, 8908851 edges, 13741 markings/sec, 175 secs
lola: 2419265 markings, 9157098 edges, 12162 markings/sec, 180 secs
lola: 2478426 markings, 9405341 edges, 11832 markings/sec, 185 secs
lola: 2543631 markings, 9653064 edges, 13041 markings/sec, 190 secs
lola: 2608070 markings, 9901164 edges, 12888 markings/sec, 195 secs
lola: 2669120 markings, 10147905 edges, 12210 markings/sec, 200 secs
lola: 2727816 markings, 10396047 edges, 11739 markings/sec, 205 secs
lola: 2799556 markings, 10646320 edges, 14348 markings/sec, 210 secs
lola: 2863687 markings, 10897250 edges, 12826 markings/sec, 215 secs
lola: 2924499 markings, 11147704 edges, 12162 markings/sec, 220 secs
lola: 2986413 markings, 11397697 edges, 12383 markings/sec, 225 secs
lola: 3043511 markings, 11604733 edges, 11420 markings/sec, 230 secs
lola: 3104095 markings, 11852890 edges, 12117 markings/sec, 235 secs
lola: 3163253 markings, 12101197 edges, 11832 markings/sec, 240 secs
lola: 3228829 markings, 12348967 edges, 13115 markings/sec, 245 secs
lola: 3292726 markings, 12596064 edges, 12779 markings/sec, 250 secs
lola: 3353841 markings, 12843009 edges, 12223 markings/sec, 255 secs
lola: 3412790 markings, 13091304 edges, 11790 markings/sec, 260 secs
lola: 3484414 markings, 13340856 edges, 14325 markings/sec, 265 secs
lola: 3548294 markings, 13590777 edges, 12776 markings/sec, 270 secs
lola: 3608846 markings, 13840256 edges, 12110 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown no no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 743884 KB
lola: time consumption: 748 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 282 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((NOT FIREABLE(t2246) OR X (G (FIREABLE(t2500)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((NOT FIREABLE(t2246) OR X (G (FIREABLE(t2500)))))
lola: processed formula length: 52
lola: 63 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 313 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F ((FIREABLE(t651) OR (FIREABLE(t2125) U FIREABLE(t300)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F ((FIREABLE(t651) OR (FIREABLE(t2125) U FIREABLE(t300)))))))
lola: processed formula length: 70
lola: 63 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: 82200 markings, 247996 edges, 16440 markings/sec, 0 secs
lola: 151481 markings, 496731 edges, 13856 markings/sec, 5 secs
lola: 217333 markings, 745300 edges, 13170 markings/sec, 10 secs
lola: 296352 markings, 990975 edges, 15804 markings/sec, 15 secs
lola: 366577 markings, 1237315 edges, 14045 markings/sec, 20 secs
lola: 432293 markings, 1483530 edges, 13143 markings/sec, 25 secs
lola: 509208 markings, 1729172 edges, 15383 markings/sec, 30 secs
lola: 581010 markings, 1974892 edges, 14360 markings/sec, 35 secs
lola: 647138 markings, 2220604 edges, 13226 markings/sec, 40 secs
lola: 718341 markings, 2467921 edges, 14241 markings/sec, 45 secs
lola: 785231 markings, 2716689 edges, 13378 markings/sec, 50 secs
lola: 846681 markings, 2965594 edges, 12290 markings/sec, 55 secs
lola: 903565 markings, 3214584 edges, 11377 markings/sec, 60 secs
lola: 972574 markings, 3460736 edges, 13802 markings/sec, 65 secs
lola: 1035648 markings, 3707738 edges, 12615 markings/sec, 70 secs
lola: 1095475 markings, 3954434 edges, 11965 markings/sec, 75 secs
lola: 1156566 markings, 4201154 edges, 12218 markings/sec, 80 secs
lola: 1223118 markings, 4447205 edges, 13310 markings/sec, 85 secs
lola: 1283674 markings, 4693412 edges, 12111 markings/sec, 90 secs
lola: 1340955 markings, 4939863 edges, 11456 markings/sec, 95 secs
lola: 1409734 markings, 5187478 edges, 13756 markings/sec, 100 secs
lola: 1475961 markings, 5436212 edges, 13245 markings/sec, 105 secs
lola: 1537335 markings, 5685051 edges, 12275 markings/sec, 110 secs
lola: 1595285 markings, 5933922 edges, 11590 markings/sec, 115 secs
lola: 1664275 markings, 6180542 edges, 13798 markings/sec, 120 secs
lola: 1726616 markings, 6427524 edges, 12468 markings/sec, 125 secs
lola: 1785810 markings, 6674229 edges, 11839 markings/sec, 130 secs
lola: 1847515 markings, 6920767 edges, 12341 markings/sec, 135 secs
lola: 1913805 markings, 7167250 edges, 13258 markings/sec, 140 secs
lola: 1974615 markings, 7413353 edges, 12162 markings/sec, 145 secs
lola: 2031041 markings, 7660043 edges, 11285 markings/sec, 150 secs
lola: 2102835 markings, 7908668 edges, 14359 markings/sec, 155 secs
lola: 2167464 markings, 8158115 edges, 12926 markings/sec, 160 secs
lola: 2228578 markings, 8407527 edges, 12223 markings/sec, 165 secs
lola: 2288459 markings, 8656551 edges, 11976 markings/sec, 170 secs
lola: 2357050 markings, 8903977 edges, 13718 markings/sec, 175 secs
lola: 2417961 markings, 9151521 edges, 12182 markings/sec, 180 secs
lola: 2476919 markings, 9398985 edges, 11792 markings/sec, 185 secs
lola: 2541343 markings, 9646148 edges, 12885 markings/sec, 190 secs
lola: 2606108 markings, 9893375 edges, 12953 markings/sec, 195 secs
lola: 2666943 markings, 10139999 edges, 12167 markings/sec, 200 secs
lola: 2725050 markings, 10387267 edges, 11621 markings/sec, 205 secs
lola: 2796617 markings, 10636368 edges, 14313 markings/sec, 210 secs
lola: 2860842 markings, 10885892 edges, 12845 markings/sec, 215 secs
lola: 2921216 markings, 11135278 edges, 12075 markings/sec, 220 secs
lola: 2982784 markings, 11384345 edges, 12314 markings/sec, 225 secs
lola: 3049875 markings, 11631831 edges, 13418 markings/sec, 230 secs
lola: 3110115 markings, 11878710 edges, 12048 markings/sec, 235 secs
lola: 3168564 markings, 12126814 edges, 11690 markings/sec, 240 secs
lola: 3235538 markings, 12373962 edges, 13395 markings/sec, 245 secs
lola: 3299670 markings, 12621878 edges, 12826 markings/sec, 250 secs
lola: 3359880 markings, 12868392 edges, 12042 markings/sec, 255 secs
lola: 3420055 markings, 13116642 edges, 12035 markings/sec, 260 secs
lola: 3491096 markings, 13365434 edges, 14208 markings/sec, 265 secs
lola: 3554335 markings, 13614646 edges, 12648 markings/sec, 270 secs
lola: 3614215 markings, 13863510 edges, 11976 markings/sec, 275 secs
lola: 3676056 markings, 14111547 edges, 12368 markings/sec, 280 secs
lola: 3742467 markings, 14358392 edges, 13282 markings/sec, 285 secs
lola: 3803266 markings, 14604614 edges, 12160 markings/sec, 290 secs
lola: 3860030 markings, 14852093 edges, 11353 markings/sec, 295 secs
lola: 3928577 markings, 15098146 edges, 13709 markings/sec, 300 secs
lola: 3991588 markings, 15344747 edges, 12602 markings/sec, 305 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown no no unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 793680 KB
lola: time consumption: 1061 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 8 will run for 313 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X ((FIREABLE(t284) OR F (G (FIREABLE(t284)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X ((FIREABLE(t284) OR F (G (FIREABLE(t284)))))))
lola: processed formula length: 54
lola: 63 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: 349 markings, 349 edges
lola: ========================================
lola: subprocess 9 will run for 358 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t1797) OR G (F ((FIREABLE(t2395) OR X (FIREABLE(t1797)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t1797) OR G (F ((FIREABLE(t2395) OR X (FIREABLE(t1797)))))))
lola: processed formula length: 73
lola: 63 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: 349 markings, 349 edges
lola: ========================================
lola: subprocess 10 will run for 418 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X ((G (NOT FIREABLE(t2841)) AND X ((NOT FIREABLE(t2260) AND X (F (NOT FIREABLE(t887)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X ((G (NOT FIREABLE(t2841)) AND X ((NOT FIREABLE(t2260) AND X (F (NOT FIREABLE(t887)))))))))
lola: processed formula length: 98
lola: 63 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: 58590 markings, 258351 edges, 11718 markings/sec, 0 secs
lola: 98626 markings, 519303 edges, 8007 markings/sec, 5 secs
lola: 138505 markings, 780536 edges, 7976 markings/sec, 10 secs
lola: 174994 markings, 1020546 edges, 7298 markings/sec, 15 secs
lola: 213876 markings, 1282144 edges, 7776 markings/sec, 20 secs
lola: 250910 markings, 1542819 edges, 7407 markings/sec, 25 secs
lola: 287519 markings, 1804179 edges, 7322 markings/sec, 30 secs
lola: 327665 markings, 2066331 edges, 8029 markings/sec, 35 secs
lola: 365765 markings, 2328598 edges, 7620 markings/sec, 40 secs
lola: 402882 markings, 2587923 edges, 7423 markings/sec, 45 secs
lola: 440242 markings, 2847997 edges, 7472 markings/sec, 50 secs
lola: 479635 markings, 3109078 edges, 7879 markings/sec, 55 secs
lola: 515237 markings, 3356192 edges, 7120 markings/sec, 60 secs
lola: 552547 markings, 3617413 edges, 7462 markings/sec, 65 secs
lola: 590688 markings, 3878174 edges, 7628 markings/sec, 70 secs
lola: 630413 markings, 4139698 edges, 7945 markings/sec, 75 secs
lola: 666632 markings, 4401315 edges, 7244 markings/sec, 80 secs
lola: 704082 markings, 4661854 edges, 7490 markings/sec, 85 secs
lola: 743211 markings, 4922816 edges, 7826 markings/sec, 90 secs
lola: 782785 markings, 5183214 edges, 7915 markings/sec, 95 secs
lola: 815955 markings, 5422556 edges, 6634 markings/sec, 100 secs
lola: 852339 markings, 5682566 edges, 7277 markings/sec, 105 secs
lola: 891838 markings, 5942856 edges, 7900 markings/sec, 110 secs
lola: 931625 markings, 6203751 edges, 7957 markings/sec, 115 secs
lola: 967724 markings, 6461680 edges, 7220 markings/sec, 120 secs
lola: 1000863 markings, 6703277 edges, 6628 markings/sec, 125 secs
lola: 1040406 markings, 6963545 edges, 7909 markings/sec, 130 secs
lola: 1080238 markings, 7223598 edges, 7966 markings/sec, 135 secs
lola: 1116716 markings, 7483094 edges, 7296 markings/sec, 140 secs
lola: 1152654 markings, 7740134 edges, 7188 markings/sec, 145 secs
lola: 1191708 markings, 7997482 edges, 7811 markings/sec, 150 secs
lola: 1230397 markings, 8254517 edges, 7738 markings/sec, 155 secs
lola: 1266719 markings, 8511570 edges, 7264 markings/sec, 160 secs
lola: 1302714 markings, 8768731 edges, 7199 markings/sec, 165 secs
lola: 1341418 markings, 9029118 edges, 7741 markings/sec, 170 secs
lola: 1374013 markings, 9278781 edges, 6519 markings/sec, 175 secs
lola: 1409131 markings, 9541601 edges, 7024 markings/sec, 180 secs
lola: 1440796 markings, 9804109 edges, 6333 markings/sec, 185 secs
lola: 1473874 markings, 10065635 edges, 6616 markings/sec, 190 secs
lola: 1507273 markings, 10326464 edges, 6680 markings/sec, 195 secs
lola: 1541267 markings, 10587687 edges, 6799 markings/sec, 200 secs
lola: 1575036 markings, 10849665 edges, 6754 markings/sec, 205 secs
lola: 1605859 markings, 11097607 edges, 6165 markings/sec, 210 secs
lola: 1638046 markings, 11358650 edges, 6437 markings/sec, 215 secs
lola: 1672566 markings, 11620918 edges, 6904 markings/sec, 220 secs
lola: 1706976 markings, 11882620 edges, 6882 markings/sec, 225 secs
lola: 1738630 markings, 12141682 edges, 6331 markings/sec, 230 secs
lola: 1770143 markings, 12399688 edges, 6303 markings/sec, 235 secs
lola: 1801936 markings, 12641794 edges, 6359 markings/sec, 240 secs
lola: 1836025 markings, 12903546 edges, 6818 markings/sec, 245 secs
lola: 1869192 markings, 13163367 edges, 6633 markings/sec, 250 secs
lola: 1901705 markings, 13421608 edges, 6503 markings/sec, 255 secs
lola: 1933484 markings, 13680089 edges, 6356 markings/sec, 260 secs
lola: 1967749 markings, 13940063 edges, 6853 markings/sec, 265 secs
lola: 2001574 markings, 14199027 edges, 6765 markings/sec, 270 secs
lola: 2033450 markings, 14458790 edges, 6375 markings/sec, 275 secs
lola: 2064689 markings, 14716954 edges, 6248 markings/sec, 280 secs
lola: 2097714 markings, 14965734 edges, 6605 markings/sec, 285 secs
lola: 2132067 markings, 15226522 edges, 6871 markings/sec, 290 secs
lola: 2164450 markings, 15486238 edges, 6477 markings/sec, 295 secs
lola: 2196937 markings, 15743585 edges, 6497 markings/sec, 300 secs
lola: 2226610 markings, 15984194 edges, 5935 markings/sec, 305 secs
lola: 2261064 markings, 16244817 edges, 6891 markings/sec, 310 secs
lola: 2294949 markings, 16504992 edges, 6777 markings/sec, 315 secs
lola: 2326950 markings, 16764739 edges, 6400 markings/sec, 320 secs
lola: 2358007 markings, 17023480 edges, 6211 markings/sec, 325 secs
lola: 2389927 markings, 17262614 edges, 6384 markings/sec, 330 secs
lola: 2424159 markings, 17522517 edges, 6846 markings/sec, 335 secs
lola: 2456577 markings, 17782165 edges, 6484 markings/sec, 340 secs
lola: 2489217 markings, 18040939 edges, 6528 markings/sec, 345 secs
lola: 2521140 markings, 18299646 edges, 6385 markings/sec, 350 secs
lola: 2559726 markings, 18556465 edges, 7717 markings/sec, 355 secs
lola: 2594428 markings, 18812037 edges, 6940 markings/sec, 360 secs
lola: 2626067 markings, 19053144 edges, 6328 markings/sec, 365 secs
lola: 2660857 markings, 19314550 edges, 6958 markings/sec, 370 secs
lola: 2692643 markings, 19558926 edges, 6357 markings/sec, 375 secs
lola: 2725497 markings, 19804631 edges, 6571 markings/sec, 380 secs
lola: 2756913 markings, 20064427 edges, 6283 markings/sec, 385 secs
lola: 2789559 markings, 20323293 edges, 6529 markings/sec, 390 secs
lola: 2822996 markings, 20584467 edges, 6687 markings/sec, 395 secs
lola: 2856893 markings, 20844946 edges, 6779 markings/sec, 400 secs
lola: 2890449 markings, 21104909 edges, 6711 markings/sec, 405 secs
lola: 2922821 markings, 21364684 edges, 6474 markings/sec, 410 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown no no unknown unknown unknown yes unknown unknown unknown no no unknown unknown
lola: memory consumption: 533988 KB
lola: time consumption: 1479 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 418 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F (FIREABLE(t1369)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F (FIREABLE(t1369)))))
lola: processed formula length: 31
lola: 63 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: 349 markings, 349 edges
lola: ========================================
lola: subprocess 12 will run for 522 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (FIREABLE(t875))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (FIREABLE(t875))))
lola: processed formula length: 26
lola: 63 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 303 markings, 304 edges
lola: ========================================
lola: subprocess 13 will run for 697 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t589) OR F (FIREABLE(t780)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((FIREABLE(t589) OR F (FIREABLE(t780)))))
lola: processed formula length: 46
lola: 63 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 1 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: 302 markings, 302 edges
lola: ========================================
lola: subprocess 14 will run for 1045 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t2140) AND A ((G (FIREABLE(t1839)) OR (G (FIREABLE(t2140)) OR G (NOT FIREABLE(t1839))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1045 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t2140)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t2140)
lola: processed formula length: 15
lola: 63 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: subprocess 15 will run for 2091 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((FIREABLE(t874) OR G (FIREABLE(t1747)))) AND A (F (G (NOT FIREABLE(t1499)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2091 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t874) OR G (FIREABLE(t1747))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t874) OR G (FIREABLE(t1747))))
lola: processed formula length: 43
lola: 63 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: 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: 302 markings, 302 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (G (NOT FIREABLE(t2233))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (NOT FIREABLE(t2233))))
lola: processed formula length: 31
lola: 63 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: 58696 markings, 258915 edges, 11739 markings/sec, 0 secs
lola: 98852 markings, 521078 edges, 8031 markings/sec, 5 secs
lola: 139023 markings, 784376 edges, 8034 markings/sec, 10 secs
lola: 178979 markings, 1046225 edges, 7991 markings/sec, 15 secs
lola: 217290 markings, 1307680 edges, 7662 markings/sec, 20 secs
lola: 254505 markings, 1568881 edges, 7443 markings/sec, 25 secs
lola: 291286 markings, 1829983 edges, 7356 markings/sec, 30 secs
lola: 331149 markings, 2091460 edges, 7973 markings/sec, 35 secs
lola: 368947 markings, 2352596 edges, 7560 markings/sec, 40 secs
lola: 406173 markings, 2613002 edges, 7445 markings/sec, 45 secs
lola: 444362 markings, 2874584 edges, 7638 markings/sec, 50 secs
lola: 484153 markings, 3136457 edges, 7958 markings/sec, 55 secs
lola: 520336 markings, 3397640 edges, 7237 markings/sec, 60 secs
lola: 557822 markings, 3658364 edges, 7497 markings/sec, 65 secs
lola: 596990 markings, 3919767 edges, 7834 markings/sec, 70 secs
lola: 636648 markings, 4180720 edges, 7932 markings/sec, 75 secs
lola: 673055 markings, 4441322 edges, 7281 markings/sec, 80 secs
lola: 708872 markings, 4700734 edges, 7163 markings/sec, 85 secs
lola: 748561 markings, 4961189 edges, 7938 markings/sec, 90 secs
lola: 788267 markings, 5221167 edges, 7941 markings/sec, 95 secs
lola: 824850 markings, 5480768 edges, 7317 markings/sec, 100 secs
lola: 861122 markings, 5740304 edges, 7254 markings/sec, 105 secs
lola: 900635 markings, 5999465 edges, 7903 markings/sec, 110 secs
lola: 939588 markings, 6258594 edges, 7791 markings/sec, 115 secs
lola: 976086 markings, 6518346 edges, 7300 markings/sec, 120 secs
lola: 1012784 markings, 6778948 edges, 7340 markings/sec, 125 secs
lola: 1052384 markings, 7039183 edges, 7920 markings/sec, 130 secs
lola: 1090977 markings, 7299178 edges, 7719 markings/sec, 135 secs
lola: 1127565 markings, 7557091 edges, 7318 markings/sec, 140 secs
lola: 1163955 markings, 7815969 edges, 7278 markings/sec, 145 secs
lola: 1203538 markings, 8074875 edges, 7917 markings/sec, 150 secs
lola: 1241349 markings, 8333358 edges, 7562 markings/sec, 155 secs
lola: 1278146 markings, 8591424 edges, 7359 markings/sec, 160 secs
lola: 1314645 markings, 8849957 edges, 7300 markings/sec, 165 secs
lola: 1352209 markings, 9112478 edges, 7513 markings/sec, 170 secs
lola: 1387086 markings, 9374463 edges, 6975 markings/sec, 175 secs
lola: 1421265 markings, 9636294 edges, 6836 markings/sec, 180 secs
lola: 1453468 markings, 9898166 edges, 6441 markings/sec, 185 secs
lola: 1485150 markings, 10158928 edges, 6336 markings/sec, 190 secs
lola: 1519455 markings, 10421158 edges, 6861 markings/sec, 195 secs
lola: 1554402 markings, 10683376 edges, 6989 markings/sec, 200 secs
lola: 1585765 markings, 10945123 edges, 6273 markings/sec, 205 secs
lola: 1618956 markings, 11205790 edges, 6638 markings/sec, 210 secs
lola: 1652426 markings, 11467631 edges, 6694 markings/sec, 215 secs
lola: 1686828 markings, 11731016 edges, 6880 markings/sec, 220 secs
lola: 1720668 markings, 11994052 edges, 6768 markings/sec, 225 secs
lola: 1753365 markings, 12256338 edges, 6539 markings/sec, 230 secs
lola: 1785571 markings, 12518332 edges, 6441 markings/sec, 235 secs
lola: 1820331 markings, 12781130 edges, 6952 markings/sec, 240 secs
lola: 1854487 markings, 13043767 edges, 6831 markings/sec, 245 secs
lola: 1886822 markings, 13306051 edges, 6467 markings/sec, 250 secs
lola: 1918469 markings, 13567586 edges, 6329 markings/sec, 255 secs
lola: 1953229 markings, 13829964 edges, 6952 markings/sec, 260 secs
lola: 1987921 markings, 14092613 edges, 6938 markings/sec, 265 secs
lola: 2020139 markings, 14354395 edges, 6444 markings/sec, 270 secs
lola: 2053237 markings, 14615824 edges, 6620 markings/sec, 275 secs
lola: 2085613 markings, 14877209 edges, 6475 markings/sec, 280 secs
lola: 2120613 markings, 15139360 edges, 7000 markings/sec, 285 secs
lola: 2154605 markings, 15401365 edges, 6798 markings/sec, 290 secs
lola: 2186792 markings, 15662527 edges, 6437 markings/sec, 295 secs
lola: 2218494 markings, 15923083 edges, 6340 markings/sec, 300 secs
lola: 2252702 markings, 16184588 edges, 6842 markings/sec, 305 secs
lola: 2287611 markings, 16446102 edges, 6982 markings/sec, 310 secs
lola: 2319236 markings, 16707210 edges, 6325 markings/sec, 315 secs
lola: 2351838 markings, 16967578 edges, 6520 markings/sec, 320 secs
lola: 2385338 markings, 17228250 edges, 6700 markings/sec, 325 secs
lola: 2419473 markings, 17489492 edges, 6827 markings/sec, 330 secs
lola: 2452894 markings, 17750265 edges, 6684 markings/sec, 335 secs
lola: 2485542 markings, 18010620 edges, 6530 markings/sec, 340 secs
lola: 2517461 markings, 18270530 edges, 6384 markings/sec, 345 secs
lola: 2556073 markings, 18532657 edges, 7722 markings/sec, 350 secs
lola: 2592186 markings, 18794346 edges, 7223 markings/sec, 355 secs
lola: 2626699 markings, 19058679 edges, 6903 markings/sec, 360 secs
lola: 2661972 markings, 19323324 edges, 7055 markings/sec, 365 secs
lola: 2696705 markings, 19585993 edges, 6947 markings/sec, 370 secs
lola: 2730807 markings, 19846853 edges, 6820 markings/sec, 375 secs
lola: 2762824 markings, 20107614 edges, 6403 markings/sec, 380 secs
lola: 2794266 markings, 20367487 edges, 6288 markings/sec, 385 secs
lola: 2828764 markings, 20628107 edges, 6900 markings/sec, 390 secs
lola: 2863194 markings, 20889186 edges, 6886 markings/sec, 395 secs
lola: 2895610 markings, 21149809 edges, 6483 markings/sec, 400 secs
lola: 2928389 markings, 21409704 edges, 6556 markings/sec, 405 secs
lola: 2960436 markings, 21669645 edges, 6409 markings/sec, 410 secs
lola: 2995145 markings, 21930235 edges, 6942 markings/sec, 415 secs
lola: 3029113 markings, 22190567 edges, 6794 markings/sec, 420 secs
lola: 3061108 markings, 22450564 edges, 6399 markings/sec, 425 secs
lola: 3092497 markings, 22709826 edges, 6278 markings/sec, 430 secs
lola: 3126770 markings, 22970164 edges, 6855 markings/sec, 435 secs
lola: 3161059 markings, 23229007 edges, 6858 markings/sec, 440 secs
lola: 3192447 markings, 23488565 edges, 6278 markings/sec, 445 secs
lola: 3225409 markings, 23747255 edges, 6592 markings/sec, 450 secs
lola: 3258061 markings, 24006552 edges, 6530 markings/sec, 455 secs
lola: 3292436 markings, 24266244 edges, 6875 markings/sec, 460 secs
lola: 3325871 markings, 24525255 edges, 6687 markings/sec, 465 secs
lola: 3357742 markings, 24784009 edges, 6374 markings/sec, 470 secs
lola: 3389537 markings, 25042623 edges, 6359 markings/sec, 475 secs
lola: 3423296 markings, 25301829 edges, 6752 markings/sec, 480 secs
lola: 3457982 markings, 25561136 edges, 6937 markings/sec, 485 secs
lola: 3489291 markings, 25819752 edges, 6262 markings/sec, 490 secs
lola: 3521510 markings, 26077601 edges, 6444 markings/sec, 495 secs
lola: 3555061 markings, 26338902 edges, 6710 markings/sec, 500 secs
lola: 3589273 markings, 26600473 edges, 6842 markings/sec, 505 secs
lola: 3622682 markings, 26861699 edges, 6682 markings/sec, 510 secs
lola: 3655411 markings, 27122272 edges, 6546 markings/sec, 515 secs
lola: 3687487 markings, 27383014 edges, 6415 markings/sec, 520 secs
lola: 3721920 markings, 27644216 edges, 6887 markings/sec, 525 secs
lola: 3756093 markings, 27905728 edges, 6835 markings/sec, 530 secs
lola: 3788107 markings, 28166311 edges, 6403 markings/sec, 535 secs
lola: 3819403 markings, 28426117 edges, 6259 markings/sec, 540 secs
lola: 3854204 markings, 28687432 edges, 6960 markings/sec, 545 secs
lola: 3885936 markings, 28951779 edges, 6346 markings/sec, 550 secs
lola: 3916774 markings, 29215722 edges, 6168 markings/sec, 555 secs
lola: 3947176 markings, 29479047 edges, 6080 markings/sec, 560 secs
lola: 3975690 markings, 29742340 edges, 5703 markings/sec, 565 secs
lola: 4004255 markings, 30004904 edges, 5713 markings/sec, 570 secs
lola: 4034672 markings, 30268473 edges, 6083 markings/sec, 575 secs
lola: 4065419 markings, 30532599 edges, 6149 markings/sec, 580 secs
lola: 4095795 markings, 30795967 edges, 6075 markings/sec, 585 secs
lola: 4124418 markings, 31059050 edges, 5725 markings/sec, 590 secs
lola: 4152538 markings, 31321535 edges, 5624 markings/sec, 595 secs
lola: 4183329 markings, 31584742 edges, 6158 markings/sec, 600 secs
lola: 4213731 markings, 31848032 edges, 6080 markings/sec, 605 secs
lola: 4244053 markings, 32111434 edges, 6064 markings/sec, 610 secs
lola: 4272939 markings, 32374242 edges, 5777 markings/sec, 615 secs
lola: 4300706 markings, 32636242 edges, 5553 markings/sec, 620 secs
lola: 4331775 markings, 32899405 edges, 6214 markings/sec, 625 secs
lola: 4362038 markings, 33161925 edges, 6053 markings/sec, 630 secs
lola: 4392131 markings, 33424433 edges, 6019 markings/sec, 635 secs
lola: 4420999 markings, 33686075 edges, 5774 markings/sec, 640 secs
lola: 4449001 markings, 33947463 edges, 5600 markings/sec, 645 secs
lola: 4479718 markings, 34210079 edges, 6143 markings/sec, 650 secs
lola: 4509940 markings, 34472013 edges, 6044 markings/sec, 655 secs
lola: 4539497 markings, 34731531 edges, 5911 markings/sec, 660 secs
lola: 4568128 markings, 34990419 edges, 5726 markings/sec, 665 secs
lola: 4595999 markings, 35249021 edges, 5574 markings/sec, 670 secs
lola: 4626269 markings, 35508462 edges, 6054 markings/sec, 675 secs
lola: 4656248 markings, 35768000 edges, 5996 markings/sec, 680 secs
lola: 4685654 markings, 36026447 edges, 5881 markings/sec, 685 secs
lola: 4712494 markings, 36268874 edges, 5368 markings/sec, 690 secs
lola: 4739910 markings, 36526868 edges, 5483 markings/sec, 695 secs
lola: 4770477 markings, 36786163 edges, 6113 markings/sec, 700 secs
lola: 4800492 markings, 37046662 edges, 6003 markings/sec, 705 secs
lola: 4830276 markings, 37306009 edges, 5957 markings/sec, 710 secs
lola: 4858972 markings, 37566591 edges, 5739 markings/sec, 715 secs
lola: 4886613 markings, 37825854 edges, 5528 markings/sec, 720 secs
lola: 4917174 markings, 38085918 edges, 6112 markings/sec, 725 secs
lola: 4947099 markings, 38345741 edges, 5985 markings/sec, 730 secs
lola: 4976848 markings, 38605112 edges, 5950 markings/sec, 735 secs
lola: 5005284 markings, 38862880 edges, 5687 markings/sec, 740 secs
lola: 5032848 markings, 39121505 edges, 5513 markings/sec, 745 secs
lola: 5064561 markings, 39380321 edges, 6343 markings/sec, 750 secs
lola: 5119317 markings, 39638999 edges, 10951 markings/sec, 755 secs
lola: 5179693 markings, 39897125 edges, 12075 markings/sec, 760 secs
lola: 5238512 markings, 40154956 edges, 11764 markings/sec, 765 secs
lola: 5295815 markings, 40412363 edges, 11461 markings/sec, 770 secs
lola: 5353968 markings, 40670179 edges, 11631 markings/sec, 775 secs
lola: 5410523 markings, 40926766 edges, 11311 markings/sec, 780 secs
lola: 5466810 markings, 41182406 edges, 11257 markings/sec, 785 secs
lola: 5523284 markings, 41439385 edges, 11295 markings/sec, 790 secs
lola: 5574111 markings, 41696926 edges, 10165 markings/sec, 795 secs
lola: 5622279 markings, 41954144 edges, 9634 markings/sec, 800 secs
lola: 5668625 markings, 42210789 edges, 9269 markings/sec, 805 secs
lola: 5715956 markings, 42466411 edges, 9466 markings/sec, 810 secs
lola: 5762450 markings, 42725138 edges, 9299 markings/sec, 815 secs
lola: 5810060 markings, 42980153 edges, 9522 markings/sec, 820 secs
lola: 5856817 markings, 43237796 edges, 9351 markings/sec, 825 secs
lola: 5903236 markings, 43493141 edges, 9284 markings/sec, 830 secs
lola: 5948286 markings, 43752035 edges, 9010 markings/sec, 835 secs
lola: 5999251 markings, 44009556 edges, 10193 markings/sec, 840 secs
lola: 6044985 markings, 44267997 edges, 9147 markings/sec, 845 secs
lola: 6085812 markings, 44525763 edges, 8165 markings/sec, 850 secs
lola: 6137245 markings, 44781869 edges, 10287 markings/sec, 855 secs
lola: 6183101 markings, 45038771 edges, 9171 markings/sec, 860 secs
lola: 6223134 markings, 45295560 edges, 8007 markings/sec, 865 secs
lola: 6275508 markings, 45554413 edges, 10475 markings/sec, 870 secs
lola: 6322758 markings, 45815141 edges, 9450 markings/sec, 875 secs
lola: 6363134 markings, 46076982 edges, 8075 markings/sec, 880 secs
lola: 6417000 markings, 46334192 edges, 10773 markings/sec, 885 secs
lola: 6460415 markings, 46588519 edges, 8683 markings/sec, 890 secs
lola: 6500224 markings, 46843226 edges, 7962 markings/sec, 895 secs
lola: 6545518 markings, 47100267 edges, 9059 markings/sec, 900 secs
lola: 6584601 markings, 47357011 edges, 7817 markings/sec, 905 secs
lola: 6626506 markings, 47613809 edges, 8381 markings/sec, 910 secs
lola: 6663154 markings, 47868603 edges, 7330 markings/sec, 915 secs
lola: 6700852 markings, 48121120 edges, 7540 markings/sec, 920 secs
lola: 6749954 markings, 48374978 edges, 9820 markings/sec, 925 secs
lola: 6798215 markings, 48631301 edges, 9652 markings/sec, 930 secs
lola: 6850443 markings, 48885947 edges, 10446 markings/sec, 935 secs
lola: 6895206 markings, 49141583 edges, 8953 markings/sec, 940 secs
lola: 6935798 markings, 49397199 edges, 8118 markings/sec, 945 secs
lola: 6979478 markings, 49653014 edges, 8736 markings/sec, 950 secs
lola: 7017889 markings, 49908597 edges, 7682 markings/sec, 955 secs
lola: 7053189 markings, 50164518 edges, 7060 markings/sec, 960 secs
lola: 7094825 markings, 50420048 edges, 8327 markings/sec, 965 secs
lola: 7134024 markings, 50674498 edges, 7840 markings/sec, 970 secs
lola: 7171766 markings, 50929510 edges, 7548 markings/sec, 975 secs
lola: 7209259 markings, 51182137 edges, 7499 markings/sec, 980 secs
lola: 7250323 markings, 51435643 edges, 8213 markings/sec, 985 secs
lola: 7288691 markings, 51690316 edges, 7674 markings/sec, 990 secs
lola: 7322672 markings, 51941400 edges, 6796 markings/sec, 995 secs
lola: 7365086 markings, 52192275 edges, 8483 markings/sec, 1000 secs
lola: 7403615 markings, 52442615 edges, 7706 markings/sec, 1005 secs
lola: 7440531 markings, 52696154 edges, 7383 markings/sec, 1010 secs
lola: 7478416 markings, 52946603 edges, 7577 markings/sec, 1015 secs
lola: 7518489 markings, 53197370 edges, 8015 markings/sec, 1020 secs
lola: 7556347 markings, 53448648 edges, 7572 markings/sec, 1025 secs
lola: 7590081 markings, 53699846 edges, 6747 markings/sec, 1030 secs
lola: 7627386 markings, 53951363 edges, 7461 markings/sec, 1035 secs
lola: 7660447 markings, 54201980 edges, 6612 markings/sec, 1040 secs
lola: 7693567 markings, 54453040 edges, 6624 markings/sec, 1045 secs
lola: 7723170 markings, 54703848 edges, 5921 markings/sec, 1050 secs
lola: 7759871 markings, 54955238 edges, 7340 markings/sec, 1055 secs
lola: 7792890 markings, 55204978 edges, 6604 markings/sec, 1060 secs
lola: 7825973 markings, 55455421 edges, 6617 markings/sec, 1065 secs
lola: 7855449 markings, 55704361 edges, 5895 markings/sec, 1070 secs
lola: 7897110 markings, 55953670 edges, 8332 markings/sec, 1075 secs
lola: 7935701 markings, 56204410 edges, 7718 markings/sec, 1080 secs
lola: 7972529 markings, 56457343 edges, 7366 markings/sec, 1085 secs
lola: 8010968 markings, 56706968 edges, 7688 markings/sec, 1090 secs
lola: 8057609 markings, 56959665 edges, 9328 markings/sec, 1095 secs
lola: 8098461 markings, 57211924 edges, 8170 markings/sec, 1100 secs
lola: 8141178 markings, 57463683 edges, 8543 markings/sec, 1105 secs
lola: 8179741 markings, 57714242 edges, 7713 markings/sec, 1110 secs
lola: 8217359 markings, 57966972 edges, 7524 markings/sec, 1115 secs
lola: 8251954 markings, 58219091 edges, 6919 markings/sec, 1120 secs
lola: 8288507 markings, 58470201 edges, 7311 markings/sec, 1125 secs
lola: 8323703 markings, 58721099 edges, 7039 markings/sec, 1130 secs
lola: 8359243 markings, 58971498 edges, 7108 markings/sec, 1135 secs
lola: 8394815 markings, 59221622 edges, 7114 markings/sec, 1140 secs
lola: 8429741 markings, 59472962 edges, 6985 markings/sec, 1145 secs
lola: 8466140 markings, 59726051 edges, 7280 markings/sec, 1150 secs
lola: 8500723 markings, 59978878 edges, 6917 markings/sec, 1155 secs
lola: 8534160 markings, 60232110 edges, 6687 markings/sec, 1160 secs
lola: 8564616 markings, 60484567 edges, 6091 markings/sec, 1165 secs
lola: 8596606 markings, 60737276 edges, 6398 markings/sec, 1170 secs
lola: 8627682 markings, 60989626 edges, 6215 markings/sec, 1175 secs
lola: 8661351 markings, 61238899 edges, 6734 markings/sec, 1180 secs
lola: 8695808 markings, 61487667 edges, 6891 markings/sec, 1185 secs
lola: 8734470 markings, 61738615 edges, 7732 markings/sec, 1190 secs
lola: 8771108 markings, 61991878 edges, 7328 markings/sec, 1195 secs
lola: 8809738 markings, 62247612 edges, 7726 markings/sec, 1200 secs
lola: 8854243 markings, 62504746 edges, 8901 markings/sec, 1205 secs
lola: 8907864 markings, 62758420 edges, 10724 markings/sec, 1210 secs
lola: 8954535 markings, 63013374 edges, 9334 markings/sec, 1215 secs
lola: 9003043 markings, 63268018 edges, 9702 markings/sec, 1220 secs
lola: 9051964 markings, 63522497 edges, 9784 markings/sec, 1225 secs
lola: 9095122 markings, 63777306 edges, 8632 markings/sec, 1230 secs
lola: 9139876 markings, 64031462 edges, 8951 markings/sec, 1235 secs
lola: 9180120 markings, 64285942 edges, 8049 markings/sec, 1240 secs
lola: 9216835 markings, 64541420 edges, 7343 markings/sec, 1245 secs
lola: 9260918 markings, 64796375 edges, 8817 markings/sec, 1250 secs
lola: 9301241 markings, 65051414 edges, 8065 markings/sec, 1255 secs
lola: 9337972 markings, 65307069 edges, 7346 markings/sec, 1260 secs
lola: 9376989 markings, 65562439 edges, 7803 markings/sec, 1265 secs
lola: 9411983 markings, 65818060 edges, 6999 markings/sec, 1270 secs
lola: 9445289 markings, 66072988 edges, 6661 markings/sec, 1275 secs
lola: 9481314 markings, 66328580 edges, 7205 markings/sec, 1280 secs
lola: 9524153 markings, 66583151 edges, 8568 markings/sec, 1285 secs
lola: 9563459 markings, 66836695 edges, 7861 markings/sec, 1290 secs
lola: 9599131 markings, 67090653 edges, 7134 markings/sec, 1295 secs
lola: 9636994 markings, 67345552 edges, 7573 markings/sec, 1300 secs
lola: 9671619 markings, 67599648 edges, 6925 markings/sec, 1305 secs
lola: 9703372 markings, 67854383 edges, 6351 markings/sec, 1310 secs
lola: 9745972 markings, 68108866 edges, 8520 markings/sec, 1315 secs
lola: 9785955 markings, 68362150 edges, 7997 markings/sec, 1320 secs
lola: 9822509 markings, 68615381 edges, 7311 markings/sec, 1325 secs
lola: 9861223 markings, 68869680 edges, 7743 markings/sec, 1330 secs
lola: 9896519 markings, 69124672 edges, 7059 markings/sec, 1335 secs
lola: 9930228 markings, 69376300 edges, 6742 markings/sec, 1340 secs
lola: 9963312 markings, 69630137 edges, 6617 markings/sec, 1345 secs
lola: 10006749 markings, 69883065 edges, 8687 markings/sec, 1350 secs
lola: 10046615 markings, 70136046 edges, 7973 markings/sec, 1355 secs
lola: 10082157 markings, 70388788 edges, 7108 markings/sec, 1360 secs
lola: 10120174 markings, 70641470 edges, 7603 markings/sec, 1365 secs
lola: 10154794 markings, 70894580 edges, 6924 markings/sec, 1370 secs
lola: 10186761 markings, 71147214 edges, 6393 markings/sec, 1375 secs
lola: 10227046 markings, 71401113 edges, 8057 markings/sec, 1380 secs
lola: 10267661 markings, 71654271 edges, 8123 markings/sec, 1385 secs
lola: 10305362 markings, 71906775 edges, 7540 markings/sec, 1390 secs
lola: 10342569 markings, 72160661 edges, 7441 markings/sec, 1395 secs
lola: 10378982 markings, 72415277 edges, 7283 markings/sec, 1400 secs
lola: 10412855 markings, 72666425 edges, 6775 markings/sec, 1405 secs
lola: 10443122 markings, 72917414 edges, 6053 markings/sec, 1410 secs
lola: 10481631 markings, 73167927 edges, 7702 markings/sec, 1415 secs
lola: 10515624 markings, 73418520 edges, 6799 markings/sec, 1420 secs
lola: 10548279 markings, 73668644 edges, 6531 markings/sec, 1425 secs
lola: 10580050 markings, 73919441 edges, 6354 markings/sec, 1430 secs
lola: 10612240 markings, 74170188 edges, 6438 markings/sec, 1435 secs
lola: 10642258 markings, 74420499 edges, 6004 markings/sec, 1440 secs
lola: 10670673 markings, 74670110 edges, 5683 markings/sec, 1445 secs
lola: 10701848 markings, 74920610 edges, 6235 markings/sec, 1450 secs
lola: 10738071 markings, 75170872 edges, 7245 markings/sec, 1455 secs
lola: 10772423 markings, 75420738 edges, 6870 markings/sec, 1460 secs
lola: 10803311 markings, 75670349 edges, 6178 markings/sec, 1465 secs
lola: 10836521 markings, 75920446 edges, 6642 markings/sec, 1470 secs
lola: 10867177 markings, 76171102 edges, 6131 markings/sec, 1475 secs
lola: 10896998 markings, 76419489 edges, 5964 markings/sec, 1480 secs
lola: 10924184 markings, 76668403 edges, 5437 markings/sec, 1485 secs
lola: 10964326 markings, 76917925 edges, 8028 markings/sec, 1490 secs
lola: 11003377 markings, 77166755 edges, 7810 markings/sec, 1495 secs
lola: 11040533 markings, 77415287 edges, 7431 markings/sec, 1500 secs
lola: 11077687 markings, 77665319 edges, 7431 markings/sec, 1505 secs
lola: 11112874 markings, 77915764 edges, 7037 markings/sec, 1510 secs
lola: 11146672 markings, 78164694 edges, 6760 markings/sec, 1515 secs
lola: 11176571 markings, 78414371 edges, 5980 markings/sec, 1520 secs
lola: 11224072 markings, 78663403 edges, 9500 markings/sec, 1525 secs
lola: 11266146 markings, 78915290 edges, 8415 markings/sec, 1530 secs
lola: 11310274 markings, 79165994 edges, 8826 markings/sec, 1535 secs
lola: 11350121 markings, 79418190 edges, 7969 markings/sec, 1540 secs
lola: 11386376 markings, 79670440 edges, 7251 markings/sec, 1545 secs
lola: 11429768 markings, 79919467 edges, 8678 markings/sec, 1550 secs
lola: 11469283 markings, 80168594 edges, 7903 markings/sec, 1555 secs
lola: 11505200 markings, 80418379 edges, 7183 markings/sec, 1560 secs
lola: 11543292 markings, 80669995 edges, 7618 markings/sec, 1565 secs
lola: 11578142 markings, 80921659 edges, 6970 markings/sec, 1570 secs
lola: 11611645 markings, 81172753 edges, 6701 markings/sec, 1575 secs
lola: 11643513 markings, 81424598 edges, 6374 markings/sec, 1580 secs
lola: 11680889 markings, 81674487 edges, 7475 markings/sec, 1585 secs
lola: 11714947 markings, 81924898 edges, 6812 markings/sec, 1590 secs
lola: 11746486 markings, 82175606 edges, 6308 markings/sec, 1595 secs
lola: 11782515 markings, 82425809 edges, 7206 markings/sec, 1600 secs
lola: 11817336 markings, 82675928 edges, 6964 markings/sec, 1605 secs
lola: 11851311 markings, 82925135 edges, 6795 markings/sec, 1610 secs
lola: 11881629 markings, 83175611 edges, 6064 markings/sec, 1615 secs
lola: 11919327 markings, 83423430 edges, 7540 markings/sec, 1620 secs
lola: 11953884 markings, 83675224 edges, 6911 markings/sec, 1625 secs
lola: 11986399 markings, 83927515 edges, 6503 markings/sec, 1630 secs
lola: 12020931 markings, 84180091 edges, 6906 markings/sec, 1635 secs
lola: 12057180 markings, 84432080 edges, 7250 markings/sec, 1640 secs
lola: 12091499 markings, 84684412 edges, 6864 markings/sec, 1645 secs
lola: 12122216 markings, 84937685 edges, 6143 markings/sec, 1650 secs
lola: 12156290 markings, 85190400 edges, 6815 markings/sec, 1655 secs
lola: 12186659 markings, 85443481 edges, 6074 markings/sec, 1660 secs
lola: 12216791 markings, 85695310 edges, 6026 markings/sec, 1665 secs
lola: 12243910 markings, 85947644 edges, 5424 markings/sec, 1670 secs
lola: 12277262 markings, 86199725 edges, 6670 markings/sec, 1675 secs
lola: 12307552 markings, 86451811 edges, 6058 markings/sec, 1680 secs
lola: 12337693 markings, 86703120 edges, 6028 markings/sec, 1685 secs
lola: 12365103 markings, 86955186 edges, 5482 markings/sec, 1690 secs
lola: 12402478 markings, 87206373 edges, 7475 markings/sec, 1695 secs
lola: 12436768 markings, 87457753 edges, 6858 markings/sec, 1700 secs
lola: 12469548 markings, 87708928 edges, 6556 markings/sec, 1705 secs
lola: 12505718 markings, 87962927 edges, 7234 markings/sec, 1710 secs
lola: 12544157 markings, 88217378 edges, 7688 markings/sec, 1715 secs
lola: 12581887 markings, 88471582 edges, 7546 markings/sec, 1720 secs
lola: 12622432 markings, 88727430 edges, 8109 markings/sec, 1725 secs
lola: 12674081 markings, 88981600 edges, 10330 markings/sec, 1730 secs
lola: 12724018 markings, 89233482 edges, 9987 markings/sec, 1735 secs
lola: 12771252 markings, 89486645 edges, 9447 markings/sec, 1740 secs
lola: 12812184 markings, 89740355 edges, 8186 markings/sec, 1745 secs
lola: 12863219 markings, 89993363 edges, 10207 markings/sec, 1750 secs
lola: 12911821 markings, 90245909 edges, 9720 markings/sec, 1755 secs
lola: 12958201 markings, 90498775 edges, 9276 markings/sec, 1760 secs
lola: 12998324 markings, 90751423 edges, 8025 markings/sec, 1765 secs
lola: 13043371 markings, 91004325 edges, 9009 markings/sec, 1770 secs
lola: 13084002 markings, 91257770 edges, 8126 markings/sec, 1775 secs
lola: 13123045 markings, 91510383 edges, 7809 markings/sec, 1780 secs
lola: 13159761 markings, 91763348 edges, 7343 markings/sec, 1785 secs
lola: 13197037 markings, 92017728 edges, 7455 markings/sec, 1790 secs
lola: 13241593 markings, 92271827 edges, 8911 markings/sec, 1795 secs
lola: 13281700 markings, 92526437 edges, 8021 markings/sec, 1800 secs
lola: 13320714 markings, 92780347 edges, 7803 markings/sec, 1805 secs
lola: 13355047 markings, 93034794 edges, 6867 markings/sec, 1810 secs
lola: 13393118 markings, 93288773 edges, 7614 markings/sec, 1815 secs
lola: 13429538 markings, 93543043 edges, 7284 markings/sec, 1820 secs
lola: 13463433 markings, 93797563 edges, 6779 markings/sec, 1825 secs
lola: 13497725 markings, 94052370 edges, 6858 markings/sec, 1830 secs
lola: 13527905 markings, 94306360 edges, 6036 markings/sec, 1835 secs
lola: 13567528 markings, 94560627 edges, 7925 markings/sec, 1840 secs
lola: 13609942 markings, 94814247 edges, 8483 markings/sec, 1845 secs
lola: 13649510 markings, 95067472 edges, 7914 markings/sec, 1850 secs
lola: 13686439 markings, 95320082 edges, 7386 markings/sec, 1855 secs
lola: 13721483 markings, 95574542 edges, 7009 markings/sec, 1860 secs
lola: 13760548 markings, 95828357 edges, 7813 markings/sec, 1865 secs
lola: 13795378 markings, 96082209 edges, 6966 markings/sec, 1870 secs
lola: 13829601 markings, 96335119 edges, 6845 markings/sec, 1875 secs
lola: 13862117 markings, 96588619 edges, 6503 markings/sec, 1880 secs
lola: 13892235 markings, 96843047 edges, 6024 markings/sec, 1885 secs
lola: 13936736 markings, 97095711 edges, 8900 markings/sec, 1890 secs
lola: 13977026 markings, 97349166 edges, 8058 markings/sec, 1895 secs
lola: 14015968 markings, 97600486 edges, 7788 markings/sec, 1900 secs
lola: 14051932 markings, 97852283 edges, 7193 markings/sec, 1905 secs
lola: 14087250 markings, 98105139 edges, 7064 markings/sec, 1910 secs
lola: 14126123 markings, 98358565 edges, 7775 markings/sec, 1915 secs
lola: 14159953 markings, 98612682 edges, 6766 markings/sec, 1920 secs
lola: 14193921 markings, 98863513 edges, 6794 markings/sec, 1925 secs
lola: 14225502 markings, 99115609 edges, 6316 markings/sec, 1930 secs
lola: 14258005 markings, 99369737 edges, 6501 markings/sec, 1935 secs
lola: 14302940 markings, 99620369 edges, 8987 markings/sec, 1940 secs
lola: 14342181 markings, 99873421 edges, 7848 markings/sec, 1945 secs
lola: 14381114 markings, 100124111 edges, 7787 markings/sec, 1950 secs
lola: 14415439 markings, 100375269 edges, 6865 markings/sec, 1955 secs
lola: 14452925 markings, 100627918 edges, 7497 markings/sec, 1960 secs
lola: 14489439 markings, 100880325 edges, 7303 markings/sec, 1965 secs
lola: 14523927 markings, 101134349 edges, 6898 markings/sec, 1970 secs
lola: 14557665 markings, 101385371 edges, 6748 markings/sec, 1975 secs
lola: 14588028 markings, 101636620 edges, 6073 markings/sec, 1980 secs
lola: 14624046 markings, 101889227 edges, 7204 markings/sec, 1985 secs
lola: 14667526 markings, 102141639 edges, 8696 markings/sec, 1990 secs
lola: 14707063 markings, 102395180 edges, 7907 markings/sec, 1995 secs
lola: 14745665 markings, 102647237 edges, 7720 markings/sec, 2000 secs
lola: 14779709 markings, 102900125 edges, 6809 markings/sec, 2005 secs
lola: 14818096 markings, 103152471 edges, 7677 markings/sec, 2010 secs
lola: 14853816 markings, 103405567 edges, 7144 markings/sec, 2015 secs
lola: 14887427 markings, 103658686 edges, 6722 markings/sec, 2020 secs
lola: 14921520 markings, 103911558 edges, 6819 markings/sec, 2025 secs
lola: 14951462 markings, 104164099 edges, 5988 markings/sec, 2030 secs
lola: 14987352 markings, 104417001 edges, 7178 markings/sec, 2035 secs
lola: 15024015 markings, 104669813 edges, 7333 markings/sec, 2040 secs
lola: 15058309 markings, 104923585 edges, 6859 markings/sec, 2045 secs
lola: 15092079 markings, 105175442 edges, 6754 markings/sec, 2050 secs
lola: 15122380 markings, 105427031 edges, 6060 markings/sec, 2055 secs
lola: 15153746 markings, 105679707 edges, 6273 markings/sec, 2060 secs
lola: 15187883 markings, 105932928 edges, 6827 markings/sec, 2065 secs
lola: 15217825 markings, 106185529 edges, 5988 markings/sec, 2070 secs
lola: 15247709 markings, 106437021 edges, 5977 markings/sec, 2075 secs
lola: 15277307 markings, 106689554 edges, 5920 markings/sec, 2080 secs
lola: 15303635 markings, 106940636 edges, 5266 markings/sec, 2085 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown yes unknown no no no no unknown yes no no unknown no no unknown no lola:
caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: unknown yes unknown no no no no unknown yes no no unknown no no unknown no
preliminary result: unknown yes unknown no no no no unknown yes no no unknown no no unknown no
lola: memory consumption: 2708936 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 yes unknown no no no no unknown yes no no unknown no no unknown no
lola: memory consumption: 2709172 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 1589168282103
--------------------
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="ASLink-PT-05b"
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 ASLink-PT-05b, 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-158897552700022"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-05b.tgz
mv ASLink-PT-05b 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 ;