About the Execution of 2020-gold for ShieldIIPs-PT-020A
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16239.684 | 3600000.00 | 3572626.00 | 19294.50 | F?F?FT??TF?FFFFF | 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-162098230900130.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is ShieldIIPs-PT-020A, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r227-tall-162098230900130
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 524K
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 99K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.6K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 87K 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.2K Mar 28 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 28 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Mar 27 11:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 27 11:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 17:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 17:41 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 169K May 5 16:52 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldIIPs-PT-020A-00
FORMULA_NAME ShieldIIPs-PT-020A-01
FORMULA_NAME ShieldIIPs-PT-020A-02
FORMULA_NAME ShieldIIPs-PT-020A-03
FORMULA_NAME ShieldIIPs-PT-020A-04
FORMULA_NAME ShieldIIPs-PT-020A-05
FORMULA_NAME ShieldIIPs-PT-020A-06
FORMULA_NAME ShieldIIPs-PT-020A-07
FORMULA_NAME ShieldIIPs-PT-020A-08
FORMULA_NAME ShieldIIPs-PT-020A-09
FORMULA_NAME ShieldIIPs-PT-020A-10
FORMULA_NAME ShieldIIPs-PT-020A-11
FORMULA_NAME ShieldIIPs-PT-020A-12
FORMULA_NAME ShieldIIPs-PT-020A-13
FORMULA_NAME ShieldIIPs-PT-020A-14
FORMULA_NAME ShieldIIPs-PT-020A-15
=== Now, execution of the tool begins
BK_START 1621131037941
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-16 02:10:39] [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 02:10:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-16 02:10:39] [INFO ] Load time of PNML (sax parser for PT used): 86 ms
[2021-05-16 02:10:39] [INFO ] Transformed 503 places.
[2021-05-16 02:10:39] [INFO ] Transformed 483 transitions.
[2021-05-16 02:10:39] [INFO ] Found NUPN structural information;
[2021-05-16 02:10:39] [INFO ] Parsed PT model containing 503 places and 483 transitions in 132 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 51 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 15398 steps, including 14 resets, run visited all 48 properties in 144 ms. (steps per millisecond=106 )
[2021-05-16 02:10:40] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2021-05-16 02:10:40] [INFO ] Flatten gal took : 101 ms
FORMULA ShieldIIPs-PT-020A-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-16 02:10:40] [INFO ] Applying decomposition
[2021-05-16 02:10:40] [INFO ] Flatten gal took : 51 ms
[2021-05-16 02:10:40] [INFO ] Decomposing Gal with order
[2021-05-16 02:10:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 02:10:40] [INFO ] Removed a total of 340 redundant transitions.
[2021-05-16 02:10:40] [INFO ] Flatten gal took : 101 ms
[2021-05-16 02:10:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 240 labels/synchronizations in 28 ms.
[2021-05-16 02:10:40] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 5 ms.
[2021-05-16 02:10:40] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 7 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ShieldIIPs-PT-020A @ 3570 seconds
FORMULA ShieldIIPs-PT-020A-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-020A-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-020A-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-020A-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-020A-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-020A-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-020A-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-020A-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-020A-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-020A-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ ShieldIIPs-PT-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 02:10:41 2021
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 236
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 4,
"U": 0,
"X": 1,
"aconj": 2,
"adisj": 1,
"aneg": 0,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 8,
"visible_transitions": 0
},
"processed": "F (G ((X (G ((G (((1 <= p286) AND (1 <= p292) AND (1 <= p302))) OR ((1 <= p486) AND (1 <= p490) AND (1 <= p501))))) OR G (((p387 <= 0) OR (p420 <= 0))))))",
"processed_size": 155,
"rewrites": 125
},
"result":
{
"edges": 5132,
"markings": 5131,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 19
},
"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": 253
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 4,
"adisj": 0,
"aneg": 0,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X ((((1 <= p75)) OR ((G (((1 <= p226))) AND F (((1 <= p75)))) OR ((1 <= p255) AND (1 <= p268)))))",
"processed_size": 97,
"rewrites": 125
},
"result":
{
"edges": 5071,
"markings": 5071,
"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": 273
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 3,
"U": 0,
"X": 4,
"aconj": 5,
"adisj": 0,
"aneg": 4,
"comp": 13,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 13,
"taut": 0,
"tconj": 3,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "X ((F (G ((X (((p363 <= 0) OR (p371 <= 0) OR (p375 <= 0))) AND ((p164 <= 0) OR (p185 <= 0))))) AND G ((X (((1 <= p363) AND (1 <= p371) AND (1 <= p375))) OR G ((X (((p363 <= 0) OR (p371 <= 0) OR (p375 <= 0))) AND ((p164 <= 0) OR (p185 <= 0))))))))",
"processed_size": 252,
"rewrites": 125
},
"result":
{
"edges": 7355,
"markings": 7355,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 11
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 296
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 296
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"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": "((1 <= p181) AND (1 <= p191))",
"processed_size": 29,
"rewrites": 125
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 3,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 323
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"aconj": 2,
"adisj": 0,
"aneg": 2,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "X ((G (((p463 <= 0) OR (p471 <= 0) OR (p475 <= 0))) OR X (((p111 <= 0) OR (p117 <= 0) OR (p126 <= 0)))))",
"processed_size": 108,
"rewrites": 125
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 6
},
"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"
}
}
],
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 3,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 323
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 1,
"aconj": 3,
"adisj": 0,
"aneg": 2,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "(((1 <= p82) AND (1 <= p84)) U (G (((p82 <= 0) OR (p84 <= 0))) OR X (((p104 <= 0) OR (p119 <= 0)))))",
"processed_size": 102,
"rewrites": 125
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 359
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 0,
"U": 0,
"X": 1,
"aconj": 5,
"adisj": 1,
"aneg": 0,
"comp": 11,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 11,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 9,
"visible_transitions": 0
},
"processed": "F ((F (((1 <= p163) AND (((1 <= p116)) OR ((1 <= p407) AND (1 <= p409))) AND (1 <= p171) AND (1 <= p177))) AND X ((((1 <= p461) AND (1 <= p465) AND (p476 <= 1) AND (1 <= p476)) AND ((1 <= p116))))))",
"processed_size": 199,
"rewrites": 125
},
"result":
{
"edges": 5071,
"markings": 5071,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"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": 404
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 1,
"aconj": 3,
"adisj": 1,
"aneg": 2,
"comp": 7,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "X ((G ((((p387 <= 0) OR (p420 <= 0) OR (p400 <= 0)) AND ((p179 <= 0) OR (p194 <= 0)))) OR G (((p387 <= 0) OR (p420 <= 0)))))",
"processed_size": 128,
"rewrites": 125
},
"result":
{
"edges": 5071,
"markings": 5071,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 471
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 2,
"aconj": 4,
"adisj": 2,
"aneg": 0,
"comp": 10,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 10,
"taut": 0,
"tconj": 3,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "G ((X (((p37 <= 0) OR (p70 <= 0))) OR (((2 <= p476) OR (p476 <= 0)) AND (X (((1 <= p339) AND (1 <= p360))) OR (G (((1 <= p37) AND (1 <= p70))) AND (((1 <= p37)) AND ((1 <= p70))))))))",
"processed_size": 185,
"rewrites": 125
},
"result":
{
"edges": 12070,
"markings": 12070,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 565
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "F (G ((X (((1 <= p61) AND (1 <= p67) AND (1 <= p76))) OR ((1 <= p104) AND (1 <= p119)))))",
"processed_size": 89,
"rewrites": 125
},
"result":
{
"edges": 5073,
"markings": 5072,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 10,
"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": 706
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 2,
"aconj": 2,
"adisj": 0,
"aneg": 1,
"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": 5,
"visible_transitions": 0
},
"processed": "X (G ((G (F (((1 <= p413) AND (1 <= p421) AND (1 <= p427)))) AND X (((p331 <= 0) OR (p342 <= 0))))))",
"processed_size": 101,
"rewrites": 125
},
"result":
{
"edges": 5072,
"markings": 5072,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 1624,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "F(G((X(G((G(**) OR **))) OR G(**)))) : F((* AND (G(*) OR G(F(*))))) : X((** OR ((G(**) AND F(**)) OR **))) : G(F((* AND (F(*) OR G(*))))) : X((F(G((X(*) AND *))) AND G((X(**) OR G((X(*) AND *)))))) : (X((G(*) OR X(*))) OR **) : F(((F(*) AND (** AND (** AND **))) OR (G(*) AND F((F(*) AND (** AND (** AND **))))))) : X(((** U **) AND G((F(**) AND (** OR **))))) : (** U (G(*) OR X(*))) : F((F(**) AND X((** AND **)))) : F((G((X(X(F(*))) AND (* AND *))) R *)) : X((G(*) OR G(*))) : G((X(**) OR (** AND (X(**) OR (G(**) AND (** AND **)))))) : F(G((X(**) OR **))) : X(G((G(F(**)) AND X(*))))"
},
"net":
{
"arcs": 2166,
"conflict_clusters": 143,
"places": 503,
"places_significant": 322,
"singleton_clusters": 0,
"transitions": 483
},
"result":
{
"interim_value": "no unknown no unknown no yes unknown unknown yes no unknown no no no no ",
"preliminary_value": "no unknown no unknown no yes unknown unknown yes no unknown no no no no "
},
"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: 986/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 503
lola: finding significant places
lola: 503 places, 483 transitions, 322 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: (p286 <= 1)
lola: LP says that atomic proposition is always true: (p292 <= 1)
lola: LP says that atomic proposition is always true: (p302 <= 1)
lola: LP says that atomic proposition is always true: (p486 <= 1)
lola: LP says that atomic proposition is always true: (p490 <= 1)
lola: LP says that atomic proposition is always true: (p501 <= 1)
lola: LP says that atomic proposition is always true: (p387 <= 1)
lola: LP says that atomic proposition is always true: (p420 <= 1)
lola: LP says that atomic proposition is always true: (p111 <= 1)
lola: LP says that atomic proposition is always true: (p115 <= 1)
lola: LP says that atomic proposition is always true: (p126 <= 1)
lola: LP says that atomic proposition is always true: (p483 <= 1)
lola: LP says that atomic proposition is always true: (p498 <= 1)
lola: LP says that atomic proposition is always true: (p226 <= 1)
lola: LP says that atomic proposition is always true: (p75 <= 1)
lola: LP says that atomic proposition is always true: (p255 <= 1)
lola: LP says that atomic proposition is always true: (p268 <= 1)
lola: LP says that atomic proposition is always true: (p261 <= 1)
lola: LP says that atomic proposition is always true: (p267 <= 1)
lola: LP says that atomic proposition is always true: (p276 <= 1)
lola: LP says that atomic proposition is always true: (p107 <= 1)
lola: LP says that atomic proposition is always true: (p109 <= 1)
lola: LP says that atomic proposition is always true: (p15 <= 1)
lola: LP says that atomic proposition is always true: (p481 <= 1)
lola: LP says that atomic proposition is always true: (p492 <= 1)
lola: LP says that atomic proposition is always true: (p363 <= 1)
lola: LP says that atomic proposition is always true: (p371 <= 1)
lola: LP says that atomic proposition is always true: (p375 <= 1)
lola: LP says that atomic proposition is always true: (p363 <= 1)
lola: LP says that atomic proposition is always true: (p371 <= 1)
lola: LP says that atomic proposition is always true: (p375 <= 1)
lola: LP says that atomic proposition is always true: (p164 <= 1)
lola: LP says that atomic proposition is always true: (p185 <= 1)
lola: LP says that atomic proposition is always true: (p463 <= 1)
lola: LP says that atomic proposition is always true: (p471 <= 1)
lola: LP says that atomic proposition is always true: (p475 <= 1)
lola: LP says that atomic proposition is always true: (p111 <= 1)
lola: LP says that atomic proposition is always true: (p117 <= 1)
lola: LP says that atomic proposition is always true: (p126 <= 1)
lola: LP says that atomic proposition is always true: (p181 <= 1)
lola: LP says that atomic proposition is always true: (p191 <= 1)
lola: LP says that atomic proposition is always true: (p157 <= 1)
lola: LP says that atomic proposition is always true: (p159 <= 1)
lola: LP says that atomic proposition is always true: (p213 <= 1)
lola: LP says that atomic proposition is always true: (p223 <= 1)
lola: LP says that atomic proposition is always true: (p225 <= 1)
lola: LP says that atomic proposition is always true: (p157 <= 1)
lola: LP says that atomic proposition is always true: (p159 <= 1)
lola: LP says that atomic proposition is always true: (p238 <= 1)
lola: LP says that atomic proposition is always true: (p246 <= 1)
lola: LP says that atomic proposition is always true: (p250 <= 1)
lola: LP says that atomic proposition is always true: (p213 <= 1)
lola: LP says that atomic proposition is always true: (p223 <= 1)
lola: LP says that atomic proposition is always true: (p225 <= 1)
lola: LP says that atomic proposition is always true: (p281 <= 1)
lola: LP says that atomic proposition is always true: (p292 <= 1)
lola: LP says that atomic proposition is always true: (p56 <= 1)
lola: LP says that atomic proposition is always true: (p66 <= 1)
lola: LP says that atomic proposition is always true: (p296 <= 1)
lola: LP says that atomic proposition is always true: (p281 <= 1)
lola: LP says that atomic proposition is always true: (p292 <= 1)
lola: LP says that atomic proposition is always true: (p216 <= 1)
lola: LP says that atomic proposition is always true: (p82 <= 1)
lola: LP says that atomic proposition is always true: (p84 <= 1)
lola: LP says that atomic proposition is always true: (p463 <= 1)
lola: LP says that atomic proposition is always true: (p473 <= 1)
lola: LP says that atomic proposition is always true: (p475 <= 1)
lola: LP says that atomic proposition is always true: (p82 <= 1)
lola: LP says that atomic proposition is always true: (p84 <= 1)
lola: LP says that atomic proposition is always true: (p104 <= 1)
lola: LP says that atomic proposition is always true: (p119 <= 1)
lola: LP says that atomic proposition is always true: (p116 <= 1)
lola: LP says that atomic proposition is always true: (p407 <= 1)
lola: LP says that atomic proposition is always true: (p409 <= 1)
lola: LP says that atomic proposition is always true: (p163 <= 1)
lola: LP says that atomic proposition is always true: (p171 <= 1)
lola: LP says that atomic proposition is always true: (p177 <= 1)
lola: LP says that atomic proposition is always true: (p461 <= 1)
lola: LP says that atomic proposition is always true: (p465 <= 1)
lola: LP says that atomic proposition is always true: (p116 <= 1)
lola: LP says that atomic proposition is always true: (p461 <= 1)
lola: LP says that atomic proposition is always true: (p467 <= 1)
lola: LP says that atomic proposition is always true: (p413 <= 1)
lola: LP says that atomic proposition is always true: (p423 <= 1)
lola: LP says that atomic proposition is always true: (p425 <= 1)
lola: LP says that atomic proposition is always true: (p56 <= 1)
lola: LP says that atomic proposition is always true: (p67 <= 1)
lola: LP says that atomic proposition is always true: (p413 <= 1)
lola: LP says that atomic proposition is always true: (p423 <= 1)
lola: LP says that atomic proposition is always true: (p425 <= 1)
lola: LP says that atomic proposition is always true: (p439 <= 1)
lola: LP says that atomic proposition is always true: (p460 <= 1)
lola: LP says that atomic proposition is always true: (p387 <= 1)
lola: LP says that atomic proposition is always true: (p420 <= 1)
lola: LP says that atomic proposition is always true: (p400 <= 1)
lola: LP says that atomic proposition is always true: (p179 <= 1)
lola: LP says that atomic proposition is always true: (p194 <= 1)
lola: LP says that atomic proposition is always true: (p387 <= 1)
lola: LP says that atomic proposition is always true: (p420 <= 1)
lola: LP says that atomic proposition is always true: (p37 <= 1)
lola: LP says that atomic proposition is always true: (p70 <= 1)
lola: LP says that atomic proposition is always true: (p339 <= 1)
lola: LP says that atomic proposition is always true: (p360 <= 1)
lola: LP says that atomic proposition is always true: (p37 <= 1)
lola: LP says that atomic proposition is always true: (p70 <= 1)
lola: LP says that atomic proposition is always true: (p37 <= 1)
lola: LP says that atomic proposition is always true: (p70 <= 1)
lola: LP says that atomic proposition is always true: (p61 <= 1)
lola: LP says that atomic proposition is always true: (p67 <= 1)
lola: LP says that atomic proposition is always true: (p76 <= 1)
lola: LP says that atomic proposition is always true: (p104 <= 1)
lola: LP says that atomic proposition is always true: (p119 <= 1)
lola: LP says that atomic proposition is always true: (p413 <= 1)
lola: LP says that atomic proposition is always true: (p421 <= 1)
lola: LP says that atomic proposition is always true: (p427 <= 1)
lola: LP says that atomic proposition is always true: (p331 <= 1)
lola: LP says that atomic proposition is always true: (p342 <= 1)
lola: NOT(G (X (F ((NOT(G (X ((G (((1 <= p286) AND (1 <= p292) AND (1 <= p302))) OR ((1 <= p486) AND (1 <= p490) AND (1 <= p501)))))) AND NOT(G (((p387 <= 0) OR (p420 <= 0))))))))) : F (NOT((F (G (((p111 <= 0) OR (p115 <= 0) OR (p126 <= 0)))) U ((1 <= p483) AND (1 <= p498))))) : X (((G (((1 <= p226))) U ((1 <= p75))) OR ((1 <= p255) AND (1 <= p268)))) : F ((((1 <= p261) AND (1 <= p267) AND (1 <= p276)) U NOT(F (X (G ((G (((1 <= p107) AND (1 <= p109))) U (((1 <= p15)) OR ((1 <= p481) AND (1 <= p492)))))))))) : G (X ((X (((1 <= p363) AND (1 <= p371) AND (1 <= p375))) U NOT(F ((X (((1 <= p363) AND (1 <= p371) AND (1 <= p375))) OR ((1 <= p164) AND (1 <= p185)))))))) : (X ((NOT(F (((1 <= p463) AND (1 <= p471) AND (1 <= p475)))) OR NOT(X (((1 <= p111) AND (1 <= p117) AND (1 <= p126)))))) OR ((1 <= p181) AND (1 <= p191))) : F ((NOT(F (((1 <= p157) AND (1 <= p159)))) U (((NOT(G ((((1 <= p213) AND (1 <= p223) AND (1 <= p225) AND (1 <= p157) AND (1 <= p159)) OR ((1 <= p238) AND (1 <= p246) AND (1 <= p250))))) AND ((1 <= p213))) AND ((1 <= p223))) AND ((1 <= p225))))) : X (((((p281 <= 0) OR (p292 <= 0)) U ((1 <= p56) AND (1 <= p66))) AND G (((((1 <= p296)) OR ((1 <= p281) AND (1 <= p292))) U ((p216 <= 0)))))) : (((1 <= p82) AND (1 <= p84)) U (NOT(F ((((1 <= p463) AND (1 <= p473) AND (1 <= p475)) U F (((1 <= p82) AND (1 <= p84)))))) OR NOT(X (((1 <= p104) AND (1 <= p119)))))) : F (((F (((1 <= p163) AND (((1 <= p116)) OR ((1 <= p407) AND (1 <= p409))) AND (1 <= p171) AND (1 <= p177))) AND X (((1 <= p461) AND (1 <= p465) AND (p476 <= 1) AND (1 <= p476)))) AND X (((1 <= p116))))) : F (NOT((F (((X (G (X (((1 <= p461) AND (1 <= p467) AND (p476 <= 1) AND (1 <= p476))))) OR ((1 <= p413) AND (1 <= p423) AND (1 <= p425))) OR ((1 <= p56) AND (1 <= p67)))) U ((1 <= p413) AND (1 <= p423) AND (1 <= p425))))) : NOT(X (((((1 <= p439) AND (1 <= p460)) U F ((((1 <= p387) AND (1 <= p420) AND (1 <= p400)) OR ((1 <= p179) AND (1 <= p194))))) AND F (((1 <= p387) AND (1 <= p420)))))) : G ((X (((p37 <= 0) OR (p70 <= 0))) OR (((2 <= p476) OR (p476 <= 0)) AND (X (((1 <= p339) AND (1 <= p360))) OR ((G (((1 <= p37) AND (1 <= p70))) AND ((1 <= p37))) AND ((1 <= p70))))))) : F (X (F (G (X (G (X ((X (((1 <= p61) AND (1 <= p67) AND (1 <= p76))) OR ((1 <= p104) AND (1 <= p119)))))))))) : NOT(F (X ((X (F (NOT(F (G (X (F (((1 <= p413) AND (1 <= p421) AND (1 <= p427))))))))) OR X (((1 <= p331) AND (1 <= p342)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
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:380
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((X (G ((G (((1 <= p286) AND (1 <= p292) AND (1 <= p302))) OR ((1 <= p486) AND (1 <= p490) AND (1 <= p501))))) OR G (((p387 <= 0) OR (p420 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((X (G ((G (((1 <= p286) AND (1 <= p292) AND (1 <= p302))) OR ((1 <= p486) AND (1 <= p490) AND (1 <= p501))))) OR G (((p387 <= 0) OR (p420 <= 0))))))
lola: processed formula length: 155
lola: 125 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 19 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: 5131 markings, 5132 edges
lola: ========================================
lola: subprocess 1 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((((1 <= p75)) OR ((G (((1 <= p226))) AND F (((1 <= p75)))) OR ((1 <= p255) AND (1 <= p268)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((((1 <= p75)) OR ((G (((1 <= p226))) AND F (((1 <= p75)))) OR ((1 <= p255) AND (1 <= p268)))))
lola: processed formula length: 97
lola: 125 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: 5071 markings, 5071 edges
lola: ========================================
lola: subprocess 2 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((F (G ((X (((p363 <= 0) OR (p371 <= 0) OR (p375 <= 0))) AND ((p164 <= 0) OR (p185 <= 0))))) AND G ((X (((1 <= p363) AND (1 <= p371) AND (1 <= p375))) OR G ((X (((p363 <= 0) OR (p371 <= 0) OR (p375 <= 0))) AND ((p164 <= 0) OR (p185 <= 0))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((F (G ((X (((p363 <= 0) OR (p371 <= 0) OR (p375 <= 0))) AND ((p164 <= 0) OR (p185 <= 0))))) AND G ((X (((1 <= p363) AND (1 <= p371) AND (1 <= p375))) OR G ((X (((p363 <= 0) OR (p371 <= 0) OR (p375 <= 0))) AND ((p164 <= 0) OR (p185 <= 0))))))))
lola: processed formula length: 252
lola: 125 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 11 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: 7355 markings, 7355 edges
lola: ========================================
lola: subprocess 3 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X ((G (((p463 <= 0) OR (p471 <= 0) OR (p475 <= 0))) OR X (((p111 <= 0) OR (p117 <= 0) OR (p126 <= 0))))) OR ((1 <= p181) AND (1 <= p191)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p181) AND (1 <= p191))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p181) AND (1 <= p191))
lola: processed formula length: 29
lola: 125 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((G (((p463 <= 0) OR (p471 <= 0) OR (p475 <= 0))) OR X (((p111 <= 0) OR (p117 <= 0) OR (p126 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((G (((p463 <= 0) OR (p471 <= 0) OR (p475 <= 0))) OR X (((p111 <= 0) OR (p117 <= 0) OR (p126 <= 0)))))
lola: processed formula length: 108
lola: 125 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: 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: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 4 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((((p281 <= 0) OR (p292 <= 0)) U ((1 <= p56) AND (1 <= p66))) AND G ((F (((p216 <= 0))) AND ((((1 <= p296)) OR ((1 <= p281) AND (1 <= p292))) OR ((p216 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((((p281 <= 0) OR (p292 <= 0)) U ((1 <= p56) AND (1 <= p66))) AND G ((F (((p216 <= 0))) AND ((((1 <= p296)) OR ((1 <= p281) AND (1 <= p292))) OR ((p216 <= 0)))))))
lola: processed formula length: 168
lola: 125 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: 654238 markings, 1595407 edges, 130848 markings/sec, 0 secs
lola: 1243227 markings, 3191187 edges, 117798 markings/sec, 5 secs
lola: 1826349 markings, 4791711 edges, 116624 markings/sec, 10 secs
lola: 2424730 markings, 6356976 edges, 119676 markings/sec, 15 secs
lola: 2954807 markings, 7890376 edges, 106015 markings/sec, 20 secs
lola: 3545302 markings, 9445203 edges, 118099 markings/sec, 25 secs
lola: 4099654 markings, 10995555 edges, 110870 markings/sec, 30 secs
lola: 4681452 markings, 12538018 edges, 116360 markings/sec, 35 secs
lola: 5212761 markings, 14056548 edges, 106262 markings/sec, 40 secs
lola: 5765190 markings, 15607606 edges, 110486 markings/sec, 45 secs
lola: 6318019 markings, 17128728 edges, 110566 markings/sec, 50 secs
lola: 6859986 markings, 18629405 edges, 108393 markings/sec, 55 secs
lola: 7398443 markings, 20124927 edges, 107691 markings/sec, 60 secs
lola: 7922951 markings, 21619347 edges, 104902 markings/sec, 65 secs
lola: 8502767 markings, 23132457 edges, 115963 markings/sec, 70 secs
lola: 9087272 markings, 24667418 edges, 116901 markings/sec, 75 secs
lola: 9666311 markings, 26195175 edges, 115808 markings/sec, 80 secs
lola: 10208169 markings, 27719208 edges, 108372 markings/sec, 85 secs
lola: 10760811 markings, 29253334 edges, 110528 markings/sec, 90 secs
lola: 11263830 markings, 30770193 edges, 100604 markings/sec, 95 secs
lola: 11773202 markings, 32285015 edges, 101874 markings/sec, 100 secs
lola: 12269416 markings, 33804550 edges, 99243 markings/sec, 105 secs
lola: 12811215 markings, 35332578 edges, 108360 markings/sec, 110 secs
lola: 13372600 markings, 36856974 edges, 112277 markings/sec, 115 secs
lola: 13996710 markings, 38403197 edges, 124822 markings/sec, 120 secs
lola: 14621491 markings, 39960542 edges, 124956 markings/sec, 125 secs
lola: 15169105 markings, 41524906 edges, 109523 markings/sec, 130 secs
lola: 15762116 markings, 43076092 edges, 118602 markings/sec, 135 secs
lola: 16278579 markings, 44642564 edges, 103293 markings/sec, 140 secs
lola: 16840659 markings, 46190018 edges, 112416 markings/sec, 145 secs
lola: 17387376 markings, 47737123 edges, 109343 markings/sec, 150 secs
lola: 17880770 markings, 49295253 edges, 98679 markings/sec, 155 secs
lola: 18396132 markings, 50837759 edges, 103072 markings/sec, 160 secs
lola: 18884287 markings, 52392743 edges, 97631 markings/sec, 165 secs
lola: 19394909 markings, 53951552 edges, 102124 markings/sec, 170 secs
lola: 19949481 markings, 55506522 edges, 110914 markings/sec, 175 secs
lola: 20492526 markings, 57073428 edges, 108609 markings/sec, 180 secs
lola: 21043841 markings, 58643999 edges, 110263 markings/sec, 185 secs
lola: 21599606 markings, 60157516 edges, 111153 markings/sec, 190 secs
lola: 22138088 markings, 61654178 edges, 107696 markings/sec, 195 secs
lola: 22634137 markings, 63145942 edges, 99210 markings/sec, 200 secs
lola: 23126274 markings, 64616418 edges, 98427 markings/sec, 205 secs
lola: 23601518 markings, 66089583 edges, 95049 markings/sec, 210 secs
lola: 24042763 markings, 67563508 edges, 88249 markings/sec, 215 secs
lola: 24549636 markings, 69052461 edges, 101375 markings/sec, 220 secs
lola: 25071081 markings, 70551601 edges, 104289 markings/sec, 225 secs
lola: 25630245 markings, 72068180 edges, 111833 markings/sec, 230 secs
lola: 26138266 markings, 73571124 edges, 101604 markings/sec, 235 secs
lola: 26654546 markings, 75068430 edges, 103256 markings/sec, 240 secs
lola: 27197595 markings, 76564495 edges, 108610 markings/sec, 245 secs
lola: 27741889 markings, 78082004 edges, 108859 markings/sec, 250 secs
lola: 28244167 markings, 79580704 edges, 100456 markings/sec, 255 secs
lola: 28745074 markings, 81080881 edges, 100181 markings/sec, 260 secs
lola: 29214252 markings, 82580834 edges, 93836 markings/sec, 265 secs
lola: 29708679 markings, 84091794 edges, 98885 markings/sec, 270 secs
lola: 30235337 markings, 85609155 edges, 105332 markings/sec, 275 secs
lola: 30754493 markings, 87103737 edges, 103831 markings/sec, 280 secs
lola: 31267339 markings, 88575720 edges, 102569 markings/sec, 285 secs
lola: 31751122 markings, 90030444 edges, 96757 markings/sec, 290 secs
lola: 32192313 markings, 91478473 edges, 88238 markings/sec, 295 secs
lola: 32688260 markings, 92933592 edges, 99189 markings/sec, 300 secs
lola: 33230231 markings, 94436042 edges, 108394 markings/sec, 305 secs
lola: 33758631 markings, 95971089 edges, 105680 markings/sec, 310 secs
lola: 34281446 markings, 97515500 edges, 104563 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no unknown no yes unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6411760 KB
lola: time consumption: 339 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 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p82) AND (1 <= p84)) U (G (((p82 <= 0) OR (p84 <= 0))) OR X (((p104 <= 0) OR (p119 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (((1 <= p82) AND (1 <= p84)) U (G (((p82 <= 0) OR (p84 <= 0))) OR X (((p104 <= 0) OR (p119 <= 0)))))
lola: processed formula length: 102
lola: 125 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: 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 6 will run for 359 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((F (((1 <= p163) AND (((1 <= p116)) OR ((1 <= p407) AND (1 <= p409))) AND (1 <= p171) AND (1 <= p177))) AND X ((((1 <= p461) AND (1 <= p465) AND (p476 <= 1) AND (1 <= p476)) AND ((1 <= p116))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((F (((1 <= p163) AND (((1 <= p116)) OR ((1 <= p407) AND (1 <= p409))) AND (1 <= p171) AND (1 <= p177))) AND X ((((1 <= p461) AND (1 <= p465) AND (p476 <= 1) AND (1 <= p476)) AND ((1 <= p116))))))
lola: processed formula length: 199
lola: 125 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 5071 markings, 5071 edges
lola: ========================================
lola: subprocess 7 will run for 403 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((G ((X (X (F (((p461 <= 0) OR (p467 <= 0) OR (2 <= p476) OR (p476 <= 0))))) AND (((p413 <= 0) OR (p423 <= 0) OR (p425 <= 0)) AND ((p56 <= 0) OR (p67 <= 0))))) R ((p413 <= 0) OR (p423 <= 0) OR (p425 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((G ((X (X (F (((p461 <= 0) OR (p467 <= 0) OR (2 <= p476) OR (p476 <= 0))))) AND (((p413 <= 0) OR (p423 <= 0) OR (p425 <= 0)) AND ((p56 <= 0) OR (p67 <= 0))))) R ((p413 <= 0) OR (p423 <= 0) OR (p425 <= 0))))
lola: processed formula length: 217
lola: 125 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: 752904 markings, 1540245 edges, 150581 markings/sec, 0 secs
lola: 1427708 markings, 3079511 edges, 134961 markings/sec, 5 secs
lola: 2081915 markings, 4620600 edges, 130841 markings/sec, 10 secs
lola: 2771169 markings, 6163790 edges, 137851 markings/sec, 15 secs
lola: 3449175 markings, 7664539 edges, 135601 markings/sec, 20 secs
lola: 4059784 markings, 9163351 edges, 122122 markings/sec, 25 secs
lola: 4746476 markings, 10672417 edges, 137338 markings/sec, 30 secs
lola: 5383643 markings, 12180110 edges, 127433 markings/sec, 35 secs
lola: 6061285 markings, 13687743 edges, 135528 markings/sec, 40 secs
lola: 6683160 markings, 15174994 edges, 124375 markings/sec, 45 secs
lola: 7333245 markings, 16684700 edges, 130017 markings/sec, 50 secs
lola: 7966098 markings, 18179343 edges, 126571 markings/sec, 55 secs
lola: 8606364 markings, 19674144 edges, 128053 markings/sec, 60 secs
lola: 9249988 markings, 21150462 edges, 128725 markings/sec, 65 secs
lola: 9879559 markings, 22627178 edges, 125914 markings/sec, 70 secs
lola: 10495414 markings, 24100252 edges, 123171 markings/sec, 75 secs
lola: 11146010 markings, 25583132 edges, 130119 markings/sec, 80 secs
lola: 11859002 markings, 27090649 edges, 142598 markings/sec, 85 secs
lola: 12514871 markings, 28585187 edges, 131174 markings/sec, 90 secs
lola: 13179913 markings, 30084099 edges, 133008 markings/sec, 95 secs
lola: 13818488 markings, 31580556 edges, 127715 markings/sec, 100 secs
lola: 14449630 markings, 33077109 edges, 126228 markings/sec, 105 secs
lola: 15034510 markings, 34566695 edges, 116976 markings/sec, 110 secs
lola: 15634191 markings, 36052871 edges, 119936 markings/sec, 115 secs
lola: 16196183 markings, 37536337 edges, 112398 markings/sec, 120 secs
lola: 16842201 markings, 39036416 edges, 129204 markings/sec, 125 secs
lola: 17505055 markings, 40522653 edges, 132571 markings/sec, 130 secs
lola: 18143713 markings, 42011911 edges, 127732 markings/sec, 135 secs
lola: 18880859 markings, 43508339 edges, 147429 markings/sec, 140 secs
lola: 19580435 markings, 45023688 edges, 139915 markings/sec, 145 secs
lola: 20206041 markings, 46537052 edges, 125121 markings/sec, 150 secs
lola: 20882662 markings, 48035721 edges, 135324 markings/sec, 155 secs
lola: 21508697 markings, 49550930 edges, 125207 markings/sec, 160 secs
lola: 22133973 markings, 51064362 edges, 125055 markings/sec, 165 secs
lola: 22783600 markings, 52543376 edges, 129925 markings/sec, 170 secs
lola: 23393313 markings, 54057593 edges, 121943 markings/sec, 175 secs
lola: 23958287 markings, 55569434 edges, 112995 markings/sec, 180 secs
lola: 24567689 markings, 57067209 edges, 121880 markings/sec, 185 secs
lola: 25137853 markings, 58575823 edges, 114033 markings/sec, 190 secs
lola: 25714465 markings, 60097248 edges, 115322 markings/sec, 195 secs
lola: 26383692 markings, 61602891 edges, 133845 markings/sec, 200 secs
lola: 26985778 markings, 63128238 edges, 120417 markings/sec, 205 secs
lola: 27652169 markings, 64641656 edges, 133278 markings/sec, 210 secs
lola: 28261028 markings, 66167938 edges, 121772 markings/sec, 215 secs
lola: 28919737 markings, 67650849 edges, 131742 markings/sec, 220 secs
lola: 29554318 markings, 69124698 edges, 126916 markings/sec, 225 secs
lola: 30140710 markings, 70594439 edges, 117278 markings/sec, 230 secs
lola: 30730650 markings, 72054708 edges, 117988 markings/sec, 235 secs
lola: 31299801 markings, 73517007 edges, 113830 markings/sec, 240 secs
lola: 31838919 markings, 74980344 edges, 107824 markings/sec, 245 secs
lola: 32421266 markings, 76451744 edges, 116469 markings/sec, 250 secs
lola: 33022411 markings, 77923265 edges, 120229 markings/sec, 255 secs
lola: 33652654 markings, 79408761 edges, 126049 markings/sec, 260 secs
lola: 34294253 markings, 80887572 edges, 128320 markings/sec, 265 secs
lola: 34881750 markings, 82366708 edges, 117499 markings/sec, 270 secs
lola: 35490182 markings, 83844952 edges, 121686 markings/sec, 275 secs
lola: 36106461 markings, 85321162 edges, 123256 markings/sec, 280 secs
lola: 36763738 markings, 86805928 edges, 131455 markings/sec, 285 secs
lola: 37379213 markings, 88285420 edges, 123095 markings/sec, 290 secs
lola: 37978789 markings, 89758375 edges, 119915 markings/sec, 295 secs
lola: 38549279 markings, 91234760 edges, 114098 markings/sec, 300 secs
lola: 39088581 markings, 92711146 edges, 107860 markings/sec, 305 secs
lola: 39693289 markings, 94196856 edges, 120942 markings/sec, 310 secs
lola: 40311904 markings, 95683720 edges, 123723 markings/sec, 315 secs
lola: 40923744 markings, 97163814 edges, 122368 markings/sec, 320 secs
lola: 41542358 markings, 98619777 edges, 123723 markings/sec, 325 secs
lola: 42122508 markings, 100069789 edges, 116030 markings/sec, 330 secs
lola: 42675041 markings, 101514242 edges, 110507 markings/sec, 335 secs
lola: 43227919 markings, 102957648 edges, 110576 markings/sec, 340 secs
lola: 43817882 markings, 104412642 edges, 117993 markings/sec, 345 secs
lola: 44467104 markings, 105901197 edges, 129844 markings/sec, 350 secs
lola: 45072550 markings, 107394694 edges, 121089 markings/sec, 355 secs
lola: 45688926 markings, 108893650 edges, 123275 markings/sec, 360 secs
lola: 46306780 markings, 110375074 edges, 123571 markings/sec, 365 secs
lola: 46956271 markings, 111844964 edges, 129898 markings/sec, 370 secs
lola: 47538485 markings, 113318840 edges, 116443 markings/sec, 375 secs
lola: 48141377 markings, 114784676 edges, 120578 markings/sec, 380 secs
lola: 48746372 markings, 116249819 edges, 120999 markings/sec, 385 secs
lola: 49396078 markings, 117738421 edges, 129941 markings/sec, 390 secs
lola: 50018681 markings, 119208182 edges, 124521 markings/sec, 395 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no unknown no yes unknown unknown yes no unknown unknown unknown unknown unknown
lola: memory consumption: 8881608 KB
lola: time consumption: 742 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 404 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((G ((((p387 <= 0) OR (p420 <= 0) OR (p400 <= 0)) AND ((p179 <= 0) OR (p194 <= 0)))) OR G (((p387 <= 0) OR (p420 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((G ((((p387 <= 0) OR (p420 <= 0) OR (p400 <= 0)) AND ((p179 <= 0) OR (p194 <= 0)))) OR G (((p387 <= 0) OR (p420 <= 0)))))
lola: processed formula length: 128
lola: 125 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: 5071 markings, 5071 edges
lola: ========================================
lola: subprocess 9 will run for 471 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((X (((p37 <= 0) OR (p70 <= 0))) OR (((2 <= p476) OR (p476 <= 0)) AND (X (((1 <= p339) AND (1 <= p360))) OR (G (((1 <= p37) AND (1 <= p70))) AND (((1 <= p37)) AND ((1 <= p70))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((X (((p37 <= 0) OR (p70 <= 0))) OR (((2 <= p476) OR (p476 <= 0)) AND (X (((1 <= p339) AND (1 <= p360))) OR (G (((1 <= p37) AND (1 <= p70))) AND (((1 <= p37)) AND ((1 <= p70))))))))
lola: processed formula length: 185
lola: 125 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: 12070 markings, 12070 edges
lola: ========================================
lola: subprocess 10 will run for 565 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((X (((1 <= p61) AND (1 <= p67) AND (1 <= p76))) OR ((1 <= p104) AND (1 <= p119)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((X (((1 <= p61) AND (1 <= p67) AND (1 <= p76))) OR ((1 <= p104) AND (1 <= p119)))))
lola: processed formula length: 89
lola: 125 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: 5072 markings, 5073 edges
lola: ========================================
lola: subprocess 11 will run for 706 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((G (F (((1 <= p413) AND (1 <= p421) AND (1 <= p427)))) AND X (((p331 <= 0) OR (p342 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((G (F (((1 <= p413) AND (1 <= p421) AND (1 <= p427)))) AND X (((p331 <= 0) OR (p342 <= 0))))))
lola: processed formula length: 101
lola: 125 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: 5072 markings, 5072 edges
lola: ========================================
lola: subprocess 12 will run for 942 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((((p483 <= 0) OR (p498 <= 0)) AND (G (((p483 <= 0) OR (p498 <= 0))) OR G (F (((1 <= p111) AND (1 <= p115) AND (1 <= p126)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((((p483 <= 0) OR (p498 <= 0)) AND (G (((p483 <= 0) OR (p498 <= 0))) OR G (F (((1 <= p111) AND (1 <= p115) AND (1 <= p126)))))))
lola: processed formula length: 132
lola: 125 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: 338794 markings, 1555357 edges, 67759 markings/sec, 0 secs
lola: 646843 markings, 3112827 edges, 61610 markings/sec, 5 secs
lola: 951375 markings, 4649174 edges, 60906 markings/sec, 10 secs
lola: 1226072 markings, 6207126 edges, 54939 markings/sec, 15 secs
lola: 1490750 markings, 7760278 edges, 52936 markings/sec, 20 secs
lola: 1749035 markings, 9327884 edges, 51657 markings/sec, 25 secs
lola: 1995420 markings, 10901350 edges, 49277 markings/sec, 30 secs
lola: 2273764 markings, 12411296 edges, 55669 markings/sec, 35 secs
lola: 2541025 markings, 13923961 edges, 53452 markings/sec, 40 secs
lola: 2802120 markings, 15411173 edges, 52219 markings/sec, 45 secs
lola: 3064697 markings, 16935482 edges, 52515 markings/sec, 50 secs
lola: 3321654 markings, 18485295 edges, 51391 markings/sec, 55 secs
lola: 3572887 markings, 20038967 edges, 50247 markings/sec, 60 secs
lola: 3820942 markings, 21604513 edges, 49611 markings/sec, 65 secs
lola: 4150782 markings, 23148621 edges, 65968 markings/sec, 70 secs
lola: 4440054 markings, 24692996 edges, 57854 markings/sec, 75 secs
lola: 4720062 markings, 26212272 edges, 56002 markings/sec, 80 secs
lola: 5003382 markings, 27715602 edges, 56664 markings/sec, 85 secs
lola: 5253089 markings, 29230237 edges, 49941 markings/sec, 90 secs
lola: 5545487 markings, 30759060 edges, 58480 markings/sec, 95 secs
lola: 5830706 markings, 32271038 edges, 57044 markings/sec, 100 secs
lola: 6107667 markings, 33823247 edges, 55392 markings/sec, 105 secs
lola: 6365953 markings, 35355652 edges, 51657 markings/sec, 110 secs
lola: 6625112 markings, 36901842 edges, 51832 markings/sec, 115 secs
lola: 6874595 markings, 38454811 edges, 49897 markings/sec, 120 secs
lola: 7112464 markings, 40007543 edges, 47574 markings/sec, 125 secs
lola: 7360632 markings, 41553337 edges, 49634 markings/sec, 130 secs
lola: 7622428 markings, 43098445 edges, 52359 markings/sec, 135 secs
lola: 7869420 markings, 44639277 edges, 49398 markings/sec, 140 secs
lola: 8125688 markings, 46199349 edges, 51254 markings/sec, 145 secs
lola: 8364168 markings, 47745287 edges, 47696 markings/sec, 150 secs
lola: 8582087 markings, 49303045 edges, 43584 markings/sec, 155 secs
lola: 8807207 markings, 50857683 edges, 45024 markings/sec, 160 secs
lola: 9074288 markings, 52393868 edges, 53416 markings/sec, 165 secs
lola: 9343350 markings, 53869794 edges, 53812 markings/sec, 170 secs
lola: 9597388 markings, 55360185 edges, 50808 markings/sec, 175 secs
lola: 9836710 markings, 56841682 edges, 47864 markings/sec, 180 secs
lola: 10075717 markings, 58308511 edges, 47801 markings/sec, 185 secs
lola: 10298175 markings, 59828807 edges, 44492 markings/sec, 190 secs
lola: 10564006 markings, 61337475 edges, 53166 markings/sec, 195 secs
lola: 10808160 markings, 62885186 edges, 48831 markings/sec, 200 secs
lola: 11053490 markings, 64426387 edges, 49066 markings/sec, 205 secs
lola: 11288171 markings, 65961362 edges, 46936 markings/sec, 210 secs
lola: 11526880 markings, 67502893 edges, 47742 markings/sec, 215 secs
lola: 11763106 markings, 69048404 edges, 47245 markings/sec, 220 secs
lola: 11998670 markings, 70616677 edges, 47113 markings/sec, 225 secs
lola: 12254281 markings, 72168608 edges, 51122 markings/sec, 230 secs
lola: 12503463 markings, 73726501 edges, 49836 markings/sec, 235 secs
lola: 12746656 markings, 75239666 edges, 48639 markings/sec, 240 secs
lola: 13011110 markings, 76763828 edges, 52891 markings/sec, 245 secs
lola: 13242619 markings, 78279922 edges, 46302 markings/sec, 250 secs
lola: 13481472 markings, 79830267 edges, 47771 markings/sec, 255 secs
lola: 13715995 markings, 81330431 edges, 46905 markings/sec, 260 secs
lola: 13932267 markings, 82819866 edges, 43254 markings/sec, 265 secs
lola: 14158121 markings, 84293170 edges, 45171 markings/sec, 270 secs
lola: 14386798 markings, 85757149 edges, 45735 markings/sec, 275 secs
lola: 14611465 markings, 87208173 edges, 44933 markings/sec, 280 secs
lola: 14830305 markings, 88683483 edges, 43768 markings/sec, 285 secs
lola: 15041106 markings, 90170506 edges, 42160 markings/sec, 290 secs
lola: 15248848 markings, 91664461 edges, 41548 markings/sec, 295 secs
lola: 15482497 markings, 93170167 edges, 46730 markings/sec, 300 secs
lola: 15710059 markings, 94698130 edges, 45512 markings/sec, 305 secs
lola: 15923268 markings, 96215673 edges, 42642 markings/sec, 310 secs
lola: 16155039 markings, 97742738 edges, 46354 markings/sec, 315 secs
lola: 16385824 markings, 99249076 edges, 46157 markings/sec, 320 secs
lola: 16613385 markings, 100760727 edges, 45512 markings/sec, 325 secs
lola: 16855393 markings, 102291100 edges, 48402 markings/sec, 330 secs
lola: 17076452 markings, 103800565 edges, 44212 markings/sec, 335 secs
lola: 17296147 markings, 105287693 edges, 43939 markings/sec, 340 secs
lola: 17522618 markings, 106796306 edges, 45294 markings/sec, 345 secs
lola: 17749513 markings, 108348389 edges, 45379 markings/sec, 350 secs
lola: 17976325 markings, 109907070 edges, 45362 markings/sec, 355 secs
lola: 18178927 markings, 111425013 edges, 40520 markings/sec, 360 secs
lola: 18392808 markings, 112954302 edges, 42776 markings/sec, 365 secs
lola: 18622237 markings, 114531810 edges, 45886 markings/sec, 370 secs
lola: 18824799 markings, 116087975 edges, 40512 markings/sec, 375 secs
lola: 19031898 markings, 117635319 edges, 41420 markings/sec, 380 secs
lola: 19318851 markings, 119156819 edges, 57391 markings/sec, 385 secs
lola: 19605591 markings, 120651071 edges, 57348 markings/sec, 390 secs
lola: 19862192 markings, 122169915 edges, 51320 markings/sec, 395 secs
lola: 20108442 markings, 123688922 edges, 49250 markings/sec, 400 secs
lola: 20353781 markings, 125189548 edges, 49068 markings/sec, 405 secs
lola: 20614628 markings, 126689150 edges, 52169 markings/sec, 410 secs
lola: 20861923 markings, 128195591 edges, 49459 markings/sec, 415 secs
lola: 21164991 markings, 129766606 edges, 60614 markings/sec, 420 secs
lola: 21427677 markings, 131353316 edges, 52537 markings/sec, 425 secs
lola: 21692602 markings, 132936002 edges, 52985 markings/sec, 430 secs
lola: 21935318 markings, 134518383 edges, 48543 markings/sec, 435 secs
lola: 22185267 markings, 136065836 edges, 49990 markings/sec, 440 secs
lola: 22415229 markings, 137618495 edges, 45992 markings/sec, 445 secs
lola: 22653252 markings, 139192302 edges, 47605 markings/sec, 450 secs
lola: 22886421 markings, 140770086 edges, 46634 markings/sec, 455 secs
lola: 23131955 markings, 142330463 edges, 49107 markings/sec, 460 secs
lola: 23376714 markings, 143882429 edges, 48952 markings/sec, 465 secs
lola: 23616564 markings, 145456918 edges, 47970 markings/sec, 470 secs
lola: 23868570 markings, 147022420 edges, 50401 markings/sec, 475 secs
lola: 24109849 markings, 148556818 edges, 48256 markings/sec, 480 secs
lola: 24338365 markings, 150074227 edges, 45703 markings/sec, 485 secs
lola: 24585189 markings, 151644642 edges, 49365 markings/sec, 490 secs
lola: 24834146 markings, 153227153 edges, 49791 markings/sec, 495 secs
lola: 25071408 markings, 154774321 edges, 47452 markings/sec, 500 secs
lola: 25302240 markings, 156327300 edges, 46166 markings/sec, 505 secs
lola: 25522021 markings, 157886124 edges, 43956 markings/sec, 510 secs
lola: 25731639 markings, 159444084 edges, 41924 markings/sec, 515 secs
lola: 25951549 markings, 160982882 edges, 43982 markings/sec, 520 secs
lola: 26172733 markings, 162548571 edges, 44237 markings/sec, 525 secs
lola: 26401707 markings, 164077349 edges, 45795 markings/sec, 530 secs
lola: 26626180 markings, 165602023 edges, 44895 markings/sec, 535 secs
lola: 26845947 markings, 167097678 edges, 43953 markings/sec, 540 secs
lola: 27052070 markings, 168649345 edges, 41225 markings/sec, 545 secs
lola: 27251605 markings, 170202044 edges, 39907 markings/sec, 550 secs
lola: 27465684 markings, 171743955 edges, 42816 markings/sec, 555 secs
lola: 27692840 markings, 173310752 edges, 45431 markings/sec, 560 secs
lola: 27919866 markings, 174829745 edges, 45405 markings/sec, 565 secs
lola: 28142491 markings, 176353877 edges, 44525 markings/sec, 570 secs
lola: 28348292 markings, 177930145 edges, 41160 markings/sec, 575 secs
lola: 28557119 markings, 179502804 edges, 41765 markings/sec, 580 secs
lola: 28777539 markings, 181051686 edges, 44084 markings/sec, 585 secs
lola: 29021313 markings, 182595590 edges, 48755 markings/sec, 590 secs
lola: 29244164 markings, 184128764 edges, 44570 markings/sec, 595 secs
lola: 29462887 markings, 185630224 edges, 43745 markings/sec, 600 secs
lola: 29679459 markings, 187138845 edges, 43314 markings/sec, 605 secs
lola: 29906762 markings, 188684793 edges, 45461 markings/sec, 610 secs
lola: 30124702 markings, 190229800 edges, 43588 markings/sec, 615 secs
lola: 30333659 markings, 191754884 edges, 41791 markings/sec, 620 secs
lola: 30555613 markings, 193295567 edges, 44391 markings/sec, 625 secs
lola: 30775973 markings, 194796574 edges, 44072 markings/sec, 630 secs
lola: 30981485 markings, 196285600 edges, 41102 markings/sec, 635 secs
lola: 31211524 markings, 197794584 edges, 46008 markings/sec, 640 secs
lola: 31418207 markings, 199327118 edges, 41337 markings/sec, 645 secs
lola: 31648780 markings, 200902164 edges, 46115 markings/sec, 650 secs
lola: 31866820 markings, 202452470 edges, 43608 markings/sec, 655 secs
lola: 32080203 markings, 203966283 edges, 42677 markings/sec, 660 secs
lola: 32294327 markings, 205454885 edges, 42825 markings/sec, 665 secs
lola: 32488848 markings, 206948629 edges, 38904 markings/sec, 670 secs
lola: 32696257 markings, 208452802 edges, 41482 markings/sec, 675 secs
lola: 32919644 markings, 209965866 edges, 44677 markings/sec, 680 secs
lola: 33128183 markings, 211481014 edges, 41708 markings/sec, 685 secs
lola: 33347898 markings, 213003625 edges, 43943 markings/sec, 690 secs
lola: 33556850 markings, 214507850 edges, 41790 markings/sec, 695 secs
lola: 33747545 markings, 216022478 edges, 38139 markings/sec, 700 secs
lola: 33939906 markings, 217527442 edges, 38472 markings/sec, 705 secs
lola: 34175113 markings, 219072420 edges, 47041 markings/sec, 710 secs
lola: 34408690 markings, 220630379 edges, 46715 markings/sec, 715 secs
lola: 34634251 markings, 222146549 edges, 45112 markings/sec, 720 secs
lola: 34847093 markings, 223658895 edges, 42568 markings/sec, 725 secs
lola: 35056228 markings, 225175465 edges, 41827 markings/sec, 730 secs
lola: 35259987 markings, 226693236 edges, 40752 markings/sec, 735 secs
lola: 35488656 markings, 228255782 edges, 45734 markings/sec, 740 secs
lola: 35690049 markings, 229781053 edges, 40279 markings/sec, 745 secs
lola: 35894729 markings, 231330439 edges, 40936 markings/sec, 750 secs
lola: 36107074 markings, 232878917 edges, 42469 markings/sec, 755 secs
lola: 36313929 markings, 234432681 edges, 41371 markings/sec, 760 secs
lola: 36514215 markings, 235975240 edges, 40057 markings/sec, 765 secs
lola: 36711650 markings, 237512569 edges, 39487 markings/sec, 770 secs
lola: 36900299 markings, 239030794 edges, 37730 markings/sec, 775 secs
lola: 37112380 markings, 240589331 edges, 42416 markings/sec, 780 secs
lola: 37340384 markings, 242133468 edges, 45601 markings/sec, 785 secs
lola: 37548833 markings, 243650748 edges, 41690 markings/sec, 790 secs
lola: 37770904 markings, 245150473 edges, 44414 markings/sec, 795 secs
lola: 37978906 markings, 246643182 edges, 41600 markings/sec, 800 secs
lola: 38205039 markings, 248192914 edges, 45227 markings/sec, 805 secs
lola: 38426856 markings, 249720596 edges, 44363 markings/sec, 810 secs
lola: 38643672 markings, 251275317 edges, 43363 markings/sec, 815 secs
lola: 38862721 markings, 252831388 edges, 43810 markings/sec, 820 secs
lola: 39079303 markings, 254386044 edges, 43316 markings/sec, 825 secs
lola: 39301047 markings, 255895002 edges, 44349 markings/sec, 830 secs
lola: 39511446 markings, 257433585 edges, 42080 markings/sec, 835 secs
lola: 39712790 markings, 258975153 edges, 40269 markings/sec, 840 secs
lola: 39921722 markings, 260479862 edges, 41786 markings/sec, 845 secs
lola: 40135336 markings, 261998696 edges, 42723 markings/sec, 850 secs
lola: 40350823 markings, 263525982 edges, 43097 markings/sec, 855 secs
lola: 40577575 markings, 265025935 edges, 45350 markings/sec, 860 secs
lola: 40798168 markings, 266570868 edges, 44119 markings/sec, 865 secs
lola: 40996215 markings, 268077242 edges, 39609 markings/sec, 870 secs
lola: 41217007 markings, 269625209 edges, 44158 markings/sec, 875 secs
lola: 41432506 markings, 271120160 edges, 43100 markings/sec, 880 secs
lola: 41674874 markings, 272677102 edges, 48474 markings/sec, 885 secs
lola: 41893328 markings, 274242058 edges, 43691 markings/sec, 890 secs
lola: 42092323 markings, 275770532 edges, 39799 markings/sec, 895 secs
lola: 42286999 markings, 277298514 edges, 38935 markings/sec, 900 secs
lola: 42495955 markings, 278825481 edges, 41791 markings/sec, 905 secs
lola: 42698439 markings, 280377928 edges, 40497 markings/sec, 910 secs
lola: 42903021 markings, 281931703 edges, 40916 markings/sec, 915 secs
lola: 43116845 markings, 283434469 edges, 42765 markings/sec, 920 secs
lola: 43346070 markings, 284963912 edges, 45845 markings/sec, 925 secs
lola: 43586234 markings, 286486747 edges, 48033 markings/sec, 930 secs
lola: 43800035 markings, 287990392 edges, 42760 markings/sec, 935 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no unknown no yes unknown unknown yes no unknown no no no no
lola: memory consumption: 7818428 KB
lola: time consumption: 1685 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 13 will run for 942 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((((p15 <= 0)) AND ((p481 <= 0) OR (p492 <= 0))) AND (F (((p107 <= 0) OR (p109 <= 0))) OR G ((((p15 <= 0)) AND ((p481 <= 0) OR (p492 <= 0))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((((p15 <= 0)) AND ((p481 <= 0) OR (p492 <= 0))) AND (F (((p107 <= 0) OR (p109 <= 0))) OR G ((((p15 <= 0)) AND ((p481 <= 0) OR (p492 <= 0))))))))
lola: processed formula length: 154
lola: 125 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 419056 markings, 1618261 edges, 83811 markings/sec, 0 secs
lola: 796061 markings, 3210241 edges, 75401 markings/sec, 5 secs
lola: 1158457 markings, 4786973 edges, 72479 markings/sec, 10 secs
lola: 1550251 markings, 6292531 edges, 78359 markings/sec, 15 secs
lola: 1867996 markings, 7878959 edges, 63549 markings/sec, 20 secs
lola: 2206428 markings, 9429162 edges, 67686 markings/sec, 25 secs
lola: 2474829 markings, 11053153 edges, 53680 markings/sec, 30 secs
lola: 2756656 markings, 12675166 edges, 56365 markings/sec, 35 secs
lola: 3006015 markings, 14319240 edges, 49872 markings/sec, 40 secs
lola: 3301245 markings, 15903945 edges, 59046 markings/sec, 45 secs
lola: 3577082 markings, 17498044 edges, 55167 markings/sec, 50 secs
lola: 3915925 markings, 19090113 edges, 67769 markings/sec, 55 secs
lola: 4252492 markings, 20688930 edges, 67313 markings/sec, 60 secs
lola: 4569183 markings, 22276905 edges, 63338 markings/sec, 65 secs
lola: 4919234 markings, 23862204 edges, 70010 markings/sec, 70 secs
lola: 5253969 markings, 25460352 edges, 66947 markings/sec, 75 secs
lola: 5553855 markings, 27064031 edges, 59977 markings/sec, 80 secs
lola: 5847133 markings, 28644441 edges, 58656 markings/sec, 85 secs
lola: 6132350 markings, 30252633 edges, 57043 markings/sec, 90 secs
lola: 6446921 markings, 31845279 edges, 62914 markings/sec, 95 secs
lola: 6758029 markings, 33428468 edges, 62222 markings/sec, 100 secs
lola: 7053463 markings, 35024522 edges, 59087 markings/sec, 105 secs
lola: 7342431 markings, 36632417 edges, 57794 markings/sec, 110 secs
lola: 7633302 markings, 38217364 edges, 58174 markings/sec, 115 secs
lola: 7933076 markings, 39815657 edges, 59955 markings/sec, 120 secs
lola: 8249002 markings, 41400617 edges, 63185 markings/sec, 125 secs
lola: 8555855 markings, 42984289 edges, 61371 markings/sec, 130 secs
lola: 8862712 markings, 44590997 edges, 61371 markings/sec, 135 secs
lola: 9158465 markings, 46189759 edges, 59151 markings/sec, 140 secs
lola: 9432169 markings, 47800523 edges, 54741 markings/sec, 145 secs
lola: 9704963 markings, 49401425 edges, 54559 markings/sec, 150 secs
lola: 9971030 markings, 51003509 edges, 53213 markings/sec, 155 secs
lola: 10244251 markings, 52531068 edges, 54644 markings/sec, 160 secs
lola: 10471099 markings, 54125358 edges, 45370 markings/sec, 165 secs
lola: 10708561 markings, 55729563 edges, 47492 markings/sec, 170 secs
lola: 11024753 markings, 57330585 edges, 63238 markings/sec, 175 secs
lola: 11322180 markings, 58946676 edges, 59485 markings/sec, 180 secs
lola: 11644657 markings, 60550822 edges, 64495 markings/sec, 185 secs
lola: 11922058 markings, 62161961 edges, 55480 markings/sec, 190 secs
lola: 12176357 markings, 63768660 edges, 50860 markings/sec, 195 secs
lola: 12506693 markings, 65354464 edges, 66067 markings/sec, 200 secs
lola: 12803482 markings, 66957977 edges, 59358 markings/sec, 205 secs
lola: 13106280 markings, 68562755 edges, 60560 markings/sec, 210 secs
lola: 13396948 markings, 70146584 edges, 58134 markings/sec, 215 secs
lola: 13701567 markings, 71742210 edges, 60924 markings/sec, 220 secs
lola: 14011878 markings, 73346430 edges, 62062 markings/sec, 225 secs
lola: 14290065 markings, 74954210 edges, 55637 markings/sec, 230 secs
lola: 14562699 markings, 76567287 edges, 54527 markings/sec, 235 secs
lola: 14842643 markings, 78180901 edges, 55989 markings/sec, 240 secs
lola: 15066429 markings, 79776454 edges, 44757 markings/sec, 245 secs
lola: 15350557 markings, 81374186 edges, 56826 markings/sec, 250 secs
lola: 15621610 markings, 82987028 edges, 54211 markings/sec, 255 secs
lola: 15903289 markings, 84589835 edges, 56336 markings/sec, 260 secs
lola: 16170339 markings, 86189738 edges, 53410 markings/sec, 265 secs
lola: 16457483 markings, 87788037 edges, 57429 markings/sec, 270 secs
lola: 16734374 markings, 89398243 edges, 55378 markings/sec, 275 secs
lola: 17032568 markings, 90982375 edges, 59639 markings/sec, 280 secs
lola: 17295385 markings, 92575564 edges, 52563 markings/sec, 285 secs
lola: 17562511 markings, 94181336 edges, 53425 markings/sec, 290 secs
lola: 17827563 markings, 95798518 edges, 53010 markings/sec, 295 secs
lola: 18094334 markings, 97402207 edges, 53354 markings/sec, 300 secs
lola: 18339549 markings, 98994835 edges, 49043 markings/sec, 305 secs
lola: 18626957 markings, 100590919 edges, 57482 markings/sec, 310 secs
lola: 18911756 markings, 102190386 edges, 56960 markings/sec, 315 secs
lola: 19205178 markings, 103788360 edges, 58684 markings/sec, 320 secs
lola: 19487447 markings, 105387177 edges, 56454 markings/sec, 325 secs
lola: 19782788 markings, 106970924 edges, 59068 markings/sec, 330 secs
lola: 20048178 markings, 108562823 edges, 53078 markings/sec, 335 secs
lola: 20319253 markings, 110177046 edges, 54215 markings/sec, 340 secs
lola: 20596107 markings, 111788024 edges, 55371 markings/sec, 345 secs
lola: 20865980 markings, 113403559 edges, 53975 markings/sec, 350 secs
lola: 21142608 markings, 114997578 edges, 55326 markings/sec, 355 secs
lola: 21392541 markings, 116596837 edges, 49987 markings/sec, 360 secs
lola: 21641787 markings, 118208399 edges, 49849 markings/sec, 365 secs
lola: 21896073 markings, 119811306 edges, 50857 markings/sec, 370 secs
lola: 22146146 markings, 121415843 edges, 50015 markings/sec, 375 secs
lola: 22390960 markings, 123026487 edges, 48963 markings/sec, 380 secs
lola: 22635006 markings, 124637050 edges, 48809 markings/sec, 385 secs
lola: 22888167 markings, 126245534 edges, 50632 markings/sec, 390 secs
lola: 23141206 markings, 127857416 edges, 50608 markings/sec, 395 secs
lola: 23382254 markings, 129412664 edges, 48210 markings/sec, 400 secs
lola: 23597054 markings, 130940660 edges, 42960 markings/sec, 405 secs
lola: 23808924 markings, 132540272 edges, 42374 markings/sec, 410 secs
lola: 23994055 markings, 134159930 edges, 37026 markings/sec, 415 secs
lola: 24299290 markings, 135736640 edges, 61047 markings/sec, 420 secs
lola: 24634230 markings, 137309970 edges, 66988 markings/sec, 425 secs
lola: 24931488 markings, 138886844 edges, 59452 markings/sec, 430 secs
lola: 25231021 markings, 140463274 edges, 59907 markings/sec, 435 secs
lola: 25537410 markings, 142030733 edges, 61278 markings/sec, 440 secs
lola: 25840543 markings, 143610967 edges, 60627 markings/sec, 445 secs
lola: 26115709 markings, 145175491 edges, 55033 markings/sec, 450 secs
lola: 26372059 markings, 146739656 edges, 51270 markings/sec, 455 secs
lola: 26678265 markings, 148337491 edges, 61241 markings/sec, 460 secs
lola: 26971384 markings, 149919560 edges, 58624 markings/sec, 465 secs
lola: 27269944 markings, 151500184 edges, 59712 markings/sec, 470 secs
lola: 27568678 markings, 153088738 edges, 59747 markings/sec, 475 secs
lola: 27833355 markings, 154675046 edges, 52935 markings/sec, 480 secs
lola: 28110899 markings, 156267455 edges, 55509 markings/sec, 485 secs
lola: 28388977 markings, 157857753 edges, 55616 markings/sec, 490 secs
lola: 28668631 markings, 159434365 edges, 55931 markings/sec, 495 secs
lola: 28933746 markings, 161022544 edges, 53023 markings/sec, 500 secs
lola: 29221862 markings, 162608029 edges, 57623 markings/sec, 505 secs
lola: 29503381 markings, 164185560 edges, 56304 markings/sec, 510 secs
lola: 29783931 markings, 165786066 edges, 56110 markings/sec, 515 secs
lola: 30047694 markings, 167372335 edges, 52753 markings/sec, 520 secs
lola: 30305110 markings, 168936561 edges, 51483 markings/sec, 525 secs
lola: 30540027 markings, 170508153 edges, 46983 markings/sec, 530 secs
lola: 30779000 markings, 172051219 edges, 47795 markings/sec, 535 secs
lola: 30998608 markings, 173638031 edges, 43922 markings/sec, 540 secs
lola: 31277607 markings, 175229358 edges, 55800 markings/sec, 545 secs
lola: 31537769 markings, 176821100 edges, 52032 markings/sec, 550 secs
lola: 31849408 markings, 178421905 edges, 62328 markings/sec, 555 secs
lola: 32149765 markings, 180020265 edges, 60071 markings/sec, 560 secs
lola: 32430296 markings, 181613283 edges, 56106 markings/sec, 565 secs
lola: 32750958 markings, 183216277 edges, 64132 markings/sec, 570 secs
lola: 33082855 markings, 184803502 edges, 66379 markings/sec, 575 secs
lola: 33389887 markings, 186392677 edges, 61406 markings/sec, 580 secs
lola: 33707519 markings, 187984121 edges, 63526 markings/sec, 585 secs
lola: 33989736 markings, 189567685 edges, 56443 markings/sec, 590 secs
lola: 34263151 markings, 191171375 edges, 54683 markings/sec, 595 secs
lola: 34567608 markings, 192782929 edges, 60891 markings/sec, 600 secs
lola: 34849526 markings, 194384494 edges, 56384 markings/sec, 605 secs
lola: 35148898 markings, 195980120 edges, 59874 markings/sec, 610 secs
lola: 35457387 markings, 197578834 edges, 61698 markings/sec, 615 secs
lola: 35771104 markings, 199178949 edges, 62743 markings/sec, 620 secs
lola: 36043936 markings, 200779734 edges, 54566 markings/sec, 625 secs
lola: 36321033 markings, 202378730 edges, 55419 markings/sec, 630 secs
lola: 36587647 markings, 203976159 edges, 53323 markings/sec, 635 secs
lola: 36882074 markings, 205568954 edges, 58885 markings/sec, 640 secs
lola: 37158130 markings, 207166086 edges, 55211 markings/sec, 645 secs
lola: 37438395 markings, 208760595 edges, 56053 markings/sec, 650 secs
lola: 37730271 markings, 210357486 edges, 58375 markings/sec, 655 secs
lola: 38016534 markings, 211948832 edges, 57253 markings/sec, 660 secs
lola: 38289026 markings, 213536838 edges, 54498 markings/sec, 665 secs
lola: 38567914 markings, 215135469 edges, 55778 markings/sec, 670 secs
lola: 38830105 markings, 216736232 edges, 52438 markings/sec, 675 secs
lola: 39083892 markings, 218326618 edges, 50757 markings/sec, 680 secs
lola: 39341773 markings, 219924671 edges, 51576 markings/sec, 685 secs
lola: 39591855 markings, 221504884 edges, 50016 markings/sec, 690 secs
lola: 39784750 markings, 223114497 edges, 38579 markings/sec, 695 secs
lola: 40135574 markings, 224635808 edges, 70165 markings/sec, 700 secs
lola: 40488356 markings, 226138580 edges, 70556 markings/sec, 705 secs
lola: 40851076 markings, 227653546 edges, 72544 markings/sec, 710 secs
lola: 41233938 markings, 229181860 edges, 76572 markings/sec, 715 secs
lola: 41631112 markings, 230722939 edges, 79435 markings/sec, 720 secs
lola: 41997484 markings, 232258425 edges, 73274 markings/sec, 725 secs
lola: 42370546 markings, 233796209 edges, 74612 markings/sec, 730 secs
lola: 42735072 markings, 235342280 edges, 72905 markings/sec, 735 secs
lola: 43085202 markings, 236882352 edges, 70026 markings/sec, 740 secs
lola: 43429574 markings, 238425185 edges, 68874 markings/sec, 745 secs
lola: 43773193 markings, 239975350 edges, 68724 markings/sec, 750 secs
lola: 44073213 markings, 241504860 edges, 60004 markings/sec, 755 secs
lola: 44442020 markings, 243024745 edges, 73761 markings/sec, 760 secs
lola: 44808143 markings, 244556564 edges, 73225 markings/sec, 765 secs
lola: 45154135 markings, 246093354 edges, 69198 markings/sec, 770 secs
lola: 45485570 markings, 247608664 edges, 66287 markings/sec, 775 secs
lola: 45822110 markings, 249126871 edges, 67308 markings/sec, 780 secs
lola: 46192778 markings, 250671098 edges, 74134 markings/sec, 785 secs
lola: 46557211 markings, 252223867 edges, 72887 markings/sec, 790 secs
lola: 46879369 markings, 253776646 edges, 64432 markings/sec, 795 secs
lola: 47214971 markings, 255325654 edges, 67120 markings/sec, 800 secs
lola: 47548108 markings, 256872271 edges, 66627 markings/sec, 805 secs
lola: 47888379 markings, 258422742 edges, 68054 markings/sec, 810 secs
lola: 48211169 markings, 259979048 edges, 64558 markings/sec, 815 secs
lola: 48488408 markings, 261514232 edges, 55448 markings/sec, 820 secs
lola: 48792382 markings, 263057103 edges, 60795 markings/sec, 825 secs
lola: 49120087 markings, 264630152 edges, 65541 markings/sec, 830 secs
lola: 49451654 markings, 266182677 edges, 66313 markings/sec, 835 secs
lola: 49781114 markings, 267737179 edges, 65892 markings/sec, 840 secs
lola: 50117752 markings, 269282811 edges, 67328 markings/sec, 845 secs
lola: 50437407 markings, 270840747 edges, 63931 markings/sec, 850 secs
lola: 50717541 markings, 272399503 edges, 56027 markings/sec, 855 secs
lola: 51032996 markings, 273963439 edges, 63091 markings/sec, 860 secs
lola: 51345405 markings, 275519415 edges, 62482 markings/sec, 865 secs
lola: 51658709 markings, 277062037 edges, 62661 markings/sec, 870 secs
lola: 51956717 markings, 278628367 edges, 59602 markings/sec, 875 secs
lola: 52256196 markings, 280178086 edges, 59896 markings/sec, 880 secs
lola: 52576999 markings, 281734516 edges, 64161 markings/sec, 885 secs
lola: 52884282 markings, 283274215 edges, 61457 markings/sec, 890 secs
lola: 53201176 markings, 284843112 edges, 63379 markings/sec, 895 secs
lola: 53494955 markings, 286398793 edges, 58756 markings/sec, 900 secs
lola: 53785591 markings, 287959037 edges, 58127 markings/sec, 905 secs
lola: 54051819 markings, 289503505 edges, 53246 markings/sec, 910 secs
lola: 54331369 markings, 291056468 edges, 55910 markings/sec, 915 secs
lola: 54572590 markings, 292586235 edges, 48244 markings/sec, 920 secs
lola: 54821680 markings, 294130816 edges, 49818 markings/sec, 925 secs
lola: 55149239 markings, 295658816 edges, 65512 markings/sec, 930 secs
lola: 55487189 markings, 297201944 edges, 67590 markings/sec, 935 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no unknown no yes unknown unknown yes no unknown no no no no
lola: memory consumption: 10106728 KB
lola: time consumption: 2627 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 14 will run for 943 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((F ((((p213 <= 0) OR (p223 <= 0) OR (p225 <= 0) OR (p157 <= 0) OR (p159 <= 0)) AND ((p238 <= 0) OR (p246 <= 0) OR (p250 <= 0)))) AND (((1 <= p213)) AND (((1 <= p223)) AND ((1 <= p225))))) OR (G (((p157 <= 0) OR (p159 <= 0))) AND F ((F ((((p213 <= 0) OR (p223 <= 0) OR (p225 <= 0) OR (p157 <= 0) OR (p159 <= 0)) AND ((p238 <= 0) OR (p246 <= 0) OR (p250 <= 0)))) AND (((1 <= p213)) AND... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (((F ((((p213 <= 0) OR (p223 <= 0) OR (p225 <= 0) OR (p157 <= 0) OR (p159 <= 0)) AND ((p238 <= 0) OR (p246 <= 0) OR (p250 <= 0)))) AND (((1 <= p213)) AND (((1 <= p223)) AND ((1 <= p225))))) OR (G (((p157 <= 0) OR (p159 <= 0))) AND F ((F ((((p213 <= 0) OR (p223 <= 0) OR (p225 <= 0) OR (p157 <= 0) OR (p159 <= 0)) AND ((p238 <= 0) OR (p246 <= 0) OR (p250 <= 0)))) AND (((1 <= p213)) AND... (shortened)
lola: processed formula length: 440
lola: 125 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 12 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: 644275 markings, 1388976 edges, 128855 markings/sec, 0 secs
lola: 1260061 markings, 2769146 edges, 123157 markings/sec, 5 secs
lola: 1873464 markings, 4175009 edges, 122681 markings/sec, 10 secs
lola: 2483114 markings, 5612730 edges, 121930 markings/sec, 15 secs
lola: 3064599 markings, 7053841 edges, 116297 markings/sec, 20 secs
lola: 3635644 markings, 8489897 edges, 114209 markings/sec, 25 secs
lola: 4200828 markings, 9922861 edges, 113037 markings/sec, 30 secs
lola: 4768069 markings, 11302478 edges, 113448 markings/sec, 35 secs
lola: 5329887 markings, 12675389 edges, 112364 markings/sec, 40 secs
lola: 5880358 markings, 14073472 edges, 110094 markings/sec, 45 secs
lola: 6435157 markings, 15507568 edges, 110960 markings/sec, 50 secs
lola: 6977207 markings, 16930032 edges, 108410 markings/sec, 55 secs
lola: 7498574 markings, 18370864 edges, 104273 markings/sec, 60 secs
lola: 8014425 markings, 19793896 edges, 103170 markings/sec, 65 secs
lola: 8564106 markings, 21227038 edges, 109936 markings/sec, 70 secs
lola: 9148820 markings, 22659722 edges, 116943 markings/sec, 75 secs
lola: 9697921 markings, 24083589 edges, 109820 markings/sec, 80 secs
lola: 10267553 markings, 25513995 edges, 113926 markings/sec, 85 secs
lola: 10959618 markings, 27331724 edges, 138413 markings/sec, 90 secs
lola: 11512481 markings, 28781118 edges, 110573 markings/sec, 95 secs
lola: 12052405 markings, 30237046 edges, 107985 markings/sec, 100 secs
lola: 12613687 markings, 31823358 edges, 112256 markings/sec, 105 secs
lola: 13211517 markings, 33232194 edges, 119566 markings/sec, 110 secs
lola: 13831185 markings, 34604930 edges, 123934 markings/sec, 115 secs
lola: 14435706 markings, 35993317 edges, 120904 markings/sec, 120 secs
lola: 15039028 markings, 37421175 edges, 120664 markings/sec, 125 secs
lola: 15630484 markings, 38834952 edges, 118291 markings/sec, 130 secs
lola: 16201805 markings, 40270022 edges, 114264 markings/sec, 135 secs
lola: 16759182 markings, 41693668 edges, 111475 markings/sec, 140 secs
lola: 17333855 markings, 43082117 edges, 114935 markings/sec, 145 secs
lola: 17889215 markings, 44439651 edges, 111072 markings/sec, 150 secs
lola: 18438714 markings, 45811441 edges, 109900 markings/sec, 155 secs
lola: 18978173 markings, 47215503 edges, 107892 markings/sec, 160 secs
lola: 19523370 markings, 48624597 edges, 109039 markings/sec, 165 secs
lola: 20038997 markings, 50043953 edges, 103125 markings/sec, 170 secs
lola: 20550090 markings, 51459680 edges, 102219 markings/sec, 175 secs
lola: 21061331 markings, 52887416 edges, 102248 markings/sec, 180 secs
lola: 21634182 markings, 54269035 edges, 114570 markings/sec, 185 secs
lola: 22198186 markings, 55646532 edges, 112801 markings/sec, 190 secs
lola: 22747805 markings, 57040615 edges, 109924 markings/sec, 195 secs
lola: 23300165 markings, 58473428 edges, 110472 markings/sec, 200 secs
lola: 23847772 markings, 59901463 edges, 109521 markings/sec, 205 secs
lola: 24364036 markings, 61336762 edges, 103253 markings/sec, 210 secs
lola: 24882021 markings, 62755045 edges, 103597 markings/sec, 215 secs
lola: 25414591 markings, 64177166 edges, 106514 markings/sec, 220 secs
lola: 25972048 markings, 65573554 edges, 111491 markings/sec, 225 secs
lola: 26492595 markings, 66948581 edges, 104109 markings/sec, 230 secs
lola: 27034998 markings, 68320666 edges, 108481 markings/sec, 235 secs
lola: 27575588 markings, 69716144 edges, 108118 markings/sec, 240 secs
lola: 28086974 markings, 71107533 edges, 102277 markings/sec, 245 secs
lola: 28639263 markings, 72503923 edges, 110458 markings/sec, 250 secs
lola: 29158297 markings, 73916696 edges, 103807 markings/sec, 255 secs
lola: 29673798 markings, 75331037 edges, 103100 markings/sec, 260 secs
lola: 30211017 markings, 76778538 edges, 107444 markings/sec, 265 secs
lola: 30727706 markings, 78198970 edges, 103338 markings/sec, 270 secs
lola: 31223504 markings, 79616290 edges, 99160 markings/sec, 275 secs
lola: 31719919 markings, 81056515 edges, 99283 markings/sec, 280 secs
lola: 32217819 markings, 82476049 edges, 99580 markings/sec, 285 secs
lola: 32698882 markings, 83867491 edges, 96213 markings/sec, 290 secs
lola: 33199782 markings, 85280605 edges, 100180 markings/sec, 295 secs
lola: 33683192 markings, 86703487 edges, 96682 markings/sec, 300 secs
lola: 34191818 markings, 88112030 edges, 101725 markings/sec, 305 secs
lola: 34753115 markings, 89479447 edges, 112259 markings/sec, 310 secs
lola: 35298953 markings, 90840923 edges, 109168 markings/sec, 315 secs
lola: 35847067 markings, 92228809 edges, 109623 markings/sec, 320 secs
lola: 36397680 markings, 93646201 edges, 110123 markings/sec, 325 secs
lola: 36926464 markings, 95060950 edges, 105757 markings/sec, 330 secs
lola: 37443149 markings, 96483973 edges, 103337 markings/sec, 335 secs
lola: 37950367 markings, 97893424 edges, 101444 markings/sec, 340 secs
lola: 38466602 markings, 99287635 edges, 103247 markings/sec, 345 secs
lola: 38968018 markings, 100625159 edges, 100283 markings/sec, 350 secs
lola: 39465914 markings, 101990015 edges, 99579 markings/sec, 355 secs
lola: 39967875 markings, 103380600 edges, 100392 markings/sec, 360 secs
lola: 40469123 markings, 104802663 edges, 100250 markings/sec, 365 secs
lola: 40961472 markings, 106198214 edges, 98470 markings/sec, 370 secs
lola: 41427199 markings, 107614776 edges, 93145 markings/sec, 375 secs
lola: 41898931 markings, 109010526 edges, 94346 markings/sec, 380 secs
lola: 42355517 markings, 110420613 edges, 91317 markings/sec, 385 secs
lola: 42878293 markings, 111783688 edges, 104555 markings/sec, 390 secs
lola: 43389873 markings, 113145765 edges, 102316 markings/sec, 395 secs
lola: 43893331 markings, 114530096 edges, 100692 markings/sec, 400 secs
lola: 44391212 markings, 115945685 edges, 99576 markings/sec, 405 secs
lola: 44899684 markings, 117382180 edges, 101694 markings/sec, 410 secs
lola: 45380868 markings, 118807153 edges, 96237 markings/sec, 415 secs
lola: 45854856 markings, 120223091 edges, 94798 markings/sec, 420 secs
lola: 46322029 markings, 121644092 edges, 93435 markings/sec, 425 secs
lola: 46844014 markings, 123059615 edges, 104397 markings/sec, 430 secs
lola: 47357939 markings, 124466808 edges, 102785 markings/sec, 435 secs
lola: 47860562 markings, 125842965 edges, 100525 markings/sec, 440 secs
lola: 48338892 markings, 127210761 edges, 95666 markings/sec, 445 secs
lola: 48842016 markings, 128584016 edges, 100625 markings/sec, 450 secs
lola: 49333078 markings, 129953733 edges, 98212 markings/sec, 455 secs
lola: 49843087 markings, 131363666 edges, 102002 markings/sec, 460 secs
lola: 50319453 markings, 132744586 edges, 95273 markings/sec, 465 secs
lola: 50788240 markings, 134132669 edges, 93757 markings/sec, 470 secs
lola: 51311307 markings, 135517126 edges, 104613 markings/sec, 475 secs
lola: 51808484 markings, 136936194 edges, 99435 markings/sec, 480 secs
lola: 52300312 markings, 138338991 edges, 98366 markings/sec, 485 secs
lola: 52759326 markings, 139735327 edges, 91803 markings/sec, 490 secs
lola: 53248938 markings, 141163355 edges, 97922 markings/sec, 495 secs
lola: 53760415 markings, 142608802 edges, 102295 markings/sec, 500 secs
lola: 54238283 markings, 144035904 edges, 95574 markings/sec, 505 secs
lola: 54717767 markings, 145450435 edges, 95897 markings/sec, 510 secs
lola: 55179217 markings, 146837855 edges, 92290 markings/sec, 515 secs
lola: 55638675 markings, 148264276 edges, 91892 markings/sec, 520 secs
lola: 56100275 markings, 149696212 edges, 92320 markings/sec, 525 secs
lola: 56552331 markings, 151104774 edges, 90411 markings/sec, 530 secs
lola: 57023310 markings, 152514115 edges, 94196 markings/sec, 535 secs
lola: 57476773 markings, 153890805 edges, 90693 markings/sec, 540 secs
lola: 57913143 markings, 155277716 edges, 87274 markings/sec, 545 secs
lola: 58383199 markings, 156680347 edges, 94011 markings/sec, 550 secs
lola: 58844949 markings, 158076422 edges, 92350 markings/sec, 555 secs
lola: 59283725 markings, 159488227 edges, 87755 markings/sec, 560 secs
lola: 59716324 markings, 160887352 edges, 86520 markings/sec, 565 secs
lola: 60282749 markings, 162241578 edges, 113285 markings/sec, 570 secs
lola: 60836644 markings, 163591945 edges, 110779 markings/sec, 575 secs
lola: 61378298 markings, 164964828 edges, 108331 markings/sec, 580 secs
lola: 61926892 markings, 166388474 edges, 109719 markings/sec, 585 secs
lola: 62464894 markings, 167790917 edges, 107600 markings/sec, 590 secs
lola: 62973178 markings, 169207222 edges, 101657 markings/sec, 595 secs
lola: 63487238 markings, 170609558 edges, 102812 markings/sec, 600 secs
lola: 63995648 markings, 172009973 edges, 101682 markings/sec, 605 secs
lola: 64494296 markings, 173355570 edges, 99730 markings/sec, 610 secs
lola: 64999764 markings, 174696464 edges, 101094 markings/sec, 615 secs
lola: 65493981 markings, 176061518 edges, 98843 markings/sec, 620 secs
lola: 65989526 markings, 177464157 edges, 99109 markings/sec, 625 secs
lola: 66487115 markings, 178871224 edges, 99518 markings/sec, 630 secs
lola: 66955536 markings, 180275794 edges, 93684 markings/sec, 635 secs
lola: 67422565 markings, 181671699 edges, 93406 markings/sec, 640 secs
lola: 67886502 markings, 183078028 edges, 92787 markings/sec, 645 secs
lola: 68424383 markings, 184448491 edges, 107576 markings/sec, 650 secs
lola: 68970513 markings, 185787967 edges, 109226 markings/sec, 655 secs
lola: 69516266 markings, 187148013 edges, 109151 markings/sec, 660 secs
lola: 70055843 markings, 188551284 edges, 107915 markings/sec, 665 secs
lola: 70605427 markings, 189971278 edges, 109917 markings/sec, 670 secs
lola: 71120478 markings, 191384724 edges, 103010 markings/sec, 675 secs
lola: 71628587 markings, 192790471 edges, 101622 markings/sec, 680 secs
lola: 72135557 markings, 194206906 edges, 101394 markings/sec, 685 secs
lola: 72700097 markings, 195598008 edges, 112908 markings/sec, 690 secs
lola: 73230319 markings, 196962705 edges, 106044 markings/sec, 695 secs
lola: 73759316 markings, 198321115 edges, 105799 markings/sec, 700 secs
lola: 74297454 markings, 199696928 edges, 107628 markings/sec, 705 secs
lola: 74804465 markings, 201064884 edges, 101402 markings/sec, 710 secs
lola: 75341479 markings, 202441383 edges, 107403 markings/sec, 715 secs
lola: 75875659 markings, 203849149 edges, 106836 markings/sec, 720 secs
lola: 76368126 markings, 205249323 edges, 98493 markings/sec, 725 secs
lola: 76916543 markings, 206690755 edges, 109683 markings/sec, 730 secs
lola: 77422732 markings, 208112083 edges, 101238 markings/sec, 735 secs
lola: 77934734 markings, 209524167 edges, 102400 markings/sec, 740 secs
lola: 78430528 markings, 210959046 edges, 99159 markings/sec, 745 secs
lola: 78909361 markings, 212369893 edges, 95767 markings/sec, 750 secs
lola: 79409331 markings, 213766702 edges, 99994 markings/sec, 755 secs
lola: 79896065 markings, 215165129 edges, 97347 markings/sec, 760 secs
lola: 80381482 markings, 216563393 edges, 97083 markings/sec, 765 secs
lola: 80848698 markings, 217970633 edges, 93443 markings/sec, 770 secs
lola: 81356654 markings, 219329975 edges, 101591 markings/sec, 775 secs
lola: 81853603 markings, 220665174 edges, 99390 markings/sec, 780 secs
lola: 82351421 markings, 222030008 edges, 99564 markings/sec, 785 secs
lola: 82845491 markings, 223411799 edges, 98814 markings/sec, 790 secs
lola: 83343298 markings, 224817643 edges, 99561 markings/sec, 795 secs
lola: 83821338 markings, 226212189 edges, 95608 markings/sec, 800 secs
lola: 84291737 markings, 227619784 edges, 94080 markings/sec, 805 secs
lola: 84754261 markings, 229005464 edges, 92505 markings/sec, 810 secs
lola: 85235882 markings, 230357268 edges, 96324 markings/sec, 815 secs
lola: 85790424 markings, 231578950 edges, 110908 markings/sec, 820 secs
lola: 86340358 markings, 232812141 edges, 109987 markings/sec, 825 secs
lola: 86746555 markings, 233736819 edges, 81239 markings/sec, 830 secs
lola: 87293831 markings, 235024170 edges, 109455 markings/sec, 835 secs
lola: 87705602 markings, 235988517 edges, 82354 markings/sec, 840 secs
lola: 88165322 markings, 237147175 edges, 91944 markings/sec, 845 secs
lola: 88639455 markings, 238333903 edges, 94827 markings/sec, 850 secs
lola: 89085780 markings, 239474849 edges, 89265 markings/sec, 855 secs
lola: 89354422 markings, 240133502 edges, 53728 markings/sec, 860 secs
lola: 89668181 markings, 240883718 edges, 62752 markings/sec, 865 secs
lola: 90052138 markings, 241826864 edges, 76791 markings/sec, 870 secs
lola: 90517810 markings, 242993219 edges, 93134 markings/sec, 875 secs
lola: 90941788 markings, 244061591 edges, 84796 markings/sec, 880 secs
lola: 91323232 markings, 245043017 edges, 76289 markings/sec, 885 secs
lola: 91682839 markings, 245973050 edges, 71921 markings/sec, 890 secs
lola: 91989187 markings, 246779873 edges, 61270 markings/sec, 895 secs
lola: 92296670 markings, 247634410 edges, 61497 markings/sec, 900 secs
lola: 92631971 markings, 248549829 edges, 67060 markings/sec, 905 secs
lola: 92990816 markings, 249541875 edges, 71769 markings/sec, 910 secs
lola: 93385399 markings, 250661133 edges, 78917 markings/sec, 915 secs
lola: 93785426 markings, 251610543 edges, 80005 markings/sec, 920 secs
lola: 94158071 markings, 252522177 edges, 74529 markings/sec, 925 secs
lola: 94568323 markings, 253573948 edges, 82050 markings/sec, 930 secs
lola: 95026939 markings, 254751655 edges, 91723 markings/sec, 935 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no unknown no yes unknown unknown yes no unknown no no no no
lola: time limit reached - aborting
lola:
preliminary result: no unknown no unknown no yes unknown unknown yes no unknown no no no no
lola:
preliminary result: no unknown no unknown no yes unknown unknown yes no unknown no no no no
lola: memory consumption: 1624 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldIIPs-PT-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 ShieldIIPs-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-162098230900130"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPs-PT-020A.tgz
mv ShieldIIPs-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 ;