About the Execution of 2020-gold for ShieldPPPs-PT-020A
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10325.344 | 3600000.00 | 3596470.00 | 10699.60 | ?FF?FFFFT?T?FF?? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r227-tall-162098231100306.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 ShieldPPPs-PT-020A, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r227-tall-162098231100306
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 448K
-rw-r--r-- 1 mcc users 8.2K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K 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:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 16:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Mar 28 16:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 27 12:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 27 12:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 18:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 18:25 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 176K 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 ShieldPPPs-PT-020A-00
FORMULA_NAME ShieldPPPs-PT-020A-01
FORMULA_NAME ShieldPPPs-PT-020A-02
FORMULA_NAME ShieldPPPs-PT-020A-03
FORMULA_NAME ShieldPPPs-PT-020A-04
FORMULA_NAME ShieldPPPs-PT-020A-05
FORMULA_NAME ShieldPPPs-PT-020A-06
FORMULA_NAME ShieldPPPs-PT-020A-07
FORMULA_NAME ShieldPPPs-PT-020A-08
FORMULA_NAME ShieldPPPs-PT-020A-09
FORMULA_NAME ShieldPPPs-PT-020A-10
FORMULA_NAME ShieldPPPs-PT-020A-11
FORMULA_NAME ShieldPPPs-PT-020A-12
FORMULA_NAME ShieldPPPs-PT-020A-13
FORMULA_NAME ShieldPPPs-PT-020A-14
FORMULA_NAME ShieldPPPs-PT-020A-15
=== Now, execution of the tool begins
BK_START 1621165013965
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-16 11:36:55] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-16 11:36:55] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-16 11:36:56] [INFO ] Load time of PNML (sax parser for PT used): 92 ms
[2021-05-16 11:36:56] [INFO ] Transformed 623 places.
[2021-05-16 11:36:56] [INFO ] Transformed 523 transitions.
[2021-05-16 11:36:56] [INFO ] Found NUPN structural information;
[2021-05-16 11:36:56] [INFO ] Parsed PT model containing 623 places and 523 transitions in 148 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 35 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 4989 steps, including 3 resets, run visited all 45 properties in 80 ms. (steps per millisecond=62 )
[2021-05-16 11:36:56] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2021-05-16 11:36:56] [INFO ] Flatten gal took : 107 ms
FORMULA ShieldPPPs-PT-020A-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-020A-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-020A-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-16 11:36:56] [INFO ] Applying decomposition
[2021-05-16 11:36:56] [INFO ] Flatten gal took : 50 ms
[2021-05-16 11:36:56] [INFO ] Decomposing Gal with order
[2021-05-16 11:36:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 11:36:56] [INFO ] Removed a total of 180 redundant transitions.
[2021-05-16 11:36:56] [INFO ] Flatten gal took : 95 ms
[2021-05-16 11:36:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 240 labels/synchronizations in 32 ms.
[2021-05-16 11:36:56] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 4 ms.
[2021-05-16 11:36:56] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 9 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ShieldPPPs-PT-020A @ 3570 seconds
FORMULA ShieldPPPs-PT-020A-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-020A-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-020A-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-020A-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-020A-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-020A-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-020A-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ ShieldPPPs-PT-020A
{
"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 11:36:57 2021
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 273
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 2,
"U": 1,
"X": 1,
"aconj": 2,
"adisj": 1,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "G (F ((X ((((1 <= p104) AND (1 <= p114)) U G (((1 <= p104) AND (1 <= p114))))) AND ((p171 <= 0) OR (p186 <= 0)))))",
"processed_size": 115,
"rewrites": 54
},
"result":
{
"edges": 7644,
"markings": 7643,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"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": 296
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 1,
"aconj": 4,
"adisj": 2,
"aneg": 0,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 2,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 8,
"visible_transitions": 0
},
"processed": "((G (((1 <= p390) AND (1 <= p399))) OR (((p101 <= 0)) OR ((p122 <= 0)))) U (X (((1 <= p607) AND (1 <= p618))) AND (((1 <= p16)) AND ((1 <= p33)))))",
"processed_size": 147,
"rewrites": 54
},
"result":
{
"edges": 7683,
"markings": 7683,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"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": 323
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 323
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 2,
"U": 1,
"X": 0,
"aconj": 3,
"adisj": 0,
"aneg": 0,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "F (G ((G (((1 <= p606) AND (1 <= p608))) AND (((1 <= p606) AND (1 <= p608)) U ((1 <= p434))))))",
"processed_size": 95,
"rewrites": 54
},
"result":
{
"edges": 3298,
"markings": 3297,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 359
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"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": "X (((1 <= p49) AND (1 <= p58)))",
"processed_size": 31,
"rewrites": 54
},
"result":
{
"edges": 7642,
"markings": 7642,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"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"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 3,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 359
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 2,
"aconj": 4,
"adisj": 0,
"aneg": 4,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "X (((((p492 <= 0)) R (((p358 <= 0) OR (p360 <= 0)) R ((p39 <= 0) OR (p59 <= 0)))) R X (((p492 <= 0)))))",
"processed_size": 105,
"rewrites": 54
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 10
},
"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": 404
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 2,
"adisj": 1,
"aneg": 3,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "F ((X (((p445 <= 0) OR (p457 <= 0))) OR G ((((p176 <= 0)) AND ((1 <= p377) AND (1 <= p396))))))",
"processed_size": 96,
"rewrites": 54
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"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": 462
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "X (F (((1 <= p518))))",
"processed_size": 21,
"rewrites": 54
},
"result":
{
"edges": 10852,
"markings": 10852,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 539
},
"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 <= p18) AND (1 <= p29))))",
"processed_size": 35,
"rewrites": 54
},
"result":
{
"edges": 2835,
"markings": 2834,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 10,
"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": 809
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 809
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"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": "G (((p265 <= 0) OR (p267 <= 0)))",
"processed_size": 33,
"rewrites": 54
},
"result":
{
"edges": 1587,
"markings": 1587,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 12,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 6723600,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "((** U G(*)) U (F(**) AND (** AND **))) : G(F((X((** U G(**))) AND **))) : ((G(**) OR (** OR **)) U (X(**) AND (** AND **))) : G((G(F((G(**) OR (** OR **)))) AND X((* R *)))) : (X(**) OR (X(F(**)) AND F(G((G(**) AND (** U **)))))) : F(G(**)) : X(((* R (* R *)) R X(*))) : F(**) : F((X(*) OR G((* AND *)))) : F(**) : X(F(**)) : (F(G(**)) OR G(*)) : (G(F(*)) AND X(G((G(**) AND X(**)))))"
},
"net":
{
"arcs": 2006,
"conflict_clusters": 223,
"places": 623,
"places_significant": 402,
"singleton_clusters": 0,
"transitions": 523
},
"result":
{
"interim_value": "unknown no no unknown no no yes unknown yes unknown no unknown unknown ",
"preliminary_value": "unknown no no unknown no no yes unknown yes unknown no unknown 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: 1146/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 623
lola: finding significant places
lola: 623 places, 523 transitions, 402 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: (p477 <= 1)
lola: LP says that atomic proposition is always true: (p479 <= 1)
lola: LP says that atomic proposition is always true: (p477 <= 1)
lola: LP says that atomic proposition is always true: (p479 <= 1)
lola: LP says that atomic proposition is always true: (p35 <= 1)
lola: LP says that atomic proposition is always true: (p56 <= 1)
lola: LP says that atomic proposition is always true: (p35 <= 1)
lola: LP says that atomic proposition is always true: (p56 <= 1)
lola: LP says that atomic proposition is always true: (p104 <= 1)
lola: LP says that atomic proposition is always true: (p114 <= 1)
lola: LP says that atomic proposition is always true: (p104 <= 1)
lola: LP says that atomic proposition is always true: (p114 <= 1)
lola: LP says that atomic proposition is always true: (p171 <= 1)
lola: LP says that atomic proposition is always true: (p186 <= 1)
lola: LP says that atomic proposition is always true: (p390 <= 1)
lola: LP says that atomic proposition is always true: (p399 <= 1)
lola: LP says that atomic proposition is always true: (p101 <= 1)
lola: LP says that atomic proposition is always true: (p122 <= 1)
lola: LP says that atomic proposition is always true: (p607 <= 1)
lola: LP says that atomic proposition is always true: (p618 <= 1)
lola: LP says that atomic proposition is always true: (p16 <= 1)
lola: LP says that atomic proposition is always true: (p33 <= 1)
lola: LP says that atomic proposition is always true: (p409 <= 1)
lola: LP says that atomic proposition is always true: (p426 <= 1)
lola: LP says that atomic proposition is always true: (p451 <= 1)
lola: LP says that atomic proposition is always true: (p453 <= 1)
lola: LP says that atomic proposition is always true: (p162 <= 1)
lola: LP says that atomic proposition is always true: (p164 <= 1)
lola: LP says that atomic proposition is always true: (p518 <= 1)
lola: LP says that atomic proposition is always true: (p409 <= 1)
lola: LP says that atomic proposition is always true: (p426 <= 1)
lola: LP says that atomic proposition is always true: (p606 <= 1)
lola: LP says that atomic proposition is always true: (p608 <= 1)
lola: LP says that atomic proposition is always true: (p606 <= 1)
lola: LP says that atomic proposition is always true: (p608 <= 1)
lola: LP says that atomic proposition is always true: (p434 <= 1)
lola: LP says that atomic proposition is always true: (p49 <= 1)
lola: LP says that atomic proposition is always true: (p58 <= 1)
lola: LP says that atomic proposition is always true: (p18 <= 1)
lola: LP says that atomic proposition is always true: (p29 <= 1)
lola: LP says that atomic proposition is always true: (p492 <= 1)
lola: LP says that atomic proposition is always true: (p358 <= 1)
lola: LP says that atomic proposition is always true: (p360 <= 1)
lola: LP says that atomic proposition is always true: (p39 <= 1)
lola: LP says that atomic proposition is always true: (p59 <= 1)
lola: LP says that atomic proposition is always true: (p492 <= 1)
lola: LP says that atomic proposition is always true: (p276 <= 1)
lola: LP says that atomic proposition is always true: (p445 <= 1)
lola: LP says that atomic proposition is always true: (p457 <= 1)
lola: LP says that atomic proposition is always true: (p176 <= 1)
lola: LP says that atomic proposition is always true: (p377 <= 1)
lola: LP says that atomic proposition is always true: (p396 <= 1)
lola: LP says that atomic proposition is always true: (p357 <= 1)
lola: LP says that atomic proposition is always true: (p372 <= 1)
lola: LP says that atomic proposition is always true: (p37 <= 1)
lola: LP says that atomic proposition is always true: (p54 <= 1)
lola: LP says that atomic proposition is always true: (p261 <= 1)
lola: LP says that atomic proposition is always true: (p280 <= 1)
lola: LP says that atomic proposition is always true: (p38 <= 1)
lola: LP says that atomic proposition is always true: (p40 <= 1)
lola: LP says that atomic proposition is always true: (p37 <= 1)
lola: LP says that atomic proposition is always true: (p54 <= 1)
lola: LP says that atomic proposition is always true: (p518 <= 1)
lola: LP says that atomic proposition is always true: (p265 <= 1)
lola: LP says that atomic proposition is always true: (p267 <= 1)
lola: LP says that atomic proposition is always true: (p265 <= 1)
lola: LP says that atomic proposition is always true: (p267 <= 1)
lola: LP says that atomic proposition is always true: (p43 <= 1)
lola: LP says that atomic proposition is always true: (p45 <= 1)
lola: LP says that atomic proposition is always true: (p328 <= 1)
lola: LP says that atomic proposition is always true: (p339 <= 1)
lola: LP says that atomic proposition is always true: (p328 <= 1)
lola: LP says that atomic proposition is always true: (p339 <= 1)
lola: LP says that atomic proposition is always true: (p43 <= 1)
lola: LP says that atomic proposition is always true: (p45 <= 1)
lola: ((((1 <= p477) AND (1 <= p479)) U NOT(F (((1 <= p477) AND (1 <= p479))))) U ((F (((1 <= p35) AND (1 <= p56))) AND ((1 <= p35))) AND ((1 <= p56)))) : F (G (F ((NOT(X (NOT((((1 <= p104) AND (1 <= p114)) U G (((1 <= p104) AND (1 <= p114))))))) AND ((p171 <= 0) OR (p186 <= 0)))))) : (((G (((1 <= p390) AND (1 <= p399))) OR ((p101 <= 0))) OR ((p122 <= 0))) U ((X (((1 <= p607) AND (1 <= p618))) AND ((1 <= p16))) AND ((1 <= p33)))) : G ((G (F (((G (((1 <= p409) AND (1 <= p426))) OR ((1 <= p451) AND (1 <= p453))) OR ((1 <= p162) AND (1 <= p164))))) AND X (NOT((((1 <= p518)) U ((1 <= p409) AND (1 <= p426))))))) : (F (G ((G (((1 <= p606) AND (1 <= p608))) AND (((1 <= p606) AND (1 <= p608)) U ((1 <= p434)))))) U X (((1 <= p49) AND (1 <= p58)))) : F (G (((1 <= p18) AND (1 <= p29)))) : NOT(X (((((1 <= p492)) U (((1 <= p358) AND (1 <= p360)) U ((1 <= p39) AND (1 <= p59)))) U X (((1 <= p492)))))) : F (((1 <= p276))) : F ((NOT(X (((1 <= p445) AND (1 <= p457)))) OR (NOT(F (((1 <= p176)))) AND NOT(F (((p377 <= 0) OR (p396 <= 0))))))) : (((1 <= p357) AND (1 <= p372)) U ((NOT(G (F (((1 <= p261) AND ((p37 <= 0) OR (p54 <= 0)) AND (1 <= p280))))) OR F (((1 <= p38) AND (1 <= p40)))) U F (((1 <= p37) AND (1 <= p54))))) : F (X (((1 <= p518)))) : (X (F (X (G (((1 <= p265) AND (1 <= p267)))))) OR NOT(F (((1 <= p265) AND (1 <= p267))))) : (NOT(X (F (G (((1 <= p43) AND (1 <= p45)))))) AND G (X ((G (((1 <= p328) AND (1 <= p339))) AND X ((((1 <= p328) AND (1 <= p339)) OR ((1 <= p43) AND (1 <= p45))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:522
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:519
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((X ((((1 <= p104) AND (1 <= p114)) U G (((1 <= p104) AND (1 <= p114))))) AND ((p171 <= 0) OR (p186 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((X ((((1 <= p104) AND (1 <= p114)) U G (((1 <= p104) AND (1 <= p114))))) AND ((p171 <= 0) OR (p186 <= 0)))))
lola: processed formula length: 115
lola: 54 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: 7643 markings, 7644 edges
lola: ========================================
lola: subprocess 1 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((G (((1 <= p390) AND (1 <= p399))) OR (((p101 <= 0)) OR ((p122 <= 0)))) U (X (((1 <= p607) AND (1 <= p618))) AND (((1 <= p16)) AND ((1 <= p33)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((G (((1 <= p390) AND (1 <= p399))) OR (((p101 <= 0)) OR ((p122 <= 0)))) U (X (((1 <= p607) AND (1 <= p618))) AND (((1 <= p16)) AND ((1 <= p33)))))
lola: processed formula length: 147
lola: 54 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 7683 markings, 7683 edges
lola: ========================================
lola: subprocess 2 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((G (F ((G (((1 <= p409) AND (1 <= p426))) OR (((1 <= p451) AND (1 <= p453)) OR ((1 <= p162) AND (1 <= p164)))))) AND X ((((p518 <= 0)) R ((p409 <= 0) OR (p426 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((G (F ((G (((1 <= p409) AND (1 <= p426))) OR (((1 <= p451) AND (1 <= p453)) OR ((1 <= p162) AND (1 <= p164)))))) AND X ((((p518 <= 0)) R ((p409 <= 0) OR (p426 <= 0))))))
lola: processed formula length: 173
lola: 54 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: 324487 markings, 1405231 edges, 64897 markings/sec, 0 secs
lola: 622968 markings, 2813262 edges, 59696 markings/sec, 5 secs
lola: 892399 markings, 4214736 edges, 53886 markings/sec, 10 secs
lola: 1192177 markings, 5614885 edges, 59956 markings/sec, 15 secs
lola: 1477494 markings, 7018202 edges, 57063 markings/sec, 20 secs
lola: 1749619 markings, 8402017 edges, 54425 markings/sec, 25 secs
lola: 2019962 markings, 9789440 edges, 54069 markings/sec, 30 secs
lola: 2292162 markings, 11181709 edges, 54440 markings/sec, 35 secs
lola: 2550464 markings, 12574227 edges, 51660 markings/sec, 40 secs
lola: 2821814 markings, 13978526 edges, 54270 markings/sec, 45 secs
lola: 3110365 markings, 15380269 edges, 57710 markings/sec, 50 secs
lola: 3387760 markings, 16775466 edges, 55479 markings/sec, 55 secs
lola: 3657146 markings, 18171749 edges, 53877 markings/sec, 60 secs
lola: 3908305 markings, 19569155 edges, 50232 markings/sec, 65 secs
lola: 4152674 markings, 20960537 edges, 48874 markings/sec, 70 secs
lola: 4400446 markings, 22355858 edges, 49554 markings/sec, 75 secs
lola: 4636293 markings, 23756092 edges, 47169 markings/sec, 80 secs
lola: 4900106 markings, 25144146 edges, 52763 markings/sec, 85 secs
lola: 5165365 markings, 26529406 edges, 53052 markings/sec, 90 secs
lola: 5428494 markings, 27900691 edges, 52626 markings/sec, 95 secs
lola: 5656578 markings, 29276746 edges, 45617 markings/sec, 100 secs
lola: 5916364 markings, 30649514 edges, 51957 markings/sec, 105 secs
lola: 6177877 markings, 32020233 edges, 52303 markings/sec, 110 secs
lola: 6440845 markings, 33398436 edges, 52594 markings/sec, 115 secs
lola: 6671092 markings, 34786073 edges, 46049 markings/sec, 120 secs
lola: 6925318 markings, 36170898 edges, 50845 markings/sec, 125 secs
lola: 7152150 markings, 37556282 edges, 45366 markings/sec, 130 secs
lola: 7436163 markings, 38924756 edges, 56803 markings/sec, 135 secs
lola: 7702155 markings, 40287812 edges, 53198 markings/sec, 140 secs
lola: 7968735 markings, 41660825 edges, 53316 markings/sec, 145 secs
lola: 8214565 markings, 43034062 edges, 49166 markings/sec, 150 secs
lola: 8466072 markings, 44408698 edges, 50301 markings/sec, 155 secs
lola: 8718212 markings, 45781620 edges, 50428 markings/sec, 160 secs
lola: 8980021 markings, 47158126 edges, 52362 markings/sec, 165 secs
lola: 9241000 markings, 48533728 edges, 52196 markings/sec, 170 secs
lola: 9493103 markings, 49911049 edges, 50421 markings/sec, 175 secs
lola: 9729047 markings, 51284625 edges, 47189 markings/sec, 180 secs
lola: 10010232 markings, 52657838 edges, 56237 markings/sec, 185 secs
lola: 10284544 markings, 54045592 edges, 54862 markings/sec, 190 secs
lola: 10552547 markings, 55433529 edges, 53601 markings/sec, 195 secs
lola: 10816227 markings, 56822834 edges, 52736 markings/sec, 200 secs
lola: 11071168 markings, 58200055 edges, 50988 markings/sec, 205 secs
lola: 11329261 markings, 59588738 edges, 51619 markings/sec, 210 secs
lola: 11584795 markings, 60975190 edges, 51107 markings/sec, 215 secs
lola: 11818746 markings, 62363242 edges, 46790 markings/sec, 220 secs
lola: 12055880 markings, 63749064 edges, 47427 markings/sec, 225 secs
lola: 12299534 markings, 65132210 edges, 48731 markings/sec, 230 secs
lola: 12541243 markings, 66504441 edges, 48342 markings/sec, 235 secs
lola: 12773866 markings, 67868305 edges, 46525 markings/sec, 240 secs
lola: 13012929 markings, 69236802 edges, 47813 markings/sec, 245 secs
lola: 13263924 markings, 70608856 edges, 50199 markings/sec, 250 secs
lola: 13501478 markings, 71973017 edges, 47511 markings/sec, 255 secs
lola: 13743287 markings, 73330483 edges, 48362 markings/sec, 260 secs
lola: 13975403 markings, 74685378 edges, 46423 markings/sec, 265 secs
lola: 14248382 markings, 76061371 edges, 54596 markings/sec, 270 secs
lola: 14517216 markings, 77447860 edges, 53767 markings/sec, 275 secs
lola: 14782979 markings, 78840842 edges, 53153 markings/sec, 280 secs
lola: 15038186 markings, 80222828 edges, 51041 markings/sec, 285 secs
lola: 15294591 markings, 81607477 edges, 51281 markings/sec, 290 secs
lola: 15549287 markings, 82986885 edges, 50939 markings/sec, 295 secs
lola: 15780788 markings, 84357983 edges, 46300 markings/sec, 300 secs
lola: 16014199 markings, 85728980 edges, 46682 markings/sec, 305 secs
lola: 16258468 markings, 87094979 edges, 48854 markings/sec, 310 secs
lola: 16496220 markings, 88460195 edges, 47550 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2811096 KB
lola: time consumption: 334 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 3 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (((1 <= p49) AND (1 <= p58))) OR (X (F (((1 <= p49) AND (1 <= p58)))) AND F (G ((G (((1 <= p606) AND (1 <= p608))) AND (((1 <= p606) AND (1 <= p608)) U ((1 <= p434))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((G (((1 <= p606) AND (1 <= p608))) AND (((1 <= p606) AND (1 <= p608)) U ((1 <= p434))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((G (((1 <= p606) AND (1 <= p608))) AND (((1 <= p606) AND (1 <= p608)) U ((1 <= p434))))))
lola: processed formula length: 95
lola: 54 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 3297 markings, 3298 edges
lola: ========================================
lola: subprocess 4 will run for 359 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((1 <= p49) AND (1 <= p58)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((1 <= p49) AND (1 <= p58)))
lola: processed formula length: 31
lola: 54 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: 7642 markings, 7642 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 4 will run for 359 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((((p492 <= 0)) R (((p358 <= 0) OR (p360 <= 0)) R ((p39 <= 0) OR (p59 <= 0)))) R X (((p492 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((((p492 <= 0)) R (((p358 <= 0) OR (p360 <= 0)) R ((p39 <= 0) OR (p59 <= 0)))) R X (((p492 <= 0)))))
lola: processed formula length: 105
lola: 54 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 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: 3 markings, 2 edges
lola: ========================================
lola: subprocess 5 will run for 404 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((X (((p445 <= 0) OR (p457 <= 0))) OR G ((((p176 <= 0)) AND ((1 <= p377) AND (1 <= p396))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((X (((p445 <= 0) OR (p457 <= 0))) OR G ((((p176 <= 0)) AND ((1 <= p377) AND (1 <= p396))))))
lola: processed formula length: 96
lola: 54 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 6 will run for 462 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F (((1 <= p518))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((1 <= p518))))
lola: processed formula length: 21
lola: 54 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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 10852 markings, 10852 edges
lola: ========================================
lola: subprocess 7 will run for 539 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G (F (((p43 <= 0) OR (p45 <= 0)))) AND X (G ((G (((1 <= p328) AND (1 <= p339))) AND X ((((1 <= p328) AND (1 <= p339)) OR ((1 <= p43) AND (1 <= p45))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 539 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((p43 <= 0) OR (p45 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((p43 <= 0) OR (p45 <= 0))))
lola: processed formula length: 35
lola: 54 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: 363009 markings, 1337892 edges, 72602 markings/sec, 0 secs
lola: 702553 markings, 2679523 edges, 67909 markings/sec, 5 secs
lola: 1012949 markings, 3981883 edges, 62079 markings/sec, 10 secs
lola: 1285648 markings, 5258300 edges, 54540 markings/sec, 15 secs
lola: 1623965 markings, 6599605 edges, 67663 markings/sec, 20 secs
lola: 1951592 markings, 7910614 edges, 65525 markings/sec, 25 secs
lola: 2252326 markings, 9199567 edges, 60147 markings/sec, 30 secs
lola: 2543927 markings, 10519313 edges, 58320 markings/sec, 35 secs
lola: 2875179 markings, 11855269 edges, 66250 markings/sec, 40 secs
lola: 3179135 markings, 13140441 edges, 60791 markings/sec, 45 secs
lola: 3466043 markings, 14447907 edges, 57382 markings/sec, 50 secs
lola: 3784115 markings, 15762527 edges, 63614 markings/sec, 55 secs
lola: 4070535 markings, 17046134 edges, 57284 markings/sec, 60 secs
lola: 4371139 markings, 18369127 edges, 60121 markings/sec, 65 secs
lola: 4674600 markings, 19648196 edges, 60692 markings/sec, 70 secs
lola: 4942249 markings, 20907659 edges, 53530 markings/sec, 75 secs
lola: 5219611 markings, 22166466 edges, 55472 markings/sec, 80 secs
lola: 5489975 markings, 23409085 edges, 54073 markings/sec, 85 secs
lola: 5767666 markings, 24621359 edges, 55538 markings/sec, 90 secs
lola: 6033584 markings, 25806676 edges, 53184 markings/sec, 95 secs
lola: 6286137 markings, 27059414 edges, 50511 markings/sec, 100 secs
lola: 6549817 markings, 28323794 edges, 52736 markings/sec, 105 secs
lola: 6828310 markings, 29547123 edges, 55699 markings/sec, 110 secs
lola: 7082794 markings, 30807079 edges, 50897 markings/sec, 115 secs
lola: 7348153 markings, 32078829 edges, 53072 markings/sec, 120 secs
lola: 7613089 markings, 33330945 edges, 52987 markings/sec, 125 secs
lola: 7885177 markings, 34557933 edges, 54418 markings/sec, 130 secs
lola: 8117878 markings, 35807643 edges, 46540 markings/sec, 135 secs
lola: 8356573 markings, 37016858 edges, 47739 markings/sec, 140 secs
lola: 8571891 markings, 38253329 edges, 43064 markings/sec, 145 secs
lola: 8774191 markings, 39545799 edges, 40460 markings/sec, 150 secs
lola: 9046935 markings, 40857558 edges, 54549 markings/sec, 155 secs
lola: 9344280 markings, 42161213 edges, 59469 markings/sec, 160 secs
lola: 9630064 markings, 43452263 edges, 57157 markings/sec, 165 secs
lola: 9892461 markings, 44754872 edges, 52479 markings/sec, 170 secs
lola: 10170019 markings, 46047949 edges, 55512 markings/sec, 175 secs
lola: 10507902 markings, 47391052 edges, 67577 markings/sec, 180 secs
lola: 10829773 markings, 48706479 edges, 64374 markings/sec, 185 secs
lola: 11117566 markings, 50008789 edges, 57559 markings/sec, 190 secs
lola: 11447912 markings, 51351395 edges, 66069 markings/sec, 195 secs
lola: 11750808 markings, 52638768 edges, 60579 markings/sec, 200 secs
lola: 12050141 markings, 53971665 edges, 59867 markings/sec, 205 secs
lola: 12368252 markings, 55277341 edges, 63622 markings/sec, 210 secs
lola: 12657029 markings, 56591967 edges, 57755 markings/sec, 215 secs
lola: 12963657 markings, 57892207 edges, 61326 markings/sec, 220 secs
lola: 13233860 markings, 59148457 edges, 54041 markings/sec, 225 secs
lola: 13514349 markings, 60422821 edges, 56098 markings/sec, 230 secs
lola: 13792858 markings, 61671750 edges, 55702 markings/sec, 235 secs
lola: 14076379 markings, 62898473 edges, 56704 markings/sec, 240 secs
lola: 14333911 markings, 64158265 edges, 51506 markings/sec, 245 secs
lola: 14601464 markings, 65427868 edges, 53511 markings/sec, 250 secs
lola: 14874196 markings, 66654109 edges, 54546 markings/sec, 255 secs
lola: 15135933 markings, 67925914 edges, 52347 markings/sec, 260 secs
lola: 15403417 markings, 69188075 edges, 53497 markings/sec, 265 secs
lola: 15670073 markings, 70428464 edges, 53331 markings/sec, 270 secs
lola: 15908742 markings, 71667772 edges, 47734 markings/sec, 275 secs
lola: 16138024 markings, 72889358 edges, 45856 markings/sec, 280 secs
lola: 16348348 markings, 74171999 edges, 42065 markings/sec, 285 secs
lola: 16607983 markings, 75469062 edges, 51927 markings/sec, 290 secs
lola: 16896806 markings, 76737044 edges, 57765 markings/sec, 295 secs
lola: 17142104 markings, 78002816 edges, 49060 markings/sec, 300 secs
lola: 17417249 markings, 79282399 edges, 55029 markings/sec, 305 secs
lola: 17701032 markings, 80553642 edges, 56757 markings/sec, 310 secs
lola: 17978034 markings, 81819002 edges, 55400 markings/sec, 315 secs
lola: 18246976 markings, 83096120 edges, 53788 markings/sec, 320 secs
lola: 18518792 markings, 84377285 edges, 54363 markings/sec, 325 secs
lola: 18844980 markings, 85703614 edges, 65238 markings/sec, 330 secs
lola: 19134583 markings, 86984614 edges, 57921 markings/sec, 335 secs
lola: 19448616 markings, 88296000 edges, 62807 markings/sec, 340 secs
lola: 19736235 markings, 89578907 edges, 57524 markings/sec, 345 secs
lola: 20040841 markings, 90874102 edges, 60921 markings/sec, 350 secs
lola: 20308035 markings, 92105193 edges, 53439 markings/sec, 355 secs
lola: 20580887 markings, 93337888 edges, 54570 markings/sec, 360 secs
lola: 20860564 markings, 94563006 edges, 55935 markings/sec, 365 secs
lola: 21118696 markings, 95789289 edges, 51626 markings/sec, 370 secs
lola: 21385655 markings, 97037065 edges, 53392 markings/sec, 375 secs
lola: 21654202 markings, 98260876 edges, 53709 markings/sec, 380 secs
lola: 21911302 markings, 99499553 edges, 51420 markings/sec, 385 secs
lola: 22182848 markings, 100722656 edges, 54309 markings/sec, 390 secs
lola: 22423345 markings, 101947161 edges, 48099 markings/sec, 395 secs
lola: 22650805 markings, 103128293 edges, 45492 markings/sec, 400 secs
lola: 22859423 markings, 104368721 edges, 41724 markings/sec, 405 secs
lola: 23111440 markings, 105641836 edges, 50403 markings/sec, 410 secs
lola: 23387854 markings, 106895488 edges, 55283 markings/sec, 415 secs
lola: 23636223 markings, 108150652 edges, 49674 markings/sec, 420 secs
lola: 23899064 markings, 109401329 edges, 52568 markings/sec, 425 secs
lola: 24178639 markings, 110662618 edges, 55915 markings/sec, 430 secs
lola: 24435064 markings, 111915116 edges, 51285 markings/sec, 435 secs
lola: 24698487 markings, 113171659 edges, 52685 markings/sec, 440 secs
lola: 24972483 markings, 114424957 edges, 54799 markings/sec, 445 secs
lola: 25230367 markings, 115684323 edges, 51577 markings/sec, 450 secs
lola: 25520368 markings, 116978979 edges, 58000 markings/sec, 455 secs
lola: 25818331 markings, 118258944 edges, 59593 markings/sec, 460 secs
lola: 26119057 markings, 119544278 edges, 60145 markings/sec, 465 secs
lola: 26386686 markings, 120776356 edges, 53526 markings/sec, 470 secs
lola: 26656569 markings, 122000454 edges, 53977 markings/sec, 475 secs
lola: 26932137 markings, 123221138 edges, 55114 markings/sec, 480 secs
lola: 27191768 markings, 124458020 edges, 51926 markings/sec, 485 secs
lola: 27458492 markings, 125681713 edges, 53345 markings/sec, 490 secs
lola: 27717392 markings, 126917166 edges, 51780 markings/sec, 495 secs
lola: 27984757 markings, 128141950 edges, 53473 markings/sec, 500 secs
lola: 28216871 markings, 129336144 edges, 46423 markings/sec, 505 secs
lola: 28431868 markings, 130562213 edges, 42999 markings/sec, 510 secs
lola: 28671803 markings, 131825234 edges, 47987 markings/sec, 515 secs
lola: 28939480 markings, 133063648 edges, 53535 markings/sec, 520 secs
lola: 29189209 markings, 134319704 edges, 49946 markings/sec, 525 secs
lola: 29451432 markings, 135567986 edges, 52445 markings/sec, 530 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown no unknown yes unknown yes unknown no unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no unknown no unknown yes unknown yes unknown no unknown unknown
lola: memory consumption: 4434256 KB
lola: time consumption: 874 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no unknown no unknown yes unknown yes unknown no unknown unknown
lola: memory consumption: 4434256 KB
lola: time consumption: 874 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 539 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p276)))
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: ((p276 <= 0))
lola: processed formula length: 13
lola: 56 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: 693343 markings, 1046863 edges, 138669 markings/sec, 0 secs
lola: 1382173 markings, 2087129 edges, 137766 markings/sec, 5 secs
lola: 2071112 markings, 3127967 edges, 137788 markings/sec, 10 secs
lola: 2748175 markings, 4150222 edges, 135413 markings/sec, 15 secs
lola: 3417707 markings, 5160751 edges, 133906 markings/sec, 20 secs
lola: 4085105 markings, 6167544 edges, 133480 markings/sec, 25 secs
lola: 4748740 markings, 7169312 edges, 132727 markings/sec, 30 secs
lola: 5425224 markings, 8190786 edges, 135297 markings/sec, 35 secs
lola: 6107085 markings, 9220235 edges, 136372 markings/sec, 40 secs
lola: 6779623 markings, 10235094 edges, 134508 markings/sec, 45 secs
lola: 7436969 markings, 11226407 edges, 131469 markings/sec, 50 secs
lola: 8101656 markings, 12229897 edges, 132937 markings/sec, 55 secs
lola: 8765442 markings, 13231790 edges, 132757 markings/sec, 60 secs
lola: 9412194 markings, 14207367 edges, 129350 markings/sec, 65 secs
lola: 10062528 markings, 15188420 edges, 130067 markings/sec, 70 secs
lola: 10716453 markings, 16175002 edges, 130785 markings/sec, 75 secs
lola: 11359684 markings, 17145021 edges, 128646 markings/sec, 80 secs
lola: 12002220 markings, 18114181 edges, 128507 markings/sec, 85 secs
lola: 12640250 markings, 19076199 edges, 127606 markings/sec, 90 secs
lola: 13283130 markings, 20045383 edges, 128576 markings/sec, 95 secs
lola: 13902198 markings, 20978497 edges, 123814 markings/sec, 100 secs
lola: 14505413 markings, 21887224 edges, 120643 markings/sec, 105 secs
lola: 15129368 markings, 22887502 edges, 124791 markings/sec, 110 secs
lola: 15752771 markings, 23888864 edges, 124681 markings/sec, 115 secs
lola: 16385577 markings, 24899830 edges, 126561 markings/sec, 120 secs
lola: 17007927 markings, 25888815 edges, 124470 markings/sec, 125 secs
lola: 17628138 markings, 26879200 edges, 124042 markings/sec, 130 secs
lola: 18247904 markings, 27869024 edges, 123953 markings/sec, 135 secs
lola: 18865294 markings, 28850036 edges, 123478 markings/sec, 140 secs
lola: 19484376 markings, 29832923 edges, 123816 markings/sec, 145 secs
lola: 20108903 markings, 30826806 edges, 124905 markings/sec, 150 secs
lola: 20735285 markings, 31819180 edges, 125276 markings/sec, 155 secs
lola: 21351277 markings, 32792569 edges, 123198 markings/sec, 160 secs
lola: 21975381 markings, 33778846 edges, 124821 markings/sec, 165 secs
lola: 22585378 markings, 34741263 edges, 121999 markings/sec, 170 secs
lola: 23188158 markings, 35686945 edges, 120556 markings/sec, 175 secs
lola: 23809329 markings, 36675717 edges, 124234 markings/sec, 180 secs
lola: 24438819 markings, 37680796 edges, 125898 markings/sec, 185 secs
lola: 25069389 markings, 38682646 edges, 126114 markings/sec, 190 secs
lola: 25695513 markings, 39678126 edges, 125225 markings/sec, 195 secs
lola: 26320338 markings, 40671385 edges, 124965 markings/sec, 200 secs
lola: 26947072 markings, 41664828 edges, 125347 markings/sec, 205 secs
lola: 27559633 markings, 42632561 edges, 122512 markings/sec, 210 secs
lola: 28179575 markings, 43612156 edges, 123988 markings/sec, 215 secs
lola: 28789972 markings, 44574410 edges, 122079 markings/sec, 220 secs
lola: 29386719 markings, 45510359 edges, 119349 markings/sec, 225 secs
lola: 29998795 markings, 46479948 edges, 122415 markings/sec, 230 secs
lola: 30616581 markings, 47462820 edges, 123557 markings/sec, 235 secs
lola: 31233947 markings, 48440621 edges, 123473 markings/sec, 240 secs
lola: 31838109 markings, 49395301 edges, 120832 markings/sec, 245 secs
lola: 32455475 markings, 50370761 edges, 123473 markings/sec, 250 secs
lola: 33057330 markings, 51320970 edges, 120371 markings/sec, 255 secs
lola: 33651176 markings, 52253530 edges, 118769 markings/sec, 260 secs
lola: 34263392 markings, 53218340 edges, 122443 markings/sec, 265 secs
lola: 34866109 markings, 54170969 edges, 120543 markings/sec, 270 secs
lola: 35481021 markings, 55142506 edges, 122982 markings/sec, 275 secs
lola: 36079954 markings, 56088042 edges, 119787 markings/sec, 280 secs
lola: 36669921 markings, 57014660 edges, 117993 markings/sec, 285 secs
lola: 37276395 markings, 57967842 edges, 121295 markings/sec, 290 secs
lola: 37879358 markings, 58919990 edges, 120593 markings/sec, 295 secs
lola: 38469822 markings, 59849250 edges, 118093 markings/sec, 300 secs
lola: 39055054 markings, 60762760 edges, 117046 markings/sec, 305 secs
lola: 39652448 markings, 61705744 edges, 119479 markings/sec, 310 secs
lola: 40247920 markings, 62640980 edges, 119094 markings/sec, 315 secs
lola: 40844207 markings, 63573588 edges, 119257 markings/sec, 320 secs
lola: 41417506 markings, 64473119 edges, 114660 markings/sec, 325 secs
lola: 42001063 markings, 65387540 edges, 116711 markings/sec, 330 secs
lola: 42579916 markings, 66293388 edges, 115771 markings/sec, 335 secs
lola: 43150452 markings, 67183452 edges, 114107 markings/sec, 340 secs
lola: 43718855 markings, 68065237 edges, 113681 markings/sec, 345 secs
lola: 44423368 markings, 69160589 edges, 140903 markings/sec, 350 secs
lola: 45147250 markings, 70283786 edges, 144776 markings/sec, 355 secs
lola: 45853258 markings, 71374275 edges, 141202 markings/sec, 360 secs
lola: 46559928 markings, 72468852 edges, 141334 markings/sec, 365 secs
lola: 47265512 markings, 73560270 edges, 141117 markings/sec, 370 secs
lola: 47970045 markings, 74648521 edges, 140907 markings/sec, 375 secs
lola: 48666641 markings, 75722678 edges, 139319 markings/sec, 380 secs
lola: 49360587 markings, 76794020 edges, 138789 markings/sec, 385 secs
lola: 50044443 markings, 77847499 edges, 136771 markings/sec, 390 secs
lola: 50707254 markings, 78866717 edges, 132562 markings/sec, 395 secs
lola: 51353350 markings, 79889390 edges, 129219 markings/sec, 400 secs
lola: 52022127 markings, 80991189 edges, 133755 markings/sec, 405 secs
lola: 52686177 markings, 82076429 edges, 132810 markings/sec, 410 secs
lola: 53334418 markings, 83133753 edges, 129648 markings/sec, 415 secs
lola: 53976148 markings, 84179534 edges, 128346 markings/sec, 420 secs
lola: 54612686 markings, 85211572 edges, 127308 markings/sec, 425 secs
lola: 55240366 markings, 86222490 edges, 125536 markings/sec, 430 secs
lola: 55877141 markings, 87256369 edges, 127355 markings/sec, 435 secs
lola: 56525149 markings, 88311687 edges, 129602 markings/sec, 440 secs
lola: 57169649 markings, 89361181 edges, 128900 markings/sec, 445 secs
lola: 57807942 markings, 90395808 edges, 127659 markings/sec, 450 secs
lola: 58438304 markings, 91408651 edges, 126072 markings/sec, 455 secs
lola: 59073412 markings, 92438902 edges, 127022 markings/sec, 460 secs
lola: 59702151 markings, 93457682 edges, 125748 markings/sec, 465 secs
lola: 60326280 markings, 94465053 edges, 124826 markings/sec, 470 secs
lola: 60943052 markings, 95455051 edges, 123354 markings/sec, 475 secs
lola: 61561662 markings, 96455155 edges, 123722 markings/sec, 480 secs
lola: 62163551 markings, 97422689 edges, 120378 markings/sec, 485 secs
lola: 62784477 markings, 98421684 edges, 124185 markings/sec, 490 secs
lola: 63394247 markings, 99396782 edges, 121954 markings/sec, 495 secs
lola: 64019420 markings, 100399435 edges, 125035 markings/sec, 500 secs
lola: 64626839 markings, 101369286 edges, 121484 markings/sec, 505 secs
lola: 65228964 markings, 102329705 edges, 120425 markings/sec, 510 secs
lola: 65823589 markings, 103267797 edges, 118925 markings/sec, 515 secs
lola: 66477228 markings, 104293209 edges, 130728 markings/sec, 520 secs
lola: 67125331 markings, 105303858 edges, 129621 markings/sec, 525 secs
lola: 67780040 markings, 106326472 edges, 130942 markings/sec, 530 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown no unknown yes unknown yes unknown no unknown unknown
lola: memory consumption: 2811384 KB
lola: time consumption: 1413 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 539 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p37) AND (1 <= p54)))
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: ((p37 <= 0) OR (p54 <= 0))
lola: processed formula length: 27
lola: 56 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: 629068 markings, 1205898 edges, 125814 markings/sec, 0 secs
lola: 1249528 markings, 2400194 edges, 124092 markings/sec, 5 secs
lola: 1868094 markings, 3590484 edges, 123713 markings/sec, 10 secs
lola: 2483525 markings, 4774598 edges, 123086 markings/sec, 15 secs
lola: 3098849 markings, 5959233 edges, 123065 markings/sec, 20 secs
lola: 3712315 markings, 7139772 edges, 122693 markings/sec, 25 secs
lola: 4324912 markings, 8318154 edges, 122519 markings/sec, 30 secs
lola: 4935811 markings, 9494008 edges, 122180 markings/sec, 35 secs
lola: 5550563 markings, 10677232 edges, 122950 markings/sec, 40 secs
lola: 6163370 markings, 11856370 edges, 122561 markings/sec, 45 secs
lola: 6774651 markings, 13032981 edges, 122256 markings/sec, 50 secs
lola: 7383587 markings, 14204403 edges, 121787 markings/sec, 55 secs
lola: 7994890 markings, 15381072 edges, 122261 markings/sec, 60 secs
lola: 8602588 markings, 16550819 edges, 121540 markings/sec, 65 secs
lola: 9208528 markings, 17716957 edges, 121188 markings/sec, 70 secs
lola: 9818926 markings, 18891124 edges, 122080 markings/sec, 75 secs
lola: 10436138 markings, 20078704 edges, 123442 markings/sec, 80 secs
lola: 11050923 markings, 21261946 edges, 122957 markings/sec, 85 secs
lola: 11662462 markings, 22438663 edges, 122308 markings/sec, 90 secs
lola: 12271445 markings, 23610867 edges, 121797 markings/sec, 95 secs
lola: 12880157 markings, 24782693 edges, 121742 markings/sec, 100 secs
lola: 13488920 markings, 25953796 edges, 121753 markings/sec, 105 secs
lola: 14094047 markings, 27118396 edges, 121025 markings/sec, 110 secs
lola: 14699973 markings, 28284189 edges, 121185 markings/sec, 115 secs
lola: 15306316 markings, 29451455 edges, 121269 markings/sec, 120 secs
lola: 15913277 markings, 30619339 edges, 121392 markings/sec, 125 secs
lola: 16517605 markings, 31782619 edges, 120866 markings/sec, 130 secs
lola: 17122144 markings, 32945835 edges, 120908 markings/sec, 135 secs
lola: 17724573 markings, 34105329 edges, 120486 markings/sec, 140 secs
lola: 18325664 markings, 35262319 edges, 120218 markings/sec, 145 secs
lola: 18924283 markings, 36413810 edges, 119724 markings/sec, 150 secs
lola: 19459978 markings, 37549139 edges, 107139 markings/sec, 155 secs
lola: 19972202 markings, 38669455 edges, 102445 markings/sec, 160 secs
lola: 20482385 markings, 39787264 edges, 102037 markings/sec, 165 secs
lola: 20990331 markings, 40900401 edges, 101589 markings/sec, 170 secs
lola: 21497189 markings, 42011955 edges, 101372 markings/sec, 175 secs
lola: 22004392 markings, 43120677 edges, 101441 markings/sec, 180 secs
lola: 22508451 markings, 44226963 edges, 100812 markings/sec, 185 secs
lola: 23013871 markings, 45332968 edges, 101084 markings/sec, 190 secs
lola: 23516463 markings, 46434048 edges, 100518 markings/sec, 195 secs
lola: 24019982 markings, 47536501 edges, 100704 markings/sec, 200 secs
lola: 24522368 markings, 48636731 edges, 100477 markings/sec, 205 secs
lola: 25027616 markings, 49743962 edges, 101050 markings/sec, 210 secs
lola: 25531093 markings, 50847361 edges, 100695 markings/sec, 215 secs
lola: 26033913 markings, 51948585 edges, 100564 markings/sec, 220 secs
lola: 26538839 markings, 53053001 edges, 100985 markings/sec, 225 secs
lola: 27043265 markings, 54158321 edges, 100885 markings/sec, 230 secs
lola: 27547209 markings, 55262473 edges, 100789 markings/sec, 235 secs
lola: 28050531 markings, 56363591 edges, 100664 markings/sec, 240 secs
lola: 28554913 markings, 57469262 edges, 100876 markings/sec, 245 secs
lola: 29058281 markings, 58571447 edges, 100674 markings/sec, 250 secs
lola: 29559586 markings, 59670732 edges, 100261 markings/sec, 255 secs
lola: 30062975 markings, 60770769 edges, 100678 markings/sec, 260 secs
lola: 30564699 markings, 61871468 edges, 100345 markings/sec, 265 secs
lola: 31066676 markings, 62970157 edges, 100395 markings/sec, 270 secs
lola: 31565812 markings, 64064891 edges, 99827 markings/sec, 275 secs
lola: 32067596 markings, 65162672 edges, 100357 markings/sec, 280 secs
lola: 32567506 markings, 66257271 edges, 99982 markings/sec, 285 secs
lola: 33065928 markings, 67349369 edges, 99684 markings/sec, 290 secs
lola: 33565770 markings, 68443828 edges, 99968 markings/sec, 295 secs
lola: 34068347 markings, 69544424 edges, 100515 markings/sec, 300 secs
lola: 34571409 markings, 70646365 edges, 100612 markings/sec, 305 secs
lola: 35073785 markings, 71746897 edges, 100475 markings/sec, 310 secs
lola: 35577623 markings, 72849881 edges, 100768 markings/sec, 315 secs
lola: 36079486 markings, 73948969 edges, 100373 markings/sec, 320 secs
lola: 36581764 markings, 75049871 edges, 100456 markings/sec, 325 secs
lola: 37083390 markings, 76147356 edges, 100325 markings/sec, 330 secs
lola: 37585357 markings, 77247802 edges, 100393 markings/sec, 335 secs
lola: 38087166 markings, 78345955 edges, 100362 markings/sec, 340 secs
lola: 38587640 markings, 79443088 edges, 100095 markings/sec, 345 secs
lola: 39088867 markings, 80540867 edges, 100245 markings/sec, 350 secs
lola: 39588843 markings, 81636595 edges, 99995 markings/sec, 355 secs
lola: 40085823 markings, 82723498 edges, 99396 markings/sec, 360 secs
lola: 40580268 markings, 83805359 edges, 98889 markings/sec, 365 secs
lola: 41076068 markings, 84893029 edges, 99160 markings/sec, 370 secs
lola: 41572213 markings, 85978759 edges, 99229 markings/sec, 375 secs
lola: 42068065 markings, 87066388 edges, 99170 markings/sec, 380 secs
lola: 42564985 markings, 88152341 edges, 99384 markings/sec, 385 secs
lola: 43060679 markings, 89240769 edges, 99139 markings/sec, 390 secs
lola: 43557093 markings, 90327209 edges, 99283 markings/sec, 395 secs
lola: 44050662 markings, 91409359 edges, 98714 markings/sec, 400 secs
lola: 44548556 markings, 92495862 edges, 99579 markings/sec, 405 secs
lola: 45042976 markings, 93581147 edges, 98884 markings/sec, 410 secs
lola: 45537189 markings, 94663993 edges, 98843 markings/sec, 415 secs
lola: 46031803 markings, 95746527 edges, 98923 markings/sec, 420 secs
lola: 46526034 markings, 96829767 edges, 98846 markings/sec, 425 secs
lola: 47017299 markings, 97904517 edges, 98253 markings/sec, 430 secs
lola: 47508912 markings, 98982888 edges, 98323 markings/sec, 435 secs
lola: 48012090 markings, 100081762 edges, 100636 markings/sec, 440 secs
lola: 48517871 markings, 101190803 edges, 101156 markings/sec, 445 secs
lola: 49023411 markings, 102297126 edges, 101108 markings/sec, 450 secs
lola: 49527083 markings, 103400072 edges, 100734 markings/sec, 455 secs
lola: 50030414 markings, 104502415 edges, 100666 markings/sec, 460 secs
lola: 50531926 markings, 105601357 edges, 100302 markings/sec, 465 secs
lola: 51031977 markings, 106696944 edges, 100010 markings/sec, 470 secs
lola: 51533359 markings, 107793564 edges, 100276 markings/sec, 475 secs
lola: 52033897 markings, 108890611 edges, 100108 markings/sec, 480 secs
lola: 52533315 markings, 109986102 edges, 99884 markings/sec, 485 secs
lola: 53030435 markings, 111076470 edges, 99424 markings/sec, 490 secs
lola: 53530251 markings, 112168683 edges, 99963 markings/sec, 495 secs
lola: 54027012 markings, 113257946 edges, 99352 markings/sec, 500 secs
lola: 54523906 markings, 114345692 edges, 99379 markings/sec, 505 secs
lola: 55020354 markings, 115432699 edges, 99290 markings/sec, 510 secs
lola: 55518754 markings, 116523263 edges, 99680 markings/sec, 515 secs
lola: 56015973 markings, 117613071 edges, 99444 markings/sec, 520 secs
lola: 56511746 markings, 118699235 edges, 99155 markings/sec, 525 secs
lola: 57008492 markings, 119786617 edges, 99349 markings/sec, 530 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown no unknown yes unknown yes unknown no unknown unknown
lola: memory consumption: 2475504 KB
lola: time consumption: 1952 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 539 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((1 <= p18) AND (1 <= p29))))
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 <= p18) AND (1 <= p29))))
lola: processed formula length: 35
lola: 54 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: 2834 markings, 2835 edges
lola: ========================================
lola: subprocess 11 will run for 809 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((1 <= p477) AND (1 <= p479)) U G (((p477 <= 0) OR (p479 <= 0)))) U (F (((1 <= p35) AND (1 <= p56))) AND (((1 <= p35)) AND ((1 <= p56)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((((1 <= p477) AND (1 <= p479)) U G (((p477 <= 0) OR (p479 <= 0)))) U (F (((1 <= p35) AND (1 <= p56))) AND (((1 <= p35)) AND ((1 <= p56)))))
lola: processed formula length: 141
lola: 54 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 393256 markings, 1319143 edges, 78651 markings/sec, 0 secs
lola: 740437 markings, 2636668 edges, 69436 markings/sec, 5 secs
lola: 1095881 markings, 3951196 edges, 71089 markings/sec, 10 secs
lola: 1468461 markings, 5280016 edges, 74516 markings/sec, 15 secs
lola: 1821266 markings, 6596184 edges, 70561 markings/sec, 20 secs
lola: 2158480 markings, 7921321 edges, 67443 markings/sec, 25 secs
lola: 2477845 markings, 9238678 edges, 63873 markings/sec, 30 secs
lola: 2828915 markings, 10551569 edges, 70214 markings/sec, 35 secs
lola: 3163061 markings, 11860103 edges, 66829 markings/sec, 40 secs
lola: 3480596 markings, 13103229 edges, 63507 markings/sec, 45 secs
lola: 3825555 markings, 14419666 edges, 68992 markings/sec, 50 secs
lola: 4166551 markings, 15722886 edges, 68199 markings/sec, 55 secs
lola: 4454758 markings, 16982364 edges, 57641 markings/sec, 60 secs
lola: 4780645 markings, 18264770 edges, 65177 markings/sec, 65 secs
lola: 5103177 markings, 19558435 edges, 64506 markings/sec, 70 secs
lola: 5408201 markings, 20860815 edges, 61005 markings/sec, 75 secs
lola: 5706910 markings, 22076079 edges, 59742 markings/sec, 80 secs
lola: 6066345 markings, 23378883 edges, 71887 markings/sec, 85 secs
lola: 6410473 markings, 24697494 edges, 68826 markings/sec, 90 secs
lola: 6726326 markings, 26023350 edges, 63171 markings/sec, 95 secs
lola: 7050769 markings, 27322839 edges, 64889 markings/sec, 100 secs
lola: 7369229 markings, 28653399 edges, 63692 markings/sec, 105 secs
lola: 7678899 markings, 29947768 edges, 61934 markings/sec, 110 secs
lola: 7990662 markings, 31253199 edges, 62353 markings/sec, 115 secs
lola: 8309338 markings, 32541421 edges, 63735 markings/sec, 120 secs
lola: 8639785 markings, 33791665 edges, 66089 markings/sec, 125 secs
lola: 8970264 markings, 35038146 edges, 66096 markings/sec, 130 secs
lola: 9307124 markings, 36347035 edges, 67372 markings/sec, 135 secs
lola: 9625486 markings, 37618243 edges, 63672 markings/sec, 140 secs
lola: 9947461 markings, 38915762 edges, 64395 markings/sec, 145 secs
lola: 10275751 markings, 40216368 edges, 65658 markings/sec, 150 secs
lola: 10577622 markings, 41479882 edges, 60374 markings/sec, 155 secs
lola: 10887432 markings, 42690741 edges, 61962 markings/sec, 160 secs
lola: 11268362 markings, 43991039 edges, 76186 markings/sec, 165 secs
lola: 11646869 markings, 45312957 edges, 75701 markings/sec, 170 secs
lola: 12009754 markings, 46640081 edges, 72577 markings/sec, 175 secs
lola: 12339519 markings, 47959807 edges, 65953 markings/sec, 180 secs
lola: 12673358 markings, 49270456 edges, 66768 markings/sec, 185 secs
lola: 13024632 markings, 50586718 edges, 70255 markings/sec, 190 secs
lola: 13351326 markings, 51908924 edges, 65339 markings/sec, 195 secs
lola: 13661149 markings, 53221740 edges, 61965 markings/sec, 200 secs
lola: 13946917 markings, 54531801 edges, 57154 markings/sec, 205 secs
lola: 14271311 markings, 55821853 edges, 64879 markings/sec, 210 secs
lola: 14612370 markings, 57129448 edges, 68212 markings/sec, 215 secs
lola: 14927930 markings, 58437473 edges, 63112 markings/sec, 220 secs
lola: 15233906 markings, 59763663 edges, 61195 markings/sec, 225 secs
lola: 15555560 markings, 61075003 edges, 64331 markings/sec, 230 secs
lola: 15920808 markings, 62396530 edges, 73050 markings/sec, 235 secs
lola: 16291837 markings, 63702278 edges, 74206 markings/sec, 240 secs
lola: 16624592 markings, 65021653 edges, 66551 markings/sec, 245 secs
lola: 16967649 markings, 66334272 edges, 68611 markings/sec, 250 secs
lola: 17304900 markings, 67616473 edges, 67450 markings/sec, 255 secs
lola: 17637409 markings, 68910732 edges, 66502 markings/sec, 260 secs
lola: 17926560 markings, 70242843 edges, 57830 markings/sec, 265 secs
lola: 18238498 markings, 71559073 edges, 62388 markings/sec, 270 secs
lola: 18546383 markings, 72853678 edges, 61577 markings/sec, 275 secs
lola: 18851968 markings, 74166190 edges, 61117 markings/sec, 280 secs
lola: 19196192 markings, 75469327 edges, 68845 markings/sec, 285 secs
lola: 19502629 markings, 76762408 edges, 61287 markings/sec, 290 secs
lola: 19818391 markings, 78061835 edges, 63152 markings/sec, 295 secs
lola: 20117100 markings, 79311909 edges, 59742 markings/sec, 300 secs
lola: 20421453 markings, 80617726 edges, 60871 markings/sec, 305 secs
lola: 20688388 markings, 81942346 edges, 53387 markings/sec, 310 secs
lola: 20975868 markings, 83261181 edges, 57496 markings/sec, 315 secs
lola: 21241881 markings, 84525767 edges, 53203 markings/sec, 320 secs
lola: 21527588 markings, 85831875 edges, 57141 markings/sec, 325 secs
lola: 21847892 markings, 87088643 edges, 64061 markings/sec, 330 secs
lola: 22185491 markings, 88356850 edges, 67520 markings/sec, 335 secs
lola: 22488019 markings, 89656721 edges, 60506 markings/sec, 340 secs
lola: 22780216 markings, 90974358 edges, 58439 markings/sec, 345 secs
lola: 23060820 markings, 92287264 edges, 56121 markings/sec, 350 secs
lola: 23368624 markings, 93579396 edges, 61561 markings/sec, 355 secs
lola: 23653720 markings, 94845977 edges, 57019 markings/sec, 360 secs
lola: 23922231 markings, 96079795 edges, 53702 markings/sec, 365 secs
lola: 24199703 markings, 97245449 edges, 55494 markings/sec, 370 secs
lola: 24533568 markings, 98537649 edges, 66773 markings/sec, 375 secs
lola: 24876494 markings, 99837528 edges, 68585 markings/sec, 380 secs
lola: 25204810 markings, 101108390 edges, 65663 markings/sec, 385 secs
lola: 25528464 markings, 102415563 edges, 64731 markings/sec, 390 secs
lola: 25847397 markings, 103704897 edges, 63787 markings/sec, 395 secs
lola: 26159938 markings, 104967583 edges, 62508 markings/sec, 400 secs
lola: 26464850 markings, 106249797 edges, 60982 markings/sec, 405 secs
lola: 26753863 markings, 107545391 edges, 57803 markings/sec, 410 secs
lola: 27028946 markings, 108790895 edges, 55017 markings/sec, 415 secs
lola: 27331173 markings, 110060094 edges, 60445 markings/sec, 420 secs
lola: 27637505 markings, 111345956 edges, 61266 markings/sec, 425 secs
lola: 27933665 markings, 112592370 edges, 59232 markings/sec, 430 secs
lola: 28225542 markings, 113886012 edges, 58375 markings/sec, 435 secs
lola: 28511126 markings, 115133544 edges, 57117 markings/sec, 440 secs
lola: 28802918 markings, 116402494 edges, 58358 markings/sec, 445 secs
lola: 29082643 markings, 117668703 edges, 55945 markings/sec, 450 secs
lola: 29340814 markings, 118970147 edges, 51634 markings/sec, 455 secs
lola: 29576411 markings, 120189403 edges, 47119 markings/sec, 460 secs
lola: 29847277 markings, 121421627 edges, 54173 markings/sec, 465 secs
lola: 30095716 markings, 122631001 edges, 49688 markings/sec, 470 secs
lola: 30399079 markings, 123872234 edges, 60673 markings/sec, 475 secs
lola: 30722569 markings, 125154877 edges, 64698 markings/sec, 480 secs
lola: 31024947 markings, 126433919 edges, 60476 markings/sec, 485 secs
lola: 31304055 markings, 127718024 edges, 55822 markings/sec, 490 secs
lola: 31587148 markings, 129022515 edges, 56619 markings/sec, 495 secs
lola: 31867952 markings, 130310819 edges, 56161 markings/sec, 500 secs
lola: 32136910 markings, 131576741 edges, 53792 markings/sec, 505 secs
lola: 32381914 markings, 132833876 edges, 49001 markings/sec, 510 secs
lola: 32652900 markings, 134017357 edges, 54197 markings/sec, 515 secs
lola: 32909490 markings, 135211692 edges, 51318 markings/sec, 520 secs
lola: 33254911 markings, 136522297 edges, 69084 markings/sec, 525 secs
lola: 33576654 markings, 137842709 edges, 64349 markings/sec, 530 secs
lola: 33941778 markings, 139118116 edges, 73025 markings/sec, 535 secs
lola: 34294798 markings, 140409250 edges, 70604 markings/sec, 540 secs
lola: 34640058 markings, 141721307 edges, 69052 markings/sec, 545 secs
lola: 34960812 markings, 142998811 edges, 64151 markings/sec, 550 secs
lola: 35275438 markings, 144227302 edges, 62925 markings/sec, 555 secs
lola: 35589924 markings, 145535776 edges, 62897 markings/sec, 560 secs
lola: 35894317 markings, 146827376 edges, 60879 markings/sec, 565 secs
lola: 36181807 markings, 148116061 edges, 57498 markings/sec, 570 secs
lola: 36521223 markings, 149376610 edges, 67883 markings/sec, 575 secs
lola: 36842897 markings, 150670784 edges, 64335 markings/sec, 580 secs
lola: 37154897 markings, 151982194 edges, 62400 markings/sec, 585 secs
lola: 37452234 markings, 153245879 edges, 59467 markings/sec, 590 secs
lola: 37744790 markings, 154480403 edges, 58511 markings/sec, 595 secs
lola: 38039337 markings, 155685853 edges, 58909 markings/sec, 600 secs
lola: 38357669 markings, 156994670 edges, 63666 markings/sec, 605 secs
lola: 38672500 markings, 158302388 edges, 62966 markings/sec, 610 secs
lola: 38966421 markings, 159593843 edges, 58784 markings/sec, 615 secs
lola: 39249407 markings, 160879430 edges, 56597 markings/sec, 620 secs
lola: 39525360 markings, 162148062 edges, 55191 markings/sec, 625 secs
lola: 39803177 markings, 163472713 edges, 55563 markings/sec, 630 secs
lola: 40067869 markings, 164781037 edges, 52938 markings/sec, 635 secs
lola: 40328289 markings, 166077975 edges, 52084 markings/sec, 640 secs
lola: 40581027 markings, 167378471 edges, 50548 markings/sec, 645 secs
lola: 40874401 markings, 168629172 edges, 58675 markings/sec, 650 secs
lola: 41157337 markings, 169953654 edges, 56587 markings/sec, 655 secs
lola: 41418272 markings, 171272186 edges, 52187 markings/sec, 660 secs
lola: 41697978 markings, 172575426 edges, 55941 markings/sec, 665 secs
lola: 41953998 markings, 173864658 edges, 51204 markings/sec, 670 secs
lola: 42206863 markings, 175083695 edges, 50573 markings/sec, 675 secs
lola: 42487336 markings, 176329917 edges, 56095 markings/sec, 680 secs
lola: 42801934 markings, 177622061 edges, 62920 markings/sec, 685 secs
lola: 43101186 markings, 178913591 edges, 59850 markings/sec, 690 secs
lola: 43350942 markings, 180204137 edges, 49951 markings/sec, 695 secs
lola: 43615267 markings, 181492563 edges, 52865 markings/sec, 700 secs
lola: 43878102 markings, 182708602 edges, 52567 markings/sec, 705 secs
lola: 44184627 markings, 183947846 edges, 61305 markings/sec, 710 secs
lola: 44508055 markings, 185194067 edges, 64686 markings/sec, 715 secs
lola: 44816174 markings, 186431798 edges, 61624 markings/sec, 720 secs
lola: 45114305 markings, 187662391 edges, 59626 markings/sec, 725 secs
lola: 45421603 markings, 188897277 edges, 61460 markings/sec, 730 secs
lola: 45691393 markings, 190121490 edges, 53958 markings/sec, 735 secs
lola: 45995945 markings, 191386557 edges, 60910 markings/sec, 740 secs
lola: 46309583 markings, 192691593 edges, 62728 markings/sec, 745 secs
lola: 46606530 markings, 193979283 edges, 59389 markings/sec, 750 secs
lola: 46902049 markings, 195240138 edges, 59104 markings/sec, 755 secs
lola: 47180104 markings, 196517196 edges, 55611 markings/sec, 760 secs
lola: 47452799 markings, 197774974 edges, 54539 markings/sec, 765 secs
lola: 47720926 markings, 199073744 edges, 53625 markings/sec, 770 secs
lola: 48011340 markings, 200377558 edges, 58083 markings/sec, 775 secs
lola: 48308412 markings, 201696451 edges, 59414 markings/sec, 780 secs
lola: 48615475 markings, 202950528 edges, 61413 markings/sec, 785 secs
lola: 48895042 markings, 204203240 edges, 55913 markings/sec, 790 secs
lola: 49171260 markings, 205434986 edges, 55244 markings/sec, 795 secs
lola: 49431494 markings, 206655576 edges, 52047 markings/sec, 800 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown no no yes unknown yes unknown no unknown unknown
lola: memory consumption: 10245192 KB
lola: time consumption: 2761 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 809 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (G (((1 <= p265) AND (1 <= p267)))) OR G (((p265 <= 0) OR (p267 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 809 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((p265 <= 0) OR (p267 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((p265 <= 0) OR (p267 <= 0)))
lola: processed formula length: 33
lola: 54 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: 1587 markings, 1587 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: G ((G (F ((G (((1 <= p409) AND (1 <= p426))) OR (((1 <= p451) AND (1 <= p453)) OR ((1 <= p162) AND (1 <= p164)))))) AND X ((((p518 <= 0)) R ((p409 <= 0) OR (p426 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((G (F ((G (((1 <= p409) AND (1 <= p426))) OR (((1 <= p451) AND (1 <= p453)) OR ((1 <= p162) AND (1 <= p164)))))) AND X ((((p518 <= 0)) R ((p409 <= 0) OR (p426 <= 0))))))
lola: processed formula length: 173
lola: 54 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: 323373 markings, 1399625 edges, 64675 markings/sec, 0 secs
lola: 619699 markings, 2797377 edges, 59265 markings/sec, 5 secs
lola: 886851 markings, 4185557 edges, 53430 markings/sec, 10 secs
lola: 1185113 markings, 5581529 edges, 59652 markings/sec, 15 secs
lola: 1470671 markings, 6986405 edges, 57112 markings/sec, 20 secs
lola: 1744615 markings, 8374139 edges, 54789 markings/sec, 25 secs
lola: 2015244 markings, 9765459 edges, 54126 markings/sec, 30 secs
lola: 2286524 markings, 11152884 edges, 54256 markings/sec, 35 secs
lola: 2543742 markings, 12537622 edges, 51444 markings/sec, 40 secs
lola: 2812221 markings, 13931506 edges, 53696 markings/sec, 45 secs
lola: 3098477 markings, 15322415 edges, 57251 markings/sec, 50 secs
lola: 3374817 markings, 16704946 edges, 55268 markings/sec, 55 secs
lola: 3642642 markings, 18094295 edges, 53565 markings/sec, 60 secs
lola: 3892859 markings, 19480841 edges, 50043 markings/sec, 65 secs
lola: 4136674 markings, 20865860 edges, 48763 markings/sec, 70 secs
lola: 4382411 markings, 22251627 edges, 49147 markings/sec, 75 secs
lola: 4616396 markings, 23646120 edges, 46797 markings/sec, 80 secs
lola: 4875806 markings, 25029815 edges, 51882 markings/sec, 85 secs
lola: 5144863 markings, 26414621 edges, 53811 markings/sec, 90 secs
lola: 5410525 markings, 27801419 edges, 53132 markings/sec, 95 secs
lola: 5641206 markings, 29188686 edges, 46136 markings/sec, 100 secs
lola: 5902305 markings, 30571826 edges, 52220 markings/sec, 105 secs
lola: 6163040 markings, 31953129 edges, 52147 markings/sec, 110 secs
lola: 6429023 markings, 33329146 edges, 53197 markings/sec, 115 secs
lola: 6657728 markings, 34711182 edges, 45741 markings/sec, 120 secs
lola: 6910254 markings, 36091488 edges, 50505 markings/sec, 125 secs
lola: 7134209 markings, 37473646 edges, 44791 markings/sec, 130 secs
lola: 7421337 markings, 38848179 edges, 57426 markings/sec, 135 secs
lola: 7688762 markings, 40221780 edges, 53485 markings/sec, 140 secs
lola: 7956099 markings, 41597724 edges, 53467 markings/sec, 145 secs
lola: 8203463 markings, 42969413 edges, 49473 markings/sec, 150 secs
lola: 8453197 markings, 44346267 edges, 49947 markings/sec, 155 secs
lola: 8707719 markings, 45717350 edges, 50904 markings/sec, 160 secs
lola: 8967971 markings, 47093524 edges, 52050 markings/sec, 165 secs
lola: 9228077 markings, 48470001 edges, 52021 markings/sec, 170 secs
lola: 9481702 markings, 49845878 edges, 50725 markings/sec, 175 secs
lola: 9714504 markings, 51201439 edges, 46560 markings/sec, 180 secs
lola: 9993267 markings, 52565907 edges, 55753 markings/sec, 185 secs
lola: 10262516 markings, 53942186 edges, 53850 markings/sec, 190 secs
lola: 10532685 markings, 55329941 edges, 54034 markings/sec, 195 secs
lola: 10798567 markings, 56718292 edges, 53176 markings/sec, 200 secs
lola: 11052986 markings, 58096681 edges, 50884 markings/sec, 205 secs
lola: 11310715 markings, 59489590 edges, 51546 markings/sec, 210 secs
lola: 11567826 markings, 60882968 edges, 51422 markings/sec, 215 secs
lola: 11801358 markings, 62262965 edges, 46706 markings/sec, 220 secs
lola: 12036039 markings, 63643312 edges, 46936 markings/sec, 225 secs
lola: 12282374 markings, 65020620 edges, 49267 markings/sec, 230 secs
lola: 12522746 markings, 66401431 edges, 48074 markings/sec, 235 secs
lola: 12755852 markings, 67773364 edges, 46621 markings/sec, 240 secs
lola: 12995295 markings, 69142723 edges, 47889 markings/sec, 245 secs
lola: 13246278 markings, 70500590 edges, 50197 markings/sec, 250 secs
lola: 13481205 markings, 71859554 edges, 46985 markings/sec, 255 secs
lola: 13723751 markings, 73223575 edges, 48509 markings/sec, 260 secs
lola: 13955171 markings, 74589614 edges, 46284 markings/sec, 265 secs
lola: 14229442 markings, 75970880 edges, 54854 markings/sec, 270 secs
lola: 14501022 markings, 77366999 edges, 54316 markings/sec, 275 secs
lola: 14769109 markings, 78761920 edges, 53617 markings/sec, 280 secs
lola: 15025115 markings, 80149869 edges, 51201 markings/sec, 285 secs
lola: 15283365 markings, 81544561 edges, 51650 markings/sec, 290 secs
lola: 15540027 markings, 82934914 edges, 51332 markings/sec, 295 secs
lola: 15774849 markings, 84321509 edges, 46964 markings/sec, 300 secs
lola: 16010744 markings, 85711636 edges, 47179 markings/sec, 305 secs
lola: 16258386 markings, 87094494 edges, 49528 markings/sec, 310 secs
lola: 16499132 markings, 88477549 edges, 48149 markings/sec, 315 secs
lola: 16733831 markings, 89858176 edges, 46940 markings/sec, 320 secs
lola: 16975800 markings, 91241950 edges, 48394 markings/sec, 325 secs
lola: 17229068 markings, 92615421 edges, 50654 markings/sec, 330 secs
lola: 17466903 markings, 93987389 edges, 47567 markings/sec, 335 secs
lola: 17711283 markings, 95361021 edges, 48876 markings/sec, 340 secs
lola: 17946056 markings, 96734336 edges, 46955 markings/sec, 345 secs
lola: 18219161 markings, 98113411 edges, 54621 markings/sec, 350 secs
lola: 18483158 markings, 99499181 edges, 52799 markings/sec, 355 secs
lola: 18739448 markings, 100883998 edges, 51258 markings/sec, 360 secs
lola: 18986703 markings, 102252926 edges, 49451 markings/sec, 365 secs
lola: 19237264 markings, 103616484 edges, 50112 markings/sec, 370 secs
lola: 19486870 markings, 104971295 edges, 49921 markings/sec, 375 secs
lola: 19757420 markings, 106337872 edges, 54110 markings/sec, 380 secs
lola: 20020084 markings, 107717597 edges, 52533 markings/sec, 385 secs
lola: 20275447 markings, 109097325 edges, 51073 markings/sec, 390 secs
lola: 20522227 markings, 110464207 edges, 49356 markings/sec, 395 secs
lola: 20771971 markings, 111823840 edges, 49949 markings/sec, 400 secs
lola: 21021841 markings, 113179181 edges, 49974 markings/sec, 405 secs
lola: 21301892 markings, 114557288 edges, 56010 markings/sec, 410 secs
lola: 21592294 markings, 115948088 edges, 58080 markings/sec, 415 secs
lola: 21861198 markings, 117343638 edges, 53781 markings/sec, 420 secs
lola: 22125006 markings, 118728345 edges, 52762 markings/sec, 425 secs
lola: 22397725 markings, 120113027 edges, 54544 markings/sec, 430 secs
lola: 22669790 markings, 121499928 edges, 54413 markings/sec, 435 secs
lola: 22922951 markings, 122879168 edges, 50632 markings/sec, 440 secs
lola: 23180577 markings, 124258747 edges, 51525 markings/sec, 445 secs
lola: 23436768 markings, 125633285 edges, 51238 markings/sec, 450 secs
lola: 23680837 markings, 127008896 edges, 48814 markings/sec, 455 secs
lola: 23932550 markings, 128398061 edges, 50343 markings/sec, 460 secs
lola: 24208155 markings, 129788955 edges, 55121 markings/sec, 465 secs
lola: 24468237 markings, 131172054 edges, 52016 markings/sec, 470 secs
lola: 24728346 markings, 132552231 edges, 52022 markings/sec, 475 secs
lola: 24971647 markings, 133940900 edges, 48660 markings/sec, 480 secs
lola: 25202424 markings, 135317590 edges, 46155 markings/sec, 485 secs
lola: 25431724 markings, 136692416 edges, 45860 markings/sec, 490 secs
lola: 25665473 markings, 138080823 edges, 46750 markings/sec, 495 secs
lola: 25891829 markings, 139465598 edges, 45271 markings/sec, 500 secs
lola: 26149719 markings, 140834949 edges, 51578 markings/sec, 505 secs
lola: 26398237 markings, 142208959 edges, 49704 markings/sec, 510 secs
lola: 26642447 markings, 143573662 edges, 48842 markings/sec, 515 secs
lola: 26859926 markings, 144952822 edges, 43496 markings/sec, 520 secs
lola: 27112660 markings, 146316693 edges, 50547 markings/sec, 525 secs
lola: 27359689 markings, 147683945 edges, 49406 markings/sec, 530 secs
lola: 27606172 markings, 149042127 edges, 49297 markings/sec, 535 secs
lola: 27822457 markings, 150413266 edges, 43257 markings/sec, 540 secs
lola: 28061151 markings, 151783119 edges, 47739 markings/sec, 545 secs
lola: 28273484 markings, 153152677 edges, 42467 markings/sec, 550 secs
lola: 28543122 markings, 154515744 edges, 53928 markings/sec, 555 secs
lola: 28793433 markings, 155871992 edges, 50062 markings/sec, 560 secs
lola: 29043935 markings, 157229447 edges, 50100 markings/sec, 565 secs
lola: 29284531 markings, 158585390 edges, 48119 markings/sec, 570 secs
lola: 29510837 markings, 159941329 edges, 45261 markings/sec, 575 secs
lola: 29760988 markings, 161298240 edges, 50030 markings/sec, 580 secs
lola: 29983971 markings, 162658282 edges, 44597 markings/sec, 585 secs
lola: 30241909 markings, 164017248 edges, 51588 markings/sec, 590 secs
lola: 30484766 markings, 165371270 edges, 48571 markings/sec, 595 secs
lola: 30714932 markings, 166720690 edges, 46033 markings/sec, 600 secs
lola: 30950207 markings, 168070088 edges, 47055 markings/sec, 605 secs
lola: 31206004 markings, 169424862 edges, 51159 markings/sec, 610 secs
lola: 31459282 markings, 170805428 edges, 50656 markings/sec, 615 secs
lola: 31705200 markings, 172184036 edges, 49184 markings/sec, 620 secs
lola: 31930105 markings, 173550344 edges, 44981 markings/sec, 625 secs
lola: 32169689 markings, 174927047 edges, 47917 markings/sec, 630 secs
lola: 32406580 markings, 176297944 edges, 47378 markings/sec, 635 secs
lola: 32630810 markings, 177670086 edges, 44846 markings/sec, 640 secs
lola: 32858278 markings, 179030527 edges, 45494 markings/sec, 645 secs
lola: 33075852 markings, 180392048 edges, 43515 markings/sec, 650 secs
lola: 33305916 markings, 181778122 edges, 46013 markings/sec, 655 secs
lola: 33540924 markings, 183153962 edges, 47002 markings/sec, 660 secs
lola: 33768521 markings, 184525383 edges, 45519 markings/sec, 665 secs
lola: 33981590 markings, 185899314 edges, 42614 markings/sec, 670 secs
lola: 34187022 markings, 187264425 edges, 41086 markings/sec, 675 secs
lola: 34395027 markings, 188637708 edges, 41601 markings/sec, 680 secs
lola: 34601903 markings, 190008653 edges, 41375 markings/sec, 685 secs
lola: 34826387 markings, 191365095 edges, 44897 markings/sec, 690 secs
lola: 35046379 markings, 192734522 edges, 43998 markings/sec, 695 secs
lola: 35244294 markings, 194104190 edges, 39583 markings/sec, 700 secs
lola: 35469366 markings, 195463346 edges, 45014 markings/sec, 705 secs
lola: 35690332 markings, 196828112 edges, 44193 markings/sec, 710 secs
lola: 35890494 markings, 198194662 edges, 40032 markings/sec, 715 secs
lola: 36102001 markings, 199557775 edges, 42301 markings/sec, 720 secs
lola: 36306598 markings, 200925198 edges, 40919 markings/sec, 725 secs
lola: 36534209 markings, 202274027 edges, 45522 markings/sec, 730 secs
lola: 36755547 markings, 203631155 edges, 44268 markings/sec, 735 secs
lola: 36969794 markings, 204980907 edges, 42849 markings/sec, 740 secs
lola: 37182396 markings, 206338089 edges, 42520 markings/sec, 745 secs
lola: 37386952 markings, 207689642 edges, 40911 markings/sec, 750 secs
lola: 37612767 markings, 209047770 edges, 45163 markings/sec, 755 secs
lola: 37830768 markings, 210400845 edges, 43600 markings/sec, 760 secs
lola: 38031682 markings, 211753433 edges, 40183 markings/sec, 765 secs
lola: 38258446 markings, 213107929 edges, 45353 markings/sec, 770 secs
lola: 38503524 markings, 214487034 edges, 49016 markings/sec, 775 secs
lola: 38750417 markings, 215872807 edges, 49379 markings/sec, 780 secs
lola: 38976003 markings, 217250022 edges, 45117 markings/sec, 785 secs
lola: 39202986 markings, 218641288 edges, 45397 markings/sec, 790 secs
lola: 39437567 markings, 220020660 edges, 46916 markings/sec, 795 secs
lola: 39663044 markings, 221405736 edges, 45095 markings/sec, 800 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no no unknown no no yes unknown yes unknown no unknown unknown
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: unknown no no unknown no no yes unknown yes unknown no unknown unknown
lola:
preliminary result: unknown no no unknown no no yes unknown yes unknown no unknown unknown
lola: memory consumption: 6723600 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no unknown no no yes unknown yes unknown no unknown 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="ShieldPPPs-PT-020A"
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 ShieldPPPs-PT-020A, 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-162098231100306"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPs-PT-020A.tgz
mv ShieldPPPs-PT-020A 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 ;