About the Execution of 2020-gold for ShieldIIPs-PT-004B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11716.363 | 3600000.00 | 3585364.00 | 18206.10 | FFF?FFFTF??T?FT? | 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-162098230800110.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-004B, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r227-tall-162098230800110
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 440K
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 119K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.4K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 86K 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 21K Mar 28 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 27 11:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 27 11:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 17:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 17:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K 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 66K 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-004B-00
FORMULA_NAME ShieldIIPs-PT-004B-01
FORMULA_NAME ShieldIIPs-PT-004B-02
FORMULA_NAME ShieldIIPs-PT-004B-03
FORMULA_NAME ShieldIIPs-PT-004B-04
FORMULA_NAME ShieldIIPs-PT-004B-05
FORMULA_NAME ShieldIIPs-PT-004B-06
FORMULA_NAME ShieldIIPs-PT-004B-07
FORMULA_NAME ShieldIIPs-PT-004B-08
FORMULA_NAME ShieldIIPs-PT-004B-09
FORMULA_NAME ShieldIIPs-PT-004B-10
FORMULA_NAME ShieldIIPs-PT-004B-11
FORMULA_NAME ShieldIIPs-PT-004B-12
FORMULA_NAME ShieldIIPs-PT-004B-13
FORMULA_NAME ShieldIIPs-PT-004B-14
FORMULA_NAME ShieldIIPs-PT-004B-15
=== Now, execution of the tool begins
BK_START 1621125612971
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-16 00:40:14] [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 00:40:14] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-16 00:40:14] [INFO ] Load time of PNML (sax parser for PT used): 76 ms
[2021-05-16 00:40:14] [INFO ] Transformed 243 places.
[2021-05-16 00:40:14] [INFO ] Transformed 239 transitions.
[2021-05-16 00:40:14] [INFO ] Found NUPN structural information;
[2021-05-16 00:40:14] [INFO ] Parsed PT model containing 243 places and 239 transitions in 118 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 25 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 12852 steps, including 22 resets, run visited all 49 properties in 71 ms. (steps per millisecond=181 )
[2021-05-16 00:40:15] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2021-05-16 00:40:15] [INFO ] Flatten gal took : 54 ms
FORMULA ShieldIIPs-PT-004B-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-004B-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-004B-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-16 00:40:15] [INFO ] Applying decomposition
[2021-05-16 00:40:15] [INFO ] Flatten gal took : 18 ms
[2021-05-16 00:40:15] [INFO ] Decomposing Gal with order
[2021-05-16 00:40:15] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 00:40:15] [INFO ] Removed a total of 64 redundant transitions.
[2021-05-16 00:40:15] [INFO ] Flatten gal took : 48 ms
[2021-05-16 00:40:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 80 labels/synchronizations in 13 ms.
[2021-05-16 00:40:15] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 4 ms.
[2021-05-16 00:40:15] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 4 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ShieldIIPs-PT-004B @ 3570 seconds
FORMULA ShieldIIPs-PT-004B-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-004B-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-004B-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-004B-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-004B-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-004B-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-004B-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-004B-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-004B
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Sun May 16 00:40:16 2021
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 1,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(X (G (((1 <= p132)))) U ((1 <= p12) AND (1 <= p132)))",
"processed_size": 54,
"rewrites": 100
},
"result":
{
"edges": 978,
"markings": 978,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 4,
"G": 3,
"U": 0,
"X": 4,
"aconj": 5,
"adisj": 0,
"aneg": 1,
"comp": 11,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 11,
"taut": 0,
"tconj": 1,
"tdisj": 3,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "G ((F ((F (G (((1 <= p31)))) OR X (((1 <= p27) AND (1 <= p35) AND (1 <= p62))))) AND (X (X (F (((p27 <= 0) OR (p35 <= 0) OR (p62 <= 0))))) OR (F (G (((1 <= p31)))) OR X (((1 <= p27) AND (1 <= p35) AND (1 <= p62)))))))",
"processed_size": 219,
"rewrites": 100
},
"result":
{
"edges": 978,
"markings": 978,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 326
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 2,
"aconj": 4,
"adisj": 1,
"aneg": 4,
"comp": 9,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 9,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X (F ((X ((((p179 <= 0)) AND (F (((p145 <= 0) OR (p153 <= 0) OR (p180 <= 0))) OR G (((p179 <= 0)))))) R ((p179 <= 0) OR ((1 <= p145) AND (1 <= p153) AND (1 <= p180))))))",
"processed_size": 172,
"rewrites": 100
},
"result":
{
"edges": 5,
"markings": 6,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 8
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 363
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 1,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (G ((G (((1 <= p160))) AND ((1 <= p64)))))",
"processed_size": 44,
"rewrites": 100
},
"result":
{
"edges": 978,
"markings": 978,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 408
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 0,
"U": 1,
"X": 3,
"aconj": 4,
"adisj": 1,
"aneg": 0,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 3,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "((F ((X (((1 <= p121))) AND ((1 <= p62)))) AND (((1 <= p23)) AND ((1 <= p51)))) U X (X (F (((p62 <= 0))))))",
"processed_size": 107,
"rewrites": 100
},
"result":
{
"edges": 22,
"markings": 13,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 9
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 477
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 1,
"aconj": 4,
"adisj": 1,
"aneg": 1,
"comp": 7,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 3,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "X (G ((G (((1 <= p58))) AND (((1 <= p139)) AND (((1 <= p155)) AND (F (((1 <= p58))) OR ((1 <= p148) AND (1 <= p167) AND (1 <= p178))))))))",
"processed_size": 138,
"rewrites": 100
},
"result":
{
"edges": 978,
"markings": 978,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 596
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 2,
"aconj": 3,
"adisj": 0,
"aneg": 2,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "(((1 <= p151) AND (1 <= p202)) U X (X ((G (((p159 <= 0))) OR ((p124 <= 0))))))",
"processed_size": 78,
"rewrites": 100
},
"result":
{
"edges": 8,
"markings": 9,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 9
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 794
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 794
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "((1 <= p235))",
"processed_size": 13,
"rewrites": 100
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 12,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 0,
"aconj": 3,
"adisj": 2,
"aneg": 1,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "((((1 <= p235)) OR ((1 <= p90))) U (G (((p128 <= 0))) AND ((p235 <= 0))))",
"processed_size": 74,
"rewrites": 100
},
"result":
{
"edges": 411,
"markings": 411,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 12,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 11620784,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(X(G(**)) U **) : ((** U (G(*) AND **)) AND (** OR (G(F(**)) AND F(**)))) : (X(X(F(*))) AND (F((F(*) AND (* AND *))) OR G(F(*)))) : G((F((F(G(**)) OR X(**))) AND (X(X(F(*))) OR (F(G(**)) OR X(**))))) : X(F((X((* AND (F(*) OR G(*)))) R *))) : X(G((G(**) AND **))) : ((F(**) U **) AND F((F(*) OR **))) : (X(*) AND ((F(G(*)) OR X(G(*))) AND (** AND **))) : ((F((X(**) AND **)) AND (** AND **)) U X(X(F(**)))) : X((X(F(**)) OR (F(**) OR **))) : X(G((G(*) AND (** AND (** AND (F(**) OR **)))))) : (** U X(X((G(*) OR *)))) : X((G(F(**)) AND (F(**) OR G(F(**)))))"
},
"net":
{
"arcs": 718,
"conflict_clusters": 171,
"places": 243,
"places_significant": 206,
"singleton_clusters": 0,
"transitions": 239
},
"result":
{
"interim_value": "no no unknown no yes no unknown unknown yes unknown no yes unknown ",
"preliminary_value": "no no unknown no yes no unknown unknown yes unknown no yes unknown "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 482/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 243
lola: finding significant places
lola: 243 places, 239 transitions, 206 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: (p132 <= 1)
lola: LP says that atomic proposition is always true: (p12 <= 1)
lola: LP says that atomic proposition is always true: (p132 <= 1)
lola: LP says that atomic proposition is always true: (p235 <= 1)
lola: LP says that atomic proposition is always true: (p90 <= 1)
lola: LP says that atomic proposition is always true: (p128 <= 1)
lola: LP says that atomic proposition is always true: (p235 <= 1)
lola: LP says that atomic proposition is always true: (p235 <= 1)
lola: LP says that atomic proposition is always true: (p235 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p153 <= 1)
lola: LP says that atomic proposition is always true: (p180 <= 1)
lola: LP says that atomic proposition is always true: (p109 <= 1)
lola: LP says that atomic proposition is always true: (p239 <= 1)
lola: LP says that atomic proposition is always true: (p109 <= 1)
lola: LP says that atomic proposition is always true: (p27 <= 1)
lola: LP says that atomic proposition is always true: (p35 <= 1)
lola: LP says that atomic proposition is always true: (p62 <= 1)
lola: LP says that atomic proposition is always true: (p31 <= 1)
lola: LP says that atomic proposition is always true: (p27 <= 1)
lola: LP says that atomic proposition is always true: (p35 <= 1)
lola: LP says that atomic proposition is always true: (p62 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p153 <= 1)
lola: LP says that atomic proposition is always true: (p180 <= 1)
lola: LP says that atomic proposition is always true: (p179 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p153 <= 1)
lola: LP says that atomic proposition is always true: (p180 <= 1)
lola: LP says that atomic proposition is always true: (p179 <= 1)
lola: LP says that atomic proposition is always true: (p160 <= 1)
lola: LP says that atomic proposition is always true: (p64 <= 1)
lola: LP says that atomic proposition is always true: (p210 <= 1)
lola: LP says that atomic proposition is always true: (p210 <= 1)
lola: LP says that atomic proposition is always true: (p210 <= 1)
lola: LP says that atomic proposition is always true: (p210 <= 1)
lola: LP says that atomic proposition is always true: (p204 <= 1)
lola: LP says that atomic proposition is always true: (p212 <= 1)
lola: LP says that atomic proposition is always true: (p239 <= 1)
lola: LP says that atomic proposition is always true: (p189 <= 1)
lola: LP says that atomic proposition is always true: (p27 <= 1)
lola: LP says that atomic proposition is always true: (p38 <= 1)
lola: LP says that atomic proposition is always true: (p63 <= 1)
lola: LP says that atomic proposition is always true: (p204 <= 1)
lola: LP says that atomic proposition is always true: (p212 <= 1)
lola: LP says that atomic proposition is always true: (p239 <= 1)
lola: LP says that atomic proposition is always true: (p27 <= 1)
lola: LP says that atomic proposition is always true: (p38 <= 1)
lola: LP says that atomic proposition is always true: (p63 <= 1)
lola: LP says that atomic proposition is always true: (p121 <= 1)
lola: LP says that atomic proposition is always true: (p62 <= 1)
lola: LP says that atomic proposition is always true: (p23 <= 1)
lola: LP says that atomic proposition is always true: (p51 <= 1)
lola: LP says that atomic proposition is always true: (p62 <= 1)
lola: LP says that atomic proposition is always true: (p66 <= 1)
lola: LP says that atomic proposition is always true: (p59 <= 1)
lola: LP says that atomic proposition is always true: (p13 <= 1)
lola: LP says that atomic proposition is always true: (p66 <= 1)
lola: LP says that atomic proposition is always true: (p58 <= 1)
lola: LP says that atomic proposition is always true: (p139 <= 1)
lola: LP says that atomic proposition is always true: (p155 <= 1)
lola: LP says that atomic proposition is always true: (p58 <= 1)
lola: LP says that atomic proposition is always true: (p148 <= 1)
lola: LP says that atomic proposition is always true: (p167 <= 1)
lola: LP says that atomic proposition is always true: (p178 <= 1)
lola: LP says that atomic proposition is always true: (p151 <= 1)
lola: LP says that atomic proposition is always true: (p202 <= 1)
lola: LP says that atomic proposition is always true: (p155 <= 1)
lola: LP says that atomic proposition is always true: (p159 <= 1)
lola: LP says that atomic proposition is always true: (p124 <= 1)
lola: LP says that atomic proposition is always true: (p71 <= 1)
lola: LP says that atomic proposition is always true: (p211 <= 1)
lola: (G (X (G (((1 <= p132))))) U ((1 <= p12) AND (1 <= p132))) : (((((1 <= p235)) OR ((1 <= p90))) U (NOT(F (((1 <= p128)))) AND ((p235 <= 0)))) AND (G (F (((1 <= p235)))) U ((1 <= p235)))) : NOT((G (((G (((1 <= p145) AND (1 <= p153) AND (1 <= p180))) OR ((1 <= p109))) OR ((1 <= p239)))) U X (G (X (((1 <= p109))))))) : G ((X (NOT(G (X (G (((1 <= p27) AND (1 <= p35) AND (1 <= p62))))))) U (F (G (((1 <= p31)))) OR X (((1 <= p27) AND (1 <= p35) AND (1 <= p62)))))) : F (NOT((X (X ((G (((1 <= p145) AND (1 <= p153) AND (1 <= p180))) U ((1 <= p179))))) U X (((1 <= p179) AND ((p145 <= 0) OR (p153 <= 0) OR (p180 <= 0))))))) : X (G ((G (((1 <= p160))) AND ((1 <= p64))))) : ((F (((1 <= p210))) U ((1 <= p210))) AND F ((NOT(G (((1 <= p210)))) OR ((1 <= p210))))) : ((NOT((G (F ((((1 <= p204) AND (1 <= p212) AND (1 <= p239)) OR ((1 <= p189))))) U X (((1 <= p27) AND (1 <= p38) AND (1 <= p63))))) AND ((p204 <= 0) OR (p212 <= 0) OR (p239 <= 0))) AND ((p27 <= 0) OR (p38 <= 0) OR (p63 <= 0))) : (((F ((X (((1 <= p121))) AND ((1 <= p62)))) AND ((1 <= p23))) AND ((1 <= p51))) U X (X (F (((p62 <= 0)))))) : X (((F (X (((1 <= p66)))) OR (F (((1 <= p59))) U F (((1 <= p13))))) OR ((1 <= p66)))) : X (G ((((NOT(F (((p58 <= 0)))) AND ((1 <= p139))) AND ((1 <= p155))) AND (F (((1 <= p58))) OR ((1 <= p148) AND (1 <= p167) AND (1 <= p178)))))) : (((1 <= p151) AND (1 <= p202)) U NOT(X (X ((F ((((1 <= p155)) U ((1 <= p159)))) AND ((1 <= p124))))))) : X (NOT((NOT(F (((1 <= p71)))) U F (NOT(G (F (((1 <= p211)))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
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:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
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:300
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (G (((1 <= p132)))) U ((1 <= p12) AND (1 <= p132)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X (G (((1 <= p132)))) U ((1 <= p12) AND (1 <= p132)))
lola: processed formula length: 54
lola: 100 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: 978 markings, 978 edges
lola: ========================================
lola: subprocess 1 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (X (F (((p109 <= 0))))) AND (F ((F (((p145 <= 0) OR (p153 <= 0) OR (p180 <= 0))) AND (((p109 <= 0)) AND ((p239 <= 0))))) OR G (F (((p109 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((p109 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((p109 <= 0))))
lola: processed formula length: 21
lola: 100 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: 639009 markings, 2256187 edges, 127802 markings/sec, 0 secs
lola: 1211166 markings, 4464822 edges, 114431 markings/sec, 5 secs
lola: 1831730 markings, 6670292 edges, 124113 markings/sec, 10 secs
lola: 2402718 markings, 8887039 edges, 114198 markings/sec, 15 secs
lola: 2933765 markings, 11037351 edges, 106209 markings/sec, 20 secs
lola: 3462950 markings, 13196664 edges, 105837 markings/sec, 25 secs
lola: 4024581 markings, 15371940 edges, 112326 markings/sec, 30 secs
lola: 4554336 markings, 17560401 edges, 105951 markings/sec, 35 secs
lola: 5072416 markings, 19766222 edges, 103616 markings/sec, 40 secs
lola: 5584805 markings, 21937852 edges, 102478 markings/sec, 45 secs
lola: 6114090 markings, 24069496 edges, 105857 markings/sec, 50 secs
lola: 6655759 markings, 26260725 edges, 108334 markings/sec, 55 secs
lola: 7219897 markings, 28404470 edges, 112828 markings/sec, 60 secs
lola: 7805957 markings, 30552042 edges, 117212 markings/sec, 65 secs
lola: 8354552 markings, 32722925 edges, 109719 markings/sec, 70 secs
lola: 8880598 markings, 34885285 edges, 105209 markings/sec, 75 secs
lola: 9411902 markings, 36996078 edges, 106261 markings/sec, 80 secs
lola: 9924028 markings, 39148570 edges, 102425 markings/sec, 85 secs
lola: 10409681 markings, 41250776 edges, 97131 markings/sec, 90 secs
lola: 10910960 markings, 43404744 edges, 100256 markings/sec, 95 secs
lola: 11407101 markings, 45559998 edges, 99228 markings/sec, 100 secs
lola: 11900135 markings, 47687469 edges, 98607 markings/sec, 105 secs
lola: 12386499 markings, 49805040 edges, 97273 markings/sec, 110 secs
lola: 12896485 markings, 51951710 edges, 101997 markings/sec, 115 secs
lola: 13435463 markings, 54092145 edges, 107796 markings/sec, 120 secs
lola: 13962349 markings, 56228018 edges, 105377 markings/sec, 125 secs
lola: 14461409 markings, 58407988 edges, 99812 markings/sec, 130 secs
lola: 14943146 markings, 60519144 edges, 96347 markings/sec, 135 secs
lola: 15393918 markings, 62634883 edges, 90154 markings/sec, 140 secs
lola: 15866520 markings, 64752788 edges, 94520 markings/sec, 145 secs
lola: 16469767 markings, 66891726 edges, 120649 markings/sec, 150 secs
lola: 16989312 markings, 69019360 edges, 103909 markings/sec, 155 secs
lola: 17508908 markings, 71138428 edges, 103919 markings/sec, 160 secs
lola: 18078943 markings, 73278033 edges, 114007 markings/sec, 165 secs
lola: 18650200 markings, 75407232 edges, 114251 markings/sec, 170 secs
lola: 19144211 markings, 77517664 edges, 98802 markings/sec, 175 secs
lola: 19663265 markings, 79651078 edges, 103811 markings/sec, 180 secs
lola: 20149520 markings, 81725111 edges, 97251 markings/sec, 185 secs
lola: 20636816 markings, 83838147 edges, 97459 markings/sec, 190 secs
lola: 21152218 markings, 85943394 edges, 103080 markings/sec, 195 secs
lola: 21644184 markings, 88111194 edges, 98393 markings/sec, 200 secs
lola: 22187371 markings, 90231828 edges, 108637 markings/sec, 205 secs
lola: 22681194 markings, 92360677 edges, 98765 markings/sec, 210 secs
lola: 23201432 markings, 94490941 edges, 104048 markings/sec, 215 secs
lola: 23744342 markings, 96623553 edges, 108582 markings/sec, 220 secs
lola: 24295715 markings, 98770421 edges, 110275 markings/sec, 225 secs
lola: 24839931 markings, 100871981 edges, 108843 markings/sec, 230 secs
lola: 25336098 markings, 102977069 edges, 99233 markings/sec, 235 secs
lola: 25827518 markings, 105098773 edges, 98284 markings/sec, 240 secs
lola: 26317641 markings, 107211534 edges, 98025 markings/sec, 245 secs
lola: 26778598 markings, 109300835 edges, 92191 markings/sec, 250 secs
lola: 27227303 markings, 111373628 edges, 89741 markings/sec, 255 secs
lola: 27724972 markings, 113470628 edges, 99534 markings/sec, 260 secs
lola: 28236879 markings, 115418846 edges, 102381 markings/sec, 265 secs
lola: 28715967 markings, 117338764 edges, 95818 markings/sec, 270 secs
lola: 29241893 markings, 119458967 edges, 105185 markings/sec, 275 secs
lola: 29748767 markings, 121558966 edges, 101375 markings/sec, 280 secs
lola: 30202917 markings, 123642483 edges, 90830 markings/sec, 285 secs
lola: 30665351 markings, 125772753 edges, 92487 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4814728 KB
lola: time consumption: 301 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4814728 KB
lola: time consumption: 301 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 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F ((F (G (((1 <= p31)))) OR X (((1 <= p27) AND (1 <= p35) AND (1 <= p62))))) AND (X (X (F (((p27 <= 0) OR (p35 <= 0) OR (p62 <= 0))))) OR (F (G (((1 <= p31)))) OR X (((1 <= p27) AND (1 <= p35) AND (1 <= p62)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F ((F (G (((1 <= p31)))) OR X (((1 <= p27) AND (1 <= p35) AND (1 <= p62))))) AND (X (X (F (((p27 <= 0) OR (p35 <= 0) OR (p62 <= 0))))) OR (F (G (((1 <= p31)))) OR X (((1 <= p27) AND (1 <= p35) AND (1 <= p62)))))))
lola: processed formula length: 219
lola: 100 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 978 markings, 978 edges
lola: ========================================
lola: subprocess 3 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((X ((((p179 <= 0)) AND (F (((p145 <= 0) OR (p153 <= 0) OR (p180 <= 0))) OR G (((p179 <= 0)))))) R ((p179 <= 0) OR ((1 <= p145) AND (1 <= p153) AND (1 <= p180))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((X ((((p179 <= 0)) AND (F (((p145 <= 0) OR (p153 <= 0) OR (p180 <= 0))) OR G (((p179 <= 0)))))) R ((p179 <= 0) OR ((1 <= p145) AND (1 <= p153) AND (1 <= p180))))))
lola: processed formula length: 172
lola: 100 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 6 markings, 5 edges
lola: ========================================
lola: subprocess 4 will run for 363 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((G (((1 <= p160))) AND ((1 <= p64)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((G (((1 <= p160))) AND ((1 <= p64)))))
lola: processed formula length: 44
lola: 100 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: 978 markings, 978 edges
lola: ========================================
lola: subprocess 5 will run for 408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (((p27 <= 0) OR (p38 <= 0) OR (p63 <= 0))) AND ((F (G ((((p204 <= 0) OR (p212 <= 0) OR (p239 <= 0)) AND ((p189 <= 0))))) OR X (G (((p27 <= 0) OR (p38 <= 0) OR (p63 <= 0))))) AND (((p204 <= 0) OR (p212 <= 0) OR (p239 <= 0)) AND ((p27 <= 0) OR (p38 <= 0) OR (p63 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((((p204 <= 0) OR (p212 <= 0) OR (p239 <= 0)) AND ((p189 <= 0)))))
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 ((((p204 <= 0) OR (p212 <= 0) OR (p239 <= 0)) AND ((p189 <= 0)))))
lola: processed formula length: 73
lola: 100 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: 415680 markings, 2221054 edges, 83136 markings/sec, 0 secs
lola: 799394 markings, 4423950 edges, 76743 markings/sec, 5 secs
lola: 1180867 markings, 6637774 edges, 76295 markings/sec, 10 secs
lola: 1538105 markings, 8786723 edges, 71448 markings/sec, 15 secs
lola: 1901411 markings, 10964516 edges, 72661 markings/sec, 20 secs
lola: 2238822 markings, 13086843 edges, 67482 markings/sec, 25 secs
lola: 2564502 markings, 15261968 edges, 65136 markings/sec, 30 secs
lola: 2883384 markings, 17396558 edges, 63776 markings/sec, 35 secs
lola: 3199408 markings, 19493789 edges, 63205 markings/sec, 40 secs
lola: 3514650 markings, 21626338 edges, 63048 markings/sec, 45 secs
lola: 3844448 markings, 23825436 edges, 65960 markings/sec, 50 secs
lola: 4158681 markings, 26009964 edges, 62847 markings/sec, 55 secs
lola: 4490735 markings, 28186333 edges, 66411 markings/sec, 60 secs
lola: 4781866 markings, 30316864 edges, 58226 markings/sec, 65 secs
lola: 5128101 markings, 32501829 edges, 69247 markings/sec, 70 secs
lola: 5449661 markings, 34690658 edges, 64312 markings/sec, 75 secs
lola: 5735086 markings, 36833231 edges, 57085 markings/sec, 80 secs
lola: 6046583 markings, 38989886 edges, 62299 markings/sec, 85 secs
lola: 6332397 markings, 41114580 edges, 57163 markings/sec, 90 secs
lola: 6625001 markings, 43239787 edges, 58521 markings/sec, 95 secs
lola: 6926518 markings, 45340154 edges, 60303 markings/sec, 100 secs
lola: 7229824 markings, 47476613 edges, 60661 markings/sec, 105 secs
lola: 7518108 markings, 49633926 edges, 57657 markings/sec, 110 secs
lola: 7791631 markings, 51801728 edges, 54705 markings/sec, 115 secs
lola: 8105060 markings, 53922816 edges, 62686 markings/sec, 120 secs
lola: 8407888 markings, 56052829 edges, 60566 markings/sec, 125 secs
lola: 8695291 markings, 58192873 edges, 57481 markings/sec, 130 secs
lola: 8962865 markings, 60296812 edges, 53515 markings/sec, 135 secs
lola: 9234679 markings, 62362008 edges, 54363 markings/sec, 140 secs
lola: 9496657 markings, 64430378 edges, 52396 markings/sec, 145 secs
lola: 9746059 markings, 66525116 edges, 49880 markings/sec, 150 secs
lola: 10114013 markings, 68708826 edges, 73591 markings/sec, 155 secs
lola: 10415508 markings, 70931569 edges, 60299 markings/sec, 160 secs
lola: 10734930 markings, 73097851 edges, 63884 markings/sec, 165 secs
lola: 11021846 markings, 75260547 edges, 57383 markings/sec, 170 secs
lola: 11295505 markings, 77407245 edges, 54732 markings/sec, 175 secs
lola: 11552731 markings, 79519973 edges, 51445 markings/sec, 180 secs
lola: 11847518 markings, 81657562 edges, 58957 markings/sec, 185 secs
lola: 12137567 markings, 83788598 edges, 58010 markings/sec, 190 secs
lola: 12416573 markings, 85908771 edges, 55801 markings/sec, 195 secs
lola: 12677627 markings, 88013829 edges, 52211 markings/sec, 200 secs
lola: 12926611 markings, 90114306 edges, 49797 markings/sec, 205 secs
lola: 13218603 markings, 92209150 edges, 58398 markings/sec, 210 secs
lola: 13508045 markings, 94289075 edges, 57888 markings/sec, 215 secs
lola: 13778529 markings, 96351013 edges, 54097 markings/sec, 220 secs
lola: 14057083 markings, 98427249 edges, 55711 markings/sec, 225 secs
lola: 14350001 markings, 100572448 edges, 58584 markings/sec, 230 secs
lola: 14627431 markings, 102724284 edges, 55486 markings/sec, 235 secs
lola: 14898485 markings, 104863595 edges, 54211 markings/sec, 240 secs
lola: 15143417 markings, 106949807 edges, 48986 markings/sec, 245 secs
lola: 15389294 markings, 109078797 edges, 49175 markings/sec, 250 secs
lola: 15663488 markings, 111261121 edges, 54839 markings/sec, 255 secs
lola: 15982091 markings, 113375907 edges, 63721 markings/sec, 260 secs
lola: 16277084 markings, 115490018 edges, 58999 markings/sec, 265 secs
lola: 16551764 markings, 117571165 edges, 54936 markings/sec, 270 secs
lola: 16819720 markings, 119661583 edges, 53591 markings/sec, 275 secs
lola: 17107499 markings, 121801683 edges, 57556 markings/sec, 280 secs
lola: 17365329 markings, 123909493 edges, 51566 markings/sec, 285 secs
lola: 17613930 markings, 126033279 edges, 49720 markings/sec, 290 secs
lola: 17876731 markings, 128099245 edges, 52560 markings/sec, 295 secs
lola: 18141211 markings, 130170534 edges, 52896 markings/sec, 300 secs
lola: 18387012 markings, 132208261 edges, 49160 markings/sec, 305 secs
lola: 18625870 markings, 134243363 edges, 47772 markings/sec, 310 secs
lola: 18867725 markings, 136296257 edges, 48371 markings/sec, 315 secs
lola: 19117116 markings, 138384780 edges, 49878 markings/sec, 320 secs
lola: 19345958 markings, 140452250 edges, 45768 markings/sec, 325 secs
lola: 19634758 markings, 142553429 edges, 57760 markings/sec, 330 secs
lola: 19974507 markings, 144749308 edges, 67950 markings/sec, 335 secs
lola: 20284937 markings, 146959735 edges, 62086 markings/sec, 340 secs
lola: 20580223 markings, 149100748 edges, 59057 markings/sec, 345 secs
lola: 20863042 markings, 151279827 edges, 56564 markings/sec, 350 secs
lola: 21135937 markings, 153407312 edges, 54579 markings/sec, 355 secs
lola: 21392920 markings, 155539335 edges, 51397 markings/sec, 360 secs
lola: 21704958 markings, 157669186 edges, 62408 markings/sec, 365 secs
lola: 21985813 markings, 159817859 edges, 56171 markings/sec, 370 secs
lola: 22258102 markings, 161914497 edges, 54458 markings/sec, 375 secs
lola: 22511530 markings, 163996934 edges, 50686 markings/sec, 380 secs
lola: 22773298 markings, 166110771 edges, 52354 markings/sec, 385 secs
lola: 23060963 markings, 168197494 edges, 57533 markings/sec, 390 secs
lola: 23354157 markings, 170280247 edges, 58639 markings/sec, 395 secs
lola: 23622699 markings, 172352062 edges, 53708 markings/sec, 400 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown no yes no unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown no yes no unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3630968 KB
lola: time consumption: 709 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown no yes no unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3630968 KB
lola: time consumption: 709 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((F ((X (((1 <= p121))) AND ((1 <= p62)))) AND (((1 <= p23)) AND ((1 <= p51)))) U X (X (F (((p62 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((F ((X (((1 <= p121))) AND ((1 <= p62)))) AND (((1 <= p23)) AND ((1 <= p51)))) U X (X (F (((p62 <= 0))))))
lola: processed formula length: 107
lola: 100 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 13 markings, 22 edges
lola: ========================================
lola: subprocess 7 will run for 476 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((X (F (((1 <= p66)))) OR (F (((1 <= p13))) OR ((1 <= p66)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((X (F (((1 <= p66)))) OR (F (((1 <= p13))) OR ((1 <= p66)))))
lola: processed formula length: 64
lola: 100 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: 615363 markings, 2249830 edges, 123073 markings/sec, 0 secs
lola: 1186886 markings, 4453112 edges, 114305 markings/sec, 5 secs
lola: 1700036 markings, 6658221 edges, 102630 markings/sec, 10 secs
lola: 2202866 markings, 8849245 edges, 100566 markings/sec, 15 secs
lola: 2726122 markings, 11038802 edges, 104651 markings/sec, 20 secs
lola: 3233224 markings, 13231438 edges, 101420 markings/sec, 25 secs
lola: 3731875 markings, 15358520 edges, 99730 markings/sec, 30 secs
lola: 4229268 markings, 17399566 edges, 99479 markings/sec, 35 secs
lola: 4722760 markings, 19421437 edges, 98698 markings/sec, 40 secs
lola: 5249258 markings, 21470030 edges, 105300 markings/sec, 45 secs
lola: 5779114 markings, 23598942 edges, 105971 markings/sec, 50 secs
lola: 6259320 markings, 25731237 edges, 96041 markings/sec, 55 secs
lola: 6749367 markings, 27851341 edges, 98009 markings/sec, 60 secs
lola: 7229134 markings, 29952160 edges, 95953 markings/sec, 65 secs
lola: 7688402 markings, 32021375 edges, 91854 markings/sec, 70 secs
lola: 8213443 markings, 34217911 edges, 105008 markings/sec, 75 secs
lola: 8717462 markings, 36374136 edges, 100804 markings/sec, 80 secs
lola: 9177921 markings, 38530987 edges, 92092 markings/sec, 85 secs
lola: 9639968 markings, 40695710 edges, 92409 markings/sec, 90 secs
lola: 10078434 markings, 42846691 edges, 87693 markings/sec, 95 secs
lola: 10541544 markings, 45002028 edges, 92622 markings/sec, 100 secs
lola: 10983350 markings, 47159187 edges, 88361 markings/sec, 105 secs
lola: 11420402 markings, 49250057 edges, 87410 markings/sec, 110 secs
lola: 11835958 markings, 51175631 edges, 83111 markings/sec, 115 secs
lola: 12257057 markings, 53102777 edges, 84220 markings/sec, 120 secs
lola: 12691416 markings, 55056762 edges, 86872 markings/sec, 125 secs
lola: 13153297 markings, 57086737 edges, 92376 markings/sec, 130 secs
lola: 13608460 markings, 59183046 edges, 91033 markings/sec, 135 secs
lola: 14031494 markings, 61278759 edges, 84607 markings/sec, 140 secs
lola: 14459551 markings, 63344366 edges, 85611 markings/sec, 145 secs
lola: 14886007 markings, 65409961 edges, 85291 markings/sec, 150 secs
lola: 15288610 markings, 67454543 edges, 80521 markings/sec, 155 secs
lola: 15777866 markings, 69593081 edges, 97851 markings/sec, 160 secs
lola: 16285889 markings, 71736692 edges, 101605 markings/sec, 165 secs
lola: 16766889 markings, 73890467 edges, 96200 markings/sec, 170 secs
lola: 17216317 markings, 76041329 edges, 89886 markings/sec, 175 secs
lola: 17651377 markings, 78173159 edges, 87012 markings/sec, 180 secs
lola: 18102977 markings, 80311763 edges, 90320 markings/sec, 185 secs
lola: 18615371 markings, 82749475 edges, 102479 markings/sec, 190 secs
lola: 19046812 markings, 84835431 edges, 86288 markings/sec, 195 secs
lola: 19459081 markings, 86732516 edges, 82454 markings/sec, 200 secs
lola: 19876070 markings, 88637276 edges, 83398 markings/sec, 205 secs
lola: 20291849 markings, 90553849 edges, 83156 markings/sec, 210 secs
lola: 20752833 markings, 92543445 edges, 92197 markings/sec, 215 secs
lola: 21210106 markings, 94632440 edges, 91455 markings/sec, 220 secs
lola: 21626210 markings, 96717286 edges, 83221 markings/sec, 225 secs
lola: 22046306 markings, 98800425 edges, 84019 markings/sec, 230 secs
lola: 22487575 markings, 100855805 edges, 88254 markings/sec, 235 secs
lola: 22891322 markings, 102912834 edges, 80749 markings/sec, 240 secs
lola: 23351343 markings, 104967631 edges, 92004 markings/sec, 245 secs
lola: 23832015 markings, 107044812 edges, 96134 markings/sec, 250 secs
lola: 24273820 markings, 109068847 edges, 88361 markings/sec, 255 secs
lola: 24743695 markings, 111125105 edges, 93975 markings/sec, 260 secs
lola: 25199360 markings, 113193417 edges, 91133 markings/sec, 265 secs
lola: 25636893 markings, 115303725 edges, 87507 markings/sec, 270 secs
lola: 26050782 markings, 117327595 edges, 82778 markings/sec, 275 secs
lola: 26451073 markings, 119284656 edges, 80058 markings/sec, 280 secs
lola: 26858104 markings, 121323329 edges, 81406 markings/sec, 285 secs
lola: 27278045 markings, 123382691 edges, 83988 markings/sec, 290 secs
lola: 27712002 markings, 125478748 edges, 86791 markings/sec, 295 secs
lola: 28115965 markings, 127481162 edges, 80793 markings/sec, 300 secs
lola: 28524469 markings, 129455983 edges, 81701 markings/sec, 305 secs
lola: 28929877 markings, 131501718 edges, 81082 markings/sec, 310 secs
lola: 29376052 markings, 133526003 edges, 89235 markings/sec, 315 secs
lola: 29811377 markings, 135517491 edges, 87065 markings/sec, 320 secs
lola: 30217914 markings, 137490580 edges, 81307 markings/sec, 325 secs
lola: 30635418 markings, 139463035 edges, 83501 markings/sec, 330 secs
lola: 31061668 markings, 141474625 edges, 85250 markings/sec, 335 secs
lola: 31474116 markings, 143344082 edges, 82490 markings/sec, 340 secs
lola: 31836828 markings, 145139818 edges, 72542 markings/sec, 345 secs
lola: 32246104 markings, 147056662 edges, 81855 markings/sec, 350 secs
lola: 32700026 markings, 149098727 edges, 90784 markings/sec, 355 secs
lola: 33122657 markings, 151153226 edges, 84526 markings/sec, 360 secs
lola: 33531501 markings, 153198223 edges, 81769 markings/sec, 365 secs
lola: 33935152 markings, 155218556 edges, 80730 markings/sec, 370 secs
lola: 34376146 markings, 157172860 edges, 88199 markings/sec, 375 secs
lola: 34778136 markings, 159116668 edges, 80398 markings/sec, 380 secs
lola: 35182578 markings, 160974551 edges, 80888 markings/sec, 385 secs
lola: 35555010 markings, 162815919 edges, 74486 markings/sec, 390 secs
lola: 35987992 markings, 164769269 edges, 86596 markings/sec, 395 secs
lola: 36448863 markings, 166729393 edges, 92174 markings/sec, 400 secs
lola: 36881666 markings, 168671978 edges, 86561 markings/sec, 405 secs
lola: 37354046 markings, 170706070 edges, 94476 markings/sec, 410 secs
lola: 37844109 markings, 172797357 edges, 98013 markings/sec, 415 secs
lola: 38360693 markings, 174971018 edges, 103317 markings/sec, 420 secs
lola: 38823375 markings, 176983039 edges, 92536 markings/sec, 425 secs
lola: 39288813 markings, 178891090 edges, 93088 markings/sec, 430 secs
lola: 39733150 markings, 180975252 edges, 88867 markings/sec, 435 secs
lola: 40148998 markings, 182880864 edges, 83170 markings/sec, 440 secs
lola: 40619784 markings, 184854066 edges, 94157 markings/sec, 445 secs
lola: 41074485 markings, 186866678 edges, 90940 markings/sec, 450 secs
lola: 41500886 markings, 188842690 edges, 85280 markings/sec, 455 secs
lola: 41895670 markings, 190637249 edges, 78957 markings/sec, 460 secs
lola: 42305116 markings, 192535175 edges, 81889 markings/sec, 465 secs
lola: 42711837 markings, 194627121 edges, 81344 markings/sec, 470 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown no yes no unknown unknown yes unknown unknown unknown unknown
lola: memory consumption: 6942068 KB
lola: time consumption: 1185 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 477 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((G (((1 <= p58))) AND (((1 <= p139)) AND (((1 <= p155)) AND (F (((1 <= p58))) OR ((1 <= p148) AND (1 <= p167) AND (1 <= p178))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((G (((1 <= p58))) AND (((1 <= p139)) AND (((1 <= p155)) AND (F (((1 <= p58))) OR ((1 <= p148) AND (1 <= p167) AND (1 <= p178))))))))
lola: processed formula length: 138
lola: 100 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: 978 markings, 978 edges
lola: ========================================
lola: subprocess 9 will run for 596 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p151) AND (1 <= p202)) U X (X ((G (((p159 <= 0))) OR ((p124 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (((1 <= p151) AND (1 <= p202)) U X (X ((G (((p159 <= 0))) OR ((p124 <= 0))))))
lola: processed formula length: 78
lola: 100 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 9 markings, 8 edges
lola: ========================================
lola: subprocess 10 will run for 795 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((G (F (((1 <= p211)))) AND (F (((1 <= p71))) OR G (F (((1 <= p211)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((G (F (((1 <= p211)))) AND (F (((1 <= p71))) OR G (F (((1 <= p211)))))))
lola: processed formula length: 75
lola: 100 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: 576265 markings, 2069356 edges, 115253 markings/sec, 0 secs
lola: 1101150 markings, 4105724 edges, 104977 markings/sec, 5 secs
lola: 1581150 markings, 6147848 edges, 96000 markings/sec, 10 secs
lola: 2052439 markings, 8169179 edges, 94258 markings/sec, 15 secs
lola: 2546431 markings, 10192662 edges, 98798 markings/sec, 20 secs
lola: 2999133 markings, 12209240 edges, 90540 markings/sec, 25 secs
lola: 3484105 markings, 14157985 edges, 96994 markings/sec, 30 secs
lola: 3944728 markings, 16050484 edges, 92125 markings/sec, 35 secs
lola: 4393809 markings, 17923572 edges, 89816 markings/sec, 40 secs
lola: 4893315 markings, 19836720 edges, 99901 markings/sec, 45 secs
lola: 5379169 markings, 21812137 edges, 97171 markings/sec, 50 secs
lola: 5827862 markings, 23794743 edges, 89739 markings/sec, 55 secs
lola: 6288057 markings, 25745474 edges, 92039 markings/sec, 60 secs
lola: 6717323 markings, 27692646 edges, 85853 markings/sec, 65 secs
lola: 7180976 markings, 29656527 edges, 92731 markings/sec, 70 secs
lola: 7663156 markings, 31666593 edges, 96436 markings/sec, 75 secs
lola: 8119288 markings, 33672148 edges, 91226 markings/sec, 80 secs
lola: 8540926 markings, 35677080 edges, 84328 markings/sec, 85 secs
lola: 8954196 markings, 37668009 edges, 82654 markings/sec, 90 secs
lola: 9386534 markings, 39658745 edges, 86468 markings/sec, 95 secs
lola: 9802724 markings, 41657462 edges, 83238 markings/sec, 100 secs
lola: 10200577 markings, 43628026 edges, 79571 markings/sec, 105 secs
lola: 10612640 markings, 45452934 edges, 82413 markings/sec, 110 secs
lola: 11015609 markings, 47279004 edges, 80594 markings/sec, 115 secs
lola: 11404869 markings, 49097992 edges, 77852 markings/sec, 120 secs
lola: 11830201 markings, 50938156 edges, 85066 markings/sec, 125 secs
lola: 12264776 markings, 52883209 edges, 86915 markings/sec, 130 secs
lola: 12653763 markings, 54824771 edges, 77797 markings/sec, 135 secs
lola: 13057363 markings, 56764956 edges, 80720 markings/sec, 140 secs
lola: 13463478 markings, 58682333 edges, 81223 markings/sec, 145 secs
lola: 13838224 markings, 60599316 edges, 74949 markings/sec, 150 secs
lola: 14291404 markings, 62564611 edges, 90636 markings/sec, 155 secs
lola: 14766608 markings, 64556398 edges, 95041 markings/sec, 160 secs
lola: 15212745 markings, 66557938 edges, 89227 markings/sec, 165 secs
lola: 15636790 markings, 68561934 edges, 84809 markings/sec, 170 secs
lola: 16045939 markings, 70528291 edges, 81830 markings/sec, 175 secs
lola: 16480970 markings, 72513729 edges, 87006 markings/sec, 180 secs
lola: 16891350 markings, 74504831 edges, 82076 markings/sec, 185 secs
lola: 17295977 markings, 76435346 edges, 80925 markings/sec, 190 secs
lola: 17687112 markings, 78233737 edges, 78227 markings/sec, 195 secs
lola: 18082173 markings, 80033572 edges, 79012 markings/sec, 200 secs
lola: 18470265 markings, 81818301 edges, 77618 markings/sec, 205 secs
lola: 18897219 markings, 83652449 edges, 85391 markings/sec, 210 secs
lola: 19323867 markings, 85595248 edges, 85330 markings/sec, 215 secs
lola: 19719869 markings, 87537012 edges, 79200 markings/sec, 220 secs
lola: 20119651 markings, 89456646 edges, 79956 markings/sec, 225 secs
lola: 20517717 markings, 91364224 edges, 79613 markings/sec, 230 secs
lola: 20887878 markings, 93263627 edges, 74032 markings/sec, 235 secs
lola: 21332853 markings, 95191263 edges, 88995 markings/sec, 240 secs
lola: 21771784 markings, 97095566 edges, 87786 markings/sec, 245 secs
lola: 22195428 markings, 98941785 edges, 84729 markings/sec, 250 secs
lola: 22623849 markings, 100858630 edges, 85684 markings/sec, 255 secs
lola: 23045240 markings, 102793022 edges, 84278 markings/sec, 260 secs
lola: 23439825 markings, 104671829 edges, 78917 markings/sec, 265 secs
lola: 23802667 markings, 106511433 edges, 72568 markings/sec, 270 secs
lola: 24189100 markings, 108379765 edges, 77287 markings/sec, 275 secs
lola: 24566665 markings, 110265975 edges, 75513 markings/sec, 280 secs
lola: 24975118 markings, 112217089 edges, 81691 markings/sec, 285 secs
lola: 25366048 markings, 114099499 edges, 78186 markings/sec, 290 secs
lola: 25741294 markings, 115909965 edges, 75049 markings/sec, 295 secs
lola: 26120838 markings, 117802602 edges, 75909 markings/sec, 300 secs
lola: 26528520 markings, 119669685 edges, 81536 markings/sec, 305 secs
lola: 26943119 markings, 121525446 edges, 82920 markings/sec, 310 secs
lola: 27314793 markings, 123347111 edges, 74335 markings/sec, 315 secs
lola: 27707533 markings, 125203821 edges, 78548 markings/sec, 320 secs
lola: 28116439 markings, 127080356 edges, 81781 markings/sec, 325 secs
lola: 28492670 markings, 128805361 edges, 75246 markings/sec, 330 secs
lola: 28841845 markings, 130519941 edges, 69835 markings/sec, 335 secs
lola: 29256198 markings, 132398432 edges, 82871 markings/sec, 340 secs
lola: 29669003 markings, 134308069 edges, 82561 markings/sec, 345 secs
lola: 30048266 markings, 136198909 edges, 75853 markings/sec, 350 secs
lola: 30434554 markings, 138113081 edges, 77258 markings/sec, 355 secs
lola: 30825247 markings, 139986924 edges, 78139 markings/sec, 360 secs
lola: 31223188 markings, 141800258 edges, 79588 markings/sec, 365 secs
lola: 31596524 markings, 143616720 edges, 74667 markings/sec, 370 secs
lola: 31978837 markings, 145357426 edges, 76463 markings/sec, 375 secs
lola: 32326342 markings, 147079445 edges, 69501 markings/sec, 380 secs
lola: 32723720 markings, 148890737 edges, 79476 markings/sec, 385 secs
lola: 33147204 markings, 150703965 edges, 84697 markings/sec, 390 secs
lola: 33597954 markings, 152571571 edges, 90150 markings/sec, 395 secs
lola: 34053526 markings, 154492512 edges, 91114 markings/sec, 400 secs
lola: 34529811 markings, 156496965 edges, 95257 markings/sec, 405 secs
lola: 34970409 markings, 158397372 edges, 88120 markings/sec, 410 secs
lola: 35405540 markings, 160140848 edges, 87026 markings/sec, 415 secs
lola: 35827482 markings, 162076635 edges, 84388 markings/sec, 420 secs
lola: 36214449 markings, 163848493 edges, 77393 markings/sec, 425 secs
lola: 36649466 markings, 165666241 edges, 87003 markings/sec, 430 secs
lola: 37079321 markings, 167543782 edges, 85971 markings/sec, 435 secs
lola: 37473451 markings, 169395037 edges, 78826 markings/sec, 440 secs
lola: 37854920 markings, 171084862 edges, 76294 markings/sec, 445 secs
lola: 38237595 markings, 172842683 edges, 76535 markings/sec, 450 secs
lola: 38619375 markings, 174779232 edges, 76356 markings/sec, 455 secs
lola: 38967387 markings, 176548979 edges, 69602 markings/sec, 460 secs
lola: 39339161 markings, 178320579 edges, 74355 markings/sec, 465 secs
lola: 39738306 markings, 180206896 edges, 79829 markings/sec, 470 secs
lola: 40097026 markings, 182068117 edges, 71744 markings/sec, 475 secs
lola: 40473319 markings, 183856964 edges, 75259 markings/sec, 480 secs
lola: 40841893 markings, 185526858 edges, 73715 markings/sec, 485 secs
lola: 41229350 markings, 187403298 edges, 77491 markings/sec, 490 secs
lola: 41595636 markings, 189294010 edges, 73257 markings/sec, 495 secs
lola: 41937227 markings, 191002238 edges, 68318 markings/sec, 500 secs
lola: 42333500 markings, 192837439 edges, 79255 markings/sec, 505 secs
lola: 42721663 markings, 194718640 edges, 77633 markings/sec, 510 secs
lola: 43077483 markings, 196573332 edges, 71164 markings/sec, 515 secs
lola: 43497186 markings, 198407392 edges, 83941 markings/sec, 520 secs
lola: 43873198 markings, 200206624 edges, 75202 markings/sec, 525 secs
lola: 44267854 markings, 202020529 edges, 78931 markings/sec, 530 secs
lola: 44631345 markings, 203812600 edges, 72698 markings/sec, 535 secs
lola: 44965382 markings, 205585170 edges, 66807 markings/sec, 540 secs
lola: 45312592 markings, 207358378 edges, 69442 markings/sec, 545 secs
lola: 45706177 markings, 209093640 edges, 78717 markings/sec, 550 secs
lola: 46125559 markings, 210936627 edges, 83876 markings/sec, 555 secs
lola: 46569660 markings, 212883944 edges, 88820 markings/sec, 560 secs
lola: 47027038 markings, 214892646 edges, 91476 markings/sec, 565 secs
lola: 47472115 markings, 216875698 edges, 89015 markings/sec, 570 secs
lola: 47848706 markings, 218679112 edges, 75318 markings/sec, 575 secs
lola: 48215668 markings, 220480243 edges, 73392 markings/sec, 580 secs
lola: 48609590 markings, 222303250 edges, 78784 markings/sec, 585 secs
lola: 49061592 markings, 224296968 edges, 90400 markings/sec, 590 secs
lola: 49485353 markings, 226160753 edges, 84752 markings/sec, 595 secs
lola: 49880822 markings, 228026715 edges, 79094 markings/sec, 600 secs
lola: 50253343 markings, 229871713 edges, 74504 markings/sec, 605 secs
lola: 50639535 markings, 231762569 edges, 77238 markings/sec, 610 secs
lola: 51025287 markings, 233579385 edges, 77150 markings/sec, 615 secs
lola: 51417514 markings, 235342056 edges, 78445 markings/sec, 620 secs
lola: 51794936 markings, 237112904 edges, 75484 markings/sec, 625 secs
lola: 52238365 markings, 239069881 edges, 88686 markings/sec, 630 secs
lola: 52656149 markings, 241001058 edges, 83557 markings/sec, 635 secs
lola: 53029895 markings, 242806498 edges, 74749 markings/sec, 640 secs
lola: 53461128 markings, 244805932 edges, 86247 markings/sec, 645 secs
lola: 53901700 markings, 246673455 edges, 88114 markings/sec, 650 secs
lola: 54338745 markings, 248426578 edges, 87409 markings/sec, 655 secs
lola: 54772794 markings, 250206015 edges, 86810 markings/sec, 660 secs
lola: 55205897 markings, 251970513 edges, 86621 markings/sec, 665 secs
lola: 55590443 markings, 253639872 edges, 76909 markings/sec, 670 secs
lola: 55943368 markings, 255263474 edges, 70585 markings/sec, 675 secs
lola: 56289622 markings, 256932652 edges, 69251 markings/sec, 680 secs
lola: 56609737 markings, 258557306 edges, 64023 markings/sec, 685 secs
lola: 56961641 markings, 260186702 edges, 70381 markings/sec, 690 secs
lola: 57295125 markings, 261826632 edges, 66697 markings/sec, 695 secs
lola: 57618837 markings, 263450152 edges, 64742 markings/sec, 700 secs
lola: 57958421 markings, 265183733 edges, 67917 markings/sec, 705 secs
lola: 58322323 markings, 267008800 edges, 72780 markings/sec, 710 secs
lola: 58660371 markings, 268706712 edges, 67610 markings/sec, 715 secs
lola: 59013570 markings, 270470232 edges, 70640 markings/sec, 720 secs
lola: 59361969 markings, 272215041 edges, 69680 markings/sec, 725 secs
lola: 59751687 markings, 273960274 edges, 77944 markings/sec, 730 secs
lola: 60169817 markings, 275859749 edges, 83626 markings/sec, 735 secs
lola: 60542655 markings, 277616486 edges, 74568 markings/sec, 740 secs
lola: 60951323 markings, 279449302 edges, 81734 markings/sec, 745 secs
lola: 61287490 markings, 281220509 edges, 67233 markings/sec, 750 secs
lola: 61678809 markings, 283108920 edges, 78264 markings/sec, 755 secs
lola: 62066694 markings, 284952346 edges, 77577 markings/sec, 760 secs
lola: 62432603 markings, 286828166 edges, 73182 markings/sec, 765 secs
lola: 62813459 markings, 288530115 edges, 76171 markings/sec, 770 secs
lola: 63176553 markings, 290207959 edges, 72619 markings/sec, 775 secs
lola: 63530475 markings, 291812680 edges, 70784 markings/sec, 780 secs
lola: 63896336 markings, 293446570 edges, 73172 markings/sec, 785 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown no yes no unknown unknown yes unknown no yes unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no unknown unknown no yes no unknown unknown yes unknown no yes unknown
lola: memory consumption: 10440496 KB
lola: time consumption: 1980 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 795 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((F (((1 <= p210))) U ((1 <= p210))) AND F ((F (((p210 <= 0))) OR ((1 <= p210)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 794 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((F (((p210 <= 0))) OR ((1 <= p210))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((F (((p210 <= 0))) OR ((1 <= p210))))
lola: processed formula length: 40
lola: 100 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 1 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 1589 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((1 <= p210))) U ((1 <= p210)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (F (((1 <= p210))) U ((1 <= p210)))
lola: processed formula length: 35
lola: 100 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: 638497 markings, 2278647 edges, 127699 markings/sec, 0 secs
lola: 1187429 markings, 4545631 edges, 109786 markings/sec, 5 secs
lola: 1739550 markings, 6779664 edges, 110424 markings/sec, 10 secs
lola: 2286496 markings, 9015385 edges, 109389 markings/sec, 15 secs
lola: 2814528 markings, 11268331 edges, 105606 markings/sec, 20 secs
lola: 3337904 markings, 13383033 edges, 104675 markings/sec, 25 secs
lola: 3839955 markings, 15530019 edges, 100410 markings/sec, 30 secs
lola: 4372736 markings, 17738830 edges, 106556 markings/sec, 35 secs
lola: 4868784 markings, 19944372 edges, 99210 markings/sec, 40 secs
lola: 5410667 markings, 22132355 edges, 108377 markings/sec, 45 secs
lola: 6019662 markings, 24349756 edges, 121799 markings/sec, 50 secs
lola: 6624684 markings, 26530945 edges, 121004 markings/sec, 55 secs
lola: 7161454 markings, 28664001 edges, 107354 markings/sec, 60 secs
lola: 7737998 markings, 30835120 edges, 115309 markings/sec, 65 secs
lola: 8333997 markings, 33040184 edges, 119200 markings/sec, 70 secs
lola: 8859730 markings, 35226324 edges, 105147 markings/sec, 75 secs
lola: 9377340 markings, 37383033 edges, 103522 markings/sec, 80 secs
lola: 9871450 markings, 39541842 edges, 98822 markings/sec, 85 secs
lola: 10383334 markings, 41705400 edges, 102377 markings/sec, 90 secs
lola: 10927425 markings, 43868532 edges, 108818 markings/sec, 95 secs
lola: 11453533 markings, 46086373 edges, 105222 markings/sec, 100 secs
lola: 11979926 markings, 48279428 edges, 105279 markings/sec, 105 secs
lola: 12512376 markings, 50414967 edges, 106490 markings/sec, 110 secs
lola: 13085625 markings, 52571691 edges, 114650 markings/sec, 115 secs
lola: 13604618 markings, 54799495 edges, 103799 markings/sec, 120 secs
lola: 14092766 markings, 56988511 edges, 97630 markings/sec, 125 secs
lola: 14605132 markings, 59202023 edges, 102473 markings/sec, 130 secs
lola: 15100831 markings, 61380510 edges, 99140 markings/sec, 135 secs
lola: 15550257 markings, 63550062 edges, 89885 markings/sec, 140 secs
lola: 16108249 markings, 65762951 edges, 111598 markings/sec, 145 secs
lola: 16630118 markings, 67934558 edges, 104374 markings/sec, 150 secs
lola: 17113812 markings, 70105987 edges, 96739 markings/sec, 155 secs
lola: 17626802 markings, 72223223 edges, 102598 markings/sec, 160 secs
lola: 18096732 markings, 74366579 edges, 93986 markings/sec, 165 secs
lola: 18569700 markings, 76556278 edges, 94594 markings/sec, 170 secs
lola: 19035149 markings, 78709168 edges, 93090 markings/sec, 175 secs
lola: 19490347 markings, 80886053 edges, 91040 markings/sec, 180 secs
lola: 19988136 markings, 83043893 edges, 99558 markings/sec, 185 secs
lola: 20504289 markings, 85258236 edges, 103231 markings/sec, 190 secs
lola: 21077445 markings, 87454273 edges, 114631 markings/sec, 195 secs
lola: 21611498 markings, 89676311 edges, 106811 markings/sec, 200 secs
lola: 22150652 markings, 91877756 edges, 107831 markings/sec, 205 secs
lola: 22705869 markings, 94066605 edges, 111043 markings/sec, 210 secs
lola: 23220168 markings, 96288465 edges, 102860 markings/sec, 215 secs
lola: 23756017 markings, 98518933 edges, 107170 markings/sec, 220 secs
lola: 24254612 markings, 100733944 edges, 99719 markings/sec, 225 secs
lola: 24766718 markings, 102890525 edges, 102421 markings/sec, 230 secs
lola: 25252340 markings, 104971973 edges, 97124 markings/sec, 235 secs
lola: 25767144 markings, 107181169 edges, 102961 markings/sec, 240 secs
lola: 26288732 markings, 109337878 edges, 104318 markings/sec, 245 secs
lola: 26789323 markings, 111504271 edges, 100118 markings/sec, 250 secs
lola: 27273675 markings, 113650661 edges, 96870 markings/sec, 255 secs
lola: 27768689 markings, 115836249 edges, 99003 markings/sec, 260 secs
lola: 28261115 markings, 118007397 edges, 98485 markings/sec, 265 secs
lola: 28751698 markings, 120159024 edges, 98117 markings/sec, 270 secs
lola: 29244065 markings, 122337331 edges, 98473 markings/sec, 275 secs
lola: 29718144 markings, 124449191 edges, 94816 markings/sec, 280 secs
lola: 30210179 markings, 126591728 edges, 98407 markings/sec, 285 secs
lola: 30657397 markings, 128669802 edges, 89444 markings/sec, 290 secs
lola: 31123436 markings, 130838850 edges, 93208 markings/sec, 295 secs
lola: 31648269 markings, 133060390 edges, 104967 markings/sec, 300 secs
lola: 32152205 markings, 135241710 edges, 100787 markings/sec, 305 secs
lola: 32649937 markings, 137448072 edges, 99546 markings/sec, 310 secs
lola: 33116439 markings, 139703387 edges, 93300 markings/sec, 315 secs
lola: 33569081 markings, 141882500 edges, 90528 markings/sec, 320 secs
lola: 34005625 markings, 144117075 edges, 87309 markings/sec, 325 secs
lola: 34470712 markings, 146360412 edges, 93017 markings/sec, 330 secs
lola: 34949666 markings, 148590239 edges, 95791 markings/sec, 335 secs
lola: 35414912 markings, 150735475 edges, 93049 markings/sec, 340 secs
lola: 35852050 markings, 152852131 edges, 87428 markings/sec, 345 secs
lola: 36286730 markings, 155005114 edges, 86936 markings/sec, 350 secs
lola: 36712065 markings, 157158531 edges, 85067 markings/sec, 355 secs
lola: 37184540 markings, 159325102 edges, 94495 markings/sec, 360 secs
lola: 37640361 markings, 161471084 edges, 91164 markings/sec, 365 secs
lola: 38093027 markings, 163642496 edges, 90533 markings/sec, 370 secs
lola: 38569258 markings, 165777829 edges, 95246 markings/sec, 375 secs
lola: 39034046 markings, 168021525 edges, 92958 markings/sec, 380 secs
lola: 39498994 markings, 170221885 edges, 92990 markings/sec, 385 secs
lola: 39965674 markings, 172457474 edges, 93336 markings/sec, 390 secs
lola: 40418014 markings, 174639674 edges, 90468 markings/sec, 395 secs
lola: 40866491 markings, 176810364 edges, 89695 markings/sec, 400 secs
lola: 41299373 markings, 179040466 edges, 86576 markings/sec, 405 secs
lola: 41738906 markings, 181219925 edges, 87907 markings/sec, 410 secs
lola: 42188240 markings, 183425738 edges, 89867 markings/sec, 415 secs
lola: 42624939 markings, 185605060 edges, 87340 markings/sec, 420 secs
lola: 43081912 markings, 187766071 edges, 91395 markings/sec, 425 secs
lola: 43525044 markings, 189920579 edges, 88626 markings/sec, 430 secs
lola: 43961224 markings, 192084942 edges, 87236 markings/sec, 435 secs
lola: 44382009 markings, 194147648 edges, 84157 markings/sec, 440 secs
lola: 44779078 markings, 196195880 edges, 79414 markings/sec, 445 secs
lola: 45234844 markings, 198336312 edges, 91153 markings/sec, 450 secs
lola: 45685543 markings, 200481122 edges, 90140 markings/sec, 455 secs
lola: 46102088 markings, 202620698 edges, 83309 markings/sec, 460 secs
lola: 46531863 markings, 204736753 edges, 85955 markings/sec, 465 secs
lola: 46963901 markings, 206793279 edges, 86408 markings/sec, 470 secs
lola: 47388417 markings, 208903171 edges, 84903 markings/sec, 475 secs
lola: 47846714 markings, 211090910 edges, 91659 markings/sec, 480 secs
lola: 48302675 markings, 213226826 edges, 91192 markings/sec, 485 secs
lola: 48816582 markings, 215404745 edges, 102781 markings/sec, 490 secs
lola: 49325654 markings, 217623416 edges, 101814 markings/sec, 495 secs
lola: 49791066 markings, 219752544 edges, 93082 markings/sec, 500 secs
lola: 50259769 markings, 221908940 edges, 93741 markings/sec, 505 secs
lola: 50717861 markings, 224082048 edges, 91618 markings/sec, 510 secs
lola: 51241977 markings, 226241380 edges, 104823 markings/sec, 515 secs
lola: 51711147 markings, 228395121 edges, 93834 markings/sec, 520 secs
lola: 52148670 markings, 230526487 edges, 87505 markings/sec, 525 secs
lola: 52639338 markings, 232709570 edges, 98134 markings/sec, 530 secs
lola: 53129252 markings, 234905852 edges, 97983 markings/sec, 535 secs
lola: 53631914 markings, 237057480 edges, 100532 markings/sec, 540 secs
lola: 54137777 markings, 239269639 edges, 101173 markings/sec, 545 secs
lola: 54633591 markings, 241453903 edges, 99163 markings/sec, 550 secs
lola: 55117356 markings, 243656433 edges, 96753 markings/sec, 555 secs
lola: 55579692 markings, 245830324 edges, 92467 markings/sec, 560 secs
lola: 56041125 markings, 248003647 edges, 92287 markings/sec, 565 secs
lola: 56529485 markings, 250106406 edges, 97672 markings/sec, 570 secs
lola: 57017029 markings, 252322939 edges, 97509 markings/sec, 575 secs
lola: 57488800 markings, 254539735 edges, 94354 markings/sec, 580 secs
lola: 57940714 markings, 256771004 edges, 90383 markings/sec, 585 secs
lola: 58383444 markings, 258996193 edges, 88546 markings/sec, 590 secs
lola: 58846308 markings, 261196033 edges, 92573 markings/sec, 595 secs
lola: 59315664 markings, 263407080 edges, 93871 markings/sec, 600 secs
lola: 59748159 markings, 265621699 edges, 86499 markings/sec, 605 secs
lola: 60190385 markings, 267811699 edges, 88445 markings/sec, 610 secs
lola: 60665469 markings, 269956480 edges, 95017 markings/sec, 615 secs
lola: 61108698 markings, 272080295 edges, 88646 markings/sec, 620 secs
lola: 61535496 markings, 274214556 edges, 85360 markings/sec, 625 secs
lola: 61997391 markings, 276399147 edges, 92379 markings/sec, 630 secs
lola: 62436697 markings, 278588430 edges, 87861 markings/sec, 635 secs
lola: 62888022 markings, 280754108 edges, 90265 markings/sec, 640 secs
lola: 63345108 markings, 282937890 edges, 91417 markings/sec, 645 secs
lola: 63757964 markings, 285040595 edges, 82571 markings/sec, 650 secs
lola: 64201088 markings, 287147113 edges, 88625 markings/sec, 655 secs
lola: 64666253 markings, 289264603 edges, 93033 markings/sec, 660 secs
lola: 65121052 markings, 291349307 edges, 90960 markings/sec, 665 secs
lola: 65523239 markings, 293461801 edges, 80437 markings/sec, 670 secs
lola: 65967043 markings, 295631696 edges, 88761 markings/sec, 675 secs
lola: 66468023 markings, 297825982 edges, 100196 markings/sec, 680 secs
lola: 66954856 markings, 300085767 edges, 97367 markings/sec, 685 secs
lola: 67457293 markings, 302294898 edges, 100487 markings/sec, 690 secs
lola: 67913868 markings, 304497860 edges, 91315 markings/sec, 695 secs
lola: 68351827 markings, 306671335 edges, 87592 markings/sec, 700 secs
lola: 68811584 markings, 308877782 edges, 91951 markings/sec, 705 secs
lola: 69326434 markings, 311110074 edges, 102970 markings/sec, 710 secs
lola: 69844087 markings, 313306069 edges, 103531 markings/sec, 715 secs
lola: 70312342 markings, 315466203 edges, 93651 markings/sec, 720 secs
lola: 70807602 markings, 317686701 edges, 99052 markings/sec, 725 secs
lola: 71303493 markings, 319900489 edges, 99178 markings/sec, 730 secs
lola: 71776666 markings, 322025159 edges, 94635 markings/sec, 735 secs
lola: 72264068 markings, 324202664 edges, 97480 markings/sec, 740 secs
lola: 72750279 markings, 326410679 edges, 97242 markings/sec, 745 secs
lola: 73203249 markings, 328583753 edges, 90594 markings/sec, 750 secs
lola: 73666550 markings, 330768229 edges, 92660 markings/sec, 755 secs
lola: 74126675 markings, 332932190 edges, 92025 markings/sec, 760 secs
lola: 74576891 markings, 335145016 edges, 90043 markings/sec, 765 secs
lola: 75025999 markings, 337275139 edges, 89822 markings/sec, 770 secs
lola: 75465324 markings, 339394268 edges, 87865 markings/sec, 775 secs
lola: 75895595 markings, 341567018 edges, 86054 markings/sec, 780 secs
lola: 76330777 markings, 343722503 edges, 87036 markings/sec, 785 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown no yes no unknown unknown yes unknown no yes unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown no yes no unknown unknown yes unknown no yes unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no unknown unknown no yes no unknown unknown yes unknown no yes unknown
lola: memory consumption: 11075128 KB
lola: time consumption: 2776 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 12 will run for 794 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((((1 <= p235)) OR ((1 <= p90))) U (G (((p128 <= 0))) AND ((p235 <= 0)))) AND (((1 <= p235)) OR (G (F (((1 <= p235)))) AND F (((1 <= p235))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 794 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p235))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p235))
lola: processed formula length: 13
lola: 100 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 1 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 14 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((1 <= p235))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((1 <= p235))))
lola: processed formula length: 21
lola: 100 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: local time limit reached - aborting
lola:
preliminary result: no unknown unknown no yes no unknown unknown yes unknown no yes unknown
lola: memory consumption: 58040 KB
lola: time consumption: 2777 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 15 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((1 <= p235)) OR ((1 <= p90))) U (G (((p128 <= 0))) AND ((p235 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((((1 <= p235)) OR ((1 <= p90))) U (G (((p128 <= 0))) AND ((p235 <= 0))))
lola: processed formula length: 74
lola: 100 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: 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: 411 markings, 411 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (X (X (F (((p109 <= 0))))) AND (F ((F (((p145 <= 0) OR (p153 <= 0) OR (p180 <= 0))) AND (((p109 <= 0)) AND ((p239 <= 0))))) OR G (F (((p109 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: G (F (((p109 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((p109 <= 0))))
lola: processed formula length: 21
lola: 100 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: 640888 markings, 2263125 edges, 128178 markings/sec, 0 secs
lola: 1215729 markings, 4481343 edges, 114968 markings/sec, 5 secs
lola: 1837391 markings, 6690336 edges, 124332 markings/sec, 10 secs
lola: 2408000 markings, 8909088 edges, 114122 markings/sec, 15 secs
lola: 2939406 markings, 11059418 edges, 106281 markings/sec, 20 secs
lola: 3470358 markings, 13221152 edges, 106190 markings/sec, 25 secs
lola: 4030412 markings, 15396813 edges, 112011 markings/sec, 30 secs
lola: 4561309 markings, 17587949 edges, 106179 markings/sec, 35 secs
lola: 5079046 markings, 19794903 edges, 103547 markings/sec, 40 secs
lola: 5590356 markings, 21964689 edges, 102262 markings/sec, 45 secs
lola: 6121095 markings, 24091692 edges, 106148 markings/sec, 50 secs
lola: 6660159 markings, 26275757 edges, 107813 markings/sec, 55 secs
lola: 7222165 markings, 28413549 edges, 112401 markings/sec, 60 secs
lola: 7807600 markings, 30558776 edges, 117087 markings/sec, 65 secs
lola: 8355648 markings, 32727273 edges, 109610 markings/sec, 70 secs
lola: 8879823 markings, 34881932 edges, 104835 markings/sec, 75 secs
lola: 9409969 markings, 36988772 edges, 106029 markings/sec, 80 secs
lola: 9921538 markings, 39136950 edges, 102314 markings/sec, 85 secs
lola: 10406392 markings, 41236938 edges, 96971 markings/sec, 90 secs
lola: 10906868 markings, 43388282 edges, 100095 markings/sec, 95 secs
lola: 11404060 markings, 45545794 edges, 99438 markings/sec, 100 secs
lola: 11898279 markings, 47678500 edges, 98844 markings/sec, 105 secs
lola: 12385964 markings, 49802844 edges, 97537 markings/sec, 110 secs
lola: 12897508 markings, 51956104 edges, 102309 markings/sec, 115 secs
lola: 13437011 markings, 54099009 edges, 107901 markings/sec, 120 secs
lola: 13964151 markings, 56236417 edges, 105428 markings/sec, 125 secs
lola: 14462957 markings, 58415989 edges, 99761 markings/sec, 130 secs
lola: 14945497 markings, 60529067 edges, 96508 markings/sec, 135 secs
lola: 15395582 markings, 62642410 edges, 90017 markings/sec, 140 secs
lola: 15868317 markings, 64759708 edges, 94547 markings/sec, 145 secs
lola: 16473935 markings, 66907283 edges, 121124 markings/sec, 150 secs
lola: 16997308 markings, 69052598 edges, 104675 markings/sec, 155 secs
lola: 17521555 markings, 71182712 edges, 104849 markings/sec, 160 secs
lola: 18093619 markings, 73332410 edges, 114413 markings/sec, 165 secs
lola: 18661621 markings, 75457118 edges, 113600 markings/sec, 170 secs
lola: 19159640 markings, 77572328 edges, 99604 markings/sec, 175 secs
lola: 19673490 markings, 79695529 edges, 102770 markings/sec, 180 secs
lola: 20160889 markings, 81775090 edges, 97480 markings/sec, 185 secs
lola: 20648376 markings, 83891794 edges, 97497 markings/sec, 190 secs
lola: 21166264 markings, 86000493 edges, 103578 markings/sec, 195 secs
lola: 21660426 markings, 88163067 edges, 98832 markings/sec, 200 secs
lola: 22200009 markings, 90287125 edges, 107917 markings/sec, 205 secs
lola: 22694141 markings, 92412476 edges, 98826 markings/sec, 210 secs
lola: 23213333 markings, 94538811 edges, 103838 markings/sec, 215 secs
lola: 23756808 markings, 96673641 edges, 108695 markings/sec, 220 secs
lola: 24306361 markings, 98816856 edges, 109911 markings/sec, 225 secs
lola: 24852739 markings, 100920492 edges, 109276 markings/sec, 230 secs
lola: 25347504 markings, 103030851 edges, 98953 markings/sec, 235 secs
lola: 25839144 markings, 105154301 edges, 98328 markings/sec, 240 secs
lola: 26327950 markings, 107262105 edges, 97761 markings/sec, 245 secs
lola: 26791375 markings, 109358355 edges, 92685 markings/sec, 250 secs
lola: 27240870 markings, 111441813 edges, 89899 markings/sec, 255 secs
lola: 27743638 markings, 113542847 edges, 100554 markings/sec, 260 secs
lola: 28260179 markings, 115508280 edges, 103308 markings/sec, 265 secs
lola: 28738123 markings, 117434910 edges, 95589 markings/sec, 270 secs
lola: 29273149 markings, 119587155 edges, 107005 markings/sec, 275 secs
lola: 29783836 markings, 121720986 edges, 102137 markings/sec, 280 secs
lola: 30239713 markings, 123822318 edges, 91175 markings/sec, 285 secs
lola: 30708174 markings, 125965719 edges, 93692 markings/sec, 290 secs
lola: 31200560 markings, 128154349 edges, 98477 markings/sec, 295 secs
lola: 31625392 markings, 130294316 edges, 84966 markings/sec, 300 secs
lola: 32099911 markings, 132467467 edges, 94904 markings/sec, 305 secs
lola: 32578189 markings, 134544533 edges, 95656 markings/sec, 310 secs
lola: 33014244 markings, 136584827 edges, 87211 markings/sec, 315 secs
lola: 33473974 markings, 138660334 edges, 91946 markings/sec, 320 secs
lola: 33918968 markings, 140723159 edges, 88999 markings/sec, 325 secs
lola: 34381832 markings, 142793868 edges, 92573 markings/sec, 330 secs
lola: 34833553 markings, 144893819 edges, 90344 markings/sec, 335 secs
lola: 35258881 markings, 146825649 edges, 85066 markings/sec, 340 secs
lola: 35667158 markings, 148739459 edges, 81655 markings/sec, 345 secs
lola: 36105337 markings, 150762723 edges, 87636 markings/sec, 350 secs
lola: 36531225 markings, 152715886 edges, 85178 markings/sec, 355 secs
lola: 36963310 markings, 154782987 edges, 86417 markings/sec, 360 secs
lola: 37365493 markings, 156856697 edges, 80437 markings/sec, 365 secs
lola: 37759737 markings, 158759053 edges, 78849 markings/sec, 370 secs
lola: 38244253 markings, 160844618 edges, 96903 markings/sec, 375 secs
lola: 38727985 markings, 162988609 edges, 96746 markings/sec, 380 secs
lola: 39215677 markings, 165066100 edges, 97538 markings/sec, 385 secs
lola: 39674303 markings, 167200501 edges, 91725 markings/sec, 390 secs
lola: 40102551 markings, 169272423 edges, 85650 markings/sec, 395 secs
lola: 40510247 markings, 171277159 edges, 81539 markings/sec, 400 secs
lola: 40928875 markings, 173372136 edges, 83726 markings/sec, 405 secs
lola: 41352941 markings, 175501578 edges, 84813 markings/sec, 410 secs
lola: 41786012 markings, 177559515 edges, 86614 markings/sec, 415 secs
lola: 42252882 markings, 179684080 edges, 93374 markings/sec, 420 secs
lola: 42698838 markings, 181826131 edges, 89191 markings/sec, 425 secs
lola: 43152641 markings, 183937352 edges, 90761 markings/sec, 430 secs
lola: 43593076 markings, 186029980 edges, 88087 markings/sec, 435 secs
lola: 44034349 markings, 188066662 edges, 88255 markings/sec, 440 secs
lola: 44505204 markings, 190199651 edges, 94171 markings/sec, 445 secs
lola: 44976195 markings, 192287763 edges, 94198 markings/sec, 450 secs
lola: 45434109 markings, 194374406 edges, 91583 markings/sec, 455 secs
lola: 45856353 markings, 196503501 edges, 84449 markings/sec, 460 secs
lola: 46289637 markings, 198563017 edges, 86657 markings/sec, 465 secs
lola: 46691603 markings, 200667522 edges, 80393 markings/sec, 470 secs
lola: 47078731 markings, 202585779 edges, 77426 markings/sec, 475 secs
lola: 47494036 markings, 204500018 edges, 83061 markings/sec, 480 secs
lola: 47857001 markings, 206338846 edges, 72593 markings/sec, 485 secs
lola: 48257370 markings, 208309530 edges, 80074 markings/sec, 490 secs
lola: 48632207 markings, 210362413 edges, 74967 markings/sec, 495 secs
lola: 48997555 markings, 212235499 edges, 73070 markings/sec, 500 secs
lola: 49375098 markings, 214145885 edges, 75509 markings/sec, 505 secs
lola: 49767710 markings, 216154607 edges, 78522 markings/sec, 510 secs
lola: 50145724 markings, 218042366 edges, 75603 markings/sec, 515 secs
lola: 50531209 markings, 219972796 edges, 77097 markings/sec, 520 secs
lola: 50995740 markings, 221969185 edges, 92906 markings/sec, 525 secs
lola: 51418810 markings, 223954906 edges, 84614 markings/sec, 530 secs
lola: 51860939 markings, 225966355 edges, 88426 markings/sec, 535 secs
lola: 52286046 markings, 228011664 edges, 85021 markings/sec, 540 secs
lola: 52743103 markings, 230046804 edges, 91411 markings/sec, 545 secs
lola: 53136446 markings, 231958084 edges, 78669 markings/sec, 550 secs
lola: 53534439 markings, 233909483 edges, 79599 markings/sec, 555 secs
lola: 53970365 markings, 235962962 edges, 87185 markings/sec, 560 secs
lola: 54487016 markings, 238117593 edges, 103330 markings/sec, 565 secs
lola: 54968573 markings, 240195566 edges, 96311 markings/sec, 570 secs
lola: 55446129 markings, 242267656 edges, 95511 markings/sec, 575 secs
lola: 55882742 markings, 244328002 edges, 87323 markings/sec, 580 secs
lola: 56311003 markings, 246423210 edges, 85652 markings/sec, 585 secs
lola: 56758387 markings, 248534880 edges, 89477 markings/sec, 590 secs
lola: 57235845 markings, 250711506 edges, 95492 markings/sec, 595 secs
lola: 57667072 markings, 252805398 edges, 86245 markings/sec, 600 secs
lola: 58060690 markings, 254901840 edges, 78724 markings/sec, 605 secs
lola: 58513949 markings, 257060195 edges, 90652 markings/sec, 610 secs
lola: 58967004 markings, 259186607 edges, 90611 markings/sec, 615 secs
lola: 59423846 markings, 261269553 edges, 91368 markings/sec, 620 secs
lola: 59846348 markings, 263272363 edges, 84500 markings/sec, 625 secs
lola: 60268710 markings, 265327453 edges, 84472 markings/sec, 630 secs
lola: 60703046 markings, 267409462 edges, 86867 markings/sec, 635 secs
lola: 61158103 markings, 269518467 edges, 91011 markings/sec, 640 secs
lola: 61595273 markings, 271633113 edges, 87434 markings/sec, 645 secs
lola: 62009766 markings, 273538518 edges, 82899 markings/sec, 650 secs
lola: 62414104 markings, 275487384 edges, 80868 markings/sec, 655 secs
lola: 62841196 markings, 277508336 edges, 85418 markings/sec, 660 secs
lola: 63267182 markings, 279520795 edges, 85197 markings/sec, 665 secs
lola: 63682351 markings, 281525824 edges, 83034 markings/sec, 670 secs
lola: 64086420 markings, 283478381 edges, 80814 markings/sec, 675 secs
lola: 64593643 markings, 285546605 edges, 101445 markings/sec, 680 secs
lola: 65047915 markings, 287637646 edges, 90854 markings/sec, 685 secs
lola: 65511099 markings, 289698008 edges, 92637 markings/sec, 690 secs
lola: 65980920 markings, 291740370 edges, 93964 markings/sec, 695 secs
lola: 66422355 markings, 293825627 edges, 88287 markings/sec, 700 secs
lola: 66829582 markings, 295862961 edges, 81445 markings/sec, 705 secs
lola: 67214275 markings, 297823730 edges, 76939 markings/sec, 710 secs
lola: 67692373 markings, 299902934 edges, 95620 markings/sec, 715 secs
lola: 68172928 markings, 302031809 edges, 96111 markings/sec, 720 secs
lola: 68650426 markings, 304196561 edges, 95500 markings/sec, 725 secs
lola: 69128212 markings, 306272202 edges, 95557 markings/sec, 730 secs
lola: 69574863 markings, 308250958 edges, 89330 markings/sec, 735 secs
lola: 70035276 markings, 310275598 edges, 92083 markings/sec, 740 secs
lola: 70457638 markings, 312314394 edges, 84472 markings/sec, 745 secs
lola: 70869659 markings, 314353634 edges, 82404 markings/sec, 750 secs
lola: 71242309 markings, 316303401 edges, 74530 markings/sec, 755 secs
lola: 71646135 markings, 318308630 edges, 80765 markings/sec, 760 secs
lola: 72044204 markings, 320346926 edges, 79614 markings/sec, 765 secs
lola: 72469472 markings, 322363080 edges, 85054 markings/sec, 770 secs
lola: 72912119 markings, 324450464 edges, 88529 markings/sec, 775 secs
lola: 73311265 markings, 326513892 edges, 79829 markings/sec, 780 secs
lola: 73695524 markings, 328549677 edges, 76852 markings/sec, 785 secs
lola: time limit reached - aborting
lola:
preliminary result: no no unknown no yes no unknown unknown yes unknown no yes unknown
lola:
preliminary result: no no unknown no yes no unknown unknown yes unknown no yes unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no unknown no yes no unknown unknown yes unknown no yes unknown
lola: memory consumption: 11620784 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: no no unknown no yes no unknown unknown yes unknown no yes unknown
lola: memory consumption: 11620784 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-004B"
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-004B, 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-162098230800110"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPs-PT-004B.tgz
mv ShieldIIPs-PT-004B 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 ;