About the Execution of 2020-gold for ShieldPPPs-PT-030A
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7599.415 | 3600000.00 | 3588700.00 | 8676.70 | F?F?FFT?FF?FTF?? | 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-162098231100314.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is ShieldPPPs-PT-030A, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r227-tall-162098231100314
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 660K
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 126K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 16:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 28 16:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 12:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 12:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 18:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 18:26 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 265K May 5 16:52 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldPPPs-PT-030A-00
FORMULA_NAME ShieldPPPs-PT-030A-01
FORMULA_NAME ShieldPPPs-PT-030A-02
FORMULA_NAME ShieldPPPs-PT-030A-03
FORMULA_NAME ShieldPPPs-PT-030A-04
FORMULA_NAME ShieldPPPs-PT-030A-05
FORMULA_NAME ShieldPPPs-PT-030A-06
FORMULA_NAME ShieldPPPs-PT-030A-07
FORMULA_NAME ShieldPPPs-PT-030A-08
FORMULA_NAME ShieldPPPs-PT-030A-09
FORMULA_NAME ShieldPPPs-PT-030A-10
FORMULA_NAME ShieldPPPs-PT-030A-11
FORMULA_NAME ShieldPPPs-PT-030A-12
FORMULA_NAME ShieldPPPs-PT-030A-13
FORMULA_NAME ShieldPPPs-PT-030A-14
FORMULA_NAME ShieldPPPs-PT-030A-15
=== Now, execution of the tool begins
BK_START 1621166859899
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-16 12:07:41] [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 12:07:41] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-16 12:07:41] [INFO ] Load time of PNML (sax parser for PT used): 97 ms
[2021-05-16 12:07:41] [INFO ] Transformed 933 places.
[2021-05-16 12:07:41] [INFO ] Transformed 783 transitions.
[2021-05-16 12:07:41] [INFO ] Found NUPN structural information;
[2021-05-16 12:07:41] [INFO ] Parsed PT model containing 933 places and 783 transitions in 153 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 46 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 5026 steps, including 2 resets, run visited all 50 properties in 110 ms. (steps per millisecond=45 )
[2021-05-16 12:07:42] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2021-05-16 12:07:42] [INFO ] Flatten gal took : 136 ms
FORMULA ShieldPPPs-PT-030A-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-16 12:07:42] [INFO ] Applying decomposition
[2021-05-16 12:07:42] [INFO ] Flatten gal took : 76 ms
[2021-05-16 12:07:42] [INFO ] Decomposing Gal with order
[2021-05-16 12:07:42] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 12:07:42] [INFO ] Removed a total of 270 redundant transitions.
[2021-05-16 12:07:42] [INFO ] Flatten gal took : 119 ms
[2021-05-16 12:07:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 360 labels/synchronizations in 52 ms.
[2021-05-16 12:07:42] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 5 ms.
[2021-05-16 12:07:42] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 12 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ShieldPPPs-PT-030A @ 3570 seconds
FORMULA ShieldPPPs-PT-030A-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-030A-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-030A-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-030A-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-030A-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-030A-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-030A-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-030A-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-030A-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ ShieldPPPs-PT-030A
{
"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 12:07:43 2021
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 236
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 2,
"U": 2,
"X": 1,
"aconj": 5,
"adisj": 1,
"aneg": 0,
"comp": 10,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 10,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 8,
"visible_transitions": 0
},
"processed": "(X (G (((((1 <= p473) AND (1 <= p494) AND (1 <= p221) AND (1 <= p242)) U ((1 <= p248))) OR G ((((1 <= p915) AND (1 <= p930)) OR ((1 <= p473) AND (1 <= p494))))))) U ((1 <= p424)))",
"processed_size": 180,
"rewrites": 90
},
"result":
{
"edges": 10033,
"markings": 10033,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"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": 3,
"aconj": 3,
"adisj": 2,
"aneg": 3,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 4,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "X (X ((G (((1 <= p162) AND (1 <= p164))) AND (F (((p843 <= 0) OR (p860 <= 0))) AND (X (((1 <= p855) AND (1 <= p864))) AND (((1 <= p162)) AND ((1 <= p164))))))))",
"processed_size": 161,
"rewrites": 90
},
"result":
{
"edges": 10033,
"markings": 10033,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 9
},
"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": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 2,
"aconj": 5,
"adisj": 0,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 3,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "X ((X ((F (((1 <= p58))) OR ((1 <= p807)))) OR (((1 <= p462)) AND (G (((1 <= p78) AND (1 <= p93))) OR ((1 <= p58))))))",
"processed_size": 118,
"rewrites": 90
},
"result":
{
"edges": 10057,
"markings": 10057,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 299
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 299
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "G (((1 <= p766)))",
"processed_size": 17,
"rewrites": 90
},
"result":
{
"edges": 3962,
"markings": 3962,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 329
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "X (((p270 <= 0)))",
"processed_size": 17,
"rewrites": 90
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 4,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 329
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (G (((1 <= p633) AND (1 <= p653))))",
"processed_size": 37,
"rewrites": 90
},
"result":
{
"edges": 10033,
"markings": 10033,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 366
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 4,
"aconj": 5,
"adisj": 1,
"aneg": 0,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 3,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X (X ((X (G ((F (G ((((1 <= p438) AND (1 <= p459)) OR ((1 <= p842) AND (1 <= p861))))) AND X (((1 <= p438) AND (1 <= p459)))))) AND (((1 <= p842)) AND ((1 <= p861))))))",
"processed_size": 169,
"rewrites": 90
},
"result":
{
"edges": 10034,
"markings": 10034,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 10
},
"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": 412
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((p261 <= 0) OR (p280 <= 0))",
"processed_size": 29,
"rewrites": 92
},
"result":
{
"edges": 3913,
"markings": 3914,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 5
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 494
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 1,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "F (G ((G (F (((1 <= p465) AND (1 <= p307)))) OR ((1 <= p853) AND (1 <= p870)))))",
"processed_size": 80,
"rewrites": 90
},
"result":
{
"edges": 3926,
"markings": 3925,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 659
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 659
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((p266 <= 0) OR (p275 <= 0))",
"processed_size": 29,
"rewrites": 92
},
"result":
{
"edges": 4029,
"markings": 4030,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 5
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 12,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 989
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 989
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "((1 <= p558))",
"processed_size": 13,
"rewrites": 90
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 14,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 14,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 7522540,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(X(G(((** U **) OR G(**)))) U **) : (** U X(G((F(**) OR (G(*) OR **))))) : X(X((G(**) AND (F(*) AND (X(**) AND (* AND *)))))) : (** OR (G(F((F(**) AND (** AND **)))) AND F(**))) : X((X((F(**) OR **)) OR (** AND (G(**) OR **)))) : F(G((G(F(**)) OR *))) : (G(**) OR X(*)) : F(G(*)) : X(G(**)) : (F(*) AND F(**)) : (F(G(**)) AND (F((F(**) AND F(**))) OR **)) : F(**) : X(X((X(G((F(G(**)) AND X(**)))) AND (** AND **)))) : F(G((G((X(*) OR (* OR *))) AND (G(*) R X(*))))) : (X(F((F(**) AND (** AND **)))) U G((X(F(*)) AND **)))"
},
"net":
{
"arcs": 3006,
"conflict_clusters": 333,
"places": 933,
"places_significant": 602,
"singleton_clusters": 0,
"transitions": 783
},
"result":
{
"interim_value": "no unknown no unknown no no yes unknown no no unknown no no unknown unknown ",
"preliminary_value": "no unknown no unknown no no yes unknown no no unknown no no unknown unknown "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 1716/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 933
lola: finding significant places
lola: 933 places, 783 transitions, 602 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: (p473 <= 1)
lola: LP says that atomic proposition is always true: (p494 <= 1)
lola: LP says that atomic proposition is always true: (p221 <= 1)
lola: LP says that atomic proposition is always true: (p242 <= 1)
lola: LP says that atomic proposition is always true: (p248 <= 1)
lola: LP says that atomic proposition is always true: (p915 <= 1)
lola: LP says that atomic proposition is always true: (p930 <= 1)
lola: LP says that atomic proposition is always true: (p473 <= 1)
lola: LP says that atomic proposition is always true: (p494 <= 1)
lola: LP says that atomic proposition is always true: (p424 <= 1)
lola: LP says that atomic proposition is always true: (p605 <= 1)
lola: LP says that atomic proposition is always true: (p620 <= 1)
lola: LP says that atomic proposition is always true: (p511 <= 1)
lola: LP says that atomic proposition is always true: (p553 <= 1)
lola: LP says that atomic proposition is always true: (p199 <= 1)
lola: LP says that atomic proposition is always true: (p219 <= 1)
lola: LP says that atomic proposition is always true: (p128 <= 1)
lola: LP says that atomic proposition is always true: (p149 <= 1)
lola: LP says that atomic proposition is always true: (p162 <= 1)
lola: LP says that atomic proposition is always true: (p164 <= 1)
lola: LP says that atomic proposition is always true: (p843 <= 1)
lola: LP says that atomic proposition is always true: (p860 <= 1)
lola: LP says that atomic proposition is always true: (p855 <= 1)
lola: LP says that atomic proposition is always true: (p864 <= 1)
lola: LP says that atomic proposition is always true: (p162 <= 1)
lola: LP says that atomic proposition is always true: (p164 <= 1)
lola: LP says that atomic proposition is always true: (p462 <= 1)
lola: LP says that atomic proposition is always true: (p884 <= 1)
lola: LP says that atomic proposition is always true: (p901 <= 1)
lola: LP says that atomic proposition is always true: (p462 <= 1)
lola: LP says that atomic proposition is always true: (p58 <= 1)
lola: LP says that atomic proposition is always true: (p807 <= 1)
lola: LP says that atomic proposition is always true: (p462 <= 1)
lola: LP says that atomic proposition is always true: (p78 <= 1)
lola: LP says that atomic proposition is always true: (p93 <= 1)
lola: LP says that atomic proposition is always true: (p58 <= 1)
lola: LP says that atomic proposition is always true: (p465 <= 1)
lola: LP says that atomic proposition is always true: (p307 <= 1)
lola: LP says that atomic proposition is always true: (p853 <= 1)
lola: LP says that atomic proposition is always true: (p870 <= 1)
lola: LP says that atomic proposition is always true: (p766 <= 1)
lola: LP says that atomic proposition is always true: (p270 <= 1)
lola: LP says that atomic proposition is always true: (p106 <= 1)
lola: LP says that atomic proposition is always true: (p125 <= 1)
lola: LP says that atomic proposition is always true: (p106 <= 1)
lola: LP says that atomic proposition is always true: (p125 <= 1)
lola: LP says that atomic proposition is always true: (p346 <= 1)
lola: LP says that atomic proposition is always true: (p365 <= 1)
lola: LP says that atomic proposition is always true: (p633 <= 1)
lola: LP says that atomic proposition is always true: (p653 <= 1)
lola: LP says that atomic proposition is always true: (p720 <= 1)
lola: LP says that atomic proposition is always true: (p722 <= 1)
lola: LP says that atomic proposition is always true: (p720 <= 1)
lola: LP says that atomic proposition is always true: (p722 <= 1)
lola: LP says that atomic proposition is always true: (p875 <= 1)
lola: LP says that atomic proposition is always true: (p877 <= 1)
lola: LP says that atomic proposition is always true: (p853 <= 1)
lola: LP says that atomic proposition is always true: (p870 <= 1)
lola: LP says that atomic proposition is always true: (p266 <= 1)
lola: LP says that atomic proposition is always true: (p275 <= 1)
lola: LP says that atomic proposition is always true: (p852 <= 1)
lola: LP says that atomic proposition is always true: (p894 <= 1)
lola: LP says that atomic proposition is always true: (p562 <= 1)
lola: LP says that atomic proposition is always true: (p583 <= 1)
lola: LP says that atomic proposition is always true: (p558 <= 1)
lola: LP says that atomic proposition is always true: (p558 <= 1)
lola: LP says that atomic proposition is always true: (p261 <= 1)
lola: LP says that atomic proposition is always true: (p280 <= 1)
lola: LP says that atomic proposition is always true: (p261 <= 1)
lola: LP says that atomic proposition is always true: (p280 <= 1)
lola: LP says that atomic proposition is always true: (p438 <= 1)
lola: LP says that atomic proposition is always true: (p459 <= 1)
lola: LP says that atomic proposition is always true: (p842 <= 1)
lola: LP says that atomic proposition is always true: (p861 <= 1)
lola: LP says that atomic proposition is always true: (p438 <= 1)
lola: LP says that atomic proposition is always true: (p459 <= 1)
lola: LP says that atomic proposition is always true: (p842 <= 1)
lola: LP says that atomic proposition is always true: (p861 <= 1)
lola: LP says that atomic proposition is always true: (p686 <= 1)
lola: LP says that atomic proposition is always true: (p707 <= 1)
lola: LP says that atomic proposition is always true: (p504 <= 1)
lola: LP says that atomic proposition is always true: (p525 <= 1)
lola: LP says that atomic proposition is always true: (p726 <= 1)
lola: LP says that atomic proposition is always true: (p746 <= 1)
lola: LP says that atomic proposition is always true: (p726 <= 1)
lola: LP says that atomic proposition is always true: (p746 <= 1)
lola: LP says that atomic proposition is always true: (p190 <= 1)
lola: LP says that atomic proposition is always true: (p211 <= 1)
lola: LP says that atomic proposition is always true: (p190 <= 1)
lola: LP says that atomic proposition is always true: (p211 <= 1)
lola: LP says that atomic proposition is always true: (p393 <= 1)
lola: LP says that atomic proposition is always true: (p190 <= 1)
lola: LP says that atomic proposition is always true: (p211 <= 1)
lola: (G (X (((((1 <= p473) AND (1 <= p494) AND (1 <= p221) AND (1 <= p242)) U ((1 <= p248))) OR G ((((1 <= p915) AND (1 <= p930)) OR ((1 <= p473) AND (1 <= p494))))))) U ((1 <= p424))) : (((1 <= p605) AND (1 <= p620)) U G (((X (F (((1 <= p511) AND (1 <= p553)))) OR NOT(F (X (((1 <= p199) AND (1 <= p219)))))) OR X (((1 <= p128) AND (1 <= p149)))))) : NOT(X (X (((((NOT(G (((1 <= p162) AND (1 <= p164)))) OR G (((1 <= p843) AND (1 <= p860)))) OR NOT(X (((1 <= p855) AND (1 <= p864))))) OR ((p162 <= 0))) OR ((p164 <= 0)))))) : (F (G (F (((F (((1 <= p462))) AND ((1 <= p884))) AND ((1 <= p901)))))) U ((1 <= p462))) : X ((X ((F (((1 <= p58))) OR ((1 <= p807)))) OR (((1 <= p462)) AND (G (((1 <= p78) AND (1 <= p93))) OR ((1 <= p58)))))) : F (X (F (X (X (NOT(F ((NOT(G (F (((1 <= p465) AND (1 <= p307))))) AND ((p853 <= 0) OR (p870 <= 0)))))))))) : (G (((1 <= p766))) OR NOT(X (((1 <= p270))))) : X (F ((NOT(X (((p106 <= 0) OR (p125 <= 0)))) U G (NOT(F ((((1 <= p106) AND (1 <= p125)) OR ((1 <= p346) AND (1 <= p365))))))))) : G (X (((1 <= p633) AND (1 <= p653)))) : (NOT(G (((1 <= p720) AND (1 <= p722)))) AND F ((((X (X (((1 <= p720) AND (1 <= p722)))) OR ((1 <= p875) AND (1 <= p877))) OR ((1 <= p853) AND (1 <= p870))) U ((1 <= p266) AND (1 <= p275))))) : (F (G (((1 <= p852) AND (1 <= p894)))) AND (F ((F (((1 <= p562) AND (1 <= p583))) AND F (((1 <= p558))))) OR ((1 <= p558)))) : F ((F (((p261 <= 0) OR (p280 <= 0))) U ((1 <= p261) AND (1 <= p280)))) : X (X (((X (G ((F (G (X ((((1 <= p438) AND (1 <= p459)) OR ((1 <= p842) AND (1 <= p861)))))) AND X (((1 <= p438) AND (1 <= p459)))))) AND ((1 <= p842))) AND ((1 <= p861))))) : G (F (G ((NOT(F (((X (((1 <= p686) AND (1 <= p707))) AND ((1 <= p504))) AND ((1 <= p525))))) AND NOT((F (((1 <= p726) AND (1 <= p746))) U X (((1 <= p726) AND (1 <= p746))))))))) : (F (X (F (((F (((1 <= p190) AND (1 <= p211))) AND ((1 <= p190))) AND ((1 <= p211)))))) U G ((NOT(X (G (((1 <= p393))))) AND ((p190 <= 0) OR (p211 <= 0)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
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:251
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:431
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:297
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
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:374
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
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: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (G (((((1 <= p473) AND (1 <= p494) AND (1 <= p221) AND (1 <= p242)) U ((1 <= p248))) OR G ((((1 <= p915) AND (1 <= p930)) OR ((1 <= p473) AND (1 <= p494))))))) U ((1 <= p424)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X (G (((((1 <= p473) AND (1 <= p494) AND (1 <= p221) AND (1 <= p242)) U ((1 <= p248))) OR G ((((1 <= p915) AND (1 <= p930)) OR ((1 <= p473) AND (1 <= p494))))))) U ((1 <= p424)))
lola: processed formula length: 180
lola: 90 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: 10033 markings, 10033 edges
lola: ========================================
lola: subprocess 1 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p605) AND (1 <= p620)) U X (G ((F (((1 <= p511) AND (1 <= p553))) OR (G (((p199 <= 0) OR (p219 <= 0))) OR ((1 <= p128) AND (1 <= p149)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (((1 <= p605) AND (1 <= p620)) U X (G ((F (((1 <= p511) AND (1 <= p553))) OR (G (((p199 <= 0) OR (p219 <= 0))) OR ((1 <= p128) AND (1 <= p149)))))))
lola: processed formula length: 149
lola: 90 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: 345996 markings, 856375 edges, 69199 markings/sec, 0 secs
lola: 690580 markings, 1702025 edges, 68917 markings/sec, 5 secs
lola: 997000 markings, 2549617 edges, 61284 markings/sec, 10 secs
lola: 1268036 markings, 3409029 edges, 54207 markings/sec, 15 secs
lola: 1567719 markings, 4253758 edges, 59937 markings/sec, 20 secs
lola: 1889811 markings, 5103237 edges, 64418 markings/sec, 25 secs
lola: 2240278 markings, 5937487 edges, 70093 markings/sec, 30 secs
lola: 2533408 markings, 6782206 edges, 58626 markings/sec, 35 secs
lola: 2793710 markings, 7633996 edges, 52060 markings/sec, 40 secs
lola: 3079088 markings, 8475663 edges, 57076 markings/sec, 45 secs
lola: 3332252 markings, 9308582 edges, 50633 markings/sec, 50 secs
lola: 3601308 markings, 10129266 edges, 53811 markings/sec, 55 secs
lola: 3840938 markings, 10945252 edges, 47926 markings/sec, 60 secs
lola: 4078458 markings, 11781298 edges, 47504 markings/sec, 65 secs
lola: 4279782 markings, 12612508 edges, 40265 markings/sec, 70 secs
lola: 4561654 markings, 13436745 edges, 56374 markings/sec, 75 secs
lola: 4888268 markings, 14287791 edges, 65323 markings/sec, 80 secs
lola: 5241569 markings, 15125677 edges, 70660 markings/sec, 85 secs
lola: 5539318 markings, 15972907 edges, 59550 markings/sec, 90 secs
lola: 5802162 markings, 16829111 edges, 52569 markings/sec, 95 secs
lola: 6114731 markings, 17667725 edges, 62514 markings/sec, 100 secs
lola: 6434790 markings, 18511196 edges, 64012 markings/sec, 105 secs
lola: 6776058 markings, 19344551 edges, 68254 markings/sec, 110 secs
lola: 7068976 markings, 20185095 edges, 58584 markings/sec, 115 secs
lola: 7319150 markings, 21031593 edges, 50035 markings/sec, 120 secs
lola: 7613033 markings, 21869227 edges, 58777 markings/sec, 125 secs
lola: 7855248 markings, 22694385 edges, 48443 markings/sec, 130 secs
lola: 8125100 markings, 23507077 edges, 53970 markings/sec, 135 secs
lola: 8365364 markings, 24316437 edges, 48053 markings/sec, 140 secs
lola: 8595880 markings, 25151772 edges, 46103 markings/sec, 145 secs
lola: 8795390 markings, 25976200 edges, 39902 markings/sec, 150 secs
lola: 9064836 markings, 26789982 edges, 53889 markings/sec, 155 secs
lola: 9324564 markings, 27612537 edges, 51946 markings/sec, 160 secs
lola: 9576120 markings, 28417519 edges, 50311 markings/sec, 165 secs
lola: 9823148 markings, 29219444 edges, 49406 markings/sec, 170 secs
lola: 10053296 markings, 30030668 edges, 46030 markings/sec, 175 secs
lola: 10266483 markings, 30855881 edges, 42637 markings/sec, 180 secs
lola: 10489858 markings, 31666192 edges, 44675 markings/sec, 185 secs
lola: 10758765 markings, 32487502 edges, 53781 markings/sec, 190 secs
lola: 10999546 markings, 33289122 edges, 48156 markings/sec, 195 secs
lola: 11254681 markings, 34082868 edges, 51027 markings/sec, 200 secs
lola: 11480978 markings, 34880716 edges, 45259 markings/sec, 205 secs
lola: 11699566 markings, 35694739 edges, 43718 markings/sec, 210 secs
lola: 11899276 markings, 36496072 edges, 39942 markings/sec, 215 secs
lola: 12132312 markings, 37316577 edges, 46607 markings/sec, 220 secs
lola: 12328739 markings, 38122642 edges, 39285 markings/sec, 225 secs
lola: 12540536 markings, 38920321 edges, 42359 markings/sec, 230 secs
lola: 12748130 markings, 39719980 edges, 41519 markings/sec, 235 secs
lola: 12942470 markings, 40518707 edges, 38868 markings/sec, 240 secs
lola: 13130354 markings, 41335890 edges, 37577 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2039048 KB
lola: time consumption: 276 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X ((G (((1 <= p162) AND (1 <= p164))) AND (F (((p843 <= 0) OR (p860 <= 0))) AND (X (((1 <= p855) AND (1 <= p864))) AND (((1 <= p162)) AND ((1 <= p164))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X ((G (((1 <= p162) AND (1 <= p164))) AND (F (((p843 <= 0) OR (p860 <= 0))) AND (X (((1 <= p855) AND (1 <= p864))) AND (((1 <= p162)) AND ((1 <= p164))))))))
lola: processed formula length: 161
lola: 90 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 10033 markings, 10033 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((X ((F (((1 <= p58))) OR ((1 <= p807)))) OR (((1 <= p462)) AND (G (((1 <= p78) AND (1 <= p93))) OR ((1 <= p58))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((X ((F (((1 <= p58))) OR ((1 <= p807)))) OR (((1 <= p462)) AND (G (((1 <= p78) AND (1 <= p93))) OR ((1 <= p58))))))
lola: processed formula length: 118
lola: 90 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 10057 markings, 10057 edges
lola: ========================================
lola: subprocess 4 will run for 299 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G (((1 <= p766))) OR X (((p270 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 299 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((1 <= p766)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((1 <= p766)))
lola: processed formula length: 17
lola: 90 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 3962 markings, 3962 edges
lola: ========================================
lola: subprocess 5 will run for 329 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((p270 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((p270 <= 0)))
lola: processed formula length: 17
lola: 90 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 5 will run for 329 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G (((1 <= p633) AND (1 <= p653))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G (((1 <= p633) AND (1 <= p653))))
lola: processed formula length: 37
lola: 90 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 10033 markings, 10033 edges
lola: ========================================
lola: subprocess 6 will run for 366 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X ((X (G ((F (G ((((1 <= p438) AND (1 <= p459)) OR ((1 <= p842) AND (1 <= p861))))) AND X (((1 <= p438) AND (1 <= p459)))))) AND (((1 <= p842)) AND ((1 <= p861))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X ((X (G ((F (G ((((1 <= p438) AND (1 <= p459)) OR ((1 <= p842) AND (1 <= p861))))) AND X (((1 <= p438) AND (1 <= p459)))))) AND (((1 <= p842)) AND ((1 <= p861))))))
lola: processed formula length: 169
lola: 90 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 10034 markings, 10034 edges
lola: ========================================
lola: subprocess 7 will run for 411 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((G ((X (((p686 <= 0) OR (p707 <= 0))) OR (((p504 <= 0)) OR ((p525 <= 0))))) AND (G (((p726 <= 0) OR (p746 <= 0))) R X (((p726 <= 0) OR (p746 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((G ((X (((p686 <= 0) OR (p707 <= 0))) OR (((p504 <= 0)) OR ((p525 <= 0))))) AND (G (((p726 <= 0) OR (p746 <= 0))) R X (((p726 <= 0) OR (p746 <= 0)))))))
lola: processed formula length: 161
lola: 90 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 41 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: 158016 markings, 947644 edges, 31603 markings/sec, 0 secs
lola: 290278 markings, 1890774 edges, 26452 markings/sec, 5 secs
lola: 395481 markings, 2838665 edges, 21041 markings/sec, 10 secs
lola: 490023 markings, 3784220 edges, 18908 markings/sec, 15 secs
lola: 619621 markings, 4720501 edges, 25920 markings/sec, 20 secs
lola: 749670 markings, 5652626 edges, 26010 markings/sec, 25 secs
lola: 856915 markings, 6585630 edges, 21449 markings/sec, 30 secs
lola: 952314 markings, 7522868 edges, 19080 markings/sec, 35 secs
lola: 1048333 markings, 8462937 edges, 19204 markings/sec, 40 secs
lola: 1134698 markings, 9402781 edges, 17273 markings/sec, 45 secs
lola: 1236880 markings, 10336122 edges, 20436 markings/sec, 50 secs
lola: 1319937 markings, 11271851 edges, 16611 markings/sec, 55 secs
lola: 1396660 markings, 12207880 edges, 15345 markings/sec, 60 secs
lola: 1483419 markings, 13140822 edges, 17352 markings/sec, 65 secs
lola: 1603399 markings, 14073057 edges, 23996 markings/sec, 70 secs
lola: 1739035 markings, 14994930 edges, 27127 markings/sec, 75 secs
lola: 1841892 markings, 15926441 edges, 20571 markings/sec, 80 secs
lola: 1930457 markings, 16854680 edges, 17713 markings/sec, 85 secs
lola: 2060745 markings, 17776954 edges, 26058 markings/sec, 90 secs
lola: 2191014 markings, 18692871 edges, 26054 markings/sec, 95 secs
lola: 2291780 markings, 19614183 edges, 20153 markings/sec, 100 secs
lola: 2382307 markings, 20534000 edges, 18105 markings/sec, 105 secs
lola: 2482958 markings, 21465451 edges, 20130 markings/sec, 110 secs
lola: 2569418 markings, 22395822 edges, 17292 markings/sec, 115 secs
lola: 2667453 markings, 23321792 edges, 19607 markings/sec, 120 secs
lola: 2747074 markings, 24248899 edges, 15924 markings/sec, 125 secs
lola: 2822975 markings, 25175841 edges, 15180 markings/sec, 130 secs
lola: 2902745 markings, 26105474 edges, 15954 markings/sec, 135 secs
lola: 2998144 markings, 27042737 edges, 19080 markings/sec, 140 secs
lola: 3092586 markings, 27977268 edges, 18888 markings/sec, 145 secs
lola: 3178227 markings, 28905756 edges, 17128 markings/sec, 150 secs
lola: 3261056 markings, 29844003 edges, 16566 markings/sec, 155 secs
lola: 3329121 markings, 30774419 edges, 13613 markings/sec, 160 secs
lola: 3428351 markings, 31706952 edges, 19846 markings/sec, 165 secs
lola: 3514849 markings, 32634937 edges, 17300 markings/sec, 170 secs
lola: 3612375 markings, 33558855 edges, 19505 markings/sec, 175 secs
lola: 3691844 markings, 34483643 edges, 15894 markings/sec, 180 secs
lola: 3767619 markings, 35408372 edges, 15155 markings/sec, 185 secs
lola: 3838718 markings, 36335311 edges, 14220 markings/sec, 190 secs
lola: 3915344 markings, 37269419 edges, 15325 markings/sec, 195 secs
lola: 3984260 markings, 38200985 edges, 13783 markings/sec, 200 secs
lola: 4064115 markings, 39130272 edges, 15971 markings/sec, 205 secs
lola: 4128718 markings, 40053428 edges, 12921 markings/sec, 210 secs
lola: 4193711 markings, 40984763 edges, 12999 markings/sec, 215 secs
lola: 4254465 markings, 41910413 edges, 12151 markings/sec, 220 secs
lola: 4350879 markings, 42830543 edges, 19283 markings/sec, 225 secs
lola: 4475487 markings, 43755310 edges, 24922 markings/sec, 230 secs
lola: 4594265 markings, 44672887 edges, 23756 markings/sec, 235 secs
lola: 4697076 markings, 45597846 edges, 20562 markings/sec, 240 secs
lola: 4797215 markings, 46520020 edges, 20028 markings/sec, 245 secs
lola: 4915952 markings, 47436499 edges, 23747 markings/sec, 250 secs
lola: 5048161 markings, 48344653 edges, 26442 markings/sec, 255 secs
lola: 5149328 markings, 49260887 edges, 20233 markings/sec, 260 secs
lola: 5231970 markings, 50175138 edges, 16528 markings/sec, 265 secs
lola: 5333261 markings, 51102403 edges, 20258 markings/sec, 270 secs
lola: 5421007 markings, 52006059 edges, 17549 markings/sec, 275 secs
lola: 5515075 markings, 52925186 edges, 18814 markings/sec, 280 secs
lola: 5591396 markings, 53844683 edges, 15264 markings/sec, 285 secs
lola: 5666305 markings, 54763254 edges, 14982 markings/sec, 290 secs
lola: 5767866 markings, 55678679 edges, 20312 markings/sec, 295 secs
lola: 5890643 markings, 56592523 edges, 24555 markings/sec, 300 secs
lola: 6009367 markings, 57498607 edges, 23745 markings/sec, 305 secs
lola: 6111640 markings, 58416651 edges, 20455 markings/sec, 310 secs
lola: 6208874 markings, 59329012 edges, 19447 markings/sec, 315 secs
lola: 6326119 markings, 60236160 edges, 23449 markings/sec, 320 secs
lola: 6458202 markings, 61136360 edges, 26417 markings/sec, 325 secs
lola: 6557448 markings, 62045197 edges, 19849 markings/sec, 330 secs
lola: 6641265 markings, 62950217 edges, 16763 markings/sec, 335 secs
lola: 6743343 markings, 63869941 edges, 20416 markings/sec, 340 secs
lola: 6831032 markings, 64785764 edges, 17538 markings/sec, 345 secs
lola: 6923928 markings, 65694467 edges, 18579 markings/sec, 350 secs
lola: 7002243 markings, 66604323 edges, 15663 markings/sec, 355 secs
lola: 7076570 markings, 67517789 edges, 14865 markings/sec, 360 secs
lola: 7155877 markings, 68435503 edges, 15861 markings/sec, 365 secs
lola: 7250749 markings, 69366272 edges, 18974 markings/sec, 370 secs
lola: 7344562 markings, 70292436 edges, 18763 markings/sec, 375 secs
lola: 7429296 markings, 71210427 edges, 16947 markings/sec, 380 secs
lola: 7511162 markings, 72139459 edges, 16373 markings/sec, 385 secs
lola: 7578848 markings, 73059152 edges, 13537 markings/sec, 390 secs
lola: 7675938 markings, 73981669 edges, 19418 markings/sec, 395 secs
lola: 7760473 markings, 74897464 edges, 16907 markings/sec, 400 secs
lola: 7859042 markings, 75816047 edges, 19714 markings/sec, 405 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no unknown no unknown yes unknown no unknown unknown unknown no unknown unknown
lola: memory consumption: 1376968 KB
lola: time consumption: 687 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 411 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (F ((F (((1 <= p190) AND (1 <= p211))) AND (((1 <= p190)) AND ((1 <= p211)))))) U G ((X (F (((p393 <= 0)))) AND ((p190 <= 0) OR (p211 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X (F ((F (((1 <= p190) AND (1 <= p211))) AND (((1 <= p190)) AND ((1 <= p211)))))) U G ((X (F (((p393 <= 0)))) AND ((p190 <= 0) OR (p211 <= 0)))))
lola: processed formula length: 147
lola: 90 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 460343 markings, 934972 edges, 92069 markings/sec, 0 secs
lola: 899927 markings, 1866140 edges, 87917 markings/sec, 5 secs
lola: 1300805 markings, 2803732 edges, 80176 markings/sec, 10 secs
lola: 1691717 markings, 3737637 edges, 78182 markings/sec, 15 secs
lola: 2106749 markings, 4667398 edges, 83006 markings/sec, 20 secs
lola: 2535553 markings, 5593581 edges, 85761 markings/sec, 25 secs
lola: 2932706 markings, 6522364 edges, 79431 markings/sec, 30 secs
lola: 3351625 markings, 7452572 edges, 83784 markings/sec, 35 secs
lola: 3736508 markings, 8382360 edges, 76977 markings/sec, 40 secs
lola: 4151043 markings, 9309136 edges, 82907 markings/sec, 45 secs
lola: 4507278 markings, 10242833 edges, 71247 markings/sec, 50 secs
lola: 4901250 markings, 11170889 edges, 78794 markings/sec, 55 secs
lola: 5290952 markings, 12097770 edges, 77940 markings/sec, 60 secs
lola: 5655171 markings, 13030024 edges, 72844 markings/sec, 65 secs
lola: 6015173 markings, 13956444 edges, 72000 markings/sec, 70 secs
lola: 6365690 markings, 14885583 edges, 70103 markings/sec, 75 secs
lola: 6756269 markings, 15809143 edges, 78116 markings/sec, 80 secs
lola: 7136085 markings, 16732886 edges, 75963 markings/sec, 85 secs
lola: 7486574 markings, 17660208 edges, 70098 markings/sec, 90 secs
lola: 7860874 markings, 18586988 edges, 74860 markings/sec, 95 secs
lola: 8210146 markings, 19512711 edges, 69854 markings/sec, 100 secs
lola: 8582333 markings, 20439506 edges, 74437 markings/sec, 105 secs
lola: 8898301 markings, 21371093 edges, 63194 markings/sec, 110 secs
lola: 9296874 markings, 22293782 edges, 79715 markings/sec, 115 secs
lola: 9679556 markings, 23215431 edges, 76536 markings/sec, 120 secs
lola: 10043430 markings, 24140154 edges, 72775 markings/sec, 125 secs
lola: 10403359 markings, 25059844 edges, 71986 markings/sec, 130 secs
lola: 10745698 markings, 25980403 edges, 68468 markings/sec, 135 secs
lola: 11134221 markings, 26898676 edges, 77705 markings/sec, 140 secs
lola: 11515829 markings, 27815127 edges, 76322 markings/sec, 145 secs
lola: 11862717 markings, 28734225 edges, 69378 markings/sec, 150 secs
lola: 12234779 markings, 29652302 edges, 74412 markings/sec, 155 secs
lola: 12579370 markings, 30572142 edges, 68918 markings/sec, 160 secs
lola: 12954338 markings, 31490283 edges, 74994 markings/sec, 165 secs
lola: 13275294 markings, 32413780 edges, 64191 markings/sec, 170 secs
lola: 13661109 markings, 33336678 edges, 77163 markings/sec, 175 secs
lola: 14031518 markings, 34262512 edges, 74082 markings/sec, 180 secs
lola: 14412274 markings, 35190535 edges, 76151 markings/sec, 185 secs
lola: 14768613 markings, 36116668 edges, 71268 markings/sec, 190 secs
lola: 15114415 markings, 37043238 edges, 69160 markings/sec, 195 secs
lola: 15506800 markings, 37966185 edges, 78477 markings/sec, 200 secs
lola: 15885754 markings, 38886790 edges, 75791 markings/sec, 205 secs
lola: 16238661 markings, 39811086 edges, 70581 markings/sec, 210 secs
lola: 16614890 markings, 40734678 edges, 75246 markings/sec, 215 secs
lola: 16966170 markings, 41658712 edges, 70256 markings/sec, 220 secs
lola: 17336533 markings, 42579469 edges, 74073 markings/sec, 225 secs
lola: 17667210 markings, 43505843 edges, 66135 markings/sec, 230 secs
lola: 18033521 markings, 44417118 edges, 73262 markings/sec, 235 secs
lola: 18397886 markings, 45310046 edges, 72873 markings/sec, 240 secs
lola: 18773573 markings, 46205109 edges, 75137 markings/sec, 245 secs
lola: 19116768 markings, 47095654 edges, 68639 markings/sec, 250 secs
lola: 19452158 markings, 47983388 edges, 67078 markings/sec, 255 secs
lola: 19804202 markings, 48875576 edges, 70409 markings/sec, 260 secs
lola: 20174661 markings, 49765256 edges, 74092 markings/sec, 265 secs
lola: 20537433 markings, 50657697 edges, 72554 markings/sec, 270 secs
lola: 20883733 markings, 51548529 edges, 69260 markings/sec, 275 secs
lola: 21234333 markings, 52438283 edges, 70120 markings/sec, 280 secs
lola: 21575034 markings, 53328185 edges, 68140 markings/sec, 285 secs
lola: 21928358 markings, 54219645 edges, 70665 markings/sec, 290 secs
lola: 22228848 markings, 55107363 edges, 60098 markings/sec, 295 secs
lola: 22621442 markings, 56008598 edges, 78519 markings/sec, 300 secs
lola: 22994022 markings, 56908322 edges, 74516 markings/sec, 305 secs
lola: 23347233 markings, 57808127 edges, 70642 markings/sec, 310 secs
lola: 23696963 markings, 58699510 edges, 69946 markings/sec, 315 secs
lola: 24028536 markings, 59591242 edges, 66315 markings/sec, 320 secs
lola: 24408122 markings, 60486662 edges, 75917 markings/sec, 325 secs
lola: 24777373 markings, 61381794 edges, 73850 markings/sec, 330 secs
lola: 25115466 markings, 62273114 edges, 67619 markings/sec, 335 secs
lola: 25480778 markings, 63168134 edges, 73062 markings/sec, 340 secs
lola: 25822429 markings, 64060451 edges, 68330 markings/sec, 345 secs
lola: 26178031 markings, 64954229 edges, 71120 markings/sec, 350 secs
lola: 26502582 markings, 65846281 edges, 64910 markings/sec, 355 secs
lola: 26834542 markings, 66747229 edges, 66392 markings/sec, 360 secs
lola: 27179513 markings, 67660654 edges, 68994 markings/sec, 365 secs
lola: 27528810 markings, 68573379 edges, 69859 markings/sec, 370 secs
lola: 27851530 markings, 69488640 edges, 64544 markings/sec, 375 secs
lola: 28172333 markings, 70395961 edges, 64161 markings/sec, 380 secs
lola: 28479172 markings, 71303362 edges, 61368 markings/sec, 385 secs
lola: 28827989 markings, 72211888 edges, 69763 markings/sec, 390 secs
lola: 29164497 markings, 73119098 edges, 67302 markings/sec, 395 secs
lola: 29486949 markings, 74024323 edges, 64490 markings/sec, 400 secs
lola: 29815261 markings, 74934226 edges, 65662 markings/sec, 405 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no unknown no unknown yes unknown no unknown unknown unknown no unknown unknown
lola: memory consumption: 7496132 KB
lola: time consumption: 1098 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 412 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p261) AND (1 <= p280)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p261 <= 0) OR (p280 <= 0))
lola: processed formula length: 29
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 3914 markings, 3913 edges
lola: ========================================
lola: subprocess 10 will run for 494 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((((p106 <= 0) OR (p125 <= 0)) AND ((p346 <= 0) OR (p365 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((((p106 <= 0) OR (p125 <= 0)) AND ((p346 <= 0) OR (p365 <= 0)))))
lola: processed formula length: 73
lola: 90 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 161642 markings, 939711 edges, 32328 markings/sec, 0 secs
lola: 310530 markings, 1879306 edges, 29778 markings/sec, 5 secs
lola: 446655 markings, 2831491 edges, 27225 markings/sec, 10 secs
lola: 595341 markings, 3766512 edges, 29737 markings/sec, 15 secs
lola: 716747 markings, 4716017 edges, 24281 markings/sec, 20 secs
lola: 850695 markings, 5661477 edges, 26790 markings/sec, 25 secs
lola: 953454 markings, 6624063 edges, 20552 markings/sec, 30 secs
lola: 1079769 markings, 7596693 edges, 25263 markings/sec, 35 secs
lola: 1217181 markings, 8566507 edges, 27482 markings/sec, 40 secs
lola: 1334218 markings, 9539615 edges, 23407 markings/sec, 45 secs
lola: 1457367 markings, 10505212 edges, 24630 markings/sec, 50 secs
lola: 1561649 markings, 11472542 edges, 20856 markings/sec, 55 secs
lola: 1705905 markings, 12387181 edges, 28851 markings/sec, 60 secs
lola: 1823983 markings, 13314152 edges, 23616 markings/sec, 65 secs
lola: 1941160 markings, 14250918 edges, 23435 markings/sec, 70 secs
lola: 2047787 markings, 15202926 edges, 21325 markings/sec, 75 secs
lola: 2172388 markings, 16166308 edges, 24920 markings/sec, 80 secs
lola: 2286493 markings, 17133524 edges, 22821 markings/sec, 85 secs
lola: 2414617 markings, 18088318 edges, 25625 markings/sec, 90 secs
lola: 2522865 markings, 19053811 edges, 21650 markings/sec, 95 secs
lola: 2620699 markings, 20019763 edges, 19567 markings/sec, 100 secs
lola: 2734231 markings, 20981518 edges, 22706 markings/sec, 105 secs
lola: 2830715 markings, 21951769 edges, 19297 markings/sec, 110 secs
lola: 2939779 markings, 22914534 edges, 21813 markings/sec, 115 secs
lola: 3048997 markings, 23865699 edges, 21844 markings/sec, 120 secs
lola: 3148700 markings, 24825191 edges, 19941 markings/sec, 125 secs
lola: 3249166 markings, 25781336 edges, 20093 markings/sec, 130 secs
lola: 3378626 markings, 26712647 edges, 25892 markings/sec, 135 secs
lola: 3491680 markings, 27640392 edges, 22611 markings/sec, 140 secs
lola: 3604258 markings, 28579350 edges, 22516 markings/sec, 145 secs
lola: 3724567 markings, 29512626 edges, 24062 markings/sec, 150 secs
lola: 3827086 markings, 30456801 edges, 20504 markings/sec, 155 secs
lola: 3918177 markings, 31401742 edges, 18218 markings/sec, 160 secs
lola: 4015981 markings, 32345002 edges, 19561 markings/sec, 165 secs
lola: 4140693 markings, 33281895 edges, 24942 markings/sec, 170 secs
lola: 4259355 markings, 34231373 edges, 23732 markings/sec, 175 secs
lola: 4389855 markings, 35166492 edges, 26100 markings/sec, 180 secs
lola: 4512897 markings, 36107573 edges, 24608 markings/sec, 185 secs
lola: 4622847 markings, 37053714 edges, 21990 markings/sec, 190 secs
lola: 4722199 markings, 38002250 edges, 19870 markings/sec, 195 secs
lola: 4824908 markings, 38957440 edges, 20542 markings/sec, 200 secs
lola: 4929588 markings, 39907399 edges, 20936 markings/sec, 205 secs
lola: 5053048 markings, 40842390 edges, 24692 markings/sec, 210 secs
lola: 5172838 markings, 41782176 edges, 23958 markings/sec, 215 secs
lola: 5290032 markings, 42724783 edges, 23439 markings/sec, 220 secs
lola: 5397867 markings, 43676336 edges, 21567 markings/sec, 225 secs
lola: 5495465 markings, 44635101 edges, 19520 markings/sec, 230 secs
lola: 5589132 markings, 45589077 edges, 18733 markings/sec, 235 secs
lola: 5691902 markings, 46534555 edges, 20554 markings/sec, 240 secs
lola: 5781022 markings, 47496746 edges, 17824 markings/sec, 245 secs
lola: 5870515 markings, 48458000 edges, 17899 markings/sec, 250 secs
lola: 5977617 markings, 49411142 edges, 21420 markings/sec, 255 secs
lola: 6080498 markings, 50361229 edges, 20576 markings/sec, 260 secs
lola: 6162848 markings, 51323737 edges, 16470 markings/sec, 265 secs
lola: 6262215 markings, 52274938 edges, 19873 markings/sec, 270 secs
lola: 6388718 markings, 53210171 edges, 25301 markings/sec, 275 secs
lola: 6517770 markings, 54137120 edges, 25810 markings/sec, 280 secs
lola: 6648347 markings, 55058020 edges, 26115 markings/sec, 285 secs
lola: 6766371 markings, 55982259 edges, 23605 markings/sec, 290 secs
lola: 6883291 markings, 56909571 edges, 23384 markings/sec, 295 secs
lola: 7007073 markings, 57835727 edges, 24756 markings/sec, 300 secs
lola: 7125706 markings, 58758563 edges, 23727 markings/sec, 305 secs
lola: 7231003 markings, 59692141 edges, 21059 markings/sec, 310 secs
lola: 7350292 markings, 60612491 edges, 23858 markings/sec, 315 secs
lola: 7469829 markings, 61546577 edges, 23907 markings/sec, 320 secs
lola: 7586468 markings, 62482001 edges, 23328 markings/sec, 325 secs
lola: 7678781 markings, 63421045 edges, 18463 markings/sec, 330 secs
lola: 7801230 markings, 64360416 edges, 24490 markings/sec, 335 secs
lola: 7950655 markings, 65309466 edges, 29885 markings/sec, 340 secs
lola: 8091992 markings, 66247564 edges, 28267 markings/sec, 345 secs
lola: 8234134 markings, 67189531 edges, 28428 markings/sec, 350 secs
lola: 8370300 markings, 68121945 edges, 27233 markings/sec, 355 secs
lola: 8497725 markings, 69068345 edges, 25485 markings/sec, 360 secs
lola: 8622902 markings, 70008685 edges, 25035 markings/sec, 365 secs
lola: 8724788 markings, 70973531 edges, 20377 markings/sec, 370 secs
lola: 8843685 markings, 71888131 edges, 23779 markings/sec, 375 secs
lola: 8964032 markings, 72805532 edges, 24069 markings/sec, 380 secs
lola: 9076810 markings, 73707049 edges, 22556 markings/sec, 385 secs
lola: 9182275 markings, 74624383 edges, 21093 markings/sec, 390 secs
lola: 9296233 markings, 75535248 edges, 22792 markings/sec, 395 secs
lola: 9407981 markings, 76446734 edges, 22350 markings/sec, 400 secs
lola: 9516391 markings, 77354580 edges, 21682 markings/sec, 405 secs
lola: 9627352 markings, 78276851 edges, 22192 markings/sec, 410 secs
lola: 9748280 markings, 79181849 edges, 24186 markings/sec, 415 secs
lola: 9857246 markings, 80131051 edges, 21793 markings/sec, 420 secs
lola: 9989936 markings, 81095125 edges, 26538 markings/sec, 425 secs
lola: 10112688 markings, 82058527 edges, 24550 markings/sec, 430 secs
lola: 10224645 markings, 83023743 edges, 22391 markings/sec, 435 secs
lola: 10335168 markings, 83981814 edges, 22105 markings/sec, 440 secs
lola: 10450648 markings, 84943087 edges, 23096 markings/sec, 445 secs
lola: 10557721 markings, 85912612 edges, 21415 markings/sec, 450 secs
lola: 10683259 markings, 86865778 edges, 25108 markings/sec, 455 secs
lola: 10787786 markings, 87829320 edges, 20905 markings/sec, 460 secs
lola: 10887641 markings, 88790659 edges, 19971 markings/sec, 465 secs
lola: 10988547 markings, 89760051 edges, 20181 markings/sec, 470 secs
lola: 11085316 markings, 90721350 edges, 19354 markings/sec, 475 secs
lola: 11197528 markings, 91673326 edges, 22442 markings/sec, 480 secs
lola: 11295411 markings, 92625408 edges, 19577 markings/sec, 485 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no unknown no unknown yes unknown no unknown unknown no no unknown unknown
lola: memory consumption: 2760936 KB
lola: time consumption: 1592 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 494 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((G (F (((1 <= p465) AND (1 <= p307)))) OR ((1 <= p853) AND (1 <= p870)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((G (F (((1 <= p465) AND (1 <= p307)))) OR ((1 <= p853) AND (1 <= p870)))))
lola: processed formula length: 80
lola: 90 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 3925 markings, 3926 edges
lola: ========================================
lola: subprocess 12 will run for 659 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((p720 <= 0) OR (p722 <= 0))) AND F (((1 <= p266) AND (1 <= p275))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 659 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p266) AND (1 <= p275)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p266 <= 0) OR (p275 <= 0))
lola: processed formula length: 29
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 4030 markings, 4029 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 13 will run for 989 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p462)) OR (G (F ((F (((1 <= p462))) AND (((1 <= p884)) AND ((1 <= p901)))))) AND F (((1 <= p462)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 989 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p462))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p462))
lola: processed formula length: 13
lola: 90 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1978 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p462)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p462 <= 0))
lola: processed formula length: 13
lola: 92 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 433672 markings, 745895 edges, 86734 markings/sec, 0 secs
lola: 851952 markings, 1469474 edges, 83656 markings/sec, 5 secs
lola: 1293714 markings, 2231554 edges, 88352 markings/sec, 10 secs
lola: 1734804 markings, 2989615 edges, 88218 markings/sec, 15 secs
lola: 2181129 markings, 3761114 edges, 89265 markings/sec, 20 secs
lola: 2631369 markings, 4535819 edges, 90048 markings/sec, 25 secs
lola: 3070040 markings, 5291322 edges, 87734 markings/sec, 30 secs
lola: 3489103 markings, 6013981 edges, 83813 markings/sec, 35 secs
lola: 3926363 markings, 6768720 edges, 87452 markings/sec, 40 secs
lola: 4335932 markings, 7477269 edges, 81914 markings/sec, 45 secs
lola: 4756032 markings, 8205025 edges, 84020 markings/sec, 50 secs
lola: 5186040 markings, 8948320 edges, 86002 markings/sec, 55 secs
lola: 5631494 markings, 9714494 edges, 89091 markings/sec, 60 secs
lola: 6075081 markings, 10464855 edges, 88717 markings/sec, 65 secs
lola: 6505710 markings, 11216373 edges, 86126 markings/sec, 70 secs
lola: 6941575 markings, 11974572 edges, 87173 markings/sec, 75 secs
lola: 7387195 markings, 12740809 edges, 89124 markings/sec, 80 secs
lola: 7831002 markings, 13504863 edges, 88761 markings/sec, 85 secs
lola: 8277537 markings, 14272946 edges, 89307 markings/sec, 90 secs
lola: 8721428 markings, 15035725 edges, 88778 markings/sec, 95 secs
lola: 9167605 markings, 15791866 edges, 89235 markings/sec, 100 secs
lola: 9615580 markings, 16542470 edges, 89595 markings/sec, 105 secs
lola: 10061741 markings, 17300857 edges, 89232 markings/sec, 110 secs
lola: 10488428 markings, 18053859 edges, 85337 markings/sec, 115 secs
lola: 10919833 markings, 18812310 edges, 86281 markings/sec, 120 secs
lola: 11355718 markings, 19574622 edges, 87177 markings/sec, 125 secs
lola: 11797148 markings, 20340330 edges, 88286 markings/sec, 130 secs
lola: 12243460 markings, 21108293 edges, 89262 markings/sec, 135 secs
lola: 12690424 markings, 21876627 edges, 89393 markings/sec, 140 secs
lola: 13137167 markings, 22645199 edges, 89349 markings/sec, 145 secs
lola: 13584342 markings, 23413534 edges, 89435 markings/sec, 150 secs
lola: 14031517 markings, 24182984 edges, 89435 markings/sec, 155 secs
lola: 14480749 markings, 24956355 edges, 89846 markings/sec, 160 secs
lola: 14929530 markings, 25727691 edges, 89756 markings/sec, 165 secs
lola: 15385194 markings, 26503586 edges, 91133 markings/sec, 170 secs
lola: 15833087 markings, 27279294 edges, 89579 markings/sec, 175 secs
lola: 16275842 markings, 28043158 edges, 88551 markings/sec, 180 secs
lola: 16724591 markings, 28813994 edges, 89750 markings/sec, 185 secs
lola: 17173341 markings, 29586386 edges, 89750 markings/sec, 190 secs
lola: 17623524 markings, 30360260 edges, 90037 markings/sec, 195 secs
lola: 18076543 markings, 31140605 edges, 90604 markings/sec, 200 secs
lola: 18504836 markings, 31882062 edges, 85659 markings/sec, 205 secs
lola: 18916511 markings, 32593890 edges, 82335 markings/sec, 210 secs
lola: 19335143 markings, 33314921 edges, 83726 markings/sec, 215 secs
lola: 19736925 markings, 34009163 edges, 80356 markings/sec, 220 secs
lola: 20150849 markings, 34724884 edges, 82785 markings/sec, 225 secs
lola: 20571603 markings, 35452334 edges, 84151 markings/sec, 230 secs
lola: 20999515 markings, 36189477 edges, 85582 markings/sec, 235 secs
lola: 21428396 markings, 36913805 edges, 85776 markings/sec, 240 secs
lola: 21847578 markings, 37645930 edges, 83836 markings/sec, 245 secs
lola: 22270076 markings, 38381864 edges, 84500 markings/sec, 250 secs
lola: 22698952 markings, 39119732 edges, 85775 markings/sec, 255 secs
lola: 23125806 markings, 39853281 edges, 85371 markings/sec, 260 secs
lola: 23553143 markings, 40589107 edges, 85467 markings/sec, 265 secs
lola: 23976662 markings, 41316462 edges, 84704 markings/sec, 270 secs
lola: 24388287 markings, 42026931 edges, 82325 markings/sec, 275 secs
lola: 24790051 markings, 42723291 edges, 80353 markings/sec, 280 secs
lola: 25215098 markings, 43450994 edges, 85009 markings/sec, 285 secs
lola: 25638487 markings, 44187456 edges, 84678 markings/sec, 290 secs
lola: 26067385 markings, 44925299 edges, 85780 markings/sec, 295 secs
lola: 26464686 markings, 45614230 edges, 79460 markings/sec, 300 secs
lola: 26879002 markings, 46330357 edges, 82863 markings/sec, 305 secs
lola: 27274349 markings, 47011658 edges, 79069 markings/sec, 310 secs
lola: 27696975 markings, 47744032 edges, 84525 markings/sec, 315 secs
lola: 28126311 markings, 48474013 edges, 85867 markings/sec, 320 secs
lola: 28543031 markings, 49208040 edges, 83344 markings/sec, 325 secs
lola: 28977013 markings, 49954597 edges, 86796 markings/sec, 330 secs
lola: 29409068 markings, 50698516 edges, 86411 markings/sec, 335 secs
lola: 29836540 markings, 51433034 edges, 85494 markings/sec, 340 secs
lola: 30269651 markings, 52162805 edges, 86622 markings/sec, 345 secs
lola: 30700075 markings, 52889715 edges, 86085 markings/sec, 350 secs
lola: 31119088 markings, 53628926 edges, 83803 markings/sec, 355 secs
lola: 31540451 markings, 54369053 edges, 84273 markings/sec, 360 secs
lola: 31968042 markings, 55112538 edges, 85518 markings/sec, 365 secs
lola: 32400778 markings, 55858415 edges, 86547 markings/sec, 370 secs
lola: 32833025 markings, 56599941 edges, 86449 markings/sec, 375 secs
lola: 33265334 markings, 57345957 edges, 86462 markings/sec, 380 secs
lola: 33700105 markings, 58093301 edges, 86954 markings/sec, 385 secs
lola: 34127650 markings, 58825565 edges, 85509 markings/sec, 390 secs
lola: 34560867 markings, 59572100 edges, 86643 markings/sec, 395 secs
lola: 34989549 markings, 60310649 edges, 85736 markings/sec, 400 secs
lola: 35416054 markings, 61044097 edges, 85301 markings/sec, 405 secs
lola: 35846746 markings, 61784528 edges, 86138 markings/sec, 410 secs
lola: 36277825 markings, 62519670 edges, 86216 markings/sec, 415 secs
lola: 36716765 markings, 63256779 edges, 87788 markings/sec, 420 secs
lola: 37155180 markings, 63996613 edges, 87683 markings/sec, 425 secs
lola: 37590619 markings, 64728196 edges, 87088 markings/sec, 430 secs
lola: 38026851 markings, 65460733 edges, 87246 markings/sec, 435 secs
lola: 38455152 markings, 66191595 edges, 85660 markings/sec, 440 secs
lola: 38874068 markings, 66931027 edges, 83783 markings/sec, 445 secs
lola: 39300952 markings, 67677686 edges, 85377 markings/sec, 450 secs
lola: 39728559 markings, 68428059 edges, 85521 markings/sec, 455 secs
lola: 40160054 markings, 69176519 edges, 86299 markings/sec, 460 secs
lola: 40579931 markings, 69917150 edges, 83975 markings/sec, 465 secs
lola: 41003227 markings, 70661101 edges, 84659 markings/sec, 470 secs
lola: 41429566 markings, 71408246 edges, 85268 markings/sec, 475 secs
lola: 41860752 markings, 72155888 edges, 86237 markings/sec, 480 secs
lola: 42298117 markings, 72908908 edges, 87473 markings/sec, 485 secs
lola: 42740379 markings, 73669504 edges, 88452 markings/sec, 490 secs
lola: 43181104 markings, 74424795 edges, 88145 markings/sec, 495 secs
lola: 43619817 markings, 75182653 edges, 87743 markings/sec, 500 secs
lola: 44056637 markings, 75933679 edges, 87364 markings/sec, 505 secs
lola: 44496905 markings, 76690856 edges, 88054 markings/sec, 510 secs
lola: 44936943 markings, 77447334 edges, 88008 markings/sec, 515 secs
lola: 45381336 markings, 78211812 edges, 88879 markings/sec, 520 secs
lola: 45823565 markings, 78973620 edges, 88446 markings/sec, 525 secs
lola: 46261649 markings, 79726387 edges, 87617 markings/sec, 530 secs
lola: 46707662 markings, 80488793 edges, 89203 markings/sec, 535 secs
lola: 47149638 markings, 81254718 edges, 88395 markings/sec, 540 secs
lola: 47587796 markings, 82006100 edges, 87632 markings/sec, 545 secs
lola: 48026137 markings, 82760370 edges, 87668 markings/sec, 550 secs
lola: 48465470 markings, 83516971 edges, 87867 markings/sec, 555 secs
lola: 48913555 markings, 84276703 edges, 89617 markings/sec, 560 secs
lola: 49357381 markings, 85034460 edges, 88765 markings/sec, 565 secs
lola: 49799521 markings, 85802098 edges, 88428 markings/sec, 570 secs
lola: 50240208 markings, 86567464 edges, 88137 markings/sec, 575 secs
lola: 50674975 markings, 87317029 edges, 86953 markings/sec, 580 secs
lola: 51113673 markings, 88071400 edges, 87740 markings/sec, 585 secs
lola: 51552975 markings, 88825148 edges, 87860 markings/sec, 590 secs
lola: 51990298 markings, 89576334 edges, 87465 markings/sec, 595 secs
lola: 52431839 markings, 90337156 edges, 88308 markings/sec, 600 secs
lola: 52871228 markings, 91089527 edges, 87878 markings/sec, 605 secs
lola: 53310356 markings, 91847305 edges, 87826 markings/sec, 610 secs
lola: 53753012 markings, 92609124 edges, 88531 markings/sec, 615 secs
lola: 54193701 markings, 93366909 edges, 88138 markings/sec, 620 secs
lola: 54638635 markings, 94136210 edges, 88987 markings/sec, 625 secs
lola: 55081290 markings, 94894122 edges, 88531 markings/sec, 630 secs
lola: 55528469 markings, 95644896 edges, 89436 markings/sec, 635 secs
lola: 55976123 markings, 96400495 edges, 89531 markings/sec, 640 secs
lola: 56421383 markings, 97149140 edges, 89052 markings/sec, 645 secs
lola: 56867447 markings, 97892961 edges, 89213 markings/sec, 650 secs
lola: 57316808 markings, 98648788 edges, 89872 markings/sec, 655 secs
lola: 57764083 markings, 99404037 edges, 89455 markings/sec, 660 secs
lola: 58210575 markings, 100161339 edges, 89298 markings/sec, 665 secs
lola: 58657761 markings, 100912430 edges, 89437 markings/sec, 670 secs
lola: 59103877 markings, 101662765 edges, 89223 markings/sec, 675 secs
lola: 59544657 markings, 102410055 edges, 88156 markings/sec, 680 secs
lola: 59991045 markings, 103167481 edges, 89278 markings/sec, 685 secs
lola: 60440325 markings, 103928347 edges, 89856 markings/sec, 690 secs
lola: 60881963 markings, 104679274 edges, 88328 markings/sec, 695 secs
lola: 61320820 markings, 105425260 edges, 87771 markings/sec, 700 secs
lola: 61757626 markings, 106172915 edges, 87361 markings/sec, 705 secs
lola: 62182812 markings, 106923851 edges, 85037 markings/sec, 710 secs
lola: 62613276 markings, 107679715 edges, 86093 markings/sec, 715 secs
lola: 63048101 markings, 108439833 edges, 86965 markings/sec, 720 secs
lola: 63485847 markings, 109199395 edges, 87549 markings/sec, 725 secs
lola: 63910706 markings, 109949901 edges, 84972 markings/sec, 730 secs
lola: 64337400 markings, 110702259 edges, 85339 markings/sec, 735 secs
lola: 64757454 markings, 111447110 edges, 84011 markings/sec, 740 secs
lola: 65196580 markings, 112211804 edges, 87825 markings/sec, 745 secs
lola: 65625456 markings, 112967088 edges, 85775 markings/sec, 750 secs
lola: 66063570 markings, 113730562 edges, 87623 markings/sec, 755 secs
lola: 66503891 markings, 114495876 edges, 88064 markings/sec, 760 secs
lola: 66942862 markings, 115254850 edges, 87794 markings/sec, 765 secs
lola: 67373474 markings, 116010924 edges, 86122 markings/sec, 770 secs
lola: 67800470 markings, 116764024 edges, 85399 markings/sec, 775 secs
lola: 68233040 markings, 117520506 edges, 86514 markings/sec, 780 secs
lola: 68664876 markings, 118272247 edges, 86367 markings/sec, 785 secs
lola: 69104734 markings, 119036152 edges, 87972 markings/sec, 790 secs
lola: 69544388 markings, 119798655 edges, 87931 markings/sec, 795 secs
lola: 69985203 markings, 120564750 edges, 88163 markings/sec, 800 secs
lola: 70426395 markings, 121329723 edges, 88238 markings/sec, 805 secs
lola: 70863930 markings, 122087617 edges, 87507 markings/sec, 810 secs
lola: 71300601 markings, 122844450 edges, 87334 markings/sec, 815 secs
lola: 71736872 markings, 123598700 edges, 87254 markings/sec, 820 secs
lola: 72175679 markings, 124356597 edges, 87761 markings/sec, 825 secs
lola: 72615488 markings, 125113887 edges, 87962 markings/sec, 830 secs
lola: 73059429 markings, 125876502 edges, 88788 markings/sec, 835 secs
lola: 73497298 markings, 126630322 edges, 87574 markings/sec, 840 secs
lola: 73940668 markings, 127392780 edges, 88674 markings/sec, 845 secs
lola: 74386154 markings, 128159765 edges, 89097 markings/sec, 850 secs
lola: 74830003 markings, 128921017 edges, 88770 markings/sec, 855 secs
lola: 75269778 markings, 129678881 edges, 87955 markings/sec, 860 secs
lola: 75708981 markings, 130433790 edges, 87841 markings/sec, 865 secs
lola: 76155114 markings, 131194384 edges, 89227 markings/sec, 870 secs
lola: 76596781 markings, 131961152 edges, 88333 markings/sec, 875 secs
lola: 77032034 markings, 132710326 edges, 87051 markings/sec, 880 secs
lola: 77471470 markings, 133464762 edges, 87887 markings/sec, 885 secs
lola: 77910136 markings, 134217906 edges, 87733 markings/sec, 890 secs
lola: 78347682 markings, 134971869 edges, 87509 markings/sec, 895 secs
lola: 78786482 markings, 135728888 edges, 87760 markings/sec, 900 secs
lola: 79228349 markings, 136489845 edges, 88373 markings/sec, 905 secs
lola: 79672497 markings, 137253943 edges, 88830 markings/sec, 910 secs
lola: 80117892 markings, 138017391 edges, 89079 markings/sec, 915 secs
lola: 80561785 markings, 138782760 edges, 88779 markings/sec, 920 secs
lola: 81001253 markings, 139538794 edges, 87894 markings/sec, 925 secs
lola: 81444950 markings, 140301618 edges, 88739 markings/sec, 930 secs
lola: 81889206 markings, 141064852 edges, 88851 markings/sec, 935 secs
lola: 82337583 markings, 141837708 edges, 89675 markings/sec, 940 secs
lola: 82783237 markings, 142603698 edges, 89131 markings/sec, 945 secs
lola: 83225775 markings, 143364717 edges, 88508 markings/sec, 950 secs
lola: 83675928 markings, 144133580 edges, 90031 markings/sec, 955 secs
lola: 84121030 markings, 144905606 edges, 89020 markings/sec, 960 secs
lola: 84559817 markings, 145658860 edges, 87757 markings/sec, 965 secs
lola: 84997621 markings, 146411898 edges, 87561 markings/sec, 970 secs
lola: 85436667 markings, 147167657 edges, 87809 markings/sec, 975 secs
lola: 85886552 markings, 147931645 edges, 89977 markings/sec, 980 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no unknown no no yes unknown no no unknown no no unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no unknown no no yes unknown no no unknown no no unknown unknown
lola: memory consumption: 4586892 KB
lola: time consumption: 2581 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no unknown no no yes unknown no no unknown no no unknown unknown
lola: memory consumption: 4586892 KB
lola: time consumption: 2581 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 989 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (G (((1 <= p852) AND (1 <= p894)))) AND (F ((F (((1 <= p562) AND (1 <= p583))) AND F (((1 <= p558))))) OR ((1 <= p558))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 989 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p558))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p558))
lola: processed formula length: 13
lola: 90 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 16 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((F (((1 <= p562) AND (1 <= p583))) AND F (((1 <= p558)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((F (((1 <= p562) AND (1 <= p583))) AND F (((1 <= p558)))))
lola: processed formula length: 61
lola: 90 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no unknown no no yes unknown no no unknown no no unknown unknown
lola: memory consumption: 61856 KB
lola: time consumption: 2582 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (((1 <= p605) AND (1 <= p620)) U X (G ((F (((1 <= p511) AND (1 <= p553))) OR (G (((p199 <= 0) OR (p219 <= 0))) OR ((1 <= p128) AND (1 <= p149)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (((1 <= p605) AND (1 <= p620)) U X (G ((F (((1 <= p511) AND (1 <= p553))) OR (G (((p199 <= 0) OR (p219 <= 0))) OR ((1 <= p128) AND (1 <= p149)))))))
lola: processed formula length: 149
lola: 90 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: 345110 markings, 854088 edges, 69022 markings/sec, 0 secs
lola: 687717 markings, 1695780 edges, 68521 markings/sec, 5 secs
lola: 994367 markings, 2540339 edges, 61330 markings/sec, 10 secs
lola: 1265638 markings, 3399103 edges, 54254 markings/sec, 15 secs
lola: 1562020 markings, 4241343 edges, 59276 markings/sec, 20 secs
lola: 1883124 markings, 5088983 edges, 64221 markings/sec, 25 secs
lola: 2234738 markings, 5922301 edges, 70323 markings/sec, 30 secs
lola: 2528466 markings, 6764465 edges, 58746 markings/sec, 35 secs
lola: 2789000 markings, 7614544 edges, 52107 markings/sec, 40 secs
lola: 3071987 markings, 8453847 edges, 56597 markings/sec, 45 secs
lola: 3326330 markings, 9283742 edges, 50869 markings/sec, 50 secs
lola: 3590460 markings, 10097782 edges, 52826 markings/sec, 55 secs
lola: 3827773 markings, 10909807 edges, 47463 markings/sec, 60 secs
lola: 4066438 markings, 11736958 edges, 47733 markings/sec, 65 secs
lola: 4270138 markings, 12565662 edges, 40740 markings/sec, 70 secs
lola: 4539376 markings, 13378724 edges, 53848 markings/sec, 75 secs
lola: 4871566 markings, 14228559 edges, 66438 markings/sec, 80 secs
lola: 5217820 markings, 15065523 edges, 69251 markings/sec, 85 secs
lola: 5516918 markings, 15909360 edges, 59820 markings/sec, 90 secs
lola: 5783388 markings, 16763677 edges, 53294 markings/sec, 95 secs
lola: 6088008 markings, 17600993 edges, 60924 markings/sec, 100 secs
lola: 6410294 markings, 18445023 edges, 64457 markings/sec, 105 secs
lola: 6755205 markings, 19277197 edges, 68982 markings/sec, 110 secs
lola: 7044896 markings, 20117371 edges, 57938 markings/sec, 115 secs
lola: 7300900 markings, 20964184 edges, 51201 markings/sec, 120 secs
lola: 7589304 markings, 21803031 edges, 57681 markings/sec, 125 secs
lola: 7838244 markings, 22632713 edges, 49788 markings/sec, 130 secs
lola: 8109055 markings, 23450543 edges, 54162 markings/sec, 135 secs
lola: 8348022 markings, 24264090 edges, 47793 markings/sec, 140 secs
lola: 8582764 markings, 25098360 edges, 46948 markings/sec, 145 secs
lola: 8783490 markings, 25927206 edges, 40145 markings/sec, 150 secs
lola: 9053348 markings, 26752135 edges, 53972 markings/sec, 155 secs
lola: 9317472 markings, 27582468 edges, 52825 markings/sec, 160 secs
lola: 9570590 markings, 28398145 edges, 50624 markings/sec, 165 secs
lola: 9819366 markings, 29205247 edges, 49755 markings/sec, 170 secs
lola: 10045098 markings, 29996202 edges, 45146 markings/sec, 175 secs
lola: 10258780 markings, 30818616 edges, 42736 markings/sec, 180 secs
lola: 10474812 markings, 31624041 edges, 43206 markings/sec, 185 secs
lola: 10747114 markings, 32446120 edges, 54460 markings/sec, 190 secs
lola: 10986899 markings, 33248490 edges, 47957 markings/sec, 195 secs
lola: 11237754 markings, 34024072 edges, 50171 markings/sec, 200 secs
lola: 11467876 markings, 34827369 edges, 46024 markings/sec, 205 secs
lola: 11688138 markings, 35646392 edges, 44052 markings/sec, 210 secs
lola: 11885082 markings, 36457277 edges, 39389 markings/sec, 215 secs
lola: 12122416 markings, 37280687 edges, 47467 markings/sec, 220 secs
lola: 12322854 markings, 38093214 edges, 40088 markings/sec, 225 secs
lola: 12534462 markings, 38895244 edges, 42322 markings/sec, 230 secs
lola: 12743164 markings, 39695697 edges, 41740 markings/sec, 235 secs
lola: 12937380 markings, 40493728 edges, 38843 markings/sec, 240 secs
lola: 13125966 markings, 41314768 edges, 37717 markings/sec, 245 secs
lola: 13291202 markings, 42129327 edges, 33047 markings/sec, 250 secs
lola: 13517449 markings, 42925914 edges, 45249 markings/sec, 255 secs
lola: 13874886 markings, 43789998 edges, 71487 markings/sec, 260 secs
lola: 14213258 markings, 44645352 edges, 67674 markings/sec, 265 secs
lola: 14529548 markings, 45498458 edges, 63258 markings/sec, 270 secs
lola: 14809786 markings, 46367469 edges, 56048 markings/sec, 275 secs
lola: 15098705 markings, 47221214 edges, 57784 markings/sec, 280 secs
lola: 15428210 markings, 48080064 edges, 65901 markings/sec, 285 secs
lola: 15783452 markings, 48924115 edges, 71048 markings/sec, 290 secs
lola: 16082946 markings, 49777058 edges, 59899 markings/sec, 295 secs
lola: 16347122 markings, 50638596 edges, 52835 markings/sec, 300 secs
lola: 16632236 markings, 51486898 edges, 57023 markings/sec, 305 secs
lola: 16890091 markings, 52329354 edges, 51571 markings/sec, 310 secs
lola: 17153984 markings, 53141338 edges, 52779 markings/sec, 315 secs
lola: 17390828 markings, 53952037 edges, 47369 markings/sec, 320 secs
lola: 17627108 markings, 54771109 edges, 47256 markings/sec, 325 secs
lola: 17829634 markings, 55591423 edges, 40505 markings/sec, 330 secs
lola: 18092844 markings, 56399273 edges, 52642 markings/sec, 335 secs
lola: 18430232 markings, 57257138 edges, 67478 markings/sec, 340 secs
lola: 18777684 markings, 58098597 edges, 69490 markings/sec, 345 secs
lola: 19080220 markings, 58952009 edges, 60507 markings/sec, 350 secs
lola: 19346950 markings, 59807929 edges, 53346 markings/sec, 355 secs
lola: 19654516 markings, 60654192 edges, 61513 markings/sec, 360 secs
lola: 19976543 markings, 61493810 edges, 64405 markings/sec, 365 secs
lola: 20321838 markings, 62330179 edges, 69059 markings/sec, 370 secs
lola: 20613728 markings, 63176106 edges, 58378 markings/sec, 375 secs
lola: 20869942 markings, 64031120 edges, 51243 markings/sec, 380 secs
lola: 21163990 markings, 64877695 edges, 58810 markings/sec, 385 secs
lola: 21411970 markings, 65715643 edges, 49596 markings/sec, 390 secs
lola: 21685968 markings, 66542063 edges, 54800 markings/sec, 395 secs
lola: 21929146 markings, 67361553 edges, 48636 markings/sec, 400 secs
lola: 22161632 markings, 68203839 edges, 46497 markings/sec, 405 secs
lola: 22363790 markings, 69037448 edges, 40432 markings/sec, 410 secs
lola: 22641977 markings, 69870462 edges, 55637 markings/sec, 415 secs
lola: 22900927 markings, 70704014 edges, 51790 markings/sec, 420 secs
lola: 23158586 markings, 71524441 edges, 51532 markings/sec, 425 secs
lola: 23406336 markings, 72338236 edges, 49550 markings/sec, 430 secs
lola: 23641072 markings, 73160269 edges, 46947 markings/sec, 435 secs
lola: 23852446 markings, 73993837 edges, 42275 markings/sec, 440 secs
lola: 24089837 markings, 74816646 edges, 47478 markings/sec, 445 secs
lola: 24352542 markings, 75637882 edges, 52541 markings/sec, 450 secs
lola: 24602718 markings, 76452029 edges, 50035 markings/sec, 455 secs
lola: 24850626 markings, 77253279 edges, 49582 markings/sec, 460 secs
lola: 25081787 markings, 78058063 edges, 46232 markings/sec, 465 secs
lola: 25294582 markings, 78873530 edges, 42559 markings/sec, 470 secs
lola: 25499890 markings, 79658755 edges, 41062 markings/sec, 475 secs
lola: 25730330 markings, 80491634 edges, 46088 markings/sec, 480 secs
lola: 25927570 markings, 81308115 edges, 39448 markings/sec, 485 secs
lola: 26147935 markings, 82116662 edges, 44073 markings/sec, 490 secs
lola: 26349398 markings, 82924301 edges, 40293 markings/sec, 495 secs
lola: 26546470 markings, 83738185 edges, 39414 markings/sec, 500 secs
lola: 26733474 markings, 84565875 edges, 37401 markings/sec, 505 secs
lola: 26902688 markings, 85384891 edges, 33843 markings/sec, 510 secs
lola: 27172048 markings, 86213549 edges, 53872 markings/sec, 515 secs
lola: 27438352 markings, 87048507 edges, 53261 markings/sec, 520 secs
lola: 27691279 markings, 87869226 edges, 50585 markings/sec, 525 secs
lola: 27942191 markings, 88682177 edges, 50182 markings/sec, 530 secs
lola: 28176504 markings, 89506808 edges, 46863 markings/sec, 535 secs
lola: 28391878 markings, 90341028 edges, 43075 markings/sec, 540 secs
lola: 28617859 markings, 91159342 edges, 45196 markings/sec, 545 secs
lola: 28888488 markings, 91987989 edges, 54126 markings/sec, 550 secs
lola: 29133178 markings, 92803691 edges, 48938 markings/sec, 555 secs
lola: 29390366 markings, 93607013 edges, 51438 markings/sec, 560 secs
lola: 29622550 markings, 94420941 edges, 46437 markings/sec, 565 secs
lola: 29841752 markings, 95248374 edges, 43840 markings/sec, 570 secs
lola: 30051306 markings, 96062321 edges, 41911 markings/sec, 575 secs
lola: 30283130 markings, 96902594 edges, 46365 markings/sec, 580 secs
lola: 30481590 markings, 97723300 edges, 39692 markings/sec, 585 secs
lola: 30703058 markings, 98535260 edges, 44294 markings/sec, 590 secs
lola: 30906580 markings, 99344794 edges, 40704 markings/sec, 595 secs
lola: 31104456 markings, 100162365 edges, 39575 markings/sec, 600 secs
lola: 31292150 markings, 100989026 edges, 37539 markings/sec, 605 secs
lola: 31461592 markings, 101809719 edges, 33888 markings/sec, 610 secs
lola: 31710834 markings, 102631429 edges, 49848 markings/sec, 615 secs
lola: 31967646 markings, 103459121 edges, 51362 markings/sec, 620 secs
lola: 32223102 markings, 104272261 edges, 51091 markings/sec, 625 secs
lola: 32469382 markings, 105081995 edges, 49256 markings/sec, 630 secs
lola: 32704234 markings, 105904507 edges, 46970 markings/sec, 635 secs
lola: 32913956 markings, 106730819 edges, 41944 markings/sec, 640 secs
lola: 33149116 markings, 107546601 edges, 47032 markings/sec, 645 secs
lola: 33411924 markings, 108367639 edges, 52562 markings/sec, 650 secs
lola: 33658852 markings, 109175590 edges, 49386 markings/sec, 655 secs
lola: 33906158 markings, 109970760 edges, 49461 markings/sec, 660 secs
lola: 34135378 markings, 110764934 edges, 45844 markings/sec, 665 secs
lola: 34348714 markings, 111576650 edges, 42667 markings/sec, 670 secs
lola: 34553210 markings, 112368115 edges, 40899 markings/sec, 675 secs
lola: 34779396 markings, 113188016 edges, 45237 markings/sec, 680 secs
lola: 34971836 markings, 113985942 edges, 38488 markings/sec, 685 secs
lola: 35183192 markings, 114764964 edges, 42271 markings/sec, 690 secs
lola: 35389298 markings, 115571755 edges, 41221 markings/sec, 695 secs
lola: 35585812 markings, 116384163 edges, 39303 markings/sec, 700 secs
lola: 35771708 markings, 117195711 edges, 37179 markings/sec, 705 secs
lola: 35938126 markings, 118001975 edges, 33284 markings/sec, 710 secs
lola: 36159492 markings, 118800251 edges, 44273 markings/sec, 715 secs
lola: 36375018 markings, 119604425 edges, 43105 markings/sec, 720 secs
lola: 36566370 markings, 120396660 edges, 38270 markings/sec, 725 secs
lola: 36780823 markings, 121181402 edges, 42891 markings/sec, 730 secs
lola: 36970460 markings, 121960721 edges, 37927 markings/sec, 735 secs
lola: 37160450 markings, 122738438 edges, 37998 markings/sec, 740 secs
lola: 37341360 markings, 123538865 edges, 36182 markings/sec, 745 secs
lola: 37508928 markings, 124350031 edges, 33514 markings/sec, 750 secs
lola: 37724880 markings, 125155985 edges, 43190 markings/sec, 755 secs
lola: 37927042 markings, 125940834 edges, 40432 markings/sec, 760 secs
lola: 38130108 markings, 126734694 edges, 40613 markings/sec, 765 secs
lola: 38342450 markings, 127520614 edges, 42468 markings/sec, 770 secs
lola: 38531528 markings, 128304811 edges, 37816 markings/sec, 775 secs
lola: 38721747 markings, 129121880 edges, 38044 markings/sec, 780 secs
lola: 38893254 markings, 129929557 edges, 34301 markings/sec, 785 secs
lola: 39068295 markings, 130683860 edges, 35008 markings/sec, 790 secs
lola: 39258938 markings, 131504741 edges, 38129 markings/sec, 795 secs
lola: 39426983 markings, 132296072 edges, 33609 markings/sec, 800 secs
lola: 39596418 markings, 133062693 edges, 33887 markings/sec, 805 secs
lola: 39774970 markings, 133836377 edges, 35710 markings/sec, 810 secs
lola: 39933116 markings, 134616662 edges, 31629 markings/sec, 815 secs
lola: 40096868 markings, 135387423 edges, 32750 markings/sec, 820 secs
lola: 40255326 markings, 136185783 edges, 31692 markings/sec, 825 secs
lola: 40397164 markings, 136982080 edges, 28368 markings/sec, 830 secs
lola: 40554362 markings, 137718725 edges, 31440 markings/sec, 835 secs
lola: 40865210 markings, 138575606 edges, 62170 markings/sec, 840 secs
lola: 41195380 markings, 139436911 edges, 66034 markings/sec, 845 secs
lola: 41544196 markings, 140288895 edges, 69763 markings/sec, 850 secs
lola: 41842192 markings, 141147369 edges, 59599 markings/sec, 855 secs
lola: 42099524 markings, 142014288 edges, 51466 markings/sec, 860 secs
lola: 42446210 markings, 142866784 edges, 69337 markings/sec, 865 secs
lola: 42771241 markings, 143723225 edges, 65006 markings/sec, 870 secs
lola: 43096380 markings, 144572951 edges, 65028 markings/sec, 875 secs
lola: 43397243 markings, 145428962 edges, 60173 markings/sec, 880 secs
lola: 43650933 markings, 146279515 edges, 50738 markings/sec, 885 secs
lola: 43944415 markings, 147124053 edges, 58696 markings/sec, 890 secs
lola: 44186912 markings, 147949278 edges, 48499 markings/sec, 895 secs
lola: 44455588 markings, 148765937 edges, 53735 markings/sec, 900 secs
lola: 44691188 markings, 149584086 edges, 47120 markings/sec, 905 secs
lola: 44916132 markings, 150422281 edges, 44989 markings/sec, 910 secs
lola: 45116949 markings, 151247493 edges, 40163 markings/sec, 915 secs
lola: 45454860 markings, 152084893 edges, 67582 markings/sec, 920 secs
lola: 45782752 markings, 152941872 edges, 65578 markings/sec, 925 secs
lola: 46109538 markings, 153792442 edges, 65357 markings/sec, 930 secs
lola: 46411186 markings, 154651053 edges, 60330 markings/sec, 935 secs
lola: 46663422 markings, 155505136 edges, 50447 markings/sec, 940 secs
lola: 47020032 markings, 156352491 edges, 71322 markings/sec, 945 secs
lola: 47346783 markings, 157197266 edges, 65350 markings/sec, 950 secs
lola: 47662967 markings, 158033410 edges, 63237 markings/sec, 955 secs
lola: 47948366 markings, 158892259 edges, 57080 markings/sec, 960 secs
lola: 48216032 markings, 159738262 edges, 53533 markings/sec, 965 secs
lola: 48493792 markings, 160587902 edges, 55552 markings/sec, 970 secs
lola: 48743492 markings, 161420099 edges, 49940 markings/sec, 975 secs
lola: 49003774 markings, 162242518 edges, 52056 markings/sec, 980 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown no unknown no no yes unknown no no unknown no no unknown unknown
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: no unknown no unknown no no yes unknown no no unknown no no unknown unknown
lola:
preliminary result: no unknown no unknown no no yes unknown no no unknown no no unknown unknown
lola: memory consumption: 7522540 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="ShieldPPPs-PT-030A"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2020"
echo " Input is ShieldPPPs-PT-030A, 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-162098231100314"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPs-PT-030A.tgz
mv ShieldPPPs-PT-030A 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 ;