About the Execution of 2020-gold for ShieldIIPs-PT-040B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5230.472 | 3600000.00 | 3628310.00 | 9892.10 | FFF?F?FFTTFFFFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r227-tall-162098230900150.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is ShieldIIPs-PT-040B, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r227-tall-162098230900150
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1012K
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 105K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.9K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 76K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 27 11:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 11:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 17:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 17:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 5 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 675K May 5 16:52 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldIIPs-PT-040B-00
FORMULA_NAME ShieldIIPs-PT-040B-01
FORMULA_NAME ShieldIIPs-PT-040B-02
FORMULA_NAME ShieldIIPs-PT-040B-03
FORMULA_NAME ShieldIIPs-PT-040B-04
FORMULA_NAME ShieldIIPs-PT-040B-05
FORMULA_NAME ShieldIIPs-PT-040B-06
FORMULA_NAME ShieldIIPs-PT-040B-07
FORMULA_NAME ShieldIIPs-PT-040B-08
FORMULA_NAME ShieldIIPs-PT-040B-09
FORMULA_NAME ShieldIIPs-PT-040B-10
FORMULA_NAME ShieldIIPs-PT-040B-11
FORMULA_NAME ShieldIIPs-PT-040B-12
FORMULA_NAME ShieldIIPs-PT-040B-13
FORMULA_NAME ShieldIIPs-PT-040B-14
FORMULA_NAME ShieldIIPs-PT-040B-15
=== Now, execution of the tool begins
BK_START 1621135666141
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-16 03:27:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-16 03:27:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-16 03:27:47] [INFO ] Load time of PNML (sax parser for PT used): 168 ms
[2021-05-16 03:27:47] [INFO ] Transformed 2403 places.
[2021-05-16 03:27:47] [INFO ] Transformed 2363 transitions.
[2021-05-16 03:27:47] [INFO ] Found NUPN structural information;
[2021-05-16 03:27:47] [INFO ] Parsed PT model containing 2403 places and 2363 transitions in 294 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 72 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 19 resets, run finished after 964 ms. (steps per millisecond=103 ) properties seen :[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, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 2363 rows 2403 cols
[2021-05-16 03:27:49] [INFO ] Computed 361 place invariants in 58 ms
[2021-05-16 03:27:50] [INFO ] [Real]Absence check using 361 positive place invariants in 461 ms returned sat
[2021-05-16 03:27:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 03:28:00] [INFO ] [Real]Absence check using state equation in 10677 ms returned sat
[2021-05-16 03:28:02] [INFO ] Deduced a trap composed of 21 places in 1605 ms
[2021-05-16 03:28:04] [INFO ] Deduced a trap composed of 13 places in 1567 ms
[2021-05-16 03:28:05] [INFO ] Deduced a trap composed of 25 places in 1425 ms
[2021-05-16 03:28:07] [INFO ] Deduced a trap composed of 10 places in 1472 ms
[2021-05-16 03:28:08] [INFO ] Deduced a trap composed of 29 places in 1457 ms
[2021-05-16 03:28:10] [INFO ] Deduced a trap composed of 22 places in 1415 ms
[2021-05-16 03:28:10] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream closed (> (+ s0 s1 s2 s3 s4 s5 s6 s1990 s1991 s1992 s2001 s2002 s2003 s2006 s2007 s2011 s2012 s2013 s2028 s2035 s2036 s2037) 0)") while checking expression at index 0
[2021-05-16 03:28:10] [INFO ] Initial state reduction rules for CTL removed 4 formulas.
[2021-05-16 03:28:10] [INFO ] Flatten gal took : 201 ms
FORMULA ShieldIIPs-PT-040B-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-040B-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-040B-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-040B-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-16 03:28:10] [INFO ] Applying decomposition
[2021-05-16 03:28:10] [INFO ] Flatten gal took : 123 ms
[2021-05-16 03:28:11] [INFO ] Decomposing Gal with order
[2021-05-16 03:28:11] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 03:28:11] [INFO ] Removed a total of 640 redundant transitions.
[2021-05-16 03:28:11] [INFO ] Flatten gal took : 207 ms
[2021-05-16 03:28:12] [INFO ] Fuse similar labels procedure discarded/fused a total of 800 labels/synchronizations in 78 ms.
[2021-05-16 03:28:12] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 4 ms.
[2021-05-16 03:28:12] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 21 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ShieldIIPs-PT-040B @ 3570 seconds
FORMULA ShieldIIPs-PT-040B-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-040B-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-040B-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-040B-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-040B-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-040B-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-040B-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-040B-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-040B-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldIIPs-PT-040B-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ ShieldIIPs-PT-040B
{
"exit":
{
"memory": 5127868,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 1,
"X": 3,
"aconj": 5,
"adisj": 0,
"aneg": 0,
"comp": 7,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "G ((X ((X (F (((1 <= p688)))) OR ((1 <= p688)))) AND (X ((((1 <= p508)) U ((1 <= p2122) AND (1 <= p2138)))) OR ((1 <= p2122) AND (1 <= p2138)))))",
"processed_size": 145,
"rewrites": 124
},
"result":
{
"preliminary_value": "no no unknown no unknown no yes no no no no no "
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 12,
"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: 4766/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2403
lola: finding significant places
lola: 2403 places, 2363 transitions, 2042 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: (p1565 <= 1)
lola: LP says that atomic proposition is always true: (p1599 <= 1)
lola: LP says that atomic proposition is always true: (p2305 <= 1)
lola: LP says that atomic proposition is always true: (p2313 <= 1)
lola: LP says that atomic proposition is always true: (p2341 <= 1)
lola: LP says that atomic proposition is always true: (p1599 <= 1)
lola: LP says that atomic proposition is always true: (p615 <= 1)
lola: LP says that atomic proposition is always true: (p1919 <= 1)
lola: LP says that atomic proposition is always true: (p688 <= 1)
lola: LP says that atomic proposition is always true: (p688 <= 1)
lola: LP says that atomic proposition is always true: (p508 <= 1)
lola: LP says that atomic proposition is always true: (p2122 <= 1)
lola: LP says that atomic proposition is always true: (p2138 <= 1)
lola: LP says that atomic proposition is always true: (p2122 <= 1)
lola: LP says that atomic proposition is always true: (p2138 <= 1)
lola: LP says that atomic proposition is always true: (p1763 <= 1)
lola: LP says that atomic proposition is always true: (p248 <= 1)
lola: LP says that atomic proposition is always true: (p248 <= 1)
lola: LP says that atomic proposition is always true: (p1993 <= 1)
lola: LP says that atomic proposition is always true: (p1151 <= 1)
lola: LP says that atomic proposition is always true: (p1025 <= 1)
lola: LP says that atomic proposition is always true: (p1265 <= 1)
lola: LP says that atomic proposition is always true: (p1265 <= 1)
lola: LP says that atomic proposition is always true: (p935 <= 1)
lola: LP says that atomic proposition is always true: (p1025 <= 1)
lola: LP says that atomic proposition is always true: (p2287 <= 1)
lola: LP says that atomic proposition is always true: (p2287 <= 1)
lola: LP says that atomic proposition is always true: (p37 <= 1)
lola: LP says that atomic proposition is always true: (p347 <= 1)
lola: LP says that atomic proposition is always true: (p712 <= 1)
lola: LP says that atomic proposition is always true: (p723 <= 1)
lola: LP says that atomic proposition is always true: (p747 <= 1)
lola: LP says that atomic proposition is always true: (p712 <= 1)
lola: LP says that atomic proposition is always true: (p723 <= 1)
lola: LP says that atomic proposition is always true: (p747 <= 1)
lola: LP says that atomic proposition is always true: (p1036 <= 1)
lola: LP says that atomic proposition is always true: (p1943 <= 1)
lola: LP says that atomic proposition is always true: (p425 <= 1)
lola: LP says that atomic proposition is always true: (p354 <= 1)
lola: LP says that atomic proposition is always true: (p383 <= 1)
lola: LP says that atomic proposition is always true: (p1438 <= 1)
lola: LP says that atomic proposition is always true: (p895 <= 1)
lola: LP says that atomic proposition is always true: (p946 <= 1)
lola: LP says that atomic proposition is always true: (p1808 <= 1)
lola: LP says that atomic proposition is always true: (p107 <= 1)
lola: LP says that atomic proposition is always true: (p411 <= 1)
lola: LP says that atomic proposition is always true: (p427 <= 1)
lola: LP says that atomic proposition is always true: (p411 <= 1)
lola: LP says that atomic proposition is always true: (p427 <= 1)
lola: LP says that atomic proposition is always true: (p2107 <= 1)
lola: LP says that atomic proposition is always true: (p2133 <= 1)
lola: LP says that atomic proposition is always true: (p666 <= 1)
lola: LP says that atomic proposition is always true: (p63 <= 1)
lola: LP says that atomic proposition is always true: (p74 <= 1)
lola: LP says that atomic proposition is always true: (p99 <= 1)
lola: LP says that atomic proposition is always true: (p215 <= 1)
lola: X (((X ((NOT(G (X (G (((1 <= p1565)))))) OR NOT(G (((1 <= p1599)))))) U ((1 <= p2305) AND (1 <= p2313) AND (1 <= p2341))) AND G (((1 <= p1599))))) : X (((1 <= 0) U (NOT(G (NOT(G (F (((1 <= p615))))))) U G (((1 <= p1919)))))) : G ((X ((X (F (((1 <= p688)))) OR ((1 <= p688)))) AND ((X (((1 <= p508))) U X (((1 <= p2122) AND (1 <= p2138)))) OR ((1 <= p2122) AND (1 <= p2138))))) : X ((NOT(F ((F (((1 <= p1763))) OR ((1 <= p248))))) AND NOT(X (G (NOT(X ((((1 <= p248)) U ((1 <= p1993)))))))))) : (G ((X (((1 <= p1151))) U ((1 <= p1025) AND (1 <= p1265)))) U (((p1265 <= 0)) AND (G (((1 <= p935))) OR ((1 <= p1025))))) : X (G (F (G (((F (G (((1 <= p2287)))) U ((1 <= p2287))) AND ((1 <= p37))))))) : X (NOT(X ((X ((X (((p347 <= 0))) U ((1 <= p712) AND (1 <= p723) AND (1 <= p747)))) AND (((1 <= p712) AND (1 <= p723) AND (1 <= p747)) OR ((1 <= p1036))))))) : (((1 <= p1943)) U F (((1 <= p425)))) : F (((NOT(F (G (((1 <= p354) AND (1 <= p383))))) OR X (((1 <= p1438)))) U (((1 <= p895) AND (1 <= p946)) U ((1 <= p1808))))) : X (G ((X (NOT(X (F (X ((((1 <= p107)) U ((1 <= p411) AND (1 <= p427)))))))) OR X (((1 <= p411) AND (1 <= p427)))))) : G (NOT(G (F (X (F (NOT(X (X (X (((1 <= p2107)))))))))))) : NOT(F (X (F (NOT((X (((1 <= p2133))) U ((((X (((1 <= p666))) AND ((1 <= p63))) AND ((1 <= p74))) AND ((1 <= p99))) OR F (((1 <= p215))))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
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:374
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:434
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:428
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:434
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:528
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
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:300
lola: rewrite Frontend/Parser/formula_rewrite.k:374
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:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 291 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((X ((X (F (((p1565 <= 0)))) OR F (((p1599 <= 0))))) U ((1 <= p2305) AND (1 <= p2313) AND (1 <= p2341))) AND G (((1 <= p1599)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((X ((X (F (((p1565 <= 0)))) OR F (((p1599 <= 0))))) U ((1 <= p2305) AND (1 <= p2313) AND (1 <= p2341))) AND G (((1 <= p1599)))))
lola: processed formula length: 132
lola: 124 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: 4534 markings, 4534 edges
lola: ========================================
lola: subprocess 1 will run for 318 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((G (((1 <= p1919))) OR (G (F (((1 <= p615)))) AND F (G (((1 <= p1919)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((G (((1 <= p1919))) OR (G (F (((1 <= p615)))) AND F (G (((1 <= p1919)))))))
lola: processed formula length: 78
lola: 124 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 4534 markings, 4534 edges
lola: ========================================
lola: subprocess 2 will run for 349 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((X ((X (F (((1 <= p688)))) OR ((1 <= p688)))) AND (X ((((1 <= p508)) U ((1 <= p2122) AND (1 <= p2138)))) OR ((1 <= p2122) AND (1 <= p2138)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((X ((X (F (((1 <= p688)))) OR ((1 <= p688)))) AND (X ((((1 <= p508)) U ((1 <= p2122) AND (1 <= p2138)))) OR ((1 <= p2122) AND (1 <= p2138)))))
lola: processed formula length: 145
lola: 124 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: 85760 markings, 300178 edges, 17152 markings/sec, 0 secs
lola: 156530 markings, 601195 edges, 14154 markings/sec, 5 secs
lola: 224518 markings, 902052 edges, 13598 markings/sec, 10 secs
lola: 289706 markings, 1202491 edges, 13038 markings/sec, 15 secs
lola: 351706 markings, 1502122 edges, 12400 markings/sec, 20 secs
lola: 417068 markings, 1801213 edges, 13072 markings/sec, 25 secs
lola: 482191 markings, 2099896 edges, 13025 markings/sec, 30 secs
lola: 542144 markings, 2398781 edges, 11991 markings/sec, 35 secs
lola: 609795 markings, 2698299 edges, 13530 markings/sec, 40 secs
lola: 674007 markings, 2997685 edges, 12842 markings/sec, 45 secs
lola: 732161 markings, 3298153 edges, 11631 markings/sec, 50 secs
lola: 802131 markings, 3597107 edges, 13994 markings/sec, 55 secs
lola: 864674 markings, 3894100 edges, 12509 markings/sec, 60 secs
lola: 928064 markings, 4192187 edges, 12678 markings/sec, 65 secs
lola: 1000799 markings, 4488148 edges, 14547 markings/sec, 70 secs
lola: 1070075 markings, 4783922 edges, 13855 markings/sec, 75 secs
lola: 1136959 markings, 5079545 edges, 13377 markings/sec, 80 secs
lola: 1201298 markings, 5375180 edges, 12868 markings/sec, 85 secs
lola: 1260312 markings, 5669615 edges, 11803 markings/sec, 90 secs
lola: 1321376 markings, 5964552 edges, 12213 markings/sec, 95 secs
lola: 1378864 markings, 6259794 edges, 11498 markings/sec, 100 secs
lola: 1433025 markings, 6554564 edges, 10832 markings/sec, 105 secs
lola: 1496571 markings, 6850527 edges, 12709 markings/sec, 110 secs
lola: 1560793 markings, 7147325 edges, 12844 markings/sec, 115 secs
lola: 1620280 markings, 7444553 edges, 11897 markings/sec, 120 secs
lola: 1681800 markings, 7740712 edges, 12304 markings/sec, 125 secs
lola: 1739155 markings, 8036600 edges, 11471 markings/sec, 130 secs
lola: 1793292 markings, 8331471 edges, 10827 markings/sec, 135 secs
lola: 1848465 markings, 8627975 edges, 11035 markings/sec, 140 secs
lola: 1901109 markings, 8925033 edges, 10529 markings/sec, 145 secs
lola: 1952869 markings, 9221929 edges, 10352 markings/sec, 150 secs
lola: 2007530 markings, 9517694 edges, 10932 markings/sec, 155 secs
lola: 2072867 markings, 9814446 edges, 13067 markings/sec, 160 secs
lola: 2135857 markings, 10112801 edges, 12598 markings/sec, 165 secs
lola: 2196249 markings, 10410457 edges, 12078 markings/sec, 170 secs
lola: 2254147 markings, 10708106 edges, 11580 markings/sec, 175 secs
lola: 2311270 markings, 11005431 edges, 11425 markings/sec, 180 secs
lola: 2365541 markings, 11302452 edges, 10854 markings/sec, 185 secs
lola: 2420258 markings, 11600496 edges, 10943 markings/sec, 190 secs
lola: 2472349 markings, 11898118 edges, 10418 markings/sec, 195 secs
lola: 2520589 markings, 12194156 edges, 9648 markings/sec, 200 secs
lola: 2588261 markings, 12490908 edges, 13534 markings/sec, 205 secs
lola: 2651372 markings, 12787994 edges, 12622 markings/sec, 210 secs
lola: 2709990 markings, 13085428 edges, 11724 markings/sec, 215 secs
lola: 2771335 markings, 13382635 edges, 12269 markings/sec, 220 secs
lola: 2828730 markings, 13679777 edges, 11479 markings/sec, 225 secs
lola: 2881209 markings, 13976756 edges, 10496 markings/sec, 230 secs
lola: 2938118 markings, 14273750 edges, 11382 markings/sec, 235 secs
lola: 2990624 markings, 14570508 edges, 10501 markings/sec, 240 secs
lola: 3040600 markings, 14866981 edges, 9995 markings/sec, 245 secs
lola: 3100809 markings, 15163332 edges, 12042 markings/sec, 250 secs
lola: 3165321 markings, 15459869 edges, 12902 markings/sec, 255 secs
lola: 3225492 markings, 15755443 edges, 12034 markings/sec, 260 secs
lola: 3285534 markings, 16050658 edges, 12008 markings/sec, 265 secs
lola: 3343731 markings, 16346049 edges, 11639 markings/sec, 270 secs
lola: 3398192 markings, 16640285 edges, 10892 markings/sec, 275 secs
lola: 3453233 markings, 16935675 edges, 11008 markings/sec, 280 secs
lola: 3505946 markings, 17231503 edges, 10543 markings/sec, 285 secs
lola: 3557537 markings, 17526925 edges, 10318 markings/sec, 290 secs
lola: 3608517 markings, 17821528 edges, 10196 markings/sec, 295 secs
lola: 3675803 markings, 18116979 edges, 13457 markings/sec, 300 secs
lola: 3737702 markings, 18411925 edges, 12380 markings/sec, 305 secs
lola: 3797182 markings, 18706961 edges, 11896 markings/sec, 310 secs
lola: 3856614 markings, 19002350 edges, 11886 markings/sec, 315 secs
lola: 3917310 markings, 19296938 edges, 12139 markings/sec, 320 secs
lola: 3976664 markings, 19591448 edges, 11871 markings/sec, 325 secs
lola: 4035868 markings, 19885878 edges, 11841 markings/sec, 330 secs
lola: 4102378 markings, 20181033 edges, 13302 markings/sec, 335 secs
lola: 4165769 markings, 20476373 edges, 12678 markings/sec, 340 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 770588 KB
lola: time consumption: 420 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 350 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((G ((G (((p1763 <= 0))) AND ((p248 <= 0)))) AND X (X (F (((1 <= p1993)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((G ((G (((p1763 <= 0))) AND ((p248 <= 0)))) AND X (X (F (((1 <= p1993)))))))
lola: processed formula length: 79
lola: 124 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 4534 markings, 4534 edges
lola: ========================================
lola: subprocess 4 will run for 393 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((p1265 <= 0)) AND (G (((1 <= p935))) OR ((1 <= p1025)))) OR (G ((F (((1 <= p1025) AND (1 <= p1265))) AND (X (((1 <= p1151))) OR ((1 <= p1025) AND (1 <= p1265))))) AND F ((((p1265 <= 0)) AND (G (((1 <= p935))) OR ((1 <= p1025)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 393 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p1025))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p1025))
lola: processed formula length: 14
lola: 124 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 450 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p1265 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p1265 <= 0))
lola: processed formula length: 14
lola: 124 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 525 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((1 <= p935)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((1 <= p935)))
lola: processed formula length: 17
lola: 124 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: 29666 markings, 29666 edges
lola: ========================================
lola: subprocess 7 will run for 629 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((((p1265 <= 0)) AND (G (((1 <= p935))) OR ((1 <= p1025)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((((p1265 <= 0)) AND (G (((1 <= p935))) OR ((1 <= p1025)))))
lola: processed formula length: 62
lola: 124 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: 55244 markings, 285943 edges, 11049 markings/sec, 0 secs
lola: 105592 markings, 573020 edges, 10070 markings/sec, 5 secs
lola: 148315 markings, 861316 edges, 8545 markings/sec, 10 secs
lola: 192626 markings, 1148408 edges, 8862 markings/sec, 15 secs
lola: 238001 markings, 1435755 edges, 9075 markings/sec, 20 secs
lola: 281281 markings, 1723205 edges, 8656 markings/sec, 25 secs
lola: 326997 markings, 2011015 edges, 9143 markings/sec, 30 secs
lola: 368299 markings, 2299606 edges, 8260 markings/sec, 35 secs
lola: 410120 markings, 2587460 edges, 8364 markings/sec, 40 secs
lola: 448298 markings, 2876480 edges, 7636 markings/sec, 45 secs
lola: 485098 markings, 3165466 edges, 7360 markings/sec, 50 secs
lola: 523380 markings, 3453387 edges, 7656 markings/sec, 55 secs
lola: 564323 markings, 3740694 edges, 8189 markings/sec, 60 secs
lola: 609174 markings, 4028921 edges, 8970 markings/sec, 65 secs
lola: 650514 markings, 4317742 edges, 8268 markings/sec, 70 secs
lola: 692350 markings, 4605763 edges, 8367 markings/sec, 75 secs
lola: 730550 markings, 4894916 edges, 7640 markings/sec, 80 secs
lola: 767383 markings, 5184157 edges, 7367 markings/sec, 85 secs
lola: 805564 markings, 5471431 edges, 7636 markings/sec, 90 secs
lola: 846569 markings, 5759083 edges, 8201 markings/sec, 95 secs
lola: 889156 markings, 6047579 edges, 8517 markings/sec, 100 secs
lola: 933606 markings, 6336223 edges, 8890 markings/sec, 105 secs
lola: 974884 markings, 6624704 edges, 8256 markings/sec, 110 secs
lola: 1016745 markings, 6912549 edges, 8372 markings/sec, 115 secs
lola: 1054887 markings, 7201647 edges, 7628 markings/sec, 120 secs
lola: 1091657 markings, 7490554 edges, 7354 markings/sec, 125 secs
lola: 1129972 markings, 7778224 edges, 7663 markings/sec, 130 secs
lola: 1170856 markings, 8065449 edges, 8177 markings/sec, 135 secs
lola: 1211102 markings, 8354505 edges, 8049 markings/sec, 140 secs
lola: 1248174 markings, 8643741 edges, 7414 markings/sec, 145 secs
lola: 1285271 markings, 8932264 edges, 7419 markings/sec, 150 secs
lola: 1319748 markings, 9221997 edges, 6895 markings/sec, 155 secs
lola: 1353586 markings, 9511366 edges, 6768 markings/sec, 160 secs
lola: 1386090 markings, 9800725 edges, 6501 markings/sec, 165 secs
lola: 1422183 markings, 10088759 edges, 7219 markings/sec, 170 secs
lola: 1457946 markings, 10376742 edges, 7153 markings/sec, 175 secs
lola: 1497928 markings, 10666280 edges, 7996 markings/sec, 180 secs
lola: 1534760 markings, 10956012 edges, 7366 markings/sec, 185 secs
lola: 1571581 markings, 11244845 edges, 7364 markings/sec, 190 secs
lola: 1606032 markings, 11534962 edges, 6890 markings/sec, 195 secs
lola: 1639841 markings, 11824682 edges, 6762 markings/sec, 200 secs
lola: 1672361 markings, 12114318 edges, 6504 markings/sec, 205 secs
lola: 1709187 markings, 12402657 edges, 7365 markings/sec, 210 secs
lola: 1745489 markings, 12691239 edges, 7260 markings/sec, 215 secs
lola: 1782197 markings, 12981901 edges, 7342 markings/sec, 220 secs
lola: 1826947 markings, 13270055 edges, 8950 markings/sec, 225 secs
lola: 1868695 markings, 13558252 edges, 8350 markings/sec, 230 secs
lola: 1909820 markings, 13846300 edges, 8225 markings/sec, 235 secs
lola: 1947632 markings, 14135136 edges, 7562 markings/sec, 240 secs
lola: 1984479 markings, 14423751 edges, 7369 markings/sec, 245 secs
lola: 2023523 markings, 14710926 edges, 7809 markings/sec, 250 secs
lola: 2063886 markings, 14998037 edges, 8073 markings/sec, 255 secs
lola: 2104103 markings, 15286791 edges, 8043 markings/sec, 260 secs
lola: 2140848 markings, 15575729 edges, 7349 markings/sec, 265 secs
lola: 2177577 markings, 15863605 edges, 7346 markings/sec, 270 secs
lola: 2211926 markings, 16152867 edges, 6870 markings/sec, 275 secs
lola: 2245609 markings, 16441581 edges, 6737 markings/sec, 280 secs
lola: 2278017 markings, 16730228 edges, 6482 markings/sec, 285 secs
lola: 2314696 markings, 17017517 edges, 7336 markings/sec, 290 secs
lola: 2350584 markings, 17304972 edges, 7178 markings/sec, 295 secs
lola: 2389874 markings, 17594276 edges, 7858 markings/sec, 300 secs
lola: 2426722 markings, 17883528 edges, 7370 markings/sec, 305 secs
lola: 2463826 markings, 18171541 edges, 7421 markings/sec, 310 secs
lola: 2497765 markings, 18461173 edges, 6788 markings/sec, 315 secs
lola: 2531266 markings, 18750156 edges, 6700 markings/sec, 320 secs
lola: 2564322 markings, 19038889 edges, 6611 markings/sec, 325 secs
lola: 2600812 markings, 19326518 edges, 7298 markings/sec, 330 secs
lola: 2637065 markings, 19614676 edges, 7251 markings/sec, 335 secs
lola: 2674494 markings, 19904942 edges, 7486 markings/sec, 340 secs
lola: 2718047 markings, 20193908 edges, 8711 markings/sec, 345 secs
lola: 2760787 markings, 20481686 edges, 8548 markings/sec, 350 secs
lola: 2802550 markings, 20768990 edges, 8353 markings/sec, 355 secs
lola: 2841167 markings, 21057517 edges, 7723 markings/sec, 360 secs
lola: 2878561 markings, 21345487 edges, 7479 markings/sec, 365 secs
lola: 2915020 markings, 21633177 edges, 7292 markings/sec, 370 secs
lola: 2956780 markings, 21919729 edges, 8352 markings/sec, 375 secs
lola: 2996532 markings, 22207748 edges, 7950 markings/sec, 380 secs
lola: 3034639 markings, 22496393 edges, 7621 markings/sec, 385 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown no unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no unknown no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 573912 KB
lola: time consumption: 813 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 unknown no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 573912 KB
lola: time consumption: 813 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 393 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X ((X ((X (((1 <= p347))) R ((p712 <= 0) OR (p723 <= 0) OR (p747 <= 0)))) OR (((p712 <= 0) OR (p723 <= 0) OR (p747 <= 0)) AND ((p1036 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X ((X ((X (((1 <= p347))) R ((p712 <= 0) OR (p723 <= 0) OR (p747 <= 0)))) OR (((p712 <= 0) OR (p723 <= 0) OR (p747 <= 0)) AND ((p1036 <= 0))))))
lola: processed formula length: 151
lola: 124 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 6 will run for 459 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (G ((X (X (G (((p411 <= 0) OR (p427 <= 0))))) OR ((1 <= p411) AND (1 <= p427))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (G ((X (X (G (((p411 <= 0) OR (p427 <= 0))))) OR ((1 <= p411) AND (1 <= p427))))))
lola: processed formula length: 88
lola: 124 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: 4534 markings, 4534 edges
lola: ========================================
lola: subprocess 7 will run for 551 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((F (((X (((1 <= p666))) AND (((1 <= p63)) AND (((1 <= p74)) AND ((1 <= p99))))) OR F (((1 <= p215))))) AND (X (((1 <= p2133))) OR ((X (((1 <= p666))) AND (((1 <= p63)) AND (((1 <= p74)) AND ((1 <= p99))))) OR F (((1 <= p215))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((F (((X (((1 <= p666))) AND (((1 <= p63)) AND (((1 <= p74)) AND ((1 <= p99))))) OR F (((1 <= p215))))) AND (X (((1 <= p2133))) OR ((X (((1 <= p666))) AND (((1 <= p63)) AND (((1 <= p74)) AND ((1 <= p99))))) OR F (((1 <= p215))))))))
lola: processed formula length: 237
lola: 124 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 4535 markings, 4535 edges
lola: ========================================
lola: subprocess 8 will run for 689 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p425)))
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: ((p425 <= 0))
lola: processed formula length: 13
lola: 126 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: 14512 markings, 14511 edges
lola: ========================================
lola: subprocess 9 will run for 918 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p1808)))
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: ((p1808 <= 0))
lola: processed formula length: 14
lola: 126 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: 29666 markings, 29665 edges
lola: ========================================
lola: subprocess 10 will run for 1377 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((1 <= p2107))))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((1 <= p2107))))
lola: processed formula length: 22
lola: 124 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: 29667 markings, 29668 edges
lola: ========================================
lola: subprocess 11 will run for 2755 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((((1 <= p2287)) OR (F (((1 <= p2287))) AND F (G (((1 <= p2287)))))) AND ((1 <= p37)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((((1 <= p2287)) OR (F (((1 <= p2287))) AND F (G (((1 <= p2287)))))) AND ((1 <= p37)))))
lola: processed formula length: 94
lola: 124 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 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: 22096 markings, 22097 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: G ((X ((X (F (((1 <= p688)))) OR ((1 <= p688)))) AND (X ((((1 <= p508)) U ((1 <= p2122) AND (1 <= p2138)))) OR ((1 <= p2122) AND (1 <= p2138)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((X ((X (F (((1 <= p688)))) OR ((1 <= p688)))) AND (X ((((1 <= p508)) U ((1 <= p2122) AND (1 <= p2138)))) OR ((1 <= p2122) AND (1 <= p2138)))))
lola: processed formula length: 145
lola: 124 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: 85796 markings, 300354 edges, 17159 markings/sec, 0 secs
lola: 156694 markings, 601820 edges, 14180 markings/sec, 5 secs
lola: 224779 markings, 903090 edges, 13617 markings/sec, 10 secs
lola: 290142 markings, 1204542 edges, 13073 markings/sec, 15 secs
lola: 352416 markings, 1505411 edges, 12455 markings/sec, 20 secs
lola: 417997 markings, 1806003 edges, 13116 markings/sec, 25 secs
lola: 483388 markings, 2105853 edges, 13078 markings/sec, 30 secs
lola: 543518 markings, 2405664 edges, 12026 markings/sec, 35 secs
lola: 611422 markings, 2704950 edges, 13581 markings/sec, 40 secs
lola: 675423 markings, 3004731 edges, 12800 markings/sec, 45 secs
lola: 733514 markings, 3303864 edges, 11618 markings/sec, 50 secs
lola: 803191 markings, 3601798 edges, 13935 markings/sec, 55 secs
lola: 865587 markings, 3899222 edges, 12479 markings/sec, 60 secs
lola: 928868 markings, 4195341 edges, 12656 markings/sec, 65 secs
lola: 1001433 markings, 4491767 edges, 14513 markings/sec, 70 secs
lola: 1071129 markings, 4788415 edges, 13939 markings/sec, 75 secs
lola: 1138369 markings, 5084925 edges, 13448 markings/sec, 80 secs
lola: 1202439 markings, 5381165 edges, 12814 markings/sec, 85 secs
lola: 1261709 markings, 5677121 edges, 11854 markings/sec, 90 secs
lola: 1323240 markings, 5973402 edges, 12306 markings/sec, 95 secs
lola: 1380744 markings, 6270141 edges, 11501 markings/sec, 100 secs
lola: 1435118 markings, 6566450 edges, 10875 markings/sec, 105 secs
lola: 1499596 markings, 6863008 edges, 12896 markings/sec, 110 secs
lola: 1563602 markings, 7159734 edges, 12801 markings/sec, 115 secs
lola: 1622485 markings, 7456718 edges, 11777 markings/sec, 120 secs
lola: 1684228 markings, 7753002 edges, 12349 markings/sec, 125 secs
lola: 1741426 markings, 8048739 edges, 11440 markings/sec, 130 secs
lola: 1795428 markings, 8344309 edges, 10800 markings/sec, 135 secs
lola: 1850637 markings, 8640645 edges, 11042 markings/sec, 140 secs
lola: 1903354 markings, 8936858 edges, 10543 markings/sec, 145 secs
lola: 1954745 markings, 9232851 edges, 10278 markings/sec, 150 secs
lola: 2009929 markings, 9528547 edges, 11037 markings/sec, 155 secs
lola: 2074908 markings, 9825562 edges, 12996 markings/sec, 160 secs
lola: 2137836 markings, 10123055 edges, 12586 markings/sec, 165 secs
lola: 2198231 markings, 10420262 edges, 12079 markings/sec, 170 secs
lola: 2255612 markings, 10717372 edges, 11476 markings/sec, 175 secs
lola: 2312915 markings, 11014183 edges, 11461 markings/sec, 180 secs
lola: 2367080 markings, 11311126 edges, 10833 markings/sec, 185 secs
lola: 2421689 markings, 11609000 edges, 10922 markings/sec, 190 secs
lola: 2473764 markings, 11906962 edges, 10415 markings/sec, 195 secs
lola: 2522072 markings, 12204408 edges, 9662 markings/sec, 200 secs
lola: 2590432 markings, 12501782 edges, 13672 markings/sec, 205 secs
lola: 2653544 markings, 12799497 edges, 12622 markings/sec, 210 secs
lola: 2712763 markings, 13097277 edges, 11844 markings/sec, 215 secs
lola: 2773904 markings, 13394832 edges, 12228 markings/sec, 220 secs
lola: 2831013 markings, 13692141 edges, 11422 markings/sec, 225 secs
lola: 2882981 markings, 13988965 edges, 10394 markings/sec, 230 secs
lola: 2940393 markings, 14286083 edges, 11482 markings/sec, 235 secs
lola: 2992760 markings, 14583028 edges, 10473 markings/sec, 240 secs
lola: 3042767 markings, 14879596 edges, 10001 markings/sec, 245 secs
lola: 3103536 markings, 15176094 edges, 12154 markings/sec, 250 secs
lola: 3168157 markings, 15472858 edges, 12924 markings/sec, 255 secs
lola: 3228073 markings, 15769186 edges, 11983 markings/sec, 260 secs
lola: 3288707 markings, 16065115 edges, 12127 markings/sec, 265 secs
lola: 3346887 markings, 16361664 edges, 11636 markings/sec, 270 secs
lola: 3401498 markings, 16657438 edges, 10922 markings/sec, 275 secs
lola: 3456635 markings, 16953960 edges, 11027 markings/sec, 280 secs
lola: 3508912 markings, 17250563 edges, 10455 markings/sec, 285 secs
lola: 3561129 markings, 17547093 edges, 10443 markings/sec, 290 secs
lola: 3613784 markings, 17842309 edges, 10531 markings/sec, 295 secs
lola: 3679846 markings, 18136956 edges, 13212 markings/sec, 300 secs
lola: 3741818 markings, 18431116 edges, 12394 markings/sec, 305 secs
lola: 3800954 markings, 18725802 edges, 11827 markings/sec, 310 secs
lola: 3860163 markings, 19021467 edges, 11842 markings/sec, 315 secs
lola: 3921280 markings, 19315594 edges, 12223 markings/sec, 320 secs
lola: 3980164 markings, 19609079 edges, 11777 markings/sec, 325 secs
lola: 4039099 markings, 19903134 edges, 11787 markings/sec, 330 secs
lola: 4105833 markings, 20196211 edges, 13347 markings/sec, 335 secs
lola: 4168381 markings, 20488762 edges, 12510 markings/sec, 340 secs
lola: 4225279 markings, 20781307 edges, 11380 markings/sec, 345 secs
lola: 4281668 markings, 21074513 edges, 11278 markings/sec, 350 secs
lola: 4336964 markings, 21367154 edges, 11059 markings/sec, 355 secs
lola: 4395608 markings, 21659653 edges, 11729 markings/sec, 360 secs
lola: 4450960 markings, 21952041 edges, 11070 markings/sec, 365 secs
lola: 4503410 markings, 22244443 edges, 10490 markings/sec, 370 secs
lola: 4554011 markings, 22537012 edges, 10120 markings/sec, 375 secs
lola: 4606327 markings, 22829214 edges, 10463 markings/sec, 380 secs
lola: 4665094 markings, 23122318 edges, 11753 markings/sec, 385 secs
lola: 4720527 markings, 23414734 edges, 11087 markings/sec, 390 secs
lola: 4772883 markings, 23707371 edges, 10471 markings/sec, 395 secs
lola: 4823530 markings, 24000616 edges, 10129 markings/sec, 400 secs
lola: 4875828 markings, 24292051 edges, 10460 markings/sec, 405 secs
lola: 4934199 markings, 24583113 edges, 11674 markings/sec, 410 secs
lola: 4989336 markings, 24873977 edges, 11027 markings/sec, 415 secs
lola: 5041704 markings, 25166708 edges, 10474 markings/sec, 420 secs
lola: 5092369 markings, 25460020 edges, 10133 markings/sec, 425 secs
lola: 5144623 markings, 25751221 edges, 10451 markings/sec, 430 secs
lola: 5203084 markings, 26042761 edges, 11692 markings/sec, 435 secs
lola: 5258224 markings, 26333550 edges, 11028 markings/sec, 440 secs
lola: 5310198 markings, 26624159 edges, 10395 markings/sec, 445 secs
lola: 5360560 markings, 26915507 edges, 10072 markings/sec, 450 secs
lola: 5418364 markings, 27206069 edges, 11561 markings/sec, 455 secs
lola: 5490107 markings, 27498287 edges, 14349 markings/sec, 460 secs
lola: 5556837 markings, 27790989 edges, 13346 markings/sec, 465 secs
lola: 5618082 markings, 28083270 edges, 12249 markings/sec, 470 secs
lola: 5676930 markings, 28375128 edges, 11770 markings/sec, 475 secs
lola: 5736092 markings, 28667413 edges, 11832 markings/sec, 480 secs
lola: 5791726 markings, 28959274 edges, 11127 markings/sec, 485 secs
lola: 5844037 markings, 29250033 edges, 10462 markings/sec, 490 secs
lola: 5905056 markings, 29542555 edges, 12204 markings/sec, 495 secs
lola: 5961556 markings, 29835412 edges, 11300 markings/sec, 500 secs
lola: 6013372 markings, 30125719 edges, 10363 markings/sec, 505 secs
lola: 6073743 markings, 30417131 edges, 12074 markings/sec, 510 secs
lola: 6130104 markings, 30708470 edges, 11272 markings/sec, 515 secs
lola: 6183560 markings, 30999533 edges, 10691 markings/sec, 520 secs
lola: 6241420 markings, 31290181 edges, 11572 markings/sec, 525 secs
lola: 6298224 markings, 31579621 edges, 11361 markings/sec, 530 secs
lola: 6352359 markings, 31868756 edges, 10827 markings/sec, 535 secs
lola: 6408916 markings, 32158505 edges, 11311 markings/sec, 540 secs
lola: 6465577 markings, 32450405 edges, 11332 markings/sec, 545 secs
lola: 6521496 markings, 32740652 edges, 11184 markings/sec, 550 secs
lola: 6574167 markings, 33029670 edges, 10534 markings/sec, 555 secs
lola: 6627951 markings, 33321386 edges, 10757 markings/sec, 560 secs
lola: 6681680 markings, 33610137 edges, 10746 markings/sec, 565 secs
lola: 6732548 markings, 33896962 edges, 10174 markings/sec, 570 secs
lola: 6787778 markings, 34186213 edges, 11046 markings/sec, 575 secs
lola: 6842454 markings, 34477911 edges, 10935 markings/sec, 580 secs
lola: 6902057 markings, 34772897 edges, 11921 markings/sec, 585 secs
lola: 6962518 markings, 35067750 edges, 12092 markings/sec, 590 secs
lola: 7024112 markings, 35362932 edges, 12319 markings/sec, 595 secs
lola: 7089396 markings, 35658610 edges, 13057 markings/sec, 600 secs
lola: 7157133 markings, 35949941 edges, 13547 markings/sec, 605 secs
lola: 7222292 markings, 36238029 edges, 13032 markings/sec, 610 secs
lola: 7286401 markings, 36526359 edges, 12822 markings/sec, 615 secs
lola: 7351209 markings, 36814264 edges, 12962 markings/sec, 620 secs
lola: 7424093 markings, 37101222 edges, 14577 markings/sec, 625 secs
lola: 7491979 markings, 37387977 edges, 13577 markings/sec, 630 secs
lola: 7555963 markings, 37674891 edges, 12797 markings/sec, 635 secs
lola: 7620711 markings, 37963728 edges, 12950 markings/sec, 640 secs
lola: 7681620 markings, 38252586 edges, 12182 markings/sec, 645 secs
lola: 7741725 markings, 38540796 edges, 12021 markings/sec, 650 secs
lola: 7805930 markings, 38831649 edges, 12841 markings/sec, 655 secs
lola: 7867119 markings, 39122166 edges, 12238 markings/sec, 660 secs
lola: 7928611 markings, 39411292 edges, 12298 markings/sec, 665 secs
lola: 7990788 markings, 39699961 edges, 12435 markings/sec, 670 secs
lola: 8052048 markings, 39988759 edges, 12252 markings/sec, 675 secs
lola: 8114305 markings, 40277878 edges, 12451 markings/sec, 680 secs
lola: 8177026 markings, 40566569 edges, 12544 markings/sec, 685 secs
lola: 8236135 markings, 40853429 edges, 11822 markings/sec, 690 secs
lola: 8303720 markings, 41142352 edges, 13517 markings/sec, 695 secs
lola: 8374684 markings, 41431663 edges, 14193 markings/sec, 700 secs
lola: 8437070 markings, 41719963 edges, 12477 markings/sec, 705 secs
lola: 8504239 markings, 42006789 edges, 13434 markings/sec, 710 secs
lola: 8565657 markings, 42295521 edges, 12284 markings/sec, 715 secs
lola: 8621814 markings, 42581934 edges, 11231 markings/sec, 720 secs
lola: 8682151 markings, 42871082 edges, 12067 markings/sec, 725 secs
lola: 8737529 markings, 43157679 edges, 11076 markings/sec, 730 secs
lola: 8788958 markings, 43444213 edges, 10286 markings/sec, 735 secs
lola: 8854524 markings, 43734880 edges, 13113 markings/sec, 740 secs
lola: 8916910 markings, 44026586 edges, 12477 markings/sec, 745 secs
lola: 8973661 markings, 44318007 edges, 11350 markings/sec, 750 secs
lola: 9035072 markings, 44608865 edges, 12282 markings/sec, 755 secs
lola: 9091085 markings, 44898931 edges, 11203 markings/sec, 760 secs
lola: 9143474 markings, 45188074 edges, 10478 markings/sec, 765 secs
lola: 9197874 markings, 45479245 edges, 10880 markings/sec, 770 secs
lola: 9249846 markings, 45771518 edges, 10394 markings/sec, 775 secs
lola: 9300365 markings, 46062261 edges, 10104 markings/sec, 780 secs
lola: 9353853 markings, 46352390 edges, 10698 markings/sec, 785 secs
lola: 9418606 markings, 46645481 edges, 12951 markings/sec, 790 secs
lola: 9480126 markings, 46937385 edges, 12304 markings/sec, 795 secs
lola: 9539197 markings, 47229015 edges, 11814 markings/sec, 800 secs
lola: 9596868 markings, 47520619 edges, 11534 markings/sec, 805 secs
lola: 9652271 markings, 47810566 edges, 11081 markings/sec, 810 secs
lola: 9704854 markings, 48100582 edges, 10517 markings/sec, 815 secs
lola: 9759210 markings, 48393160 edges, 10871 markings/sec, 820 secs
lola: 9810925 markings, 48685773 edges, 10343 markings/sec, 825 secs
lola: 9859262 markings, 48977069 edges, 9667 markings/sec, 830 secs
lola: 9921805 markings, 49268536 edges, 12509 markings/sec, 835 secs
lola: 9984686 markings, 49560585 edges, 12576 markings/sec, 840 secs
lola: 10042875 markings, 49851893 edges, 11638 markings/sec, 845 secs
lola: 10103131 markings, 50141740 edges, 12051 markings/sec, 850 secs
lola: 10159393 markings, 50431134 edges, 11252 markings/sec, 855 secs
lola: 10212324 markings, 50718668 edges, 10586 markings/sec, 860 secs
lola: 10266228 markings, 51008318 edges, 10781 markings/sec, 865 secs
lola: 10317719 markings, 51299698 edges, 10298 markings/sec, 870 secs
lola: 10368635 markings, 51589479 edges, 10183 markings/sec, 875 secs
lola: 10418786 markings, 51878500 edges, 10030 markings/sec, 880 secs
lola: 10484881 markings, 52168838 edges, 13219 markings/sec, 885 secs
lola: 10545973 markings, 52460436 edges, 12218 markings/sec, 890 secs
lola: 10604801 markings, 52752096 edges, 11766 markings/sec, 895 secs
lola: 10663917 markings, 53044020 edges, 11823 markings/sec, 900 secs
lola: 10719448 markings, 53335239 edges, 11106 markings/sec, 905 secs
lola: 10771218 markings, 53625926 edges, 10354 markings/sec, 910 secs
lola: 10827048 markings, 53918360 edges, 11166 markings/sec, 915 secs
lola: 10878351 markings, 54210236 edges, 10261 markings/sec, 920 secs
lola: 10927514 markings, 54501728 edges, 9833 markings/sec, 925 secs
lola: 10987382 markings, 54793957 edges, 11974 markings/sec, 930 secs
lola: 11051256 markings, 55087296 edges, 12775 markings/sec, 935 secs
lola: 11110649 markings, 55379684 edges, 11879 markings/sec, 940 secs
lola: 11170319 markings, 55672974 edges, 11934 markings/sec, 945 secs
lola: 11229626 markings, 55966862 edges, 11861 markings/sec, 950 secs
lola: 11289296 markings, 56260117 edges, 11934 markings/sec, 955 secs
lola: 11348903 markings, 56552671 edges, 11921 markings/sec, 960 secs
lola: 11409256 markings, 56844913 edges, 12071 markings/sec, 965 secs
lola: 11474984 markings, 57138273 edges, 13146 markings/sec, 970 secs
lola: 11536631 markings, 57430893 edges, 12329 markings/sec, 975 secs
lola: 11593562 markings, 57723854 edges, 11386 markings/sec, 980 secs
lola: 11647577 markings, 58017765 edges, 10803 markings/sec, 985 secs
lola: 11705684 markings, 58310165 edges, 11621 markings/sec, 990 secs
lola: 11762881 markings, 58601895 edges, 11439 markings/sec, 995 secs
lola: 11817277 markings, 58891782 edges, 10879 markings/sec, 1000 secs
lola: 11868108 markings, 59180724 edges, 10166 markings/sec, 1005 secs
lola: 11916637 markings, 59470359 edges, 9706 markings/sec, 1010 secs
lola: 11972806 markings, 59760422 edges, 11234 markings/sec, 1015 secs
lola: 12029653 markings, 60051094 edges, 11369 markings/sec, 1020 secs
lola: 12083994 markings, 60339391 edges, 10868 markings/sec, 1025 secs
lola: 12134652 markings, 60628097 edges, 10132 markings/sec, 1030 secs
lola: 12183510 markings, 60917625 edges, 9772 markings/sec, 1035 secs
lola: 12239117 markings, 61206756 edges, 11121 markings/sec, 1040 secs
lola: 12295448 markings, 61496264 edges, 11266 markings/sec, 1045 secs
lola: 12350153 markings, 61783503 edges, 10941 markings/sec, 1050 secs
lola: 12400747 markings, 62070943 edges, 10119 markings/sec, 1055 secs
lola: 12449426 markings, 62359643 edges, 9736 markings/sec, 1060 secs
lola: 12504141 markings, 62647865 edges, 10943 markings/sec, 1065 secs
lola: 12559848 markings, 62936681 edges, 11141 markings/sec, 1070 secs
lola: 12615277 markings, 63223092 edges, 11086 markings/sec, 1075 secs
lola: 12666022 markings, 63509988 edges, 10149 markings/sec, 1080 secs
lola: 12714730 markings, 63797050 edges, 9742 markings/sec, 1085 secs
lola: 12775930 markings, 64084302 edges, 12240 markings/sec, 1090 secs
lola: 12846694 markings, 64374273 edges, 14153 markings/sec, 1095 secs
lola: 12911744 markings, 64667554 edges, 13010 markings/sec, 1100 secs
lola: 12973368 markings, 64960101 edges, 12325 markings/sec, 1105 secs
lola: 13032282 markings, 65252007 edges, 11783 markings/sec, 1110 secs
lola: 13090273 markings, 65543700 edges, 11598 markings/sec, 1115 secs
lola: 13145759 markings, 65834714 edges, 11097 markings/sec, 1120 secs
lola: 13199746 markings, 66125366 edges, 10797 markings/sec, 1125 secs
lola: 13258942 markings, 66415143 edges, 11839 markings/sec, 1130 secs
lola: 13314329 markings, 66704049 edges, 11077 markings/sec, 1135 secs
lola: 13364919 markings, 66991394 edges, 10118 markings/sec, 1140 secs
lola: 13425805 markings, 67279324 edges, 12177 markings/sec, 1145 secs
lola: 13481258 markings, 67566707 edges, 11091 markings/sec, 1150 secs
lola: 13533275 markings, 67853006 edges, 10403 markings/sec, 1155 secs
lola: 13590602 markings, 68139529 edges, 11465 markings/sec, 1160 secs
lola: 13647129 markings, 68426403 edges, 11305 markings/sec, 1165 secs
lola: 13700280 markings, 68711302 edges, 10630 markings/sec, 1170 secs
lola: 13756285 markings, 68997707 edges, 11201 markings/sec, 1175 secs
lola: 13812377 markings, 69286298 edges, 11218 markings/sec, 1180 secs
lola: 13867709 markings, 69573671 edges, 11066 markings/sec, 1185 secs
lola: 13919876 markings, 69860300 edges, 10433 markings/sec, 1190 secs
lola: 13972924 markings, 70147558 edges, 10610 markings/sec, 1195 secs
lola: 14026115 markings, 70433735 edges, 10638 markings/sec, 1200 secs
lola: 14077135 markings, 70719287 edges, 10204 markings/sec, 1205 secs
lola: 14130802 markings, 71003268 edges, 10733 markings/sec, 1210 secs
lola: 14183316 markings, 71287886 edges, 10503 markings/sec, 1215 secs
lola: 14242636 markings, 71576925 edges, 11864 markings/sec, 1220 secs
lola: 14301383 markings, 71864305 edges, 11749 markings/sec, 1225 secs
lola: 14358828 markings, 72151031 edges, 11489 markings/sec, 1230 secs
lola: 14425360 markings, 72441311 edges, 13306 markings/sec, 1235 secs
lola: 14491891 markings, 72733268 edges, 13306 markings/sec, 1240 secs
lola: 14557378 markings, 73023303 edges, 13097 markings/sec, 1245 secs
lola: 14619901 markings, 73312913 edges, 12505 markings/sec, 1250 secs
lola: 14687289 markings, 73600694 edges, 13478 markings/sec, 1255 secs
lola: 14753560 markings, 73893388 edges, 13254 markings/sec, 1260 secs
lola: 14817182 markings, 74184869 edges, 12724 markings/sec, 1265 secs
lola: 14875898 markings, 74475432 edges, 11743 markings/sec, 1270 secs
lola: 14935716 markings, 74768057 edges, 11964 markings/sec, 1275 secs
lola: 14993401 markings, 75061367 edges, 11537 markings/sec, 1280 secs
lola: 15047443 markings, 75353643 edges, 10808 markings/sec, 1285 secs
lola: 15105317 markings, 75646581 edges, 11575 markings/sec, 1290 secs
lola: 15162458 markings, 75940246 edges, 11428 markings/sec, 1295 secs
lola: 15218240 markings, 76233119 edges, 11156 markings/sec, 1300 secs
lola: 15274033 markings, 76523784 edges, 11159 markings/sec, 1305 secs
lola: 15331364 markings, 76814016 edges, 11466 markings/sec, 1310 secs
lola: 15386753 markings, 77103806 edges, 11078 markings/sec, 1315 secs
lola: 15440570 markings, 77392898 edges, 10763 markings/sec, 1320 secs
lola: 15499584 markings, 77682690 edges, 11803 markings/sec, 1325 secs
lola: 15554987 markings, 77971772 edges, 11081 markings/sec, 1330 secs
lola: 15605646 markings, 78260307 edges, 10132 markings/sec, 1335 secs
lola: 15673398 markings, 78550778 edges, 13550 markings/sec, 1340 secs
lola: 15735079 markings, 78840854 edges, 12336 markings/sec, 1345 secs
lola: 15792962 markings, 79132677 edges, 11577 markings/sec, 1350 secs
lola: 15853035 markings, 79424648 edges, 12015 markings/sec, 1355 secs
lola: 15909023 markings, 79714783 edges, 11198 markings/sec, 1360 secs
lola: 15960261 markings, 80002153 edges, 10248 markings/sec, 1365 secs
lola: 16015284 markings, 80291742 edges, 11005 markings/sec, 1370 secs
lola: 16066722 markings, 80581691 edges, 10288 markings/sec, 1375 secs
lola: 16116337 markings, 80871374 edges, 9923 markings/sec, 1380 secs
lola: 16169032 markings, 81159494 edges, 10539 markings/sec, 1385 secs
lola: 16226609 markings, 81449633 edges, 11515 markings/sec, 1390 secs
lola: 16281721 markings, 81738527 edges, 11022 markings/sec, 1395 secs
lola: 16333924 markings, 82027157 edges, 10441 markings/sec, 1400 secs
lola: 16387876 markings, 82315317 edges, 10790 markings/sec, 1405 secs
lola: 16438489 markings, 82602483 edges, 10123 markings/sec, 1410 secs
lola: 16486314 markings, 82888430 edges, 9565 markings/sec, 1415 secs
lola: 16535413 markings, 83176480 edges, 9820 markings/sec, 1420 secs
lola: 16583072 markings, 83465368 edges, 9532 markings/sec, 1425 secs
lola: 16629563 markings, 83753163 edges, 9298 markings/sec, 1430 secs
lola: 16673095 markings, 84040064 edges, 8706 markings/sec, 1435 secs
lola: 16730465 markings, 84329076 edges, 11474 markings/sec, 1440 secs
lola: 16787094 markings, 84618813 edges, 11326 markings/sec, 1445 secs
lola: 16840404 markings, 84907495 edges, 10662 markings/sec, 1450 secs
lola: 16893973 markings, 85196070 edges, 10714 markings/sec, 1455 secs
lola: 16945365 markings, 85483959 edges, 10278 markings/sec, 1460 secs
lola: 16995051 markings, 85770287 edges, 9937 markings/sec, 1465 secs
lola: 17041785 markings, 86055742 edges, 9347 markings/sec, 1470 secs
lola: 17093108 markings, 86348102 edges, 10265 markings/sec, 1475 secs
lola: 17140403 markings, 86640134 edges, 9459 markings/sec, 1480 secs
lola: 17186528 markings, 86930525 edges, 9225 markings/sec, 1485 secs
lola: 17234706 markings, 87220129 edges, 9636 markings/sec, 1490 secs
lola: 17293916 markings, 87512230 edges, 11842 markings/sec, 1495 secs
lola: 17349401 markings, 87803096 edges, 11097 markings/sec, 1500 secs
lola: 17401008 markings, 88093797 edges, 10321 markings/sec, 1505 secs
lola: 17456179 markings, 88381872 edges, 11034 markings/sec, 1510 secs
lola: 17506497 markings, 88667147 edges, 10064 markings/sec, 1515 secs
lola: 17554378 markings, 88951060 edges, 9576 markings/sec, 1520 secs
lola: 17603313 markings, 89239424 edges, 9787 markings/sec, 1525 secs
lola: 17651662 markings, 89528674 edges, 9670 markings/sec, 1530 secs
lola: 17698212 markings, 89816556 edges, 9310 markings/sec, 1535 secs
lola: 17742296 markings, 90103957 edges, 8817 markings/sec, 1540 secs
lola: 17796765 markings, 90390614 edges, 10894 markings/sec, 1545 secs
lola: 17852857 markings, 90677805 edges, 11218 markings/sec, 1550 secs
lola: 17906972 markings, 90963692 edges, 10823 markings/sec, 1555 secs
lola: 17959147 markings, 91249290 edges, 10435 markings/sec, 1560 secs
lola: 18011340 markings, 91534271 edges, 10439 markings/sec, 1565 secs
lola: 18061075 markings, 91817815 edges, 9947 markings/sec, 1570 secs
lola: 18107528 markings, 92100635 edges, 9291 markings/sec, 1575 secs
lola: 18156815 markings, 92386726 edges, 9857 markings/sec, 1580 secs
lola: 18203228 markings, 92673319 edges, 9283 markings/sec, 1585 secs
lola: 18249136 markings, 92958170 edges, 9182 markings/sec, 1590 secs
lola: 18292012 markings, 93242383 edges, 8575 markings/sec, 1595 secs
lola: 18352369 markings, 93531492 edges, 12071 markings/sec, 1600 secs
lola: 18408079 markings, 93820030 edges, 11142 markings/sec, 1605 secs
lola: 18460603 markings, 94108076 edges, 10505 markings/sec, 1610 secs
lola: 18514484 markings, 94396678 edges, 10776 markings/sec, 1615 secs
lola: 18565737 markings, 94685447 edges, 10251 markings/sec, 1620 secs
lola: 18621037 markings, 94974218 edges, 11060 markings/sec, 1625 secs
lola: 18673497 markings, 95261869 edges, 10492 markings/sec, 1630 secs
lola: 18726315 markings, 95549226 edges, 10564 markings/sec, 1635 secs
lola: 18783588 markings, 95837031 edges, 11455 markings/sec, 1640 secs
lola: 18840030 markings, 96125373 edges, 11288 markings/sec, 1645 secs
lola: 18893911 markings, 96411408 edges, 10776 markings/sec, 1650 secs
lola: 18944089 markings, 96697784 edges, 10036 markings/sec, 1655 secs
lola: 18992594 markings, 96984825 edges, 9701 markings/sec, 1660 secs
lola: 19044170 markings, 97271665 edges, 10315 markings/sec, 1665 secs
lola: 19095474 markings, 97559018 edges, 10261 markings/sec, 1670 secs
lola: 19145114 markings, 97844602 edges, 9928 markings/sec, 1675 secs
lola: 19191417 markings, 98129508 edges, 9261 markings/sec, 1680 secs
lola: 19237821 markings, 98416402 edges, 9281 markings/sec, 1685 secs
lola: 19280504 markings, 98702325 edges, 8537 markings/sec, 1690 secs
lola: 19335908 markings, 98990166 edges, 11081 markings/sec, 1695 secs
lola: 19386741 markings, 99277163 edges, 10167 markings/sec, 1700 secs
lola: 19435020 markings, 99562158 edges, 9656 markings/sec, 1705 secs
lola: 19481125 markings, 99847877 edges, 9221 markings/sec, 1710 secs
lola: 19525714 markings, 100134117 edges, 8918 markings/sec, 1715 secs
lola: 19574488 markings, 100419982 edges, 9755 markings/sec, 1720 secs
lola: 19626322 markings, 100705832 edges, 10367 markings/sec, 1725 secs
lola: 19676175 markings, 100990009 edges, 9971 markings/sec, 1730 secs
lola: 19722340 markings, 101272823 edges, 9233 markings/sec, 1735 secs
lola: 19768439 markings, 101558020 edges, 9220 markings/sec, 1740 secs
lola: 19811547 markings, 101843072 edges, 8622 markings/sec, 1745 secs
lola: 19864250 markings, 102128081 edges, 10541 markings/sec, 1750 secs
lola: 19914914 markings, 102412503 edges, 10133 markings/sec, 1755 secs
lola: 19963643 markings, 102694551 edges, 9746 markings/sec, 1760 secs
lola: 20009559 markings, 102977593 edges, 9183 markings/sec, 1765 secs
lola: 20054429 markings, 103261267 edges, 8974 markings/sec, 1770 secs
lola: 20103384 markings, 103545082 edges, 9791 markings/sec, 1775 secs
lola: 20167492 markings, 103832804 edges, 12822 markings/sec, 1780 secs
lola: 20228212 markings, 104120672 edges, 12144 markings/sec, 1785 secs
lola: 20284263 markings, 104409136 edges, 11210 markings/sec, 1790 secs
lola: 20337387 markings, 104697774 edges, 10625 markings/sec, 1795 secs
lola: 20391097 markings, 104986295 edges, 10742 markings/sec, 1800 secs
lola: 20441783 markings, 105272700 edges, 10137 markings/sec, 1805 secs
lola: 20491930 markings, 105558896 edges, 10029 markings/sec, 1810 secs
lola: 20539548 markings, 105846233 edges, 9524 markings/sec, 1815 secs
lola: 20594884 markings, 106137570 edges, 11067 markings/sec, 1820 secs
lola: 20645702 markings, 106427366 edges, 10164 markings/sec, 1825 secs
lola: 20694571 markings, 106716706 edges, 9774 markings/sec, 1830 secs
lola: 20746537 markings, 107005848 edges, 10393 markings/sec, 1835 secs
lola: 20798115 markings, 107294857 edges, 10316 markings/sec, 1840 secs
lola: 20848233 markings, 107583230 edges, 10024 markings/sec, 1845 secs
lola: 20895699 markings, 107871000 edges, 9493 markings/sec, 1850 secs
lola: 20951238 markings, 108161505 edges, 11108 markings/sec, 1855 secs
lola: 21002470 markings, 108452481 edges, 10246 markings/sec, 1860 secs
lola: 21051432 markings, 108742762 edges, 9792 markings/sec, 1865 secs
lola: 21103646 markings, 109033640 edges, 10443 markings/sec, 1870 secs
lola: 21155828 markings, 109326123 edges, 10436 markings/sec, 1875 secs
lola: 21206230 markings, 109616530 edges, 10080 markings/sec, 1880 secs
lola: 21253938 markings, 109906999 edges, 9542 markings/sec, 1885 secs
lola: 21305070 markings, 110198859 edges, 10226 markings/sec, 1890 secs
lola: 21353414 markings, 110490412 edges, 9669 markings/sec, 1895 secs
lola: 21403294 markings, 110781916 edges, 9976 markings/sec, 1900 secs
lola: 21451861 markings, 111072241 edges, 9713 markings/sec, 1905 secs
lola: 21500895 markings, 111362656 edges, 9807 markings/sec, 1910 secs
lola: 21553281 markings, 111654390 edges, 10477 markings/sec, 1915 secs
lola: 21605606 markings, 111947939 edges, 10465 markings/sec, 1920 secs
lola: 21661123 markings, 112239318 edges, 11103 markings/sec, 1925 secs
lola: 21715793 markings, 112531217 edges, 10934 markings/sec, 1930 secs
lola: 21775019 markings, 112823865 edges, 11845 markings/sec, 1935 secs
lola: 21834993 markings, 113117179 edges, 11995 markings/sec, 1940 secs
lola: 21894294 markings, 113410840 edges, 11860 markings/sec, 1945 secs
lola: 21953626 markings, 113703867 edges, 11866 markings/sec, 1950 secs
lola: 22013171 markings, 113996194 edges, 11909 markings/sec, 1955 secs
lola: 22072445 markings, 114289052 edges, 11855 markings/sec, 1960 secs
lola: 22132299 markings, 114584160 edges, 11971 markings/sec, 1965 secs
lola: 22188463 markings, 114878909 edges, 11233 markings/sec, 1970 secs
lola: 22241120 markings, 115173400 edges, 10531 markings/sec, 1975 secs
lola: 22297115 markings, 115467832 edges, 11199 markings/sec, 1980 secs
lola: 22348623 markings, 115762085 edges, 10302 markings/sec, 1985 secs
lola: 22398232 markings, 116055656 edges, 9922 markings/sec, 1990 secs
lola: 22451445 markings, 116350251 edges, 10643 markings/sec, 1995 secs
lola: 22503716 markings, 116646288 edges, 10454 markings/sec, 2000 secs
lola: 22555588 markings, 116941382 edges, 10374 markings/sec, 2005 secs
lola: 22605281 markings, 117236446 edges, 9939 markings/sec, 2010 secs
lola: 22660458 markings, 117531604 edges, 11035 markings/sec, 2015 secs
lola: 22712130 markings, 117824624 edges, 10334 markings/sec, 2020 secs
lola: 22760835 markings, 118117184 edges, 9741 markings/sec, 2025 secs
lola: 22814171 markings, 118409669 edges, 10667 markings/sec, 2030 secs
lola: 22865845 markings, 118702466 edges, 10335 markings/sec, 2035 secs
lola: 22917206 markings, 118995050 edges, 10272 markings/sec, 2040 secs
lola: 22968403 markings, 119287256 edges, 10239 markings/sec, 2045 secs
lola: 23028181 markings, 119581887 edges, 11956 markings/sec, 2050 secs
lola: 23084272 markings, 119876196 edges, 11218 markings/sec, 2055 secs
lola: 23136701 markings, 120169848 edges, 10486 markings/sec, 2060 secs
lola: 23192505 markings, 120462764 edges, 11161 markings/sec, 2065 secs
lola: 23243736 markings, 120754608 edges, 10246 markings/sec, 2070 secs
lola: 23292848 markings, 121045563 edges, 9822 markings/sec, 2075 secs
lola: 23342387 markings, 121336475 edges, 9908 markings/sec, 2080 secs
lola: 23390707 markings, 121629213 edges, 9664 markings/sec, 2085 secs
lola: 23437928 markings, 121921246 edges, 9444 markings/sec, 2090 secs
lola: 23482172 markings, 122212293 edges, 8849 markings/sec, 2095 secs
lola: 23535209 markings, 122505168 edges, 10607 markings/sec, 2100 secs
lola: 23587805 markings, 122799151 edges, 10519 markings/sec, 2105 secs
lola: 23638558 markings, 123092318 edges, 10151 markings/sec, 2110 secs
lola: 23687242 markings, 123384445 edges, 9737 markings/sec, 2115 secs
lola: 23736334 markings, 123674419 edges, 9818 markings/sec, 2120 secs
lola: 23783388 markings, 123965131 edges, 9411 markings/sec, 2125 secs
lola: 23828400 markings, 124255083 edges, 9002 markings/sec, 2130 secs
lola: 23873801 markings, 124545772 edges, 9080 markings/sec, 2135 secs
lola: 23919085 markings, 124837874 edges, 9057 markings/sec, 2140 secs
lola: 23962494 markings, 125128322 edges, 8682 markings/sec, 2145 secs
lola: 24004416 markings, 125418186 edges, 8384 markings/sec, 2150 secs
lola: 24050946 markings, 125708805 edges, 9306 markings/sec, 2155 secs
lola: 24104833 markings, 126002269 edges, 10777 markings/sec, 2160 secs
lola: 24155965 markings, 126294333 edges, 10226 markings/sec, 2165 secs
lola: 24203515 markings, 126585944 edges, 9510 markings/sec, 2170 secs
lola: 24253983 markings, 126877639 edges, 10094 markings/sec, 2175 secs
lola: 24301441 markings, 127168733 edges, 9492 markings/sec, 2180 secs
lola: 24348014 markings, 127458785 edges, 9315 markings/sec, 2185 secs
lola: 24391582 markings, 127747808 edges, 8714 markings/sec, 2190 secs
lola: 24438610 markings, 128040624 edges, 9406 markings/sec, 2195 secs
lola: 24482159 markings, 128332444 edges, 8710 markings/sec, 2200 secs
lola: 24525272 markings, 128622787 edges, 8623 markings/sec, 2205 secs
lola: 24565223 markings, 128911867 edges, 7990 markings/sec, 2210 secs
lola: 24620947 markings, 129202912 edges, 11145 markings/sec, 2215 secs
lola: 24672402 markings, 129493863 edges, 10291 markings/sec, 2220 secs
lola: 24721524 markings, 129783708 edges, 9824 markings/sec, 2225 secs
lola: 24770587 markings, 130074016 edges, 9813 markings/sec, 2230 secs
lola: 24819174 markings, 130363995 edges, 9717 markings/sec, 2235 secs
lola: 24865956 markings, 130653412 edges, 9356 markings/sec, 2240 secs
lola: 24910182 markings, 130941582 edges, 8845 markings/sec, 2245 secs
lola: 24956052 markings, 131232476 edges, 9174 markings/sec, 2250 secs
lola: 25000724 markings, 131524067 edges, 8934 markings/sec, 2255 secs
lola: 25044347 markings, 131815149 edges, 8725 markings/sec, 2260 secs
lola: 25085757 markings, 132105017 edges, 8282 markings/sec, 2265 secs
lola: 25134745 markings, 132395266 edges, 9798 markings/sec, 2270 secs
lola: 25186962 markings, 132686791 edges, 10443 markings/sec, 2275 secs
lola: 25237504 markings, 132977745 edges, 10108 markings/sec, 2280 secs
lola: 25285141 markings, 133269346 edges, 9527 markings/sec, 2285 secs
lola: 25336277 markings, 133560773 edges, 10227 markings/sec, 2290 secs
lola: 25383175 markings, 133850196 edges, 9380 markings/sec, 2295 secs
lola: 25428719 markings, 134137471 edges, 9109 markings/sec, 2300 secs
lola: 25472389 markings, 134423709 edges, 8734 markings/sec, 2305 secs
lola: 25518258 markings, 134713156 edges, 9174 markings/sec, 2310 secs
lola: 25561573 markings, 135002057 edges, 8663 markings/sec, 2315 secs
lola: 25603951 markings, 135289251 edges, 8476 markings/sec, 2320 secs
lola: 25644010 markings, 135574405 edges, 8012 markings/sec, 2325 secs
lola: 25699873 markings, 135866195 edges, 11173 markings/sec, 2330 secs
lola: 25751119 markings, 136157185 edges, 10249 markings/sec, 2335 secs
lola: 25800404 markings, 136449393 edges, 9857 markings/sec, 2340 secs
lola: 25850215 markings, 136742000 edges, 9962 markings/sec, 2345 secs
lola: 25898640 markings, 137034888 edges, 9685 markings/sec, 2350 secs
lola: 25948958 markings, 137327757 edges, 10064 markings/sec, 2355 secs
lola: 25996451 markings, 137619456 edges, 9499 markings/sec, 2360 secs
lola: 26046627 markings, 137908174 edges, 10035 markings/sec, 2365 secs
lola: 26094301 markings, 138196056 edges, 9535 markings/sec, 2370 secs
lola: 26149518 markings, 138486417 edges, 11043 markings/sec, 2375 secs
lola: 26200563 markings, 138777207 edges, 10209 markings/sec, 2380 secs
lola: 26249357 markings, 139066294 edges, 9759 markings/sec, 2385 secs
lola: 26295876 markings, 139353550 edges, 9304 markings/sec, 2390 secs
lola: 26340464 markings, 139642471 edges, 8918 markings/sec, 2395 secs
lola: 26388278 markings, 139931853 edges, 9563 markings/sec, 2400 secs
lola: 26436163 markings, 140221526 edges, 9577 markings/sec, 2405 secs
lola: 26482664 markings, 140508988 edges, 9300 markings/sec, 2410 secs
lola: 26526591 markings, 140797535 edges, 8785 markings/sec, 2415 secs
lola: 26570161 markings, 141087901 edges, 8714 markings/sec, 2420 secs
lola: 26611456 markings, 141377340 edges, 8259 markings/sec, 2425 secs
lola: 26658410 markings, 141667741 edges, 9391 markings/sec, 2430 secs
lola: 26706375 markings, 141958415 edges, 9593 markings/sec, 2435 secs
lola: 26753675 markings, 142251039 edges, 9460 markings/sec, 2440 secs
lola: 26798241 markings, 142544725 edges, 8913 markings/sec, 2445 secs
lola: 26842323 markings, 142838979 edges, 8816 markings/sec, 2450 secs
lola: 26883995 markings, 143133314 edges, 8334 markings/sec, 2455 secs
lola: 26932585 markings, 143427637 edges, 9718 markings/sec, 2460 secs
lola: 26980635 markings, 143721965 edges, 9610 markings/sec, 2465 secs
lola: 27027771 markings, 144014675 edges, 9427 markings/sec, 2470 secs
lola: 27071845 markings, 144307223 edges, 8815 markings/sec, 2475 secs
lola: 27115371 markings, 144597111 edges, 8705 markings/sec, 2480 secs
lola: 27156194 markings, 144886367 edges, 8165 markings/sec, 2485 secs
lola: 27204830 markings, 145176745 edges, 9727 markings/sec, 2490 secs
lola: 27251900 markings, 145466722 edges, 9414 markings/sec, 2495 secs
lola: 27298212 markings, 145754290 edges, 9262 markings/sec, 2500 secs
lola: 27341644 markings, 146042632 edges, 8686 markings/sec, 2505 secs
lola: 27385160 markings, 146332320 edges, 8703 markings/sec, 2510 secs
lola: 27425989 markings, 146621603 edges, 8166 markings/sec, 2515 secs
lola: 27483711 markings, 146914349 edges, 11544 markings/sec, 2520 secs
lola: 27541201 markings, 147208940 edges, 11498 markings/sec, 2525 secs
lola: 27595365 markings, 147503235 edges, 10833 markings/sec, 2530 secs
lola: 27646788 markings, 147796629 edges, 10285 markings/sec, 2535 secs
lola: 27694950 markings, 148089292 edges, 9632 markings/sec, 2540 secs
lola: 27745279 markings, 148382025 edges, 10066 markings/sec, 2545 secs
lola: 27792701 markings, 148675110 edges, 9484 markings/sec, 2550 secs
lola: 27839895 markings, 148966243 edges, 9439 markings/sec, 2555 secs
lola: 27883489 markings, 149256287 edges, 8719 markings/sec, 2560 secs
lola: 27934882 markings, 149549059 edges, 10279 markings/sec, 2565 secs
lola: 27982254 markings, 149841924 edges, 9474 markings/sec, 2570 secs
lola: 28028506 markings, 150132920 edges, 9250 markings/sec, 2575 secs
lola: 28074172 markings, 150424031 edges, 9133 markings/sec, 2580 secs
lola: 28123937 markings, 150715510 edges, 9953 markings/sec, 2585 secs
lola: 28170961 markings, 151006570 edges, 9405 markings/sec, 2590 secs
lola: 28216200 markings, 151296916 edges, 9048 markings/sec, 2595 secs
lola: 28263090 markings, 151587056 edges, 9378 markings/sec, 2600 secs
lola: 28312403 markings, 151880147 edges, 9863 markings/sec, 2605 secs
lola: 28359718 markings, 152172387 edges, 9463 markings/sec, 2610 secs
lola: 28404488 markings, 152464102 edges, 8954 markings/sec, 2615 secs
lola: 28453231 markings, 152756896 edges, 9749 markings/sec, 2620 secs
lola: 28501573 markings, 153050855 edges, 9668 markings/sec, 2625 secs
lola: 28548666 markings, 153342944 edges, 9419 markings/sec, 2630 secs
lola: 28592316 markings, 153631653 edges, 8730 markings/sec, 2635 secs
lola: 28638642 markings, 153921433 edges, 9265 markings/sec, 2640 secs
lola: 28682391 markings, 154211195 edges, 8750 markings/sec, 2645 secs
lola: 28728651 markings, 154500186 edges, 9252 markings/sec, 2650 secs
lola: 28772146 markings, 154788228 edges, 8699 markings/sec, 2655 secs
lola: 28818253 markings, 155076196 edges, 9221 markings/sec, 2660 secs
lola: 28861627 markings, 155363431 edges, 8675 markings/sec, 2665 secs
lola: 28911314 markings, 155654405 edges, 9937 markings/sec, 2670 secs
lola: 28959032 markings, 155945987 edges, 9544 markings/sec, 2675 secs
lola: 29009916 markings, 156236162 edges, 10177 markings/sec, 2680 secs
lola: 29059110 markings, 156526081 edges, 9839 markings/sec, 2685 secs
lola: 29113122 markings, 156817649 edges, 10802 markings/sec, 2690 secs
lola: 29167483 markings, 157109557 edges, 10872 markings/sec, 2695 secs
lola: 29219856 markings, 157403192 edges, 10475 markings/sec, 2700 secs
lola: 29275407 markings, 157696151 edges, 11110 markings/sec, 2705 secs
lola: 29328772 markings, 157989512 edges, 10673 markings/sec, 2710 secs
lola: 29382887 markings, 158282112 edges, 10823 markings/sec, 2715 secs
lola: 29444500 markings, 158574224 edges, 12323 markings/sec, 2720 secs
lola: 29507958 markings, 158865741 edges, 12692 markings/sec, 2725 secs
lola: 29567203 markings, 159156984 edges, 11849 markings/sec, 2730 secs
lola: 29626733 markings, 159448599 edges, 11906 markings/sec, 2735 secs
lola: 29684975 markings, 159739843 edges, 11648 markings/sec, 2740 secs
lola: 29744535 markings, 160030188 edges, 11912 markings/sec, 2745 secs
lola: time limit reached - aborting
lola:
preliminary result: no no unknown no unknown no yes no no no no no
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: no no unknown no unknown no yes no no no no no
lola:
preliminary result: no no unknown no unknown no yes no no no no no
lola: memory consumption: 5127868 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 unknown no unknown no yes no no no no no
lola: memory consumption: 5127868 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldIIPs-PT-040B"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2020"
echo " Input is ShieldIIPs-PT-040B, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r227-tall-162098230900150"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPs-PT-040B.tgz
mv ShieldIIPs-PT-040B 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 ;