About the Execution of 2020-gold for ShieldIIPs-PT-050B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4357.096 | 3600000.00 | 3596862.00 | 10507.20 | ?F???FFFFFTF?FF? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r227-tall-162098230900158.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-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 gold2020
Input is ShieldIIPs-PT-050B, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r227-tall-162098230900158
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 15K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 134K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 88K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.9K Mar 28 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 28 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Mar 28 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Mar 27 11:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 27 11:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 25 17:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 17:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 5 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 846K May 5 16:52 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 ShieldIIPs-PT-050B-00
FORMULA_NAME ShieldIIPs-PT-050B-01
FORMULA_NAME ShieldIIPs-PT-050B-02
FORMULA_NAME ShieldIIPs-PT-050B-03
FORMULA_NAME ShieldIIPs-PT-050B-04
FORMULA_NAME ShieldIIPs-PT-050B-05
FORMULA_NAME ShieldIIPs-PT-050B-06
FORMULA_NAME ShieldIIPs-PT-050B-07
FORMULA_NAME ShieldIIPs-PT-050B-08
FORMULA_NAME ShieldIIPs-PT-050B-09
FORMULA_NAME ShieldIIPs-PT-050B-10
FORMULA_NAME ShieldIIPs-PT-050B-11
FORMULA_NAME ShieldIIPs-PT-050B-12
FORMULA_NAME ShieldIIPs-PT-050B-13
FORMULA_NAME ShieldIIPs-PT-050B-14
FORMULA_NAME ShieldIIPs-PT-050B-15
=== Now, execution of the tool begins
BK_START 1621138314186
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-16 04:11:55] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-16 04:11:55] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-16 04:11:55] [INFO ] Load time of PNML (sax parser for PT used): 173 ms
[2021-05-16 04:11:55] [INFO ] Transformed 3003 places.
[2021-05-16 04:11:56] [INFO ] Transformed 2953 transitions.
[2021-05-16 04:11:56] [INFO ] Found NUPN structural information;
[2021-05-16 04:11:56] [INFO ] Parsed PT model containing 3003 places and 2953 transitions in 337 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 92 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 16 resets, run finished after 1275 ms. (steps per millisecond=78 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 2953 rows 3003 cols
[2021-05-16 04:11:57] [INFO ] Computed 451 place invariants in 69 ms
[2021-05-16 04:11:58] [INFO ] [Real]Absence check using 451 positive place invariants in 46 ms returned unsat
Successfully simplified 1 atomic propositions for a total of 1 simplifications.
[2021-05-16 04:11:58] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2021-05-16 04:11:58] [INFO ] Flatten gal took : 234 ms
FORMULA ShieldIIPs-PT-050B-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-16 04:11:58] [INFO ] Applying decomposition
[2021-05-16 04:11:58] [INFO ] Flatten gal took : 144 ms
[2021-05-16 04:11:58] [INFO ] Decomposing Gal with order
[2021-05-16 04:11:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 04:11:59] [INFO ] Removed a total of 800 redundant transitions.
[2021-05-16 04:11:59] [INFO ] Flatten gal took : 243 ms
[2021-05-16 04:12:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 1000 labels/synchronizations in 85 ms.
[2021-05-16 04:12:00] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 3 ms.
[2021-05-16 04:12:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 28 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ShieldIIPs-PT-050B @ 3570 seconds
FORMULA ShieldIIPs-PT-050B-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-050B-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-050B-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-050B-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-050B-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-050B-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-050B-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-050B-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-050B-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ ShieldIIPs-PT-050B
{
"exit":
{
"memory": 3657528,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 3,
"G": 2,
"U": 0,
"X": 2,
"aconj": 4,
"adisj": 0,
"aneg": 2,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 7,
"visible_transitions": 0
},
"processed": "X (G ((X (F (((p1866 <= 0)))) AND ((F (((1 <= p2433) AND (1 <= p2444) AND (1 <= p2469))) OR G (F (((p1866 <= 0))))) AND ((1 <= p2728) AND (1 <= p2736) AND (1 <= p2764))))))",
"processed_size": 172,
"rewrites": 71
},
"result":
{
"preliminary_value": "unknown no unknown unknown unknown no no no no yes no unknown no no unknown "
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 5956/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3003
lola: finding significant places
lola: 3003 places, 2953 transitions, 2552 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: LP says that atomic proposition is always true: (p2072 <= 1)
lola: LP says that atomic proposition is always true: (p998 <= 1)
lola: LP says that atomic proposition is always true: (p2456 <= 1)
lola: LP says that atomic proposition is always true: (p2072 <= 1)
lola: LP says that atomic proposition is always true: (p862 <= 1)
lola: LP says that atomic proposition is always true: (p892 <= 1)
lola: LP says that atomic proposition is always true: (p353 <= 1)
lola: LP says that atomic proposition is always true: (p2697 <= 1)
lola: LP says that atomic proposition is always true: (p2660 <= 1)
lola: LP says that atomic proposition is always true: (p2685 <= 1)
lola: LP says that atomic proposition is always true: (p2433 <= 1)
lola: LP says that atomic proposition is always true: (p2444 <= 1)
lola: LP says that atomic proposition is always true: (p2469 <= 1)
lola: LP says that atomic proposition is always true: (p1866 <= 1)
lola: LP says that atomic proposition is always true: (p2728 <= 1)
lola: LP says that atomic proposition is always true: (p2736 <= 1)
lola: LP says that atomic proposition is always true: (p2764 <= 1)
lola: LP says that atomic proposition is always true: (p430 <= 1)
lola: LP says that atomic proposition is always true: (p449 <= 1)
lola: LP says that atomic proposition is always true: (p463 <= 1)
lola: LP says that atomic proposition is always true: (p2461 <= 1)
lola: LP says that atomic proposition is always true: (p2461 <= 1)
lola: LP says that atomic proposition is always true: (p1961 <= 1)
lola: LP says that atomic proposition is always true: (p1969 <= 1)
lola: LP says that atomic proposition is always true: (p1997 <= 1)
lola: LP says that atomic proposition is always true: (p1149 <= 1)
lola: LP says that atomic proposition is always true: (p48 <= 1)
lola: LP says that atomic proposition is always true: (p616 <= 1)
lola: LP says that atomic proposition is always true: (p2093 <= 1)
lola: LP says that atomic proposition is always true: (p2555 <= 1)
lola: LP says that atomic proposition is always true: (p707 <= 1)
lola: LP says that atomic proposition is always true: (p707 <= 1)
lola: LP says that atomic proposition is always true: (p2914 <= 1)
lola: LP says that atomic proposition is always true: (p104 <= 1)
lola: LP says that atomic proposition is always true: (p800 <= 1)
lola: LP says that atomic proposition is always true: (p1272 <= 1)
lola: LP says that atomic proposition is always true: (p22 <= 1)
lola: LP says that atomic proposition is always true: (p2762 <= 1)
lola: LP says that atomic proposition is always true: (p22 <= 1)
lola: LP says that atomic proposition is always true: (p1140 <= 1)
lola: LP says that atomic proposition is always true: (p1853 <= 1)
lola: LP says that atomic proposition is always true: (p2605 <= 1)
lola: LP says that atomic proposition is always true: (p2607 <= 1)
lola: LP says that atomic proposition is always true: (p2176 <= 1)
lola: LP says that atomic proposition is always true: (p2605 <= 1)
lola: LP says that atomic proposition is always true: (p2607 <= 1)
lola: LP says that atomic proposition is always true: (p1950 <= 1)
lola: LP says that atomic proposition is always true: (p453 <= 1)
lola: LP says that atomic proposition is always true: (p435 <= 1)
lola: LP says that atomic proposition is always true: (p2080 <= 1)
lola: LP says that atomic proposition is always true: (p2158 <= 1)
lola: LP says that atomic proposition is always true: (p1882 <= 1)
lola: LP says that atomic proposition is always true: (p2473 <= 1)
lola: (F (((1 <= p2072))) OR ((G (((1 <= p998))) AND ((p2456 <= 0))) AND ((p2072 <= 0)))) : X (F (G ((NOT(G (((1 <= p862)))) AND ((1 <= p892)))))) : ((F (((1 <= p353))) OR G (((1 <= p2697)))) OR ((1 <= p2660) AND (1 <= p2685))) : (NOT(F ((NOT(X (F (((1 <= p2433) AND (1 <= p2444) AND (1 <= p2469))))) U X (G (X (((1 <= p1866)))))))) AND X (G (((1 <= p2728) AND (1 <= p2736) AND (1 <= p2764))))) : X ((F ((X (G (((1 <= p430) AND (1 <= p449) AND (1 <= p463)))) U ((1 <= p2461)))) OR X (X ((G (((1 <= p2461))) U G (((1 <= p1961) AND (1 <= p1969) AND (1 <= p1997)))))))) : X (G ((((1 <= p1149)) U (NOT(F (X (((1 <= p48))))) OR ((p616 <= 0)))))) : X (G (NOT(F (((1 <= p2093)))))) : X (NOT(G ((NOT(X ((G (((1 <= p2555))) AND ((1 <= p707))))) OR ((1 <= p707)))))) : F (((1 <= p2914))) : F (NOT(X (G ((F (((1 <= p104))) AND ((1 <= p800))))))) : ((X (NOT(G (((1 <= p1272))))) AND ((1 <= p22))) U (F (((1 <= p2762))) U ((1 <= p22)))) : ((0 <= 0) U ((1 <= p1140))) : X (G (X (((1 <= p1853))))) : ((X (F (((p2605 <= 0) OR (p2607 <= 0)))) AND F (G (((1 <= p2176))))) AND X (((1 <= p453) AND (((1 <= p2605) AND (1 <= p2607)) OR ((1 <= p1950)))))) : G (X ((((1 <= p435)) U ((((1 <= p2080) AND (1 <= p2158)) U ((1 <= p1882))) U ((1 <= p2473))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 231 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((X (F (((p1866 <= 0)))) AND ((F (((1 <= p2433) AND (1 <= p2444) AND (1 <= p2469))) OR G (F (((p1866 <= 0))))) AND ((1 <= p2728) AND (1 <= p2736) AND (1 <= p2764))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((X (F (((p1866 <= 0)))) AND ((F (((1 <= p2433) AND (1 <= p2444) AND (1 <= p2469))) OR G (F (((p1866 <= 0))))) AND ((1 <= p2728) AND (1 <= p2736) AND (1 <= p2764))))))
lola: processed formula length: 172
lola: 71 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 76281 markings, 240944 edges, 15256 markings/sec, 0 secs
lola: 141438 markings, 483086 edges, 13031 markings/sec, 5 secs
lola: 207173 markings, 725079 edges, 13147 markings/sec, 10 secs
lola: 264691 markings, 968140 edges, 11504 markings/sec, 15 secs
lola: 326175 markings, 1210301 edges, 12297 markings/sec, 20 secs
lola: 386903 markings, 1451715 edges, 12146 markings/sec, 25 secs
lola: 442693 markings, 1693823 edges, 11158 markings/sec, 30 secs
lola: 506307 markings, 1935784 edges, 12723 markings/sec, 35 secs
lola: 563751 markings, 2178529 edges, 11489 markings/sec, 40 secs
lola: 621608 markings, 2421093 edges, 11571 markings/sec, 45 secs
lola: 675001 markings, 2664189 edges, 10679 markings/sec, 50 secs
lola: 727210 markings, 2907214 edges, 10442 markings/sec, 55 secs
lola: 782971 markings, 3149482 edges, 11152 markings/sec, 60 secs
lola: 837587 markings, 3391257 edges, 10923 markings/sec, 65 secs
lola: 886955 markings, 3633732 edges, 9874 markings/sec, 70 secs
lola: 955053 markings, 3874741 edges, 13620 markings/sec, 75 secs
lola: 1027268 markings, 4115508 edges, 14443 markings/sec, 80 secs
lola: 1095831 markings, 4356570 edges, 13713 markings/sec, 85 secs
lola: 1162595 markings, 4597709 edges, 13353 markings/sec, 90 secs
lola: 1221289 markings, 4839554 edges, 11739 markings/sec, 95 secs
lola: 1278414 markings, 5082113 edges, 11425 markings/sec, 100 secs
lola: 1331674 markings, 5324886 edges, 10652 markings/sec, 105 secs
lola: 1399302 markings, 5566105 edges, 13526 markings/sec, 110 secs
lola: 1462678 markings, 5807563 edges, 12675 markings/sec, 115 secs
lola: 1518377 markings, 6049856 edges, 11140 markings/sec, 120 secs
lola: 1575631 markings, 6292135 edges, 11451 markings/sec, 125 secs
lola: 1635327 markings, 6533977 edges, 11939 markings/sec, 130 secs
lola: 1695322 markings, 6775633 edges, 11999 markings/sec, 135 secs
lola: 1758503 markings, 7017328 edges, 12636 markings/sec, 140 secs
lola: 1817553 markings, 7259673 edges, 11810 markings/sec, 145 secs
lola: 1880651 markings, 7501576 edges, 12620 markings/sec, 150 secs
lola: 1941253 markings, 7743556 edges, 12120 markings/sec, 155 secs
lola: 1996918 markings, 7986061 edges, 11133 markings/sec, 160 secs
lola: 2050348 markings, 8228709 edges, 10686 markings/sec, 165 secs
lola: 2100407 markings, 8472074 edges, 10012 markings/sec, 170 secs
lola: 2148465 markings, 8715508 edges, 9612 markings/sec, 175 secs
lola: 2207214 markings, 8957600 edges, 11750 markings/sec, 180 secs
lola: 2264953 markings, 9199661 edges, 11548 markings/sec, 185 secs
lola: 2316490 markings, 9442222 edges, 10307 markings/sec, 190 secs
lola: 2363469 markings, 9685591 edges, 9396 markings/sec, 195 secs
lola: 2419821 markings, 9927866 edges, 11270 markings/sec, 200 secs
lola: 2472895 markings, 10170259 edges, 10615 markings/sec, 205 secs
lola: 2525201 markings, 10412599 edges, 10461 markings/sec, 210 secs
lola: 2590347 markings, 10653817 edges, 13029 markings/sec, 215 secs
lola: 2655553 markings, 10894918 edges, 13041 markings/sec, 220 secs
lola: 2711676 markings, 11136975 edges, 11225 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 549812 KB
lola: time consumption: 328 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 231 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((F (((1 <= p2461))) OR X (X ((G (((1 <= p1961) AND (1 <= p1969) AND (1 <= p1997))) OR (G (((1 <= p2461))) AND F (G (((1 <= p1961) AND (1 <= p1969) AND (1 <= p1997))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((F (((1 <= p2461))) OR X (X ((G (((1 <= p1961) AND (1 <= p1969) AND (1 <= p1997))) OR (G (((1 <= p2461))) AND F (G (((1 <= p1961) AND (1 <= p1969) AND (1 <= p1997))))))))))
lola: processed formula length: 175
lola: 71 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 41361 markings, 239953 edges, 8272 markings/sec, 0 secs
lola: 77760 markings, 480320 edges, 7280 markings/sec, 5 secs
lola: 110376 markings, 721033 edges, 6523 markings/sec, 10 secs
lola: 149810 markings, 960619 edges, 7887 markings/sec, 15 secs
lola: 186076 markings, 1200547 edges, 7253 markings/sec, 20 secs
lola: 222162 markings, 1440398 edges, 7217 markings/sec, 25 secs
lola: 259607 markings, 1680315 edges, 7489 markings/sec, 30 secs
lola: 290832 markings, 1920895 edges, 6245 markings/sec, 35 secs
lola: 322633 markings, 2161226 edges, 6360 markings/sec, 40 secs
lola: 357749 markings, 2400888 edges, 7023 markings/sec, 45 secs
lola: 391168 markings, 2640927 edges, 6684 markings/sec, 50 secs
lola: 422896 markings, 2881204 edges, 6346 markings/sec, 55 secs
lola: 454427 markings, 3121292 edges, 6306 markings/sec, 60 secs
lola: 489865 markings, 3361259 edges, 7088 markings/sec, 65 secs
lola: 521607 markings, 3601587 edges, 6348 markings/sec, 70 secs
lola: 552402 markings, 3841857 edges, 6159 markings/sec, 75 secs
lola: 584667 markings, 4082157 edges, 6453 markings/sec, 80 secs
lola: 612453 markings, 4322909 edges, 5557 markings/sec, 85 secs
lola: 640741 markings, 4563526 edges, 5658 markings/sec, 90 secs
lola: 669114 markings, 4803897 edges, 5675 markings/sec, 95 secs
lola: 700550 markings, 5044218 edges, 6287 markings/sec, 100 secs
lola: 730384 markings, 5284611 edges, 5967 markings/sec, 105 secs
lola: 757574 markings, 5525218 edges, 5438 markings/sec, 110 secs
lola: 787400 markings, 5765438 edges, 5965 markings/sec, 115 secs
lola: 822564 markings, 6005356 edges, 7033 markings/sec, 120 secs
lola: 854012 markings, 6245775 edges, 6290 markings/sec, 125 secs
lola: 884556 markings, 6485928 edges, 6109 markings/sec, 130 secs
lola: 917342 markings, 6726079 edges, 6557 markings/sec, 135 secs
lola: 944228 markings, 6966725 edges, 5377 markings/sec, 140 secs
lola: 972081 markings, 7207321 edges, 5571 markings/sec, 145 secs
lola: 1001798 markings, 7447471 edges, 5943 markings/sec, 150 secs
lola: 1032825 markings, 7687770 edges, 6205 markings/sec, 155 secs
lola: 1062458 markings, 7928052 edges, 5927 markings/sec, 160 secs
lola: 1089149 markings, 8168637 edges, 5338 markings/sec, 165 secs
lola: 1118076 markings, 8409041 edges, 5785 markings/sec, 170 secs
lola: 1148644 markings, 8649354 edges, 6114 markings/sec, 175 secs
lola: 1176628 markings, 8889940 edges, 5597 markings/sec, 180 secs
lola: 1203635 markings, 9130419 edges, 5401 markings/sec, 185 secs
lola: 1232549 markings, 9370873 edges, 5783 markings/sec, 190 secs
lola: 1258917 markings, 9611523 edges, 5274 markings/sec, 195 secs
lola: 1283862 markings, 9852457 edges, 4989 markings/sec, 200 secs
lola: 1308333 markings, 10093209 edges, 4894 markings/sec, 205 secs
lola: 1335863 markings, 10333637 edges, 5506 markings/sec, 210 secs
lola: 1362415 markings, 10574420 edges, 5310 markings/sec, 215 secs
lola: 1388974 markings, 10815032 edges, 5312 markings/sec, 220 secs
lola: 1413217 markings, 11055792 edges, 4849 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 292188 KB
lola: time consumption: 559 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 231 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((F ((X (G (((p48 <= 0)))) OR ((p616 <= 0)))) AND (((1 <= p1149)) OR (X (G (((p48 <= 0)))) OR ((p616 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((F ((X (G (((p48 <= 0)))) OR ((p616 <= 0)))) AND (((1 <= p1149)) OR (X (G (((p48 <= 0)))) OR ((p616 <= 0)))))))
lola: processed formula length: 117
lola: 71 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 5723 markings, 5723 edges
lola: ========================================
lola: subprocess 3 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G (((p2093 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G (((p2093 <= 0))))
lola: processed formula length: 22
lola: 71 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: 5722 markings, 5722 edges
lola: ========================================
lola: subprocess 4 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((X ((G (((1 <= p2555))) AND ((1 <= p707)))) AND ((p707 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((X ((G (((1 <= p2555))) AND ((1 <= p707)))) AND ((p707 <= 0)))))
lola: processed formula length: 70
lola: 71 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 5723 markings, 5723 edges
lola: ========================================
lola: subprocess 5 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((G (((p104 <= 0))) OR ((p800 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((G (((p104 <= 0))) OR ((p800 <= 0)))))
lola: processed formula length: 44
lola: 71 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 6 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((X (F (((p1272 <= 0)))) AND ((1 <= p22))) U (F (((1 <= p2762))) U ((1 <= p22))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((X (F (((p1272 <= 0)))) AND ((1 <= p22))) U (F (((1 <= p2762))) U ((1 <= p22))))
lola: processed formula length: 81
lola: 71 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 5723 markings, 5723 edges
lola: ========================================
lola: subprocess 7 will run for 376 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (G (((1 <= p1853)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (G (((1 <= p1853)))))
lola: processed formula length: 26
lola: 71 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: 5722 markings, 5722 edges
lola: ========================================
lola: subprocess 8 will run for 430 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (F (((p2605 <= 0) OR (p2607 <= 0)))) AND (F (G (((1 <= p2176)))) AND X (((1 <= p453) AND (((1 <= p2605) AND (1 <= p2607)) OR ((1 <= p1950)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 430 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((1 <= p2176))))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((1 <= p2176))))
lola: processed formula length: 22
lola: 71 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: 50372 markings, 50373 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 9 will run for 501 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((F (((1 <= p2473))) AND (((1 <= p435)) OR ((((1 <= p2080) AND (1 <= p2158)) U ((1 <= p1882))) U ((1 <= p2473)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((F (((1 <= p2473))) AND (((1 <= p435)) OR ((((1 <= p2080) AND (1 <= p2158)) U ((1 <= p1882))) U ((1 <= p2473)))))))
lola: processed formula length: 121
lola: 71 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 75317 markings, 234672 edges, 15063 markings/sec, 0 secs
lola: 139055 markings, 470061 edges, 12748 markings/sec, 5 secs
lola: 202576 markings, 704664 edges, 12704 markings/sec, 10 secs
lola: 264453 markings, 939273 edges, 12375 markings/sec, 15 secs
lola: 326897 markings, 1174508 edges, 12489 markings/sec, 20 secs
lola: 382753 markings, 1409973 edges, 11171 markings/sec, 25 secs
lola: 439148 markings, 1644885 edges, 11279 markings/sec, 30 secs
lola: 492924 markings, 1880337 edges, 10755 markings/sec, 35 secs
lola: 554769 markings, 2116300 edges, 12369 markings/sec, 40 secs
lola: 612603 markings, 2353032 edges, 11567 markings/sec, 45 secs
lola: 669230 markings, 2588300 edges, 11325 markings/sec, 50 secs
lola: 725062 markings, 2824438 edges, 11166 markings/sec, 55 secs
lola: 781555 markings, 3059510 edges, 11299 markings/sec, 60 secs
lola: 835806 markings, 3295838 edges, 10850 markings/sec, 65 secs
lola: 885876 markings, 3532375 edges, 10014 markings/sec, 70 secs
lola: 936020 markings, 3767897 edges, 10029 markings/sec, 75 secs
lola: 985590 markings, 4004416 edges, 9914 markings/sec, 80 secs
lola: 1043438 markings, 4239921 edges, 11570 markings/sec, 85 secs
lola: 1102768 markings, 4476276 edges, 11866 markings/sec, 90 secs
lola: 1159514 markings, 4712021 edges, 11349 markings/sec, 95 secs
lola: 1215132 markings, 4947749 edges, 11124 markings/sec, 100 secs
lola: 1270037 markings, 5183151 edges, 10981 markings/sec, 105 secs
lola: 1325514 markings, 5419041 edges, 11095 markings/sec, 110 secs
lola: 1375118 markings, 5655391 edges, 9921 markings/sec, 115 secs
lola: 1425658 markings, 5890750 edges, 10108 markings/sec, 120 secs
lola: 1475692 markings, 6126796 edges, 10007 markings/sec, 125 secs
lola: 1530029 markings, 6362001 edges, 10867 markings/sec, 130 secs
lola: 1591346 markings, 6598278 edges, 12263 markings/sec, 135 secs
lola: 1647732 markings, 6834558 edges, 11277 markings/sec, 140 secs
lola: 1703828 markings, 7070065 edges, 11219 markings/sec, 145 secs
lola: 1757262 markings, 7306041 edges, 10687 markings/sec, 150 secs
lola: 1813847 markings, 7541817 edges, 11317 markings/sec, 155 secs
lola: 1865784 markings, 7778097 edges, 10387 markings/sec, 160 secs
lola: 1917115 markings, 8013472 edges, 10266 markings/sec, 165 secs
lola: 1966978 markings, 8249008 edges, 9973 markings/sec, 170 secs
lola: 2014651 markings, 8484560 edges, 9535 markings/sec, 175 secs
lola: 2079023 markings, 8720679 edges, 12874 markings/sec, 180 secs
lola: 2135046 markings, 8957480 edges, 11205 markings/sec, 185 secs
lola: 2192031 markings, 9192770 edges, 11397 markings/sec, 190 secs
lola: 2247300 markings, 9428911 edges, 11054 markings/sec, 195 secs
lola: 2303875 markings, 9664355 edges, 11315 markings/sec, 200 secs
lola: 2356890 markings, 9900567 edges, 10603 markings/sec, 205 secs
lola: 2407010 markings, 10136622 edges, 10024 markings/sec, 210 secs
lola: 2457223 markings, 10371900 edges, 10043 markings/sec, 215 secs
lola: 2505678 markings, 10607894 edges, 9691 markings/sec, 220 secs
lola: 2565700 markings, 10843583 edges, 12004 markings/sec, 225 secs
lola: 2623636 markings, 11079955 edges, 11587 markings/sec, 230 secs
lola: 2680562 markings, 11315371 edges, 11385 markings/sec, 235 secs
lola: 2735679 markings, 11551305 edges, 11023 markings/sec, 240 secs
lola: 2792438 markings, 11786402 edges, 11352 markings/sec, 245 secs
lola: 2846974 markings, 12022392 edges, 10907 markings/sec, 250 secs
lola: 2896500 markings, 12258490 edges, 9905 markings/sec, 255 secs
lola: 2946804 markings, 12493713 edges, 10061 markings/sec, 260 secs
lola: 2996334 markings, 12729861 edges, 9906 markings/sec, 265 secs
lola: 3053665 markings, 12965197 edges, 11466 markings/sec, 270 secs
lola: 3113356 markings, 13201795 edges, 11938 markings/sec, 275 secs
lola: 3169994 markings, 13438045 edges, 11328 markings/sec, 280 secs
lola: 3225961 markings, 13674045 edges, 11193 markings/sec, 285 secs
lola: 3280408 markings, 13909976 edges, 10889 markings/sec, 290 secs
lola: 3336314 markings, 14146227 edges, 11181 markings/sec, 295 secs
lola: 3386453 markings, 14382963 edges, 10028 markings/sec, 300 secs
lola: 3437167 markings, 14618600 edges, 10143 markings/sec, 305 secs
lola: 3487327 markings, 14854807 edges, 10032 markings/sec, 310 secs
lola: 3540594 markings, 15090304 edges, 10653 markings/sec, 315 secs
lola: 3602647 markings, 15326347 edges, 12411 markings/sec, 320 secs
lola: 3658588 markings, 15562454 edges, 11188 markings/sec, 325 secs
lola: 3714909 markings, 15797550 edges, 11264 markings/sec, 330 secs
lola: 3768319 markings, 16033248 edges, 10682 markings/sec, 335 secs
lola: 3824871 markings, 16268709 edges, 11310 markings/sec, 340 secs
lola: 3877278 markings, 16504614 edges, 10481 markings/sec, 345 secs
lola: 3928232 markings, 16739972 edges, 10191 markings/sec, 350 secs
lola: 3978051 markings, 16975182 edges, 9964 markings/sec, 355 secs
lola: 4025677 markings, 17210530 edges, 9525 markings/sec, 360 secs
lola: 4089004 markings, 17446339 edges, 12665 markings/sec, 365 secs
lola: 4145461 markings, 17682779 edges, 11291 markings/sec, 370 secs
lola: 4201746 markings, 17917839 edges, 11257 markings/sec, 375 secs
lola: 4257881 markings, 18153871 edges, 11227 markings/sec, 380 secs
lola: 4314251 markings, 18388974 edges, 11274 markings/sec, 385 secs
lola: 4367519 markings, 18624927 edges, 10654 markings/sec, 390 secs
lola: 4417681 markings, 18860558 edges, 10032 markings/sec, 395 secs
lola: 4467878 markings, 19095668 edges, 10039 markings/sec, 400 secs
lola: 4516418 markings, 19331361 edges, 9708 markings/sec, 405 secs
lola: 4575668 markings, 19565998 edges, 11850 markings/sec, 410 secs
lola: 4633655 markings, 19801052 edges, 11597 markings/sec, 415 secs
lola: 4690332 markings, 20035457 edges, 11335 markings/sec, 420 secs
lola: 4745211 markings, 20269820 edges, 10976 markings/sec, 425 secs
lola: 4801189 markings, 20504190 edges, 11196 markings/sec, 430 secs
lola: 4855874 markings, 20739758 edges, 10937 markings/sec, 435 secs
lola: 4904972 markings, 20975349 edges, 9820 markings/sec, 440 secs
lola: 4954770 markings, 21208864 edges, 9960 markings/sec, 445 secs
lola: 5004692 markings, 21444279 edges, 9984 markings/sec, 450 secs
lola: 5057319 markings, 21678100 edges, 10525 markings/sec, 455 secs
lola: 5111612 markings, 21913126 edges, 10859 markings/sec, 460 secs
lola: 5160644 markings, 22148016 edges, 9806 markings/sec, 465 secs
lola: 5210594 markings, 22381372 edges, 9990 markings/sec, 470 secs
lola: 5260096 markings, 22616477 edges, 9900 markings/sec, 475 secs
lola: 5312895 markings, 22850196 edges, 10560 markings/sec, 480 secs
lola: 5366806 markings, 23085205 edges, 10782 markings/sec, 485 secs
lola: 5416564 markings, 23320177 edges, 9952 markings/sec, 490 secs
lola: 5466272 markings, 23553753 edges, 9942 markings/sec, 495 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown no no no unknown yes no unknown no no unknown
lola: memory consumption: 956468 KB
lola: time consumption: 1062 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 501 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p1140)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p1140 <= 0))
lola: processed formula length: 14
lola: 73 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: 167718 markings, 213488 edges, 33544 markings/sec, 0 secs
lola: 330895 markings, 433736 edges, 32635 markings/sec, 5 secs
lola: 498342 markings, 652790 edges, 33489 markings/sec, 10 secs
lola: 656938 markings, 871506 edges, 31719 markings/sec, 15 secs
lola: 814258 markings, 1090394 edges, 31464 markings/sec, 20 secs
lola: 970066 markings, 1309547 edges, 31162 markings/sec, 25 secs
lola: 1140096 markings, 1528661 edges, 34006 markings/sec, 30 secs
lola: 1310197 markings, 1748427 edges, 34020 markings/sec, 35 secs
lola: 1471782 markings, 1968334 edges, 32317 markings/sec, 40 secs
lola: 1622702 markings, 2188337 edges, 30184 markings/sec, 45 secs
lola: 1770162 markings, 2408879 edges, 29492 markings/sec, 50 secs
lola: 1918032 markings, 2629118 edges, 29574 markings/sec, 55 secs
lola: 2081883 markings, 2849131 edges, 32770 markings/sec, 60 secs
lola: 2247438 markings, 3069697 edges, 33111 markings/sec, 65 secs
lola: 2402863 markings, 3290384 edges, 31085 markings/sec, 70 secs
lola: 2575400 markings, 3510304 edges, 34507 markings/sec, 75 secs
lola: 2747895 markings, 3729977 edges, 34499 markings/sec, 80 secs
lola: 2910346 markings, 3948676 edges, 32490 markings/sec, 85 secs
lola: 3064681 markings, 4166655 edges, 30867 markings/sec, 90 secs
lola: 3216876 markings, 4385241 edges, 30439 markings/sec, 95 secs
lola: 3382178 markings, 4604474 edges, 33060 markings/sec, 100 secs
lola: 3550031 markings, 4823403 edges, 33571 markings/sec, 105 secs
lola: 3715488 markings, 5043004 edges, 33091 markings/sec, 110 secs
lola: 3864808 markings, 5262398 edges, 29864 markings/sec, 115 secs
lola: 4005567 markings, 5481883 edges, 28152 markings/sec, 120 secs
lola: 4160144 markings, 5701906 edges, 30915 markings/sec, 125 secs
lola: 4323207 markings, 5921490 edges, 32613 markings/sec, 130 secs
lola: 4483286 markings, 6141781 edges, 32016 markings/sec, 135 secs
lola: 4645817 markings, 6361444 edges, 32506 markings/sec, 140 secs
lola: 4816485 markings, 6580756 edges, 34134 markings/sec, 145 secs
lola: 4979431 markings, 6800189 edges, 32589 markings/sec, 150 secs
lola: 5139261 markings, 7020305 edges, 31966 markings/sec, 155 secs
lola: 5296539 markings, 7240288 edges, 31456 markings/sec, 160 secs
lola: 5450482 markings, 7460348 edges, 30789 markings/sec, 165 secs
lola: 5608916 markings, 7680076 edges, 31687 markings/sec, 170 secs
lola: 5761981 markings, 7900382 edges, 30613 markings/sec, 175 secs
lola: 5915630 markings, 8119727 edges, 30730 markings/sec, 180 secs
lola: 6066723 markings, 8340449 edges, 30219 markings/sec, 185 secs
lola: 6225156 markings, 8560228 edges, 31687 markings/sec, 190 secs
lola: 6379690 markings, 8779920 edges, 30907 markings/sec, 195 secs
lola: 6531619 markings, 8999904 edges, 30386 markings/sec, 200 secs
lola: 6687248 markings, 9219422 edges, 31126 markings/sec, 205 secs
lola: 6836837 markings, 9438960 edges, 29918 markings/sec, 210 secs
lola: 6988958 markings, 9659157 edges, 30424 markings/sec, 215 secs
lola: 7139385 markings, 9879524 edges, 30085 markings/sec, 220 secs
lola: 7292850 markings, 10098859 edges, 30693 markings/sec, 225 secs
lola: 7444516 markings, 10319022 edges, 30333 markings/sec, 230 secs
lola: 7593084 markings, 10539507 edges, 29714 markings/sec, 235 secs
lola: 7744954 markings, 10758911 edges, 30374 markings/sec, 240 secs
lola: 7892287 markings, 10978926 edges, 29467 markings/sec, 245 secs
lola: 8042815 markings, 11199400 edges, 30106 markings/sec, 250 secs
lola: 8188742 markings, 11420455 edges, 29185 markings/sec, 255 secs
lola: 8348234 markings, 11640697 edges, 31898 markings/sec, 260 secs
lola: 8518247 markings, 11859878 edges, 34003 markings/sec, 265 secs
lola: 8685435 markings, 12078744 edges, 33438 markings/sec, 270 secs
lola: 8849662 markings, 12298393 edges, 32845 markings/sec, 275 secs
lola: 9015892 markings, 12518013 edges, 33246 markings/sec, 280 secs
lola: 9177299 markings, 12737374 edges, 32281 markings/sec, 285 secs
lola: 9341306 markings, 12957606 edges, 32801 markings/sec, 290 secs
lola: 9501431 markings, 13177423 edges, 32025 markings/sec, 295 secs
lola: 9671734 markings, 13396914 edges, 34061 markings/sec, 300 secs
lola: 9837175 markings, 13616488 edges, 33088 markings/sec, 305 secs
lola: 10004556 markings, 13836164 edges, 33476 markings/sec, 310 secs
lola: 10165854 markings, 14056498 edges, 32260 markings/sec, 315 secs
lola: 10330235 markings, 14276177 edges, 32876 markings/sec, 320 secs
lola: 10495280 markings, 14496604 edges, 33009 markings/sec, 325 secs
lola: 10655361 markings, 14716443 edges, 32016 markings/sec, 330 secs
lola: 10819285 markings, 14936841 edges, 32785 markings/sec, 335 secs
lola: 10976395 markings, 15157443 edges, 31422 markings/sec, 340 secs
lola: 11136441 markings, 15377464 edges, 32009 markings/sec, 345 secs
lola: 11286652 markings, 15597428 edges, 30042 markings/sec, 350 secs
lola: 11436764 markings, 15817209 edges, 30022 markings/sec, 355 secs
lola: 11587091 markings, 16036925 edges, 30065 markings/sec, 360 secs
lola: 11736131 markings, 16257286 edges, 29808 markings/sec, 365 secs
lola: 11881914 markings, 16477773 edges, 29157 markings/sec, 370 secs
lola: 12025683 markings, 16698588 edges, 28754 markings/sec, 375 secs
lola: 12169447 markings, 16918686 edges, 28753 markings/sec, 380 secs
lola: 12311918 markings, 17138225 edges, 28494 markings/sec, 385 secs
lola: 12451508 markings, 17358886 edges, 27918 markings/sec, 390 secs
lola: 12598269 markings, 17579017 edges, 29352 markings/sec, 395 secs
lola: 12739417 markings, 17799531 edges, 28230 markings/sec, 400 secs
lola: 12881472 markings, 18020023 edges, 28411 markings/sec, 405 secs
lola: 13021140 markings, 18240346 edges, 27934 markings/sec, 410 secs
lola: 13159465 markings, 18461281 edges, 27665 markings/sec, 415 secs
lola: 13302295 markings, 18681284 edges, 28566 markings/sec, 420 secs
lola: 13441661 markings, 18901189 edges, 27873 markings/sec, 425 secs
lola: 13579539 markings, 19121872 edges, 27576 markings/sec, 430 secs
lola: 13718982 markings, 19341183 edges, 27889 markings/sec, 435 secs
lola: 13856172 markings, 19561240 edges, 27438 markings/sec, 440 secs
lola: 13991301 markings, 19781972 edges, 27026 markings/sec, 445 secs
lola: 14136648 markings, 20002349 edges, 29069 markings/sec, 450 secs
lola: 14299195 markings, 20221007 edges, 32509 markings/sec, 455 secs
lola: 14461864 markings, 20440417 edges, 32534 markings/sec, 460 secs
lola: 14624020 markings, 20660344 edges, 32431 markings/sec, 465 secs
lola: 14779943 markings, 20880369 edges, 31185 markings/sec, 470 secs
lola: 14937411 markings, 21100357 edges, 31494 markings/sec, 475 secs
lola: 15096756 markings, 21320728 edges, 31869 markings/sec, 480 secs
lola: 15249735 markings, 21541254 edges, 30596 markings/sec, 485 secs
lola: 15415296 markings, 21761220 edges, 33112 markings/sec, 490 secs
lola: 15576479 markings, 21981396 edges, 32237 markings/sec, 495 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown no no no unknown yes no unknown no no unknown
lola: memory consumption: 952740 KB
lola: time consumption: 1563 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 501 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p2914)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p2914 <= 0))
lola: processed formula length: 14
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 50371 markings, 50370 edges
lola: ========================================
lola: subprocess 12 will run for 668 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((F (((p862 <= 0))) AND ((1 <= p892)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((F (((p862 <= 0))) AND ((1 <= p892)))))
lola: processed formula length: 45
lola: 71 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: 24118 markings, 24119 edges
lola: ========================================
lola: subprocess 13 will run for 1002 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((1 <= p2072))) OR (G (((1 <= p998))) AND (((p2456 <= 0)) AND ((p2072 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 1002 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((p2456 <= 0)) AND ((p2072 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:793
lola: processed formula: (((p2456 <= 0)) AND ((p2072 <= 0)))
lola: processed formula length: 35
lola: 72 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 2 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 14 will run for 2004 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((1 <= p998)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((1 <= p998)))
lola: processed formula length: 17
lola: 71 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: 50371 markings, 50371 edges
lola: ========================================
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: subprocess 14 will run for 2003 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((1 <= p353))) OR (G (((1 <= p2697))) OR ((1 <= p2660) AND (1 <= p2685))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 2003 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p2660) AND (1 <= p2685))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p2660) AND (1 <= p2685))
lola: processed formula length: 31
lola: 71 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 16 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p353)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p353 <= 0))
lola: processed formula length: 13
lola: 73 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: local time limit reached - aborting
lola:
preliminary result: unknown no unknown unknown unknown no no no no yes no unknown no no unknown
lola: memory consumption: 102660 KB
lola: time consumption: 1568 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: X (G ((X (F (((p1866 <= 0)))) AND ((F (((1 <= p2433) AND (1 <= p2444) AND (1 <= p2469))) OR G (F (((p1866 <= 0))))) AND ((1 <= p2728) AND (1 <= p2736) AND (1 <= p2764))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((X (F (((p1866 <= 0)))) AND ((F (((1 <= p2433) AND (1 <= p2444) AND (1 <= p2469))) OR G (F (((p1866 <= 0))))) AND ((1 <= p2728) AND (1 <= p2736) AND (1 <= p2764))))))
lola: processed formula length: 172
lola: 71 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 76320 markings, 241100 edges, 15264 markings/sec, 0 secs
lola: 141519 markings, 483412 edges, 13040 markings/sec, 5 secs
lola: 207292 markings, 725558 edges, 13155 markings/sec, 10 secs
lola: 264845 markings, 968740 edges, 11511 markings/sec, 15 secs
lola: 326332 markings, 1210963 edges, 12297 markings/sec, 20 secs
lola: 387135 markings, 1452480 edges, 12161 markings/sec, 25 secs
lola: 442911 markings, 1694768 edges, 11155 markings/sec, 30 secs
lola: 506505 markings, 1936796 edges, 12719 markings/sec, 35 secs
lola: 563951 markings, 2179551 edges, 11489 markings/sec, 40 secs
lola: 621907 markings, 2422171 edges, 11591 markings/sec, 45 secs
lola: 675243 markings, 2665282 edges, 10667 markings/sec, 50 secs
lola: 727452 markings, 2908445 edges, 10442 markings/sec, 55 secs
lola: 783206 markings, 3150778 edges, 11151 markings/sec, 60 secs
lola: 837897 markings, 3392671 edges, 10938 markings/sec, 65 secs
lola: 887200 markings, 3635055 edges, 9861 markings/sec, 70 secs
lola: 955584 markings, 3876165 edges, 13677 markings/sec, 75 secs
lola: 1027662 markings, 4116937 edges, 14416 markings/sec, 80 secs
lola: 1096342 markings, 4358146 edges, 13736 markings/sec, 85 secs
lola: 1162949 markings, 4599340 edges, 13321 markings/sec, 90 secs
lola: 1221681 markings, 4841217 edges, 11746 markings/sec, 95 secs
lola: 1278735 markings, 5083758 edges, 11411 markings/sec, 100 secs
lola: 1332035 markings, 5326515 edges, 10660 markings/sec, 105 secs
lola: 1399685 markings, 5567628 edges, 13530 markings/sec, 110 secs
lola: 1463041 markings, 5809061 edges, 12671 markings/sec, 115 secs
lola: 1518670 markings, 6051250 edges, 11126 markings/sec, 120 secs
lola: 1576073 markings, 6293433 edges, 11481 markings/sec, 125 secs
lola: 1635614 markings, 6535277 edges, 11908 markings/sec, 130 secs
lola: 1695662 markings, 6776850 edges, 12010 markings/sec, 135 secs
lola: 1758766 markings, 7018405 edges, 12621 markings/sec, 140 secs
lola: 1817778 markings, 7260653 edges, 11802 markings/sec, 145 secs
lola: 1880906 markings, 7502336 edges, 12626 markings/sec, 150 secs
lola: 1941409 markings, 7744237 edges, 12101 markings/sec, 155 secs
lola: 1997116 markings, 7986825 edges, 11141 markings/sec, 160 secs
lola: 2050501 markings, 8229433 edges, 10677 markings/sec, 165 secs
lola: 2100564 markings, 8472841 edges, 10013 markings/sec, 170 secs
lola: 2148615 markings, 8716275 edges, 9610 markings/sec, 175 secs
lola: 2207383 markings, 8958337 edges, 11754 markings/sec, 180 secs
lola: 2265115 markings, 9200382 edges, 11546 markings/sec, 185 secs
lola: 2316659 markings, 9442997 edges, 10309 markings/sec, 190 secs
lola: 2363604 markings, 9686277 edges, 9389 markings/sec, 195 secs
lola: 2419934 markings, 9928478 edges, 11266 markings/sec, 200 secs
lola: 2473024 markings, 10170907 edges, 10618 markings/sec, 205 secs
lola: 2525362 markings, 10413372 edges, 10468 markings/sec, 210 secs
lola: 2590625 markings, 10654799 edges, 13053 markings/sec, 215 secs
lola: 2655870 markings, 10896140 edges, 13049 markings/sec, 220 secs
lola: 2711950 markings, 11138439 edges, 11216 markings/sec, 225 secs
lola: 2765828 markings, 11381061 edges, 10776 markings/sec, 230 secs
lola: 2824553 markings, 11622838 edges, 11745 markings/sec, 235 secs
lola: 2879187 markings, 11865084 edges, 10927 markings/sec, 240 secs
lola: 2934636 markings, 12107017 edges, 11090 markings/sec, 245 secs
lola: 2992579 markings, 12349353 edges, 11589 markings/sec, 250 secs
lola: 3051030 markings, 12591478 edges, 11690 markings/sec, 255 secs
lola: 3102797 markings, 12834135 edges, 10353 markings/sec, 260 secs
lola: 3150179 markings, 13077519 edges, 9476 markings/sec, 265 secs
lola: 3204215 markings, 13319886 edges, 10807 markings/sec, 270 secs
lola: 3252951 markings, 13562719 edges, 9747 markings/sec, 275 secs
lola: 3303632 markings, 13805337 edges, 10136 markings/sec, 280 secs
lola: 3355795 markings, 14047681 edges, 10433 markings/sec, 285 secs
lola: 3418886 markings, 14289634 edges, 12618 markings/sec, 290 secs
lola: 3481588 markings, 14531430 edges, 12540 markings/sec, 295 secs
lola: 3541363 markings, 14773475 edges, 11955 markings/sec, 300 secs
lola: 3601562 markings, 15015303 edges, 12040 markings/sec, 305 secs
lola: 3654074 markings, 15257955 edges, 10502 markings/sec, 310 secs
lola: 3708154 markings, 15500520 edges, 10816 markings/sec, 315 secs
lola: 3755989 markings, 15744069 edges, 9567 markings/sec, 320 secs
lola: 3809219 markings, 15986805 edges, 10646 markings/sec, 325 secs
lola: 3867252 markings, 16229073 edges, 11607 markings/sec, 330 secs
lola: 3922002 markings, 16471360 edges, 10950 markings/sec, 335 secs
lola: 3971797 markings, 16714270 edges, 9959 markings/sec, 340 secs
lola: 4023494 markings, 16957043 edges, 10339 markings/sec, 345 secs
lola: 4077771 markings, 17199395 edges, 10855 markings/sec, 350 secs
lola: 4131262 markings, 17441767 edges, 10698 markings/sec, 355 secs
lola: 4185520 markings, 17684218 edges, 10852 markings/sec, 360 secs
lola: 4240118 markings, 17927005 edges, 10920 markings/sec, 365 secs
lola: 4295942 markings, 18169598 edges, 11165 markings/sec, 370 secs
lola: 4350245 markings, 18412137 edges, 10861 markings/sec, 375 secs
lola: 4403526 markings, 18654741 edges, 10656 markings/sec, 380 secs
lola: 4452703 markings, 18897766 edges, 9835 markings/sec, 385 secs
lola: 4500559 markings, 19140859 edges, 9571 markings/sec, 390 secs
lola: 4546059 markings, 19384548 edges, 9100 markings/sec, 395 secs
lola: 4590079 markings, 19628276 edges, 8804 markings/sec, 400 secs
lola: 4641017 markings, 19871191 edges, 10188 markings/sec, 405 secs
lola: 4693404 markings, 20113966 edges, 10477 markings/sec, 410 secs
lola: 4742182 markings, 20356968 edges, 9756 markings/sec, 415 secs
lola: 4787391 markings, 20600341 edges, 9042 markings/sec, 420 secs
lola: 4832813 markings, 20843887 edges, 9084 markings/sec, 425 secs
lola: 4882292 markings, 21086925 edges, 9896 markings/sec, 430 secs
lola: 4930602 markings, 21329730 edges, 9662 markings/sec, 435 secs
lola: 4977456 markings, 21572731 edges, 9371 markings/sec, 440 secs
lola: 5034831 markings, 21815062 edges, 11475 markings/sec, 445 secs
lola: 5093252 markings, 22057094 edges, 11684 markings/sec, 450 secs
lola: 5145024 markings, 22299658 edges, 10354 markings/sec, 455 secs
lola: 5192367 markings, 22543084 edges, 9469 markings/sec, 460 secs
lola: 5245838 markings, 22782721 edges, 10694 markings/sec, 465 secs
lola: 5294003 markings, 23021715 edges, 9633 markings/sec, 470 secs
lola: 5343435 markings, 23259417 edges, 9886 markings/sec, 475 secs
lola: 5392921 markings, 23498682 edges, 9897 markings/sec, 480 secs
lola: 5443695 markings, 23737172 edges, 10155 markings/sec, 485 secs
lola: 5495845 markings, 23978817 edges, 10430 markings/sec, 490 secs
lola: 5543311 markings, 24221267 edges, 9493 markings/sec, 495 secs
lola: 5587645 markings, 24464234 edges, 8867 markings/sec, 500 secs
lola: 5633313 markings, 24707009 edges, 9134 markings/sec, 505 secs
lola: 5681108 markings, 24949395 edges, 9559 markings/sec, 510 secs
lola: 5724424 markings, 25192237 edges, 8663 markings/sec, 515 secs
lola: 5770624 markings, 25434725 edges, 9240 markings/sec, 520 secs
lola: 5825720 markings, 25676427 edges, 11019 markings/sec, 525 secs
lola: 5884915 markings, 25918625 edges, 11839 markings/sec, 530 secs
lola: 5949728 markings, 26160145 edges, 12963 markings/sec, 535 secs
lola: 6008803 markings, 26402197 edges, 11815 markings/sec, 540 secs
lola: 6066664 markings, 26644543 edges, 11572 markings/sec, 545 secs
lola: 6119731 markings, 26886813 edges, 10613 markings/sec, 550 secs
lola: 6172211 markings, 27129788 edges, 10496 markings/sec, 555 secs
lola: 6219609 markings, 27373155 edges, 9480 markings/sec, 560 secs
lola: 6275452 markings, 27615628 edges, 11169 markings/sec, 565 secs
lola: 6333579 markings, 27857732 edges, 11625 markings/sec, 570 secs
lola: 6386553 markings, 28100094 edges, 10595 markings/sec, 575 secs
lola: 6435325 markings, 28342937 edges, 9754 markings/sec, 580 secs
lola: 6489801 markings, 28584872 edges, 10895 markings/sec, 585 secs
lola: 6542279 markings, 28826834 edges, 10496 markings/sec, 590 secs
lola: 6595487 markings, 29068713 edges, 10642 markings/sec, 595 secs
lola: 6651621 markings, 29310498 edges, 11227 markings/sec, 600 secs
lola: 6704158 markings, 29553161 edges, 10507 markings/sec, 605 secs
lola: 6761791 markings, 29795354 edges, 11527 markings/sec, 610 secs
lola: 6814455 markings, 30038285 edges, 10533 markings/sec, 615 secs
lola: 6868155 markings, 30280911 edges, 10740 markings/sec, 620 secs
lola: 6915765 markings, 30524059 edges, 9522 markings/sec, 625 secs
lola: 6964396 markings, 30767177 edges, 9726 markings/sec, 630 secs
lola: 7009033 markings, 31010965 edges, 8927 markings/sec, 635 secs
lola: 7053207 markings, 31254622 edges, 8835 markings/sec, 640 secs
lola: 7104957 markings, 31497604 edges, 10350 markings/sec, 645 secs
lola: 7157311 markings, 31740425 edges, 10471 markings/sec, 650 secs
lola: 7204913 markings, 31983387 edges, 9520 markings/sec, 655 secs
lola: 7249280 markings, 32226891 edges, 8873 markings/sec, 660 secs
lola: 7297922 markings, 32469840 edges, 9728 markings/sec, 665 secs
lola: 7346145 markings, 32712768 edges, 9645 markings/sec, 670 secs
lola: 7394717 markings, 32955446 edges, 9714 markings/sec, 675 secs
lola: 7443976 markings, 33198197 edges, 9852 markings/sec, 680 secs
lola: 7502706 markings, 33440438 edges, 11746 markings/sec, 685 secs
lola: 7558761 markings, 33682670 edges, 11211 markings/sec, 690 secs
lola: 7609289 markings, 33925401 edges, 10106 markings/sec, 695 secs
lola: 7656891 markings, 34168430 edges, 9520 markings/sec, 700 secs
lola: 7711115 markings, 34410759 edges, 10845 markings/sec, 705 secs
lola: 7757401 markings, 34653585 edges, 9257 markings/sec, 710 secs
lola: 7809381 markings, 34895826 edges, 10396 markings/sec, 715 secs
lola: 7861323 markings, 35138187 edges, 10388 markings/sec, 720 secs
lola: 7913621 markings, 35380953 edges, 10460 markings/sec, 725 secs
lola: 7964199 markings, 35623761 edges, 10116 markings/sec, 730 secs
lola: 8009953 markings, 35866887 edges, 9151 markings/sec, 735 secs
lola: 8052697 markings, 36110627 edges, 8549 markings/sec, 740 secs
lola: 8101665 markings, 36353590 edges, 9794 markings/sec, 745 secs
lola: 8147260 markings, 36596609 edges, 9119 markings/sec, 750 secs
lola: 8191956 markings, 36839839 edges, 8939 markings/sec, 755 secs
lola: 8237631 markings, 37082768 edges, 9135 markings/sec, 760 secs
lola: 8292976 markings, 37325301 edges, 11069 markings/sec, 765 secs
lola: 8345527 markings, 37568279 edges, 10510 markings/sec, 770 secs
lola: 8403183 markings, 37810578 edges, 11531 markings/sec, 775 secs
lola: 8455654 markings, 38053409 edges, 10494 markings/sec, 780 secs
lola: 8508631 markings, 38296091 edges, 10595 markings/sec, 785 secs
lola: 8556149 markings, 38539222 edges, 9504 markings/sec, 790 secs
lola: 8605011 markings, 38782301 edges, 9772 markings/sec, 795 secs
lola: 8649256 markings, 39026140 edges, 8849 markings/sec, 800 secs
lola: 8695058 markings, 39269578 edges, 9160 markings/sec, 805 secs
lola: 8747074 markings, 39512446 edges, 10403 markings/sec, 810 secs
lola: 8798266 markings, 39755145 edges, 10238 markings/sec, 815 secs
lola: 8845069 markings, 39998128 edges, 9361 markings/sec, 820 secs
lola: 8888757 markings, 40241699 edges, 8738 markings/sec, 825 secs
lola: 8938602 markings, 40484543 edges, 9969 markings/sec, 830 secs
lola: 8986074 markings, 40727511 edges, 9494 markings/sec, 835 secs
lola: 9034855 markings, 40970240 edges, 9756 markings/sec, 840 secs
lola: 9083738 markings, 41213092 edges, 9777 markings/sec, 845 secs
lola: 9133064 markings, 41456388 edges, 9865 markings/sec, 850 secs
lola: 9181689 markings, 41699605 edges, 9725 markings/sec, 855 secs
lola: 9231656 markings, 41942702 edges, 9993 markings/sec, 860 secs
lola: 9280138 markings, 42185698 edges, 9696 markings/sec, 865 secs
lola: 9327832 markings, 42428859 edges, 9539 markings/sec, 870 secs
lola: 9370836 markings, 42672420 edges, 8601 markings/sec, 875 secs
lola: 9415547 markings, 42915921 edges, 8942 markings/sec, 880 secs
lola: 9456102 markings, 43160010 edges, 8111 markings/sec, 885 secs
lola: 9496387 markings, 43403908 edges, 8057 markings/sec, 890 secs
lola: 9543102 markings, 43647301 edges, 9343 markings/sec, 895 secs
lola: 9590785 markings, 43890499 edges, 9537 markings/sec, 900 secs
lola: 9635615 markings, 44133802 edges, 8966 markings/sec, 905 secs
lola: 9677746 markings, 44377249 edges, 8426 markings/sec, 910 secs
lola: 9716450 markings, 44621175 edges, 7741 markings/sec, 915 secs
lola: 9763529 markings, 44864340 edges, 9416 markings/sec, 920 secs
lola: 9806549 markings, 45107857 edges, 8604 markings/sec, 925 secs
lola: 9851244 markings, 45350920 edges, 8939 markings/sec, 930 secs
lola: 9897018 markings, 45593945 edges, 9155 markings/sec, 935 secs
lola: 9948997 markings, 45836823 edges, 10396 markings/sec, 940 secs
lola: 9999984 markings, 46079535 edges, 10197 markings/sec, 945 secs
lola: 10046267 markings, 46322595 edges, 9257 markings/sec, 950 secs
lola: 10089448 markings, 46566173 edges, 8636 markings/sec, 955 secs
lola: 10137811 markings, 46809092 edges, 9673 markings/sec, 960 secs
lola: 10183722 markings, 47051970 edges, 9182 markings/sec, 965 secs
lola: 10228395 markings, 47295161 edges, 8935 markings/sec, 970 secs
lola: 10274323 markings, 47538097 edges, 9186 markings/sec, 975 secs
lola: 10320813 markings, 47781256 edges, 9298 markings/sec, 980 secs
lola: 10368578 markings, 48024389 edges, 9553 markings/sec, 985 secs
lola: 10414442 markings, 48267577 edges, 9173 markings/sec, 990 secs
lola: 10456356 markings, 48510883 edges, 8383 markings/sec, 995 secs
lola: 10496006 markings, 48754769 edges, 7930 markings/sec, 1000 secs
lola: 10539256 markings, 48998050 edges, 8650 markings/sec, 1005 secs
lola: 10582490 markings, 49241299 edges, 8647 markings/sec, 1010 secs
lola: 10621751 markings, 49484809 edges, 7852 markings/sec, 1015 secs
lola: 10664523 markings, 49727993 edges, 8554 markings/sec, 1020 secs
lola: 10710650 markings, 49970536 edges, 9225 markings/sec, 1025 secs
lola: 10771929 markings, 50211396 edges, 12256 markings/sec, 1030 secs
lola: 10829092 markings, 50452191 edges, 11433 markings/sec, 1035 secs
lola: 10887496 markings, 50693197 edges, 11681 markings/sec, 1040 secs
lola: 10939265 markings, 50934969 edges, 10354 markings/sec, 1045 secs
lola: 10990237 markings, 51176232 edges, 10194 markings/sec, 1050 secs
lola: 11046831 markings, 51416815 edges, 11319 markings/sec, 1055 secs
lola: 11100048 markings, 51657363 edges, 10643 markings/sec, 1060 secs
lola: 11149415 markings, 51897970 edges, 9873 markings/sec, 1065 secs
lola: 11205690 markings, 52139223 edges, 11255 markings/sec, 1070 secs
lola: 11256796 markings, 52380649 edges, 10221 markings/sec, 1075 secs
lola: 11308026 markings, 52622030 edges, 10246 markings/sec, 1080 secs
lola: 11357990 markings, 52863880 edges, 9993 markings/sec, 1085 secs
lola: 11404252 markings, 53105686 edges, 9252 markings/sec, 1090 secs
lola: 11451584 markings, 53347401 edges, 9466 markings/sec, 1095 secs
lola: 11501184 markings, 53588239 edges, 9920 markings/sec, 1100 secs
lola: 11549498 markings, 53829338 edges, 9663 markings/sec, 1105 secs
lola: 11595328 markings, 54069900 edges, 9166 markings/sec, 1110 secs
lola: 11657919 markings, 54310443 edges, 12518 markings/sec, 1115 secs
lola: 11714430 markings, 54550957 edges, 11302 markings/sec, 1120 secs
lola: 11772888 markings, 54791632 edges, 11692 markings/sec, 1125 secs
lola: 11824442 markings, 55032956 edges, 10311 markings/sec, 1130 secs
lola: 11875743 markings, 55273949 edges, 10260 markings/sec, 1135 secs
lola: 11931584 markings, 55514220 edges, 11168 markings/sec, 1140 secs
lola: 11985946 markings, 55754414 edges, 10872 markings/sec, 1145 secs
lola: 12033999 markings, 55994628 edges, 9611 markings/sec, 1150 secs
lola: 12091055 markings, 56235675 edges, 11411 markings/sec, 1155 secs
lola: 12142412 markings, 56476772 edges, 10271 markings/sec, 1160 secs
lola: 12193354 markings, 56717897 edges, 10188 markings/sec, 1165 secs
lola: 12243656 markings, 56959399 edges, 10060 markings/sec, 1170 secs
lola: 12290243 markings, 57200971 edges, 9317 markings/sec, 1175 secs
lola: 12336405 markings, 57442306 edges, 9232 markings/sec, 1180 secs
lola: 12387141 markings, 57683023 edges, 10147 markings/sec, 1185 secs
lola: 12435339 markings, 57923797 edges, 9640 markings/sec, 1190 secs
lola: 12479135 markings, 58164398 edges, 8759 markings/sec, 1195 secs
lola: 12542224 markings, 58404431 edges, 12618 markings/sec, 1200 secs
lola: 12598177 markings, 58644595 edges, 11191 markings/sec, 1205 secs
lola: 12656806 markings, 58884648 edges, 11726 markings/sec, 1210 secs
lola: 12708397 markings, 59125157 edges, 10318 markings/sec, 1215 secs
lola: 12760067 markings, 59365291 edges, 10334 markings/sec, 1220 secs
lola: 12815362 markings, 59604877 edges, 11059 markings/sec, 1225 secs
lola: 12869685 markings, 59844167 edges, 10865 markings/sec, 1230 secs
lola: 12918211 markings, 60083701 edges, 9705 markings/sec, 1235 secs
lola: 12974842 markings, 60323778 edges, 11326 markings/sec, 1240 secs
lola: 13025901 markings, 60564146 edges, 10212 markings/sec, 1245 secs
lola: 13075834 markings, 60804066 edges, 9987 markings/sec, 1250 secs
lola: 13127588 markings, 61044754 edges, 10351 markings/sec, 1255 secs
lola: 13173824 markings, 61285433 edges, 9247 markings/sec, 1260 secs
lola: 13219296 markings, 61525931 edges, 9094 markings/sec, 1265 secs
lola: 13269983 markings, 61765846 edges, 10137 markings/sec, 1270 secs
lola: 13318626 markings, 62005531 edges, 9729 markings/sec, 1275 secs
lola: 13362489 markings, 62245296 edges, 8773 markings/sec, 1280 secs
lola: 13422927 markings, 62486038 edges, 12088 markings/sec, 1285 secs
lola: 13481992 markings, 62727604 edges, 11813 markings/sec, 1290 secs
lola: 13545672 markings, 62968823 edges, 12736 markings/sec, 1295 secs
lola: 13605668 markings, 63210195 edges, 11999 markings/sec, 1300 secs
lola: 13660905 markings, 63451968 edges, 11047 markings/sec, 1305 secs
lola: 13713718 markings, 63693827 edges, 10563 markings/sec, 1310 secs
lola: 13763341 markings, 63936289 edges, 9925 markings/sec, 1315 secs
lola: 13812250 markings, 64178541 edges, 9782 markings/sec, 1320 secs
lola: 13870874 markings, 64419942 edges, 11725 markings/sec, 1325 secs
lola: 13928065 markings, 64661384 edges, 11438 markings/sec, 1330 secs
lola: 13978797 markings, 64903159 edges, 10146 markings/sec, 1335 secs
lola: 14025229 markings, 65145537 edges, 9286 markings/sec, 1340 secs
lola: 14081557 markings, 65386998 edges, 11266 markings/sec, 1345 secs
lola: 14134656 markings, 65628571 edges, 10620 markings/sec, 1350 secs
lola: 14186913 markings, 65870160 edges, 10451 markings/sec, 1355 secs
lola: 14243491 markings, 66112102 edges, 11316 markings/sec, 1360 secs
lola: 14296617 markings, 66354218 edges, 10625 markings/sec, 1365 secs
lola: 14353322 markings, 66596112 edges, 11341 markings/sec, 1370 secs
lola: 14406428 markings, 66838110 edges, 10621 markings/sec, 1375 secs
lola: 14458145 markings, 67080316 edges, 10343 markings/sec, 1380 secs
lola: 14505818 markings, 67322736 edges, 9535 markings/sec, 1385 secs
lola: 14554075 markings, 67565265 edges, 9651 markings/sec, 1390 secs
lola: 14597613 markings, 67808222 edges, 8708 markings/sec, 1395 secs
lola: 14645297 markings, 68050669 edges, 9537 markings/sec, 1400 secs
lola: 14697398 markings, 68292603 edges, 10420 markings/sec, 1405 secs
lola: 14747769 markings, 68534608 edges, 10074 markings/sec, 1410 secs
lola: 14793559 markings, 68776832 edges, 9158 markings/sec, 1415 secs
lola: 14836251 markings, 69019583 edges, 8538 markings/sec, 1420 secs
lola: 14887105 markings, 69261529 edges, 10171 markings/sec, 1425 secs
lola: 14934393 markings, 69503709 edges, 9458 markings/sec, 1430 secs
lola: 14982299 markings, 69745723 edges, 9581 markings/sec, 1435 secs
lola: 15034712 markings, 69987460 edges, 10483 markings/sec, 1440 secs
lola: 15092931 markings, 70228910 edges, 11644 markings/sec, 1445 secs
lola: 15147276 markings, 70470470 edges, 10869 markings/sec, 1450 secs
lola: 15196586 markings, 70712516 edges, 9862 markings/sec, 1455 secs
lola: 15245947 markings, 70954546 edges, 9872 markings/sec, 1460 secs
lola: 15298805 markings, 71195926 edges, 10572 markings/sec, 1465 secs
lola: 15347028 markings, 71437758 edges, 9645 markings/sec, 1470 secs
lola: 15397717 markings, 71679127 edges, 10138 markings/sec, 1475 secs
lola: 15449022 markings, 71920905 edges, 10261 markings/sec, 1480 secs
lola: 15500827 markings, 72162722 edges, 10361 markings/sec, 1485 secs
lola: 15550216 markings, 72404682 edges, 9878 markings/sec, 1490 secs
lola: 15596017 markings, 72646879 edges, 9160 markings/sec, 1495 secs
lola: 15639036 markings, 72889566 edges, 8604 markings/sec, 1500 secs
lola: 15687832 markings, 73131473 edges, 9759 markings/sec, 1505 secs
lola: 15731374 markings, 73373653 edges, 8708 markings/sec, 1510 secs
lola: 15777310 markings, 73615712 edges, 9187 markings/sec, 1515 secs
lola: 15822165 markings, 73857579 edges, 8971 markings/sec, 1520 secs
lola: 15878585 markings, 74099514 edges, 11284 markings/sec, 1525 secs
lola: 15931762 markings, 74341550 edges, 10635 markings/sec, 1530 secs
lola: 15988348 markings, 74583365 edges, 11317 markings/sec, 1535 secs
lola: 16041839 markings, 74825104 edges, 10698 markings/sec, 1540 secs
lola: 16093059 markings, 75067217 edges, 10244 markings/sec, 1545 secs
lola: 16140722 markings, 75309347 edges, 9533 markings/sec, 1550 secs
lola: 16188810 markings, 75551738 edges, 9618 markings/sec, 1555 secs
lola: 16232239 markings, 75794600 edges, 8686 markings/sec, 1560 secs
lola: 16280182 markings, 76036935 edges, 9589 markings/sec, 1565 secs
lola: 16332335 markings, 76278926 edges, 10431 markings/sec, 1570 secs
lola: 16382731 markings, 76520877 edges, 10079 markings/sec, 1575 secs
lola: 16428320 markings, 76763084 edges, 9118 markings/sec, 1580 secs
lola: 16470867 markings, 77005806 edges, 8509 markings/sec, 1585 secs
lola: 16521917 markings, 77247603 edges, 10210 markings/sec, 1590 secs
lola: 16569171 markings, 77489690 edges, 9451 markings/sec, 1595 secs
lola: 16617034 markings, 77731630 edges, 9573 markings/sec, 1600 secs
lola: 16667212 markings, 77973708 edges, 10036 markings/sec, 1605 secs
lola: 16715832 markings, 78216244 edges, 9724 markings/sec, 1610 secs
lola: 16765270 markings, 78458639 edges, 9888 markings/sec, 1615 secs
lola: 16814549 markings, 78700854 edges, 9856 markings/sec, 1620 secs
lola: 16862663 markings, 78943131 edges, 9623 markings/sec, 1625 secs
lola: 16908718 markings, 79185667 edges, 9211 markings/sec, 1630 secs
lola: 16952143 markings, 79428242 edges, 8685 markings/sec, 1635 secs
lola: 16996545 markings, 79670847 edges, 8880 markings/sec, 1640 secs
lola: 17036807 markings, 79914003 edges, 8052 markings/sec, 1645 secs
lola: 17076797 markings, 80156877 edges, 7998 markings/sec, 1650 secs
lola: 17123827 markings, 80399272 edges, 9406 markings/sec, 1655 secs
lola: 17171191 markings, 80641471 edges, 9473 markings/sec, 1660 secs
lola: 17215356 markings, 80883803 edges, 8833 markings/sec, 1665 secs
lola: 17257258 markings, 81126222 edges, 8380 markings/sec, 1670 secs
lola: 17296429 markings, 81369085 edges, 7834 markings/sec, 1675 secs
lola: 17342863 markings, 81611452 edges, 9287 markings/sec, 1680 secs
lola: 17386134 markings, 81853836 edges, 8654 markings/sec, 1685 secs
lola: 17429850 markings, 82096004 edges, 8743 markings/sec, 1690 secs
lola: 17476817 markings, 82337990 edges, 9393 markings/sec, 1695 secs
lola: 17528947 markings, 82579901 edges, 10426 markings/sec, 1700 secs
lola: 17579295 markings, 82821870 edges, 10070 markings/sec, 1705 secs
lola: 17625087 markings, 83064012 edges, 9158 markings/sec, 1710 secs
lola: 17667731 markings, 83306488 edges, 8529 markings/sec, 1715 secs
lola: 17716097 markings, 83548478 edges, 9673 markings/sec, 1720 secs
lola: 17761806 markings, 83790389 edges, 9142 markings/sec, 1725 secs
lola: 17806420 markings, 84032565 edges, 8923 markings/sec, 1730 secs
lola: 17851758 markings, 84274474 edges, 9068 markings/sec, 1735 secs
lola: 17898610 markings, 84516567 edges, 9370 markings/sec, 1740 secs
lola: 17945733 markings, 84758795 edges, 9425 markings/sec, 1745 secs
lola: 17991562 markings, 85000977 edges, 9166 markings/sec, 1750 secs
lola: 18033170 markings, 85243364 edges, 8322 markings/sec, 1755 secs
lola: 18072403 markings, 85486187 edges, 7847 markings/sec, 1760 secs
lola: 18116109 markings, 85728459 edges, 8741 markings/sec, 1765 secs
lola: 18158598 markings, 85970653 edges, 8498 markings/sec, 1770 secs
lola: 18197995 markings, 86213226 edges, 7879 markings/sec, 1775 secs
lola: 18240482 markings, 86455520 edges, 8497 markings/sec, 1780 secs
lola: 18285904 markings, 86697600 edges, 9084 markings/sec, 1785 secs
lola: 18341761 markings, 86940198 edges, 11171 markings/sec, 1790 secs
lola: 18396202 markings, 87182743 edges, 10888 markings/sec, 1795 secs
lola: 18451902 markings, 87425311 edges, 11140 markings/sec, 1800 secs
lola: 18504937 markings, 87667860 edges, 10607 markings/sec, 1805 secs
lola: 18554715 markings, 87910649 edges, 9956 markings/sec, 1810 secs
lola: 18602891 markings, 88153137 edges, 9635 markings/sec, 1815 secs
lola: 18649788 markings, 88396351 edges, 9379 markings/sec, 1820 secs
lola: 18693197 markings, 88639815 edges, 8682 markings/sec, 1825 secs
lola: 18742949 markings, 88882640 edges, 9950 markings/sec, 1830 secs
lola: 18794892 markings, 89125037 edges, 10389 markings/sec, 1835 secs
lola: 18844547 markings, 89367552 edges, 9931 markings/sec, 1840 secs
lola: 18890486 markings, 89610347 edges, 9188 markings/sec, 1845 secs
lola: 18933739 markings, 89853520 edges, 8651 markings/sec, 1850 secs
lola: 18983714 markings, 90096014 edges, 9995 markings/sec, 1855 secs
lola: 19032009 markings, 90338440 edges, 9659 markings/sec, 1860 secs
lola: 19079349 markings, 90581077 edges, 9468 markings/sec, 1865 secs
lola: 19130923 markings, 90823811 edges, 10315 markings/sec, 1870 secs
lola: 19178197 markings, 91067113 edges, 9455 markings/sec, 1875 secs
lola: 19230251 markings, 91309930 edges, 10411 markings/sec, 1880 secs
lola: 19278409 markings, 91553080 edges, 9632 markings/sec, 1885 secs
lola: 19326663 markings, 91795892 edges, 9651 markings/sec, 1890 secs
lola: 19371182 markings, 92039170 edges, 8904 markings/sec, 1895 secs
lola: 19414873 markings, 92282179 edges, 8738 markings/sec, 1900 secs
lola: 19458607 markings, 92525727 edges, 8747 markings/sec, 1905 secs
lola: 19498743 markings, 92769460 edges, 8027 markings/sec, 1910 secs
lola: 19542079 markings, 93012856 edges, 8667 markings/sec, 1915 secs
lola: 19588562 markings, 93255937 edges, 9297 markings/sec, 1920 secs
lola: 19634920 markings, 93498962 edges, 9272 markings/sec, 1925 secs
lola: 19678226 markings, 93742004 edges, 8661 markings/sec, 1930 secs
lola: 19719065 markings, 93985433 edges, 8168 markings/sec, 1935 secs
lola: 19761806 markings, 94228559 edges, 8548 markings/sec, 1940 secs
lola: 19806307 markings, 94471562 edges, 8900 markings/sec, 1945 secs
lola: 19850013 markings, 94714351 edges, 8741 markings/sec, 1950 secs
lola: 19893612 markings, 94957171 edges, 8720 markings/sec, 1955 secs
lola: 19943005 markings, 95199723 edges, 9879 markings/sec, 1960 secs
lola: 19995069 markings, 95442299 edges, 10413 markings/sec, 1965 secs
lola: 20044183 markings, 95684772 edges, 9823 markings/sec, 1970 secs
lola: 20090123 markings, 95927503 edges, 9188 markings/sec, 1975 secs
lola: 20133565 markings, 96170473 edges, 8688 markings/sec, 1980 secs
lola: 20182248 markings, 96412792 edges, 9737 markings/sec, 1985 secs
lola: 20225675 markings, 96655520 edges, 8685 markings/sec, 1990 secs
lola: 20271911 markings, 96898076 edges, 9247 markings/sec, 1995 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no unknown unknown unknown no no no no yes no unknown no no unknown
lola: caught signal User defined signal 1 - aborting LoLAlola:
preliminary result: unknown no unknown unknown unknown no no no no yes no unknown no no unknown lola:
preliminary result: unknown no unknown unknown unknown no no no no yes no unknown no no unknown
lola: memory consumption: 3657528 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no unknown unknown unknown no no no no yes no unknown no no unknown
lola: memory consumption: 3657528 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
--------------------
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="ShieldIIPs-PT-050B"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# 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 gold2020"
echo " Input is ShieldIIPs-PT-050B, 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 r227-tall-162098230900158"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPs-PT-050B.tgz
mv ShieldIIPs-PT-050B 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 ;