About the Execution of 2020-gold for BART-PT-050
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7196.827 | 3600000.00 | 3638154.00 | 10481.50 | FFF?FFFFFFFFTFFF | 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-162038006300322.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-050, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-tall-162038006300322
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 12M
-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 5.2K Jun 8 09:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Jun 8 09:43 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Jun 8 09:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Jun 8 09:43 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Jun 8 09:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Jun 8 09:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.1K 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 12M 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-050-00
FORMULA_NAME BART-PT-050-01
FORMULA_NAME BART-PT-050-02
FORMULA_NAME BART-PT-050-03
FORMULA_NAME BART-PT-050-04
FORMULA_NAME BART-PT-050-05
FORMULA_NAME BART-PT-050-06
FORMULA_NAME BART-PT-050-07
FORMULA_NAME BART-PT-050-08
FORMULA_NAME BART-PT-050-09
FORMULA_NAME BART-PT-050-10
FORMULA_NAME BART-PT-050-11
FORMULA_NAME BART-PT-050-12
FORMULA_NAME BART-PT-050-13
FORMULA_NAME BART-PT-050-14
FORMULA_NAME BART-PT-050-15
=== Now, execution of the tool begins
BK_START 1623185219021
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-06-08 20:47:00] [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:47:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-06-08 20:47:01] [INFO ] Load time of PNML (sax parser for PT used): 525 ms
[2021-06-08 20:47:01] [INFO ] Transformed 6810 places.
[2021-06-08 20:47:01] [INFO ] Transformed 10100 transitions.
[2021-06-08 20:47:01] [INFO ] Found NUPN structural information;
[2021-06-08 20:47:01] [INFO ] Parsed PT model containing 6810 places and 10100 transitions in 654 ms.
Reduce places removed 210 places and 0 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 95 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 0 resets, run finished after 897 ms. (steps per millisecond=111 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 10100 rows 6600 cols
[2021-06-08 20:47:02] [INFO ] Computed 50 place invariants in 165 ms
[2021-06-08 20:47:03] [INFO ] [Real]Absence check using 50 positive place invariants in 397 ms returned sat
[2021-06-08 20:47:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-06-08 20:47:22] [INFO ] SMT solver returned unknown. Retrying;
[2021-06-08 20:47:22] [INFO ] [Real]Absence check using state equation in 18800 ms returned (error "Failed to check-sat")
[2021-06-08 20:47:23] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2021-06-08 20:47:23] [INFO ] Flatten gal took : 391 ms
FORMULA BART-PT-050-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-PT-050-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-06-08 20:47:23] [INFO ] Applying decomposition
[2021-06-08 20:47:23] [INFO ] Flatten gal took : 223 ms
[2021-06-08 20:47:23] [INFO ] Decomposing Gal with order
[2021-06-08 20:47:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-06-08 20:47:25] [INFO ] Removed a total of 1519 redundant transitions.
[2021-06-08 20:47:25] [INFO ] Flatten gal took : 475 ms
[2021-06-08 20:47:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 496 labels/synchronizations in 177 ms.
[2021-06-08 20:47:25] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 3 ms.
[2021-06-08 20:47:25] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 67 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ BART-PT-050 @ 3570 seconds
FORMULA BART-PT-050-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BART-PT-050-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BART-PT-050-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BART-PT-050-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BART-PT-050-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BART-PT-050-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BART-PT-050-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BART-PT-050-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BART-PT-050-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BART-PT-050-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BART-PT-050-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BART-PT-050-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BART-PT-050-05 FALSE 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-050
{
"exit":
{
"memory": 7077448,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"files":
{
"JSON": "LTLFireability.json"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 1,
"aneg": 2,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "G ((X (F (((p4315 <= 0)))) OR ((1 <= p6305))))",
"processed_size": 46,
"rewrites": 73
},
"result":
{
"preliminary_value": "no no no unknown no no no no no no no no no no "
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 14,
"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: 16700/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 6600
lola: finding significant places
lola: 6600 places, 10100 transitions, 6550 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: (p6204 <= 1)
lola: LP says that atomic proposition is always true: (p4103 <= 1)
lola: LP says that atomic proposition is always true: (p4103 <= 1)
lola: LP says that atomic proposition is always true: (p4223 <= 1)
lola: LP says that atomic proposition is always true: (p5510 <= 1)
lola: LP says that atomic proposition is always true: (p5510 <= 1)
lola: LP says that atomic proposition is always true: (p3303 <= 1)
lola: LP says that atomic proposition is always true: (p5512 <= 1)
lola: LP says that atomic proposition is always true: (p31 <= 1)
lola: LP says that atomic proposition is always true: (p370 <= 1)
lola: LP says that atomic proposition is always true: (p1404 <= 1)
lola: LP says that atomic proposition is always true: (p31 <= 1)
lola: LP says that atomic proposition is always true: (p2527 <= 1)
lola: LP says that atomic proposition is always true: (p4315 <= 1)
lola: LP says that atomic proposition is always true: (p6305 <= 1)
lola: LP says that atomic proposition is always true: (p903 <= 1)
lola: LP says that atomic proposition is always true: (p5407 <= 1)
lola: LP says that atomic proposition is always true: (p4716 <= 1)
lola: LP says that atomic proposition is always true: (p903 <= 1)
lola: LP says that atomic proposition is always true: (p30 <= 1)
lola: LP says that atomic proposition is always true: (p30 <= 1)
lola: LP says that atomic proposition is always true: (p1527 <= 1)
lola: LP says that atomic proposition is always true: (p107 <= 1)
lola: LP says that atomic proposition is always true: (p12 <= 1)
lola: LP says that atomic proposition is always true: (p2110 <= 1)
lola: LP says that atomic proposition is always true: (p12 <= 1)
lola: LP says that atomic proposition is always true: (p1273 <= 1)
lola: LP says that atomic proposition is always true: (p13 <= 1)
lola: LP says that atomic proposition is always true: (p1273 <= 1)
lola: LP says that atomic proposition is always true: (p49 <= 1)
lola: LP says that atomic proposition is always true: (p5510 <= 1)
lola: LP says that atomic proposition is always true: (p49 <= 1)
lola: LP says that atomic proposition is always true: (p3318 <= 1)
lola: LP says that atomic proposition is always true: (p4825 <= 1)
lola: LP says that atomic proposition is always true: (p17 <= 1)
lola: LP says that atomic proposition is always true: (p4825 <= 1)
lola: LP says that atomic proposition is always true: (p4142 <= 1)
lola: LP says that atomic proposition is always true: (p1797 <= 1)
lola: LP says that atomic proposition is always true: (p1797 <= 1)
lola: LP says that atomic proposition is always true: (p4142 <= 1)
lola: LP says that atomic proposition is always true: (p4247 <= 1)
lola: LP says that atomic proposition is always true: (p2049 <= 1)
lola: LP says that atomic proposition is always true: (p2405 <= 1)
lola: LP says that atomic proposition is always true: (p2405 <= 1)
lola: LP says that atomic proposition is always true: (p4475 <= 1)
lola: LP says that atomic proposition is always true: (p6369 <= 1)
lola: LP says that atomic proposition is always true: (p3942 <= 1)
lola: LP says that atomic proposition is always true: (p4475 <= 1)
lola: (G (X (((1 <= p6204)))) AND ((F (X (F (((1 <= p4103))))) OR ((1 <= p4103))) U ((1 <= p4223)))) : G (F (((((1 <= p5510)) U (G (((1 <= p5510))) OR G (((1 <= p3303))))) OR X (((1 <= p5512)))))) : ((F (((1 <= p31))) AND ((1 <= p370))) U (G (X (((1 <= p1404) AND (1 <= p31)))) U ((1 <= p2527)))) : NOT(F ((G (X (G (((1 <= p4315))))) AND ((p6305 <= 0))))) : ((X (((1 <= p903))) U X (((1 <= p5407)))) OR (NOT(F (((p4716 <= 0)))) AND F (((1 <= p903))))) : (((1 <= p30)) U G (((NOT(F (((p30 <= 0)))) AND F (((1 <= p1527)))) AND ((1 <= p107))))) : X (((G (X (((1 <= p12)))) AND ((p2110 <= 0))) U ((1 <= p12)))) : F (NOT((((1 <= p1273)) U G ((((1 <= p13)) U F (((1 <= p1273)))))))) : G (X (((X (((1 <= p49))) AND G (X (((1 <= p5510))))) AND F (((1 <= p49)))))) : F ((((F (((1 <= p3318))) AND X (((1 <= p4825)))) AND ((p17 <= 0))) AND ((1 <= p4825)))) : G (X (NOT(X (G ((((((1 <= p4142)) U ((1 <= p1797))) U ((1 <= p1797))) U F (((1 <= p4142))))))))) : F (((1 <= p4247))) : NOT((G ((NOT(X (F (((1 <= p2049))))) U ((1 <= p2405)))) U F (((1 <= p2405))))) : G (((((1 <= p4475)) OR ((1 <= p6369))) U NOT(X (F ((((1 <= p3942)) U X (((1 <= p4475)))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
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: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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:482
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
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:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k: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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:437
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (G (((1 <= p6204)))) AND ((X (F (((1 <= p4103)))) OR ((1 <= p4103))) U ((1 <= p4223))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G (((1 <= p6204))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G (((1 <= p6204))))
lola: processed formula length: 22
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 666 markings, 666 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: subprocess 1 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((((1 <= p5510)) U (G (((1 <= p5510))) OR G (((1 <= p3303))))) OR X (((1 <= p5512))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((((1 <= p5510)) U (G (((1 <= p5510))) OR G (((1 <= p3303))))) OR X (((1 <= p5512))))))
lola: processed formula length: 93
lola: 73 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: 666 markings, 666 edges
lola: ========================================
lola: subprocess 2 will run for 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((F (((1 <= p31))) AND ((1 <= p370))) U (X (G (((1 <= p1404) AND (1 <= p31)))) U ((1 <= p2527))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((F (((1 <= p31))) AND ((1 <= p370))) U (X (G (((1 <= p1404) AND (1 <= p31)))) U ((1 <= p2527))))
lola: processed formula length: 97
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 666 markings, 666 edges
lola: ========================================
lola: subprocess 3 will run for 300 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((X (F (((p4315 <= 0)))) OR ((1 <= p6305))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((X (F (((p4315 <= 0)))) OR ((1 <= p6305))))
lola: processed formula length: 46
lola: 73 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: 28918 markings, 107864 edges, 5784 markings/sec, 0 secs
lola: 53123 markings, 216914 edges, 4841 markings/sec, 5 secs
lola: 75949 markings, 326207 edges, 4565 markings/sec, 10 secs
lola: 98011 markings, 435618 edges, 4412 markings/sec, 15 secs
lola: 119341 markings, 545072 edges, 4266 markings/sec, 20 secs
lola: 140195 markings, 654731 edges, 4171 markings/sec, 25 secs
lola: 162627 markings, 763993 edges, 4486 markings/sec, 30 secs
lola: 183847 markings, 873437 edges, 4244 markings/sec, 35 secs
lola: 203693 markings, 983138 edges, 3969 markings/sec, 40 secs
lola: 223943 markings, 1092955 edges, 4050 markings/sec, 45 secs
lola: 242855 markings, 1202988 edges, 3782 markings/sec, 50 secs
lola: 260273 markings, 1313108 edges, 3484 markings/sec, 55 secs
lola: 283210 markings, 1422506 edges, 4587 markings/sec, 60 secs
lola: 304742 markings, 1532044 edges, 4306 markings/sec, 65 secs
lola: 324625 markings, 1641915 edges, 3977 markings/sec, 70 secs
lola: 345065 markings, 1751514 edges, 4088 markings/sec, 75 secs
lola: 364481 markings, 1861484 edges, 3883 markings/sec, 80 secs
lola: 383099 markings, 1971484 edges, 3724 markings/sec, 85 secs
lola: 401589 markings, 2081409 edges, 3698 markings/sec, 90 secs
lola: 421701 markings, 2191210 edges, 4022 markings/sec, 95 secs
lola: 440611 markings, 2301257 edges, 3782 markings/sec, 100 secs
lola: 457823 markings, 2411490 edges, 3442 markings/sec, 105 secs
lola: 476287 markings, 2521547 edges, 3693 markings/sec, 110 secs
lola: 493409 markings, 2631792 edges, 3424 markings/sec, 115 secs
lola: 510499 markings, 2742021 edges, 3418 markings/sec, 120 secs
lola: 525748 markings, 2852536 edges, 3050 markings/sec, 125 secs
lola: 549969 markings, 2961683 edges, 4844 markings/sec, 130 secs
lola: 571481 markings, 3071229 edges, 4302 markings/sec, 135 secs
lola: 590457 markings, 3181189 edges, 3795 markings/sec, 140 secs
lola: 611813 markings, 3290747 edges, 4271 markings/sec, 145 secs
lola: 630873 markings, 3400560 edges, 3812 markings/sec, 150 secs
lola: 648826 markings, 3510598 edges, 3591 markings/sec, 155 secs
lola: 668311 markings, 3620299 edges, 3897 markings/sec, 160 secs
lola: 687557 markings, 3730112 edges, 3849 markings/sec, 165 secs
lola: 706369 markings, 3840007 edges, 3762 markings/sec, 170 secs
lola: 723641 markings, 3950185 edges, 3454 markings/sec, 175 secs
lola: 742459 markings, 4060220 edges, 3764 markings/sec, 180 secs
lola: 759523 markings, 4170494 edges, 3413 markings/sec, 185 secs
lola: 776105 markings, 4280644 edges, 3316 markings/sec, 190 secs
lola: 793072 markings, 4390922 edges, 3393 markings/sec, 195 secs
lola: 813343 markings, 4500602 edges, 4054 markings/sec, 200 secs
lola: 832345 markings, 4610643 edges, 3800 markings/sec, 205 secs
lola: 849787 markings, 4720934 edges, 3488 markings/sec, 210 secs
lola: 868253 markings, 4831004 edges, 3693 markings/sec, 215 secs
lola: 885277 markings, 4941381 edges, 3405 markings/sec, 220 secs
lola: 902265 markings, 5051816 edges, 3398 markings/sec, 225 secs
lola: 917841 markings, 5162464 edges, 3115 markings/sec, 230 secs
lola: 936579 markings, 5271990 edges, 3748 markings/sec, 235 secs
lola: 953641 markings, 5382422 edges, 3412 markings/sec, 240 secs
lola: 970569 markings, 5492846 edges, 3386 markings/sec, 245 secs
lola: 986041 markings, 5603428 edges, 3094 markings/sec, 250 secs
lola: 1002995 markings, 5713895 edges, 3391 markings/sec, 255 secs
lola: 1018281 markings, 5824565 edges, 3057 markings/sec, 260 secs
lola: 1033573 markings, 5935156 edges, 3058 markings/sec, 265 secs
lola: 1047889 markings, 6045875 edges, 2863 markings/sec, 270 secs
lola: 1070883 markings, 6155357 edges, 4599 markings/sec, 275 secs
lola: 1092485 markings, 6265110 edges, 4320 markings/sec, 280 secs
lola: 1112115 markings, 6375156 edges, 3926 markings/sec, 285 secs
lola: 1132875 markings, 6485058 edges, 4152 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no no no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1098740 KB
lola: time consumption: 565 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 4 will run for 300 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X ((((1 <= p903)) U ((1 <= p5407)))) OR (G (((1 <= p4716))) AND F (((1 <= p903)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 300 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p903)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p903 <= 0))
lola: processed formula length: 13
lola: 75 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 19 markings, 19 edges
lola: ========================================
lola: subprocess 5 will run for 333 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((((1 <= p903)) U ((1 <= p5407))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((((1 <= p903)) U ((1 <= p5407))))
lola: processed formula length: 36
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 666 markings, 666 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 5 will run for 333 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((X (G (((1 <= p12)))) AND ((p2110 <= 0))) U ((1 <= p12))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((X (G (((1 <= p12)))) AND ((p2110 <= 0))) U ((1 <= p12))))
lola: processed formula length: 62
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 703 markings, 703 edges
lola: ========================================
lola: subprocess 6 will run for 375 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((X ((((1 <= p49)) AND G (((1 <= p5510))))) AND F (((1 <= p49))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((X ((((1 <= p49)) AND G (((1 <= p5510))))) AND F (((1 <= p49))))))
lola: processed formula length: 72
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 666 markings, 666 edges
lola: ========================================
lola: subprocess 7 will run for 429 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((F (((1 <= p3318))) AND (X (((1 <= p4825))) AND (((p17 <= 0)) AND ((1 <= p4825))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((F (((1 <= p3318))) AND (X (((1 <= p4825))) AND (((p17 <= 0)) AND ((1 <= p4825))))))
lola: processed formula length: 87
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 666 markings, 666 edges
lola: ========================================
lola: subprocess 8 will run for 500 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G (((p2405 <= 0))) AND (F ((G (((p2405 <= 0))) OR (X (F (((1 <= p2049)))) AND ((p2405 <= 0))))) OR G (((p2405 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 500 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((p2405 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((p2405 <= 0)))
lola: processed formula length: 18
lola: 73 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: 12480 markings, 17998 edges
lola: ========================================
lola: subprocess 9 will run for 600 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((p2405 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((p2405 <= 0)))
lola: processed formula length: 18
lola: 73 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: 12480 markings, 17998 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 9 will run for 600 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (G (((p4475 <= 0)))) AND G (((((1 <= p4475)) OR ((1 <= p6369))) OR X (X (G (((p4475 <= 0))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 600 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((p4475 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((p4475 <= 0))))
lola: processed formula length: 22
lola: 73 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: 10643 markings, 15693 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 10 will run for 750 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p4247)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p4247 <= 0))
lola: processed formula length: 14
lola: 75 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 19 markings, 19 edges
lola: ========================================
lola: subprocess 11 will run for 1000 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((p4142 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((p4142 <= 0))))
lola: processed formula length: 22
lola: 73 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: 9115 markings, 13767 edges
lola: ========================================
lola: subprocess 12 will run for 1500 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((p1273 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((p1273 <= 0))))
lola: processed formula length: 22
lola: 73 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: 6317 markings, 9414 edges
lola: ========================================
lola: subprocess 13 will run for 3000 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p30)) U G ((G (((1 <= p30))) AND (F (((1 <= p1527))) AND ((1 <= p107))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (((1 <= p30)) U G ((G (((1 <= p30))) AND (F (((1 <= p1527))) AND ((1 <= p107))))))
lola: processed formula length: 82
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 11 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 39 markings, 40 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: G ((X (F (((p4315 <= 0)))) OR ((1 <= p6305))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((X (F (((p4315 <= 0)))) OR ((1 <= p6305))))
lola: processed formula length: 46
lola: 73 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: 29120 markings, 108736 edges, 5824 markings/sec, 0 secs
lola: 53387 markings, 218204 edges, 4853 markings/sec, 5 secs
lola: 76301 markings, 327564 edges, 4583 markings/sec, 10 secs
lola: 98295 markings, 437276 edges, 4399 markings/sec, 15 secs
lola: 119681 markings, 547034 edges, 4277 markings/sec, 20 secs
lola: 140566 markings, 656726 edges, 4177 markings/sec, 25 secs
lola: 162994 markings, 766312 edges, 4486 markings/sec, 30 secs
lola: 184365 markings, 876121 edges, 4274 markings/sec, 35 secs
lola: 204299 markings, 986207 edges, 3987 markings/sec, 40 secs
lola: 224473 markings, 1096236 edges, 4035 markings/sec, 45 secs
lola: 243483 markings, 1206451 edges, 3802 markings/sec, 50 secs
lola: 260817 markings, 1316893 edges, 3467 markings/sec, 55 secs
lola: 283986 markings, 1426514 edges, 4634 markings/sec, 60 secs
lola: 305681 markings, 1536327 edges, 4339 markings/sec, 65 secs
lola: 325373 markings, 1646408 edges, 3938 markings/sec, 70 secs
lola: 346047 markings, 1756255 edges, 4135 markings/sec, 75 secs
lola: 365338 markings, 1866178 edges, 3858 markings/sec, 80 secs
lola: 383901 markings, 1976533 edges, 3713 markings/sec, 85 secs
lola: 402515 markings, 2086671 edges, 3723 markings/sec, 90 secs
lola: 422587 markings, 2196728 edges, 4014 markings/sec, 95 secs
lola: 441479 markings, 2306893 edges, 3778 markings/sec, 100 secs
lola: 458655 markings, 2417410 edges, 3435 markings/sec, 105 secs
lola: 477455 markings, 2527685 edges, 3760 markings/sec, 110 secs
lola: 494571 markings, 2638162 edges, 3423 markings/sec, 115 secs
lola: 511531 markings, 2748651 edges, 3392 markings/sec, 120 secs
lola: 527788 markings, 2859316 edges, 3251 markings/sec, 125 secs
lola: 551485 markings, 2968702 edges, 4739 markings/sec, 130 secs
lola: 572737 markings, 3078455 edges, 4250 markings/sec, 135 secs
lola: 591845 markings, 3188503 edges, 3822 markings/sec, 140 secs
lola: 613175 markings, 3298018 edges, 4266 markings/sec, 145 secs
lola: 631990 markings, 3407810 edges, 3763 markings/sec, 150 secs
lola: 649951 markings, 3517541 edges, 3592 markings/sec, 155 secs
lola: 669479 markings, 3626679 edges, 3906 markings/sec, 160 secs
lola: 688483 markings, 3736356 edges, 3801 markings/sec, 165 secs
lola: 707465 markings, 3846007 edges, 3796 markings/sec, 170 secs
lola: 724775 markings, 3955873 edges, 3462 markings/sec, 175 secs
lola: 743391 markings, 4065702 edges, 3723 markings/sec, 180 secs
lola: 760385 markings, 4175573 edges, 3399 markings/sec, 185 secs
lola: 776851 markings, 4285738 edges, 3293 markings/sec, 190 secs
lola: 793933 markings, 4395346 edges, 3416 markings/sec, 195 secs
lola: 814083 markings, 4504798 edges, 4030 markings/sec, 200 secs
lola: 832987 markings, 4614670 edges, 3781 markings/sec, 205 secs
lola: 850355 markings, 4724824 edges, 3474 markings/sec, 210 secs
lola: 868799 markings, 4834760 edges, 3689 markings/sec, 215 secs
lola: 885711 markings, 4944893 edges, 3382 markings/sec, 220 secs
lola: 902825 markings, 5055113 edges, 3423 markings/sec, 225 secs
lola: 918205 markings, 5165578 edges, 3076 markings/sec, 230 secs
lola: 937159 markings, 5275565 edges, 3791 markings/sec, 235 secs
lola: 954311 markings, 5386125 edges, 3430 markings/sec, 240 secs
lola: 971115 markings, 5496557 edges, 3361 markings/sec, 245 secs
lola: 986701 markings, 5607179 edges, 3117 markings/sec, 250 secs
lola: 1003529 markings, 5717374 edges, 3366 markings/sec, 255 secs
lola: 1018846 markings, 5828174 edges, 3063 markings/sec, 260 secs
lola: 1034151 markings, 5938742 edges, 3061 markings/sec, 265 secs
lola: 1048309 markings, 6049419 edges, 2832 markings/sec, 270 secs
lola: 1071577 markings, 6158614 edges, 4654 markings/sec, 275 secs
lola: 1093121 markings, 6268350 edges, 4309 markings/sec, 280 secs
lola: 1112617 markings, 6378291 edges, 3899 markings/sec, 285 secs
lola: 1133509 markings, 6488189 edges, 4178 markings/sec, 290 secs
lola: 1152677 markings, 6597997 edges, 3834 markings/sec, 295 secs
lola: 1171050 markings, 6708110 edges, 3675 markings/sec, 300 secs
lola: 1189927 markings, 6818021 edges, 3775 markings/sec, 305 secs
lola: 1209693 markings, 6928059 edges, 3953 markings/sec, 310 secs
lola: 1228563 markings, 7037904 edges, 3774 markings/sec, 315 secs
lola: 1245605 markings, 7148281 edges, 3408 markings/sec, 320 secs
lola: 1264475 markings, 7257817 edges, 3774 markings/sec, 325 secs
lola: 1281549 markings, 7368158 edges, 3415 markings/sec, 330 secs
lola: 1298385 markings, 7478313 edges, 3367 markings/sec, 335 secs
lola: 1314003 markings, 7586990 edges, 3124 markings/sec, 340 secs
lola: 1334728 markings, 7694996 edges, 4145 markings/sec, 345 secs
lola: 1353357 markings, 7803142 edges, 3726 markings/sec, 350 secs
lola: 1371011 markings, 7911621 edges, 3531 markings/sec, 355 secs
lola: 1388935 markings, 8019755 edges, 3585 markings/sec, 360 secs
lola: 1406083 markings, 8128159 edges, 3430 markings/sec, 365 secs
lola: 1422882 markings, 8236501 edges, 3360 markings/sec, 370 secs
lola: 1438415 markings, 8344952 edges, 3107 markings/sec, 375 secs
lola: 1455993 markings, 8453017 edges, 3516 markings/sec, 380 secs
lola: 1473033 markings, 8561476 edges, 3408 markings/sec, 385 secs
lola: 1489839 markings, 8670125 edges, 3361 markings/sec, 390 secs
lola: 1505593 markings, 8781245 edges, 3151 markings/sec, 395 secs
lola: 1522186 markings, 8890376 edges, 3319 markings/sec, 400 secs
lola: 1537629 markings, 8999060 edges, 3089 markings/sec, 405 secs
lola: 1552897 markings, 9107542 edges, 3054 markings/sec, 410 secs
lola: 1567239 markings, 9216651 edges, 2868 markings/sec, 415 secs
lola: 1585217 markings, 9327031 edges, 3596 markings/sec, 420 secs
lola: 1604411 markings, 9435775 edges, 3839 markings/sec, 425 secs
lola: 1622851 markings, 9543982 edges, 3688 markings/sec, 430 secs
lola: 1639537 markings, 9652690 edges, 3337 markings/sec, 435 secs
lola: 1658685 markings, 9762153 edges, 3830 markings/sec, 440 secs
lola: 1675385 markings, 9870411 edges, 3340 markings/sec, 445 secs
lola: 1691859 markings, 9978807 edges, 3295 markings/sec, 450 secs
lola: 1707330 markings, 10087496 edges, 3094 markings/sec, 455 secs
lola: 1725857 markings, 10196338 edges, 3705 markings/sec, 460 secs
lola: 1742745 markings, 10305392 edges, 3378 markings/sec, 465 secs
lola: 1759223 markings, 10415097 edges, 3296 markings/sec, 470 secs
lola: 1774785 markings, 10524692 edges, 3112 markings/sec, 475 secs
lola: 1791295 markings, 10633939 edges, 3302 markings/sec, 480 secs
lola: 1806725 markings, 10744680 edges, 3086 markings/sec, 485 secs
lola: 1821725 markings, 10853867 edges, 3000 markings/sec, 490 secs
lola: 1835567 markings, 10963942 edges, 2768 markings/sec, 495 secs
lola: 1854365 markings, 11073744 edges, 3760 markings/sec, 500 secs
lola: 1871285 markings, 11183216 edges, 3384 markings/sec, 505 secs
lola: 1887835 markings, 11291426 edges, 3310 markings/sec, 510 secs
lola: 1903071 markings, 11400890 edges, 3047 markings/sec, 515 secs
lola: 1919951 markings, 11510495 edges, 3376 markings/sec, 520 secs
lola: 1934843 markings, 11619181 edges, 2978 markings/sec, 525 secs
lola: 1950211 markings, 11728043 edges, 3074 markings/sec, 530 secs
lola: 1964401 markings, 11837402 edges, 2838 markings/sec, 535 secs
lola: 1980599 markings, 11945889 edges, 3240 markings/sec, 540 secs
lola: 1995977 markings, 12054109 edges, 3076 markings/sec, 545 secs
lola: 2011351 markings, 12163211 edges, 3075 markings/sec, 550 secs
lola: 2025655 markings, 12271971 edges, 2861 markings/sec, 555 secs
lola: 2040245 markings, 12381311 edges, 2918 markings/sec, 560 secs
lola: 2055131 markings, 12491683 edges, 2977 markings/sec, 565 secs
lola: 2068957 markings, 12601113 edges, 2765 markings/sec, 570 secs
lola: 2082745 markings, 12711300 edges, 2758 markings/sec, 575 secs
lola: 2095617 markings, 12819804 edges, 2574 markings/sec, 580 secs
lola: 2117207 markings, 12927917 edges, 4318 markings/sec, 585 secs
lola: 2138687 markings, 13036555 edges, 4296 markings/sec, 590 secs
lola: 2158649 markings, 13145733 edges, 3992 markings/sec, 595 secs
lola: 2178941 markings, 13254403 edges, 4058 markings/sec, 600 secs
lola: 2197543 markings, 13362060 edges, 3720 markings/sec, 605 secs
lola: 2216193 markings, 13469931 edges, 3730 markings/sec, 610 secs
lola: 2233693 markings, 13577443 edges, 3500 markings/sec, 615 secs
lola: 2253735 markings, 13684602 edges, 4008 markings/sec, 620 secs
lola: 2272379 markings, 13791893 edges, 3729 markings/sec, 625 secs
lola: 2289595 markings, 13899027 edges, 3443 markings/sec, 630 secs
lola: 2307361 markings, 14006140 edges, 3553 markings/sec, 635 secs
lola: 2324353 markings, 14113415 edges, 3398 markings/sec, 640 secs
lola: 2340947 markings, 14220553 edges, 3319 markings/sec, 645 secs
lola: 2356369 markings, 14328991 edges, 3084 markings/sec, 650 secs
lola: 2376597 markings, 14442748 edges, 4046 markings/sec, 655 secs
lola: 2396695 markings, 14556537 edges, 4020 markings/sec, 660 secs
lola: 2415813 markings, 14670529 edges, 3824 markings/sec, 665 secs
lola: 2433635 markings, 14780787 edges, 3564 markings/sec, 670 secs
lola: 2451557 markings, 14890563 edges, 3584 markings/sec, 675 secs
lola: 2468507 markings, 14999928 edges, 3390 markings/sec, 680 secs
lola: 2484411 markings, 15109421 edges, 3181 markings/sec, 685 secs
lola: 2501657 markings, 15218759 edges, 3449 markings/sec, 690 secs
lola: 2519183 markings, 15328002 edges, 3505 markings/sec, 695 secs
lola: 2536087 markings, 15437373 edges, 3381 markings/sec, 700 secs
lola: 2551919 markings, 15547413 edges, 3166 markings/sec, 705 secs
lola: 2568409 markings, 15657670 edges, 3298 markings/sec, 710 secs
lola: 2584323 markings, 15767968 edges, 3183 markings/sec, 715 secs
lola: 2599770 markings, 15878374 edges, 3089 markings/sec, 720 secs
lola: 2614335 markings, 15988942 edges, 2913 markings/sec, 725 secs
lola: 2631562 markings, 16099120 edges, 3445 markings/sec, 730 secs
lola: 2651285 markings, 16208729 edges, 3945 markings/sec, 735 secs
lola: 2670187 markings, 16318667 edges, 3780 markings/sec, 740 secs
lola: 2687235 markings, 16428942 edges, 3410 markings/sec, 745 secs
lola: 2706133 markings, 16538914 edges, 3780 markings/sec, 750 secs
lola: 2723193 markings, 16649191 edges, 3412 markings/sec, 755 secs
lola: 2740055 markings, 16759332 edges, 3372 markings/sec, 760 secs
lola: 2755711 markings, 16869723 edges, 3131 markings/sec, 765 secs
lola: 2774460 markings, 16979682 edges, 3750 markings/sec, 770 secs
lola: 2791515 markings, 17089796 edges, 3411 markings/sec, 775 secs
lola: 2808031 markings, 17200039 edges, 3303 markings/sec, 780 secs
lola: 2823843 markings, 17310458 edges, 3162 markings/sec, 785 secs
lola: 2840445 markings, 17420713 edges, 3320 markings/sec, 790 secs
lola: 2855763 markings, 17531099 edges, 3064 markings/sec, 795 secs
lola: 2870941 markings, 17641564 edges, 3036 markings/sec, 800 secs
lola: 2884671 markings, 17752227 edges, 2746 markings/sec, 805 secs
lola: 2903853 markings, 17862199 edges, 3836 markings/sec, 810 secs
lola: 2920897 markings, 17972491 edges, 3409 markings/sec, 815 secs
lola: 2937605 markings, 18082743 edges, 3342 markings/sec, 820 secs
lola: 2953249 markings, 18193210 edges, 3129 markings/sec, 825 secs
lola: 2970015 markings, 18303458 edges, 3353 markings/sec, 830 secs
lola: 2985307 markings, 18413952 edges, 3058 markings/sec, 835 secs
lola: 3000567 markings, 18524395 edges, 3052 markings/sec, 840 secs
lola: 3014659 markings, 18635136 edges, 2818 markings/sec, 845 secs
lola: 3031443 markings, 18745358 edges, 3357 markings/sec, 850 secs
lola: 3046995 markings, 18855707 edges, 3110 markings/sec, 855 secs
lola: 3062567 markings, 18966191 edges, 3114 markings/sec, 860 secs
lola: 3076947 markings, 19076826 edges, 2876 markings/sec, 865 secs
lola: 3092047 markings, 19187277 edges, 3020 markings/sec, 870 secs
lola: 3106599 markings, 19297900 edges, 2910 markings/sec, 875 secs
lola: 3120731 markings, 19408493 edges, 2826 markings/sec, 880 secs
lola: 3134447 markings, 19519305 edges, 2743 markings/sec, 885 secs
lola: 3147107 markings, 19630191 edges, 2532 markings/sec, 890 secs
lola: 3168701 markings, 19739805 edges, 4319 markings/sec, 895 secs
lola: 3187625 markings, 19849832 edges, 3785 markings/sec, 900 secs
lola: 3205641 markings, 19960023 edges, 3603 markings/sec, 905 secs
lola: 3223870 markings, 20070161 edges, 3646 markings/sec, 910 secs
lola: 3241301 markings, 20180372 edges, 3486 markings/sec, 915 secs
lola: 3258391 markings, 20290591 edges, 3418 markings/sec, 920 secs
lola: 3274089 markings, 20401036 edges, 3140 markings/sec, 925 secs
lola: 3292129 markings, 20511025 edges, 3608 markings/sec, 930 secs
lola: 3309271 markings, 20621273 edges, 3428 markings/sec, 935 secs
lola: 3326289 markings, 20731517 edges, 3404 markings/sec, 940 secs
lola: 3341859 markings, 20841979 edges, 3114 markings/sec, 945 secs
lola: 3358717 markings, 20952169 edges, 3372 markings/sec, 950 secs
lola: 3374261 markings, 21062499 edges, 3109 markings/sec, 955 secs
lola: 3389825 markings, 21172776 edges, 3113 markings/sec, 960 secs
lola: 3404237 markings, 21283363 edges, 2882 markings/sec, 965 secs
lola: 3421471 markings, 21393518 edges, 3447 markings/sec, 970 secs
lola: 3438877 markings, 21503684 edges, 3481 markings/sec, 975 secs
lola: 3455911 markings, 21613900 edges, 3407 markings/sec, 980 secs
lola: 3471565 markings, 21724299 edges, 3131 markings/sec, 985 secs
lola: 3488327 markings, 21834595 edges, 3352 markings/sec, 990 secs
lola: 3504017 markings, 21945036 edges, 3138 markings/sec, 995 secs
lola: 3519507 markings, 22055542 edges, 3098 markings/sec, 1000 secs
lola: 3534025 markings, 22166194 edges, 2904 markings/sec, 1005 secs
lola: 3549851 markings, 22276733 edges, 3165 markings/sec, 1010 secs
lola: 3565889 markings, 22387076 edges, 3208 markings/sec, 1015 secs
lola: 3581253 markings, 22497683 edges, 3073 markings/sec, 1020 secs
lola: 3596165 markings, 22608283 edges, 2982 markings/sec, 1025 secs
lola: 3610665 markings, 22718947 edges, 2900 markings/sec, 1030 secs
lola: 3625721 markings, 22829506 edges, 3011 markings/sec, 1035 secs
lola: 3639585 markings, 22940242 edges, 2773 markings/sec, 1040 secs
lola: 3653841 markings, 23051794 edges, 2851 markings/sec, 1045 secs
lola: 3667071 markings, 23162607 edges, 2646 markings/sec, 1050 secs
lola: 3684203 markings, 23272794 edges, 3426 markings/sec, 1055 secs
lola: 3701493 markings, 23383009 edges, 3458 markings/sec, 1060 secs
lola: 3718507 markings, 23493264 edges, 3403 markings/sec, 1065 secs
lola: 3734161 markings, 23603691 edges, 3131 markings/sec, 1070 secs
lola: 3750911 markings, 23713832 edges, 3350 markings/sec, 1075 secs
lola: 3766567 markings, 23824215 edges, 3131 markings/sec, 1080 secs
lola: 3782057 markings, 23934635 edges, 3098 markings/sec, 1085 secs
lola: 3796569 markings, 24045189 edges, 2902 markings/sec, 1090 secs
lola: 3812403 markings, 24155440 edges, 3167 markings/sec, 1095 secs
lola: 3828411 markings, 24265750 edges, 3202 markings/sec, 1100 secs
lola: 3843781 markings, 24376111 edges, 3074 markings/sec, 1105 secs
lola: 3858572 markings, 24486484 edges, 2958 markings/sec, 1110 secs
lola: 3873111 markings, 24597030 edges, 2908 markings/sec, 1115 secs
lola: 3888111 markings, 24707496 edges, 3000 markings/sec, 1120 secs
lola: 3902003 markings, 24818046 edges, 2778 markings/sec, 1125 secs
lola: 3916083 markings, 24928582 edges, 2816 markings/sec, 1130 secs
lola: 3929275 markings, 25039294 edges, 2638 markings/sec, 1135 secs
lola: 3945145 markings, 25149604 edges, 3174 markings/sec, 1140 secs
lola: 3961017 markings, 25260020 edges, 3174 markings/sec, 1145 secs
lola: 3976471 markings, 25370411 edges, 3091 markings/sec, 1150 secs
lola: 3991029 markings, 25480906 edges, 2912 markings/sec, 1155 secs
lola: 4005787 markings, 25591442 edges, 2952 markings/sec, 1160 secs
lola: 4020737 markings, 25702044 edges, 2990 markings/sec, 1165 secs
lola: 4034691 markings, 25812717 edges, 2791 markings/sec, 1170 secs
lola: 4048541 markings, 25923454 edges, 2770 markings/sec, 1175 secs
lola: 4061725 markings, 26034218 edges, 2637 markings/sec, 1180 secs
lola: 4076703 markings, 26144759 edges, 2996 markings/sec, 1185 secs
lola: 4091251 markings, 26255337 edges, 2910 markings/sec, 1190 secs
lola: 4105269 markings, 26365909 edges, 2804 markings/sec, 1195 secs
lola: 4118995 markings, 26476522 edges, 2745 markings/sec, 1200 secs
lola: 4131899 markings, 26587262 edges, 2581 markings/sec, 1205 secs
lola: 4145871 markings, 26697821 edges, 2794 markings/sec, 1210 secs
lola: 4159107 markings, 26808442 edges, 2647 markings/sec, 1215 secs
lola: 4172190 markings, 26919166 edges, 2617 markings/sec, 1220 secs
lola: 4184735 markings, 27029954 edges, 2509 markings/sec, 1225 secs
lola: 4197593 markings, 27140635 edges, 2572 markings/sec, 1230 secs
lola: 4221335 markings, 27249829 edges, 4748 markings/sec, 1235 secs
lola: 4242581 markings, 27359386 edges, 4249 markings/sec, 1240 secs
lola: 4261563 markings, 27469312 edges, 3796 markings/sec, 1245 secs
lola: 4282996 markings, 27578804 edges, 4287 markings/sec, 1250 secs
lola: 4301855 markings, 27688643 edges, 3772 markings/sec, 1255 secs
lola: 4319861 markings, 27798679 edges, 3601 markings/sec, 1260 secs
lola: 4339463 markings, 27908443 edges, 3920 markings/sec, 1265 secs
lola: 4358523 markings, 28018385 edges, 3812 markings/sec, 1270 secs
lola: 4377499 markings, 28128032 edges, 3795 markings/sec, 1275 secs
lola: 4394875 markings, 28238187 edges, 3475 markings/sec, 1280 secs
lola: 4413491 markings, 28348087 edges, 3723 markings/sec, 1285 secs
lola: 4430527 markings, 28458334 edges, 3407 markings/sec, 1290 secs
lola: 4446715 markings, 28566580 edges, 3238 markings/sec, 1295 secs
lola: 4463553 markings, 28675167 edges, 3368 markings/sec, 1300 secs
lola: 4483243 markings, 28781924 edges, 3938 markings/sec, 1305 secs
lola: 4501749 markings, 28888785 edges, 3701 markings/sec, 1310 secs
lola: 4519429 markings, 29000451 edges, 3536 markings/sec, 1315 secs
lola: 4538519 markings, 29114693 edges, 3818 markings/sec, 1320 secs
lola: 4555993 markings, 29229178 edges, 3495 markings/sec, 1325 secs
lola: 4573889 markings, 29343375 edges, 3579 markings/sec, 1330 secs
lola: 4590025 markings, 29457748 edges, 3227 markings/sec, 1335 secs
lola: 4609545 markings, 29571669 edges, 3904 markings/sec, 1340 secs
lola: 4627241 markings, 29685793 edges, 3539 markings/sec, 1345 secs
lola: 4644201 markings, 29799766 edges, 3392 markings/sec, 1350 secs
lola: 4660747 markings, 29913791 edges, 3309 markings/sec, 1355 secs
lola: 4677567 markings, 30027246 edges, 3364 markings/sec, 1360 secs
lola: 4693525 markings, 30141509 edges, 3192 markings/sec, 1365 secs
lola: 4708979 markings, 30255760 edges, 3091 markings/sec, 1370 secs
lola: 4725461 markings, 30369789 edges, 3296 markings/sec, 1375 secs
lola: 4746331 markings, 30483090 edges, 4174 markings/sec, 1380 secs
lola: 4765833 markings, 30596433 edges, 3900 markings/sec, 1385 secs
lola: 4783519 markings, 30709866 edges, 3537 markings/sec, 1390 secs
lola: 4802713 markings, 30823135 edges, 3839 markings/sec, 1395 secs
lola: 4820377 markings, 30936723 edges, 3533 markings/sec, 1400 secs
lola: 4837749 markings, 31050361 edges, 3474 markings/sec, 1405 secs
lola: 4854255 markings, 31164174 edges, 3301 markings/sec, 1410 secs
lola: 4873321 markings, 31277633 edges, 3813 markings/sec, 1415 secs
lola: 4890869 markings, 31391341 edges, 3510 markings/sec, 1420 secs
lola: 4907704 markings, 31505632 edges, 3367 markings/sec, 1425 secs
lola: 4924419 markings, 31620079 edges, 3343 markings/sec, 1430 secs
lola: 4941187 markings, 31734323 edges, 3354 markings/sec, 1435 secs
lola: 4957183 markings, 31848769 edges, 3199 markings/sec, 1440 secs
lola: 4972605 markings, 31963347 edges, 3084 markings/sec, 1445 secs
lola: 4989023 markings, 32077682 edges, 3284 markings/sec, 1450 secs
lola: 5007637 markings, 32191704 edges, 3723 markings/sec, 1455 secs
lola: 5025333 markings, 32305909 edges, 3539 markings/sec, 1460 secs
lola: 5041841 markings, 32420241 edges, 3302 markings/sec, 1465 secs
lola: 5058889 markings, 32534459 edges, 3410 markings/sec, 1470 secs
lola: 5075327 markings, 32648823 edges, 3288 markings/sec, 1475 secs
lola: 5091367 markings, 32763328 edges, 3208 markings/sec, 1480 secs
lola: 5106429 markings, 32877893 edges, 3012 markings/sec, 1485 secs
lola: 5122725 markings, 32992335 edges, 3259 markings/sec, 1490 secs
lola: 5139355 markings, 33106821 edges, 3326 markings/sec, 1495 secs
lola: 5155385 markings, 33221417 edges, 3206 markings/sec, 1500 secs
lola: 5170495 markings, 33336118 edges, 3022 markings/sec, 1505 secs
lola: 5185843 markings, 33450921 edges, 3070 markings/sec, 1510 secs
lola: 5201299 markings, 33565657 edges, 3091 markings/sec, 1515 secs
lola: 5215869 markings, 33680537 edges, 2914 markings/sec, 1520 secs
lola: 5230231 markings, 33795370 edges, 2872 markings/sec, 1525 secs
lola: 5243465 markings, 33910338 edges, 2647 markings/sec, 1530 secs
lola: 5265291 markings, 34024122 edges, 4365 markings/sec, 1535 secs
lola: 5284923 markings, 34138193 edges, 3926 markings/sec, 1540 secs
lola: 5303517 markings, 34252353 edges, 3719 markings/sec, 1545 secs
lola: 5322465 markings, 34366484 edges, 3790 markings/sec, 1550 secs
lola: 5340325 markings, 34480733 edges, 3572 markings/sec, 1555 secs
lola: 5357917 markings, 34595053 edges, 3518 markings/sec, 1560 secs
lola: 5373999 markings, 34709574 edges, 3216 markings/sec, 1565 secs
lola: 5393375 markings, 34823622 edges, 3875 markings/sec, 1570 secs
lola: 5411107 markings, 34937816 edges, 3546 markings/sec, 1575 secs
lola: 5428413 markings, 35052336 edges, 3461 markings/sec, 1580 secs
lola: 5444789 markings, 35166961 edges, 3275 markings/sec, 1585 secs
lola: 5462067 markings, 35281142 edges, 3456 markings/sec, 1590 secs
lola: 5478017 markings, 35395783 edges, 3190 markings/sec, 1595 secs
lola: 5493681 markings, 35510562 edges, 3133 markings/sec, 1600 secs
lola: 5508931 markings, 35625305 edges, 3050 markings/sec, 1605 secs
lola: 5528245 markings, 35739486 edges, 3863 markings/sec, 1610 secs
lola: 5545885 markings, 35853733 edges, 3528 markings/sec, 1615 secs
lola: 5562793 markings, 35968317 edges, 3382 markings/sec, 1620 secs
lola: 5579517 markings, 36082953 edges, 3345 markings/sec, 1625 secs
lola: 5596281 markings, 36197329 edges, 3353 markings/sec, 1630 secs
lola: 5612337 markings, 36311868 edges, 3211 markings/sec, 1635 secs
lola: 5627743 markings, 36426333 edges, 3081 markings/sec, 1640 secs
lola: 5643383 markings, 36540878 edges, 3128 markings/sec, 1645 secs
lola: 5660367 markings, 36655128 edges, 3397 markings/sec, 1650 secs
lola: 5676295 markings, 36769378 edges, 3186 markings/sec, 1655 secs
lola: 5691793 markings, 36883652 edges, 3100 markings/sec, 1660 secs
lola: 5706608 markings, 36998233 edges, 2963 markings/sec, 1665 secs
lola: 5722285 markings, 37112416 edges, 3135 markings/sec, 1670 secs
lola: 5736669 markings, 37227245 edges, 2877 markings/sec, 1675 secs
lola: 5751319 markings, 37341936 edges, 2930 markings/sec, 1680 secs
lola: 5764759 markings, 37454470 edges, 2688 markings/sec, 1685 secs
lola: 5782569 markings, 37567832 edges, 3562 markings/sec, 1690 secs
lola: 5799419 markings, 37675986 edges, 3370 markings/sec, 1695 secs
lola: 5816151 markings, 37784054 edges, 3346 markings/sec, 1700 secs
lola: 5831478 markings, 37892362 edges, 3065 markings/sec, 1705 secs
lola: 5847974 markings, 38000536 edges, 3299 markings/sec, 1710 secs
lola: 5863375 markings, 38108919 edges, 3080 markings/sec, 1715 secs
lola: 5878595 markings, 38217278 edges, 3044 markings/sec, 1720 secs
lola: 5892857 markings, 38325740 edges, 2852 markings/sec, 1725 secs
lola: 5908123 markings, 38433963 edges, 3053 markings/sec, 1730 secs
lola: 5923942 markings, 38542244 edges, 3164 markings/sec, 1735 secs
lola: 5939159 markings, 38650437 edges, 3043 markings/sec, 1740 secs
lola: 5953801 markings, 38758759 edges, 2928 markings/sec, 1745 secs
lola: 5968079 markings, 38869726 edges, 2856 markings/sec, 1750 secs
lola: 5984295 markings, 38987417 edges, 3243 markings/sec, 1755 secs
lola: 5999132 markings, 39105276 edges, 2967 markings/sec, 1760 secs
lola: 6014007 markings, 39223132 edges, 2975 markings/sec, 1765 secs
lola: 6028085 markings, 39341069 edges, 2816 markings/sec, 1770 secs
lola: 6045401 markings, 39458544 edges, 3463 markings/sec, 1775 secs
lola: 6061925 markings, 39576219 edges, 3305 markings/sec, 1780 secs
lola: 6078413 markings, 39693887 edges, 3298 markings/sec, 1785 secs
lola: 6093585 markings, 39811450 edges, 3034 markings/sec, 1790 secs
lola: 6109820 markings, 39928910 edges, 3247 markings/sec, 1795 secs
lola: 6125055 markings, 40046595 edges, 3047 markings/sec, 1800 secs
lola: 6139861 markings, 40161801 edges, 2961 markings/sec, 1805 secs
lola: 6153621 markings, 40276190 edges, 2752 markings/sec, 1810 secs
lola: 6168147 markings, 40390525 edges, 2905 markings/sec, 1815 secs
lola: 6183580 markings, 40504698 edges, 3087 markings/sec, 1820 secs
lola: 6198361 markings, 40621731 edges, 2956 markings/sec, 1825 secs
lola: 6213179 markings, 40739669 edges, 2964 markings/sec, 1830 secs
lola: 6226749 markings, 40857874 edges, 2714 markings/sec, 1835 secs
lola: 6241973 markings, 40975769 edges, 3045 markings/sec, 1840 secs
lola: 6256029 markings, 41093869 edges, 2811 markings/sec, 1845 secs
lola: 6269969 markings, 41211838 edges, 2788 markings/sec, 1850 secs
lola: 6283255 markings, 41329981 edges, 2657 markings/sec, 1855 secs
lola: 6298721 markings, 41447866 edges, 3093 markings/sec, 1860 secs
lola: 6320217 markings, 41565027 edges, 4299 markings/sec, 1865 secs
lola: 6340233 markings, 41682229 edges, 4003 markings/sec, 1870 secs
lola: 6358191 markings, 41799831 edges, 3592 markings/sec, 1875 secs
lola: 6378577 markings, 41916946 edges, 4077 markings/sec, 1880 secs
lola: 6396859 markings, 42034581 edges, 3656 markings/sec, 1885 secs
lola: 6414311 markings, 42152168 edges, 3490 markings/sec, 1890 secs
lola: 6432317 markings, 42269740 edges, 3601 markings/sec, 1895 secs
lola: 6451329 markings, 42387087 edges, 3802 markings/sec, 1900 secs
lola: 6469381 markings, 42504281 edges, 3610 markings/sec, 1905 secs
lola: 6486097 markings, 42621844 edges, 3343 markings/sec, 1910 secs
lola: 6503817 markings, 42739220 edges, 3544 markings/sec, 1915 secs
lola: 6520383 markings, 42856953 edges, 3313 markings/sec, 1920 secs
lola: 6536869 markings, 42974630 edges, 3297 markings/sec, 1925 secs
lola: 6552087 markings, 43092381 edges, 3044 markings/sec, 1930 secs
lola: 6571001 markings, 43209515 edges, 3783 markings/sec, 1935 secs
lola: 6589366 markings, 43326837 edges, 3673 markings/sec, 1940 secs
lola: 6607320 markings, 43443976 edges, 3591 markings/sec, 1945 secs
lola: 6624023 markings, 43561239 edges, 3341 markings/sec, 1950 secs
lola: 6641719 markings, 43678300 edges, 3539 markings/sec, 1955 secs
lola: 6658077 markings, 43795594 edges, 3272 markings/sec, 1960 secs
lola: 6674039 markings, 43912948 edges, 3192 markings/sec, 1965 secs
lola: 6689559 markings, 44030254 edges, 3104 markings/sec, 1970 secs
lola: 6707263 markings, 44147380 edges, 3541 markings/sec, 1975 secs
lola: 6723641 markings, 44264786 edges, 3276 markings/sec, 1980 secs
lola: 6739599 markings, 44382131 edges, 3192 markings/sec, 1985 secs
lola: 6754775 markings, 44499554 edges, 3035 markings/sec, 1990 secs
lola: 6770883 markings, 44616809 edges, 3222 markings/sec, 1995 secs
lola: 6785691 markings, 44734304 edges, 2962 markings/sec, 2000 secs
lola: 6800495 markings, 44851785 edges, 2961 markings/sec, 2005 secs
lola: 6814523 markings, 44969256 edges, 2806 markings/sec, 2010 secs
lola: 6833203 markings, 45085998 edges, 3736 markings/sec, 2015 secs
lola: 6851523 markings, 45202984 edges, 3664 markings/sec, 2020 secs
lola: 6869457 markings, 45319938 edges, 3587 markings/sec, 2025 secs
lola: 6886135 markings, 45437096 edges, 3336 markings/sec, 2030 secs
lola: 6903827 markings, 45554087 edges, 3538 markings/sec, 2035 secs
lola: 6920183 markings, 45671362 edges, 3271 markings/sec, 2040 secs
lola: 6936148 markings, 45788745 edges, 3193 markings/sec, 2045 secs
lola: 6951661 markings, 45906079 edges, 3103 markings/sec, 2050 secs
lola: 6969365 markings, 46023109 edges, 3541 markings/sec, 2055 secs
lola: 6985697 markings, 46140295 edges, 3266 markings/sec, 2060 secs
lola: 7001657 markings, 46257552 edges, 3192 markings/sec, 2065 secs
lola: 7016787 markings, 46374680 edges, 3026 markings/sec, 2070 secs
lola: 7032911 markings, 46491853 edges, 3225 markings/sec, 2075 secs
lola: 7047677 markings, 46609230 edges, 2953 markings/sec, 2080 secs
lola: 7062525 markings, 46726714 edges, 2970 markings/sec, 2085 secs
lola: 7076539 markings, 46844148 edges, 2803 markings/sec, 2090 secs
lola: 7093779 markings, 46961209 edges, 3448 markings/sec, 2095 secs
lola: 7110257 markings, 47078398 edges, 3296 markings/sec, 2100 secs
lola: 7126696 markings, 47195736 edges, 3288 markings/sec, 2105 secs
lola: 7141851 markings, 47313029 edges, 3031 markings/sec, 2110 secs
lola: 7158021 markings, 47430288 edges, 3234 markings/sec, 2115 secs
lola: 7173237 markings, 47547681 edges, 3043 markings/sec, 2120 secs
lola: 7188348 markings, 47665200 edges, 3022 markings/sec, 2125 secs
lola: 7202513 markings, 47782832 edges, 2833 markings/sec, 2130 secs
lola: 7217497 markings, 47900412 edges, 2997 markings/sec, 2135 secs
lola: 7233305 markings, 48017879 edges, 3162 markings/sec, 2140 secs
lola: 7248277 markings, 48135508 edges, 2994 markings/sec, 2145 secs
lola: 7262883 markings, 48253043 edges, 2921 markings/sec, 2150 secs
lola: 7276469 markings, 48370750 edges, 2717 markings/sec, 2155 secs
lola: 7291505 markings, 48488400 edges, 3007 markings/sec, 2160 secs
lola: 7305561 markings, 48606370 edges, 2811 markings/sec, 2165 secs
lola: 7319505 markings, 48724163 edges, 2789 markings/sec, 2170 secs
lola: 7332659 markings, 48842195 edges, 2631 markings/sec, 2175 secs
lola: 7347969 markings, 48959933 edges, 3062 markings/sec, 2180 secs
lola: 7367111 markings, 49077140 edges, 3828 markings/sec, 2185 secs
lola: 7385249 markings, 49194453 edges, 3628 markings/sec, 2190 secs
lola: 7402127 markings, 49312035 edges, 3376 markings/sec, 2195 secs
lola: 7419741 markings, 49429401 edges, 3523 markings/sec, 2200 secs
lola: 7436431 markings, 49546893 edges, 3338 markings/sec, 2205 secs
lola: 7452877 markings, 49664353 edges, 3289 markings/sec, 2210 secs
lola: 7468095 markings, 49781669 edges, 3044 markings/sec, 2215 secs
lola: 7485381 markings, 49899119 edges, 3457 markings/sec, 2220 secs
lola: 7502075 markings, 50016755 edges, 3339 markings/sec, 2225 secs
lola: 7518529 markings, 50134178 edges, 3291 markings/sec, 2230 secs
lola: 7533753 markings, 50251852 edges, 3045 markings/sec, 2235 secs
lola: 7549873 markings, 50369390 edges, 3224 markings/sec, 2240 secs
lola: 7565277 markings, 50486950 edges, 3081 markings/sec, 2245 secs
lola: 7580307 markings, 50604609 edges, 3006 markings/sec, 2250 secs
lola: 7594625 markings, 50722543 edges, 2864 markings/sec, 2255 secs
lola: 7610049 markings, 50840191 edges, 3085 markings/sec, 2260 secs
lola: 7627359 markings, 50957596 edges, 3462 markings/sec, 2265 secs
lola: 7643769 markings, 51075052 edges, 3282 markings/sec, 2270 secs
lola: 7659537 markings, 51192353 edges, 3154 markings/sec, 2275 secs
lola: 7675033 markings, 51309958 edges, 3099 markings/sec, 2280 secs
lola: 7690961 markings, 51427545 edges, 3186 markings/sec, 2285 secs
lola: 7705819 markings, 51545332 edges, 2972 markings/sec, 2290 secs
lola: 7720631 markings, 51663071 edges, 2962 markings/sec, 2295 secs
lola: 7734152 markings, 51780990 edges, 2704 markings/sec, 2300 secs
lola: 7750551 markings, 51898369 edges, 3280 markings/sec, 2305 secs
lola: 7765689 markings, 52015897 edges, 3028 markings/sec, 2310 secs
lola: 7780839 markings, 52133445 edges, 3030 markings/sec, 2315 secs
lola: 7794912 markings, 52251100 edges, 2815 markings/sec, 2320 secs
lola: 7809499 markings, 52368710 edges, 2917 markings/sec, 2325 secs
lola: 7823806 markings, 52486208 edges, 2861 markings/sec, 2330 secs
lola: 7837567 markings, 52603764 edges, 2752 markings/sec, 2335 secs
lola: 7851069 markings, 52721450 edges, 2700 markings/sec, 2340 secs
lola: 7863797 markings, 52839197 edges, 2546 markings/sec, 2345 secs
lola: 7881093 markings, 52956374 edges, 3459 markings/sec, 2350 secs
lola: 7897490 markings, 53073574 edges, 3279 markings/sec, 2355 secs
lola: 7913919 markings, 53190781 edges, 3286 markings/sec, 2360 secs
lola: 7929013 markings, 53308052 edges, 3019 markings/sec, 2365 secs
lola: 7945273 markings, 53425246 edges, 3252 markings/sec, 2370 secs
lola: 7960475 markings, 53542615 edges, 3040 markings/sec, 2375 secs
lola: 7975537 markings, 53660011 edges, 3012 markings/sec, 2380 secs
lola: 7989693 markings, 53777455 edges, 2831 markings/sec, 2385 secs
lola: 8004659 markings, 53894710 edges, 2993 markings/sec, 2390 secs
lola: 8020399 markings, 54011889 edges, 3148 markings/sec, 2395 secs
lola: 8035373 markings, 54129294 edges, 2995 markings/sec, 2400 secs
lola: 8049871 markings, 54246613 edges, 2900 markings/sec, 2405 secs
lola: 8063591 markings, 54364027 edges, 2744 markings/sec, 2410 secs
lola: 8078395 markings, 54481373 edges, 2961 markings/sec, 2415 secs
lola: 8092417 markings, 54598833 edges, 2804 markings/sec, 2420 secs
lola: 8106321 markings, 54716148 edges, 2781 markings/sec, 2425 secs
lola: 8119369 markings, 54833683 edges, 2610 markings/sec, 2430 secs
lola: 8133452 markings, 54950967 edges, 2817 markings/sec, 2435 secs
lola: 8149317 markings, 55068055 edges, 3173 markings/sec, 2440 secs
lola: 8164157 markings, 55185340 edges, 2968 markings/sec, 2445 secs
lola: 8178833 markings, 55302455 edges, 2935 markings/sec, 2450 secs
lola: 8192435 markings, 55419875 edges, 2720 markings/sec, 2455 secs
lola: 8207505 markings, 55537169 edges, 3014 markings/sec, 2460 secs
lola: 8221547 markings, 55654657 edges, 2808 markings/sec, 2465 secs
lola: 8235364 markings, 55772018 edges, 2763 markings/sec, 2470 secs
lola: 8248649 markings, 55889638 edges, 2657 markings/sec, 2475 secs
lola: 8261725 markings, 56007243 edges, 2615 markings/sec, 2480 secs
lola: 8276497 markings, 56124721 edges, 2954 markings/sec, 2485 secs
lola: 8290229 markings, 56242384 edges, 2746 markings/sec, 2490 secs
lola: 8304211 markings, 56359975 edges, 2796 markings/sec, 2495 secs
lola: 8317309 markings, 56477646 edges, 2620 markings/sec, 2500 secs
lola: 8330525 markings, 56595314 edges, 2643 markings/sec, 2505 secs
lola: 8343999 markings, 56713025 edges, 2695 markings/sec, 2510 secs
lola: 8356499 markings, 56830824 edges, 2500 markings/sec, 2515 secs
lola: 8369558 markings, 56948662 edges, 2612 markings/sec, 2520 secs
lola: 8381723 markings, 57066655 edges, 2433 markings/sec, 2525 secs
lola: 8398113 markings, 57183585 edges, 3278 markings/sec, 2530 secs
lola: 8421695 markings, 57300026 edges, 4716 markings/sec, 2535 secs
lola: 8444397 markings, 57416543 edges, 4540 markings/sec, 2540 secs
lola: 8465833 markings, 57533326 edges, 4287 markings/sec, 2545 secs
lola: 8486421 markings, 57650237 edges, 4118 markings/sec, 2550 secs
lola: 8506491 markings, 57767169 edges, 4014 markings/sec, 2555 secs
lola: 8525853 markings, 57884423 edges, 3872 markings/sec, 2560 secs
lola: 8547453 markings, 58001302 edges, 4320 markings/sec, 2565 secs
lola: 8567511 markings, 58118115 edges, 4012 markings/sec, 2570 secs
lola: 8585623 markings, 58235361 edges, 3622 markings/sec, 2575 secs
lola: 8605765 markings, 58352320 edges, 4028 markings/sec, 2580 secs
lola: 8623961 markings, 58469634 edges, 3639 markings/sec, 2585 secs
lola: 8641534 markings, 58586964 edges, 3515 markings/sec, 2590 secs
lola: 8660127 markings, 58704157 edges, 3719 markings/sec, 2595 secs
lola: 8681287 markings, 58820859 edges, 4232 markings/sec, 2600 secs
lola: 8701069 markings, 58937902 edges, 3956 markings/sec, 2605 secs
lola: 8719715 markings, 59055100 edges, 3729 markings/sec, 2610 secs
lola: 8739593 markings, 59172145 edges, 3976 markings/sec, 2615 secs
lola: 8757689 markings, 59289493 edges, 3619 markings/sec, 2620 secs
lola: 8774868 markings, 59407048 edges, 3436 markings/sec, 2625 secs
lola: 8793312 markings, 59524136 edges, 3689 markings/sec, 2630 secs
lola: 8811980 markings, 59641420 edges, 3734 markings/sec, 2635 secs
lola: 8830047 markings, 59758743 edges, 3613 markings/sec, 2640 secs
lola: 8846619 markings, 59876375 edges, 3314 markings/sec, 2645 secs
lola: 8864431 markings, 59993797 edges, 3562 markings/sec, 2650 secs
lola: 8880845 markings, 60111471 edges, 3283 markings/sec, 2655 secs
lola: 8897329 markings, 60229042 edges, 3297 markings/sec, 2660 secs
lola: 8912501 markings, 60346849 edges, 3034 markings/sec, 2665 secs
lola: 8934293 markings, 60463521 edges, 4358 markings/sec, 2670 secs
lola: 8954557 markings, 60580469 edges, 4053 markings/sec, 2675 secs
lola: 8973625 markings, 60697575 edges, 3814 markings/sec, 2680 secs
lola: 8993033 markings, 60814585 edges, 3882 markings/sec, 2685 secs
lola: 9011205 markings, 60931672 edges, 3634 markings/sec, 2690 secs
lola: 9029180 markings, 61048821 edges, 3595 markings/sec, 2695 secs
lola: 9045579 markings, 61166163 edges, 3280 markings/sec, 2700 secs
lola: 9065763 markings, 61282912 edges, 4037 markings/sec, 2705 secs
lola: 9083939 markings, 61399912 edges, 3635 markings/sec, 2710 secs
lola: 9101335 markings, 61517093 edges, 3479 markings/sec, 2715 secs
lola: 9118385 markings, 61634216 edges, 3410 markings/sec, 2720 secs
lola: 9135553 markings, 61751343 edges, 3434 markings/sec, 2725 secs
lola: 9151931 markings, 61868539 edges, 3276 markings/sec, 2730 secs
lola: 9167607 markings, 61985817 edges, 3135 markings/sec, 2735 secs
lola: 9184753 markings, 62103023 edges, 3429 markings/sec, 2740 secs
lola: 9203715 markings, 62219777 edges, 3792 markings/sec, 2745 secs
lola: 9221697 markings, 62336593 edges, 3596 markings/sec, 2750 secs
lola: 9238361 markings, 62453574 edges, 3333 markings/sec, 2755 secs
lola: 9255991 markings, 62570378 edges, 3526 markings/sec, 2760 secs
lola: 9272483 markings, 62687474 edges, 3298 markings/sec, 2765 secs
lola: 9288889 markings, 62804545 edges, 3281 markings/sec, 2770 secs
lola: 9304089 markings, 62921789 edges, 3040 markings/sec, 2775 secs
lola: 9321427 markings, 63038640 edges, 3468 markings/sec, 2780 secs
lola: 9337931 markings, 63155665 edges, 3301 markings/sec, 2785 secs
lola: 9354327 markings, 63272677 edges, 3279 markings/sec, 2790 secs
lola: 9369511 markings, 63389863 edges, 3037 markings/sec, 2795 secs
lola: 9385601 markings, 63507019 edges, 3218 markings/sec, 2800 secs
lola: 9400907 markings, 63624292 edges, 3061 markings/sec, 2805 secs
lola: 9415885 markings, 63741572 edges, 2996 markings/sec, 2810 secs
lola: 9430069 markings, 63858930 edges, 2837 markings/sec, 2815 secs
lola: 9447519 markings, 63975975 edges, 3490 markings/sec, 2820 secs
lola: 9468385 markings, 64092626 edges, 4173 markings/sec, 2825 secs
lola: 9488281 markings, 64209486 edges, 3979 markings/sec, 2830 secs
lola: 9506923 markings, 64326631 edges, 3728 markings/sec, 2835 secs
lola: 9526595 markings, 64443576 edges, 3934 markings/sec, 2840 secs
lola: 9544577 markings, 64560382 edges, 3596 markings/sec, 2845 secs
lola: 9561807 markings, 64677717 edges, 3446 markings/sec, 2850 secs
lola: 9580325 markings, 64794851 edges, 3704 markings/sec, 2855 secs
lola: 9598881 markings, 64912078 edges, 3711 markings/sec, 2860 secs
lola: 9616903 markings, 65029313 edges, 3604 markings/sec, 2865 secs
lola: 9633401 markings, 65146637 edges, 3300 markings/sec, 2870 secs
lola: 9651185 markings, 65264019 edges, 3557 markings/sec, 2875 secs
lola: 9667557 markings, 65381549 edges, 3274 markings/sec, 2880 secs
lola: 9684027 markings, 65499096 edges, 3294 markings/sec, 2885 secs
lola: 9699189 markings, 65616708 edges, 3032 markings/sec, 2890 secs
lola: 9718858 markings, 65733874 edges, 3934 markings/sec, 2895 secs
lola: 9737085 markings, 65851136 edges, 3645 markings/sec, 2900 secs
lola: 9754809 markings, 65968512 edges, 3545 markings/sec, 2905 secs
lola: 9771771 markings, 66085981 edges, 3392 markings/sec, 2910 secs
lola: 9789239 markings, 66203466 edges, 3494 markings/sec, 2915 secs
lola: 9805659 markings, 66321089 edges, 3284 markings/sec, 2920 secs
lola: 9821490 markings, 66438654 edges, 3166 markings/sec, 2925 secs
lola: 9837497 markings, 66556219 edges, 3201 markings/sec, 2930 secs
lola: 9854937 markings, 66673722 edges, 3488 markings/sec, 2935 secs
lola: 9871347 markings, 66791206 edges, 3282 markings/sec, 2940 secs
lola: 9887187 markings, 66908889 edges, 3168 markings/sec, 2945 secs
lola: 9902647 markings, 67026476 edges, 3092 markings/sec, 2950 secs
lola: 9918609 markings, 67144189 edges, 3192 markings/sec, 2955 secs
lola: 9933505 markings, 67261922 edges, 2979 markings/sec, 2960 secs
lola: 9948277 markings, 67379687 edges, 2954 markings/sec, 2965 secs
lola: 9961913 markings, 67497441 edges, 2727 markings/sec, 2970 secs
lola: 9981819 markings, 67614504 edges, 3981 markings/sec, 2975 secs
lola: 9999984 markings, 67731748 edges, 3633 markings/sec, 2980 secs
lola: 10017629 markings, 67849203 edges, 3529 markings/sec, 2985 secs
lola: 10034613 markings, 67966532 edges, 3397 markings/sec, 2990 secs
lola: time limit reached - aborting
lola:
preliminary result: no no no unknown no no no no no no no no no no
lola:
preliminary result: no no no unknown no no no no no no no no no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no unknown no no no no no no no no no no
lola: memory consumption: 7077448 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 unknown no no no no no no no no no no
lola: memory consumption: 7077448 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: memory consumption: 7077448 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-050"
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-050, 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-162038006300322"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BART-PT-050.tgz
mv BART-PT-050 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 ;