About the Execution of 2020-gold for BART-PT-040
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16254.315 | 3600000.00 | 3558598.00 | 42966.30 | TFFFFFFFFF?FF?FF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r011-tall-162038006300318.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is BART-PT-040, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-tall-162038006300318
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.6M
-rw-r--r-- 1 mcc users 4.2K Mar 20 13:27 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 20 13:27 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.5K Jun 8 09:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Jun 8 09:43 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Jun 8 09:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Jun 8 09:43 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jun 8 09:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Jun 8 09:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Jun 8 09:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Jun 8 09:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 8 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Jun 8 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 20 13:27 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 20 13:27 instance
-rw-r--r-- 1 mcc users 6 Mar 20 13:27 iscolored
-rw-r--r-- 1 mcc users 9.5M Mar 20 13:27 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 BART-PT-040-00
FORMULA_NAME BART-PT-040-01
FORMULA_NAME BART-PT-040-02
FORMULA_NAME BART-PT-040-03
FORMULA_NAME BART-PT-040-04
FORMULA_NAME BART-PT-040-05
FORMULA_NAME BART-PT-040-06
FORMULA_NAME BART-PT-040-07
FORMULA_NAME BART-PT-040-08
FORMULA_NAME BART-PT-040-09
FORMULA_NAME BART-PT-040-10
FORMULA_NAME BART-PT-040-11
FORMULA_NAME BART-PT-040-12
FORMULA_NAME BART-PT-040-13
FORMULA_NAME BART-PT-040-14
FORMULA_NAME BART-PT-040-15
=== Now, execution of the tool begins
BK_START 1623183535930
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-06-08 20:18:57] [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-06-08 20:18:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-06-08 20:18:57] [INFO ] Load time of PNML (sax parser for PT used): 453 ms
[2021-06-08 20:18:57] [INFO ] Transformed 5490 places.
[2021-06-08 20:18:58] [INFO ] Transformed 8080 transitions.
[2021-06-08 20:18:58] [INFO ] Found NUPN structural information;
[2021-06-08 20:18:58] [INFO ] Parsed PT model containing 5490 places and 8080 transitions in 546 ms.
Reduce places removed 210 places and 0 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 77 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 67540 steps, including 0 resets, run visited all 43 properties in 504 ms. (steps per millisecond=134 )
[2021-06-08 20:18:59] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2021-06-08 20:18:59] [INFO ] Flatten gal took : 333 ms
FORMULA BART-PT-040-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-PT-040-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-06-08 20:18:59] [INFO ] Applying decomposition
[2021-06-08 20:18:59] [INFO ] Flatten gal took : 184 ms
[2021-06-08 20:18:59] [INFO ] Decomposing Gal with order
[2021-06-08 20:18:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-06-08 20:19:00] [INFO ] Removed a total of 1148 redundant transitions.
[2021-06-08 20:19:00] [INFO ] Flatten gal took : 391 ms
[2021-06-08 20:19:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 381 labels/synchronizations in 80 ms.
[2021-06-08 20:19:00] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 5 ms.
[2021-06-08 20:19:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 58 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ BART-PT-040 @ 3570 seconds
FORMULA BART-PT-040-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BART-PT-040-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BART-PT-040-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BART-PT-040-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BART-PT-040-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BART-PT-040-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BART-PT-040-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BART-PT-040-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BART-PT-040-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BART-PT-040-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BART-PT-040-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BART-PT-040-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BART-PT-040-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ BART-PT-040
{
"exit":
{
"memory": 7527952,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"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 (X (G (((p1005 <= 0)))))",
"processed_size": 26,
"rewrites": 66
},
"result":
{
"preliminary_value": "no no no no no no no no unknown no no unknown no no "
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
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: 13360/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 5280
lola: finding significant places
lola: 5280 places, 8080 transitions, 5240 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: (p3823 <= 1)
lola: LP says that atomic proposition is always true: (p5096 <= 1)
lola: LP says that atomic proposition is always true: (p2960 <= 1)
lola: LP says that atomic proposition is always true: (p32 <= 1)
lola: LP says that atomic proposition is always true: (p3957 <= 1)
lola: LP says that atomic proposition is always true: (p374 <= 1)
lola: LP says that atomic proposition is always true: (p3280 <= 1)
lola: LP says that atomic proposition is always true: (p31 <= 1)
lola: LP says that atomic proposition is always true: (p797 <= 1)
lola: LP says that atomic proposition is always true: (p596 <= 1)
lola: LP says that atomic proposition is always true: (p25 <= 1)
lola: LP says that atomic proposition is always true: (p2837 <= 1)
lola: LP says that atomic proposition is always true: (p120 <= 1)
lola: LP says that atomic proposition is always true: (p120 <= 1)
lola: LP says that atomic proposition is always true: (p12 <= 1)
lola: LP says that atomic proposition is always true: (p7 <= 1)
lola: LP says that atomic proposition is always true: (p7 <= 1)
lola: LP says that atomic proposition is always true: (p2690 <= 1)
lola: LP says that atomic proposition is always true: (p1972 <= 1)
lola: LP says that atomic proposition is always true: (p2688 <= 1)
lola: LP says that atomic proposition is always true: (p4710 <= 1)
lola: LP says that atomic proposition is always true: (p4918 <= 1)
lola: LP says that atomic proposition is always true: (p523 <= 1)
lola: LP says that atomic proposition is always true: (p4083 <= 1)
lola: LP says that atomic proposition is always true: (p4730 <= 1)
lola: LP says that atomic proposition is always true: (p3783 <= 1)
lola: LP says that atomic proposition is always true: (p2335 <= 1)
lola: LP says that atomic proposition is always true: (p777 <= 1)
lola: LP says that atomic proposition is always true: (p35 <= 1)
lola: LP says that atomic proposition is always true: (p3348 <= 1)
lola: LP says that atomic proposition is always true: (p2270 <= 1)
lola: LP says that atomic proposition is always true: (p2116 <= 1)
lola: LP says that atomic proposition is always true: (p1085 <= 1)
lola: LP says that atomic proposition is always true: (p2116 <= 1)
lola: LP says that atomic proposition is always true: (p21 <= 1)
lola: LP says that atomic proposition is always true: (p3787 <= 1)
lola: LP says that atomic proposition is always true: (p1005 <= 1)
lola: LP says that atomic proposition is always true: (p3825 <= 1)
lola: LP says that atomic proposition is always true: (p4612 <= 1)
lola: LP says that atomic proposition is always true: (p4328 <= 1)
lola: LP says that atomic proposition is always true: (p2164 <= 1)
lola: LP says that atomic proposition is always true: (p742 <= 1)
lola: LP says that atomic proposition is always true: (p4977 <= 1)
lola: LP says that atomic proposition is always true: (p4974 <= 1)
lola: LP says that atomic proposition is always true: (p742 <= 1)
lola: LP says that atomic proposition is always true: (p4974 <= 1)
lola: G ((G (F (G (((X (G (F (((p3823 <= 0))))) OR ((1 <= p5096))) OR ((1 <= p2960)))))) OR ((1 <= p32)))) : ((X (F (((p3957 <= 0)))) U ((1 <= p374) AND (1 <= p3280))) OR G (((1 <= p31)))) : G ((F (((1 <= p797))) AND (((1 <= p596)) OR ((1 <= p25))))) : X ((NOT(G (((1 <= p2837)))) OR (X (F (((1 <= p120)))) AND G (((1 <= p120)))))) : X (X ((X (X (F (G ((((1 <= p12)) U ((1 <= p7))))))) U ((1 <= p7))))) : G ((NOT((((1 <= p2690)) U ((1 <= p1972)))) OR ((1 <= p2688)))) : ((NOT(G ((((1 <= p4710)) U X (X (((1 <= p4918))))))) OR F (X (F (((1 <= p523)))))) OR ((1 <= p4083))) : X (F (((1 <= p4730)))) : X (X ((F (NOT(F (X (((1 <= p3783)))))) AND ((p2335 <= 0))))) : (G ((NOT(G (((1 <= p777)))) OR (NOT(G (((1 <= p35)))) AND ((p3348 <= 0))))) U F (X (((1 <= p2270))))) : (((1 <= p2116) AND ((p1085 <= 0))) U F (((((1 <= p2116)) U ((p21 <= 0))) AND ((1 <= p3787))))) : G (X (NOT(X (F (((1 <= p1005))))))) : F (((((p3825 <= 0)) U F (((1 <= p4612)))) OR G ((((1 <= p4328)) OR ((1 <= p2164)))))) : (X (F ((((1 <= p742)) U ((1 <= p4977))))) AND NOT(F (((G (X (((1 <= p4974)))) AND ((1 <= p742))) AND ((1 <= p4974))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:254
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:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:422
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:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:353
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:329
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: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 243 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((X (F (((p3957 <= 0)))) U ((1 <= p374) AND (1 <= p3280))) OR G (((1 <= p31))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 243 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((1 <= p31)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((1 <= p31)))
lola: processed formula length: 16
lola: 66 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: 1597 markings, 2120 edges
lola: ========================================
lola: subprocess 1 will run for 261 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (F (((p3957 <= 0)))) U ((1 <= p374) AND (1 <= p3280)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X (F (((p3957 <= 0)))) U ((1 <= p374) AND (1 <= p3280)))
lola: processed formula length: 57
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 785 markings, 786 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 1 will run for 261 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((F (((p2837 <= 0))) OR (X (F (((1 <= p120)))) AND G (((1 <= p120))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((F (((p2837 <= 0))) OR (X (F (((1 <= p120)))) AND G (((1 <= p120))))))
lola: processed formula length: 73
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 3152 markings, 3152 edges
lola: ========================================
lola: subprocess 2 will run for 283 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X ((((1 <= p7)) OR (F (((1 <= p7))) AND F (G ((F (((1 <= p7))) AND (((1 <= p12)) OR ((1 <= p7))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X ((((1 <= p7)) OR (F (((1 <= p7))) AND F (G ((F (((1 <= p7))) AND (((1 <= p12)) OR ((1 <= p7))))))))))
lola: processed formula length: 106
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 415 markings, 415 edges
lola: ========================================
lola: subprocess 3 will run for 309 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F ((G (((p4918 <= 0))) OR (((p4710 <= 0)) AND X (X (((p4918 <= 0))))))) OR (X (F (((1 <= p523)))) OR ((1 <= p4083))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 309 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p4083))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p4083))
lola: processed formula length: 14
lola: 66 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 4 will run for 340 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F (((1 <= p523))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((1 <= p523))))
lola: processed formula length: 21
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 393 markings, 393 edges
lola: ========================================
lola: subprocess 5 will run for 378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((G (((p4918 <= 0))) OR (((p4710 <= 0)) AND X (X (((p4918 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((G (((p4918 <= 0))) OR (((p4710 <= 0)) AND X (X (((p4918 <= 0)))))))
lola: processed formula length: 71
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 90670 markings, 92788 edges, 18134 markings/sec, 0 secs
lola: 177580 markings, 186199 edges, 17382 markings/sec, 5 secs
lola: 254192 markings, 272536 edges, 15322 markings/sec, 10 secs
lola: 328148 markings, 360092 edges, 14791 markings/sec, 15 secs
lola: 397748 markings, 447045 edges, 13920 markings/sec, 20 secs
lola: 465748 markings, 536881 edges, 13600 markings/sec, 25 secs
lola: 530555 markings, 627847 edges, 12961 markings/sec, 30 secs
lola: 597480 markings, 728287 edges, 13385 markings/sec, 35 secs
lola: 662258 markings, 833683 edges, 12956 markings/sec, 40 secs
lola: 722758 markings, 940940 edges, 12100 markings/sec, 45 secs
lola: 778287 markings, 1049849 edges, 11106 markings/sec, 50 secs
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: 802028 markings, 1100042 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 4 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F (((1 <= p4730))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((1 <= p4730))))
lola: processed formula length: 22
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 393 markings, 393 edges
lola: ========================================
lola: subprocess 5 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X ((F (G (((p3783 <= 0)))) AND ((p2335 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X ((F (G (((p3783 <= 0)))) AND ((p2335 <= 0)))))
lola: processed formula length: 51
lola: 66 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: 80064 markings, 121671 edges, 16013 markings/sec, 0 secs
lola: 155894 markings, 243926 edges, 15166 markings/sec, 5 secs
lola: 231339 markings, 366372 edges, 15089 markings/sec, 10 secs
lola: 304161 markings, 488597 edges, 14564 markings/sec, 15 secs
lola: 377835 markings, 611363 edges, 14735 markings/sec, 20 secs
lola: 453539 markings, 736769 edges, 15141 markings/sec, 25 secs
lola: 524688 markings, 858553 edges, 14230 markings/sec, 30 secs
lola: 595785 markings, 981211 edges, 14219 markings/sec, 35 secs
lola: 665755 markings, 1104300 edges, 13994 markings/sec, 40 secs
lola: 739207 markings, 1225616 edges, 14690 markings/sec, 45 secs
lola: 811419 markings, 1346814 edges, 14442 markings/sec, 50 secs
lola: 883953 markings, 1470421 edges, 14507 markings/sec, 55 secs
lola: 955808 markings, 1594865 edges, 14371 markings/sec, 60 secs
lola: 1025412 markings, 1718817 edges, 13921 markings/sec, 65 secs
lola: 1097376 markings, 1842199 edges, 14393 markings/sec, 70 secs
lola: 1167729 markings, 1966120 edges, 14071 markings/sec, 75 secs
lola: 1237422 markings, 2089844 edges, 13939 markings/sec, 80 secs
lola: 1305331 markings, 2213626 edges, 13582 markings/sec, 85 secs
lola: 1374845 markings, 2337829 edges, 13903 markings/sec, 90 secs
lola: 1449812 markings, 2461205 edges, 14993 markings/sec, 95 secs
lola: 1522079 markings, 2585595 edges, 14453 markings/sec, 100 secs
lola: 1595528 markings, 2709928 edges, 14690 markings/sec, 105 secs
lola: 1665946 markings, 2833940 edges, 14084 markings/sec, 110 secs
lola: 1737346 markings, 2957211 edges, 14280 markings/sec, 115 secs
lola: 1808050 markings, 3080383 edges, 14141 markings/sec, 120 secs
lola: 1877801 markings, 3205060 edges, 13950 markings/sec, 125 secs
lola: 1947563 markings, 3330462 edges, 13952 markings/sec, 130 secs
lola: 2014806 markings, 3455076 edges, 13449 markings/sec, 135 secs
lola: 2087287 markings, 3579676 edges, 14496 markings/sec, 140 secs
lola: 2158760 markings, 3704904 edges, 14295 markings/sec, 145 secs
lola: 2229046 markings, 3830085 edges, 14057 markings/sec, 150 secs
lola: 2297966 markings, 3954817 edges, 13784 markings/sec, 155 secs
lola: 2365442 markings, 4080835 edges, 13495 markings/sec, 160 secs
lola: 2436095 markings, 4206116 edges, 14131 markings/sec, 165 secs
lola: 2504009 markings, 4330699 edges, 13583 markings/sec, 170 secs
lola: 2571036 markings, 4455436 edges, 13405 markings/sec, 175 secs
lola: 2637418 markings, 4580339 edges, 13276 markings/sec, 180 secs
lola: 2702185 markings, 4705440 edges, 12953 markings/sec, 185 secs
lola: 2778403 markings, 4829619 edges, 15244 markings/sec, 190 secs
lola: 2852338 markings, 4954460 edges, 14787 markings/sec, 195 secs
lola: 2925265 markings, 5078355 edges, 14585 markings/sec, 200 secs
lola: 2995895 markings, 5202257 edges, 14126 markings/sec, 205 secs
lola: 3067085 markings, 5326443 edges, 14238 markings/sec, 210 secs
lola: 3138716 markings, 5450505 edges, 14326 markings/sec, 215 secs
lola: 3208239 markings, 5575098 edges, 13905 markings/sec, 220 secs
lola: 3278240 markings, 5699453 edges, 14000 markings/sec, 225 secs
lola: 3346583 markings, 5824911 edges, 13669 markings/sec, 230 secs
lola: 3417833 markings, 5950030 edges, 14250 markings/sec, 235 secs
lola: 3489648 markings, 6074987 edges, 14363 markings/sec, 240 secs
lola: 3559736 markings, 6200291 edges, 14018 markings/sec, 245 secs
lola: 3629412 markings, 6325521 edges, 13935 markings/sec, 250 secs
lola: 3697152 markings, 6451079 edges, 13548 markings/sec, 255 secs
lola: 3767383 markings, 6576190 edges, 14046 markings/sec, 260 secs
lola: 3835698 markings, 6701256 edges, 13663 markings/sec, 265 secs
lola: 3903178 markings, 6826352 edges, 13496 markings/sec, 270 secs
lola: 3969688 markings, 6951515 edges, 13302 markings/sec, 275 secs
lola: 4034570 markings, 7076960 edges, 12976 markings/sec, 280 secs
lola: 4106721 markings, 7201586 edges, 14430 markings/sec, 285 secs
lola: 4177869 markings, 7326207 edges, 14230 markings/sec, 290 secs
lola: 4247931 markings, 7451001 edges, 14012 markings/sec, 295 secs
lola: 4316982 markings, 7576022 edges, 13810 markings/sec, 300 secs
lola: 4384086 markings, 7701233 edges, 13421 markings/sec, 305 secs
lola: 4454435 markings, 7826026 edges, 14070 markings/sec, 310 secs
lola: 4522608 markings, 7951047 edges, 13635 markings/sec, 315 secs
lola: 4589868 markings, 8076311 edges, 13452 markings/sec, 320 secs
lola: 4656486 markings, 8201563 edges, 13324 markings/sec, 325 secs
lola: 4721188 markings, 8327091 edges, 12940 markings/sec, 330 secs
lola: 4791245 markings, 8451430 edges, 14011 markings/sec, 335 secs
lola: 4859441 markings, 8576567 edges, 13639 markings/sec, 340 secs
lola: 4926691 markings, 8701799 edges, 13450 markings/sec, 345 secs
lola: 4993369 markings, 8827156 edges, 13336 markings/sec, 350 secs
lola: 5057934 markings, 8952748 edges, 12913 markings/sec, 355 secs
lola: 5125600 markings, 9077858 edges, 13533 markings/sec, 360 secs
lola: 5191302 markings, 9203223 edges, 13140 markings/sec, 365 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no no unknown no no unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4537776 KB
lola: time consumption: 594 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (F (((1 <= p2270)))) OR (G ((F (((p777 <= 0))) OR (F (((p35 <= 0))) AND ((p3348 <= 0))))) AND X (F (((1 <= p2270))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F (((p777 <= 0))) OR (F (((p35 <= 0))) AND ((p3348 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (((p777 <= 0))) OR (F (((p35 <= 0))) AND ((p3348 <= 0)))))
lola: processed formula length: 64
lola: 66 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: 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: 7834 markings, 11946 edges
lola: ========================================
lola: subprocess 7 will run for 425 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F (((1 <= p2270))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((1 <= p2270))))
lola: processed formula length: 22
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 393 markings, 393 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: subprocess 7 will run for 425 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (G (((p1005 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (G (((p1005 <= 0)))))
lola: processed formula length: 26
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 81314 markings, 123662 edges, 16263 markings/sec, 0 secs
lola: 158379 markings, 247983 edges, 15413 markings/sec, 5 secs
lola: 234949 markings, 372406 edges, 15314 markings/sec, 10 secs
lola: 309173 markings, 496952 edges, 14845 markings/sec, 15 secs
lola: 384008 markings, 621721 edges, 14967 markings/sec, 20 secs
lola: 459452 markings, 746804 edges, 15089 markings/sec, 25 secs
lola: 532746 markings, 872153 edges, 14659 markings/sec, 30 secs
lola: 605625 markings, 997545 edges, 14576 markings/sec, 35 secs
lola: 675950 markings, 1123335 edges, 14065 markings/sec, 40 secs
lola: 752224 markings, 1247449 edges, 15255 markings/sec, 45 secs
lola: 826143 markings, 1372214 edges, 14784 markings/sec, 50 secs
lola: 899523 markings, 1496938 edges, 14676 markings/sec, 55 secs
lola: 970963 markings, 1621830 edges, 14288 markings/sec, 60 secs
lola: 1042276 markings, 1746794 edges, 14263 markings/sec, 65 secs
lola: 1114527 markings, 1871466 edges, 14450 markings/sec, 70 secs
lola: 1184017 markings, 1996706 edges, 13898 markings/sec, 75 secs
lola: 1255023 markings, 2121723 edges, 14201 markings/sec, 80 secs
lola: 1323382 markings, 2247075 edges, 13672 markings/sec, 85 secs
lola: 1395729 markings, 2371869 edges, 14469 markings/sec, 90 secs
lola: 1470712 markings, 2496247 edges, 14997 markings/sec, 95 secs
lola: 1543708 markings, 2620919 edges, 14599 markings/sec, 100 secs
lola: 1616054 markings, 2745620 edges, 14469 markings/sec, 105 secs
lola: 1685747 markings, 2870482 edges, 13939 markings/sec, 110 secs
lola: 1759226 markings, 2995007 edges, 14696 markings/sec, 115 secs
lola: 1830116 markings, 3119705 edges, 14178 markings/sec, 120 secs
lola: 1900138 markings, 3244710 edges, 14004 markings/sec, 125 secs
lola: 1969372 markings, 3369788 edges, 13847 markings/sec, 130 secs
lola: 2037521 markings, 3495169 edges, 13630 markings/sec, 135 secs
lola: 2109953 markings, 3619970 edges, 14486 markings/sec, 140 secs
lola: 2180964 markings, 3745100 edges, 14202 markings/sec, 145 secs
lola: 2251502 markings, 3870202 edges, 14108 markings/sec, 150 secs
lola: 2319913 markings, 3995588 edges, 13682 markings/sec, 155 secs
lola: 2388724 markings, 4120869 edges, 13762 markings/sec, 160 secs
lola: 2458144 markings, 4246069 edges, 13884 markings/sec, 165 secs
lola: 2525326 markings, 4371503 edges, 13436 markings/sec, 170 secs
lola: 2593297 markings, 4496853 edges, 13594 markings/sec, 175 secs
lola: 2659413 markings, 4622739 edges, 13223 markings/sec, 180 secs
lola: 2729195 markings, 4748103 edges, 13956 markings/sec, 185 secs
lola: 2804459 markings, 4872615 edges, 15053 markings/sec, 190 secs
lola: 2877451 markings, 4997508 edges, 14598 markings/sec, 195 secs
lola: 2949924 markings, 5122292 edges, 14495 markings/sec, 200 secs
lola: 3021032 markings, 5247473 edges, 14222 markings/sec, 205 secs
lola: 3093973 markings, 5372378 edges, 14588 markings/sec, 210 secs
lola: 3165246 markings, 5497370 edges, 14255 markings/sec, 215 secs
lola: 3235572 markings, 5622529 edges, 14065 markings/sec, 220 secs
lola: 3304893 markings, 5747786 edges, 13864 markings/sec, 225 secs
lola: 3371885 markings, 5873474 edges, 13398 markings/sec, 230 secs
lola: 3445539 markings, 5998089 edges, 14731 markings/sec, 235 secs
lola: 3516557 markings, 6123227 edges, 14204 markings/sec, 240 secs
lola: 3586908 markings, 6248242 edges, 14070 markings/sec, 245 secs
lola: 3655791 markings, 6373395 edges, 13777 markings/sec, 250 secs
lola: 3723898 markings, 6498988 edges, 13621 markings/sec, 255 secs
lola: 3793364 markings, 6624082 edges, 13893 markings/sec, 260 secs
lola: 3861357 markings, 6749220 edges, 13599 markings/sec, 265 secs
lola: 3929072 markings, 6874458 edges, 13543 markings/sec, 270 secs
lola: 3995135 markings, 6999829 edges, 13213 markings/sec, 275 secs
lola: 4062019 markings, 7125293 edges, 13377 markings/sec, 280 secs
lola: 4134387 markings, 7249856 edges, 14474 markings/sec, 285 secs
lola: 4204545 markings, 7374746 edges, 14032 markings/sec, 290 secs
lola: 4274832 markings, 7499382 edges, 14057 markings/sec, 295 secs
lola: 4343235 markings, 7624388 edges, 13681 markings/sec, 300 secs
lola: 4411846 markings, 7749334 edges, 13722 markings/sec, 305 secs
lola: 4481046 markings, 7874214 edges, 13840 markings/sec, 310 secs
lola: 4547606 markings, 7999341 edges, 13312 markings/sec, 315 secs
lola: 4615754 markings, 8124375 edges, 13630 markings/sec, 320 secs
lola: 4681468 markings, 8249694 edges, 13143 markings/sec, 325 secs
lola: 4748740 markings, 8374860 edges, 13454 markings/sec, 330 secs
lola: 4817915 markings, 8499742 edges, 13835 markings/sec, 335 secs
lola: 4884449 markings, 8624972 edges, 13307 markings/sec, 340 secs
lola: 4952624 markings, 8749979 edges, 13635 markings/sec, 345 secs
lola: 5018395 markings, 8875425 edges, 13154 markings/sec, 350 secs
lola: 5084475 markings, 9000822 edges, 13216 markings/sec, 355 secs
lola: 5151146 markings, 9126139 edges, 13334 markings/sec, 360 secs
lola: 5215682 markings, 9251675 edges, 12907 markings/sec, 365 secs
lola: 5281055 markings, 9376905 edges, 13075 markings/sec, 370 secs
lola: 5344461 markings, 9502511 edges, 12681 markings/sec, 375 secs
lola: 5411038 markings, 9628090 edges, 13315 markings/sec, 380 secs
lola: 5486512 markings, 9752240 edges, 15095 markings/sec, 385 secs
lola: 5559031 markings, 9877018 edges, 14504 markings/sec, 390 secs
lola: 5632444 markings, 10001353 edges, 14683 markings/sec, 395 secs
lola: 5703323 markings, 10126287 edges, 14176 markings/sec, 400 secs
lola: 5775587 markings, 10250844 edges, 14453 markings/sec, 405 secs
lola: 5846970 markings, 10375460 edges, 14277 markings/sec, 410 secs
lola: 5917054 markings, 10500401 edges, 14017 markings/sec, 415 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no no unknown no no unknown no unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown no unknown no no unknown no no unknown no unknown unknown unknown unknown
lola: memory consumption: 5175048 KB
lola: time consumption: 1020 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 425 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (F (((1 <= p4977)))) AND G ((X (F (((p4974 <= 0)))) OR (((p742 <= 0)) OR ((p4974 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 425 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F (((1 <= p4977))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((1 <= p4977))))
lola: processed formula length: 22
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 393 markings, 393 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 9 will run for 510 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((((1 <= p2116)) U ((p21 <= 0))) AND ((1 <= p3787))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (((((1 <= p2116)) U ((p21 <= 0))) AND ((1 <= p3787))))
lola: processed formula length: 56
lola: 66 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: 22 markings, 22 edges
lola: ========================================
lola: subprocess 10 will run for 637 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F (((1 <= p797))) AND (((1 <= p596)) OR ((1 <= p25)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (((1 <= p797))) AND (((1 <= p596)) OR ((1 <= p25)))))
lola: processed formula length: 60
lola: 66 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: 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: 12 markings, 12 edges
lola: ========================================
lola: subprocess 11 will run for 850 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((F (((1 <= p4612))) OR G ((((1 <= p4328)) OR ((1 <= p2164))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((F (((1 <= p4612))) OR G ((((1 <= p4328)) OR ((1 <= p2164))))))
lola: processed formula length: 67
lola: 66 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: 12 markings, 12 edges
lola: ========================================
lola: subprocess 12 will run for 1275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((((p2690 <= 0)) R ((p1972 <= 0))) OR ((1 <= p2688))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((((p2690 <= 0)) R ((p1972 <= 0))) OR ((1 <= p2688))))
lola: processed formula length: 57
lola: 66 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: 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: 38893 markings, 52902 edges
lola: ========================================
lola: subprocess 13 will run for 2547 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F (G ((G (F (((p3823 <= 0)))) OR (((1 <= p5096)) OR ((1 <= p2960)))))) OR ((1 <= p32))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (G ((G (F (((p3823 <= 0)))) OR (((1 <= p5096)) OR ((1 <= p2960)))))) OR ((1 <= p32))))
lola: processed formula length: 92
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 40243 markings, 55126 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: X (X ((F (G (((p3783 <= 0)))) AND ((p2335 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X ((F (G (((p3783 <= 0)))) AND ((p2335 <= 0)))))
lola: processed formula length: 51
lola: 66 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: 81151 markings, 123429 edges, 16230 markings/sec, 0 secs
lola: 158104 markings, 247523 edges, 15391 markings/sec, 5 secs
lola: 234538 markings, 371728 edges, 15287 markings/sec, 10 secs
lola: 308751 markings, 496232 edges, 14843 markings/sec, 15 secs
lola: 383550 markings, 620912 edges, 14960 markings/sec, 20 secs
lola: 458841 markings, 745791 edges, 15058 markings/sec, 25 secs
lola: 532144 markings, 871118 edges, 14661 markings/sec, 30 secs
lola: 604994 markings, 996445 edges, 14570 markings/sec, 35 secs
lola: 675312 markings, 1122126 edges, 14064 markings/sec, 40 secs
lola: 751666 markings, 1246463 edges, 15271 markings/sec, 45 secs
lola: 825602 markings, 1371224 edges, 14787 markings/sec, 50 secs
lola: 898972 markings, 1496004 edges, 14674 markings/sec, 55 secs
lola: 970511 markings, 1620994 edges, 14308 markings/sec, 60 secs
lola: 1041897 markings, 1746116 edges, 14277 markings/sec, 65 secs
lola: 1114196 markings, 1870880 edges, 14460 markings/sec, 70 secs
lola: 1183351 markings, 1995371 edges, 13831 markings/sec, 75 secs
lola: 1254040 markings, 2119878 edges, 14138 markings/sec, 80 secs
lola: 1322105 markings, 2244715 edges, 13613 markings/sec, 85 secs
lola: 1393884 markings, 2368908 edges, 14356 markings/sec, 90 secs
lola: 1468097 markings, 2491888 edges, 14843 markings/sec, 95 secs
lola: 1540224 markings, 2615163 edges, 14425 markings/sec, 100 secs
lola: 1611909 markings, 2738541 edges, 14337 markings/sec, 105 secs
lola: 1681644 markings, 2862700 edges, 13947 markings/sec, 110 secs
lola: 1754365 markings, 2986610 edges, 14544 markings/sec, 115 secs
lola: 1825063 markings, 3110728 edges, 14140 markings/sec, 120 secs
lola: 1894786 markings, 3234941 edges, 13945 markings/sec, 125 secs
lola: 1964741 markings, 3361424 edges, 13991 markings/sec, 130 secs
lola: 2033413 markings, 3488482 edges, 13734 markings/sec, 135 secs
lola: 2107247 markings, 3615035 edges, 14767 markings/sec, 140 secs
lola: 2179008 markings, 3741495 edges, 14352 markings/sec, 145 secs
lola: 2250329 markings, 3868012 edges, 14264 markings/sec, 150 secs
lola: 2319363 markings, 3994584 edges, 13807 markings/sec, 155 secs
lola: 2388252 markings, 4120079 edges, 13778 markings/sec, 160 secs
lola: 2457642 markings, 4245178 edges, 13878 markings/sec, 165 secs
lola: 2524809 markings, 4370540 edges, 13433 markings/sec, 170 secs
lola: 2592655 markings, 4495664 edges, 13569 markings/sec, 175 secs
lola: 2658489 markings, 4621057 edges, 13167 markings/sec, 180 secs
lola: 2728094 markings, 4746262 edges, 13921 markings/sec, 185 secs
lola: 2803123 markings, 4870531 edges, 15006 markings/sec, 190 secs
lola: 2876154 markings, 4995403 edges, 14606 markings/sec, 195 secs
lola: 2948736 markings, 5120014 edges, 14516 markings/sec, 200 secs
lola: 3019830 markings, 5245258 edges, 14219 markings/sec, 205 secs
lola: 3092523 markings, 5369875 edges, 14539 markings/sec, 210 secs
lola: 3163631 markings, 5494604 edges, 14222 markings/sec, 215 secs
lola: 3233899 markings, 5619649 edges, 14054 markings/sec, 220 secs
lola: 3303245 markings, 5744725 edges, 13869 markings/sec, 225 secs
lola: 3370084 markings, 5870348 edges, 13368 markings/sec, 230 secs
lola: 3443673 markings, 5994760 edges, 14718 markings/sec, 235 secs
lola: 3514448 markings, 6119299 edges, 14155 markings/sec, 240 secs
lola: 3584504 markings, 6244054 edges, 14011 markings/sec, 245 secs
lola: 3653409 markings, 6368932 edges, 13781 markings/sec, 250 secs
lola: 3721121 markings, 6494130 edges, 13542 markings/sec, 255 secs
lola: 3790551 markings, 6619176 edges, 13886 markings/sec, 260 secs
lola: 3858827 markings, 6744420 edges, 13655 markings/sec, 265 secs
lola: 3926428 markings, 6869539 edges, 13520 markings/sec, 270 secs
lola: 3992386 markings, 6994496 edges, 13192 markings/sec, 275 secs
lola: 4058611 markings, 7119569 edges, 13245 markings/sec, 280 secs
lola: 4130776 markings, 7243880 edges, 14433 markings/sec, 285 secs
lola: 4201025 markings, 7368314 edges, 14050 markings/sec, 290 secs
lola: 4271324 markings, 7492767 edges, 14060 markings/sec, 295 secs
lola: 4339595 markings, 7617800 edges, 13654 markings/sec, 300 secs
lola: 4408162 markings, 7742699 edges, 13713 markings/sec, 305 secs
lola: 4477244 markings, 7867336 edges, 13816 markings/sec, 310 secs
lola: 4544125 markings, 7992330 edges, 13376 markings/sec, 315 secs
lola: 4611999 markings, 8117385 edges, 13575 markings/sec, 320 secs
lola: 4677833 markings, 8242824 edges, 13167 markings/sec, 325 secs
lola: 4745058 markings, 8368286 edges, 13445 markings/sec, 330 secs
lola: 4814407 markings, 8493357 edges, 13870 markings/sec, 335 secs
lola: 4881363 markings, 8618642 edges, 13391 markings/sec, 340 secs
lola: 4949445 markings, 8743979 edges, 13616 markings/sec, 345 secs
lola: 5015376 markings, 8869633 edges, 13186 markings/sec, 350 secs
lola: 5081620 markings, 8995426 edges, 13249 markings/sec, 355 secs
lola: 5148447 markings, 9121146 edges, 13365 markings/sec, 360 secs
lola: 5213427 markings, 9247034 edges, 12996 markings/sec, 365 secs
lola: 5278745 markings, 9372379 edges, 13064 markings/sec, 370 secs
lola: 5342308 markings, 9498080 edges, 12713 markings/sec, 375 secs
lola: 5408366 markings, 9623770 edges, 13212 markings/sec, 380 secs
lola: 5483922 markings, 9748119 edges, 15111 markings/sec, 385 secs
lola: 5556555 markings, 9872968 edges, 14527 markings/sec, 390 secs
lola: 5630409 markings, 9997772 edges, 14771 markings/sec, 395 secs
lola: 5701414 markings, 10122736 edges, 14201 markings/sec, 400 secs
lola: 5773615 markings, 10247506 edges, 14440 markings/sec, 405 secs
lola: 5845221 markings, 10372265 edges, 14321 markings/sec, 410 secs
lola: 5915172 markings, 10497274 edges, 13990 markings/sec, 415 secs
lola: 5984557 markings, 10622003 edges, 13877 markings/sec, 420 secs
lola: 6052196 markings, 10747401 edges, 13528 markings/sec, 425 secs
lola: 6124698 markings, 10872042 edges, 14500 markings/sec, 430 secs
lola: 6195895 markings, 10996758 edges, 14239 markings/sec, 435 secs
lola: 6266129 markings, 11121849 edges, 14047 markings/sec, 440 secs
lola: 6335263 markings, 11247028 edges, 13827 markings/sec, 445 secs
lola: 6402612 markings, 11372643 edges, 13470 markings/sec, 450 secs
lola: 6473148 markings, 11497797 edges, 14107 markings/sec, 455 secs
lola: 6541463 markings, 11623144 edges, 13663 markings/sec, 460 secs
lola: 6608874 markings, 11748654 edges, 13482 markings/sec, 465 secs
lola: 6675697 markings, 11874319 edges, 13365 markings/sec, 470 secs
lola: 6740992 markings, 12000135 edges, 13059 markings/sec, 475 secs
lola: 6814329 markings, 12125367 edges, 14667 markings/sec, 480 secs
lola: 6885929 markings, 12251593 edges, 14320 markings/sec, 485 secs
lola: 6957171 markings, 12378055 edges, 14248 markings/sec, 490 secs
lola: 7026439 markings, 12504600 edges, 13854 markings/sec, 495 secs
lola: 7095815 markings, 12631482 edges, 13875 markings/sec, 500 secs
lola: 7165879 markings, 12757812 edges, 14013 markings/sec, 505 secs
lola: 7233518 markings, 12883772 edges, 13528 markings/sec, 510 secs
lola: 7301649 markings, 13009442 edges, 13626 markings/sec, 515 secs
lola: 7367032 markings, 13134045 edges, 13077 markings/sec, 520 secs
lola: 7433562 markings, 13258524 edges, 13306 markings/sec, 525 secs
lola: 7502377 markings, 13382619 edges, 13763 markings/sec, 530 secs
lola: 7568859 markings, 13506343 edges, 13296 markings/sec, 535 secs
lola: 7635963 markings, 13630046 edges, 13421 markings/sec, 540 secs
lola: 7701511 markings, 13755211 edges, 13110 markings/sec, 545 secs
lola: 7766849 markings, 13879514 edges, 13068 markings/sec, 550 secs
lola: 7833791 markings, 14005230 edges, 13388 markings/sec, 555 secs
lola: 7900463 markings, 14133662 edges, 13334 markings/sec, 560 secs
lola: 7965766 markings, 14259174 edges, 13061 markings/sec, 565 secs
lola: 8028965 markings, 14383824 edges, 12640 markings/sec, 570 secs
lola: 8094503 markings, 14511667 edges, 13108 markings/sec, 575 secs
lola: 8167704 markings, 14637646 edges, 14640 markings/sec, 580 secs
lola: 8238217 markings, 14762644 edges, 14103 markings/sec, 585 secs
lola: 8308365 markings, 14886844 edges, 14030 markings/sec, 590 secs
lola: 8376520 markings, 15011636 edges, 13631 markings/sec, 595 secs
lola: 8445886 markings, 15137985 edges, 13873 markings/sec, 600 secs
lola: 8515632 markings, 15263828 edges, 13949 markings/sec, 605 secs
lola: 8582891 markings, 15389906 edges, 13452 markings/sec, 610 secs
lola: 8651265 markings, 15515565 edges, 13675 markings/sec, 615 secs
lola: 8717402 markings, 15641700 edges, 13227 markings/sec, 620 secs
lola: 8784555 markings, 15766778 edges, 13431 markings/sec, 625 secs
lola: 8854159 markings, 15892349 edges, 13921 markings/sec, 630 secs
lola: 8920259 markings, 16016597 edges, 13220 markings/sec, 635 secs
lola: 8987572 markings, 16140055 edges, 13463 markings/sec, 640 secs
lola: 9052942 markings, 16264769 edges, 13074 markings/sec, 645 secs
lola: 9118466 markings, 16389157 edges, 13105 markings/sec, 650 secs
lola: 9184476 markings, 16513378 edges, 13202 markings/sec, 655 secs
lola: 9248962 markings, 16638144 edges, 12897 markings/sec, 660 secs
lola: 9314027 markings, 16762991 edges, 13013 markings/sec, 665 secs
lola: 9377377 markings, 16888187 edges, 12670 markings/sec, 670 secs
lola: 9441024 markings, 17013040 edges, 12729 markings/sec, 675 secs
lola: 9509943 markings, 17137348 edges, 13784 markings/sec, 680 secs
lola: 9578141 markings, 17262437 edges, 13640 markings/sec, 685 secs
lola: 9644620 markings, 17385347 edges, 13296 markings/sec, 690 secs
lola: 9709772 markings, 17508865 edges, 13030 markings/sec, 695 secs
lola: 9774036 markings, 17632767 edges, 12853 markings/sec, 700 secs
lola: 9840315 markings, 17756349 edges, 13256 markings/sec, 705 secs
lola: 9905946 markings, 17881713 edges, 13126 markings/sec, 710 secs
lola: 9970423 markings, 18006440 edges, 12895 markings/sec, 715 secs
lola: 10033442 markings, 18129870 edges, 12604 markings/sec, 720 secs
lola: 10095198 markings, 18255049 edges, 12351 markings/sec, 725 secs
lola: 10161561 markings, 18377805 edges, 13273 markings/sec, 730 secs
lola: 10226126 markings, 18500788 edges, 12913 markings/sec, 735 secs
lola: 10290863 markings, 18625796 edges, 12947 markings/sec, 740 secs
lola: 10355526 markings, 18752311 edges, 12933 markings/sec, 745 secs
lola: 10418254 markings, 18877464 edges, 12546 markings/sec, 750 secs
lola: 10481876 markings, 19001360 edges, 12724 markings/sec, 755 secs
lola: 10545075 markings, 19125547 edges, 12640 markings/sec, 760 secs
lola: 10605901 markings, 19249213 edges, 12165 markings/sec, 765 secs
lola: 10667982 markings, 19372755 edges, 12416 markings/sec, 770 secs
lola: 10728131 markings, 19496669 edges, 12030 markings/sec, 775 secs
lola: 10792859 markings, 19621838 edges, 12946 markings/sec, 780 secs
lola: 10867639 markings, 19744835 edges, 14956 markings/sec, 785 secs
lola: 10938315 markings, 19866483 edges, 14135 markings/sec, 790 secs
lola: 11010947 markings, 19989097 edges, 14526 markings/sec, 795 secs
lola: 11080909 markings, 20112157 edges, 13992 markings/sec, 800 secs
lola: 11151003 markings, 20233925 edges, 14019 markings/sec, 805 secs
lola: 11220820 markings, 20354847 edges, 13963 markings/sec, 810 secs
lola: 11289274 markings, 20477325 edges, 13691 markings/sec, 815 secs
lola: 11357620 markings, 20600097 edges, 13669 markings/sec, 820 secs
lola: 11423793 markings, 20721581 edges, 13235 markings/sec, 825 secs
lola: 11494806 markings, 20845296 edges, 14203 markings/sec, 830 secs
lola: 11565365 markings, 20968528 edges, 14112 markings/sec, 835 secs
lola: 11634116 markings, 21091220 edges, 13750 markings/sec, 840 secs
lola: 11702306 markings, 21213898 edges, 13638 markings/sec, 845 secs
lola: 11768994 markings, 21337338 edges, 13338 markings/sec, 850 secs
lola: 11838344 markings, 21461034 edges, 13870 markings/sec, 855 secs
lola: 11906060 markings, 21585116 edges, 13543 markings/sec, 860 secs
lola: 11973181 markings, 21709462 edges, 13424 markings/sec, 865 secs
lola: 12039021 markings, 21833222 edges, 13168 markings/sec, 870 secs
lola: 12104495 markings, 21959299 edges, 13095 markings/sec, 875 secs
lola: 12175658 markings, 22082861 edges, 14233 markings/sec, 880 secs
lola: 12245905 markings, 22206096 edges, 14049 markings/sec, 885 secs
lola: 12315635 markings, 22330152 edges, 13946 markings/sec, 890 secs
lola: 12385217 markings, 22455717 edges, 13916 markings/sec, 895 secs
lola: 12452296 markings, 22581725 edges, 13416 markings/sec, 900 secs
lola: 12523365 markings, 22706981 edges, 14214 markings/sec, 905 secs
lola: 12591940 markings, 22832701 edges, 13715 markings/sec, 910 secs
lola: 12659132 markings, 22957583 edges, 13438 markings/sec, 915 secs
lola: 12725297 markings, 23082265 edges, 13233 markings/sec, 920 secs
lola: 12789746 markings, 23208487 edges, 12890 markings/sec, 925 secs
lola: 12861683 markings, 23335230 edges, 14387 markings/sec, 930 secs
lola: 12931022 markings, 23462447 edges, 13868 markings/sec, 935 secs
lola: 12999345 markings, 23589675 edges, 13665 markings/sec, 940 secs
lola: 13066878 markings, 23716645 edges, 13507 markings/sec, 945 secs
lola: 13132717 markings, 23844402 edges, 13168 markings/sec, 950 secs
lola: 13201325 markings, 23971656 edges, 13722 markings/sec, 955 secs
lola: 13268100 markings, 24099235 edges, 13355 markings/sec, 960 secs
lola: 13334110 markings, 24226957 edges, 13202 markings/sec, 965 secs
lola: 13399285 markings, 24354806 edges, 13035 markings/sec, 970 secs
lola: 13462291 markings, 24482986 edges, 12601 markings/sec, 975 secs
lola: 13537160 markings, 24609440 edges, 14974 markings/sec, 980 secs
lola: 13609070 markings, 24736335 edges, 14382 markings/sec, 985 secs
lola: 13680635 markings, 24863344 edges, 14313 markings/sec, 990 secs
lola: 13750517 markings, 24990555 edges, 13976 markings/sec, 995 secs
lola: 13819690 markings, 25117867 edges, 13835 markings/sec, 1000 secs
lola: 13890458 markings, 25245009 edges, 14154 markings/sec, 1005 secs
lola: 13959048 markings, 25372347 edges, 13718 markings/sec, 1010 secs
lola: 14028110 markings, 25499815 edges, 13812 markings/sec, 1015 secs
lola: 14095004 markings, 25627385 edges, 13379 markings/sec, 1020 secs
lola: 14163328 markings, 25754908 edges, 13665 markings/sec, 1025 secs
lola: 14233789 markings, 25882007 edges, 14092 markings/sec, 1030 secs
lola: 14301684 markings, 26009344 edges, 13579 markings/sec, 1035 secs
lola: 14370903 markings, 26136551 edges, 13844 markings/sec, 1040 secs
lola: 14437799 markings, 26264191 edges, 13379 markings/sec, 1045 secs
lola: 14505117 markings, 26391731 edges, 13464 markings/sec, 1050 secs
lola: 14572833 markings, 26519210 edges, 13543 markings/sec, 1055 secs
lola: 14638211 markings, 26646971 edges, 13076 markings/sec, 1060 secs
lola: 14704932 markings, 26774568 edges, 13344 markings/sec, 1065 secs
lola: 14769510 markings, 26902598 edges, 12916 markings/sec, 1070 secs
lola: 14836377 markings, 27030306 edges, 13373 markings/sec, 1075 secs
lola: 14906874 markings, 27157498 edges, 14099 markings/sec, 1080 secs
lola: 14974839 markings, 27284995 edges, 13593 markings/sec, 1085 secs
lola: 15044098 markings, 27412272 edges, 13852 markings/sec, 1090 secs
lola: 15110953 markings, 27539813 edges, 13371 markings/sec, 1095 secs
lola: 15178319 markings, 27667441 edges, 13473 markings/sec, 1100 secs
lola: 15245876 markings, 27794631 edges, 13511 markings/sec, 1105 secs
lola: 15311310 markings, 27922555 edges, 13087 markings/sec, 1110 secs
lola: 15378099 markings, 28050211 edges, 13358 markings/sec, 1115 secs
lola: 15442658 markings, 28178210 edges, 12912 markings/sec, 1120 secs
lola: 15508499 markings, 28306158 edges, 13168 markings/sec, 1125 secs
lola: 15576330 markings, 28433751 edges, 13566 markings/sec, 1130 secs
lola: 15642226 markings, 28561481 edges, 13179 markings/sec, 1135 secs
lola: 15708826 markings, 28689289 edges, 13320 markings/sec, 1140 secs
lola: 15773368 markings, 28817226 edges, 12908 markings/sec, 1145 secs
lola: 15837854 markings, 28945439 edges, 12897 markings/sec, 1150 secs
lola: 15903412 markings, 29073470 edges, 13112 markings/sec, 1155 secs
lola: 15967782 markings, 29201549 edges, 12874 markings/sec, 1160 secs
lola: 16031786 markings, 29329838 edges, 12801 markings/sec, 1165 secs
lola: 16094751 markings, 29458301 edges, 12593 markings/sec, 1170 secs
lola: 16156351 markings, 29587065 edges, 12320 markings/sec, 1175 secs
lola: 16230658 markings, 29713271 edges, 14861 markings/sec, 1180 secs
lola: 16302742 markings, 29840441 edges, 14417 markings/sec, 1185 secs
lola: 16374386 markings, 29967720 edges, 14329 markings/sec, 1190 secs
lola: 16444303 markings, 30095214 edges, 13983 markings/sec, 1195 secs
lola: 16513987 markings, 30222785 edges, 13937 markings/sec, 1200 secs
lola: 16584683 markings, 30350206 edges, 14139 markings/sec, 1205 secs
lola: 16653116 markings, 30477756 edges, 13687 markings/sec, 1210 secs
lola: 16722316 markings, 30605332 edges, 13840 markings/sec, 1215 secs
lola: 16789417 markings, 30733228 edges, 13420 markings/sec, 1220 secs
lola: 16858006 markings, 30860942 edges, 13718 markings/sec, 1225 secs
lola: 16928611 markings, 30988404 edges, 14121 markings/sec, 1230 secs
lola: 16996722 markings, 31116115 edges, 13622 markings/sec, 1235 secs
lola: 17065949 markings, 31243658 edges, 13845 markings/sec, 1240 secs
lola: 17132963 markings, 31371598 edges, 13403 markings/sec, 1245 secs
lola: 17200652 markings, 31499667 edges, 13538 markings/sec, 1250 secs
lola: 17268468 markings, 31627504 edges, 13563 markings/sec, 1255 secs
lola: 17334122 markings, 31755518 edges, 13131 markings/sec, 1260 secs
lola: 17400788 markings, 31883453 edges, 13333 markings/sec, 1265 secs
lola: 17465484 markings, 32011816 edges, 12939 markings/sec, 1270 secs
lola: 17533026 markings, 32139765 edges, 13508 markings/sec, 1275 secs
lola: 17603451 markings, 32267160 edges, 14085 markings/sec, 1280 secs
lola: 17671754 markings, 32394889 edges, 13661 markings/sec, 1285 secs
lola: 17740756 markings, 32522594 edges, 13800 markings/sec, 1290 secs
lola: 17807887 markings, 32650672 edges, 13426 markings/sec, 1295 secs
lola: 17875550 markings, 32778636 edges, 13533 markings/sec, 1300 secs
lola: 17943488 markings, 32906553 edges, 13588 markings/sec, 1305 secs
lola: 18009261 markings, 33034758 edges, 13155 markings/sec, 1310 secs
lola: 18075790 markings, 33162832 edges, 13306 markings/sec, 1315 secs
lola: 18140431 markings, 33291187 edges, 12928 markings/sec, 1320 secs
lola: 18206915 markings, 33419313 edges, 13297 markings/sec, 1325 secs
lola: 18274802 markings, 33547207 edges, 13577 markings/sec, 1330 secs
lola: 18340354 markings, 33675543 edges, 13110 markings/sec, 1335 secs
lola: 18407422 markings, 33803618 edges, 13414 markings/sec, 1340 secs
lola: 18472149 markings, 33932002 edges, 12945 markings/sec, 1345 secs
lola: 18537172 markings, 34060393 edges, 13005 markings/sec, 1350 secs
lola: 18602678 markings, 34188717 edges, 13101 markings/sec, 1355 secs
lola: 18666578 markings, 34317081 edges, 12780 markings/sec, 1360 secs
lola: 18730942 markings, 34445493 edges, 12873 markings/sec, 1365 secs
lola: 18793722 markings, 34574185 edges, 12556 markings/sec, 1370 secs
lola: 18856943 markings, 34702858 edges, 12644 markings/sec, 1375 secs
lola: 18927791 markings, 34830306 edges, 14170 markings/sec, 1380 secs
lola: 18997257 markings, 34957808 edges, 13893 markings/sec, 1385 secs
lola: 19066061 markings, 35085112 edges, 13761 markings/sec, 1390 secs
lola: 19132763 markings, 35211782 edges, 13340 markings/sec, 1395 secs
lola: 19198594 markings, 35337980 edges, 13166 markings/sec, 1400 secs
lola: 19265610 markings, 35464022 edges, 13403 markings/sec, 1405 secs
lola: 19331585 markings, 35590013 edges, 13195 markings/sec, 1410 secs
lola: 19397241 markings, 35716565 edges, 13131 markings/sec, 1415 secs
lola: 19461540 markings, 35842963 edges, 12860 markings/sec, 1420 secs
lola: 19523106 markings, 35966976 edges, 12313 markings/sec, 1425 secs
lola: 19591326 markings, 36093365 edges, 13644 markings/sec, 1430 secs
lola: 19657601 markings, 36219827 edges, 13255 markings/sec, 1435 secs
lola: 19723046 markings, 36346402 edges, 13089 markings/sec, 1440 secs
lola: 19787278 markings, 36472222 edges, 12846 markings/sec, 1445 secs
lola: 19850085 markings, 36599486 edges, 12561 markings/sec, 1450 secs
lola: 19916127 markings, 36726328 edges, 13208 markings/sec, 1455 secs
lola: 19980096 markings, 36853265 edges, 12794 markings/sec, 1460 secs
lola: 20043420 markings, 36980457 edges, 12665 markings/sec, 1465 secs
lola: 20105854 markings, 37107578 edges, 12487 markings/sec, 1470 secs
lola: 20167796 markings, 37234957 edges, 12388 markings/sec, 1475 secs
lola: 20233600 markings, 37362212 edges, 13161 markings/sec, 1480 secs
lola: 20301018 markings, 37489192 edges, 13484 markings/sec, 1485 secs
lola: 20366412 markings, 37616528 edges, 13079 markings/sec, 1490 secs
lola: 20432059 markings, 37743364 edges, 13129 markings/sec, 1495 secs
lola: 20495970 markings, 37870128 edges, 12782 markings/sec, 1500 secs
lola: 20560694 markings, 37997507 edges, 12945 markings/sec, 1505 secs
lola: 20625742 markings, 38124901 edges, 13010 markings/sec, 1510 secs
lola: 20688679 markings, 38252049 edges, 12587 markings/sec, 1515 secs
lola: 20752410 markings, 38379027 edges, 12746 markings/sec, 1520 secs
lola: 20814482 markings, 38506350 edges, 12414 markings/sec, 1525 secs
lola: 20876511 markings, 38634141 edges, 12406 markings/sec, 1530 secs
lola: 20941808 markings, 38761143 edges, 13059 markings/sec, 1535 secs
lola: 21005869 markings, 38888259 edges, 12812 markings/sec, 1540 secs
lola: 21069156 markings, 39015389 edges, 12657 markings/sec, 1545 secs
lola: 21131499 markings, 39142242 edges, 12469 markings/sec, 1550 secs
lola: 21192412 markings, 39269927 edges, 12183 markings/sec, 1555 secs
lola: 21255764 markings, 39396609 edges, 12670 markings/sec, 1560 secs
lola: 21317757 markings, 39523772 edges, 12399 markings/sec, 1565 secs
lola: 21378453 markings, 39651159 edges, 12139 markings/sec, 1570 secs
lola: 21439435 markings, 39778230 edges, 12196 markings/sec, 1575 secs
lola: 21499257 markings, 39905964 edges, 11964 markings/sec, 1580 secs
lola: 21561869 markings, 40027306 edges, 12522 markings/sec, 1585 secs
lola: 21620836 markings, 40125173 edges, 11793 markings/sec, 1590 secs
lola: 21674892 markings, 40215475 edges, 10811 markings/sec, 1595 secs
lola: 21730277 markings, 40309986 edges, 11077 markings/sec, 1600 secs
lola: 21785624 markings, 40405911 edges, 11069 markings/sec, 1605 secs
lola: 21843706 markings, 40507497 edges, 11616 markings/sec, 1610 secs
lola: 21897729 markings, 40601846 edges, 10805 markings/sec, 1615 secs
lola: 21952406 markings, 40696398 edges, 10935 markings/sec, 1620 secs
lola: 22010186 markings, 40797580 edges, 11556 markings/sec, 1625 secs
lola: 22063734 markings, 40893152 edges, 10710 markings/sec, 1630 secs
lola: 22116046 markings, 40987075 edges, 10462 markings/sec, 1635 secs
lola: 22168551 markings, 41083194 edges, 10501 markings/sec, 1640 secs
lola: 22219874 markings, 41177262 edges, 10265 markings/sec, 1645 secs
lola: 22276683 markings, 41273868 edges, 11362 markings/sec, 1650 secs
lola: 22332503 markings, 41371810 edges, 11164 markings/sec, 1655 secs
lola: 22387084 markings, 41469656 edges, 10916 markings/sec, 1660 secs
lola: 22441509 markings, 41566076 edges, 10885 markings/sec, 1665 secs
lola: 22496319 markings, 41666046 edges, 10962 markings/sec, 1670 secs
lola: 22547047 markings, 41761675 edges, 10146 markings/sec, 1675 secs
lola: 22599242 markings, 41852977 edges, 10439 markings/sec, 1680 secs
lola: 22650882 markings, 41946979 edges, 10328 markings/sec, 1685 secs
lola: 22707064 markings, 42052141 edges, 11236 markings/sec, 1690 secs
lola: 22762988 markings, 42154807 edges, 11185 markings/sec, 1695 secs
lola: 22809086 markings, 42242007 edges, 9220 markings/sec, 1700 secs
lola: 22862353 markings, 42344676 edges, 10653 markings/sec, 1705 secs
lola: 22903576 markings, 42419126 edges, 8245 markings/sec, 1710 secs
lola: 22946679 markings, 42492730 edges, 8621 markings/sec, 1715 secs
lola: 22982864 markings, 42555735 edges, 7237 markings/sec, 1720 secs
lola: 23023124 markings, 42627139 edges, 8052 markings/sec, 1725 secs
lola: 23077768 markings, 42724364 edges, 10929 markings/sec, 1730 secs
lola: 23106930 markings, 42776391 edges, 5832 markings/sec, 1735 secs
lola: 23148306 markings, 42851620 edges, 8275 markings/sec, 1740 secs
lola: 23185625 markings, 42920477 edges, 7464 markings/sec, 1745 secs
lola: 23221384 markings, 42987923 edges, 7152 markings/sec, 1750 secs
lola: 23259132 markings, 43054174 edges, 7550 markings/sec, 1755 secs
lola: 23313913 markings, 43152884 edges, 10956 markings/sec, 1760 secs
lola: 23358126 markings, 43234331 edges, 8843 markings/sec, 1765 secs
lola: 23402610 markings, 43317359 edges, 8897 markings/sec, 1770 secs
lola: 23455876 markings, 43416373 edges, 10653 markings/sec, 1775 secs
lola: 23501155 markings, 43502414 edges, 9056 markings/sec, 1780 secs
lola: 23548433 markings, 43594991 edges, 9456 markings/sec, 1785 secs
lola: 23606905 markings, 43698743 edges, 11694 markings/sec, 1790 secs
lola: 23653146 markings, 43782631 edges, 9248 markings/sec, 1795 secs
lola: 23704183 markings, 43877331 edges, 10207 markings/sec, 1800 secs
lola: 23751712 markings, 43965160 edges, 9506 markings/sec, 1805 secs
lola: 23799347 markings, 44054743 edges, 9527 markings/sec, 1810 secs
lola: 23847875 markings, 44147393 edges, 9706 markings/sec, 1815 secs
lola: 23900519 markings, 44248832 edges, 10529 markings/sec, 1820 secs
lola: 23956617 markings, 44352466 edges, 11220 markings/sec, 1825 secs
lola: 23988166 markings, 44412266 edges, 6310 markings/sec, 1830 secs
lola: 24035898 markings, 44504286 edges, 9546 markings/sec, 1835 secs
lola: 24060266 markings, 44552814 edges, 4874 markings/sec, 1840 secs
lola: 24096709 markings, 44621664 edges, 7289 markings/sec, 1845 secs
lola: 24104072 markings, 44635883 edges, 1473 markings/sec, 1850 secs
lola: 24125312 markings, 44677246 edges, 4248 markings/sec, 1855 secs
lola: 24147125 markings, 44720677 edges, 4363 markings/sec, 1860 secs
lola: 24150534 markings, 44727175 edges, 682 markings/sec, 1865 secs
lola: 24169114 markings, 44763582 edges, 3716 markings/sec, 1870 secs
lola: 24170256 markings, 44765811 edges, 228 markings/sec, 1875 secs
lola: 24171248 markings, 44767827 edges, 198 markings/sec, 1880 secs
lola: 24177167 markings, 44779714 edges, 1184 markings/sec, 1885 secs
lola: 24177612 markings, 44780588 edges, 89 markings/sec, 1890 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: X (X (G (((p1005 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (G (((p1005 <= 0)))))
lola: processed formula length: 26
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 77377 markings, 117213 edges, 15475 markings/sec, 0 secs
lola: 154017 markings, 240954 edges, 15328 markings/sec, 5 secs
lola: 230255 markings, 364628 edges, 15248 markings/sec, 10 secs
lola: 304183 markings, 488635 edges, 14786 markings/sec, 15 secs
lola: 378559 markings, 612550 edges, 14875 markings/sec, 20 secs
lola: 448176 markings, 727974 edges, 13923 markings/sec, 25 secs
lola: 515133 markings, 843100 edges, 13391 markings/sec, 30 secs
lola: 584105 markings, 959970 edges, 13794 markings/sec, 35 secs
lola: 649039 markings, 1074017 edges, 12987 markings/sec, 40 secs
lola: 718065 markings, 1191206 edges, 13805 markings/sec, 45 secs
lola: 791490 markings, 1312755 edges, 14685 markings/sec, 50 secs
lola: 865213 markings, 1438848 edges, 14745 markings/sec, 55 secs
lola: 938528 markings, 1565031 edges, 14663 markings/sec, 60 secs
lola: 1009689 markings, 1691750 edges, 14232 markings/sec, 65 secs
lola: 1083864 markings, 1818002 edges, 14835 markings/sec, 70 secs
lola: 1155918 markings, 1944651 edges, 14411 markings/sec, 75 secs
lola: 1226916 markings, 2071491 edges, 14200 markings/sec, 80 secs
lola: 1297129 markings, 2198320 edges, 14043 markings/sec, 85 secs
lola: 1367088 markings, 2325373 edges, 13992 markings/sec, 90 secs
lola: 1443864 markings, 2451503 edges, 15355 markings/sec, 95 secs
lola: 1517635 markings, 2577770 edges, 14754 markings/sec, 100 secs
lola: 1592084 markings, 2703785 edges, 14890 markings/sec, 105 secs
lola: 1664052 markings, 2830444 edges, 14394 markings/sec, 110 secs
lola: 1737324 markings, 2957178 edges, 14654 markings/sec, 115 secs
lola: 1809868 markings, 3083700 edges, 14509 markings/sec, 120 secs
lola: 1881110 markings, 3210647 edges, 14248 markings/sec, 125 secs
lola: 1951634 markings, 3337771 edges, 14105 markings/sec, 130 secs
lola: 2019950 markings, 3465024 edges, 13663 markings/sec, 135 secs
lola: 2094138 markings, 3591505 edges, 14838 markings/sec, 140 secs
lola: 2166283 markings, 3718359 edges, 14429 markings/sec, 145 secs
lola: 2237485 markings, 3845365 edges, 14240 markings/sec, 150 secs
lola: 2307762 markings, 3972577 edges, 14055 markings/sec, 155 secs
lola: 2376743 markings, 4100001 edges, 13796 markings/sec, 160 secs
lola: 2447342 markings, 4227122 edges, 14120 markings/sec, 165 secs
lola: 2516554 markings, 4354490 edges, 13842 markings/sec, 170 secs
lola: 2585436 markings, 4481791 edges, 13776 markings/sec, 175 secs
lola: 2652548 markings, 4609490 edges, 13422 markings/sec, 180 secs
lola: 2722085 markings, 4736620 edges, 13907 markings/sec, 185 secs
lola: 2798678 markings, 4862868 edges, 15319 markings/sec, 190 secs
lola: 2872537 markings, 4989501 edges, 14772 markings/sec, 195 secs
lola: 2946519 markings, 5115892 edges, 14796 markings/sec, 200 secs
lola: 3018495 markings, 5242868 edges, 14395 markings/sec, 205 secs
lola: 3092312 markings, 5369509 edges, 14763 markings/sec, 210 secs
lola: 3164693 markings, 5496427 edges, 14476 markings/sec, 215 secs
lola: 3236112 markings, 5623490 edges, 14284 markings/sec, 220 secs
lola: 3306405 markings, 5750584 edges, 14059 markings/sec, 225 secs
lola: 3374892 markings, 5878117 edges, 13697 markings/sec, 230 secs
lola: 3449184 markings, 6004612 edges, 14858 markings/sec, 235 secs
lola: 3521158 markings, 6131511 edges, 14395 markings/sec, 240 secs
lola: 3592693 markings, 6258546 edges, 14307 markings/sec, 245 secs
lola: 3662353 markings, 6385752 edges, 13932 markings/sec, 250 secs
lola: 3731946 markings, 6513029 edges, 13919 markings/sec, 255 secs
lola: 3802440 markings, 6640065 edges, 14099 markings/sec, 260 secs
lola: 3870749 markings, 6767453 edges, 13662 markings/sec, 265 secs
lola: 3939872 markings, 6894861 edges, 13825 markings/sec, 270 secs
lola: 4006766 markings, 7022401 edges, 13379 markings/sec, 275 secs
lola: 4076533 markings, 7149623 edges, 13953 markings/sec, 280 secs
lola: 4149747 markings, 7276464 edges, 14643 markings/sec, 285 secs
lola: 4220733 markings, 7403468 edges, 14197 markings/sec, 290 secs
lola: 4291752 markings, 7530418 edges, 14204 markings/sec, 295 secs
lola: 4360887 markings, 7657455 edges, 13827 markings/sec, 300 secs
lola: 4431560 markings, 7784399 edges, 14135 markings/sec, 305 secs
lola: 4501298 markings, 7911518 edges, 13948 markings/sec, 310 secs
lola: 4569706 markings, 8038857 edges, 13682 markings/sec, 315 secs
lola: 4637660 markings, 8166305 edges, 13591 markings/sec, 320 secs
lola: 4704024 markings, 8293966 edges, 13273 markings/sec, 325 secs
lola: 4774644 markings, 8421066 edges, 14124 markings/sec, 330 secs
lola: 4844151 markings, 8548319 edges, 13901 markings/sec, 335 secs
lola: 4912865 markings, 8675630 edges, 13743 markings/sec, 340 secs
lola: 4980684 markings, 8803202 edges, 13564 markings/sec, 345 secs
lola: 5046560 markings, 8931014 edges, 13175 markings/sec, 350 secs
lola: 5115347 markings, 9058488 edges, 13757 markings/sec, 355 secs
lola: 5182361 markings, 9186090 edges, 13403 markings/sec, 360 secs
lola: 5248339 markings, 9313528 edges, 13196 markings/sec, 365 secs
lola: 5313526 markings, 9441078 edges, 13037 markings/sec, 370 secs
lola: 5377311 markings, 9569012 edges, 12757 markings/sec, 375 secs
lola: 5452207 markings, 9695280 edges, 14979 markings/sec, 380 secs
lola: 5527279 markings, 9821160 edges, 15014 markings/sec, 385 secs
lola: 5600593 markings, 9946447 edges, 14663 markings/sec, 390 secs
lola: 5673393 markings, 10072741 edges, 14560 markings/sec, 395 secs
lola: 5745087 markings, 10199258 edges, 14339 markings/sec, 400 secs
lola: 5818434 markings, 10325481 edges, 14669 markings/sec, 405 secs
lola: 5889278 markings, 10452076 edges, 14169 markings/sec, 410 secs
lola: 5960751 markings, 10578399 edges, 14295 markings/sec, 415 secs
lola: 6029954 markings, 10705275 edges, 13841 markings/sec, 420 secs
lola: 6101058 markings, 10831467 edges, 14221 markings/sec, 425 secs
lola: 6174088 markings, 10957916 edges, 14606 markings/sec, 430 secs
lola: 6244807 markings, 11084353 edges, 14144 markings/sec, 435 secs
lola: 6315219 markings, 11211186 edges, 14082 markings/sec, 440 secs
lola: 6384398 markings, 11338309 edges, 13836 markings/sec, 445 secs
lola: 6455169 markings, 11464898 edges, 14154 markings/sec, 450 secs
lola: 6524513 markings, 11592034 edges, 13869 markings/sec, 455 secs
lola: 6593068 markings, 11718930 edges, 13711 markings/sec, 460 secs
lola: 6660849 markings, 11846437 edges, 13556 markings/sec, 465 secs
lola: 6726772 markings, 11973962 edges, 13185 markings/sec, 470 secs
lola: 6800360 markings, 12100608 edges, 14718 markings/sec, 475 secs
lola: 6872377 markings, 12227068 edges, 14403 markings/sec, 480 secs
lola: 6943505 markings, 12354011 edges, 14226 markings/sec, 485 secs
lola: 7013648 markings, 12480732 edges, 14029 markings/sec, 490 secs
lola: 7082279 markings, 12608000 edges, 13726 markings/sec, 495 secs
lola: 7152965 markings, 12734797 edges, 14137 markings/sec, 500 secs
lola: 7222232 markings, 12861973 edges, 13853 markings/sec, 505 secs
lola: 7290797 markings, 12988912 edges, 13713 markings/sec, 510 secs
lola: 7358087 markings, 13116478 edges, 13458 markings/sec, 515 secs
lola: 7425140 markings, 13243803 edges, 13411 markings/sec, 520 secs
lola: 7495799 markings, 13370934 edges, 14132 markings/sec, 525 secs
lola: 7564591 markings, 13498123 edges, 13758 markings/sec, 530 secs
lola: 7633528 markings, 13625411 edges, 13787 markings/sec, 535 secs
lola: 7700353 markings, 13752802 edges, 13365 markings/sec, 540 secs
lola: 7767303 markings, 13880361 edges, 13390 markings/sec, 545 secs
lola: 7835096 markings, 14007602 edges, 13559 markings/sec, 550 secs
lola: 7901222 markings, 14135258 edges, 13225 markings/sec, 555 secs
lola: 7967609 markings, 14262723 edges, 13277 markings/sec, 560 secs
lola: 8032343 markings, 14390643 edges, 12947 markings/sec, 565 secs
lola: 8098394 markings, 14518193 edges, 13210 markings/sec, 570 secs
lola: 8171972 markings, 14644824 edges, 14716 markings/sec, 575 secs
lola: 8243042 markings, 14771647 edges, 14214 markings/sec, 580 secs
lola: 8314759 markings, 14898447 edges, 14343 markings/sec, 585 secs
lola: 8384085 markings, 15025474 edges, 13865 markings/sec, 590 secs
lola: 8454070 markings, 15152628 edges, 13997 markings/sec, 595 secs
lola: 8524215 markings, 15279481 edges, 14029 markings/sec, 600 secs
lola: 8592401 markings, 15406905 edges, 13637 markings/sec, 605 secs
lola: 8660954 markings, 15534180 edges, 13711 markings/sec, 610 secs
lola: 8727771 markings, 15661856 edges, 13363 markings/sec, 615 secs
lola: 8796760 markings, 15788702 edges, 13798 markings/sec, 620 secs
lola: 8866980 markings, 15915748 edges, 14044 markings/sec, 625 secs
lola: 8935141 markings, 16042857 edges, 13632 markings/sec, 630 secs
lola: 9003098 markings, 16170198 edges, 13591 markings/sec, 635 secs
lola: time limit reached - aborting
lola:
preliminary result: no no no no no no no no unknown no no unknown no no
lola:
preliminary result: no no no no no no no no unknown no no unknown no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no no no no no no unknown no no unknown no no
lola: memory consumption: 7527952 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no no no no no no unknown no no unknown no no
lola: memory consumption: 7527952 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="BART-PT-040"
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 BART-PT-040, 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 r011-tall-162038006300318"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BART-PT-040.tgz
mv BART-PT-040 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 ;