About the Execution of 2019-Gold for ClientsAndServers-PT-N0020P2
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.250 | 3570268.00 | 3496335.00 | 18138.00 | ?TFFFFFFT?F?TFF? | 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-158902068200048.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 ClientsAndServers-PT-N0020P2, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r045-smll-158902068200048
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 192K
-rw-r--r-- 1 mcc users 3.9K Mar 30 01:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 30 01:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 28 15:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 28 15:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 08:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 26 07:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 26 07:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K 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 8 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 9.2K 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 ClientsAndServers-PT-N0020P2-00
FORMULA_NAME ClientsAndServers-PT-N0020P2-01
FORMULA_NAME ClientsAndServers-PT-N0020P2-02
FORMULA_NAME ClientsAndServers-PT-N0020P2-03
FORMULA_NAME ClientsAndServers-PT-N0020P2-04
FORMULA_NAME ClientsAndServers-PT-N0020P2-05
FORMULA_NAME ClientsAndServers-PT-N0020P2-06
FORMULA_NAME ClientsAndServers-PT-N0020P2-07
FORMULA_NAME ClientsAndServers-PT-N0020P2-08
FORMULA_NAME ClientsAndServers-PT-N0020P2-09
FORMULA_NAME ClientsAndServers-PT-N0020P2-10
FORMULA_NAME ClientsAndServers-PT-N0020P2-11
FORMULA_NAME ClientsAndServers-PT-N0020P2-12
FORMULA_NAME ClientsAndServers-PT-N0020P2-13
FORMULA_NAME ClientsAndServers-PT-N0020P2-14
FORMULA_NAME ClientsAndServers-PT-N0020P2-15
=== Now, execution of the tool begins
BK_START 1589275464423
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ClientsAndServers-PT-N0020P2 @ 3570 seconds
FORMULA ClientsAndServers-PT-N0020P2-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-00 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ ClientsAndServers-PT-N0020P2
{
"child":
[
{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "FIREABLE(msG)",
"processed_size": 13,
"rewrites": 124
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 19,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 2
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
}
],
"exit":
{
"memory": 4619104,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"result":
{
"preliminary_value": "unknown yes no no no no no no yes unknown no unknown yes no no unknown "
},
"task":
{
"compoundnumber": 19,
"type": "boolean"
}
}
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: 43/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 800
lola: finding significant places
lola: 25 places, 18 transitions, 17 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 (G (F (FIREABLE(ssG)))) : A (NOT(X (G (((FIREABLE(msG) AND G (FIREABLE(mfU))) U (FIREABLE(mfU) U FIREABLE(mfU))))))) : A (((X (FIREABLE(srF)) AND G (NOT FIREABLE(crA))) AND (NOT FIREABLE(srF) U G (FIREABLE(ssG))))) : A (G (X (FIREABLE(mrF)))) : A (X ((G ((FIREABLE(crG) OR (NOT FIREABLE(ssG) AND NOT FIREABLE(msA)))) U (FIREABLE(crG) AND X (FIREABLE(msA)))))) : A ((NOT FIREABLE(msG) AND (NOT(X ((FIREABLE(crA) U FIREABLE(srR)))) OR X (FIREABLE(msG))))) : A (X (X (NOT((NOT(F (FIREABLE(ssF))) OR G (NOT FIREABLE(ssF))))))) : A (NOT((G (F ((FIREABLE(csR) OR FIREABLE(mrF)))) OR NOT((F (G (NOT FIREABLE(srR))) U FIREABLE(srR)))))) : A ((X (F (X (FIREABLE(msG)))) OR NOT((G ((FIREABLE(msG) OR X (FIREABLE(msG)))) U F (FIREABLE(msG)))))) : A (NOT((NOT(F (G (FIREABLE(ssA)))) U (G (NOT FIREABLE(ssA)) U G (FIREABLE(msG)))))) : A ((NOT((NOT FIREABLE(maU) AND F ((X (FIREABLE(maU)) U FIREABLE(mrF))))) U FIREABLE(msG))) : A (F ((X ((FIREABLE(srG) AND (FIREABLE(srG) OR FIREABLE(srF)))) U G (F (FIREABLE(msA)))))) : A (NOT(G (X (FIREABLE(ssF))))) : A ((NOT FIREABLE(crG) AND F (X (((FIREABLE(ssR) AND FIREABLE(msA)) AND F (NOT(X (FIREABLE(crA))))))))) : A (((X (FIREABLE(csF)) AND F (G (FIREABLE(msA)))) AND G (F (FIREABLE(msA))))) : A (F ((G ((G (FIREABLE(msG)) U (FIREABLE(srF) OR FIREABLE(msG) OR FIREABLE(maU)))) OR G (F (FIREABLE(msG))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:416
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:431
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:528
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
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:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:425
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((G (NOT FIREABLE(mfU)) OR ((NOT FIREABLE(msG) OR F (NOT FIREABLE(mfU))) AND NOT FIREABLE(mfU))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((G (NOT FIREABLE(mfU)) OR ((NOT FIREABLE(msG) OR F (NOT FIREABLE(mfU))) AND NOT FIREABLE(mfU))))))
lola: processed formula length: 107
lola: 122 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (FIREABLE(srF))) AND (A (G (NOT FIREABLE(crA))) AND A ((NOT FIREABLE(srF) U G (FIREABLE(ssG))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(crA)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (NOT FIREABLE(crA)))
lola: processed formula length: 25
lola: 124 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:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(crA)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 18 markings, 17 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (FIREABLE(mrF))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (FIREABLE(mrF))))
lola: processed formula length: 25
lola: 122 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1145 markings, 1145 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (((FIREABLE(crG) AND X (FIREABLE(msA))) OR (G ((FIREABLE(crG) OR (NOT FIREABLE(ssG) AND NOT FIREABLE(msA)))) AND F ((FIREABLE(crG) AND X (FIREABLE(msA))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (((FIREABLE(crG) AND X (FIREABLE(msA))) OR (G ((FIREABLE(crG) OR (NOT FIREABLE(ssG) AND NOT FIREABLE(msA)))) AND F ((FIREABLE(crG) AND X (FIREABLE(msA))))))))
lola: processed formula length: 164
lola: 122 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 13 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: 1145 markings, 1145 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(msG) AND A (X (((NOT FIREABLE(crA) R NOT FIREABLE(srR)) OR FIREABLE(msG)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(msG)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(msG)
lola: processed formula length: 17
lola: 122 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (((NOT FIREABLE(crA) R NOT FIREABLE(srR)) OR FIREABLE(msG))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (((NOT FIREABLE(crA) R NOT FIREABLE(srR)) OR FIREABLE(msG))))
lola: processed formula length: 66
lola: 122 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: 1145 markings, 1145 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X ((F (FIREABLE(ssF)) AND F (FIREABLE(ssF))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X ((F (FIREABLE(ssF)) AND F (FIREABLE(ssF))))))
lola: processed formula length: 53
lola: 122 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: 1145 markings, 1145 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (X (F (FIREABLE(msG)))) OR (G (NOT FIREABLE(msG)) AND (F ((NOT FIREABLE(msG) AND X (NOT FIREABLE(msG)))) OR G (NOT FIREABLE(msG))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (X (F (FIREABLE(msG)))) OR (G (NOT FIREABLE(msG)) AND (F ((NOT FIREABLE(msG) AND X (NOT FIREABLE(msG)))) OR G (NOT FIREABLE(msG))))))
lola: processed formula length: 139
lola: 122 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 13 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: 2349150 markings, 5589211 edges, 469830 markings/sec, 0 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 3117682 markings, 7608371 edges
lola: ========================================
lola: subprocess 7 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (NOT FIREABLE(ssF))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (NOT FIREABLE(ssF))))
lola: processed formula length: 29
lola: 122 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 8 will run for 444 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(crG) AND A (X (F (((FIREABLE(ssR) AND FIREABLE(msA)) AND X (F (NOT FIREABLE(crA))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 444 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(crG)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(crG)
lola: processed formula length: 17
lola: 122 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (((FIREABLE(ssR) AND FIREABLE(msA)) AND X (F (NOT FIREABLE(crA)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (((FIREABLE(ssR) AND FIREABLE(msA)) AND X (F (NOT FIREABLE(crA)))))))
lola: processed formula length: 77
lola: 122 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 2288 markings, 2289 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 9 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (FIREABLE(csF))) AND (A (F (G (FIREABLE(msA)))) AND A (G (F (FIREABLE(msA))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(msA))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(msA))))
lola: processed formula length: 25
lola: 122 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: 1938320 markings, 5466462 edges, 387664 markings/sec, 0 secs
lola: 3831085 markings, 10921956 edges, 378553 markings/sec, 5 secs
lola: 5413592 markings, 16178546 edges, 316501 markings/sec, 10 secs
lola: 7015376 markings, 21508133 edges, 320357 markings/sec, 15 secs
lola: 8444151 markings, 26249107 edges, 285755 markings/sec, 20 secs
lola: 9971380 markings, 31303419 edges, 305446 markings/sec, 25 secs
lola: 11521839 markings, 36479468 edges, 310092 markings/sec, 30 secs
lola: 12894077 markings, 41406997 edges, 274448 markings/sec, 35 secs
lola: 14111625 markings, 46066019 edges, 243510 markings/sec, 40 secs
lola: 15550329 markings, 50907915 edges, 287741 markings/sec, 45 secs
lola: 17014234 markings, 55690258 edges, 292781 markings/sec, 50 secs
lola: 18488727 markings, 60528223 edges, 294899 markings/sec, 55 secs
lola: 19996949 markings, 65481545 edges, 301644 markings/sec, 60 secs
lola: 21397043 markings, 70418862 edges, 280019 markings/sec, 65 secs
lola: 22655499 markings, 75149724 edges, 251691 markings/sec, 70 secs
lola: 23921353 markings, 79926330 edges, 253171 markings/sec, 75 secs
lola: 25198685 markings, 84759054 edges, 255466 markings/sec, 80 secs
lola: 26539654 markings, 89762831 edges, 268194 markings/sec, 85 secs
lola: 27791056 markings, 94229434 edges, 250280 markings/sec, 90 secs
lola: 28996165 markings, 98588893 edges, 241022 markings/sec, 95 secs
lola: 30192893 markings, 102930218 edges, 239346 markings/sec, 100 secs
lola: 31384439 markings, 107269046 edges, 238309 markings/sec, 105 secs
lola: 32581695 markings, 111628179 edges, 239451 markings/sec, 110 secs
lola: 33781997 markings, 116009495 edges, 240060 markings/sec, 115 secs
lola: 35106605 markings, 120650095 edges, 264922 markings/sec, 120 secs
lola: 36587731 markings, 125587909 edges, 296225 markings/sec, 125 secs
lola: 38000826 markings, 130458147 edges, 282619 markings/sec, 130 secs
lola: 39140622 markings, 134807441 edges, 227959 markings/sec, 135 secs
lola: 40335488 markings, 139324951 edges, 238973 markings/sec, 140 secs
lola: 41558378 markings, 143906103 edges, 244578 markings/sec, 145 secs
lola: 42764990 markings, 148453223 edges, 241322 markings/sec, 150 secs
lola: 43984930 markings, 153061547 edges, 243988 markings/sec, 155 secs
lola: 45229456 markings, 157769153 edges, 248905 markings/sec, 160 secs
lola: 46464446 markings, 162487629 edges, 246998 markings/sec, 165 secs
lola: 47523184 markings, 166821025 edges, 211748 markings/sec, 170 secs
lola: 48563803 markings, 171100875 edges, 208124 markings/sec, 175 secs
lola: 49595861 markings, 175365093 edges, 206412 markings/sec, 180 secs
lola: 50632046 markings, 179651008 edges, 207237 markings/sec, 185 secs
lola: 51680537 markings, 183984915 edges, 209698 markings/sec, 190 secs
lola: 52726666 markings, 188319044 edges, 209226 markings/sec, 195 secs
lola: 53791465 markings, 192735677 edges, 212960 markings/sec, 200 secs
lola: 55066328 markings, 197346272 edges, 254973 markings/sec, 205 secs
lola: 56374047 markings, 201934363 edges, 261544 markings/sec, 210 secs
lola: 57659041 markings, 206466535 edges, 256999 markings/sec, 215 secs
lola: 58941521 markings, 210998996 edges, 256496 markings/sec, 220 secs
lola: 60226077 markings, 215537449 edges, 256911 markings/sec, 225 secs
lola: 61506049 markings, 220072371 edges, 255994 markings/sec, 230 secs
lola: 62795747 markings, 224654147 edges, 257940 markings/sec, 235 secs
lola: 64091911 markings, 229247053 edges, 259233 markings/sec, 240 secs
lola: 65390646 markings, 233860003 edges, 259747 markings/sec, 245 secs
lola: 66696172 markings, 238499323 edges, 261105 markings/sec, 250 secs
lola: 68018381 markings, 243200065 edges, 264442 markings/sec, 255 secs
lola: 69391432 markings, 248013732 edges, 274610 markings/sec, 260 secs
lola: 70617254 markings, 252696136 edges, 245164 markings/sec, 265 secs
lola: 71754385 markings, 257250252 edges, 227426 markings/sec, 270 secs
lola: 72871022 markings, 261737332 edges, 223327 markings/sec, 275 secs
lola: 73984748 markings, 266221918 edges, 222745 markings/sec, 280 secs
lola: 75088010 markings, 270674427 edges, 220652 markings/sec, 285 secs
lola: 76198807 markings, 275158641 edges, 222159 markings/sec, 290 secs
lola: 77304298 markings, 279633167 edges, 221098 markings/sec, 295 secs
lola: 78418912 markings, 284146313 edges, 222923 markings/sec, 300 secs
lola: 79536007 markings, 288668990 edges, 223419 markings/sec, 305 secs
lola: 80659352 markings, 293216430 edges, 224669 markings/sec, 310 secs
lola: 81787619 markings, 297783730 edges, 225653 markings/sec, 315 secs
lola: 82930164 markings, 302409066 edges, 228509 markings/sec, 320 secs
lola: 84068012 markings, 307041869 edges, 227570 markings/sec, 325 secs
lola: 85297193 markings, 311814940 edges, 245836 markings/sec, 330 secs
lola: 86420968 markings, 316060266 edges, 224755 markings/sec, 335 secs
lola: 87503063 markings, 320216055 edges, 216419 markings/sec, 340 secs
lola: 88564290 markings, 324308675 edges, 212245 markings/sec, 345 secs
lola: 89611787 markings, 328358932 edges, 209499 markings/sec, 350 secs
lola: 90658312 markings, 332404801 edges, 209305 markings/sec, 355 secs
lola: 91699918 markings, 336447985 edges, 208321 markings/sec, 360 secs
lola: 92731192 markings, 340450541 edges, 206255 markings/sec, 365 secs
lola: 93764643 markings, 344463100 edges, 206690 markings/sec, 370 secs
lola: 94790995 markings, 348468225 edges, 205270 markings/sec, 375 secs
lola: 95830982 markings, 352503115 edges, 207997 markings/sec, 380 secs
lola: 96853921 markings, 356495998 edges, 204588 markings/sec, 385 secs
lola: 97900367 markings, 360556420 edges, 209289 markings/sec, 390 secs
lola: 98940814 markings, 364616366 edges, 208089 markings/sec, 395 secs
lola: 99978570 markings, 368667912 edges, 207551 markings/sec, 400 secs
lola: 101012018 markings, 372703199 edges, 206690 markings/sec, 405 secs
lola: 102063889 markings, 376785501 edges, 210374 markings/sec, 410 secs
lola: 103107452 markings, 380856038 edges, 208713 markings/sec, 415 secs
lola: 104159616 markings, 384963042 edges, 210433 markings/sec, 420 secs
lola: 105210585 markings, 389065311 edges, 210194 markings/sec, 425 secs
lola: 106266484 markings, 393193679 edges, 211180 markings/sec, 430 secs
lola: 107314974 markings, 397303370 edges, 209698 markings/sec, 435 secs
lola: 108470891 markings, 401624779 edges, 231183 markings/sec, 440 secs
lola: 109914075 markings, 406428311 edges, 288637 markings/sec, 445 secs
lola: 111350969 markings, 411292600 edges, 287379 markings/sec, 450 secs
lola: 112463429 markings, 415525376 edges, 222492 markings/sec, 455 secs
lola: 113603063 markings, 419871814 edges, 227927 markings/sec, 460 secs
lola: 114809726 markings, 424370083 edges, 241333 markings/sec, 465 secs
lola: 115993144 markings, 428829280 edges, 236684 markings/sec, 470 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 513 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (FIREABLE(msA))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (FIREABLE(msA))))
lola: processed formula length: 25
lola: 122 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 649 markings, 650 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: subprocess 10 will run for 513 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(msA))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(msA))))
lola: processed formula length: 25
lola: 122 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: ========================================
lola: ========================================
lola: 1866549 markings, 5263125 edges, 373310 markings/sec, 0 secs
lola: 3834553 markings, 10933520 edges, 393601 markings/sec, 5 secs
lola: 5404318 markings, 16147424 edges, 313953 markings/sec, 10 secs
lola: 6870075 markings, 21031852 edges, 293151 markings/sec, 15 secs
lola: 8217084 markings, 25494018 edges, 269402 markings/sec, 20 secs
lola: 9648845 markings, 30230970 edges, 286352 markings/sec, 25 secs
lola: 11121775 markings, 35140554 edges, 294586 markings/sec, 30 secs
lola: 12519602 markings, 39982534 edges, 279565 markings/sec, 35 secs
lola: 13671439 markings, 44378330 edges, 230367 markings/sec, 40 secs
lola: 15031408 markings, 49224226 edges, 271994 markings/sec, 45 secs
lola: 16500690 markings, 54008966 edges, 293856 markings/sec, 50 secs
lola: 17974358 markings, 58837609 edges, 294734 markings/sec, 55 secs
lola: 19277857 markings, 63115846 edges, 260700 markings/sec, 60 secs
lola: 20750316 markings, 68006669 edges, 294492 markings/sec, 65 secs
lola: 21961737 markings, 72541405 edges, 242284 markings/sec, 70 secs
lola: 23160874 markings, 77055433 edges, 239827 markings/sec, 75 secs
lola: 24372148 markings, 81630254 edges, 242255 markings/sec, 80 secs
lola: 25598965 markings, 86270456 edges, 245363 markings/sec, 85 secs
lola: 26887739 markings, 90982857 edges, 257755 markings/sec, 90 secs
lola: 28055383 markings, 95184324 edges, 233529 markings/sec, 95 secs
lola: 29204565 markings, 99345309 edges, 229836 markings/sec, 100 secs
lola: 30348078 markings, 103498666 edges, 228703 markings/sec, 105 secs
lola: 31501194 markings, 107689024 edges, 230623 markings/sec, 110 secs
lola: 32606229 markings, 111718707 edges, 221007 markings/sec, 115 secs
lola: 33833612 markings, 116193514 edges, 245477 markings/sec, 120 secs
lola: 34975190 markings, 120216756 edges, 228316 markings/sec, 125 secs
lola: 36465918 markings, 125180495 edges, 298146 markings/sec, 130 secs
lola: 37923067 markings, 130163884 edges, 291430 markings/sec, 135 secs
lola: 39072948 markings, 134545981 edges, 229976 markings/sec, 140 secs
lola: 40279716 markings, 139117096 edges, 241354 markings/sec, 145 secs
lola: 41515579 markings, 143743529 edges, 247173 markings/sec, 150 secs
lola: 42734944 markings, 148338751 edges, 243873 markings/sec, 155 secs
lola: 43973033 markings, 153016407 edges, 247618 markings/sec, 160 secs
lola: 45226344 markings, 157757767 edges, 250662 markings/sec, 165 secs
lola: 46462600 markings, 162479766 edges, 247251 markings/sec, 170 secs
lola: 47518912 markings, 166802833 edges, 211262 markings/sec, 175 secs
lola: 48558486 markings, 171078710 edges, 207915 markings/sec, 180 secs
lola: 49587977 markings, 175334612 edges, 205898 markings/sec, 185 secs
lola: 50624004 markings, 179617603 edges, 207205 markings/sec, 190 secs
lola: 51673418 markings, 183955278 edges, 209883 markings/sec, 195 secs
lola: 52721732 markings, 188298717 edges, 209663 markings/sec, 200 secs
lola: 53786709 markings, 192715878 edges, 212995 markings/sec, 205 secs
lola: 55061738 markings, 197330221 edges, 255006 markings/sec, 210 secs
lola: 56365961 markings, 201904973 edges, 260845 markings/sec, 215 secs
lola: 57648450 markings, 206428065 edges, 256498 markings/sec, 220 secs
lola: 58928506 markings, 210952538 edges, 256011 markings/sec, 225 secs
lola: 60209208 markings, 215477334 edges, 256140 markings/sec, 230 secs
lola: 61489401 markings, 220013390 edges, 256039 markings/sec, 235 secs
lola: 62778410 markings, 224592030 edges, 257802 markings/sec, 240 secs
lola: 64070058 markings, 229170396 edges, 258330 markings/sec, 245 secs
lola: 65371681 markings, 233792484 edges, 260325 markings/sec, 250 secs
lola: 66677677 markings, 238433520 edges, 261199 markings/sec, 255 secs
lola: 67997987 markings, 243127050 edges, 264062 markings/sec, 260 secs
lola: 69369053 markings, 247937881 edges, 274213 markings/sec, 265 secs
lola: 70599734 markings, 252624996 edges, 246136 markings/sec, 270 secs
lola: 71735961 markings, 257175887 edges, 227245 markings/sec, 275 secs
lola: 72851760 markings, 261659204 edges, 223160 markings/sec, 280 secs
lola: 73964345 markings, 266138870 edges, 222517 markings/sec, 285 secs
lola: 75066175 markings, 270585636 edges, 220366 markings/sec, 290 secs
lola: 76174424 markings, 275059746 edges, 221650 markings/sec, 295 secs
lola: 77281215 markings, 279539527 edges, 221358 markings/sec, 300 secs
lola: 78396265 markings, 284053640 edges, 223010 markings/sec, 305 secs
lola: 79513019 markings, 288574979 edges, 223351 markings/sec, 310 secs
lola: 80637957 markings, 293128980 edges, 224988 markings/sec, 315 secs
lola: 81766559 markings, 297697603 edges, 225720 markings/sec, 320 secs
lola: 82906495 markings, 302313114 edges, 227987 markings/sec, 325 secs
lola: 84044213 markings, 306944419 edges, 227544 markings/sec, 330 secs
lola: 85268069 markings, 311712162 edges, 244771 markings/sec, 335 secs
lola: 86399950 markings, 315978391 edges, 226376 markings/sec, 340 secs
lola: 87481051 markings, 320133321 edges, 216220 markings/sec, 345 secs
lola: 88542799 markings, 324225129 edges, 212350 markings/sec, 350 secs
lola: 89589165 markings, 328270017 edges, 209273 markings/sec, 355 secs
lola: 90632647 markings, 332304498 edges, 208696 markings/sec, 360 secs
lola: 91674005 markings, 336345972 edges, 208272 markings/sec, 365 secs
lola: 92703936 markings, 340344060 edges, 205986 markings/sec, 370 secs
lola: 93734298 markings, 344344202 edges, 206072 markings/sec, 375 secs
lola: 94759433 markings, 348343981 edges, 205027 markings/sec, 380 secs
lola: 95791772 markings, 352349240 edges, 206468 markings/sec, 385 secs
lola: 96811092 markings, 356328083 edges, 203864 markings/sec, 390 secs
lola: 97852664 markings, 360370390 edges, 208314 markings/sec, 395 secs
lola: 98892912 markings, 364428631 edges, 208050 markings/sec, 400 secs
lola: 99928617 markings, 368471695 edges, 207141 markings/sec, 405 secs
lola: 100959826 markings, 372497549 edges, 206242 markings/sec, 410 secs
lola: 102002216 markings, 376551334 edges, 208478 markings/sec, 415 secs
lola: 103050394 markings, 380633591 edges, 209636 markings/sec, 420 secs
lola: 104103103 markings, 384741183 edges, 210542 markings/sec, 425 secs
lola: 105152347 markings, 388837351 edges, 209849 markings/sec, 430 secs
lola: 106208823 markings, 392966441 edges, 211295 markings/sec, 435 secs
lola: 107261301 markings, 397092054 edges, 210496 markings/sec, 440 secs
lola: 108404441 markings, 401405664 edges, 228628 markings/sec, 445 secs
lola: 109849225 markings, 406208891 edges, 288957 markings/sec, 450 secs
lola: 111299771 markings, 411099984 edges, 290109 markings/sec, 455 secs
lola: 112412002 markings, 415329721 edges, 222446 markings/sec, 460 secs
lola: 113541806 markings, 419652670 edges, 225961 markings/sec, 465 secs
lola: 114756261 markings, 424171150 edges, 242891 markings/sec, 470 secs
lola: 115937810 markings, 428618357 edges, 236310 markings/sec, 475 secs
lola: 116182685 markings, 429544030 edges, 48975 markings/sec, 480 secs
lola: 116199381 markings, 429603077 edges, 3339 markings/sec, 485 secs
lola: 116231121 markings, 429723262 edges, 6348 markings/sec, 490 secs
lola: 116233109 markings, 429731063 edges, 398 markings/sec, 495 secs
lola: 116247174 markings, 429784206 edges, 2813 markings/sec, 500 secs
lola: 116275555 markings, 429892046 edges, 5676 markings/sec, 505 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes no no no no no unknown yes unknown unknown unknown yes no no unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 513 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(ssG))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(ssG))))
lola: processed formula length: 25
lola: 122 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: 1821027 markings, 5611551 edges, 364205 markings/sec, 0 secs
lola: 3482745 markings, 11414928 edges, 332344 markings/sec, 5 secs
lola: 5111946 markings, 17171202 edges, 325840 markings/sec, 10 secs
lola: 6673932 markings, 22870942 edges, 312397 markings/sec, 15 secs
lola: 8215105 markings, 28458663 edges, 308235 markings/sec, 20 secs
lola: 9803849 markings, 34223576 edges, 317749 markings/sec, 25 secs
lola: 11263199 markings, 39632221 edges, 291870 markings/sec, 30 secs
lola: 12737393 markings, 45079387 edges, 294839 markings/sec, 35 secs
lola: 14337805 markings, 50845629 edges, 320082 markings/sec, 40 secs
lola: 15787811 markings, 56306742 edges, 290001 markings/sec, 45 secs
lola: 17170434 markings, 61454650 edges, 276525 markings/sec, 50 secs
lola: 18524194 markings, 66632531 edges, 270752 markings/sec, 55 secs
lola: 20168260 markings, 72424541 edges, 328813 markings/sec, 60 secs
lola: 21630804 markings, 77988981 edges, 292509 markings/sec, 65 secs
lola: 23095518 markings, 83485826 edges, 292943 markings/sec, 70 secs
lola: 24412957 markings, 88424003 edges, 263488 markings/sec, 75 secs
lola: 25581927 markings, 93247205 edges, 233794 markings/sec, 80 secs
lola: 27220285 markings, 98834424 edges, 327672 markings/sec, 85 secs
lola: 28758144 markings, 104572884 edges, 307572 markings/sec, 90 secs
lola: 30184567 markings, 110012995 edges, 285285 markings/sec, 95 secs
lola: 31598382 markings, 115351206 edges, 282763 markings/sec, 100 secs
lola: 32928248 markings, 120358675 edges, 265973 markings/sec, 105 secs
lola: 34177771 markings, 125057563 edges, 249905 markings/sec, 110 secs
lola: 35344939 markings, 129942196 edges, 233434 markings/sec, 115 secs
lola: 36960201 markings, 135456935 edges, 323052 markings/sec, 120 secs
lola: 38499568 markings, 141212624 edges, 307873 markings/sec, 125 secs
lola: 39923512 markings, 146661266 edges, 284789 markings/sec, 130 secs
lola: 41325642 markings, 152007430 edges, 280426 markings/sec, 135 secs
lola: 42747829 markings, 157364995 edges, 284437 markings/sec, 140 secs
lola: 44001549 markings, 162114711 edges, 250744 markings/sec, 145 secs
lola: 45216625 markings, 166711296 edges, 243015 markings/sec, 150 secs
lola: 46252889 markings, 171357462 edges, 207253 markings/sec, 155 secs
lola: 47748883 markings, 176611414 edges, 299199 markings/sec, 160 secs
lola: 49394447 markings, 182338221 edges, 329113 markings/sec, 165 secs
lola: 50841517 markings, 187898376 edges, 289414 markings/sec, 170 secs
lola: 52240607 markings, 193276146 edges, 279818 markings/sec, 175 secs
lola: 53626536 markings, 198575621 edges, 277186 markings/sec, 180 secs
lola: 54995467 markings, 203778370 edges, 273786 markings/sec, 185 secs
lola: 56372264 markings, 208971116 edges, 275359 markings/sec, 190 secs
lola: 57592697 markings, 213593837 edges, 244087 markings/sec, 195 secs
lola: 58758948 markings, 218034503 edges, 233250 markings/sec, 200 secs
lola: 59849910 markings, 222554870 edges, 218192 markings/sec, 205 secs
lola: 61081071 markings, 227531146 edges, 246232 markings/sec, 210 secs
lola: 62653381 markings, 232930352 edges, 314462 markings/sec, 215 secs
lola: 64261164 markings, 238836518 edges, 321557 markings/sec, 220 secs
lola: 65707083 markings, 244396704 edges, 289184 markings/sec, 225 secs
lola: 67122542 markings, 249839006 edges, 283092 markings/sec, 230 secs
lola: 68518268 markings, 255198048 edges, 279145 markings/sec, 235 secs
lola: 69903943 markings, 260476671 edges, 277135 markings/sec, 240 secs
lola: 71322846 markings, 265841844 edges, 283781 markings/sec, 245 secs
lola: 72580300 markings, 270607696 edges, 251491 markings/sec, 250 secs
lola: 73789039 markings, 275222502 edges, 241748 markings/sec, 255 secs
lola: 74919118 markings, 279494517 edges, 226016 markings/sec, 260 secs
lola: 76043104 markings, 284196097 edges, 224797 markings/sec, 265 secs
lola: 77174611 markings, 289069168 edges, 226301 markings/sec, 270 secs
lola: 78743491 markings, 294364641 edges, 313776 markings/sec, 275 secs
lola: 80371861 markings, 300225338 edges, 325674 markings/sec, 280 secs
lola: 81815707 markings, 305796121 edges, 288769 markings/sec, 285 secs
lola: 83220136 markings, 311214928 edges, 280886 markings/sec, 290 secs
lola: 84606938 markings, 316543152 edges, 277360 markings/sec, 295 secs
lola: 85975133 markings, 321801650 edges, 273639 markings/sec, 300 secs
lola: 87331345 markings, 326986024 edges, 271242 markings/sec, 305 secs
lola: 88709769 markings, 332148389 edges, 275685 markings/sec, 310 secs
lola: 90038511 markings, 337252168 edges, 265748 markings/sec, 315 secs
lola: 91223207 markings, 341778556 edges, 236939 markings/sec, 320 secs
lola: 92386002 markings, 346214022 edges, 232559 markings/sec, 325 secs
lola: 93518673 markings, 350518166 edges, 226534 markings/sec, 330 secs
lola: 94663839 markings, 354881970 edges, 229033 markings/sec, 335 secs
lola: 95465569 markings, 359487037 edges, 160346 markings/sec, 340 secs
lola: 97069752 markings, 364888341 edges, 320837 markings/sec, 345 secs
lola: 98662250 markings, 370378574 edges, 318500 markings/sec, 350 secs
lola: 100213238 markings, 376119607 edges, 310198 markings/sec, 355 secs
lola: 101622880 markings, 381579529 edges, 281928 markings/sec, 360 secs
lola: 103017097 markings, 386959132 edges, 278843 markings/sec, 365 secs
lola: 104380956 markings, 392221818 edges, 272772 markings/sec, 370 secs
lola: 105747134 markings, 397469120 edges, 273236 markings/sec, 375 secs
lola: 107095911 markings, 402648950 edges, 269755 markings/sec, 380 secs
lola: 108439607 markings, 407773654 edges, 268739 markings/sec, 385 secs
lola: 109839681 markings, 413048913 edges, 280015 markings/sec, 390 secs
lola: 111122504 markings, 417967125 edges, 256565 markings/sec, 395 secs
lola: 112341106 markings, 422625376 edges, 243720 markings/sec, 400 secs
lola: 113562416 markings, 427291937 edges, 244262 markings/sec, 405 secs
lola: 114758503 markings, 431861284 edges, 239217 markings/sec, 410 secs
lola: 115653251 markings, 435258464 edges, 178950 markings/sec, 415 secs
lola: 115960073 markings, 436443729 edges, 61364 markings/sec, 420 secs
lola: 116138862 markings, 437130415 edges, 35758 markings/sec, 425 secs
lola: 116145854 markings, 437157084 edges, 1398 markings/sec, 430 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 532 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(maU) OR G (NOT FIREABLE(mrF))) U FIREABLE(msG)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(maU) OR G (NOT FIREABLE(mrF))) U FIREABLE(msG)))
lola: processed formula length: 62
lola: 122 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 875 markings, 875 edges
lola: ========================================
lola: subprocess 13 will run for 709 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((G (((FIREABLE(srF) OR FIREABLE(msG) OR FIREABLE(maU)) OR (G (FIREABLE(msG)) AND F ((FIREABLE(srF) OR FIREABLE(msG) OR FIREABLE(maU)))))) OR G (F (FIREABLE(msG))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((G (((FIREABLE(srF) OR FIREABLE(msG) OR FIREABLE(maU)) OR (G (FIREABLE(msG)) AND F ((FIREABLE(srF) OR FIREABLE(msG) OR FIREABLE(maU)))))) OR G (F (FIREABLE(msG))))))
lola: processed formula length: 175
lola: 122 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 15 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 1084213 markings, 5945151 edges, 216843 markings/sec, 0 secs
lola: 2269161 markings, 12429652 edges, 236990 markings/sec, 5 secs
lola: 3501408 markings, 18952463 edges, 246449 markings/sec, 10 secs
lola: 4771500 markings, 25524648 edges, 254018 markings/sec, 15 secs
lola: 6071951 markings, 32243388 edges, 260090 markings/sec, 20 secs
lola: 7422111 markings, 39306778 edges, 270032 markings/sec, 25 secs
lola: 9175377 markings, 44653878 edges, 350653 markings/sec, 30 secs
lola: 10755415 markings, 49573344 edges, 316008 markings/sec, 35 secs
lola: 12270728 markings, 54311244 edges, 303063 markings/sec, 40 secs
lola: 13750639 markings, 58917100 edges, 295982 markings/sec, 45 secs
lola: 15222029 markings, 63558032 edges, 294278 markings/sec, 50 secs
lola: 16664203 markings, 68087682 edges, 288435 markings/sec, 55 secs
lola: 18074956 markings, 72532446 edges, 282151 markings/sec, 60 secs
lola: 19486493 markings, 76912042 edges, 282307 markings/sec, 65 secs
lola: 20851444 markings, 81282051 edges, 272990 markings/sec, 70 secs
lola: 22249015 markings, 85666783 edges, 279514 markings/sec, 75 secs
lola: 23618024 markings, 89937594 edges, 273802 markings/sec, 80 secs
lola: 24976912 markings, 94195685 edges, 271778 markings/sec, 85 secs
lola: 26308314 markings, 98417420 edges, 266280 markings/sec, 90 secs
lola: 27626779 markings, 102577791 edges, 263693 markings/sec, 95 secs
lola: 28933105 markings, 106680033 edges, 261265 markings/sec, 100 secs
lola: 30248013 markings, 110882018 edges, 262982 markings/sec, 105 secs
lola: 31626723 markings, 115275243 edges, 275742 markings/sec, 110 secs
lola: 32995088 markings, 119654617 edges, 273673 markings/sec, 115 secs
lola: 34300984 markings, 123871734 edges, 261179 markings/sec, 120 secs
lola: 35699450 markings, 128207134 edges, 279693 markings/sec, 125 secs
lola: 37065882 markings, 132413327 edges, 273286 markings/sec, 130 secs
lola: 38348389 markings, 136604749 edges, 256501 markings/sec, 135 secs
lola: 39613391 markings, 140681654 edges, 253000 markings/sec, 140 secs
lola: 40996793 markings, 144897177 edges, 276680 markings/sec, 145 secs
lola: 42225065 markings, 148915994 edges, 245654 markings/sec, 150 secs
lola: 43494742 markings, 152949167 edges, 253935 markings/sec, 155 secs
lola: 44809256 markings, 157019847 edges, 262903 markings/sec, 160 secs
lola: 46008141 markings, 161032878 edges, 239777 markings/sec, 165 secs
lola: 47421355 markings, 165276315 edges, 282643 markings/sec, 170 secs
lola: 48612243 markings, 169242505 edges, 238178 markings/sec, 175 secs
lola: 49941341 markings, 173328351 edges, 265820 markings/sec, 180 secs
lola: 51139683 markings, 177243939 edges, 239668 markings/sec, 185 secs
lola: 52435141 markings, 181263792 edges, 259092 markings/sec, 190 secs
lola: 53622754 markings, 185139780 edges, 237523 markings/sec, 195 secs
lola: 54927145 markings, 189165228 edges, 260878 markings/sec, 200 secs
lola: 56088623 markings, 193009144 edges, 232296 markings/sec, 205 secs
lola: 57415970 markings, 197028778 edges, 265469 markings/sec, 210 secs
lola: 58472007 markings, 200676974 edges, 211207 markings/sec, 215 secs
lola: 59821133 markings, 204665743 edges, 269825 markings/sec, 220 secs
lola: 60934436 markings, 208433888 edges, 222661 markings/sec, 225 secs
lola: 62211679 markings, 212360207 edges, 255449 markings/sec, 230 secs
lola: 63424322 markings, 216238180 edges, 242529 markings/sec, 235 secs
lola: 64591691 markings, 220053027 edges, 233474 markings/sec, 240 secs
lola: 65937324 markings, 224097462 edges, 269127 markings/sec, 245 secs
lola: 67030078 markings, 227887939 edges, 218551 markings/sec, 250 secs
lola: 68392290 markings, 231992282 edges, 272442 markings/sec, 255 secs
lola: 69623809 markings, 235991589 edges, 246304 markings/sec, 260 secs
lola: 70830745 markings, 239912615 edges, 241387 markings/sec, 265 secs
lola: 72152253 markings, 243841108 edges, 264302 markings/sec, 270 secs
lola: 73233764 markings, 247590355 edges, 216302 markings/sec, 275 secs
lola: 74505604 markings, 251534546 edges, 254368 markings/sec, 280 secs
lola: 75776879 markings, 255452899 edges, 254255 markings/sec, 285 secs
lola: 76811430 markings, 259045575 edges, 206910 markings/sec, 290 secs
lola: 78120010 markings, 263008413 edges, 261716 markings/sec, 295 secs
lola: 79367820 markings, 266917563 edges, 249562 markings/sec, 300 secs
lola: 80394732 markings, 270485581 edges, 205382 markings/sec, 305 secs
lola: 81706524 markings, 274430647 edges, 262358 markings/sec, 310 secs
lola: 82943899 markings, 278297583 edges, 247475 markings/sec, 315 secs
lola: 83956314 markings, 281813679 edges, 202483 markings/sec, 320 secs
lola: 85232914 markings, 285704173 edges, 255320 markings/sec, 325 secs
lola: 86486227 markings, 289524646 edges, 250663 markings/sec, 330 secs
lola: 87498981 markings, 293040772 edges, 202551 markings/sec, 335 secs
lola: 88698179 markings, 296828431 edges, 239840 markings/sec, 340 secs
lola: 89930123 markings, 300493443 edges, 246389 markings/sec, 345 secs
lola: 91040139 markings, 304226467 edges, 222003 markings/sec, 350 secs
lola: 92077008 markings, 307734800 edges, 207374 markings/sec, 355 secs
lola: 93401909 markings, 311667211 edges, 264980 markings/sec, 360 secs
lola: 94633318 markings, 315554058 edges, 246282 markings/sec, 365 secs
lola: 95649520 markings, 319084126 edges, 203240 markings/sec, 370 secs
lola: 96916971 markings, 323005381 edges, 253490 markings/sec, 375 secs
lola: 98171125 markings, 326725093 edges, 250831 markings/sec, 380 secs
lola: 99276527 markings, 330490678 edges, 221080 markings/sec, 385 secs
lola: 100279746 markings, 333953068 edges, 200644 markings/sec, 390 secs
lola: 101600743 markings, 337854008 edges, 264199 markings/sec, 395 secs
lola: 102835049 markings, 341624079 edges, 246861 markings/sec, 400 secs
lola: 103829278 markings, 345075599 edges, 198846 markings/sec, 405 secs
lola: 104903404 markings, 348634949 edges, 214825 markings/sec, 410 secs
lola: 106153319 markings, 352349489 edges, 249983 markings/sec, 415 secs
lola: 107367218 markings, 356096986 edges, 242780 markings/sec, 420 secs
lola: 108347031 markings, 359499400 edges, 195963 markings/sec, 425 secs
lola: 109410544 markings, 363030383 edges, 212703 markings/sec, 430 secs
lola: 110661836 markings, 366746697 edges, 250258 markings/sec, 435 secs
lola: 111883149 markings, 370472347 edges, 244263 markings/sec, 440 secs
lola: 112867452 markings, 373887344 edges, 196861 markings/sec, 445 secs
lola: 113825129 markings, 377208804 edges, 191535 markings/sec, 450 secs
lola: 115112170 markings, 381010394 edges, 257408 markings/sec, 455 secs
lola: 116288044 markings, 384499109 edges, 235175 markings/sec, 460 secs
lola: 117329153 markings, 388034731 edges, 208222 markings/sec, 465 secs
lola: 118244523 markings, 391214663 edges, 183074 markings/sec, 470 secs
lola: 119397942 markings, 394823320 edges, 230684 markings/sec, 475 secs
lola: 120540936 markings, 398223220 edges, 228599 markings/sec, 480 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 819 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (G ((NOT FIREABLE(csR) AND NOT FIREABLE(mrF))))) AND A ((FIREABLE(srR) OR (F (FIREABLE(srR)) AND F (G (NOT FIREABLE(srR)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 819 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((NOT FIREABLE(csR) AND NOT FIREABLE(mrF)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((NOT FIREABLE(csR) AND NOT FIREABLE(mrF)))))
lola: processed formula length: 53
lola: 122 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: add low 0
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: 2722 markings, 2724 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 15 will run for 1638 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (NOT FIREABLE(msG))) AND (A ((F (FIREABLE(ssA)) OR G (F (NOT FIREABLE(msG))))) AND A ((F (G (FIREABLE(ssA))) OR G ((F (NOT FIREABLE(msG)) AND (F (FIREABLE(ssA)) OR G (F (NOT FIREABLE(msG))))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1638 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (NOT FIREABLE(msG)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: FIREABLE(msG)
lola: processed formula length: 13
lola: 124 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (G (FIREABLE(ssA))) OR G ((F (NOT FIREABLE(msG)) AND (F (FIREABLE(ssA)) OR G (F (NOT FIREABLE(msG))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (G (FIREABLE(ssA))) OR G ((F (NOT FIREABLE(msG)) AND (F (FIREABLE(ssA)) OR G (F (NOT FIREABLE(msG))))))))
lola: processed formula length: 111
lola: 122 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: 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: local time limit reached - aborting
lola:
preliminary result: unknown yes no no no no no no yes unknown no unknown yes no no unknown
lola: memory consumption: 46680 KB
lola: time consumption: 1933 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: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(msA))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(msA))))
lola: processed formula length: 25
lola: 122 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: 1899449 markings, 5358514 edges, 379890 markings/sec, 0 secs
lola: 3834404 markings, 10933155 edges, 386991 markings/sec, 5 secs
lola: 5355189 markings, 15985357 edges, 304157 markings/sec, 10 secs
lola: 6904695 markings, 21144589 edges, 309901 markings/sec, 15 secs
lola: 8248170 markings, 25596058 edges, 268695 markings/sec, 20 secs
lola: 9684573 markings, 30348765 edges, 287281 markings/sec, 25 secs
lola: 11156003 markings, 35256271 edges, 294286 markings/sec, 30 secs
lola: 12548413 markings, 40091658 edges, 278482 markings/sec, 35 secs
lola: 13670252 markings, 44373981 edges, 224368 markings/sec, 40 secs
lola: 14939568 markings, 48925529 edges, 253863 markings/sec, 45 secs
lola: 16321215 markings, 53425842 edges, 276329 markings/sec, 50 secs
lola: 17790150 markings, 58234132 edges, 293787 markings/sec, 55 secs
lola: 19282084 markings, 63129736 edges, 298387 markings/sec, 60 secs
lola: 20803140 markings, 68203594 edges, 304211 markings/sec, 65 secs
lola: 22073776 markings, 72962698 edges, 254127 markings/sec, 70 secs
lola: 23332645 markings, 77703618 edges, 251774 markings/sec, 75 secs
lola: 24614995 markings, 82548455 edges, 256470 markings/sec, 80 secs
lola: 25921133 markings, 87489260 edges, 261228 markings/sec, 85 secs
lola: 27253230 markings, 92291330 edges, 266419 markings/sec, 90 secs
lola: 28477172 markings, 96708873 edges, 244788 markings/sec, 95 secs
lola: 29692250 markings, 101110616 edges, 243016 markings/sec, 100 secs
lola: 30906615 markings, 105524907 edges, 242873 markings/sec, 105 secs
lola: 32135678 markings, 110000123 edges, 245813 markings/sec, 110 secs
lola: 33365223 markings, 114487731 edges, 245909 markings/sec, 115 secs
lola: 34626414 markings, 119075892 edges, 252238 markings/sec, 120 secs
lola: 36131255 markings, 124061601 edges, 300968 markings/sec, 125 secs
lola: 37656370 markings, 129165157 edges, 305023 markings/sec, 130 secs
lola: 38817213 markings, 133568130 edges, 232169 markings/sec, 135 secs
lola: 39993151 markings, 138069629 edges, 235188 markings/sec, 140 secs
lola: 41246886 markings, 142735101 edges, 250747 markings/sec, 145 secs
lola: 42469212 markings, 147336720 edges, 244465 markings/sec, 150 secs
lola: 43705627 markings, 152004410 edges, 247283 markings/sec, 155 secs
lola: 44955674 markings, 156733472 edges, 250009 markings/sec, 160 secs
lola: 46233384 markings, 161553015 edges, 255542 markings/sec, 165 secs
lola: 47300187 markings, 165902187 edges, 213361 markings/sec, 170 secs
lola: 48336646 markings, 170169807 edges, 207292 markings/sec, 175 secs
lola: 49373346 markings, 174441622 edges, 207340 markings/sec, 180 secs
lola: 50409025 markings, 178721371 edges, 207136 markings/sec, 185 secs
lola: 51450160 markings, 183033662 edges, 208227 markings/sec, 190 secs
lola: 52493382 markings, 187356530 edges, 208644 markings/sec, 195 secs
lola: 53559635 markings, 191775982 edges, 213251 markings/sec, 200 secs
lola: 54783583 markings, 196356456 edges, 244790 markings/sec, 205 secs
lola: 56097165 markings, 200956714 edges, 262716 markings/sec, 210 secs
lola: 57378659 markings, 205476695 edges, 256299 markings/sec, 215 secs
lola: 58661198 markings, 209999567 edges, 256508 markings/sec, 220 secs
lola: 59939837 markings, 214527200 edges, 255728 markings/sec, 225 secs
lola: 61217981 markings, 219054735 edges, 255629 markings/sec, 230 secs
lola: 62505010 markings, 223615373 edges, 257406 markings/sec, 235 secs
lola: 63798374 markings, 228210355 edges, 258673 markings/sec, 240 secs
lola: 65089902 markings, 232800047 edges, 258306 markings/sec, 245 secs
lola: 66387655 markings, 237412179 edges, 259551 markings/sec, 250 secs
lola: 67709338 markings, 242108965 edges, 264337 markings/sec, 255 secs
lola: 69060169 markings, 246895194 edges, 270166 markings/sec, 260 secs
lola: 70357442 markings, 251658270 edges, 259455 markings/sec, 265 secs
lola: 71501145 markings, 256231389 edges, 228741 markings/sec, 270 secs
lola: 72617690 markings, 260718177 edges, 223309 markings/sec, 275 secs
lola: 73731024 markings, 265201147 edges, 222667 markings/sec, 280 secs
lola: 74830423 markings, 269639653 edges, 219880 markings/sec, 285 secs
lola: 75942215 markings, 274126574 edges, 222358 markings/sec, 290 secs
lola: 77050457 markings, 278600567 edges, 221648 markings/sec, 295 secs
lola: 78167287 markings, 283120000 edges, 223366 markings/sec, 300 secs
lola: 79285894 markings, 287648904 edges, 223721 markings/sec, 305 secs
lola: 80406457 markings, 292184799 edges, 224113 markings/sec, 310 secs
lola: 81528277 markings, 296727168 edges, 224364 markings/sec, 315 secs
lola: 82656372 markings, 301310727 edges, 225619 markings/sec, 320 secs
lola: 83811458 markings, 305990386 edges, 231017 markings/sec, 325 secs
lola: 84994740 markings, 310701731 edges, 236656 markings/sec, 330 secs
lola: 86166989 markings, 315093420 edges, 234450 markings/sec, 335 secs
lola: 87257075 markings, 319272615 edges, 218017 markings/sec, 340 secs
lola: 88323871 markings, 323383162 edges, 213359 markings/sec, 345 secs
lola: 89377186 markings, 327442894 edges, 210663 markings/sec, 350 secs
lola: 90418396 markings, 331482837 edges, 208242 markings/sec, 355 secs
lola: 91452837 markings, 335500082 edges, 206888 markings/sec, 360 secs
lola: 92481460 markings, 339491471 edges, 205725 markings/sec, 365 secs
lola: 93514184 markings, 343501269 edges, 206545 markings/sec, 370 secs
lola: 94555661 markings, 347543723 edges, 208295 markings/sec, 375 secs
lola: 95579184 markings, 351518963 edges, 204705 markings/sec, 380 secs
lola: 96601130 markings, 355502469 edges, 204389 markings/sec, 385 secs
lola: 97618095 markings, 359472898 edges, 203393 markings/sec, 390 secs
lola: 98666436 markings, 363540709 edges, 209668 markings/sec, 395 secs
lola: 99704264 markings, 367590029 edges, 207566 markings/sec, 400 secs
lola: 100738433 markings, 371627173 edges, 206834 markings/sec, 405 secs
lola: 101773334 markings, 375667416 edges, 206980 markings/sec, 410 secs
lola: 102808618 markings, 379708490 edges, 207057 markings/sec, 415 secs
lola: 103853421 markings, 383786613 edges, 208961 markings/sec, 420 secs
lola: 104901300 markings, 387878028 edges, 209576 markings/sec, 425 secs
lola: 105959351 markings, 392011322 edges, 211610 markings/sec, 430 secs
lola: 107013000 markings, 396138495 edges, 210730 markings/sec, 435 secs
lola: 108087151 markings, 400356861 edges, 214830 markings/sec, 440 secs
lola: 109540801 markings, 405179013 edges, 290730 markings/sec, 445 secs
lola: 111009750 markings, 410093772 edges, 293790 markings/sec, 450 secs
lola: 112183599 markings, 414456482 edges, 234770 markings/sec, 455 secs
lola: 113307888 markings, 418758884 edges, 224858 markings/sec, 460 secs
lola: 114518681 markings, 423277990 edges, 242159 markings/sec, 465 secs
lola: 115698808 markings, 427716170 edges, 236025 markings/sec, 470 secs
lola: 116193544 markings, 429581326 edges, 98947 markings/sec, 475 secs
lola: 116197136 markings, 429594810 edges, 718 markings/sec, 480 secs
lola: 116197166 markings, 429594933 edges, 6 markings/sec, 485 secs
lola: 116197194 markings, 429595021 edges, 6 markings/sec, 490 secs
lola: 116202124 markings, 429613532 edges, 986 markings/sec, 495 secs
lola: 116202180 markings, 429613753 edges, 11 markings/sec, 500 secs
lola: 116202222 markings, 429613918 edges, 8 markings/sec, 505 secs
lola: 116202272 markings, 429614121 edges, 10 markings/sec, 510 secs
lola: 116208673 markings, 429638156 edges, 1280 markings/sec, 515 secs
lola: 116215828 markings, 429665480 edges, 1431 markings/sec, 520 secs
lola: 116220171 markings, 429681659 edges, 869 markings/sec, 525 secs
lola: 116220703 markings, 429683751 edges, 106 markings/sec, 530 secs
lola: 116221866 markings, 429688325 edges, 233 markings/sec, 535 secs
lola: 116235146 markings, 429738561 edges, 2656 markings/sec, 540 secs
lola: 116242465 markings, 429766250 edges, 1464 markings/sec, 545 secs
lola: 116256314 markings, 429818961 edges, 2770 markings/sec, 550 secs
lola: 116276113 markings, 429894223 edges, 3960 markings/sec, 555 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(ssG))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(ssG))))
lola: processed formula length: 25
lola: 122 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: 1752161 markings, 5376686 edges, 350432 markings/sec, 0 secs
lola: 3421554 markings, 11190398 edges, 333879 markings/sec, 5 secs
lola: 5055047 markings, 16952768 edges, 326699 markings/sec, 10 secs
lola: 6621283 markings, 22673316 edges, 313247 markings/sec, 15 secs
lola: 8159570 markings, 28270438 edges, 307657 markings/sec, 20 secs
lola: 9755943 markings, 34039011 edges, 319275 markings/sec, 25 secs
lola: 11226314 markings, 39497999 edges, 294074 markings/sec, 30 secs
lola: 12688051 markings, 44913995 edges, 292347 markings/sec, 35 secs
lola: 14298022 markings, 50691654 edges, 321994 markings/sec, 40 secs
lola: 15748748 markings, 56161417 edges, 290145 markings/sec, 45 secs
lola: 17140100 markings, 61340872 edges, 278270 markings/sec, 50 secs
lola: 18484769 markings, 66497304 edges, 268934 markings/sec, 55 secs
lola: 20134661 markings, 72293746 edges, 329978 markings/sec, 60 secs
lola: 21600327 markings, 77868913 edges, 293133 markings/sec, 65 secs
lola: 23063138 markings, 83361667 edges, 292562 markings/sec, 70 secs
lola: 24381014 markings, 88302238 edges, 263575 markings/sec, 75 secs
lola: 25535261 markings, 93106785 edges, 230849 markings/sec, 80 secs
lola: 27180784 markings, 98699426 edges, 329105 markings/sec, 85 secs
lola: 28734827 markings, 104483234 edges, 310809 markings/sec, 90 secs
lola: 30163580 markings, 109931851 edges, 285751 markings/sec, 95 secs
lola: 31577939 markings, 115276225 edges, 282872 markings/sec, 100 secs
lola: 32916364 markings, 120313003 edges, 267685 markings/sec, 105 secs
lola: 34160227 markings, 124990178 edges, 248773 markings/sec, 110 secs
lola: 35326341 markings, 129876859 edges, 233223 markings/sec, 115 secs
lola: 36942251 markings, 135399345 edges, 323182 markings/sec, 120 secs
lola: 38489072 markings, 141173938 edges, 309364 markings/sec, 125 secs
lola: 39915345 markings, 146635444 edges, 285255 markings/sec, 130 secs
lola: 41322815 markings, 151997092 edges, 281494 markings/sec, 135 secs
lola: 42749405 markings, 157371263 edges, 285318 markings/sec, 140 secs
lola: 44007248 markings, 162136121 edges, 251569 markings/sec, 145 secs
lola: 45223746 markings, 166737468 edges, 243300 markings/sec, 150 secs
lola: 46257494 markings, 171389435 edges, 206750 markings/sec, 155 secs
lola: 47765422 markings, 176667238 edges, 301586 markings/sec, 160 secs
lola: 49411502 markings, 182406783 edges, 329216 markings/sec, 165 secs
lola: 50862137 markings, 187981206 edges, 290127 markings/sec, 170 secs
lola: 52267028 markings, 193378390 edges, 280978 markings/sec, 175 secs
lola: 53656478 markings, 198690874 edges, 277890 markings/sec, 180 secs
lola: 55030466 markings, 203908779 edges, 274798 markings/sec, 185 secs
lola: 56404248 markings, 209094478 edges, 274756 markings/sec, 190 secs
lola: 57631586 markings, 213743124 edges, 245468 markings/sec, 195 secs
lola: 58787101 markings, 218139424 edges, 231103 markings/sec, 200 secs
lola: 59875275 markings, 222723765 edges, 217635 markings/sec, 205 secs
lola: 61133150 markings, 227708687 edges, 251575 markings/sec, 210 secs
lola: 62721597 markings, 233161051 edges, 317689 markings/sec, 215 secs
lola: 64319417 markings, 239061057 edges, 319564 markings/sec, 220 secs
lola: 65771414 markings, 244643391 edges, 290399 markings/sec, 225 secs
lola: 67188957 markings, 250091876 edges, 283509 markings/sec, 230 secs
lola: 68588765 markings, 255460561 edges, 279962 markings/sec, 235 secs
lola: 69973890 markings, 260744836 edges, 277025 markings/sec, 240 secs
lola: 71394265 markings, 266113777 edges, 284075 markings/sec, 245 secs
lola: 72654389 markings, 270893503 edges, 252025 markings/sec, 250 secs
lola: 73849238 markings, 275452569 edges, 238970 markings/sec, 255 secs
lola: 75015419 markings, 279853033 edges, 233236 markings/sec, 260 secs
lola: 76094155 markings, 284538400 edges, 215747 markings/sec, 265 secs
lola: 77279629 markings, 289426235 edges, 237095 markings/sec, 270 secs
lola: 78822578 markings, 294725602 edges, 308590 markings/sec, 275 secs
lola: 80476761 markings, 300634977 edges, 330837 markings/sec, 280 secs
lola: 81920262 markings, 306205267 edges, 288700 markings/sec, 285 secs
lola: 83329395 markings, 311627500 edges, 281827 markings/sec, 290 secs
lola: 84720358 markings, 316983416 edges, 278193 markings/sec, 295 secs
lola: 86090679 markings, 322240408 edges, 274064 markings/sec, 300 secs
lola: 87447816 markings, 327435141 edges, 271427 markings/sec, 305 secs
lola: 88847257 markings, 332682509 edges, 279888 markings/sec, 310 secs
lola: 90143403 markings, 337657525 edges, 259229 markings/sec, 315 secs
lola: 91324299 markings, 342164792 edges, 236179 markings/sec, 320 secs
lola: 92484268 markings, 346567105 edges, 231994 markings/sec, 325 secs
lola: 93638839 markings, 350944300 edges, 230914 markings/sec, 330 secs
lola: 94770645 markings, 355338785 edges, 226361 markings/sec, 335 secs
lola: 95677454 markings, 360124970 edges, 181362 markings/sec, 340 secs
lola: 97242438 markings, 365476558 edges, 312997 markings/sec, 345 secs
lola: 98861808 markings, 371061529 edges, 323874 markings/sec, 350 secs
lola: 100385523 markings, 376786700 edges, 304743 markings/sec, 355 secs
lola: 101796634 markings, 382236913 edges, 282222 markings/sec, 360 secs
lola: 103186099 markings, 387602824 edges, 277893 markings/sec, 365 secs
lola: 104563226 markings, 392908450 edges, 275425 markings/sec, 370 secs
lola: 105919067 markings, 398136844 edges, 271168 markings/sec, 375 secs
lola: 107278977 markings, 403344880 edges, 271982 markings/sec, 380 secs
lola: 108625312 markings, 408478404 edges, 269267 markings/sec, 385 secs
lola: 110028357 markings, 413784432 edges, 280609 markings/sec, 390 secs
lola: 111279067 markings, 418570118 edges, 250142 markings/sec, 395 secs
lola: 112492474 markings, 423207108 edges, 242681 markings/sec, 400 secs
lola: 113707255 markings, 427846282 edges, 242956 markings/sec, 405 secs
lola: 114901895 markings, 432409313 edges, 238928 markings/sec, 410 secs
lola: 115694342 markings, 435418194 edges, 158489 markings/sec, 415 secs
lola: 115994290 markings, 436575144 edges, 59990 markings/sec, 420 secs
lola: 116153572 markings, 437183196 edges, 31856 markings/sec, 425 secs
lola: 116160545 markings, 437209737 edges, 1395 markings/sec, 430 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (F ((G (((FIREABLE(srF) OR FIREABLE(msG) OR FIREABLE(maU)) OR (G (FIREABLE(msG)) AND F ((FIREABLE(srF) OR FIREABLE(msG) OR FIREABLE(maU)))))) OR G (F (FIREABLE(msG))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((G (((FIREABLE(srF) OR FIREABLE(msG) OR FIREABLE(maU)) OR (G (FIREABLE(msG)) AND F ((FIREABLE(srF) OR FIREABLE(msG) OR FIREABLE(maU)))))) OR G (F (FIREABLE(msG))))))
lola: processed formula length: 175
lola: 122 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 15 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 1118219 markings, 6133840 edges, 223644 markings/sec, 0 secs
lola: 2303410 markings, 12620765 edges, 237038 markings/sec, 5 secs
lola: 3535165 markings, 19125202 edges, 246351 markings/sec, 10 secs
lola: 4804726 markings, 25694246 edges, 253912 markings/sec, 15 secs
lola: 6103971 markings, 32399963 edges, 259849 markings/sec, 20 secs
lola: 7385227 markings, 39093963 edges, 256251 markings/sec, 25 secs
lola: 9098791 markings, 44432867 edges, 342713 markings/sec, 30 secs
lola: 10647949 markings, 49245614 edges, 309832 markings/sec, 35 secs
lola: 12149437 markings, 53893584 edges, 300298 markings/sec, 40 secs
lola: 13576125 markings, 58361215 edges, 285338 markings/sec, 45 secs
lola: 15005620 markings, 62859993 edges, 285899 markings/sec, 50 secs
lola: 16405245 markings, 67254357 edges, 279925 markings/sec, 55 secs
lola: 17788644 markings, 71548094 edges, 276680 markings/sec, 60 secs
lola: 19073706 markings, 75694232 edges, 257012 markings/sec, 65 secs
lola: 20442054 markings, 79920486 edges, 273670 markings/sec, 70 secs
lola: 21766571 markings, 84131966 edges, 264903 markings/sec, 75 secs
lola: 23028341 markings, 88165783 edges, 252354 markings/sec, 80 secs
lola: 24288092 markings, 92166012 edges, 251950 markings/sec, 85 secs
lola: 25570152 markings, 96198787 edges, 256412 markings/sec, 90 secs
lola: 26809133 markings, 100139428 edges, 247796 markings/sec, 95 secs
lola: 28062654 markings, 104085432 edges, 250704 markings/sec, 100 secs
lola: 29333220 markings, 108061108 edges, 254113 markings/sec, 105 secs
lola: 30649265 markings, 112173782 edges, 263209 markings/sec, 110 secs
lola: 31980640 markings, 116322935 edges, 266275 markings/sec, 115 secs
lola: 33264973 markings, 120455329 edges, 256867 markings/sec, 120 secs
lola: 34511725 markings, 124492855 edges, 249350 markings/sec, 125 secs
lola: 35794508 markings, 128535153 edges, 256557 markings/sec, 130 secs
lola: 37114296 markings, 132579554 edges, 263958 markings/sec, 135 secs
lola: 38319107 markings, 136517433 edges, 240962 markings/sec, 140 secs
lola: 39531467 markings, 140397634 edges, 242472 markings/sec, 145 secs
lola: 40813412 markings, 144307248 edges, 256389 markings/sec, 150 secs
lola: 41946077 markings, 148090597 edges, 226533 markings/sec, 155 secs
lola: 43239425 markings, 152063902 edges, 258670 markings/sec, 160 secs
lola: 44412392 markings, 155841565 edges, 234593 markings/sec, 165 secs
lola: 45626598 markings, 159709337 edges, 242841 markings/sec, 170 secs
lola: 46867365 markings, 163584458 edges, 248153 markings/sec, 175 secs
lola: 48025676 markings, 167370962 edges, 231662 markings/sec, 180 secs
lola: 49281916 markings, 171229321 edges, 251248 markings/sec, 185 secs
lola: 50405521 markings, 174936628 edges, 224721 markings/sec, 190 secs
lola: 51646766 markings, 178748947 edges, 248249 markings/sec, 195 secs
lola: 52773054 markings, 182435969 edges, 225258 markings/sec, 200 secs
lola: 53979255 markings, 186197591 edges, 241240 markings/sec, 205 secs
lola: 55151808 markings, 189943133 edges, 234511 markings/sec, 210 secs
lola: 56296114 markings, 193623803 edges, 228861 markings/sec, 215 secs
lola: 57525042 markings, 197405490 edges, 245786 markings/sec, 220 secs
lola: 58506578 markings, 200771032 edges, 196307 markings/sec, 225 secs
lola: 59790462 markings, 204574824 edges, 256777 markings/sec, 230 secs
lola: 60846274 markings, 208127403 edges, 211162 markings/sec, 235 secs
lola: 62027638 markings, 211814148 edges, 236273 markings/sec, 240 secs
lola: 63212673 markings, 215505512 edges, 237007 markings/sec, 245 secs
lola: 64165322 markings, 218805276 edges, 190530 markings/sec, 250 secs
lola: 65479947 markings, 222692554 edges, 262925 markings/sec, 255 secs
lola: 66613406 markings, 226440846 edges, 226692 markings/sec, 260 secs
lola: 67795811 markings, 230218155 edges, 236481 markings/sec, 265 secs
lola: 69065344 markings, 234054980 edges, 253907 markings/sec, 270 secs
lola: 70075657 markings, 237559041 edges, 202063 markings/sec, 275 secs
lola: 71325579 markings, 241383129 edges, 249984 markings/sec, 280 secs
lola: 72526292 markings, 245134331 edges, 240143 markings/sec, 285 secs
lola: 73491070 markings, 248486046 edges, 192956 markings/sec, 290 secs
lola: 74761792 markings, 252296020 edges, 254144 markings/sec, 295 secs
lola: 75933738 markings, 255996779 edges, 234389 markings/sec, 300 secs
lola: 76883355 markings, 259297164 edges, 189923 markings/sec, 305 secs
lola: 78143843 markings, 263079534 edges, 252098 markings/sec, 310 secs
lola: 79327389 markings, 266778395 edges, 236709 markings/sec, 315 secs
lola: 80280632 markings, 270088895 edges, 190649 markings/sec, 320 secs
lola: 81504658 markings, 273828505 edges, 244805 markings/sec, 325 secs
lola: 82707150 markings, 277477680 edges, 240498 markings/sec, 330 secs
lola: 83668897 markings, 280815403 edges, 192349 markings/sec, 335 secs
lola: 84794370 markings, 284400336 edges, 225095 markings/sec, 340 secs
lola: 85967639 markings, 287890065 edges, 234654 markings/sec, 345 secs
lola: 87040139 markings, 291446667 edges, 214500 markings/sec, 350 secs
lola: 87960287 markings, 294643883 edges, 184030 markings/sec, 355 secs
lola: 89214166 markings, 298362447 edges, 250776 markings/sec, 360 secs
lola: 90386705 markings, 301958398 edges, 234508 markings/sec, 365 secs
lola: 91319953 markings, 305198244 edges, 186650 markings/sec, 370 secs
lola: 92405944 markings, 308707779 edges, 217198 markings/sec, 375 secs
lola: 93598631 markings, 312254950 edges, 238537 markings/sec, 380 secs
lola: 94736970 markings, 315914597 edges, 227668 markings/sec, 385 secs
lola: 95670394 markings, 319158878 edges, 186685 markings/sec, 390 secs
lola: 96876004 markings, 322883391 edges, 241122 markings/sec, 395 secs
lola: 98049797 markings, 326377007 edges, 234759 markings/sec, 400 secs
lola: 99126242 markings, 329968974 edges, 215289 markings/sec, 405 secs
lola: 100057242 markings, 333204721 edges, 186200 markings/sec, 410 secs
lola: 101286644 markings, 336920080 edges, 245880 markings/sec, 415 secs
lola: 102433749 markings, 340336196 edges, 229421 markings/sec, 420 secs
lola: 103483472 markings, 343872934 edges, 209945 markings/sec, 425 secs
lola: 104391309 markings, 347031194 edges, 181567 markings/sec, 430 secs
lola: 105603936 markings, 350714292 edges, 242525 markings/sec, 435 secs
lola: 106734870 markings, 354081680 edges, 226187 markings/sec, 440 secs
lola: 107798765 markings, 357593357 edges, 212779 markings/sec, 445 secs
lola: 108694460 markings, 360707006 edges, 179139 markings/sec, 450 secs
lola: 109826567 markings, 364263007 edges, 226421 markings/sec, 455 secs
lola: 110971799 markings, 367670079 edges, 229046 markings/sec, 460 secs
lola: 112104563 markings, 371239910 edges, 226553 markings/sec, 465 secs
lola: 113016209 markings, 374407092 edges, 182329 markings/sec, 470 secs
lola: 113996631 markings, 377700073 edges, 196084 markings/sec, 475 secs
lola: 115219963 markings, 381330626 edges, 244666 markings/sec, 480 secs
lola: 116388935 markings, 384777569 edges, 233794 markings/sec, 485 secs
lola: 117395011 markings, 388261115 edges, 201215 markings/sec, 490 secs
lola: 118310153 markings, 391442630 edges, 183028 markings/sec, 495 secs
lola: 119489099 markings, 395092701 edges, 235789 markings/sec, 500 secs
lola: 120641611 markings, 398523625 edges, 230502 markings/sec, 505 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: (A (F (NOT FIREABLE(msG))) AND (A ((F (FIREABLE(ssA)) OR G (F (NOT FIREABLE(msG))))) AND A ((F (G (FIREABLE(ssA))) OR G ((F (NOT FIREABLE(msG)) AND (F (FIREABLE(ssA)) OR G (F (NOT FIREABLE(msG))))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: A (F (NOT FIREABLE(msG)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: FIREABLE(msG)
lola: processed formula length: 13
lola: 124 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A ((F (FIREABLE(ssA)) OR G (F (NOT FIREABLE(msG)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (FIREABLE(ssA)) OR G (F (NOT FIREABLE(msG)))))
lola: processed formula length: 52
lola: 122 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: 1538770 markings, 4897033 edges, 307754 markings/sec, 0 secs
lola: 2957394 markings, 9542574 edges, 283725 markings/sec, 5 secs
lola: 4448693 markings, 14482917 edges, 298260 markings/sec, 10 secs
lola: 5932159 markings, 19399947 edges, 296693 markings/sec, 15 secs
lola: 7437313 markings, 24382167 edges, 301031 markings/sec, 20 secs
lola: 8908282 markings, 29287009 edges, 294194 markings/sec, 25 secs
lola: 10392099 markings, 34186329 edges, 296763 markings/sec, 30 secs
lola: 11865808 markings, 39103713 edges, 294742 markings/sec, 35 secs
lola: 13353199 markings, 44017740 edges, 297478 markings/sec, 40 secs
lola: 14817516 markings, 48928089 edges, 292863 markings/sec, 45 secs
lola: 16293290 markings, 53852134 edges, 295155 markings/sec, 50 secs
lola: 17773675 markings, 58768848 edges, 296077 markings/sec, 55 secs
lola: 19237542 markings, 63625524 edges, 292773 markings/sec, 60 secs
lola: 20684410 markings, 68513336 edges, 289374 markings/sec, 65 secs
lola: 22150138 markings, 73399682 edges, 293146 markings/sec, 70 secs
lola: 23636762 markings, 78325464 edges, 297325 markings/sec, 75 secs
lola: 25121830 markings, 83351888 edges, 297014 markings/sec, 80 secs
lola: 26649051 markings, 88383450 edges, 305444 markings/sec, 85 secs
lola: 28139259 markings, 93400727 edges, 298042 markings/sec, 90 secs
lola: 29636411 markings, 98423283 edges, 299430 markings/sec, 95 secs
lola: 31180710 markings, 103493255 edges, 308860 markings/sec, 100 secs
lola: 32682733 markings, 108587585 edges, 300405 markings/sec, 105 secs
lola: 34170046 markings, 113636479 edges, 297463 markings/sec, 110 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown yes no no no no no no yes unknown no unknown yes no no unknown
lola:
preliminary result: unknown yes no no no no no no yes unknown no unknown yes no no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes no no no no no no yes unknown no unknown yes no no unknown
lola: memory consumption: 4618576 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: memory consumption: 4619104 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes no no no no no no yes unknown no unknown yes no no unknown
rslt: finished
BK_STOP 1589279034691
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ClientsAndServers-PT-N0020P2"
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 ClientsAndServers-PT-N0020P2, 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-158902068200048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ClientsAndServers-PT-N0020P2.tgz
mv ClientsAndServers-PT-N0020P2 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 ;