About the Execution of 2020-gold for ShieldIIPs-PT-050A
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5962.768 | 3600000.00 | 3589962.00 | 9569.50 | FFFFF?F?FTF?TFF? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r227-tall-162098230900154.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-050A, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r227-tall-162098230900154
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 816K
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 116K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 110K 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 3.3K Mar 28 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 28 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Mar 28 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 11:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 11:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 25 17:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 17:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.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 426K 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-050A-00
FORMULA_NAME ShieldIIPs-PT-050A-01
FORMULA_NAME ShieldIIPs-PT-050A-02
FORMULA_NAME ShieldIIPs-PT-050A-03
FORMULA_NAME ShieldIIPs-PT-050A-04
FORMULA_NAME ShieldIIPs-PT-050A-05
FORMULA_NAME ShieldIIPs-PT-050A-06
FORMULA_NAME ShieldIIPs-PT-050A-07
FORMULA_NAME ShieldIIPs-PT-050A-08
FORMULA_NAME ShieldIIPs-PT-050A-09
FORMULA_NAME ShieldIIPs-PT-050A-10
FORMULA_NAME ShieldIIPs-PT-050A-11
FORMULA_NAME ShieldIIPs-PT-050A-12
FORMULA_NAME ShieldIIPs-PT-050A-13
FORMULA_NAME ShieldIIPs-PT-050A-14
FORMULA_NAME ShieldIIPs-PT-050A-15
=== Now, execution of the tool begins
BK_START 1621136478998
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-16 03:41:20] [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 03:41:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-16 03:41:20] [INFO ] Load time of PNML (sax parser for PT used): 123 ms
[2021-05-16 03:41:20] [INFO ] Transformed 1253 places.
[2021-05-16 03:41:20] [INFO ] Transformed 1203 transitions.
[2021-05-16 03:41:20] [INFO ] Found NUPN structural information;
[2021-05-16 03:41:20] [INFO ] Parsed PT model containing 1253 places and 1203 transitions in 180 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 52 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 38 resets, run finished after 1118 ms. (steps per millisecond=89 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 1203 rows 1253 cols
[2021-05-16 03:41:21] [INFO ] Computed 451 place invariants in 37 ms
[2021-05-16 03:41:22] [INFO ] [Real]Absence check using 451 positive place invariants in 21 ms returned unsat
Successfully simplified 1 atomic propositions for a total of 1 simplifications.
[2021-05-16 03:41:22] [INFO ] Initial state reduction rules for CTL removed 4 formulas.
[2021-05-16 03:41:22] [INFO ] Flatten gal took : 214 ms
FORMULA ShieldIIPs-PT-050A-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-050A-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-050A-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-050A-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-16 03:41:22] [INFO ] Applying decomposition
[2021-05-16 03:41:22] [INFO ] Flatten gal took : 95 ms
[2021-05-16 03:41:22] [INFO ] Decomposing Gal with order
[2021-05-16 03:41:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 03:41:23] [INFO ] Removed a total of 850 redundant transitions.
[2021-05-16 03:41:23] [INFO ] Flatten gal took : 160 ms
[2021-05-16 03:41:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 600 labels/synchronizations in 110 ms.
[2021-05-16 03:41:23] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 3 ms.
[2021-05-16 03:41:23] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 14 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ShieldIIPs-PT-050A @ 3570 seconds
FORMULA ShieldIIPs-PT-050A-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-050A-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-050A-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-050A-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-050A-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-050A-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-050A-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-050A-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-050A
{
"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 03:41:24 2021
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 294
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 2,
"U": 1,
"X": 1,
"aconj": 5,
"adisj": 1,
"aneg": 0,
"comp": 9,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 9,
"taut": 0,
"tconj": 3,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "(X ((G (((p130 <= 0) OR (p143 <= 0))) OR (G (((1 <= p846))) AND (((1 <= p638)) AND (((1 <= p648)) AND ((1 <= p650))))))) U ((1 <= p638) AND (1 <= p648) AND (1 <= p650)))",
"processed_size": 170,
"rewrites": 70
},
"result":
{
"edges": 5057,
"markings": 5057,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 8
},
"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": 321
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 3,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X (X ((X (G (((1 <= p1151)))) U ((1 <= p86) AND (1 <= p90) AND (1 <= p102)))))",
"processed_size": 78,
"rewrites": 70
},
"result":
{
"edges": 5057,
"markings": 5057,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 1,
"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": 353
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 1,
"aconj": 3,
"adisj": 0,
"aneg": 1,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "G (F ((F (((p480 <= 0) OR (p493 <= 0))) AND X ((((1 <= p480) AND (1 <= p493)) AND ((1 <= p30) AND (1 <= p43)))))))",
"processed_size": 115,
"rewrites": 70
},
"result":
{
"edges": 5073,
"markings": 5073,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"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": 392
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 1,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "(X (G (((1 <= p753) AND (1 <= p774)))) U ((1 <= p539) AND (1 <= p560)))",
"processed_size": 71,
"rewrites": 70
},
"result":
{
"edges": 5057,
"markings": 5057,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"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": 441
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"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": 3,
"visible_transitions": 0
},
"processed": "X (F (((p313 <= 0) OR (p321 <= 0) OR (p327 <= 0))))",
"processed_size": 53,
"rewrites": 70
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 504
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 2,
"aconj": 3,
"adisj": 0,
"aneg": 0,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 8,
"visible_transitions": 0
},
"processed": "(((1 <= p1206) AND (1 <= p1217)) U X ((X (G (((1 <= p1186) AND (1 <= p1190) AND (1 <= p1201)))) OR ((1 <= p761) AND (1 <= p767) AND (1 <= p776)))))",
"processed_size": 147,
"rewrites": 70
},
"result":
{
"edges": 5057,
"markings": 5057,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 5,
"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": 589
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "F (G (((1 <= p33) AND (1 <= p48))))",
"processed_size": 35,
"rewrites": 70
},
"result":
{
"edges": 4590,
"markings": 4589,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "stabilization",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 883
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 2,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "F (G ((G (F (((1 <= p112) AND (1 <= p145)))) AND ((p476 <= 0)))))",
"processed_size": 65,
"rewrites": 70
},
"result":
{
"edges": 4241,
"markings": 4240,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 5890932,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(X((G(**) OR (G(**) AND (** AND (** AND **))))) U **) : F(G((G(F(*)) AND *))) : X(X((X(G(**)) U **))) : G(F((F(*) AND X((** AND **))))) : (X(G(**)) U **) : F(G((F(*) AND F((G(*) OR (* AND *)))))) : F(G(*)) : X(F(*)) : F(G(**)) : F(**) : (** U X((X(G(**)) OR **))) : (G((F(*) OR *)) OR (X(F(**)) AND **))"
},
"net":
{
"arcs": 5406,
"conflict_clusters": 353,
"places": 1253,
"places_significant": 802,
"singleton_clusters": 0,
"transitions": 1203
},
"result":
{
"interim_value": "no no no no no unknown unknown yes no unknown no unknown ",
"preliminary_value": "no no no no no unknown unknown yes no unknown no 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: 2456/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1253
lola: finding significant places
lola: 1253 places, 1203 transitions, 802 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: (p130 <= 1)
lola: LP says that atomic proposition is always true: (p143 <= 1)
lola: LP says that atomic proposition is always true: (p846 <= 1)
lola: LP says that atomic proposition is always true: (p638 <= 1)
lola: LP says that atomic proposition is always true: (p648 <= 1)
lola: LP says that atomic proposition is always true: (p650 <= 1)
lola: LP says that atomic proposition is always true: (p638 <= 1)
lola: LP says that atomic proposition is always true: (p648 <= 1)
lola: LP says that atomic proposition is always true: (p650 <= 1)
lola: LP says that atomic proposition is always true: (p1238 <= 1)
lola: LP says that atomic proposition is always true: (p1248 <= 1)
lola: LP says that atomic proposition is always true: (p1252 <= 1)
lola: LP says that atomic proposition is always true: (p112 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p476 <= 1)
lola: LP says that atomic proposition is always true: (p1151 <= 1)
lola: LP says that atomic proposition is always true: (p86 <= 1)
lola: LP says that atomic proposition is always true: (p90 <= 1)
lola: LP says that atomic proposition is always true: (p102 <= 1)
lola: LP says that atomic proposition is always true: (p480 <= 1)
lola: LP says that atomic proposition is always true: (p493 <= 1)
lola: LP says that atomic proposition is always true: (p480 <= 1)
lola: LP says that atomic proposition is always true: (p493 <= 1)
lola: LP says that atomic proposition is always true: (p30 <= 1)
lola: LP says that atomic proposition is always true: (p43 <= 1)
lola: LP says that atomic proposition is always true: (p753 <= 1)
lola: LP says that atomic proposition is always true: (p774 <= 1)
lola: LP says that atomic proposition is always true: (p539 <= 1)
lola: LP says that atomic proposition is always true: (p560 <= 1)
lola: LP says that atomic proposition is always true: (p1004 <= 1)
lola: LP says that atomic proposition is always true: (p1019 <= 1)
lola: LP says that atomic proposition is always true: (p1161 <= 1)
lola: LP says that atomic proposition is always true: (p1165 <= 1)
lola: LP says that atomic proposition is always true: (p1177 <= 1)
lola: LP says that atomic proposition is always true: (p531 <= 1)
lola: LP says that atomic proposition is always true: (p541 <= 1)
lola: LP says that atomic proposition is always true: (p191 <= 1)
lola: LP says that atomic proposition is always true: (p313 <= 1)
lola: LP says that atomic proposition is always true: (p321 <= 1)
lola: LP says that atomic proposition is always true: (p327 <= 1)
lola: LP says that atomic proposition is always true: (p738 <= 1)
lola: LP says that atomic proposition is always true: (p748 <= 1)
lola: LP says that atomic proposition is always true: (p752 <= 1)
lola: LP says that atomic proposition is always true: (p33 <= 1)
lola: LP says that atomic proposition is always true: (p48 <= 1)
lola: LP says that atomic proposition is always true: (p761 <= 1)
lola: LP says that atomic proposition is always true: (p767 <= 1)
lola: LP says that atomic proposition is always true: (p777 <= 1)
lola: LP says that atomic proposition is always true: (p1013 <= 1)
lola: LP says that atomic proposition is always true: (p1023 <= 1)
lola: LP says that atomic proposition is always true: (p1027 <= 1)
lola: LP says that atomic proposition is always true: (p1206 <= 1)
lola: LP says that atomic proposition is always true: (p1217 <= 1)
lola: LP says that atomic proposition is always true: (p1186 <= 1)
lola: LP says that atomic proposition is always true: (p1190 <= 1)
lola: LP says that atomic proposition is always true: (p1201 <= 1)
lola: LP says that atomic proposition is always true: (p761 <= 1)
lola: LP says that atomic proposition is always true: (p767 <= 1)
lola: LP says that atomic proposition is always true: (p776 <= 1)
lola: LP says that atomic proposition is always true: (p522 <= 1)
lola: LP says that atomic proposition is always true: (p522 <= 1)
lola: LP says that atomic proposition is always true: (p522 <= 1)
lola: LP says that atomic proposition is always true: (p522 <= 1)
lola: (X ((G (((p130 <= 0) OR (p143 <= 0))) OR (((G (((1 <= p846))) AND ((1 <= p638))) AND ((1 <= p648))) AND ((1 <= p650))))) U ((1 <= p638) AND (1 <= p648) AND (1 <= p650))) : F ((X (((1 <= p1238) AND (1 <= p1248) AND (1 <= p1252))) U F (NOT(G (F ((F (G (((p112 <= 0) OR (p145 <= 0)))) OR ((1 <= p476))))))))) : X (X ((G (X (((1 <= p1151)))) U ((1 <= p86) AND (1 <= p90) AND (1 <= p102))))) : G (F (((F (NOT(G (((1 <= p480) AND (1 <= p493))))) AND X (((1 <= p480) AND (1 <= p493)))) AND X (((1 <= p30) AND (1 <= p43)))))) : (G (NOT(X (NOT(G (((1 <= p753) AND (1 <= p774))))))) U ((1 <= p539) AND (1 <= p560))) : F (NOT(F ((G (X (((1 <= p1004) AND (1 <= p1019)))) OR X (G ((((1 <= p1161) AND (1 <= p1165) AND (1 <= p1177)) U ((1 <= p531) AND (1 <= p541))))))))) : NOT(G (X (F (((1 <= p191)))))) : NOT(G (X (((1 <= p313) AND (1 <= p321) AND (1 <= p327))))) : F (G ((((1 <= p738) AND (1 <= p748) AND (1 <= p752)) U G (F (G (((1 <= p33) AND (1 <= p48)))))))) : NOT(G (NOT((((p761 <= 0) OR (p767 <= 0) OR (p777 <= 0)) U F (((1 <= p1013) AND (1 <= p1023) AND (1 <= p1027))))))) : (((1 <= p1206) AND (1 <= p1217)) U X ((G (X (((1 <= p1186) AND (1 <= p1190) AND (1 <= p1201)))) OR ((1 <= p761) AND (1 <= p767) AND (1 <= p776))))) : (NOT(F ((G (((1 <= p522))) AND ((1 <= p522))))) OR (X (F (((1 <= p522)))) AND ((p522 <= 0))))
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 294 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X ((G (((p130 <= 0) OR (p143 <= 0))) OR (G (((1 <= p846))) AND (((1 <= p638)) AND (((1 <= p648)) AND ((1 <= p650))))))) U ((1 <= p638) AND (1 <= p648) AND (1 <= p650)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X ((G (((p130 <= 0) OR (p143 <= 0))) OR (G (((1 <= p846))) AND (((1 <= p638)) AND (((1 <= p648)) AND ((1 <= p650))))))) U ((1 <= p638) AND (1 <= p648) AND (1 <= p650)))
lola: processed formula length: 170
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 5057 markings, 5057 edges
lola: ========================================
lola: subprocess 1 will run for 321 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X ((X (G (((1 <= p1151)))) U ((1 <= p86) AND (1 <= p90) AND (1 <= p102)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X ((X (G (((1 <= p1151)))) U ((1 <= p86) AND (1 <= p90) AND (1 <= p102)))))
lola: processed formula length: 78
lola: 70 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: 5057 markings, 5057 edges
lola: ========================================
lola: subprocess 2 will run for 353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((F (((p480 <= 0) OR (p493 <= 0))) AND X ((((1 <= p480) AND (1 <= p493)) AND ((1 <= p30) AND (1 <= p43)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((F (((p480 <= 0) OR (p493 <= 0))) AND X ((((1 <= p480) AND (1 <= p493)) AND ((1 <= p30) AND (1 <= p43)))))))
lola: processed formula length: 115
lola: 70 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: 5073 markings, 5073 edges
lola: ========================================
lola: subprocess 3 will run for 392 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (G (((1 <= p753) AND (1 <= p774)))) U ((1 <= p539) AND (1 <= p560)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X (G (((1 <= p753) AND (1 <= p774)))) U ((1 <= p539) AND (1 <= p560)))
lola: processed formula length: 71
lola: 70 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: 5057 markings, 5057 edges
lola: ========================================
lola: subprocess 4 will run for 441 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F (((p313 <= 0) OR (p321 <= 0) OR (p327 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((p313 <= 0) OR (p321 <= 0) OR (p327 <= 0))))
lola: processed formula length: 53
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 5 will run for 504 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p1206) AND (1 <= p1217)) U X ((X (G (((1 <= p1186) AND (1 <= p1190) AND (1 <= p1201)))) OR ((1 <= p761) AND (1 <= p767) AND (1 <= p776)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (((1 <= p1206) AND (1 <= p1217)) U X ((X (G (((1 <= p1186) AND (1 <= p1190) AND (1 <= p1201)))) OR ((1 <= p761) AND (1 <= p767) AND (1 <= p776)))))
lola: processed formula length: 147
lola: 70 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: 5057 markings, 5057 edges
lola: ========================================
lola: subprocess 6 will run for 588 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G ((F (((p522 <= 0))) OR ((p522 <= 0)))) OR (X (F (((1 <= p522)))) AND ((p522 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 588 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p522 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p522 <= 0))
lola: processed formula length: 13
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 706 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F (((p522 <= 0))) OR ((p522 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (((p522 <= 0))) OR ((p522 <= 0))))
lola: processed formula length: 40
lola: 70 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: 257778 markings, 621862 edges, 51556 markings/sec, 0 secs
lola: 507825 markings, 1247314 edges, 50009 markings/sec, 5 secs
lola: 736286 markings, 1876324 edges, 45692 markings/sec, 10 secs
lola: 972768 markings, 2501787 edges, 47296 markings/sec, 15 secs
lola: 1220082 markings, 3114050 edges, 49463 markings/sec, 20 secs
lola: 1458815 markings, 3732651 edges, 47747 markings/sec, 25 secs
lola: 1686633 markings, 4354767 edges, 45564 markings/sec, 30 secs
lola: 1929584 markings, 4969034 edges, 48590 markings/sec, 35 secs
lola: 2160416 markings, 5590294 edges, 46166 markings/sec, 40 secs
lola: 2386432 markings, 6212075 edges, 45203 markings/sec, 45 secs
lola: 2600825 markings, 6840231 edges, 42879 markings/sec, 50 secs
lola: 2800554 markings, 7471968 edges, 39946 markings/sec, 55 secs
lola: 3033993 markings, 8089267 edges, 46688 markings/sec, 60 secs
lola: 3256549 markings, 8714137 edges, 44511 markings/sec, 65 secs
lola: 3481702 markings, 9327906 edges, 45031 markings/sec, 70 secs
lola: 3693412 markings, 9944329 edges, 42342 markings/sec, 75 secs
lola: 3910710 markings, 10555566 edges, 43460 markings/sec, 80 secs
lola: 4119434 markings, 11172073 edges, 41745 markings/sec, 85 secs
lola: 4332806 markings, 11795366 edges, 42674 markings/sec, 90 secs
lola: 4540194 markings, 12415640 edges, 41478 markings/sec, 95 secs
lola: 4750656 markings, 13033854 edges, 42092 markings/sec, 100 secs
lola: 4953219 markings, 13653792 edges, 40513 markings/sec, 105 secs
lola: 5166927 markings, 14273050 edges, 42742 markings/sec, 110 secs
lola: 5383726 markings, 14886812 edges, 43360 markings/sec, 115 secs
lola: 5587687 markings, 15503293 edges, 40792 markings/sec, 120 secs
lola: 5811513 markings, 16108821 edges, 44765 markings/sec, 125 secs
lola: 6018985 markings, 16720412 edges, 41494 markings/sec, 130 secs
lola: 6231317 markings, 17335997 edges, 42466 markings/sec, 135 secs
lola: 6434997 markings, 17948533 edges, 40736 markings/sec, 140 secs
lola: 6631610 markings, 18571296 edges, 39323 markings/sec, 145 secs
lola: 6814548 markings, 19185370 edges, 36588 markings/sec, 150 secs
lola: 7021298 markings, 19787800 edges, 41350 markings/sec, 155 secs
lola: 7205926 markings, 20397059 edges, 36926 markings/sec, 160 secs
lola: 7397977 markings, 21011757 edges, 38410 markings/sec, 165 secs
lola: 7598099 markings, 21618272 edges, 40024 markings/sec, 170 secs
lola: 7801947 markings, 22234153 edges, 40770 markings/sec, 175 secs
lola: 7992865 markings, 22853637 edges, 38184 markings/sec, 180 secs
lola: 8210024 markings, 23453480 edges, 43432 markings/sec, 185 secs
lola: 8421765 markings, 24061279 edges, 42348 markings/sec, 190 secs
lola: 8629745 markings, 24665580 edges, 41596 markings/sec, 195 secs
lola: 8848787 markings, 25267630 edges, 43808 markings/sec, 200 secs
lola: 9065615 markings, 25876930 edges, 43366 markings/sec, 205 secs
lola: 9284547 markings, 26487091 edges, 43786 markings/sec, 210 secs
lola: 9516820 markings, 27097287 edges, 46455 markings/sec, 215 secs
lola: 9739067 markings, 27707808 edges, 44449 markings/sec, 220 secs
lola: 9979459 markings, 28313351 edges, 48078 markings/sec, 225 secs
lola: 10208019 markings, 28923485 edges, 45712 markings/sec, 230 secs
lola: 10436345 markings, 29538394 edges, 45665 markings/sec, 235 secs
lola: 10651441 markings, 30159501 edges, 43019 markings/sec, 240 secs
lola: 10869625 markings, 30777123 edges, 43637 markings/sec, 245 secs
lola: 11076004 markings, 31396682 edges, 41276 markings/sec, 250 secs
lola: 11294271 markings, 32014285 edges, 43653 markings/sec, 255 secs
lola: 11495916 markings, 32640395 edges, 40329 markings/sec, 260 secs
lola: 11714100 markings, 33259983 edges, 43637 markings/sec, 265 secs
lola: 11923958 markings, 33881681 edges, 41972 markings/sec, 270 secs
lola: 12123109 markings, 34511884 edges, 39830 markings/sec, 275 secs
lola: 12310616 markings, 35141001 edges, 37501 markings/sec, 280 secs
lola: 12481632 markings, 35774661 edges, 34203 markings/sec, 285 secs
lola: 12690540 markings, 36399854 edges, 41782 markings/sec, 290 secs
lola: 12904702 markings, 37020041 edges, 42832 markings/sec, 295 secs
lola: 13107409 markings, 37634688 edges, 40541 markings/sec, 300 secs
lola: 13311700 markings, 38245359 edges, 40858 markings/sec, 305 secs
lola: 13529339 markings, 38844447 edges, 43528 markings/sec, 310 secs
lola: 13751479 markings, 39444953 edges, 44428 markings/sec, 315 secs
lola: 13974577 markings, 40044360 edges, 44620 markings/sec, 320 secs
lola: 14194823 markings, 40647877 edges, 44049 markings/sec, 325 secs
lola: 14404971 markings, 41254959 edges, 42030 markings/sec, 330 secs
lola: 14610267 markings, 41864159 edges, 41059 markings/sec, 335 secs
lola: 14821880 markings, 42480883 edges, 42323 markings/sec, 340 secs
lola: 15029185 markings, 43092277 edges, 41461 markings/sec, 345 secs
lola: 15239195 markings, 43700199 edges, 42002 markings/sec, 350 secs
lola: 15443479 markings, 44316069 edges, 40857 markings/sec, 355 secs
lola: 15632892 markings, 44933246 edges, 37883 markings/sec, 360 secs
lola: 15849297 markings, 45529352 edges, 43281 markings/sec, 365 secs
lola: 16049900 markings, 46136327 edges, 40121 markings/sec, 370 secs
lola: 16262422 markings, 46746722 edges, 42504 markings/sec, 375 secs
lola: 16463288 markings, 47353586 edges, 40173 markings/sec, 380 secs
lola: 16656330 markings, 47968948 edges, 38608 markings/sec, 385 secs
lola: 16839144 markings, 48585020 edges, 36563 markings/sec, 390 secs
lola: 17019508 markings, 49201061 edges, 36073 markings/sec, 395 secs
lola: 17203881 markings, 49820701 edges, 36875 markings/sec, 400 secs
lola: 17414648 markings, 50431263 edges, 42153 markings/sec, 405 secs
lola: 17617212 markings, 51054702 edges, 40513 markings/sec, 410 secs
lola: 17812853 markings, 51680880 edges, 39128 markings/sec, 415 secs
lola: 18013987 markings, 52297089 edges, 40227 markings/sec, 420 secs
lola: 18194876 markings, 52917715 edges, 36178 markings/sec, 425 secs
lola: 18383100 markings, 53527047 edges, 37645 markings/sec, 430 secs
lola: 18593003 markings, 54125355 edges, 41981 markings/sec, 435 secs
lola: 18826219 markings, 54717029 edges, 46643 markings/sec, 440 secs
lola: 19041783 markings, 55313850 edges, 43113 markings/sec, 445 secs
lola: 19234983 markings, 55925729 edges, 38640 markings/sec, 450 secs
lola: 19434031 markings, 56523725 edges, 39810 markings/sec, 455 secs
lola: 19627001 markings, 57127042 edges, 38594 markings/sec, 460 secs
lola: 19838047 markings, 57725729 edges, 42209 markings/sec, 465 secs
lola: 20040593 markings, 58327869 edges, 40509 markings/sec, 470 secs
lola: 20257837 markings, 58932814 edges, 43449 markings/sec, 475 secs
lola: 20456163 markings, 59534935 edges, 39665 markings/sec, 480 secs
lola: 20656107 markings, 60145506 edges, 39989 markings/sec, 485 secs
lola: 20845345 markings, 60757126 edges, 37848 markings/sec, 490 secs
lola: 21039115 markings, 61354394 edges, 38754 markings/sec, 495 secs
lola: 21235102 markings, 61967739 edges, 39197 markings/sec, 500 secs
lola: 21427066 markings, 62584729 edges, 38393 markings/sec, 505 secs
lola: 21620931 markings, 63194624 edges, 38773 markings/sec, 510 secs
lola: 21822644 markings, 63807087 edges, 40343 markings/sec, 515 secs
lola: 22015271 markings, 64421699 edges, 38525 markings/sec, 520 secs
lola: 22202295 markings, 65036894 edges, 37405 markings/sec, 525 secs
lola: 22382891 markings, 65651825 edges, 36119 markings/sec, 530 secs
lola: 22565836 markings, 66262259 edges, 36589 markings/sec, 535 secs
lola: 22751982 markings, 66878018 edges, 37229 markings/sec, 540 secs
lola: 22923221 markings, 67501362 edges, 34248 markings/sec, 545 secs
lola: 23095742 markings, 68117832 edges, 34504 markings/sec, 550 secs
lola: 23263992 markings, 68739075 edges, 33650 markings/sec, 555 secs
lola: 23456410 markings, 69341237 edges, 38484 markings/sec, 560 secs
lola: 23659930 markings, 69950526 edges, 40704 markings/sec, 565 secs
lola: 23838284 markings, 70556796 edges, 35671 markings/sec, 570 secs
lola: 24055927 markings, 71153801 edges, 43529 markings/sec, 575 secs
lola: 24267263 markings, 71751331 edges, 42267 markings/sec, 580 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no no no unknown unknown yes unknown unknown no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no no no unknown unknown yes unknown unknown no unknown
lola: memory consumption: 4993372 KB
lola: time consumption: 625 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 no no no unknown unknown yes unknown unknown no unknown
lola: memory consumption: 4993372 KB
lola: time consumption: 625 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 7 will run for 589 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p1013) AND (1 <= p1023) AND (1 <= p1027)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p1013 <= 0) OR (p1023 <= 0) OR (p1027 <= 0))
lola: processed formula length: 48
lola: 72 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 402577 markings, 597325 edges, 80515 markings/sec, 0 secs
lola: 781230 markings, 1190491 edges, 75731 markings/sec, 5 secs
lola: 1186533 markings, 1782052 edges, 81061 markings/sec, 10 secs
lola: 1582336 markings, 2371949 edges, 79161 markings/sec, 15 secs
lola: 1979092 markings, 2962105 edges, 79351 markings/sec, 20 secs
lola: 2358824 markings, 3562602 edges, 75946 markings/sec, 25 secs
lola: 2728670 markings, 4157426 edges, 73969 markings/sec, 30 secs
lola: 3115772 markings, 4742233 edges, 77420 markings/sec, 35 secs
lola: 3491584 markings, 5344925 edges, 75162 markings/sec, 40 secs
lola: 3852527 markings, 5946571 edges, 72189 markings/sec, 45 secs
lola: 4212338 markings, 6548385 edges, 71962 markings/sec, 50 secs
lola: 4555886 markings, 7139825 edges, 68710 markings/sec, 55 secs
lola: 4929444 markings, 7731692 edges, 74712 markings/sec, 60 secs
lola: 5308649 markings, 8323094 edges, 75841 markings/sec, 65 secs
lola: 5721563 markings, 8912572 edges, 82583 markings/sec, 70 secs
lola: 6122549 markings, 9498545 edges, 80197 markings/sec, 75 secs
lola: 6521749 markings, 10095529 edges, 79840 markings/sec, 80 secs
lola: 6890057 markings, 10697746 edges, 73662 markings/sec, 85 secs
lola: 7259189 markings, 11294092 edges, 73826 markings/sec, 90 secs
lola: 7635003 markings, 11896277 edges, 75163 markings/sec, 95 secs
lola: 7981057 markings, 12498268 edges, 69211 markings/sec, 100 secs
lola: 8330834 markings, 13097761 edges, 69955 markings/sec, 105 secs
lola: 8673329 markings, 13690945 edges, 68499 markings/sec, 110 secs
lola: 9050254 markings, 14284872 edges, 75385 markings/sec, 115 secs
lola: 9435833 markings, 14876773 edges, 77116 markings/sec, 120 secs
lola: 9829788 markings, 15473814 edges, 78791 markings/sec, 125 secs
lola: 10221495 markings, 16066003 edges, 78341 markings/sec, 130 secs
lola: 10599878 markings, 16661270 edges, 75677 markings/sec, 135 secs
lola: 10981094 markings, 17263872 edges, 76243 markings/sec, 140 secs
lola: 11338705 markings, 17858839 edges, 71522 markings/sec, 145 secs
lola: 11709154 markings, 18459282 edges, 74090 markings/sec, 150 secs
lola: 12083213 markings, 19057756 edges, 74812 markings/sec, 155 secs
lola: 12443509 markings, 19652359 edges, 72059 markings/sec, 160 secs
lola: 12807381 markings, 20250495 edges, 72774 markings/sec, 165 secs
lola: 13181762 markings, 20842889 edges, 74876 markings/sec, 170 secs
lola: 13575717 markings, 21433581 edges, 78791 markings/sec, 175 secs
lola: 13949461 markings, 22023817 edges, 74749 markings/sec, 180 secs
lola: 14323015 markings, 22609314 edges, 74711 markings/sec, 185 secs
lola: 14682895 markings, 23193980 edges, 71976 markings/sec, 190 secs
lola: 15074047 markings, 23786473 edges, 78230 markings/sec, 195 secs
lola: 15503043 markings, 24392729 edges, 85799 markings/sec, 200 secs
lola: 15913067 markings, 24997272 edges, 82005 markings/sec, 205 secs
lola: 16332490 markings, 25600978 edges, 83885 markings/sec, 210 secs
lola: 16734527 markings, 26205900 edges, 80407 markings/sec, 215 secs
lola: 17144093 markings, 26806294 edges, 81913 markings/sec, 220 secs
lola: 17551777 markings, 27409118 edges, 81537 markings/sec, 225 secs
lola: 17967447 markings, 28005782 edges, 83134 markings/sec, 230 secs
lola: 18363594 markings, 28599572 edges, 79229 markings/sec, 235 secs
lola: 18720806 markings, 29204627 edges, 71442 markings/sec, 240 secs
lola: 19085465 markings, 29805655 edges, 72932 markings/sec, 245 secs
lola: 19444320 markings, 30401500 edges, 71771 markings/sec, 250 secs
lola: 19813743 markings, 31001703 edges, 73885 markings/sec, 255 secs
lola: 20153468 markings, 31593568 edges, 67945 markings/sec, 260 secs
lola: 20495531 markings, 32180610 edges, 68413 markings/sec, 265 secs
lola: 20873011 markings, 32776274 edges, 75496 markings/sec, 270 secs
lola: 21238519 markings, 33369311 edges, 73102 markings/sec, 275 secs
lola: 21607981 markings, 33968652 edges, 73892 markings/sec, 280 secs
lola: 21984213 markings, 34563690 edges, 75246 markings/sec, 285 secs
lola: 22363772 markings, 35161588 edges, 75912 markings/sec, 290 secs
lola: 22749144 markings, 35754604 edges, 77074 markings/sec, 295 secs
lola: 23137192 markings, 36349755 edges, 77610 markings/sec, 300 secs
lola: 23511239 markings, 36947524 edges, 74809 markings/sec, 305 secs
lola: 23888228 markings, 37546402 edges, 75398 markings/sec, 310 secs
lola: 24251907 markings, 38134599 edges, 72736 markings/sec, 315 secs
lola: 24616584 markings, 38721057 edges, 72935 markings/sec, 320 secs
lola: 24983767 markings, 39303016 edges, 73437 markings/sec, 325 secs
lola: 25331646 markings, 39898809 edges, 69576 markings/sec, 330 secs
lola: 25676930 markings, 40503818 edges, 69057 markings/sec, 335 secs
lola: 26024007 markings, 41103839 edges, 69415 markings/sec, 340 secs
lola: 26380347 markings, 41707003 edges, 71268 markings/sec, 345 secs
lola: 26727568 markings, 42302814 edges, 69444 markings/sec, 350 secs
lola: 27101969 markings, 42902570 edges, 74880 markings/sec, 355 secs
lola: 27473164 markings, 43500650 edges, 74239 markings/sec, 360 secs
lola: 27839137 markings, 44097201 edges, 73195 markings/sec, 365 secs
lola: 28209438 markings, 44690822 edges, 74060 markings/sec, 370 secs
lola: 28568410 markings, 45289637 edges, 71794 markings/sec, 375 secs
lola: 28929702 markings, 45885079 edges, 72258 markings/sec, 380 secs
lola: 29294932 markings, 46480447 edges, 73046 markings/sec, 385 secs
lola: 29676714 markings, 47079863 edges, 76356 markings/sec, 390 secs
lola: 30025877 markings, 47671604 edges, 69833 markings/sec, 395 secs
lola: 30397721 markings, 48266384 edges, 74369 markings/sec, 400 secs
lola: 30788543 markings, 48870658 edges, 78164 markings/sec, 405 secs
lola: 31144690 markings, 49468808 edges, 71229 markings/sec, 410 secs
lola: 31513555 markings, 50067314 edges, 73773 markings/sec, 415 secs
lola: 31876775 markings, 50660975 edges, 72644 markings/sec, 420 secs
lola: 32223810 markings, 51252559 edges, 69407 markings/sec, 425 secs
lola: 32592467 markings, 51851035 edges, 73731 markings/sec, 430 secs
lola: 32978989 markings, 52453618 edges, 77304 markings/sec, 435 secs
lola: 33338131 markings, 53050196 edges, 71828 markings/sec, 440 secs
lola: 33695704 markings, 53639025 edges, 71515 markings/sec, 445 secs
lola: 34042660 markings, 54236154 edges, 69391 markings/sec, 450 secs
lola: 34412168 markings, 54836011 edges, 73902 markings/sec, 455 secs
lola: 34776337 markings, 55431522 edges, 72834 markings/sec, 460 secs
lola: 35161033 markings, 56025274 edges, 76939 markings/sec, 465 secs
lola: 35537898 markings, 56610907 edges, 75373 markings/sec, 470 secs
lola: 35908232 markings, 57198059 edges, 74067 markings/sec, 475 secs
lola: 36277776 markings, 57788990 edges, 73909 markings/sec, 480 secs
lola: 36637665 markings, 58372136 edges, 71978 markings/sec, 485 secs
lola: 36997433 markings, 58954810 edges, 71954 markings/sec, 490 secs
lola: 37354212 markings, 59537570 edges, 71356 markings/sec, 495 secs
lola: 37717880 markings, 60125351 edges, 72734 markings/sec, 500 secs
lola: 38106191 markings, 60711279 edges, 77662 markings/sec, 505 secs
lola: 38518813 markings, 61297146 edges, 82524 markings/sec, 510 secs
lola: 38927136 markings, 61889802 edges, 81665 markings/sec, 515 secs
lola: 39333745 markings, 62481205 edges, 81322 markings/sec, 520 secs
lola: 39746286 markings, 63085077 edges, 82508 markings/sec, 525 secs
lola: 40150053 markings, 63681836 edges, 80753 markings/sec, 530 secs
lola: 40538209 markings, 64271940 edges, 77631 markings/sec, 535 secs
lola: 40922026 markings, 64860241 edges, 76763 markings/sec, 540 secs
lola: 41305282 markings, 65446090 edges, 76651 markings/sec, 545 secs
lola: 41709227 markings, 66045432 edges, 80789 markings/sec, 550 secs
lola: 42095368 markings, 66632616 edges, 77228 markings/sec, 555 secs
lola: 42480063 markings, 67216322 edges, 76939 markings/sec, 560 secs
lola: 42889276 markings, 67799986 edges, 81843 markings/sec, 565 secs
lola: 43302354 markings, 68389952 edges, 82616 markings/sec, 570 secs
lola: 43720491 markings, 68980809 edges, 83627 markings/sec, 575 secs
lola: 44113735 markings, 69566319 edges, 78649 markings/sec, 580 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no no no unknown unknown yes unknown unknown no unknown
lola: memory consumption: 2850560 KB
lola: time consumption: 1214 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 589 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((p191 <= 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 (((p191 <= 0))))
lola: processed formula length: 21
lola: 70 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: 138961 markings, 687993 edges, 27792 markings/sec, 0 secs
lola: 270340 markings, 1387005 edges, 26276 markings/sec, 5 secs
lola: 385638 markings, 2089207 edges, 23060 markings/sec, 10 secs
lola: 503758 markings, 2786203 edges, 23624 markings/sec, 15 secs
lola: 623165 markings, 3475155 edges, 23881 markings/sec, 20 secs
lola: 732828 markings, 4167298 edges, 21933 markings/sec, 25 secs
lola: 853376 markings, 4864569 edges, 24110 markings/sec, 30 secs
lola: 962922 markings, 5558458 edges, 21909 markings/sec, 35 secs
lola: 1074857 markings, 6253009 edges, 22387 markings/sec, 40 secs
lola: 1193517 markings, 6941004 edges, 23732 markings/sec, 45 secs
lola: 1302296 markings, 7630347 edges, 21756 markings/sec, 50 secs
lola: 1420905 markings, 8319347 edges, 23722 markings/sec, 55 secs
lola: 1542751 markings, 9017588 edges, 24369 markings/sec, 60 secs
lola: 1661393 markings, 9709597 edges, 23728 markings/sec, 65 secs
lola: 1777554 markings, 10403311 edges, 23232 markings/sec, 70 secs
lola: 1897187 markings, 11092634 edges, 23927 markings/sec, 75 secs
lola: 2003307 markings, 11786617 edges, 21224 markings/sec, 80 secs
lola: 2111183 markings, 12482122 edges, 21575 markings/sec, 85 secs
lola: 2213974 markings, 13182008 edges, 20558 markings/sec, 90 secs
lola: 2316923 markings, 13883001 edges, 20590 markings/sec, 95 secs
lola: 2433238 markings, 14566015 edges, 23263 markings/sec, 100 secs
lola: 2544054 markings, 15251196 edges, 22163 markings/sec, 105 secs
lola: 2650756 markings, 15938169 edges, 21340 markings/sec, 110 secs
lola: 2751197 markings, 16626537 edges, 20088 markings/sec, 115 secs
lola: 2851350 markings, 17311938 edges, 20031 markings/sec, 120 secs
lola: 2956076 markings, 17999208 edges, 20945 markings/sec, 125 secs
lola: 3069657 markings, 18689428 edges, 22716 markings/sec, 130 secs
lola: 3178454 markings, 19374861 edges, 21759 markings/sec, 135 secs
lola: 3278775 markings, 20059623 edges, 20064 markings/sec, 140 secs
lola: 3381501 markings, 20748161 edges, 20545 markings/sec, 145 secs
lola: 3486883 markings, 21437394 edges, 21076 markings/sec, 150 secs
lola: 3587090 markings, 22124227 edges, 20041 markings/sec, 155 secs
lola: 3690540 markings, 22810767 edges, 20690 markings/sec, 160 secs
lola: 3802387 markings, 23493471 edges, 22369 markings/sec, 165 secs
lola: 3909366 markings, 24172417 edges, 21396 markings/sec, 170 secs
lola: 4009436 markings, 24843318 edges, 20014 markings/sec, 175 secs
lola: 4111154 markings, 25521088 edges, 20344 markings/sec, 180 secs
lola: 4212539 markings, 26200309 edges, 20277 markings/sec, 185 secs
lola: 4321007 markings, 26881077 edges, 21694 markings/sec, 190 secs
lola: 4434055 markings, 27575513 edges, 22610 markings/sec, 195 secs
lola: 4540292 markings, 28268865 edges, 21247 markings/sec, 200 secs
lola: 4642046 markings, 28965651 edges, 20351 markings/sec, 205 secs
lola: 4732947 markings, 29664031 edges, 18180 markings/sec, 210 secs
lola: 4835133 markings, 30367357 edges, 20437 markings/sec, 215 secs
lola: 4937294 markings, 31072558 edges, 20432 markings/sec, 220 secs
lola: 5038091 markings, 31773993 edges, 20159 markings/sec, 225 secs
lola: 5132984 markings, 32477268 edges, 18979 markings/sec, 230 secs
lola: 5218618 markings, 33169802 edges, 17127 markings/sec, 235 secs
lola: 5308334 markings, 33861157 edges, 17943 markings/sec, 240 secs
lola: 5409512 markings, 34567948 edges, 20236 markings/sec, 245 secs
lola: 5501956 markings, 35260821 edges, 18489 markings/sec, 250 secs
lola: 5617120 markings, 35947125 edges, 23033 markings/sec, 255 secs
lola: 5726124 markings, 36636468 edges, 21801 markings/sec, 260 secs
lola: 5827194 markings, 37329712 edges, 20214 markings/sec, 265 secs
lola: 5924545 markings, 38013124 edges, 19470 markings/sec, 270 secs
lola: 6022806 markings, 38706032 edges, 19652 markings/sec, 275 secs
lola: 6120308 markings, 39387084 edges, 19500 markings/sec, 280 secs
lola: 6221951 markings, 40091739 edges, 20329 markings/sec, 285 secs
lola: 6321829 markings, 40794610 edges, 19976 markings/sec, 290 secs
lola: 6415372 markings, 41498626 edges, 18709 markings/sec, 295 secs
lola: 6495900 markings, 42197630 edges, 16106 markings/sec, 300 secs
lola: 6592414 markings, 42895981 edges, 19303 markings/sec, 305 secs
lola: 6676917 markings, 43591204 edges, 16901 markings/sec, 310 secs
lola: 6786311 markings, 44286528 edges, 21879 markings/sec, 315 secs
lola: 6885909 markings, 44978750 edges, 19920 markings/sec, 320 secs
lola: 7000257 markings, 45668235 edges, 22870 markings/sec, 325 secs
lola: 7096512 markings, 46355195 edges, 19251 markings/sec, 330 secs
lola: 7197726 markings, 47041140 edges, 20243 markings/sec, 335 secs
lola: 7302242 markings, 47732207 edges, 20903 markings/sec, 340 secs
lola: 7399486 markings, 48426244 edges, 19449 markings/sec, 345 secs
lola: 7488450 markings, 49127814 edges, 17793 markings/sec, 350 secs
lola: 7571129 markings, 49829408 edges, 16536 markings/sec, 355 secs
lola: 7658519 markings, 50519291 edges, 17478 markings/sec, 360 secs
lola: 7742551 markings, 51203607 edges, 16806 markings/sec, 365 secs
lola: 7832035 markings, 51906694 edges, 17897 markings/sec, 370 secs
lola: 7927743 markings, 52599853 edges, 19142 markings/sec, 375 secs
lola: 8023610 markings, 53290837 edges, 19173 markings/sec, 380 secs
lola: 8118723 markings, 53978678 edges, 19023 markings/sec, 385 secs
lola: 8211601 markings, 54668647 edges, 18576 markings/sec, 390 secs
lola: 8299139 markings, 55360984 edges, 17508 markings/sec, 395 secs
lola: 8402844 markings, 56045692 edges, 20741 markings/sec, 400 secs
lola: 8493022 markings, 56737262 edges, 18036 markings/sec, 405 secs
lola: 8588301 markings, 57425192 edges, 19056 markings/sec, 410 secs
lola: 8673975 markings, 58116664 edges, 17135 markings/sec, 415 secs
lola: 8761092 markings, 58810482 edges, 17423 markings/sec, 420 secs
lola: 8842871 markings, 59501743 edges, 16356 markings/sec, 425 secs
lola: 8926708 markings, 60201440 edges, 16767 markings/sec, 430 secs
lola: 9012522 markings, 60895457 edges, 17163 markings/sec, 435 secs
lola: 9094484 markings, 61583989 edges, 16392 markings/sec, 440 secs
lola: 9181752 markings, 62270028 edges, 17454 markings/sec, 445 secs
lola: 9274032 markings, 62955828 edges, 18456 markings/sec, 450 secs
lola: 9361126 markings, 63644133 edges, 17419 markings/sec, 455 secs
lola: 9454951 markings, 64332946 edges, 18765 markings/sec, 460 secs
lola: 9546222 markings, 65026385 edges, 18254 markings/sec, 465 secs
lola: 9637150 markings, 65724737 edges, 18186 markings/sec, 470 secs
lola: 9713495 markings, 66407205 edges, 15269 markings/sec, 475 secs
lola: 9817272 markings, 67110167 edges, 20755 markings/sec, 480 secs
lola: 9912405 markings, 67820337 edges, 19027 markings/sec, 485 secs
lola: 10003480 markings, 68524165 edges, 18215 markings/sec, 490 secs
lola: 10082372 markings, 69219707 edges, 15778 markings/sec, 495 secs
lola: 10166968 markings, 69911199 edges, 16919 markings/sec, 500 secs
lola: 10268884 markings, 70584722 edges, 20383 markings/sec, 505 secs
lola: 10378224 markings, 71272206 edges, 21868 markings/sec, 510 secs
lola: 10479923 markings, 71959966 edges, 20340 markings/sec, 515 secs
lola: 10576146 markings, 72648385 edges, 19245 markings/sec, 520 secs
lola: 10668538 markings, 73328601 edges, 18478 markings/sec, 525 secs
lola: 10768189 markings, 74013987 edges, 19930 markings/sec, 530 secs
lola: 10863173 markings, 74701996 edges, 18997 markings/sec, 535 secs
lola: 10946179 markings, 75398622 edges, 16601 markings/sec, 540 secs
lola: 11033626 markings, 76076789 edges, 17489 markings/sec, 545 secs
lola: 11123420 markings, 76749681 edges, 17959 markings/sec, 550 secs
lola: 11215229 markings, 77441204 edges, 18362 markings/sec, 555 secs
lola: 11305523 markings, 78131085 edges, 18059 markings/sec, 560 secs
lola: 11392989 markings, 78806528 edges, 17493 markings/sec, 565 secs
lola: 11480887 markings, 79476512 edges, 17580 markings/sec, 570 secs
lola: 11582456 markings, 80178742 edges, 20314 markings/sec, 575 secs
lola: 11672177 markings, 80879455 edges, 17944 markings/sec, 580 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no no no unknown unknown yes unknown unknown no unknown
lola: memory consumption: 2930500 KB
lola: time consumption: 1803 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 9 will run for 589 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((1 <= p33) AND (1 <= p48))))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((1 <= p33) AND (1 <= p48))))
lola: processed formula length: 35
lola: 70 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 4589 markings, 4590 edges
lola: ========================================
lola: subprocess 10 will run for 883 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((G (F (((1 <= p112) AND (1 <= p145)))) AND ((p476 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((G (F (((1 <= p112) AND (1 <= p145)))) AND ((p476 <= 0)))))
lola: processed formula length: 65
lola: 70 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: 4240 markings, 4241 edges
lola: ========================================
lola: subprocess 11 will run for 1767 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((F (((p1004 <= 0) OR (p1019 <= 0))) AND F ((G (((p531 <= 0) OR (p541 <= 0))) OR (((p1161 <= 0) OR (p1165 <= 0) OR (p1177 <= 0)) AND ((p531 <= 0) OR (p541 <= 0))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((F (((p1004 <= 0) OR (p1019 <= 0))) AND F ((G (((p531 <= 0) OR (p541 <= 0))) OR (((p1161 <= 0) OR (p1165 <= 0) OR (p1177 <= 0)) AND ((p531 <= 0) OR (p541 <= 0))))))))
lola: processed formula length: 177
lola: 70 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: 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: 135366 markings, 720121 edges, 27073 markings/sec, 0 secs
lola: 253917 markings, 1450288 edges, 23710 markings/sec, 5 secs
lola: 398697 markings, 2164721 edges, 28956 markings/sec, 10 secs
lola: 523934 markings, 2889070 edges, 25047 markings/sec, 15 secs
lola: 654388 markings, 3604795 edges, 26091 markings/sec, 20 secs
lola: 786205 markings, 4325621 edges, 26363 markings/sec, 25 secs
lola: 905113 markings, 5050917 edges, 23782 markings/sec, 30 secs
lola: 1040399 markings, 5761430 edges, 27057 markings/sec, 35 secs
lola: 1154309 markings, 6490594 edges, 22782 markings/sec, 40 secs
lola: 1270139 markings, 7215123 edges, 23166 markings/sec, 45 secs
lola: 1400325 markings, 7929674 edges, 26037 markings/sec, 50 secs
lola: 1523258 markings, 8650874 edges, 24587 markings/sec, 55 secs
lola: 1654695 markings, 9360446 edges, 26287 markings/sec, 60 secs
lola: 1775446 markings, 10085568 edges, 24150 markings/sec, 65 secs
lola: 1883750 markings, 10814525 edges, 21661 markings/sec, 70 secs
lola: 1992796 markings, 11543260 edges, 21809 markings/sec, 75 secs
lola: 2094354 markings, 12273348 edges, 20312 markings/sec, 80 secs
lola: 2218114 markings, 12990212 edges, 24752 markings/sec, 85 secs
lola: 2330139 markings, 13700525 edges, 22405 markings/sec, 90 secs
lola: 2453607 markings, 14417205 edges, 24694 markings/sec, 95 secs
lola: 2554557 markings, 15141554 edges, 20190 markings/sec, 100 secs
lola: 2680730 markings, 15868504 edges, 25235 markings/sec, 105 secs
lola: 2799252 markings, 16600022 edges, 23704 markings/sec, 110 secs
lola: 2911486 markings, 17332717 edges, 22447 markings/sec, 115 secs
lola: 3019301 markings, 18065558 edges, 21563 markings/sec, 120 secs
lola: 3111200 markings, 18800048 edges, 18380 markings/sec, 125 secs
lola: 3223525 markings, 19533082 edges, 22465 markings/sec, 130 secs
lola: 3330617 markings, 20267277 edges, 21418 markings/sec, 135 secs
lola: 3433355 markings, 21002940 edges, 20548 markings/sec, 140 secs
lola: 3528003 markings, 21739972 edges, 18930 markings/sec, 145 secs
lola: 3612276 markings, 22474464 edges, 16855 markings/sec, 150 secs
lola: 3705151 markings, 23204172 edges, 18575 markings/sec, 155 secs
lola: 3804089 markings, 23920783 edges, 19788 markings/sec, 160 secs
lola: 3892074 markings, 24635692 edges, 17597 markings/sec, 165 secs
lola: 3969809 markings, 25360156 edges, 15547 markings/sec, 170 secs
lola: 4064791 markings, 26088703 edges, 18996 markings/sec, 175 secs
lola: 4171609 markings, 26823152 edges, 21364 markings/sec, 180 secs
lola: 4279509 markings, 27555739 edges, 21580 markings/sec, 185 secs
lola: 4378213 markings, 28290180 edges, 19741 markings/sec, 190 secs
lola: 4479741 markings, 29021931 edges, 20306 markings/sec, 195 secs
lola: 4554139 markings, 29753895 edges, 14880 markings/sec, 200 secs
lola: 4651753 markings, 30488954 edges, 19523 markings/sec, 205 secs
lola: 4749347 markings, 31223830 edges, 19519 markings/sec, 210 secs
lola: 4848951 markings, 31958519 edges, 19921 markings/sec, 215 secs
lola: 4939991 markings, 32693508 edges, 18208 markings/sec, 220 secs
lola: 5027317 markings, 33428036 edges, 17465 markings/sec, 225 secs
lola: 5111727 markings, 34153506 edges, 16882 markings/sec, 230 secs
lola: 5181681 markings, 34886709 edges, 13991 markings/sec, 235 secs
lola: 5284507 markings, 35599557 edges, 20565 markings/sec, 240 secs
lola: 5372265 markings, 36317176 edges, 17552 markings/sec, 245 secs
lola: 5469170 markings, 37021266 edges, 19381 markings/sec, 250 secs
lola: 5550826 markings, 37734877 edges, 16331 markings/sec, 255 secs
lola: 5619795 markings, 38453239 edges, 13794 markings/sec, 260 secs
lola: 5730880 markings, 39157957 edges, 22217 markings/sec, 265 secs
lola: 5844967 markings, 39866817 edges, 22817 markings/sec, 270 secs
lola: 5948942 markings, 40589442 edges, 20795 markings/sec, 275 secs
lola: 6045444 markings, 41313635 edges, 19300 markings/sec, 280 secs
lola: 6167281 markings, 42008115 edges, 24367 markings/sec, 285 secs
lola: 6292373 markings, 42714021 edges, 25018 markings/sec, 290 secs
lola: 6407554 markings, 43425537 edges, 23036 markings/sec, 295 secs
lola: 6515321 markings, 44136317 edges, 21553 markings/sec, 300 secs
lola: 6622459 markings, 44847555 edges, 21428 markings/sec, 305 secs
lola: 6734872 markings, 45553873 edges, 22483 markings/sec, 310 secs
lola: 6844631 markings, 46260981 edges, 21952 markings/sec, 315 secs
lola: 6971789 markings, 46974006 edges, 25432 markings/sec, 320 secs
lola: 7095712 markings, 47679310 edges, 24785 markings/sec, 325 secs
lola: 7211987 markings, 48386233 edges, 23255 markings/sec, 330 secs
lola: 7312696 markings, 49106989 edges, 20142 markings/sec, 335 secs
lola: 7413403 markings, 49819262 edges, 20141 markings/sec, 340 secs
lola: 7530216 markings, 50523060 edges, 23363 markings/sec, 345 secs
lola: 7641453 markings, 51253479 edges, 22247 markings/sec, 350 secs
lola: 7753020 markings, 51962419 edges, 22313 markings/sec, 355 secs
lola: 7856422 markings, 52664542 edges, 20680 markings/sec, 360 secs
lola: 7945712 markings, 53370307 edges, 17858 markings/sec, 365 secs
lola: 8028768 markings, 54077478 edges, 16611 markings/sec, 370 secs
lola: 8116253 markings, 54792927 edges, 17497 markings/sec, 375 secs
lola: 8231242 markings, 55520321 edges, 22998 markings/sec, 380 secs
lola: 8331810 markings, 56244608 edges, 20114 markings/sec, 385 secs
lola: 8410929 markings, 56956424 edges, 15824 markings/sec, 390 secs
lola: 8478500 markings, 57668784 edges, 13514 markings/sec, 395 secs
lola: 8543755 markings, 58380035 edges, 13051 markings/sec, 400 secs
lola: 8655774 markings, 59100007 edges, 22404 markings/sec, 405 secs
lola: 8767372 markings, 59824961 edges, 22320 markings/sec, 410 secs
lola: 8858248 markings, 60542792 edges, 18175 markings/sec, 415 secs
lola: 8967643 markings, 61269639 edges, 21879 markings/sec, 420 secs
lola: 9066864 markings, 61995391 edges, 19844 markings/sec, 425 secs
lola: 9145828 markings, 62708950 edges, 15793 markings/sec, 430 secs
lola: 9234947 markings, 63396917 edges, 17824 markings/sec, 435 secs
lola: 9309422 markings, 64097259 edges, 14895 markings/sec, 440 secs
lola: 9421012 markings, 64829418 edges, 22318 markings/sec, 445 secs
lola: 9525733 markings, 65562106 edges, 20944 markings/sec, 450 secs
lola: 9634749 markings, 66293710 edges, 21803 markings/sec, 455 secs
lola: 9734671 markings, 67026539 edges, 19984 markings/sec, 460 secs
lola: 9834572 markings, 67758346 edges, 19980 markings/sec, 465 secs
lola: 9926063 markings, 68490777 edges, 18298 markings/sec, 470 secs
lola: 10028412 markings, 69217396 edges, 20470 markings/sec, 475 secs
lola: 10090731 markings, 69951059 edges, 12464 markings/sec, 480 secs
lola: 10180463 markings, 70683478 edges, 17946 markings/sec, 485 secs
lola: 10280804 markings, 71416093 edges, 20068 markings/sec, 490 secs
lola: 10375415 markings, 72148794 edges, 18922 markings/sec, 495 secs
lola: 10472449 markings, 72881598 edges, 19407 markings/sec, 500 secs
lola: 10566538 markings, 73614359 edges, 18818 markings/sec, 505 secs
lola: 10658306 markings, 74348068 edges, 18354 markings/sec, 510 secs
lola: 10741905 markings, 75082060 edges, 16720 markings/sec, 515 secs
lola: 10837699 markings, 75814422 edges, 19159 markings/sec, 520 secs
lola: 10913667 markings, 76532016 edges, 15194 markings/sec, 525 secs
lola: 10968100 markings, 77266361 edges, 10887 markings/sec, 530 secs
lola: 11053081 markings, 77980126 edges, 16996 markings/sec, 535 secs
lola: 11136423 markings, 78669077 edges, 16668 markings/sec, 540 secs
lola: 11248749 markings, 79361468 edges, 22465 markings/sec, 545 secs
lola: 11372033 markings, 80074945 edges, 24657 markings/sec, 550 secs
lola: 11499265 markings, 80769873 edges, 25446 markings/sec, 555 secs
lola: 11616107 markings, 81484963 edges, 23368 markings/sec, 560 secs
lola: 11726096 markings, 82204539 edges, 21998 markings/sec, 565 secs
lola: 11844534 markings, 82897997 edges, 23688 markings/sec, 570 secs
lola: 11958117 markings, 83604679 edges, 22717 markings/sec, 575 secs
lola: 12067971 markings, 84309691 edges, 21971 markings/sec, 580 secs
lola: 12165059 markings, 85012335 edges, 19418 markings/sec, 585 secs
lola: 12267661 markings, 85717083 edges, 20520 markings/sec, 590 secs
lola: 12364324 markings, 86421270 edges, 19333 markings/sec, 595 secs
lola: 12466335 markings, 87127421 edges, 20402 markings/sec, 600 secs
lola: 12575898 markings, 87839156 edges, 21913 markings/sec, 605 secs
lola: 12678532 markings, 88565044 edges, 20527 markings/sec, 610 secs
lola: 12776316 markings, 89281674 edges, 19557 markings/sec, 615 secs
lola: 12869872 markings, 90007220 edges, 18711 markings/sec, 620 secs
lola: 12961862 markings, 90718248 edges, 18398 markings/sec, 625 secs
lola: 13048293 markings, 91443895 edges, 17286 markings/sec, 630 secs
lola: 13130887 markings, 92176838 edges, 16519 markings/sec, 635 secs
lola: 13208176 markings, 92901868 edges, 15458 markings/sec, 640 secs
lola: 13285876 markings, 93628355 edges, 15540 markings/sec, 645 secs
lola: 13361045 markings, 94361809 edges, 15034 markings/sec, 650 secs
lola: 13434886 markings, 95083064 edges, 14768 markings/sec, 655 secs
lola: 13540590 markings, 95807486 edges, 21141 markings/sec, 660 secs
lola: 13642835 markings, 96526302 edges, 20449 markings/sec, 665 secs
lola: 13715506 markings, 97233217 edges, 14534 markings/sec, 670 secs
lola: 13774077 markings, 97954229 edges, 11714 markings/sec, 675 secs
lola: 13846809 markings, 98664540 edges, 14546 markings/sec, 680 secs
lola: 13924021 markings, 99392718 edges, 15442 markings/sec, 685 secs
lola: 13998787 markings, 100118265 edges, 14953 markings/sec, 690 secs
lola: 14097987 markings, 100822429 edges, 19840 markings/sec, 695 secs
lola: 14174871 markings, 101530654 edges, 15377 markings/sec, 700 secs
lola: 14269648 markings, 102228331 edges, 18955 markings/sec, 705 secs
lola: 14352433 markings, 102944831 edges, 16557 markings/sec, 710 secs
lola: 14428020 markings, 103658123 edges, 15117 markings/sec, 715 secs
lola: 14509017 markings, 104354843 edges, 16199 markings/sec, 720 secs
lola: 14627240 markings, 105070388 edges, 23645 markings/sec, 725 secs
lola: 14738369 markings, 105798922 edges, 22226 markings/sec, 730 secs
lola: 14853977 markings, 106525000 edges, 23122 markings/sec, 735 secs
lola: 14959913 markings, 107254558 edges, 21187 markings/sec, 740 secs
lola: 15063359 markings, 107984941 edges, 20689 markings/sec, 745 secs
lola: 15180708 markings, 108710890 edges, 23470 markings/sec, 750 secs
lola: 15287575 markings, 109440931 edges, 21373 markings/sec, 755 secs
lola: 15387976 markings, 110171043 edges, 20080 markings/sec, 760 secs
lola: 15492559 markings, 110899226 edges, 20917 markings/sec, 765 secs
lola: 15588611 markings, 111629415 edges, 19210 markings/sec, 770 secs
lola: 15684356 markings, 112360092 edges, 19149 markings/sec, 775 secs
lola: 15791932 markings, 113087132 edges, 21515 markings/sec, 780 secs
lola: 15892734 markings, 113811754 edges, 20160 markings/sec, 785 secs
lola: 15969313 markings, 114539086 edges, 15316 markings/sec, 790 secs
lola: 16050877 markings, 115258196 edges, 16313 markings/sec, 795 secs
lola: 16131044 markings, 115969650 edges, 16033 markings/sec, 800 secs
lola: 16195540 markings, 116698817 edges, 12899 markings/sec, 805 secs
lola: 16254648 markings, 117425544 edges, 11822 markings/sec, 810 secs
lola: 16305993 markings, 118154436 edges, 10269 markings/sec, 815 secs
lola: 16384294 markings, 118877577 edges, 15660 markings/sec, 820 secs
lola: 16495104 markings, 119606295 edges, 22162 markings/sec, 825 secs
lola: 16595225 markings, 120336125 edges, 20024 markings/sec, 830 secs
lola: 16701435 markings, 121063221 edges, 21242 markings/sec, 835 secs
lola: 16800066 markings, 121793491 edges, 19726 markings/sec, 840 secs
lola: 16892393 markings, 122524547 edges, 18465 markings/sec, 845 secs
lola: 16996602 markings, 123253740 edges, 20842 markings/sec, 850 secs
lola: 17098743 markings, 123983552 edges, 20428 markings/sec, 855 secs
lola: 17192460 markings, 124712898 edges, 18743 markings/sec, 860 secs
lola: 17290230 markings, 125442325 edges, 19554 markings/sec, 865 secs
lola: 17382584 markings, 126173158 edges, 18471 markings/sec, 870 secs
lola: 17468773 markings, 126902307 edges, 17238 markings/sec, 875 secs
lola: 17558741 markings, 127631767 edges, 17994 markings/sec, 880 secs
lola: 17659522 markings, 128359290 edges, 20156 markings/sec, 885 secs
lola: 17748697 markings, 129081382 edges, 17835 markings/sec, 890 secs
lola: 17817187 markings, 129804563 edges, 13698 markings/sec, 895 secs
lola: 17887326 markings, 130520736 edges, 14028 markings/sec, 900 secs
lola: 17962113 markings, 131227732 edges, 14957 markings/sec, 905 secs
lola: 18027967 markings, 131944511 edges, 13171 markings/sec, 910 secs
lola: 18079281 markings, 132668500 edges, 10263 markings/sec, 915 secs
lola: 18133156 markings, 133391319 edges, 10775 markings/sec, 920 secs
lola: 18179782 markings, 134111543 edges, 9325 markings/sec, 925 secs
lola: 18266833 markings, 134834288 edges, 17410 markings/sec, 930 secs
lola: 18378155 markings, 135532702 edges, 22264 markings/sec, 935 secs
lola: 18463589 markings, 136236497 edges, 17087 markings/sec, 940 secs
lola: 18572098 markings, 136925349 edges, 21702 markings/sec, 945 secs
lola: 18652921 markings, 137629524 edges, 16165 markings/sec, 950 secs
lola: 18733268 markings, 138322917 edges, 16069 markings/sec, 955 secs
lola: 18822201 markings, 139017875 edges, 17787 markings/sec, 960 secs
lola: 18902315 markings, 139714721 edges, 16023 markings/sec, 965 secs
lola: 18974781 markings, 140415564 edges, 14493 markings/sec, 970 secs
lola: 19050817 markings, 141095162 edges, 15207 markings/sec, 975 secs
lola: 19129774 markings, 141781865 edges, 15791 markings/sec, 980 secs
lola: 19198958 markings, 142473163 edges, 13837 markings/sec, 985 secs
lola: 19260453 markings, 143165658 edges, 12299 markings/sec, 990 secs
lola: 19317572 markings, 143852422 edges, 11424 markings/sec, 995 secs
lola: 19394068 markings, 144533326 edges, 15299 markings/sec, 1000 secs
lola: 19497272 markings, 145255903 edges, 20641 markings/sec, 1005 secs
lola: 19596733 markings, 145983838 edges, 19892 markings/sec, 1010 secs
lola: 19700343 markings, 146715279 edges, 20722 markings/sec, 1015 secs
lola: 19801495 markings, 147450068 edges, 20230 markings/sec, 1020 secs
lola: 19899262 markings, 148184449 edges, 19553 markings/sec, 1025 secs
lola: 19993494 markings, 148919161 edges, 18846 markings/sec, 1030 secs
lola: 20079779 markings, 149646524 edges, 17257 markings/sec, 1035 secs
lola: 20156273 markings, 150355469 edges, 15299 markings/sec, 1040 secs
lola: 20230505 markings, 151078553 edges, 14846 markings/sec, 1045 secs
lola: 20296833 markings, 151791603 edges, 13266 markings/sec, 1050 secs
lola: 20358050 markings, 152496152 edges, 12243 markings/sec, 1055 secs
lola: 20411738 markings, 153202667 edges, 10738 markings/sec, 1060 secs
lola: 20478242 markings, 153927506 edges, 13301 markings/sec, 1065 secs
lola: 20537269 markings, 154652511 edges, 11805 markings/sec, 1070 secs
lola: 20593927 markings, 155378465 edges, 11332 markings/sec, 1075 secs
lola: 20650583 markings, 156103867 edges, 11331 markings/sec, 1080 secs
lola: 20704653 markings, 156828988 edges, 10814 markings/sec, 1085 secs
lola: 20759595 markings, 157546244 edges, 10988 markings/sec, 1090 secs
lola: 20829375 markings, 158260735 edges, 13956 markings/sec, 1095 secs
lola: 20905513 markings, 158970945 edges, 15228 markings/sec, 1100 secs
lola: 21012049 markings, 159700186 edges, 21307 markings/sec, 1105 secs
lola: 21076182 markings, 160413205 edges, 12827 markings/sec, 1110 secs
lola: 21142091 markings, 161121203 edges, 13182 markings/sec, 1115 secs
lola: 21221569 markings, 161852274 edges, 15896 markings/sec, 1120 secs
lola: 21295346 markings, 162581635 edges, 14755 markings/sec, 1125 secs
lola: 21390501 markings, 163311895 edges, 19031 markings/sec, 1130 secs
lola: 21471656 markings, 164021092 edges, 16231 markings/sec, 1135 secs
lola: 21533977 markings, 164733776 edges, 12464 markings/sec, 1140 secs
lola: 21591704 markings, 165451838 edges, 11545 markings/sec, 1145 secs
lola: 21662913 markings, 166168566 edges, 14242 markings/sec, 1150 secs
lola: 21734957 markings, 166893507 edges, 14409 markings/sec, 1155 secs
lola: 21805198 markings, 167610520 edges, 14048 markings/sec, 1160 secs
lola: 21889662 markings, 168305989 edges, 16893 markings/sec, 1165 secs
lola: 21938790 markings, 169022448 edges, 9826 markings/sec, 1170 secs
lola: 22001776 markings, 169724461 edges, 12597 markings/sec, 1175 secs
lola: 22051066 markings, 170438927 edges, 9858 markings/sec, 1180 secs
lola: 22102493 markings, 171141047 edges, 10285 markings/sec, 1185 secs
lola: 22157115 markings, 171852071 edges, 10924 markings/sec, 1190 secs
lola: 22205600 markings, 172566377 edges, 9697 markings/sec, 1195 secs
lola: 22257320 markings, 173276937 edges, 10344 markings/sec, 1200 secs
lola: 22324330 markings, 173980114 edges, 13402 markings/sec, 1205 secs
lola: 22393723 markings, 174675484 edges, 13879 markings/sec, 1210 secs
lola: 22448408 markings, 175382584 edges, 10937 markings/sec, 1215 secs
lola: 22515704 markings, 176085280 edges, 13459 markings/sec, 1220 secs
lola: 22588742 markings, 176787752 edges, 14608 markings/sec, 1225 secs
lola: 22657096 markings, 177492211 edges, 13671 markings/sec, 1230 secs
lola: 22722692 markings, 178206513 edges, 13119 markings/sec, 1235 secs
lola: 22796232 markings, 178913869 edges, 14708 markings/sec, 1240 secs
lola: 22865919 markings, 179627750 edges, 13937 markings/sec, 1245 secs
lola: 22933059 markings, 180317242 edges, 13428 markings/sec, 1250 secs
lola: 22996663 markings, 181022175 edges, 12721 markings/sec, 1255 secs
lola: 23079010 markings, 181738448 edges, 16469 markings/sec, 1260 secs
lola: 23156685 markings, 182456685 edges, 15535 markings/sec, 1265 secs
lola: 23230337 markings, 183172048 edges, 14730 markings/sec, 1270 secs
lola: 23301351 markings, 183894285 edges, 14203 markings/sec, 1275 secs
lola: 23377708 markings, 184618368 edges, 15271 markings/sec, 1280 secs
lola: 23448462 markings, 185342951 edges, 14151 markings/sec, 1285 secs
lola: 23518810 markings, 186066375 edges, 14070 markings/sec, 1290 secs
lola: 23584206 markings, 186790839 edges, 13079 markings/sec, 1295 secs
lola: 23659768 markings, 187489241 edges, 15112 markings/sec, 1300 secs
lola: 23736009 markings, 188182081 edges, 15248 markings/sec, 1305 secs
lola: 23812522 markings, 188885365 edges, 15303 markings/sec, 1310 secs
lola: 23886497 markings, 189603061 edges, 14795 markings/sec, 1315 secs
lola: 23960232 markings, 190316745 edges, 14747 markings/sec, 1320 secs
lola: 24034617 markings, 191016988 edges, 14877 markings/sec, 1325 secs
lola: 24106372 markings, 191734157 edges, 14351 markings/sec, 1330 secs
lola: 24172727 markings, 192448886 edges, 13271 markings/sec, 1335 secs
lola: 24237343 markings, 193169169 edges, 12923 markings/sec, 1340 secs
lola: 24312307 markings, 193882182 edges, 14993 markings/sec, 1345 secs
lola: 24381195 markings, 194592437 edges, 13778 markings/sec, 1350 secs
lola: 24448069 markings, 195301656 edges, 13375 markings/sec, 1355 secs
lola: 24512673 markings, 196016651 edges, 12921 markings/sec, 1360 secs
lola: 24579763 markings, 196742776 edges, 13418 markings/sec, 1365 secs
lola: 24645289 markings, 197466859 edges, 13105 markings/sec, 1370 secs
lola: 24709764 markings, 198193496 edges, 12895 markings/sec, 1375 secs
lola: 24770305 markings, 198917987 edges, 12108 markings/sec, 1380 secs
lola: 24837929 markings, 199640498 edges, 13525 markings/sec, 1385 secs
lola: 24905158 markings, 200358695 edges, 13446 markings/sec, 1390 secs
lola: 24983024 markings, 201074021 edges, 15573 markings/sec, 1395 secs
lola: 25046306 markings, 201782143 edges, 12656 markings/sec, 1400 secs
lola: 25106511 markings, 202495506 edges, 12041 markings/sec, 1405 secs
lola: 25162201 markings, 203206246 edges, 11138 markings/sec, 1410 secs
lola: 25261948 markings, 203914243 edges, 19949 markings/sec, 1415 secs
lola: 25366797 markings, 204620198 edges, 20970 markings/sec, 1420 secs
lola: 25440100 markings, 205325213 edges, 14661 markings/sec, 1425 secs
lola: 25518121 markings, 206023586 edges, 15604 markings/sec, 1430 secs
lola: 25609022 markings, 206728562 edges, 18180 markings/sec, 1435 secs
lola: 25682426 markings, 207441797 edges, 14681 markings/sec, 1440 secs
lola: 25764716 markings, 208141275 edges, 16458 markings/sec, 1445 secs
lola: 25869140 markings, 208859529 edges, 20885 markings/sec, 1450 secs
lola: 25962808 markings, 209546331 edges, 18734 markings/sec, 1455 secs
lola: 26041865 markings, 210234199 edges, 15811 markings/sec, 1460 secs
lola: 26113066 markings, 210923075 edges, 14240 markings/sec, 1465 secs
lola: 26171403 markings, 211634230 edges, 11667 markings/sec, 1470 secs
lola: 26252820 markings, 212346183 edges, 16283 markings/sec, 1475 secs
lola: 26315730 markings, 213053508 edges, 12582 markings/sec, 1480 secs
lola: 26380513 markings, 213758070 edges, 12957 markings/sec, 1485 secs
lola: 26485721 markings, 214449502 edges, 21042 markings/sec, 1490 secs
lola: 26599162 markings, 215171155 edges, 22688 markings/sec, 1495 secs
lola: 26706370 markings, 215894399 edges, 21442 markings/sec, 1500 secs
lola: 26814822 markings, 216616920 edges, 21690 markings/sec, 1505 secs
lola: 26916918 markings, 217339391 edges, 20419 markings/sec, 1510 secs
lola: 27017389 markings, 218064232 edges, 20094 markings/sec, 1515 secs
lola: 27117613 markings, 218784909 edges, 20045 markings/sec, 1520 secs
lola: 27222463 markings, 219506755 edges, 20970 markings/sec, 1525 secs
lola: 27317064 markings, 220231591 edges, 18920 markings/sec, 1530 secs
lola: 27421498 markings, 220955320 edges, 20887 markings/sec, 1535 secs
lola: 27515199 markings, 221678065 edges, 18740 markings/sec, 1540 secs
lola: 27601832 markings, 222403448 edges, 17327 markings/sec, 1545 secs
lola: 27696839 markings, 223127288 edges, 19001 markings/sec, 1550 secs
lola: 27805464 markings, 223827895 edges, 21725 markings/sec, 1555 secs
lola: 27927992 markings, 224513907 edges, 24506 markings/sec, 1560 secs
lola: 28024838 markings, 225204481 edges, 19369 markings/sec, 1565 secs
lola: 28114764 markings, 225891887 edges, 17985 markings/sec, 1570 secs
lola: 28225970 markings, 226573616 edges, 22241 markings/sec, 1575 secs
lola: 28320096 markings, 227271350 edges, 18825 markings/sec, 1580 secs
lola: 28421296 markings, 227973045 edges, 20240 markings/sec, 1585 secs
lola: 28536623 markings, 228697367 edges, 23065 markings/sec, 1590 secs
lola: 28647813 markings, 229421836 edges, 22238 markings/sec, 1595 secs
lola: 28755298 markings, 230147463 edges, 21497 markings/sec, 1600 secs
lola: 28853792 markings, 230874461 edges, 19699 markings/sec, 1605 secs
lola: 28956938 markings, 231600830 edges, 20629 markings/sec, 1610 secs
lola: 29061418 markings, 232326205 edges, 20896 markings/sec, 1615 secs
lola: 29163385 markings, 233052833 edges, 20393 markings/sec, 1620 secs
lola: 29266412 markings, 233779869 edges, 20605 markings/sec, 1625 secs
lola: 29363663 markings, 234507322 edges, 19450 markings/sec, 1630 secs
lola: 29451927 markings, 235235656 edges, 17653 markings/sec, 1635 secs
lola: 29547468 markings, 235962975 edges, 19108 markings/sec, 1640 secs
lola: 29655659 markings, 236666207 edges, 21638 markings/sec, 1645 secs
lola: 29770733 markings, 237348495 edges, 23015 markings/sec, 1650 secs
lola: 29884584 markings, 238039075 edges, 22770 markings/sec, 1655 secs
lola: 29982729 markings, 238741783 edges, 19629 markings/sec, 1660 secs
lola: 30079340 markings, 239429564 edges, 19322 markings/sec, 1665 secs
lola: 30169829 markings, 240124696 edges, 18098 markings/sec, 1670 secs
lola: 30262200 markings, 240814929 edges, 18474 markings/sec, 1675 secs
lola: 30346706 markings, 241496338 edges, 16901 markings/sec, 1680 secs
lola: 30441239 markings, 242192638 edges, 18907 markings/sec, 1685 secs
lola: 30548027 markings, 242900350 edges, 21358 markings/sec, 1690 secs
lola: 30647429 markings, 243606167 edges, 19880 markings/sec, 1695 secs
lola: 30742117 markings, 244310280 edges, 18938 markings/sec, 1700 secs
lola: 30839503 markings, 245009147 edges, 19477 markings/sec, 1705 secs
lola: 30929417 markings, 245723348 edges, 17983 markings/sec, 1710 secs
lola: 31017435 markings, 246434168 edges, 17604 markings/sec, 1715 secs
lola: 31100714 markings, 247144179 edges, 16656 markings/sec, 1720 secs
lola: 31178140 markings, 247851180 edges, 15485 markings/sec, 1725 secs
lola: 31285699 markings, 248550316 edges, 21512 markings/sec, 1730 secs
lola: 31385774 markings, 249243898 edges, 20015 markings/sec, 1735 secs
lola: 31498334 markings, 249948582 edges, 22512 markings/sec, 1740 secs
lola: 31598813 markings, 250641076 edges, 20096 markings/sec, 1745 secs
lola: 31703789 markings, 251340432 edges, 20995 markings/sec, 1750 secs
lola: 31799343 markings, 252035682 edges, 19111 markings/sec, 1755 secs
lola: 31890333 markings, 252727775 edges, 18198 markings/sec, 1760 secs
lola: time limit reached - aborting
lola:
preliminary result: no no no no no unknown unknown yes no unknown no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: no no no no no unknown unknown yes no unknown no unknown
preliminary result: no no no no no unknown unknown yes no unknown no unknown
lola: memory consumption: 5890932 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 no no no unknown unknown yes no unknown no unknown
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-050A"
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-050A, 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-162098230900154"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPs-PT-050A.tgz
mv ShieldIIPs-PT-050A 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 ;