About the Execution of 2019-Gold for CloudOpsManagement-PT-20480by10240
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.260 | 2239674.00 | 2253455.00 | 10828.00 | FFFF????FFF?F?FF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r045-smll-158902068300118.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 CloudOpsManagement-PT-20480by10240, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r045-smll-158902068300118
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 196K
-rw-r--r-- 1 mcc users 4.2K Mar 30 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 28 16:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.0K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 27 08:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Mar 26 08:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 26 08:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 13 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 17K 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 CloudOpsManagement-PT-20480by10240-00
FORMULA_NAME CloudOpsManagement-PT-20480by10240-01
FORMULA_NAME CloudOpsManagement-PT-20480by10240-02
FORMULA_NAME CloudOpsManagement-PT-20480by10240-03
FORMULA_NAME CloudOpsManagement-PT-20480by10240-04
FORMULA_NAME CloudOpsManagement-PT-20480by10240-05
FORMULA_NAME CloudOpsManagement-PT-20480by10240-06
FORMULA_NAME CloudOpsManagement-PT-20480by10240-07
FORMULA_NAME CloudOpsManagement-PT-20480by10240-08
FORMULA_NAME CloudOpsManagement-PT-20480by10240-09
FORMULA_NAME CloudOpsManagement-PT-20480by10240-10
FORMULA_NAME CloudOpsManagement-PT-20480by10240-11
FORMULA_NAME CloudOpsManagement-PT-20480by10240-12
FORMULA_NAME CloudOpsManagement-PT-20480by10240-13
FORMULA_NAME CloudOpsManagement-PT-20480by10240-14
FORMULA_NAME CloudOpsManagement-PT-20480by10240-15
=== Now, execution of the tool begins
BK_START 1590081233572
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ CloudOpsManagement-PT-20480by10240 @ 3570 seconds
FORMULA CloudOpsManagement-PT-20480by10240-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudOpsManagement-PT-20480by10240-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudOpsManagement-PT-20480by10240-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudOpsManagement-PT-20480by10240-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudOpsManagement-PT-20480by10240-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudOpsManagement-PT-20480by10240-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudOpsManagement-PT-20480by10240-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudOpsManagement-PT-20480by10240-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudOpsManagement-PT-20480by10240-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudOpsManagement-PT-20480by10240-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudOpsManagement-PT-20480by10240-05 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudOpsManagement-PT-20480by10240-06 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudOpsManagement-PT-20480by10240-07 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudOpsManagement-PT-20480by10240-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 1330
rslt: Output for LTLFireability @ CloudOpsManagement-PT-20480by10240
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 277
},
"exit":
{
"localtimelimitreached": false,
"memory": 4821780,
"runtime": 279.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": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (G ((X (NOT FIREABLE(StartWsr3)) R NOT FIREABLE(StopWsr2))))",
"processed_size": 62,
"rewrites": 80
},
"result":
{
"preliminary_value": "no no no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown "
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
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: 56/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 864
lola: finding significant places
lola: 27 places, 29 transitions, 16 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 (((FIREABLE(tlink3) OR FIREABLE(InstallOs)) U NOT((X ((FIREABLE(StartOs) OR NOT FIREABLE(StartContainer))) U X (FIREABLE(StartOs)))))) : A ((X (FIREABLE(StartOs)) OR G ((FIREABLE(UndeployWsr1) AND (X (X (FIREABLE(UndeployWsr1))) U X (FIREABLE(StartOs))))))) : A ((F ((FIREABLE(tlink5) OR (FIREABLE(DeployWsr2) AND G (FIREABLE(tlink0))))) OR NOT((FIREABLE(tlink5) U X (FIREABLE(UninstallSc)))))) : A (((FIREABLE(DeployWsr1) OR FIREABLE(StopWsr1) OR FIREABLE(tlink4)) OR NOT(F (NOT((NOT(F (NOT FIREABLE(StopWsr1))) U FIREABLE(DeployWsr3))))))) : A (((FIREABLE(UndeployWsr3) OR G ((FIREABLE(RunSc) OR FIREABLE(tlink1) OR NOT FIREABLE(UndeployWsr1)))) U (FIREABLE(UndeployWsr1) OR F (FIREABLE(UninstallSc))))) : A (G ((NOT((X (FIREABLE(StartWsr3)) U FIREABLE(StopWsr2))) AND NOT(X (G (FIREABLE(StopWsr2))))))) : A (X (X (NOT(F (G ((G (FIREABLE(tlink5)) OR X (F (FIREABLE(ShutdownOs)))))))))) : A (X (NOT((F (FIREABLE(DeployWsr1)) AND G (NOT(F (FIREABLE(UndeployWsr2)))))))) : A (F (FIREABLE(DeployWsr2))) : A (X (X (G (FIREABLE(tlink3))))) : A (F (X (NOT((X (FIREABLE(ConfigureSc)) U ((FIREABLE(ConfigureSc) OR G (FIREABLE(ConfigureSc))) OR (FIREABLE(ConfigureSc) AND X (FIREABLE(tlink1))))))))) : A ((G (X (NOT FIREABLE(tlink4))) OR X ((FIREABLE(tlink4) AND (NOT FIREABLE(StopWsr2) U FIREABLE(tlink5)))))) : A ((G ((NOT FIREABLE(ConfigureSc) U FIREABLE(UninstallOs))) U G (FIREABLE(StopWsr1)))) : A ((F (FIREABLE(StartWsr2)) U (FIREABLE(DeployWsr3) OR G (X (G (NOT FIREABLE(DeployWsr3))))))) : A (F ((X ((((FIREABLE(StartWsr3) AND FIREABLE(StartWsr1)) AND F (X (FIREABLE(StartWsr1)))) AND X (NOT FIREABLE(StartWsr3)))) U FIREABLE(tlink2)))) : A (NOT(F (FIREABLE(StopWsr3))))
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:300
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:494
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(tlink3) OR FIREABLE(InstallOs)) U X (((NOT FIREABLE(StartOs) AND FIREABLE(StartContainer)) R NOT FIREABLE(StartOs)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(tlink3) OR FIREABLE(InstallOs)) U X (((NOT FIREABLE(StartOs) AND FIREABLE(StartContainer)) R NOT FIREABLE(StartOs)))))
lola: processed formula length: 133
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 11 markings, 11 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (FIREABLE(StartOs)) OR G ((FIREABLE(UndeployWsr1) AND X ((X (FIREABLE(UndeployWsr1)) U FIREABLE(StartOs)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (FIREABLE(StartOs)) OR G ((FIREABLE(UndeployWsr1) AND X ((X (FIREABLE(UndeployWsr1)) U FIREABLE(StartOs)))))))
lola: processed formula length: 116
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 5 markings, 5 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F ((FIREABLE(tlink5) OR (FIREABLE(DeployWsr2) AND G (FIREABLE(tlink0))))) OR (NOT FIREABLE(tlink5) R X (NOT FIREABLE(UninstallSc)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F ((FIREABLE(tlink5) OR (FIREABLE(DeployWsr2) AND G (FIREABLE(tlink0))))) OR (NOT FIREABLE(tlink5) R X (NOT FIREABLE(UninstallSc)))))
lola: processed formula length: 137
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 8 markings, 8 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G ((X (NOT FIREABLE(StartWsr3)) R NOT FIREABLE(StopWsr2)))) AND A (G (F (NOT FIREABLE(StopWsr2)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (NOT FIREABLE(StopWsr2))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (NOT FIREABLE(StopWsr2))))
lola: processed formula length: 34
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 2126455 markings, 3691731 edges, 425291 markings/sec, 0 secs
lola: 4501822 markings, 7849050 edges, 475073 markings/sec, 5 secs
lola: 6435556 markings, 11233327 edges, 386747 markings/sec, 10 secs
lola: 8753830 markings, 15292645 edges, 463655 markings/sec, 15 secs
lola: 10935286 markings, 19107867 edges, 436291 markings/sec, 20 secs
lola: 13058841 markings, 22825992 edges, 424711 markings/sec, 25 secs
lola: 15161697 markings, 26505340 edges, 420571 markings/sec, 30 secs
lola: 17219662 markings, 30109471 edges, 411593 markings/sec, 35 secs
lola: 19432714 markings, 33982832 edges, 442610 markings/sec, 40 secs
lola: 21659105 markings, 37878047 edges, 445278 markings/sec, 45 secs
lola: 23918603 markings, 41830825 edges, 451900 markings/sec, 50 secs
lola: 25919576 markings, 45334339 edges, 400195 markings/sec, 55 secs
lola: 28016697 markings, 49002565 edges, 419424 markings/sec, 60 secs
lola: 30066192 markings, 52589107 edges, 409899 markings/sec, 65 secs
lola: 32064823 markings, 56089108 edges, 399726 markings/sec, 70 secs
lola: 34163318 markings, 59759396 edges, 419699 markings/sec, 75 secs
lola: 36263989 markings, 63438385 edges, 420134 markings/sec, 80 secs
lola: 38389236 markings, 67156607 edges, 425049 markings/sec, 85 secs
lola: 40409450 markings, 70695471 edges, 404043 markings/sec, 90 secs
lola: 42439404 markings, 74243578 edges, 405991 markings/sec, 95 secs
lola: 44627568 markings, 78077399 edges, 437633 markings/sec, 100 secs
lola: 46940831 markings, 82122419 edges, 462653 markings/sec, 105 secs
lola: 49247372 markings, 86160340 edges, 461308 markings/sec, 110 secs
lola: 51509636 markings, 90121887 edges, 452453 markings/sec, 115 secs
lola: 53790006 markings, 94109410 edges, 456074 markings/sec, 120 secs
lola: 56071342 markings, 98103043 edges, 456267 markings/sec, 125 secs
lola: 58299478 markings, 102002394 edges, 445627 markings/sec, 130 secs
lola: 60421818 markings, 105714834 edges, 424468 markings/sec, 135 secs
lola: 62535476 markings, 109418111 edges, 422732 markings/sec, 140 secs
lola: 64604245 markings, 113035585 edges, 413754 markings/sec, 145 secs
lola: 66767984 markings, 116822211 edges, 432748 markings/sec, 150 secs
lola: 68899229 markings, 120551872 edges, 426249 markings/sec, 155 secs
lola: 71117988 markings, 124435545 edges, 443752 markings/sec, 160 secs
lola: 73198378 markings, 128076426 edges, 416078 markings/sec, 165 secs
lola: 75343186 markings, 131831634 edges, 428962 markings/sec, 170 secs
lola: 77448528 markings, 135517235 edges, 421068 markings/sec, 175 secs
lola: 79534580 markings, 139168859 edges, 417210 markings/sec, 180 secs
lola: 81607660 markings, 142794474 edges, 414616 markings/sec, 185 secs
lola: 83658420 markings, 146384196 edges, 410152 markings/sec, 190 secs
lola: 85831495 markings, 150187837 edges, 434615 markings/sec, 195 secs
lola: 87993496 markings, 153969332 edges, 432400 markings/sec, 200 secs
lola: 90128982 markings, 157708029 edges, 427097 markings/sec, 205 secs
lola: 92203604 markings, 161338408 edges, 414924 markings/sec, 210 secs
lola: 93802155 markings, 164135829 edges, 319710 markings/sec, 215 secs
lola: 94054600 markings, 164578276 edges, 50489 markings/sec, 220 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((X (NOT FIREABLE(StartWsr3)) R NOT FIREABLE(StopWsr2))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((X (NOT FIREABLE(StartWsr3)) R NOT FIREABLE(StopWsr2))))
lola: processed formula length: 62
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2922303 markings, 4384133 edges, 584461 markings/sec, 0 secs
lola: 5965873 markings, 8950128 edges, 608714 markings/sec, 5 secs
lola: 9087967 markings, 13632640 edges, 624419 markings/sec, 10 secs
lola: 12220401 markings, 18332487 edges, 626487 markings/sec, 15 secs
lola: 15313619 markings, 22972674 edges, 618644 markings/sec, 20 secs
lola: 18350717 markings, 27528586 edges, 607420 markings/sec, 25 secs
lola: 21433577 markings, 32151350 edges, 616572 markings/sec, 30 secs
lola: 24469396 markings, 36706283 edges, 607164 markings/sec, 35 secs
lola: local time limit reached - aborting
lola: lola:
preliminary result: no no no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4821780 KB
lola: time consumption: 279 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: no no no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4821780 KB
lola: time consumption: 279 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 4 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((F (NOT FIREABLE(tlink5)) AND X (G (NOT FIREABLE(ShutdownOs)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((F (NOT FIREABLE(tlink5)) AND X (G (NOT FIREABLE(ShutdownOs)))))))
lola: processed formula length: 75
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 3204173 markings, 4806853 edges, 640835 markings/sec, 0 secs
lola: 6410195 markings, 9616084 edges, 641204 markings/sec, 5 secs
lola: 9565219 markings, 14349654 edges, 631005 markings/sec, 10 secs
lola: 12704830 markings, 19057749 edges, 627922 markings/sec, 15 secs
lola: 15790597 markings, 23687902 edges, 617153 markings/sec, 20 secs
lola: 18824977 markings, 28240396 edges, 606876 markings/sec, 25 secs
lola: 21891195 markings, 32837366 edges, 613244 markings/sec, 30 secs
lola: 24910574 markings, 37367943 edges, 603876 markings/sec, 35 secs
lola: 27913391 markings, 41872820 edges, 600563 markings/sec, 40 secs
lola: 30870044 markings, 46306974 edges, 591331 markings/sec, 45 secs
lola: 33773920 markings, 50661909 edges, 580775 markings/sec, 50 secs
lola: 36758147 markings, 55140802 edges, 596845 markings/sec, 55 secs
lola: 39697811 markings, 59549290 edges, 587933 markings/sec, 60 secs
lola: 42575137 markings, 63865890 edges, 575465 markings/sec, 65 secs
lola: 45509572 markings, 68267241 edges, 586887 markings/sec, 70 secs
lola: 48385389 markings, 72579133 edges, 575163 markings/sec, 75 secs
lola: 51219207 markings, 76829752 edges, 566764 markings/sec, 80 secs
lola: 54155778 markings, 81242094 edges, 587314 markings/sec, 85 secs
lola: 56899108 markings, 85356560 edges, 548666 markings/sec, 90 secs
lola: 59479040 markings, 89226153 edges, 515986 markings/sec, 95 secs
lola: 61957939 markings, 92939174 edges, 495780 markings/sec, 100 secs
lola: 64385103 markings, 96580619 edges, 485433 markings/sec, 105 secs
lola: 66721143 markings, 100085310 edges, 467208 markings/sec, 110 secs
lola: 68996682 markings, 103500563 edges, 455108 markings/sec, 115 secs
lola: 71210324 markings, 106820152 edges, 442728 markings/sec, 120 secs
lola: 73294132 markings, 109948465 edges, 416762 markings/sec, 125 secs
lola: 75554937 markings, 113335698 edges, 452161 markings/sec, 130 secs
lola: 77675798 markings, 116521545 edges, 424172 markings/sec, 135 secs
lola: 79750789 markings, 119631803 edges, 414998 markings/sec, 140 secs
lola: 81781502 markings, 122675299 edges, 406143 markings/sec, 145 secs
lola: 83730211 markings, 125604039 edges, 389742 markings/sec, 150 secs
lola: 85895286 markings, 128848722 edges, 433015 markings/sec, 155 secs
lola: 87059603 markings, 130595384 edges, 232863 markings/sec, 160 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 284 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((G (NOT FIREABLE(DeployWsr1)) OR F (FIREABLE(UndeployWsr2)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((G (NOT FIREABLE(DeployWsr1)) OR F (FIREABLE(UndeployWsr2)))))
lola: processed formula length: 68
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 3030107 markings, 4546081 edges, 606021 markings/sec, 0 secs
lola: 6131597 markings, 9198942 edges, 620298 markings/sec, 5 secs
lola: 9184878 markings, 13779450 edges, 610656 markings/sec, 10 secs
lola: 12249366 markings, 18375581 edges, 612898 markings/sec, 15 secs
lola: 15274326 markings, 22911720 edges, 604992 markings/sec, 20 secs
lola: 18248639 markings, 27373859 edges, 594863 markings/sec, 25 secs
lola: 21266963 markings, 31903065 edges, 603665 markings/sec, 30 secs
lola: 24253606 markings, 36381411 edges, 597329 markings/sec, 35 secs
lola: 27215711 markings, 40826389 edges, 592421 markings/sec, 40 secs
lola: 30103108 markings, 45155696 edges, 577479 markings/sec, 45 secs
lola: 32927919 markings, 49392532 edges, 564962 markings/sec, 50 secs
lola: 35870761 markings, 53810221 edges, 588568 markings/sec, 55 secs
lola: 38797372 markings, 58196993 edges, 585322 markings/sec, 60 secs
lola: 41693831 markings, 62543868 edges, 579292 markings/sec, 65 secs
lola: 44610465 markings, 66918924 edges, 583327 markings/sec, 70 secs
lola: 47494278 markings, 71245280 edges, 576763 markings/sec, 75 secs
lola: 50376143 markings, 75566943 edges, 576373 markings/sec, 80 secs
lola: 53283866 markings, 79928363 edges, 581545 markings/sec, 85 secs
lola: 56091587 markings, 84144112 edges, 561544 markings/sec, 90 secs
lola: 58705385 markings, 88067971 edges, 522760 markings/sec, 95 secs
lola: 61192223 markings, 91792339 edges, 497368 markings/sec, 100 secs
lola: 63601123 markings, 95401792 edges, 481780 markings/sec, 105 secs
lola: 65983581 markings, 98978837 edges, 476492 markings/sec, 110 secs
lola: 68239693 markings, 102364634 edges, 451222 markings/sec, 115 secs
lola: 70491877 markings, 105742573 edges, 450437 markings/sec, 120 secs
lola: 72649722 markings, 108976367 edges, 431569 markings/sec, 125 secs
lola: 74845137 markings, 112277729 edges, 439083 markings/sec, 130 secs
lola: 77009440 markings, 115521300 edges, 432861 markings/sec, 135 secs
lola: 79081167 markings, 118623252 edges, 414345 markings/sec, 140 secs
lola: 81107957 markings, 121670284 edges, 405358 markings/sec, 145 secs
lola: 83113989 markings, 124678803 edges, 401206 markings/sec, 150 secs
lola: 85199535 markings, 127805389 edges, 417109 markings/sec, 155 secs
lola: 86973618 markings, 130468438 edges, 354817 markings/sec, 160 secs
lola: 87215539 markings, 130833242 edges, 48384 markings/sec, 165 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 295 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G (FIREABLE(tlink3)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G (FIREABLE(tlink3)))))
lola: processed formula length: 32
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 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: 5 markings, 5 edges
lola: ========================================
lola: subprocess 7 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((X (NOT FIREABLE(ConfigureSc)) R (NOT FIREABLE(ConfigureSc) AND (NOT FIREABLE(ConfigureSc) OR X (NOT FIREABLE(tlink1))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((X (NOT FIREABLE(ConfigureSc)) R (NOT FIREABLE(ConfigureSc) AND (NOT FIREABLE(ConfigureSc) OR X (NOT FIREABLE(tlink1))))))))
lola: processed formula length: 133
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 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: 19 markings, 21 edges
lola: ========================================
lola: subprocess 8 will run for 368 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((G (NOT FIREABLE(tlink4)) OR (FIREABLE(tlink4) AND (NOT FIREABLE(StopWsr2) U FIREABLE(tlink5))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((G (NOT FIREABLE(tlink4)) OR (FIREABLE(tlink4) AND (NOT FIREABLE(StopWsr2) U FIREABLE(tlink5))))))
lola: processed formula length: 104
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 3022800 markings, 4534470 edges, 604560 markings/sec, 0 secs
lola: 6072786 markings, 9109266 edges, 609997 markings/sec, 5 secs
lola: 9052606 markings, 13578953 edges, 595964 markings/sec, 10 secs
lola: 12039350 markings, 18059037 edges, 597349 markings/sec, 15 secs
lola: 14981887 markings, 22475341 edges, 588507 markings/sec, 20 secs
lola: 17869117 markings, 26806228 edges, 577446 markings/sec, 25 secs
lola: 20782610 markings, 31174268 edges, 582699 markings/sec, 30 secs
lola: 23665477 markings, 35500793 edges, 576573 markings/sec, 35 secs
lola: 26345862 markings, 39519130 edges, 536077 markings/sec, 40 secs
lola: 29167161 markings, 43753378 edges, 564260 markings/sec, 45 secs
lola: 31971856 markings, 47959857 edges, 560939 markings/sec, 50 secs
lola: 34774711 markings, 52164690 edges, 560571 markings/sec, 55 secs
lola: 37585625 markings, 56382184 edges, 562183 markings/sec, 60 secs
lola: 40390839 markings, 60590133 edges, 561043 markings/sec, 65 secs
lola: 43164097 markings, 64747521 edges, 554652 markings/sec, 70 secs
lola: 45947240 markings, 68924881 edges, 556629 markings/sec, 75 secs
lola: 48683172 markings, 73026918 edges, 547186 markings/sec, 80 secs
lola: 51396106 markings, 77095935 edges, 542587 markings/sec, 85 secs
lola: 54153686 markings, 81237909 edges, 551516 markings/sec, 90 secs
lola: 56682580 markings, 85025907 edges, 505779 markings/sec, 95 secs
lola: 59058178 markings, 88589234 edges, 475120 markings/sec, 100 secs
lola: 61339265 markings, 92013292 edges, 456217 markings/sec, 105 secs
lola: 63544218 markings, 95324192 edges, 440991 markings/sec, 110 secs
lola: 65663019 markings, 98501555 edges, 423760 markings/sec, 115 secs
lola: 67694259 markings, 101542764 edges, 406248 markings/sec, 120 secs
lola: 69768427 markings, 104661437 edges, 414834 markings/sec, 125 secs
lola: 71786750 markings, 107683305 edges, 403665 markings/sec, 130 secs
lola: 73771425 markings, 110663227 edges, 396935 markings/sec, 135 secs
lola: 75822969 markings, 113742290 edges, 410309 markings/sec, 140 secs
lola: 77813103 markings, 116720290 edges, 398027 markings/sec, 145 secs
lola: 79766718 markings, 119656970 edges, 390723 markings/sec, 150 secs
lola: 81679438 markings, 122526517 edges, 382544 markings/sec, 155 secs
lola: 83518291 markings, 125282601 edges, 367771 markings/sec, 160 secs
lola: 85441211 markings, 128165858 edges, 384584 markings/sec, 165 secs
lola: 86951166 markings, 130427989 edges, 301991 markings/sec, 170 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (FIREABLE(StartWsr2)) U (FIREABLE(DeployWsr3) OR X (G (NOT FIREABLE(DeployWsr3))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (FIREABLE(StartWsr2)) U (FIREABLE(DeployWsr3) OR X (G (NOT FIREABLE(DeployWsr3))))))
lola: processed formula length: 90
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 3173764 markings, 4761185 edges, 634753 markings/sec, 0 secs
lola: 6353418 markings, 9530723 edges, 635931 markings/sec, 5 secs
lola: 9474526 markings, 14211898 edges, 624222 markings/sec, 10 secs
lola: 12589097 markings, 18885620 edges, 622914 markings/sec, 15 secs
lola: 15649045 markings, 23475050 edges, 611990 markings/sec, 20 secs
lola: 18660940 markings, 27991908 edges, 602379 markings/sec, 25 secs
lola: 21712246 markings, 32570759 edges, 610261 markings/sec, 30 secs
lola: 24709793 markings, 37067874 edges, 599509 markings/sec, 35 secs
lola: 27692911 markings, 41542472 edges, 596624 markings/sec, 40 secs
lola: 30637912 markings, 45960339 edges, 589000 markings/sec, 45 secs
lola: 33523584 markings, 50288513 edges, 577134 markings/sec, 50 secs
lola: 36499125 markings, 54752537 edges, 595108 markings/sec, 55 secs
lola: 39421367 markings, 59133572 edges, 584448 markings/sec, 60 secs
lola: 42286044 markings, 63432245 edges, 572935 markings/sec, 65 secs
lola: 45194430 markings, 67793095 edges, 581677 markings/sec, 70 secs
lola: 48033206 markings, 72051510 edges, 567755 markings/sec, 75 secs
lola: 50845451 markings, 76272255 edges, 562449 markings/sec, 80 secs
lola: 53735293 markings, 80605928 edges, 577968 markings/sec, 85 secs
lola: 56489124 markings, 84741397 edges, 550766 markings/sec, 90 secs
lola: 59103192 markings, 88658780 edges, 522814 markings/sec, 95 secs
lola: 61584805 markings, 92381715 edges, 496323 markings/sec, 100 secs
lola: 63989273 markings, 95993764 edges, 480894 markings/sec, 105 secs
lola: 66305855 markings, 99459537 edges, 463316 markings/sec, 110 secs
lola: 68569686 markings, 102860774 edges, 452766 markings/sec, 115 secs
lola: 70803405 markings, 106208428 edges, 446744 markings/sec, 120 secs
lola: 72946193 markings, 109422374 edges, 428558 markings/sec, 125 secs
lola: 75153808 markings, 112731657 edges, 441523 markings/sec, 130 secs
lola: 77259884 markings, 115899304 edges, 421215 markings/sec, 135 secs
lola: 79341381 markings, 119017791 edges, 416299 markings/sec, 140 secs
lola: 81366860 markings, 122055851 edges, 405096 markings/sec, 145 secs
lola: 83358312 markings, 125044565 edges, 398290 markings/sec, 150 secs
lola: 85475079 markings, 128213112 edges, 423353 markings/sec, 155 secs
lola: 86992837 markings, 130490851 edges, 303552 markings/sec, 160 secs
lola: 87137054 markings, 130713796 edges, 28843 markings/sec, 165 secs
lola: 87186271 markings, 130783534 edges, 9843 markings/sec, 170 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 432 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(StopWsr3)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G (NOT FIREABLE(StopWsr3)))
lola: processed formula length: 30
lola: 82 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(StopWsr3)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 6 markings, 5 edges
lola: ========================================
lola: subprocess 11 will run for 519 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(tlink2)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: NOT FIREABLE(tlink2)
lola: processed formula length: 20
lola: 82 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 20482 markings, 20482 edges
lola: ========================================
lola: subprocess 12 will run for 648 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(DeployWsr2)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: NOT FIREABLE(DeployWsr2)
lola: processed formula length: 24
lola: 82 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 4 markings, 4 edges
lola: ========================================
lola: subprocess 13 will run for 865 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G (FIREABLE(StopWsr1)) OR (G ((F (FIREABLE(UninstallOs)) AND (NOT FIREABLE(ConfigureSc) OR FIREABLE(UninstallOs)))) AND F (G (FIREABLE(StopWsr1))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G (FIREABLE(StopWsr1)) OR (G ((F (FIREABLE(UninstallOs)) AND (NOT FIREABLE(ConfigureSc) OR FIREABLE(UninstallOs)))) AND F (G (FIREABLE(StopWsr1))))))
lola: processed formula length: 153
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 6 markings, 6 edges
lola: ========================================
lola: subprocess 14 will run for 1297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(DeployWsr1) OR FIREABLE(StopWsr1) OR FIREABLE(tlink4)) OR G ((FIREABLE(DeployWsr3) OR (G (FIREABLE(StopWsr1)) AND F (FIREABLE(DeployWsr3)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(DeployWsr1) OR FIREABLE(StopWsr1) OR FIREABLE(tlink4)) OR G ((FIREABLE(DeployWsr3) OR (G (FIREABLE(StopWsr1)) AND F (FIREABLE(DeployWsr3)))))))
lola: processed formula length: 159
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 4 markings, 4 edges
lola: ========================================
lola: subprocess 15 will run for 2595 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(UndeployWsr3) OR G ((FIREABLE(RunSc) OR FIREABLE(tlink1) OR NOT FIREABLE(UndeployWsr1)))) U (FIREABLE(UndeployWsr1) OR F (FIREABLE(UninstallSc)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(UndeployWsr3) OR G ((FIREABLE(RunSc) OR FIREABLE(tlink1) OR NOT FIREABLE(UndeployWsr1)))) U (FIREABLE(UndeployWsr1) OR F (FIREABLE(UninstallSc)))))
lola: processed formula length: 163
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 2715192 markings, 4073581 edges, 543038 markings/sec, 0 secs
lola: 5579295 markings, 8369866 edges, 572821 markings/sec, 5 secs
lola: 8375510 markings, 12563670 edges, 559243 markings/sec, 10 secs
lola: 11224167 markings, 16838538 edges, 569731 markings/sec, 15 secs
lola: 14023577 markings, 21037896 edges, 559882 markings/sec, 20 secs
lola: 16661099 markings, 24992980 edges, 527504 markings/sec, 25 secs
lola: 19334726 markings, 29003715 edges, 534725 markings/sec, 30 secs
lola: 22109880 markings, 33167458 edges, 555031 markings/sec, 35 secs
lola: 24852047 markings, 37281195 edges, 548433 markings/sec, 40 secs
lola: 27584773 markings, 41379461 edges, 546545 markings/sec, 45 secs
lola: 30293973 markings, 45444172 edges, 541840 markings/sec, 50 secs
lola: 32963368 markings, 49447194 edges, 533879 markings/sec, 55 secs
lola: 35701864 markings, 53556713 edges, 547699 markings/sec, 60 secs
lola: 38434913 markings, 57654751 edges, 546610 markings/sec, 65 secs
lola: 41138577 markings, 61709336 edges, 540733 markings/sec, 70 secs
lola: 43826807 markings, 65743248 edges, 537646 markings/sec, 75 secs
lola: 46494460 markings, 69742055 edges, 533531 markings/sec, 80 secs
lola: 49128897 markings, 73695788 edges, 526887 markings/sec, 85 secs
lola: 51725285 markings, 77588257 edges, 519278 markings/sec, 90 secs
lola: 54420896 markings, 81633719 edges, 539122 markings/sec, 95 secs
lola: 56887740 markings, 85333823 edges, 493369 markings/sec, 100 secs
lola: 59230015 markings, 88850985 edges, 468455 markings/sec, 105 secs
lola: 61478576 markings, 92221680 edges, 449712 markings/sec, 110 secs
lola: 63670976 markings, 95512392 edges, 438480 markings/sec, 115 secs
lola: 65828445 markings, 98750484 edges, 431494 markings/sec, 120 secs
lola: 67877988 markings, 101825545 edges, 409909 markings/sec, 125 secs
lola: 69965210 markings, 104955484 edges, 417444 markings/sec, 130 secs
lola: 71972110 markings, 107965738 edges, 401380 markings/sec, 135 secs
lola: 74008004 markings, 111013501 edges, 407179 markings/sec, 140 secs
lola: 76063816 markings, 114101100 edges, 411162 markings/sec, 145 secs
lola: 78077254 markings, 117124434 edges, 402688 markings/sec, 150 secs
lola: 80063358 markings, 120096974 edges, 397221 markings/sec, 155 secs
lola: 82002923 markings, 123009644 edges, 387913 markings/sec, 160 secs
lola: 83841340 markings, 125764855 edges, 367683 markings/sec, 165 secs
lola: 85831235 markings, 128752601 edges, 397979 markings/sec, 170 secs
lola: 87050853 markings, 130586402 edges, 243924 markings/sec, 175 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: (A (G ((X (NOT FIREABLE(StartWsr3)) R NOT FIREABLE(StopWsr2)))) AND A (G (F (NOT FIREABLE(StopWsr2)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: A (G (F (NOT FIREABLE(StopWsr2))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (NOT FIREABLE(StopWsr2))))
lola: processed formula length: 34
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 2275651 markings, 3956509 edges, 455130 markings/sec, 0 secs
lola: 4615232 markings, 8049905 edges, 467916 markings/sec, 5 secs
lola: 6928332 markings, 12096046 edges, 462620 markings/sec, 10 secs
lola: 9188238 markings, 16052879 edges, 451981 markings/sec, 15 secs
lola: 11435532 markings, 19984488 edges, 449459 markings/sec, 20 secs
lola: 13593087 markings, 23760559 edges, 431511 markings/sec, 25 secs
lola: 15806217 markings, 27633537 edges, 442626 markings/sec, 30 secs
lola: 18035482 markings, 31536391 edges, 445853 markings/sec, 35 secs
lola: 20228754 markings, 35373912 edges, 438654 markings/sec, 40 secs
lola: 22477001 markings, 39309811 edges, 449649 markings/sec, 45 secs
lola: 24750122 markings, 43286966 edges, 454624 markings/sec, 50 secs
lola: 26967904 markings, 47169788 edges, 443556 markings/sec, 55 secs
lola: 29174072 markings, 51029380 edges, 441234 markings/sec, 60 secs
lola: 31341153 markings, 54821033 edges, 433416 markings/sec, 65 secs
lola: 33577204 markings, 58736782 edges, 447210 markings/sec, 70 secs
lola: 35775147 markings, 62583533 edges, 439589 markings/sec, 75 secs
lola: 37961110 markings, 66408964 edges, 437193 markings/sec, 80 secs
lola: 40127510 markings, 70201601 edges, 433280 markings/sec, 85 secs
lola: 42279061 markings, 73963837 edges, 430310 markings/sec, 90 secs
lola: 44657202 markings, 78126431 edges, 475628 markings/sec, 95 secs
lola: 46980502 markings, 82192172 edges, 464660 markings/sec, 100 secs
lola: 49300736 markings, 86256545 edges, 464047 markings/sec, 105 secs
lola: 51583672 markings, 90249488 edges, 456587 markings/sec, 110 secs
lola: 53885050 markings, 94279025 edges, 460276 markings/sec, 115 secs
lola: 56186517 markings, 98306543 edges, 460293 markings/sec, 120 secs
lola: 58438986 markings, 102248778 edges, 450494 markings/sec, 125 secs
lola: 60661520 markings, 106135862 edges, 444507 markings/sec, 130 secs
lola: 62861066 markings, 109988464 edges, 439909 markings/sec, 135 secs
lola: 65178938 markings, 114041668 edges, 463574 markings/sec, 140 secs
lola: 67463012 markings, 118038937 edges, 456815 markings/sec, 145 secs
lola: 69714227 markings, 121979289 edges, 450243 markings/sec, 150 secs
lola: 71938477 markings, 125871804 edges, 444850 markings/sec, 155 secs
lola: 74140372 markings, 129725075 edges, 440379 markings/sec, 160 secs
lola: 76373260 markings, 133635883 edges, 446578 markings/sec, 165 secs
lola: 78545743 markings, 137438341 edges, 434497 markings/sec, 170 secs
lola: 80733698 markings, 141264670 edges, 437591 markings/sec, 175 secs
lola: 82875392 markings, 145012623 edges, 428339 markings/sec, 180 secs
lola: 85074985 markings, 148862676 edges, 439919 markings/sec, 185 secs
lola: 87343554 markings, 152833223 edges, 453714 markings/sec, 190 secs
lola: 89568418 markings, 156729886 edges, 444973 markings/sec, 195 secs
lola: 91808614 markings, 160647619 edges, 448039 markings/sec, 200 secs
lola: 93760731 markings, 164063447 edges, 390423 markings/sec, 205 secs
lola: 94076288 markings, 164618905 edges, 63111 markings/sec, 210 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G ((X (NOT FIREABLE(StartWsr3)) R NOT FIREABLE(StopWsr2))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((X (NOT FIREABLE(StartWsr3)) R NOT FIREABLE(StopWsr2))))
lola: processed formula length: 62
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 3012079 markings, 4518836 edges, 602416 markings/sec, 0 secs
lola: 6141377 markings, 9212632 edges, 625860 markings/sec, 5 secs
lola: 9217275 markings, 13827086 edges, 615180 markings/sec, 10 secs
lola: 12303625 markings, 18456504 edges, 617270 markings/sec, 15 secs
lola: 15342242 markings, 23014352 edges, 607723 markings/sec, 20 secs
lola: 18330813 markings, 27496568 edges, 597714 markings/sec, 25 secs
lola: 21364512 markings, 32047603 edges, 606740 markings/sec, 30 secs
lola: 24358382 markings, 36540152 edges, 598774 markings/sec, 35 secs
lola: 27337150 markings, 41008655 edges, 595754 markings/sec, 40 secs
lola: 30279700 markings, 45423408 edges, 588510 markings/sec, 45 secs
lola: 33171090 markings, 49756921 edges, 578278 markings/sec, 50 secs
lola: 36170196 markings, 54256634 edges, 599821 markings/sec, 55 secs
lola: 39138695 markings, 58710035 edges, 593700 markings/sec, 60 secs
lola: 42061056 markings, 63095299 edges, 584472 markings/sec, 65 secs
lola: 45006562 markings, 67512330 edges, 589101 markings/sec, 70 secs
lola: 47896494 markings, 71846644 edges, 577986 markings/sec, 75 secs
lola: 50744667 markings, 76121072 edges, 569635 markings/sec, 80 secs
lola: 53626007 markings, 80448798 edges, 576268 markings/sec, 85 secs
lola: 56280697 markings, 84426946 edges, 530938 markings/sec, 90 secs
lola: 58763523 markings, 88147279 edges, 496565 markings/sec, 95 secs
lola: 61139977 markings, 91711602 edges, 475291 markings/sec, 100 secs
lola: 63389434 markings, 95087485 edges, 449891 markings/sec, 105 secs
lola: 65575439 markings, 98367356 edges, 437201 markings/sec, 110 secs
lola: 67663416 markings, 101498805 edges, 417595 markings/sec, 115 secs
lola: 69787307 markings, 104681600 edges, 424778 markings/sec, 120 secs
lola: 71840378 markings, 107763717 edges, 410614 markings/sec, 125 secs
lola: 73878066 markings, 110819126 edges, 407538 markings/sec, 130 secs
lola: 75949337 markings, 113933585 edges, 414254 markings/sec, 135 secs
lola: 78008602 markings, 117018193 edges, 411853 markings/sec, 140 secs
lola: 80000848 markings, 120009038 edges, 398449 markings/sec, 145 secs
lola: 81952841 markings, 122929959 edges, 390399 markings/sec, 150 secs
lola: 83785466 markings, 125682807 edges, 366525 markings/sec, 155 secs
lola: 85764761 markings, 128649114 edges, 395859 markings/sec, 160 secs
lola: 87038667 markings, 130562030 edges, 254781 markings/sec, 165 secs
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G (F ((F (NOT FIREABLE(tlink5)) AND X (G (NOT FIREABLE(ShutdownOs)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((F (NOT FIREABLE(tlink5)) AND X (G (NOT FIREABLE(ShutdownOs)))))))
lola: processed formula length: 75
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 3140017 markings, 4711278 edges, 628003 markings/sec, 0 secs
lola: 6304855 markings, 9457310 edges, 632968 markings/sec, 5 secs
lola: 9406287 markings, 14110182 edges, 620286 markings/sec, 10 secs
lola: 12497860 markings, 18748220 edges, 618315 markings/sec, 15 secs
lola: 15540770 markings, 23311383 edges, 608582 markings/sec, 20 secs
lola: 18524721 markings, 27787615 edges, 596790 markings/sec, 25 secs
lola: 21554439 markings, 32334073 edges, 605944 markings/sec, 30 secs
lola: 24532904 markings, 36800411 edges, 595693 markings/sec, 35 secs
lola: 27484880 markings, 41230437 edges, 590395 markings/sec, 40 secs
lola: 30406091 markings, 45612192 edges, 584242 markings/sec, 45 secs
lola: 33270779 markings, 49907396 edges, 572938 markings/sec, 50 secs
lola: 36208954 markings, 54317136 edges, 587635 markings/sec, 55 secs
lola: 39107867 markings, 58666073 edges, 579783 markings/sec, 60 secs
lola: 41963972 markings, 62946962 edges, 571221 markings/sec, 65 secs
lola: 44837367 markings, 67259244 edges, 574679 markings/sec, 70 secs
lola: 47670727 markings, 71509534 edges, 566672 markings/sec, 75 secs
lola: 50476183 markings, 75716814 edges, 561091 markings/sec, 80 secs
lola: 53316370 markings, 79976220 edges, 568037 markings/sec, 85 secs
lola: 55999572 markings, 84008059 edges, 536640 markings/sec, 90 secs
lola: 58485838 markings, 87731283 edges, 497253 markings/sec, 95 secs
lola: 60820083 markings, 91232383 edges, 466849 markings/sec, 100 secs
lola: 63091587 markings, 94646279 edges, 454301 markings/sec, 105 secs
lola: 65308513 markings, 97969151 edges, 443385 markings/sec, 110 secs
lola: 67424116 markings, 101143088 edges, 423121 markings/sec, 115 secs
lola: 69567283 markings, 104357891 edges, 428633 markings/sec, 120 secs
lola: 71645127 markings, 107475620 edges, 415569 markings/sec, 125 secs
lola: 73678194 markings, 110517729 edges, 406613 markings/sec, 130 secs
lola: 75813088 markings, 113722531 edges, 426979 markings/sec, 135 secs
lola: 77872395 markings, 116817120 edges, 411861 markings/sec, 140 secs
lola: 79908721 markings, 119865746 edges, 407265 markings/sec, 145 secs
lola: 81905063 markings, 122860302 edges, 399268 markings/sec, 150 secs
lola: 83795853 markings, 125694363 edges, 378158 markings/sec, 155 secs
lola: 85807451 markings, 128714015 edges, 402320 markings/sec, 160 secs
lola: 87026015 markings, 130541316 edges, 243713 markings/sec, 165 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (X ((G (NOT FIREABLE(DeployWsr1)) OR F (FIREABLE(UndeployWsr2)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((G (NOT FIREABLE(DeployWsr1)) OR F (FIREABLE(UndeployWsr2)))))
lola: processed formula length: 68
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 3092410 markings, 4638701 edges, 618482 markings/sec, 0 secs
lola: 6189400 markings, 9285238 edges, 619398 markings/sec, 5 secs
lola: 9244454 markings, 13868554 edges, 611011 markings/sec, 10 secs
lola: 12305447 markings, 18458326 edges, 612199 markings/sec, 15 secs
lola: 15330700 markings, 22996805 edges, 605051 markings/sec, 20 secs
lola: 18298171 markings, 27448740 edges, 593494 markings/sec, 25 secs
lola: 21309088 markings, 31966047 edges, 602183 markings/sec, 30 secs
lola: 24286832 markings, 36431922 edges, 595549 markings/sec, 35 secs
lola: 27242543 markings, 40865294 edges, 591142 markings/sec, 40 secs
lola: 30166046 markings, 45250518 edges, 584701 markings/sec, 45 secs
lola: 33042432 markings, 49564702 edges, 575277 markings/sec, 50 secs
lola: 36019014 markings, 54030734 edges, 595316 markings/sec, 55 secs
lola: 38963280 markings, 58447576 edges, 588853 markings/sec, 60 secs
lola: 41866428 markings, 62801627 edges, 580630 markings/sec, 65 secs
lola: 44786069 markings, 67182624 edges, 583928 markings/sec, 70 secs
lola: 47657983 markings, 71487024 edges, 574383 markings/sec, 75 secs
lola: 50507264 markings, 75762913 edges, 569856 markings/sec, 80 secs
lola: 53385492 markings, 80086302 edges, 575646 markings/sec, 85 secs
lola: 56109247 markings, 84165967 edges, 544751 markings/sec, 90 secs
lola: 58647643 markings, 87972968 edges, 507679 markings/sec, 95 secs
lola: 61104820 markings, 91658492 edges, 491435 markings/sec, 100 secs
lola: 63461230 markings, 95200243 edges, 471282 markings/sec, 105 secs
lola: 65746944 markings, 98628442 edges, 457143 markings/sec, 110 secs
lola: 67922197 markings, 101893484 edges, 435051 markings/sec, 115 secs
lola: 70150239 markings, 105227574 edges, 445608 markings/sec, 120 secs
lola: 72256336 markings, 108390829 edges, 421219 markings/sec, 125 secs
lola: 74363793 markings, 111550619 edges, 421491 markings/sec, 130 secs
lola: 76460951 markings, 114692283 edges, 419432 markings/sec, 135 secs
lola: 78465434 markings, 117700310 edges, 400897 markings/sec, 140 secs
lola: 80488180 markings, 120737936 edges, 404549 markings/sec, 145 secs
lola: 82421955 markings, 123642903 edges, 386755 markings/sec, 150 secs
lola: 84375177 markings, 126566283 edges, 390644 markings/sec, 155 secs
lola: 86428219 markings, 129648342 edges, 410608 markings/sec, 160 secs
lola: 87175915 markings, 130773293 edges, 149539 markings/sec, 165 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (X ((G (NOT FIREABLE(tlink4)) OR (FIREABLE(tlink4) AND (NOT FIREABLE(StopWsr2) U FIREABLE(tlink5))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((G (NOT FIREABLE(tlink4)) OR (FIREABLE(tlink4) AND (NOT FIREABLE(StopWsr2) U FIREABLE(tlink5))))))
lola: processed formula length: 104
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2926272 markings, 4389652 edges, 585254 markings/sec, 0 secs
lola: 5984516 markings, 8977862 edges, 611649 markings/sec, 5 secs
lola: 8971938 markings, 13459981 edges, 597484 markings/sec, 10 secs
lola: 11836908 markings, 17756760 edges, 572994 markings/sec, 15 secs
lola: 14780479 markings, 22170722 edges, 588714 markings/sec, 20 secs
lola: 17663845 markings, 26497878 edges, 576673 markings/sec, 25 secs
lola: 20563028 markings, 30844672 edges, 579837 markings/sec, 30 secs
lola: 23447857 markings, 35175057 edges, 576966 markings/sec, 35 secs
lola: 26293490 markings, 39442730 edges, 569127 markings/sec, 40 secs
lola: 29123415 markings, 43688791 edges, 565985 markings/sec, 45 secs
lola: 31653716 markings, 47482179 edges, 506060 markings/sec, 50 secs
lola: 34457170 markings, 51687689 edges, 560691 markings/sec, 55 secs
lola: 37281923 markings, 55923041 edges, 564951 markings/sec, 60 secs
lola: 40078943 markings, 60118834 edges, 559404 markings/sec, 65 secs
lola: 42840831 markings, 64263842 edges, 552378 markings/sec, 70 secs
lola: 45629754 markings, 68444707 edges, 557785 markings/sec, 75 secs
lola: 48368567 markings, 72555328 edges, 547763 markings/sec, 80 secs
lola: 51076265 markings, 76614667 edges, 541540 markings/sec, 85 secs
lola: 53859543 markings, 80792987 edges, 556656 markings/sec, 90 secs
lola: 56485394 markings, 84733939 edges, 525170 markings/sec, 95 secs
lola: 58976020 markings, 88465880 edges, 498125 markings/sec, 100 secs
lola: 61352854 markings, 92031680 edges, 475367 markings/sec, 105 secs
lola: 63687510 markings, 95533603 edges, 466931 markings/sec, 110 secs
lola: 65937095 markings, 98906346 edges, 449917 markings/sec, 115 secs
lola: 68078301 markings, 102123771 edges, 428241 markings/sec, 120 secs
lola: 70292655 markings, 105446532 edges, 442871 markings/sec, 125 secs
lola: 72402531 markings, 108606293 edges, 421975 markings/sec, 130 secs
lola: 74504043 markings, 111759816 edges, 420302 markings/sec, 135 secs
lola: 76594574 markings, 114896372 edges, 418106 markings/sec, 140 secs
lola: 78569184 markings, 117862530 edges, 394922 markings/sec, 145 secs
lola: 80615351 markings, 120930839 edges, 409233 markings/sec, 150 secs
lola: 82560200 markings, 123843127 edges, 388970 markings/sec, 155 secs
lola: 84306013 markings, 126468915 edges, 349163 markings/sec, 160 secs
lola: 86194977 markings, 129300667 edges, 377793 markings/sec, 165 secs
lola: 87086246 markings, 130636708 edges, 178254 markings/sec, 170 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A ((F (FIREABLE(StartWsr2)) U (FIREABLE(DeployWsr3) OR X (G (NOT FIREABLE(DeployWsr3))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (FIREABLE(StartWsr2)) U (FIREABLE(DeployWsr3) OR X (G (NOT FIREABLE(DeployWsr3))))))
lola: processed formula length: 90
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 3153350 markings, 4730420 edges, 630670 markings/sec, 0 secs
lola: 6322707 markings, 9485768 edges, 633871 markings/sec, 5 secs
lola: 9433148 markings, 14150883 edges, 622088 markings/sec, 10 secs
lola: 12535186 markings, 18802860 edges, 620408 markings/sec, 15 secs
lola: 15582622 markings, 23375095 edges, 609487 markings/sec, 20 secs
lola: 18579119 markings, 27870980 edges, 599299 markings/sec, 25 secs
lola: 21623838 markings, 32438071 edges, 608944 markings/sec, 30 secs
lola: 24609670 markings, 36916784 edges, 597166 markings/sec, 35 secs
lola: 27572279 markings, 41361902 edges, 592522 markings/sec, 40 secs
lola: 30498904 markings, 45751835 edges, 585325 markings/sec, 45 secs
lola: 33383282 markings, 50075255 edges, 576876 markings/sec, 50 secs
lola: 36335407 markings, 54504314 edges, 590425 markings/sec, 55 secs
lola: 39242329 markings, 58864188 edges, 581384 markings/sec, 60 secs
lola: 42097330 markings, 63149505 edges, 571000 markings/sec, 65 secs
lola: 44980599 markings, 67471906 edges, 576654 markings/sec, 70 secs
lola: 47818478 markings, 71729744 edges, 567576 markings/sec, 75 secs
lola: 50635509 markings, 75955026 edges, 563406 markings/sec, 80 secs
lola: 53494561 markings, 80247350 edges, 571810 markings/sec, 85 secs
lola: 56234513 markings, 84355060 edges, 547990 markings/sec, 90 secs
lola: 58809203 markings, 88214165 edges, 514938 markings/sec, 95 secs
lola: 61251778 markings, 91884846 edges, 488515 markings/sec, 100 secs
lola: 63622751 markings, 95443688 edges, 474195 markings/sec, 105 secs
lola: 65929527 markings, 98897371 edges, 461355 markings/sec, 110 secs
lola: 68110367 markings, 102167423 edges, 436168 markings/sec, 115 secs
lola: 70365140 markings, 105550541 edges, 450955 markings/sec, 120 secs
lola: 72519131 markings, 108784335 edges, 430798 markings/sec, 125 secs
lola: 74653165 markings, 111983357 edges, 426807 markings/sec, 130 secs
lola: 76763986 markings, 115153276 edges, 422164 markings/sec, 135 secs
lola: 78767566 markings, 118156890 edges, 400716 markings/sec, 140 secs
lola: 80810725 markings, 121219184 edges, 408632 markings/sec, 145 secs
lola: 82773394 markings, 124161458 edges, 392534 markings/sec, 150 secs
lola: 84776308 markings, 127165182 edges, 400583 markings/sec, 155 secs
lola: 86853111 markings, 130286492 edges, 415361 markings/sec, 160 secs
Killed
rslt: finished
BK_STOP 1590083473246
--------------------
content from stderr:
make: [verify] Error 137 (ignored)
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="CloudOpsManagement-PT-20480by10240"
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 CloudOpsManagement-PT-20480by10240, 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 r045-smll-158902068300118"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudOpsManagement-PT-20480by10240.tgz
mv CloudOpsManagement-PT-20480by10240 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 ;