About the Execution of 2019-Gold for Railroad-PT-100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4490.090 | 3570151.00 | 3622929.00 | 8469.20 | TTFFFFF?TFFTFFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r150-smll-158961529300082.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-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 win2019
Input is Railroad-PT-100, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r150-smll-158961529300082
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.4M
-rw-r--r-- 1 mcc users 3.2K Apr 12 08:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 12 08:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 11 09:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 11 09:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.7K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.0K Apr 10 14:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 10 14:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 9 21:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 9 21:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 5.2M Mar 24 05:38 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 Railroad-PT-100-00
FORMULA_NAME Railroad-PT-100-01
FORMULA_NAME Railroad-PT-100-02
FORMULA_NAME Railroad-PT-100-03
FORMULA_NAME Railroad-PT-100-04
FORMULA_NAME Railroad-PT-100-05
FORMULA_NAME Railroad-PT-100-06
FORMULA_NAME Railroad-PT-100-07
FORMULA_NAME Railroad-PT-100-08
FORMULA_NAME Railroad-PT-100-09
FORMULA_NAME Railroad-PT-100-10
FORMULA_NAME Railroad-PT-100-11
FORMULA_NAME Railroad-PT-100-12
FORMULA_NAME Railroad-PT-100-13
FORMULA_NAME Railroad-PT-100-14
FORMULA_NAME Railroad-PT-100-15
=== Now, execution of the tool begins
BK_START 1589939291416
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ Railroad-PT-100 @ 3570 seconds
FORMULA Railroad-PT-100-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Railroad-PT-100-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ Railroad-PT-100
{
"exit":
{
"memory": 527832,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((G ((NOT FIREABLE(tr_T135_9275) OR FIREABLE(tr_T135_403))) OR F (FIREABLE(tr_T135_6098))))",
"processed_size": 94,
"rewrites": 80
},
"result":
{
"preliminary_value": "yes yes no no no no no unknown yes no no yes no no no no "
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"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: 11524/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 32576
lola: finding significant places
lola: 1018 places, 10506 transitions, 407 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: A (((FIREABLE(tr_T51_99) OR NOT FIREABLE(tr_T135_5490)) OR NOT((FIREABLE(tr_T51_99) U F (X (FIREABLE(tr_T51_99))))))) : A ((X (X (FIREABLE(tr_T135_3963))) OR NOT(X ((FIREABLE(tr_T135_5390) U (G (FIREABLE(tr_T135_3098)) U FIREABLE(tr_T135_5390))))))) : A (X (G (F (G (F (G (X (((FIREABLE(tr_T135_735) AND FIREABLE(tr_T135_9703)) AND (FIREABLE(tr_T135_735) U FIREABLE(tr_T135_713))))))))))) : A (NOT(G (((NOT FIREABLE(tr_T135_667) OR FIREABLE(tr_T135_676)) OR G ((FIREABLE(tr_T135_582) U G (FIREABLE(tr_T135_667)))))))) : A (F (X (G (X (((FIREABLE(tr_T135_1285) AND FIREABLE(tr_T135_9570)) AND F (FIREABLE(tr_T135_1206)))))))) : A ((G ((X ((FIREABLE(tr_T135_2071) AND G (X (FIREABLE(tr_T135_2071))))) U G (FIREABLE(tr_T135_5097)))) U FIREABLE(tr_T135_7044))) : A ((FIREABLE(tr_T135_3600) OR X ((G (FIREABLE(tr_T135_5542)) U G (FIREABLE(tr_T135_3600)))))) : A ((G ((NOT FIREABLE(tr_T135_9275) OR FIREABLE(tr_T135_403))) OR (FIREABLE(tr_T135_6098) U F (FIREABLE(tr_T135_6098))))) : A (NOT(((FIREABLE(tr_T135_5316) U FIREABLE(tr_T135_5437)) AND X (((X (FIREABLE(tr_T135_1124)) U FIREABLE(tr_T135_5437)) U NOT FIREABLE(tr_T135_1124)))))) : A (G (X (((FIREABLE(tr_T135_7190) U FIREABLE(tr_T135_6741)) AND X ((FIREABLE(tr_T135_7190) AND FIREABLE(tr_T135_6741))))))) : A (((G (FIREABLE(tr_T135_2223)) U F (NOT(X (FIREABLE(tr_T135_8763))))) U F (X (FIREABLE(tr_T135_4947))))) : A (X (X (NOT(G (FIREABLE(tr_T135_383)))))) : A ((NOT(F ((FIREABLE(tr_T135_1514) U FIREABLE(tr_T169_1)))) AND F ((NOT(G (FIREABLE(tr_T223_1))) U G (FIREABLE(tr_T135_8607)))))) : A (G (X (G (((FIREABLE(tr_T135_567) AND (NOT FIREABLE(tr_T135_9355) OR FIREABLE(tr_T135_1704))) AND F (FIREABLE(tr_T135_2079))))))) : A ((X ((X (FIREABLE(tr_T135_1451)) OR (G (FIREABLE(tr_T135_3888)) U (FIREABLE(tr_T135_1451) AND FIREABLE(tr_T135_2263))))) U (FIREABLE(tr_T135_6706) OR F (FIREABLE(tr_T135_3846))))) : A ((F (FIREABLE(tr_T135_2020)) U X (FIREABLE(tr_T135_2077))))
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:431
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:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:338
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:353
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:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(tr_T51_99) OR NOT FIREABLE(tr_T135_5490)) OR (NOT FIREABLE(tr_T51_99) R X (G (NOT FIREABLE(tr_T51_99))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(tr_T51_99) OR NOT FIREABLE(tr_T135_5490)) OR (NOT FIREABLE(tr_T51_99) R X (G (NOT FIREABLE(tr_T51_99))))))
lola: processed formula length: 121
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((X (FIREABLE(tr_T135_3963)) OR (NOT FIREABLE(tr_T135_5390) R (NOT FIREABLE(tr_T135_5390) AND (F (NOT FIREABLE(tr_T135_3098)) OR G (NOT FIREABLE(tr_T135_5390))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((X (FIREABLE(tr_T135_3963)) OR (NOT FIREABLE(tr_T135_5390) R (NOT FIREABLE(tr_T135_5390) AND (F (NOT FIREABLE(tr_T135_3098)) OR G (NOT FIREABLE(tr_T135_5390))))))))
lola: processed formula length: 170
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 101 markings, 100 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((F (G (FIREABLE(tr_T135_5097))) AND G ((X ((FIREABLE(tr_T135_2071) AND X (G (FIREABLE(tr_T135_2071))))) OR G (FIREABLE(tr_T135_5097))))) U FIREABLE(tr_T135_7044)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((F (G (FIREABLE(tr_T135_5097))) AND G ((X ((FIREABLE(tr_T135_2071) AND X (G (FIREABLE(tr_T135_2071))))) OR G (FIREABLE(tr_T135_5097))))) U FIREABLE(tr_T135_7044)))
lola: processed formula length: 167
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 12 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 79 markings, 79 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(tr_T135_3600) OR X ((G (FIREABLE(tr_T135_3600)) OR (G (FIREABLE(tr_T135_5542)) AND F (G (FIREABLE(tr_T135_3600))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(tr_T135_3600) OR X ((G (FIREABLE(tr_T135_3600)) OR (G (FIREABLE(tr_T135_5542)) AND F (G (FIREABLE(tr_T135_3600))))))))
lola: processed formula length: 131
lola: 80 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: 79 markings, 79 edges
lola: ========================================
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(tr_T135_5316) R NOT FIREABLE(tr_T135_5437)) OR X (((X (NOT FIREABLE(tr_T135_1124)) R NOT FIREABLE(tr_T135_5437)) R FIREABLE(tr_T135_1124)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((NOT FIREABLE(tr_T135_5316) R NOT FIREABLE(tr_T135_5437)) OR X (((X (NOT FIREABLE(tr_T135_1124)) R NOT FIREABLE(tr_T135_5437)) R FIREABLE(tr_T135_1124)))))
lola: processed formula length: 159
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (((FIREABLE(tr_T135_7190) U FIREABLE(tr_T135_6741)) AND X ((FIREABLE(tr_T135_7190) AND FIREABLE(tr_T135_6741)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (((FIREABLE(tr_T135_7190) U FIREABLE(tr_T135_6741)) AND X ((FIREABLE(tr_T135_7190) AND FIREABLE(tr_T135_6741)))))))
lola: processed formula length: 123
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 79 markings, 79 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((X (F (NOT FIREABLE(tr_T135_8763))) OR (G (FIREABLE(tr_T135_2223)) AND X (F (NOT FIREABLE(tr_T135_8763))))) U X (F (FIREABLE(tr_T135_4947)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((X (F (NOT FIREABLE(tr_T135_8763))) OR (G (FIREABLE(tr_T135_2223)) AND X (F (NOT FIREABLE(tr_T135_8763))))) U X (F (FIREABLE(tr_T135_4947)))))
lola: processed formula length: 146
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 313 markings, 316 edges
lola: ========================================
lola: subprocess 7 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F (NOT FIREABLE(tr_T135_383)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F (NOT FIREABLE(tr_T135_383)))))
lola: processed formula length: 41
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 201 markings, 200 edges
lola: ========================================
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (((FIREABLE(tr_T135_567) AND (NOT FIREABLE(tr_T135_9355) OR FIREABLE(tr_T135_1704))) AND F (FIREABLE(tr_T135_2079))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (((FIREABLE(tr_T135_567) AND (NOT FIREABLE(tr_T135_9355) OR FIREABLE(tr_T135_1704))) AND F (FIREABLE(tr_T135_2079))))))
lola: processed formula length: 128
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 79 markings, 79 edges
lola: ========================================
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X ((X (FIREABLE(tr_T135_1451)) OR ((FIREABLE(tr_T135_1451) AND FIREABLE(tr_T135_2263)) OR (G (FIREABLE(tr_T135_3888)) AND F ((FIREABLE(tr_T135_1451) AND FIREABLE(tr_T135_2263))))))) U (FIREABLE(tr_T135_6706) OR F (FIREABLE(tr_T135_3846)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X ((X (FIREABLE(tr_T135_1451)) OR ((FIREABLE(tr_T135_1451) AND FIREABLE(tr_T135_2263)) OR (G (FIREABLE(tr_T135_3888)) AND F ((FIREABLE(tr_T135_1451) AND FIREABLE(tr_T135_2263))))))) U (FIREABLE(tr_T135_6706) OR F (FIREABLE(tr_T135_3846)))))
lola: processed formula length: 244
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 79 markings, 79 edges
lola: ========================================
lola: subprocess 10 will run for 593 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (FIREABLE(tr_T135_2020)) U X (FIREABLE(tr_T135_2077))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (FIREABLE(tr_T135_2020)) U X (FIREABLE(tr_T135_2077))))
lola: processed formula length: 61
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 79 markings, 79 edges
lola: ========================================
lola: subprocess 11 will run for 712 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G ((NOT FIREABLE(tr_T135_9275) OR FIREABLE(tr_T135_403))) OR F (FIREABLE(tr_T135_6098))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G ((NOT FIREABLE(tr_T135_9275) OR FIREABLE(tr_T135_403))) OR F (FIREABLE(tr_T135_6098))))
lola: processed formula length: 94
lola: 80 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: 2222 markings, 3050 edges, 444 markings/sec, 0 secs
lola: 4497 markings, 6603 edges, 455 markings/sec, 5 secs
lola: 6477 markings, 10090 edges, 396 markings/sec, 10 secs
lola: 8449 markings, 13665 edges, 394 markings/sec, 15 secs
lola: 10248 markings, 16900 edges, 360 markings/sec, 20 secs
lola: 12124 markings, 20507 edges, 375 markings/sec, 25 secs
lola: 13858 markings, 23706 edges, 347 markings/sec, 30 secs
lola: 15820 markings, 27545 edges, 392 markings/sec, 35 secs
lola: 17796 markings, 31418 edges, 395 markings/sec, 40 secs
lola: 19612 markings, 34866 edges, 363 markings/sec, 45 secs
lola: 21094 markings, 37580 edges, 296 markings/sec, 50 secs
lola: 22845 markings, 41079 edges, 350 markings/sec, 55 secs
lola: 24307 markings, 43859 edges, 292 markings/sec, 60 secs
lola: 25958 markings, 46975 edges, 330 markings/sec, 65 secs
lola: 27711 markings, 50375 edges, 351 markings/sec, 70 secs
lola: 29671 markings, 54136 edges, 392 markings/sec, 75 secs
lola: 31516 markings, 57757 edges, 369 markings/sec, 80 secs
lola: 33480 markings, 61518 edges, 393 markings/sec, 85 secs
lola: 35355 markings, 65252 edges, 375 markings/sec, 90 secs
lola: 36966 markings, 68522 edges, 322 markings/sec, 95 secs
lola: 38860 markings, 72190 edges, 379 markings/sec, 100 secs
lola: 40376 markings, 75175 edges, 303 markings/sec, 105 secs
lola: 42307 markings, 79182 edges, 386 markings/sec, 110 secs
lola: 43817 markings, 82179 edges, 302 markings/sec, 115 secs
lola: 45686 markings, 86223 edges, 374 markings/sec, 120 secs
lola: 47745 markings, 90303 edges, 412 markings/sec, 125 secs
lola: 49139 markings, 93287 edges, 279 markings/sec, 130 secs
lola: 50855 markings, 96733 edges, 343 markings/sec, 135 secs
lola: 52606 markings, 100235 edges, 350 markings/sec, 140 secs
lola: 54431 markings, 104121 edges, 365 markings/sec, 145 secs
lola: 56446 markings, 108102 edges, 403 markings/sec, 150 secs
lola: 58453 markings, 112426 edges, 401 markings/sec, 155 secs
lola: 60309 markings, 116490 edges, 371 markings/sec, 160 secs
lola: 62081 markings, 120185 edges, 354 markings/sec, 165 secs
lola: 64079 markings, 124160 edges, 400 markings/sec, 170 secs
lola: 66078 markings, 128593 edges, 400 markings/sec, 175 secs
lola: 68170 markings, 133222 edges, 418 markings/sec, 180 secs
lola: 69998 markings, 136950 edges, 366 markings/sec, 185 secs
lola: 72076 markings, 141181 edges, 416 markings/sec, 190 secs
lola: 73890 markings, 145066 edges, 363 markings/sec, 195 secs
lola: 75737 markings, 148703 edges, 369 markings/sec, 200 secs
lola: 77033 markings, 151183 edges, 259 markings/sec, 205 secs
lola: 78523 markings, 154199 edges, 298 markings/sec, 210 secs
lola: 80505 markings, 158544 edges, 396 markings/sec, 215 secs
lola: 82382 markings, 162442 edges, 375 markings/sec, 220 secs
lola: 84137 markings, 166477 edges, 351 markings/sec, 225 secs
lola: 86020 markings, 170408 edges, 377 markings/sec, 230 secs
lola: 87839 markings, 174613 edges, 364 markings/sec, 235 secs
lola: 89698 markings, 178620 edges, 372 markings/sec, 240 secs
lola: 91377 markings, 182369 edges, 336 markings/sec, 245 secs
lola: 93194 markings, 186482 edges, 363 markings/sec, 250 secs
lola: 94963 markings, 190520 edges, 354 markings/sec, 255 secs
lola: 96984 markings, 194987 edges, 404 markings/sec, 260 secs
lola: 99013 markings, 199345 edges, 406 markings/sec, 265 secs
lola: 100995 markings, 203340 edges, 396 markings/sec, 270 secs
lola: 102925 markings, 207772 edges, 386 markings/sec, 275 secs
lola: 104905 markings, 212396 edges, 396 markings/sec, 280 secs
lola: 106864 markings, 216413 edges, 392 markings/sec, 285 secs
lola: 108714 markings, 220583 edges, 370 markings/sec, 290 secs
lola: 110632 markings, 224618 edges, 384 markings/sec, 295 secs
lola: 111910 markings, 227086 edges, 256 markings/sec, 300 secs
lola: 113487 markings, 230326 edges, 315 markings/sec, 305 secs
lola: 115101 markings, 233747 edges, 323 markings/sec, 310 secs
lola: 116765 markings, 237220 edges, 333 markings/sec, 315 secs
lola: 118342 markings, 240909 edges, 315 markings/sec, 320 secs
lola: 120274 markings, 245040 edges, 386 markings/sec, 325 secs
lola: 121595 markings, 247792 edges, 264 markings/sec, 330 secs
lola: 122928 markings, 250405 edges, 267 markings/sec, 335 secs
lola: 124279 markings, 253068 edges, 270 markings/sec, 340 secs
lola: 125658 markings, 255936 edges, 276 markings/sec, 345 secs
lola: 127119 markings, 259076 edges, 292 markings/sec, 350 secs
lola: 128659 markings, 262281 edges, 308 markings/sec, 355 secs
lola: 130462 markings, 266178 edges, 361 markings/sec, 360 secs
lola: 132432 markings, 270570 edges, 394 markings/sec, 365 secs
lola: 134174 markings, 274022 edges, 348 markings/sec, 370 secs
lola: 135817 markings, 277352 edges, 329 markings/sec, 375 secs
lola: 137592 markings, 281115 edges, 355 markings/sec, 380 secs
lola: 139107 markings, 284286 edges, 303 markings/sec, 385 secs
lola: 141170 markings, 287902 edges, 413 markings/sec, 390 secs
lola: 143179 markings, 291900 edges, 402 markings/sec, 395 secs
lola: 144750 markings, 295149 edges, 314 markings/sec, 400 secs
lola: 146386 markings, 298179 edges, 327 markings/sec, 405 secs
lola: 148249 markings, 302228 edges, 373 markings/sec, 410 secs
lola: 150157 markings, 306549 edges, 382 markings/sec, 415 secs
lola: 151396 markings, 308891 edges, 248 markings/sec, 420 secs
lola: 153227 markings, 313379 edges, 366 markings/sec, 425 secs
lola: 155084 markings, 317001 edges, 371 markings/sec, 430 secs
lola: 156769 markings, 320465 edges, 337 markings/sec, 435 secs
lola: 158346 markings, 324019 edges, 315 markings/sec, 440 secs
lola: 160148 markings, 328220 edges, 360 markings/sec, 445 secs
lola: 161744 markings, 331866 edges, 319 markings/sec, 450 secs
lola: 163608 markings, 335797 edges, 373 markings/sec, 455 secs
lola: 165466 markings, 339430 edges, 372 markings/sec, 460 secs
lola: 167002 markings, 342462 edges, 307 markings/sec, 465 secs
lola: 168135 markings, 344727 edges, 227 markings/sec, 470 secs
lola: 169516 markings, 347499 edges, 276 markings/sec, 475 secs
lola: 170947 markings, 350499 edges, 286 markings/sec, 480 secs
lola: 172453 markings, 353708 edges, 301 markings/sec, 485 secs
lola: 174360 markings, 357732 edges, 381 markings/sec, 490 secs
lola: 176434 markings, 361732 edges, 415 markings/sec, 495 secs
lola: 177860 markings, 364561 edges, 285 markings/sec, 500 secs
lola: 179545 markings, 368220 edges, 337 markings/sec, 505 secs
lola: 181427 markings, 372116 edges, 376 markings/sec, 510 secs
lola: 183136 markings, 376136 edges, 342 markings/sec, 515 secs
lola: 184977 markings, 379720 edges, 368 markings/sec, 520 secs
lola: 186606 markings, 382803 edges, 326 markings/sec, 525 secs
lola: 188086 markings, 385818 edges, 296 markings/sec, 530 secs
lola: 189725 markings, 389054 edges, 328 markings/sec, 535 secs
lola: 191192 markings, 392098 edges, 293 markings/sec, 540 secs
lola: 192686 markings, 395524 edges, 299 markings/sec, 545 secs
lola: 194333 markings, 398601 edges, 329 markings/sec, 550 secs
lola: 196121 markings, 402717 edges, 358 markings/sec, 555 secs
lola: 197992 markings, 406273 edges, 374 markings/sec, 560 secs
lola: 199539 markings, 409427 edges, 309 markings/sec, 565 secs
lola: 201440 markings, 413336 edges, 380 markings/sec, 570 secs
lola: 203273 markings, 417345 edges, 367 markings/sec, 575 secs
lola: 205134 markings, 421356 edges, 372 markings/sec, 580 secs
lola: 206911 markings, 425087 edges, 355 markings/sec, 585 secs
lola: 208730 markings, 429130 edges, 364 markings/sec, 590 secs
lola: 210497 markings, 432618 edges, 353 markings/sec, 595 secs
lola: 212274 markings, 436701 edges, 355 markings/sec, 600 secs
lola: 214142 markings, 440940 edges, 374 markings/sec, 605 secs
lola: 215846 markings, 445047 edges, 341 markings/sec, 610 secs
lola: 217360 markings, 448579 edges, 303 markings/sec, 615 secs
lola: 218993 markings, 452097 edges, 327 markings/sec, 620 secs
lola: 220715 markings, 456145 edges, 344 markings/sec, 625 secs
lola: 222495 markings, 460239 edges, 356 markings/sec, 630 secs
lola: 224414 markings, 464307 edges, 384 markings/sec, 635 secs
lola: 226260 markings, 467896 edges, 369 markings/sec, 640 secs
lola: 227786 markings, 471310 edges, 305 markings/sec, 645 secs
lola: 229549 markings, 475021 edges, 353 markings/sec, 650 secs
lola: 231223 markings, 478980 edges, 335 markings/sec, 655 secs
lola: 233066 markings, 482942 edges, 369 markings/sec, 660 secs
lola: 234692 markings, 486400 edges, 325 markings/sec, 665 secs
lola: 236246 markings, 489840 edges, 311 markings/sec, 670 secs
lola: 238051 markings, 493602 edges, 361 markings/sec, 675 secs
lola: 239849 markings, 497406 edges, 360 markings/sec, 680 secs
lola: 241695 markings, 501598 edges, 369 markings/sec, 685 secs
lola: 243517 markings, 505736 edges, 364 markings/sec, 690 secs
lola: 245114 markings, 509010 edges, 319 markings/sec, 695 secs
lola: 246831 markings, 512572 edges, 343 markings/sec, 700 secs
lola: 248679 markings, 516639 edges, 370 markings/sec, 705 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown unknown unknown no no unknown yes no no yes unknown no no no
lola: memory consumption: 301108 KB
lola: time consumption: 719 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 12 will run for 712 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (((FIREABLE(tr_T135_1285) AND FIREABLE(tr_T135_9570)) AND F (FIREABLE(tr_T135_1206))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (((FIREABLE(tr_T135_1285) AND FIREABLE(tr_T135_9570)) AND F (FIREABLE(tr_T135_1206))))))
lola: processed formula length: 96
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 32 markings, 33 edges
lola: ========================================
lola: subprocess 13 will run for 950 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (((FIREABLE(tr_T135_735) AND FIREABLE(tr_T135_9703)) AND (FIREABLE(tr_T135_735) U FIREABLE(tr_T135_713))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (((FIREABLE(tr_T135_735) AND FIREABLE(tr_T135_9703)) AND (FIREABLE(tr_T135_735) U FIREABLE(tr_T135_713))))))
lola: processed formula length: 116
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 33 markings, 34 edges
lola: ========================================
lola: subprocess 14 will run for 1425 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((FIREABLE(tr_T135_667) AND NOT FIREABLE(tr_T135_676)) AND (G (F (NOT FIREABLE(tr_T135_667))) OR F ((NOT FIREABLE(tr_T135_582) AND F (NOT FIREABLE(tr_T135_667))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (((FIREABLE(tr_T135_667) AND NOT FIREABLE(tr_T135_676)) AND (G (F (NOT FIREABLE(tr_T135_667))) OR F ((NOT FIREABLE(tr_T135_582) AND F (NOT FIREABLE(tr_T135_667))))))))
lola: processed formula length: 172
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 31 markings, 31 edges
lola: ========================================
lola: subprocess 15 will run for 2850 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (NOT FIREABLE(tr_T169_1))) AND A (F (G (FIREABLE(tr_T135_8607)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2850 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(tr_T169_1)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G (NOT FIREABLE(tr_T169_1)))
lola: processed formula length: 31
lola: 82 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)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(tr_T169_1)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 6 markings, 5 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A ((G ((NOT FIREABLE(tr_T135_9275) OR FIREABLE(tr_T135_403))) OR F (FIREABLE(tr_T135_6098))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G ((NOT FIREABLE(tr_T135_9275) OR FIREABLE(tr_T135_403))) OR F (FIREABLE(tr_T135_6098))))
lola: processed formula length: 94
lola: 80 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: 2285 markings, 3124 edges, 457 markings/sec, 0 secs
lola: 4532 markings, 6665 edges, 449 markings/sec, 5 secs
lola: 6516 markings, 10152 edges, 397 markings/sec, 10 secs
lola: 8488 markings, 13738 edges, 394 markings/sec, 15 secs
lola: 10363 markings, 17136 edges, 375 markings/sec, 20 secs
lola: 12234 markings, 20695 edges, 374 markings/sec, 25 secs
lola: 14016 markings, 24057 edges, 356 markings/sec, 30 secs
lola: 15974 markings, 27795 edges, 392 markings/sec, 35 secs
lola: 17929 markings, 31689 edges, 391 markings/sec, 40 secs
lola: 19757 markings, 35115 edges, 366 markings/sec, 45 secs
lola: 21284 markings, 38001 edges, 305 markings/sec, 50 secs
lola: 22980 markings, 41304 edges, 339 markings/sec, 55 secs
lola: 24436 markings, 44118 edges, 291 markings/sec, 60 secs
lola: 26115 markings, 47310 edges, 336 markings/sec, 65 secs
lola: 27973 markings, 50902 edges, 372 markings/sec, 70 secs
lola: 29932 markings, 54604 edges, 392 markings/sec, 75 secs
lola: 31714 markings, 58177 edges, 356 markings/sec, 80 secs
lola: 33802 markings, 62150 edges, 418 markings/sec, 85 secs
lola: 35613 markings, 65790 edges, 362 markings/sec, 90 secs
lola: 37313 markings, 69297 edges, 340 markings/sec, 95 secs
lola: 39118 markings, 72781 edges, 361 markings/sec, 100 secs
lola: 40769 markings, 75980 edges, 330 markings/sec, 105 secs
lola: 42534 markings, 79621 edges, 353 markings/sec, 110 secs
lola: 44231 markings, 83058 edges, 339 markings/sec, 115 secs
lola: 46172 markings, 87168 edges, 388 markings/sec, 120 secs
lola: 48052 markings, 90984 edges, 376 markings/sec, 125 secs
lola: 49475 markings, 93907 edges, 285 markings/sec, 130 secs
lola: 51278 markings, 97583 edges, 361 markings/sec, 135 secs
lola: 53063 markings, 101267 edges, 357 markings/sec, 140 secs
lola: 54902 markings, 105129 edges, 368 markings/sec, 145 secs
lola: 56966 markings, 109098 edges, 413 markings/sec, 150 secs
lola: 58947 markings, 113523 edges, 396 markings/sec, 155 secs
lola: 60820 markings, 117490 edges, 375 markings/sec, 160 secs
lola: 62661 markings, 121205 edges, 368 markings/sec, 165 secs
lola: 64648 markings, 125362 edges, 397 markings/sec, 170 secs
lola: 66732 markings, 130033 edges, 417 markings/sec, 175 secs
lola: 68739 markings, 134496 edges, 401 markings/sec, 180 secs
lola: 70736 markings, 138351 edges, 399 markings/sec, 185 secs
lola: 72720 markings, 142495 edges, 397 markings/sec, 190 secs
lola: 74544 markings, 146356 edges, 365 markings/sec, 195 secs
lola: 76199 markings, 149608 edges, 331 markings/sec, 200 secs
lola: 77556 markings, 152237 edges, 271 markings/sec, 205 secs
lola: 79270 markings, 155796 edges, 343 markings/sec, 210 secs
lola: 81315 markings, 160183 edges, 409 markings/sec, 215 secs
lola: 83100 markings, 164100 edges, 357 markings/sec, 220 secs
lola: 84973 markings, 168171 edges, 375 markings/sec, 225 secs
lola: 86830 markings, 172299 edges, 371 markings/sec, 230 secs
lola: 88661 markings, 176370 edges, 366 markings/sec, 235 secs
lola: 90468 markings, 180281 edges, 361 markings/sec, 240 secs
lola: 92295 markings, 184456 edges, 365 markings/sec, 245 secs
lola: 94058 markings, 188477 edges, 353 markings/sec, 250 secs
lola: 95906 markings, 192810 edges, 370 markings/sec, 255 secs
lola: 97998 markings, 197046 edges, 418 markings/sec, 260 secs
lola: 100001 markings, 201073 edges, 401 markings/sec, 265 secs
lola: 101976 markings, 205516 edges, 395 markings/sec, 270 secs
lola: 103943 markings, 210131 edges, 393 markings/sec, 275 secs
lola: 105903 markings, 214302 edges, 392 markings/sec, 280 secs
lola: 107808 markings, 218632 edges, 381 markings/sec, 285 secs
lola: 109692 markings, 222479 edges, 377 markings/sec, 290 secs
lola: 111230 markings, 225691 edges, 308 markings/sec, 295 secs
lola: 112709 markings, 228651 edges, 296 markings/sec, 300 secs
lola: 114301 markings, 232044 edges, 318 markings/sec, 305 secs
lola: 115953 markings, 235546 edges, 330 markings/sec, 310 secs
lola: 117583 markings, 239120 edges, 326 markings/sec, 315 secs
lola: 119315 markings, 243143 edges, 346 markings/sec, 320 secs
lola: 121095 markings, 246791 edges, 356 markings/sec, 325 secs
lola: 122246 markings, 249110 edges, 230 markings/sec, 330 secs
lola: 123628 markings, 251767 edges, 276 markings/sec, 335 secs
lola: 124974 markings, 254444 edges, 269 markings/sec, 340 secs
lola: 126408 markings, 257560 edges, 287 markings/sec, 345 secs
lola: 127893 markings, 260609 edges, 297 markings/sec, 350 secs
lola: 129565 markings, 264046 edges, 334 markings/sec, 355 secs
lola: 131508 markings, 268465 edges, 389 markings/sec, 360 secs
lola: 133394 markings, 272522 edges, 377 markings/sec, 365 secs
lola: 135000 markings, 275707 edges, 321 markings/sec, 370 secs
lola: 136640 markings, 279050 edges, 328 markings/sec, 375 secs
lola: 138407 markings, 282891 edges, 353 markings/sec, 380 secs
lola: 140194 markings, 286305 edges, 357 markings/sec, 385 secs
lola: 142187 markings, 289841 edges, 399 markings/sec, 390 secs
lola: 144114 markings, 293780 edges, 385 markings/sec, 395 secs
lola: 145639 markings, 296830 edges, 305 markings/sec, 400 secs
lola: 147384 markings, 300489 edges, 349 markings/sec, 405 secs
lola: 149355 markings, 304742 edges, 394 markings/sec, 410 secs
lola: 150809 markings, 307685 edges, 291 markings/sec, 415 secs
lola: 152403 markings, 311356 edges, 319 markings/sec, 420 secs
lola: 154262 markings, 315314 edges, 372 markings/sec, 425 secs
lola: 156127 markings, 319007 edges, 373 markings/sec, 430 secs
lola: 157663 markings, 322500 edges, 307 markings/sec, 435 secs
lola: 159403 markings, 326770 edges, 348 markings/sec, 440 secs
lola: 161091 markings, 330272 edges, 338 markings/sec, 445 secs
lola: 162796 markings, 334151 edges, 341 markings/sec, 450 secs
lola: 164671 markings, 337941 edges, 375 markings/sec, 455 secs
lola: 166526 markings, 341577 edges, 371 markings/sec, 460 secs
lola: 167593 markings, 343727 edges, 213 markings/sec, 465 secs
lola: 168949 markings, 346313 edges, 271 markings/sec, 470 secs
lola: 170328 markings, 349181 edges, 276 markings/sec, 475 secs
lola: 171796 markings, 352260 edges, 294 markings/sec, 480 secs
lola: 173667 markings, 356279 edges, 374 markings/sec, 485 secs
lola: 175567 markings, 360317 edges, 380 markings/sec, 490 secs
lola: 177427 markings, 363637 edges, 372 markings/sec, 495 secs
lola: 178820 markings, 366769 edges, 279 markings/sec, 500 secs
lola: 180686 markings, 370541 edges, 373 markings/sec, 505 secs
lola: 182563 markings, 374548 edges, 375 markings/sec, 510 secs
lola: 184441 markings, 378733 edges, 376 markings/sec, 515 secs
lola: 186023 markings, 381719 edges, 316 markings/sec, 520 secs
lola: 187570 markings, 384782 edges, 309 markings/sec, 525 secs
lola: 189291 markings, 388133 edges, 344 markings/sec, 530 secs
lola: 190701 markings, 391161 edges, 282 markings/sec, 535 secs
lola: 192204 markings, 394416 edges, 301 markings/sec, 540 secs
lola: 193791 markings, 397578 edges, 317 markings/sec, 545 secs
lola: 195473 markings, 401228 edges, 336 markings/sec, 550 secs
lola: 197454 markings, 405248 edges, 396 markings/sec, 555 secs
lola: 198998 markings, 408310 edges, 309 markings/sec, 560 secs
lola: 200931 markings, 412161 edges, 387 markings/sec, 565 secs
lola: 202733 markings, 416114 edges, 360 markings/sec, 570 secs
lola: 204549 markings, 420009 edges, 363 markings/sec, 575 secs
lola: 206434 markings, 424107 edges, 377 markings/sec, 580 secs
lola: 208230 markings, 428088 edges, 359 markings/sec, 585 secs
lola: 209950 markings, 431525 edges, 344 markings/sec, 590 secs
lola: 211769 markings, 435621 edges, 364 markings/sec, 595 secs
lola: 213644 markings, 439900 edges, 375 markings/sec, 600 secs
lola: 215418 markings, 444024 edges, 355 markings/sec, 605 secs
lola: 216958 markings, 447607 edges, 308 markings/sec, 610 secs
lola: 218527 markings, 451074 edges, 314 markings/sec, 615 secs
lola: 220254 markings, 455126 edges, 345 markings/sec, 620 secs
lola: 221966 markings, 459211 edges, 342 markings/sec, 625 secs
lola: 224031 markings, 463487 edges, 413 markings/sec, 630 secs
lola: 225788 markings, 467045 edges, 351 markings/sec, 635 secs
lola: 227388 markings, 470421 edges, 320 markings/sec, 640 secs
lola: 229132 markings, 474158 edges, 349 markings/sec, 645 secs
lola: 230809 markings, 478111 edges, 335 markings/sec, 650 secs
lola: 232717 markings, 482197 edges, 382 markings/sec, 655 secs
lola: 234362 markings, 485716 edges, 329 markings/sec, 660 secs
lola: 235931 markings, 489158 edges, 314 markings/sec, 665 secs
lola: 237642 markings, 492890 edges, 342 markings/sec, 670 secs
lola: 239482 markings, 496617 edges, 368 markings/sec, 675 secs
lola: 241297 markings, 500656 edges, 363 markings/sec, 680 secs
lola: 243220 markings, 504978 edges, 385 markings/sec, 685 secs
lola: 244840 markings, 508454 edges, 324 markings/sec, 690 secs
lola: 246555 markings, 511943 edges, 343 markings/sec, 695 secs
lola: 248315 markings, 515859 edges, 352 markings/sec, 700 secs
lola: 250049 markings, 519721 edges, 347 markings/sec, 705 secs
lola: 251845 markings, 523383 edges, 359 markings/sec, 710 secs
lola: 253675 markings, 527344 edges, 366 markings/sec, 715 secs
lola: 255541 markings, 531640 edges, 373 markings/sec, 720 secs
lola: 257211 markings, 535248 edges, 334 markings/sec, 725 secs
lola: 258872 markings, 538779 edges, 332 markings/sec, 730 secs
lola: 260673 markings, 542822 edges, 360 markings/sec, 735 secs
lola: 262352 markings, 546649 edges, 336 markings/sec, 740 secs
lola: 264104 markings, 550543 edges, 350 markings/sec, 745 secs
lola: 265767 markings, 554662 edges, 333 markings/sec, 750 secs
lola: 267499 markings, 558227 edges, 346 markings/sec, 755 secs
lola: 269201 markings, 561632 edges, 340 markings/sec, 760 secs
lola: 271095 markings, 565608 edges, 379 markings/sec, 765 secs
lola: 272998 markings, 569662 edges, 381 markings/sec, 770 secs
lola: 274701 markings, 573512 edges, 341 markings/sec, 775 secs
lola: 276535 markings, 577674 edges, 367 markings/sec, 780 secs
lola: 278353 markings, 581673 edges, 364 markings/sec, 785 secs
lola: 280206 markings, 586072 edges, 371 markings/sec, 790 secs
lola: 281942 markings, 589586 edges, 347 markings/sec, 795 secs
lola: 283685 markings, 593313 edges, 349 markings/sec, 800 secs
lola: 285394 markings, 597507 edges, 342 markings/sec, 805 secs
lola: 287178 markings, 601413 edges, 357 markings/sec, 810 secs
lola: 288963 markings, 605626 edges, 357 markings/sec, 815 secs
lola: 290807 markings, 609281 edges, 369 markings/sec, 820 secs
lola: 292424 markings, 613247 edges, 323 markings/sec, 825 secs
lola: 294406 markings, 617427 edges, 396 markings/sec, 830 secs
lola: 296269 markings, 622108 edges, 373 markings/sec, 835 secs
lola: 298035 markings, 625698 edges, 353 markings/sec, 840 secs
lola: 299766 markings, 629844 edges, 346 markings/sec, 845 secs
lola: 301605 markings, 633847 edges, 368 markings/sec, 850 secs
lola: 303246 markings, 637365 edges, 328 markings/sec, 855 secs
lola: 304867 markings, 641222 edges, 324 markings/sec, 860 secs
lola: 306673 markings, 645075 edges, 361 markings/sec, 865 secs
lola: 308585 markings, 649062 edges, 382 markings/sec, 870 secs
lola: 310276 markings, 652770 edges, 338 markings/sec, 875 secs
lola: 312003 markings, 656202 edges, 345 markings/sec, 880 secs
lola: 313776 markings, 660093 edges, 355 markings/sec, 885 secs
lola: 315372 markings, 663574 edges, 319 markings/sec, 890 secs
lola: 317115 markings, 667541 edges, 349 markings/sec, 895 secs
lola: 318847 markings, 671646 edges, 346 markings/sec, 900 secs
lola: 320723 markings, 675466 edges, 375 markings/sec, 905 secs
lola: 322187 markings, 678928 edges, 293 markings/sec, 910 secs
lola: 323880 markings, 682866 edges, 339 markings/sec, 915 secs
lola: 325642 markings, 686889 edges, 352 markings/sec, 920 secs
lola: 327395 markings, 690818 edges, 351 markings/sec, 925 secs
lola: 329186 markings, 694689 edges, 358 markings/sec, 930 secs
lola: 330931 markings, 698440 edges, 349 markings/sec, 935 secs
lola: 332728 markings, 702090 edges, 359 markings/sec, 940 secs
lola: 334311 markings, 706127 edges, 317 markings/sec, 945 secs
lola: 335962 markings, 709920 edges, 330 markings/sec, 950 secs
lola: 337782 markings, 713829 edges, 364 markings/sec, 955 secs
lola: 339581 markings, 717638 edges, 360 markings/sec, 960 secs
lola: 341242 markings, 721547 edges, 332 markings/sec, 965 secs
lola: 343118 markings, 725471 edges, 375 markings/sec, 970 secs
lola: 344832 markings, 729481 edges, 343 markings/sec, 975 secs
lola: 346471 markings, 732927 edges, 328 markings/sec, 980 secs
lola: 348331 markings, 737444 edges, 372 markings/sec, 985 secs
lola: 350173 markings, 741657 edges, 368 markings/sec, 990 secs
lola: 351858 markings, 745401 edges, 337 markings/sec, 995 secs
lola: 353619 markings, 749526 edges, 352 markings/sec, 1000 secs
lola: 355224 markings, 753553 edges, 321 markings/sec, 1005 secs
lola: 357029 markings, 757306 edges, 361 markings/sec, 1010 secs
lola: 358735 markings, 761073 edges, 341 markings/sec, 1015 secs
lola: 360488 markings, 765013 edges, 351 markings/sec, 1020 secs
lola: 362448 markings, 768925 edges, 392 markings/sec, 1025 secs
lola: 364329 markings, 773105 edges, 376 markings/sec, 1030 secs
lola: 365778 markings, 776389 edges, 290 markings/sec, 1035 secs
lola: 367546 markings, 780272 edges, 354 markings/sec, 1040 secs
lola: 369408 markings, 784528 edges, 372 markings/sec, 1045 secs
lola: 370973 markings, 788253 edges, 313 markings/sec, 1050 secs
lola: 372638 markings, 791930 edges, 333 markings/sec, 1055 secs
lola: 374501 markings, 795900 edges, 373 markings/sec, 1060 secs
lola: 376296 markings, 800130 edges, 359 markings/sec, 1065 secs
lola: 378131 markings, 804412 edges, 367 markings/sec, 1070 secs
lola: 379975 markings, 808668 edges, 369 markings/sec, 1075 secs
lola: 381821 markings, 812759 edges, 369 markings/sec, 1080 secs
lola: 383693 markings, 816980 edges, 374 markings/sec, 1085 secs
lola: 385476 markings, 821158 edges, 357 markings/sec, 1090 secs
lola: 387200 markings, 824716 edges, 345 markings/sec, 1095 secs
lola: 388963 markings, 828843 edges, 353 markings/sec, 1100 secs
lola: 390750 markings, 833063 edges, 357 markings/sec, 1105 secs
lola: 392510 markings, 836711 edges, 352 markings/sec, 1110 secs
lola: 394242 markings, 840526 edges, 346 markings/sec, 1115 secs
lola: 396186 markings, 844361 edges, 389 markings/sec, 1120 secs
lola: 398045 markings, 848617 edges, 372 markings/sec, 1125 secs
lola: 399941 markings, 852684 edges, 379 markings/sec, 1130 secs
lola: 401691 markings, 856342 edges, 350 markings/sec, 1135 secs
lola: 403263 markings, 860396 edges, 314 markings/sec, 1140 secs
lola: 405034 markings, 864647 edges, 354 markings/sec, 1145 secs
lola: 406882 markings, 868372 edges, 370 markings/sec, 1150 secs
lola: 408772 markings, 873161 edges, 378 markings/sec, 1155 secs
lola: 410619 markings, 877115 edges, 369 markings/sec, 1160 secs
lola: 412397 markings, 880514 edges, 356 markings/sec, 1165 secs
lola: 414329 markings, 885123 edges, 386 markings/sec, 1170 secs
lola: 416156 markings, 889351 edges, 365 markings/sec, 1175 secs
lola: 417938 markings, 893554 edges, 356 markings/sec, 1180 secs
lola: 419710 markings, 897370 edges, 354 markings/sec, 1185 secs
lola: 421323 markings, 900476 edges, 323 markings/sec, 1190 secs
lola: 422850 markings, 903544 edges, 305 markings/sec, 1195 secs
lola: 424296 markings, 906674 edges, 289 markings/sec, 1200 secs
lola: 425653 markings, 909676 edges, 271 markings/sec, 1205 secs
lola: 427202 markings, 913059 edges, 310 markings/sec, 1210 secs
lola: 428976 markings, 917047 edges, 355 markings/sec, 1215 secs
lola: 430749 markings, 921050 edges, 355 markings/sec, 1220 secs
lola: 432346 markings, 925039 edges, 319 markings/sec, 1225 secs
lola: 434190 markings, 929209 edges, 369 markings/sec, 1230 secs
lola: 435948 markings, 933135 edges, 352 markings/sec, 1235 secs
lola: 437670 markings, 937398 edges, 344 markings/sec, 1240 secs
lola: 439236 markings, 940994 edges, 313 markings/sec, 1245 secs
lola: 441000 markings, 944892 edges, 353 markings/sec, 1250 secs
lola: 442759 markings, 948855 edges, 352 markings/sec, 1255 secs
lola: 444516 markings, 952493 edges, 351 markings/sec, 1260 secs
lola: 446331 markings, 956542 edges, 363 markings/sec, 1265 secs
lola: 448180 markings, 960684 edges, 370 markings/sec, 1270 secs
lola: 449587 markings, 963355 edges, 281 markings/sec, 1275 secs
lola: 451142 markings, 966636 edges, 311 markings/sec, 1280 secs
lola: 452710 markings, 969909 edges, 314 markings/sec, 1285 secs
lola: 454464 markings, 973310 edges, 351 markings/sec, 1290 secs
lola: 456052 markings, 976659 edges, 318 markings/sec, 1295 secs
lola: 457571 markings, 979642 edges, 304 markings/sec, 1300 secs
lola: 459278 markings, 983305 edges, 341 markings/sec, 1305 secs
lola: 461150 markings, 987434 edges, 374 markings/sec, 1310 secs
lola: 462765 markings, 991359 edges, 323 markings/sec, 1315 secs
lola: 464434 markings, 995290 edges, 334 markings/sec, 1320 secs
lola: 465971 markings, 998233 edges, 307 markings/sec, 1325 secs
lola: 467756 markings, 1002071 edges, 357 markings/sec, 1330 secs
lola: 469653 markings, 1006077 edges, 379 markings/sec, 1335 secs
lola: 471426 markings, 1009902 edges, 355 markings/sec, 1340 secs
lola: 473217 markings, 1013964 edges, 358 markings/sec, 1345 secs
lola: 475064 markings, 1018718 edges, 369 markings/sec, 1350 secs
lola: 476805 markings, 1022791 edges, 348 markings/sec, 1355 secs
lola: 478768 markings, 1027158 edges, 393 markings/sec, 1360 secs
lola: 480271 markings, 1029996 edges, 301 markings/sec, 1365 secs
lola: 482116 markings, 1034098 edges, 369 markings/sec, 1370 secs
lola: 483956 markings, 1038225 edges, 368 markings/sec, 1375 secs
lola: 485685 markings, 1042256 edges, 346 markings/sec, 1380 secs
lola: 487315 markings, 1046282 edges, 326 markings/sec, 1385 secs
lola: 489014 markings, 1049839 edges, 340 markings/sec, 1390 secs
lola: 490812 markings, 1054354 edges, 360 markings/sec, 1395 secs
lola: 492571 markings, 1058194 edges, 352 markings/sec, 1400 secs
lola: 494146 markings, 1061824 edges, 315 markings/sec, 1405 secs
lola: 495929 markings, 1066161 edges, 357 markings/sec, 1410 secs
lola: 497580 markings, 1069833 edges, 330 markings/sec, 1415 secs
lola: 499220 markings, 1073881 edges, 328 markings/sec, 1420 secs
lola: 500777 markings, 1077340 edges, 311 markings/sec, 1425 secs
lola: 502590 markings, 1081310 edges, 363 markings/sec, 1430 secs
lola: 504497 markings, 1085227 edges, 381 markings/sec, 1435 secs
lola: 506196 markings, 1089079 edges, 340 markings/sec, 1440 secs
lola: 507921 markings, 1093250 edges, 345 markings/sec, 1445 secs
lola: 509777 markings, 1097009 edges, 371 markings/sec, 1450 secs
lola: 511291 markings, 1100341 edges, 303 markings/sec, 1455 secs
lola: 512784 markings, 1103520 edges, 299 markings/sec, 1460 secs
lola: 514251 markings, 1106511 edges, 293 markings/sec, 1465 secs
lola: 516005 markings, 1109966 edges, 351 markings/sec, 1470 secs
lola: 517501 markings, 1113300 edges, 299 markings/sec, 1475 secs
lola: 519186 markings, 1116897 edges, 337 markings/sec, 1480 secs
lola: 521013 markings, 1121027 edges, 365 markings/sec, 1485 secs
lola: 522789 markings, 1125439 edges, 355 markings/sec, 1490 secs
lola: 524491 markings, 1128964 edges, 340 markings/sec, 1495 secs
lola: 526282 markings, 1132974 edges, 358 markings/sec, 1500 secs
lola: 527940 markings, 1136531 edges, 332 markings/sec, 1505 secs
lola: 529699 markings, 1140417 edges, 352 markings/sec, 1510 secs
lola: 531438 markings, 1144825 edges, 348 markings/sec, 1515 secs
lola: 533065 markings, 1148568 edges, 325 markings/sec, 1520 secs
lola: 534581 markings, 1152007 edges, 303 markings/sec, 1525 secs
lola: 536278 markings, 1155589 edges, 339 markings/sec, 1530 secs
lola: 537871 markings, 1159572 edges, 319 markings/sec, 1535 secs
lola: 539688 markings, 1163949 edges, 363 markings/sec, 1540 secs
lola: 541631 markings, 1167965 edges, 389 markings/sec, 1545 secs
lola: 543281 markings, 1171780 edges, 330 markings/sec, 1550 secs
lola: 545069 markings, 1175700 edges, 358 markings/sec, 1555 secs
lola: 546753 markings, 1179432 edges, 337 markings/sec, 1560 secs
lola: 548314 markings, 1182929 edges, 312 markings/sec, 1565 secs
lola: 549783 markings, 1186207 edges, 294 markings/sec, 1570 secs
lola: 551158 markings, 1189119 edges, 275 markings/sec, 1575 secs
lola: 552705 markings, 1192377 edges, 309 markings/sec, 1580 secs
lola: 554347 markings, 1196334 edges, 328 markings/sec, 1585 secs
lola: 556065 markings, 1200667 edges, 344 markings/sec, 1590 secs
lola: 557927 markings, 1205145 edges, 372 markings/sec, 1595 secs
lola: 559825 markings, 1209088 edges, 380 markings/sec, 1600 secs
lola: 561484 markings, 1212944 edges, 332 markings/sec, 1605 secs
lola: 563194 markings, 1217104 edges, 342 markings/sec, 1610 secs
lola: 564721 markings, 1220249 edges, 305 markings/sec, 1615 secs
lola: 566420 markings, 1223960 edges, 340 markings/sec, 1620 secs
lola: 568110 markings, 1227640 edges, 338 markings/sec, 1625 secs
lola: 569985 markings, 1231358 edges, 375 markings/sec, 1630 secs
lola: 571682 markings, 1235207 edges, 339 markings/sec, 1635 secs
lola: 573374 markings, 1238932 edges, 338 markings/sec, 1640 secs
lola: 575144 markings, 1242999 edges, 354 markings/sec, 1645 secs
lola: 576963 markings, 1247816 edges, 364 markings/sec, 1650 secs
lola: 578650 markings, 1251347 edges, 337 markings/sec, 1655 secs
lola: 580426 markings, 1255393 edges, 355 markings/sec, 1660 secs
lola: 581974 markings, 1258910 edges, 310 markings/sec, 1665 secs
lola: 583618 markings, 1262649 edges, 329 markings/sec, 1670 secs
lola: 585201 markings, 1266939 edges, 317 markings/sec, 1675 secs
lola: 586857 markings, 1270874 edges, 331 markings/sec, 1680 secs
lola: 588737 markings, 1274437 edges, 376 markings/sec, 1685 secs
lola: 590350 markings, 1278124 edges, 323 markings/sec, 1690 secs
lola: 591959 markings, 1282022 edges, 322 markings/sec, 1695 secs
lola: 593654 markings, 1286252 edges, 339 markings/sec, 1700 secs
lola: 595286 markings, 1290209 edges, 326 markings/sec, 1705 secs
lola: 596933 markings, 1293916 edges, 329 markings/sec, 1710 secs
lola: 598637 markings, 1297964 edges, 341 markings/sec, 1715 secs
lola: 600447 markings, 1301862 edges, 362 markings/sec, 1720 secs
lola: 602172 markings, 1305642 edges, 345 markings/sec, 1725 secs
lola: 603925 markings, 1309516 edges, 351 markings/sec, 1730 secs
lola: 605719 markings, 1313508 edges, 359 markings/sec, 1735 secs
lola: 607460 markings, 1317486 edges, 348 markings/sec, 1740 secs
lola: 609350 markings, 1321462 edges, 378 markings/sec, 1745 secs
lola: 611118 markings, 1325586 edges, 354 markings/sec, 1750 secs
lola: 612744 markings, 1329440 edges, 325 markings/sec, 1755 secs
lola: 614565 markings, 1333421 edges, 364 markings/sec, 1760 secs
lola: 616377 markings, 1337207 edges, 362 markings/sec, 1765 secs
lola: 618255 markings, 1341551 edges, 376 markings/sec, 1770 secs
lola: 619973 markings, 1345333 edges, 344 markings/sec, 1775 secs
lola: 621610 markings, 1348538 edges, 327 markings/sec, 1780 secs
lola: 623222 markings, 1351899 edges, 322 markings/sec, 1785 secs
lola: 624923 markings, 1355695 edges, 340 markings/sec, 1790 secs
lola: 626618 markings, 1359857 edges, 339 markings/sec, 1795 secs
lola: 628176 markings, 1363503 edges, 312 markings/sec, 1800 secs
lola: 629722 markings, 1366872 edges, 309 markings/sec, 1805 secs
lola: 631343 markings, 1370716 edges, 324 markings/sec, 1810 secs
lola: 633002 markings, 1375229 edges, 332 markings/sec, 1815 secs
lola: 634922 markings, 1379663 edges, 384 markings/sec, 1820 secs
lola: 636597 markings, 1383941 edges, 335 markings/sec, 1825 secs
lola: 638333 markings, 1387862 edges, 347 markings/sec, 1830 secs
lola: 640085 markings, 1392096 edges, 350 markings/sec, 1835 secs
lola: 641831 markings, 1396033 edges, 349 markings/sec, 1840 secs
lola: 643681 markings, 1400603 edges, 370 markings/sec, 1845 secs
lola: 645409 markings, 1404187 edges, 346 markings/sec, 1850 secs
lola: 647190 markings, 1408023 edges, 356 markings/sec, 1855 secs
lola: 648837 markings, 1411997 edges, 329 markings/sec, 1860 secs
lola: 650432 markings, 1416299 edges, 319 markings/sec, 1865 secs
lola: 652362 markings, 1420249 edges, 386 markings/sec, 1870 secs
lola: 653912 markings, 1423306 edges, 310 markings/sec, 1875 secs
lola: 655589 markings, 1427309 edges, 335 markings/sec, 1880 secs
lola: 657243 markings, 1431195 edges, 331 markings/sec, 1885 secs
lola: 658941 markings, 1435176 edges, 340 markings/sec, 1890 secs
lola: 660539 markings, 1439043 edges, 320 markings/sec, 1895 secs
lola: 662182 markings, 1442703 edges, 329 markings/sec, 1900 secs
lola: 663884 markings, 1446595 edges, 340 markings/sec, 1905 secs
lola: 665556 markings, 1450278 edges, 334 markings/sec, 1910 secs
lola: 667255 markings, 1454335 edges, 340 markings/sec, 1915 secs
lola: 668996 markings, 1458448 edges, 348 markings/sec, 1920 secs
lola: 670787 markings, 1462493 edges, 358 markings/sec, 1925 secs
lola: 672411 markings, 1466454 edges, 325 markings/sec, 1930 secs
lola: 674318 markings, 1470588 edges, 381 markings/sec, 1935 secs
lola: 676410 markings, 1474691 edges, 418 markings/sec, 1940 secs
lola: 678093 markings, 1477970 edges, 337 markings/sec, 1945 secs
lola: 679585 markings, 1481386 edges, 298 markings/sec, 1950 secs
lola: 681065 markings, 1484568 edges, 296 markings/sec, 1955 secs
lola: 682679 markings, 1487925 edges, 323 markings/sec, 1960 secs
lola: 684131 markings, 1491490 edges, 290 markings/sec, 1965 secs
lola: 686013 markings, 1495588 edges, 376 markings/sec, 1970 secs
lola: 687759 markings, 1499599 edges, 349 markings/sec, 1975 secs
lola: 689565 markings, 1504185 edges, 361 markings/sec, 1980 secs
lola: 691468 markings, 1508255 edges, 381 markings/sec, 1985 secs
lola: 693161 markings, 1512142 edges, 339 markings/sec, 1990 secs
lola: 694874 markings, 1516286 edges, 343 markings/sec, 1995 secs
lola: 696598 markings, 1520051 edges, 345 markings/sec, 2000 secs
lola: 698162 markings, 1523759 edges, 313 markings/sec, 2005 secs
lola: 699851 markings, 1527317 edges, 338 markings/sec, 2010 secs
lola: 701745 markings, 1531571 edges, 379 markings/sec, 2015 secs
lola: 703439 markings, 1535344 edges, 339 markings/sec, 2020 secs
lola: 705338 markings, 1539594 edges, 380 markings/sec, 2025 secs
lola: 707132 markings, 1543890 edges, 359 markings/sec, 2030 secs
lola: 708874 markings, 1547843 edges, 348 markings/sec, 2035 secs
lola: 710506 markings, 1551693 edges, 326 markings/sec, 2040 secs
lola: 712127 markings, 1555804 edges, 324 markings/sec, 2045 secs
lola: 714104 markings, 1560721 edges, 395 markings/sec, 2050 secs
lola: 715967 markings, 1564326 edges, 373 markings/sec, 2055 secs
lola: 717770 markings, 1568097 edges, 361 markings/sec, 2060 secs
lola: 719390 markings, 1572146 edges, 324 markings/sec, 2065 secs
lola: 721105 markings, 1576024 edges, 343 markings/sec, 2070 secs
lola: 722666 markings, 1579221 edges, 312 markings/sec, 2075 secs
lola: 724328 markings, 1583283 edges, 332 markings/sec, 2080 secs
lola: 726158 markings, 1587398 edges, 366 markings/sec, 2085 secs
lola: 728041 markings, 1591492 edges, 377 markings/sec, 2090 secs
lola: 729799 markings, 1595888 edges, 352 markings/sec, 2095 secs
lola: 731513 markings, 1600045 edges, 343 markings/sec, 2100 secs
lola: 733281 markings, 1604240 edges, 354 markings/sec, 2105 secs
lola: 734851 markings, 1607642 edges, 314 markings/sec, 2110 secs
lola: 736598 markings, 1611789 edges, 349 markings/sec, 2115 secs
lola: 738374 markings, 1615510 edges, 355 markings/sec, 2120 secs
lola: 740094 markings, 1619339 edges, 344 markings/sec, 2125 secs
lola: 741744 markings, 1623174 edges, 330 markings/sec, 2130 secs
lola: 743395 markings, 1626829 edges, 330 markings/sec, 2135 secs
lola: 745084 markings, 1630864 edges, 338 markings/sec, 2140 secs
lola: 746800 markings, 1634747 edges, 343 markings/sec, 2145 secs
lola: 748588 markings, 1638795 edges, 358 markings/sec, 2150 secs
lola: 750404 markings, 1642608 edges, 363 markings/sec, 2155 secs
lola: 751903 markings, 1645714 edges, 300 markings/sec, 2160 secs
lola: 753784 markings, 1650177 edges, 376 markings/sec, 2165 secs
lola: 755563 markings, 1653912 edges, 356 markings/sec, 2170 secs
lola: 757269 markings, 1658105 edges, 341 markings/sec, 2175 secs
lola: 759261 markings, 1662315 edges, 398 markings/sec, 2180 secs
lola: 761127 markings, 1665935 edges, 373 markings/sec, 2185 secs
lola: 762963 markings, 1669835 edges, 367 markings/sec, 2190 secs
lola: 764740 markings, 1673862 edges, 355 markings/sec, 2195 secs
lola: 766594 markings, 1677625 edges, 371 markings/sec, 2200 secs
lola: 768390 markings, 1681475 edges, 359 markings/sec, 2205 secs
lola: 770251 markings, 1685372 edges, 372 markings/sec, 2210 secs
lola: 772073 markings, 1689444 edges, 364 markings/sec, 2215 secs
lola: 773841 markings, 1693331 edges, 354 markings/sec, 2220 secs
lola: 775794 markings, 1697937 edges, 391 markings/sec, 2225 secs
lola: 777588 markings, 1701908 edges, 359 markings/sec, 2230 secs
lola: 779423 markings, 1705898 edges, 367 markings/sec, 2235 secs
lola: 781168 markings, 1709848 edges, 349 markings/sec, 2240 secs
lola: 782960 markings, 1714129 edges, 358 markings/sec, 2245 secs
lola: 784543 markings, 1717988 edges, 317 markings/sec, 2250 secs
lola: 786338 markings, 1722295 edges, 359 markings/sec, 2255 secs
lola: 787978 markings, 1726141 edges, 328 markings/sec, 2260 secs
lola: 789892 markings, 1730183 edges, 383 markings/sec, 2265 secs
lola: 791614 markings, 1733891 edges, 344 markings/sec, 2270 secs
lola: 793254 markings, 1737580 edges, 328 markings/sec, 2275 secs
lola: 794991 markings, 1741447 edges, 347 markings/sec, 2280 secs
lola: 796637 markings, 1745230 edges, 329 markings/sec, 2285 secs
lola: 798236 markings, 1749270 edges, 320 markings/sec, 2290 secs
lola: 799910 markings, 1753275 edges, 335 markings/sec, 2295 secs
lola: 801696 markings, 1757821 edges, 357 markings/sec, 2300 secs
lola: 803301 markings, 1762037 edges, 321 markings/sec, 2305 secs
lola: 804965 markings, 1765814 edges, 333 markings/sec, 2310 secs
lola: 806765 markings, 1769737 edges, 360 markings/sec, 2315 secs
lola: 808493 markings, 1774270 edges, 346 markings/sec, 2320 secs
lola: 810098 markings, 1777894 edges, 321 markings/sec, 2325 secs
lola: 811641 markings, 1781238 edges, 309 markings/sec, 2330 secs
lola: 813244 markings, 1784918 edges, 321 markings/sec, 2335 secs
lola: 815065 markings, 1789334 edges, 364 markings/sec, 2340 secs
lola: 817119 markings, 1793593 edges, 411 markings/sec, 2345 secs
lola: 818907 markings, 1797368 edges, 358 markings/sec, 2350 secs
lola: 820797 markings, 1801676 edges, 378 markings/sec, 2355 secs
lola: 822657 markings, 1805370 edges, 372 markings/sec, 2360 secs
lola: 824388 markings, 1809167 edges, 346 markings/sec, 2365 secs
lola: 826094 markings, 1813153 edges, 341 markings/sec, 2370 secs
lola: 827945 markings, 1816947 edges, 370 markings/sec, 2375 secs
lola: 829663 markings, 1820995 edges, 344 markings/sec, 2380 secs
lola: 831198 markings, 1824449 edges, 307 markings/sec, 2385 secs
lola: 832921 markings, 1828319 edges, 345 markings/sec, 2390 secs
lola: 834789 markings, 1832584 edges, 374 markings/sec, 2395 secs
lola: 836665 markings, 1837089 edges, 375 markings/sec, 2400 secs
lola: 838131 markings, 1840881 edges, 293 markings/sec, 2405 secs
lola: 839733 markings, 1844691 edges, 320 markings/sec, 2410 secs
lola: 841444 markings, 1848493 edges, 342 markings/sec, 2415 secs
lola: 843221 markings, 1852387 edges, 355 markings/sec, 2420 secs
lola: 845003 markings, 1856564 edges, 356 markings/sec, 2425 secs
lola: 846755 markings, 1860607 edges, 350 markings/sec, 2430 secs
lola: 848382 markings, 1864590 edges, 325 markings/sec, 2435 secs
lola: 850119 markings, 1868601 edges, 347 markings/sec, 2440 secs
lola: 851887 markings, 1873080 edges, 354 markings/sec, 2445 secs
lola: 853666 markings, 1877175 edges, 356 markings/sec, 2450 secs
lola: 855405 markings, 1881135 edges, 348 markings/sec, 2455 secs
lola: 856957 markings, 1885131 edges, 310 markings/sec, 2460 secs
lola: 858591 markings, 1888718 edges, 327 markings/sec, 2465 secs
lola: 860414 markings, 1893128 edges, 365 markings/sec, 2470 secs
lola: 862297 markings, 1896969 edges, 377 markings/sec, 2475 secs
lola: 863906 markings, 1900879 edges, 322 markings/sec, 2480 secs
lola: 865638 markings, 1904184 edges, 346 markings/sec, 2485 secs
lola: 867478 markings, 1907924 edges, 368 markings/sec, 2490 secs
lola: 869235 markings, 1911968 edges, 351 markings/sec, 2495 secs
lola: 870924 markings, 1915863 edges, 338 markings/sec, 2500 secs
lola: 872873 markings, 1920364 edges, 390 markings/sec, 2505 secs
lola: 874427 markings, 1924060 edges, 311 markings/sec, 2510 secs
lola: 876043 markings, 1928158 edges, 323 markings/sec, 2515 secs
lola: 877719 markings, 1932124 edges, 335 markings/sec, 2520 secs
lola: 879495 markings, 1936425 edges, 355 markings/sec, 2525 secs
lola: 881239 markings, 1940799 edges, 349 markings/sec, 2530 secs
lola: 882770 markings, 1944245 edges, 306 markings/sec, 2535 secs
lola: 884662 markings, 1948384 edges, 378 markings/sec, 2540 secs
lola: 886440 markings, 1952814 edges, 356 markings/sec, 2545 secs
lola: 888260 markings, 1956466 edges, 364 markings/sec, 2550 secs
lola: 889932 markings, 1960241 edges, 334 markings/sec, 2555 secs
lola: 891508 markings, 1964270 edges, 315 markings/sec, 2560 secs
lola: 893290 markings, 1968114 edges, 356 markings/sec, 2565 secs
lola: 894949 markings, 1972343 edges, 332 markings/sec, 2570 secs
lola: 896944 markings, 1976606 edges, 399 markings/sec, 2575 secs
lola: 898585 markings, 1980783 edges, 328 markings/sec, 2580 secs
lola: 900315 markings, 1985020 edges, 346 markings/sec, 2585 secs
lola: 902287 markings, 1989632 edges, 394 markings/sec, 2590 secs
lola: 904273 markings, 1993860 edges, 397 markings/sec, 2595 secs
lola: 905920 markings, 1997668 edges, 329 markings/sec, 2600 secs
lola: 907681 markings, 2001630 edges, 352 markings/sec, 2605 secs
lola: 909663 markings, 2006554 edges, 396 markings/sec, 2610 secs
lola: 911374 markings, 2010449 edges, 342 markings/sec, 2615 secs
lola: 913208 markings, 2014560 edges, 367 markings/sec, 2620 secs
lola: 914996 markings, 2018692 edges, 358 markings/sec, 2625 secs
lola: 916736 markings, 2022293 edges, 348 markings/sec, 2630 secs
lola: 918503 markings, 2026315 edges, 353 markings/sec, 2635 secs
lola: 920182 markings, 2030563 edges, 336 markings/sec, 2640 secs
lola: 921659 markings, 2034466 edges, 295 markings/sec, 2645 secs
lola: 923275 markings, 2038495 edges, 323 markings/sec, 2650 secs
lola: 925106 markings, 2042329 edges, 366 markings/sec, 2655 secs
lola: 926873 markings, 2046648 edges, 353 markings/sec, 2660 secs
lola: 928670 markings, 2050435 edges, 359 markings/sec, 2665 secs
lola: 930604 markings, 2055623 edges, 387 markings/sec, 2670 secs
lola: 932318 markings, 2059495 edges, 343 markings/sec, 2675 secs
lola: 934100 markings, 2063474 edges, 356 markings/sec, 2680 secs
lola: 935939 markings, 2067850 edges, 368 markings/sec, 2685 secs
lola: 937800 markings, 2072352 edges, 372 markings/sec, 2690 secs
lola: 939555 markings, 2076762 edges, 351 markings/sec, 2695 secs
lola: 941289 markings, 2080397 edges, 347 markings/sec, 2700 secs
lola: 942984 markings, 2084328 edges, 339 markings/sec, 2705 secs
lola: 944626 markings, 2088310 edges, 328 markings/sec, 2710 secs
lola: 946375 markings, 2092181 edges, 350 markings/sec, 2715 secs
lola: 948146 markings, 2096284 edges, 354 markings/sec, 2720 secs
lola: 949866 markings, 2100330 edges, 344 markings/sec, 2725 secs
lola: 951654 markings, 2104035 edges, 358 markings/sec, 2730 secs
lola: 953487 markings, 2108099 edges, 367 markings/sec, 2735 secs
lola: 955229 markings, 2112312 edges, 348 markings/sec, 2740 secs
lola: 957058 markings, 2116274 edges, 366 markings/sec, 2745 secs
lola: 958787 markings, 2119991 edges, 346 markings/sec, 2750 secs
lola: 960255 markings, 2123319 edges, 294 markings/sec, 2755 secs
lola: 962055 markings, 2127860 edges, 360 markings/sec, 2760 secs
lola: 963713 markings, 2131690 edges, 332 markings/sec, 2765 secs
lola: 965522 markings, 2136078 edges, 362 markings/sec, 2770 secs
lola: 967111 markings, 2139759 edges, 318 markings/sec, 2775 secs
lola: 968775 markings, 2143903 edges, 333 markings/sec, 2780 secs
lola: 970733 markings, 2148442 edges, 392 markings/sec, 2785 secs
lola: 972372 markings, 2152985 edges, 328 markings/sec, 2790 secs
lola: 974004 markings, 2157072 edges, 326 markings/sec, 2795 secs
lola: 975698 markings, 2160986 edges, 339 markings/sec, 2800 secs
lola: 977308 markings, 2164853 edges, 322 markings/sec, 2805 secs
lola: 978995 markings, 2168638 edges, 337 markings/sec, 2810 secs
lola: 980922 markings, 2173406 edges, 385 markings/sec, 2815 secs
lola: 982519 markings, 2177276 edges, 319 markings/sec, 2820 secs
lola: 984188 markings, 2181290 edges, 334 markings/sec, 2825 secs
lola: 985881 markings, 2185014 edges, 339 markings/sec, 2830 secs
lola: 987621 markings, 2188858 edges, 348 markings/sec, 2835 secs
lola: 989236 markings, 2192988 edges, 323 markings/sec, 2840 secs
lola: 990840 markings, 2197364 edges, 321 markings/sec, 2845 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes no no no no no unknown yes no no yes no no no no
lola: caught signal User defined signal 1 - aborting LoLAlola:
preliminary result: yes yes no no no no no unknown yes no no yes no no no no lola:
preliminary result: yes yes no no no no no unknown yes no no yes no no no no
lola: memory consumption: 527832 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: yes yes no no no no no unknown yes no no yes no no no no
lola: memory consumption: 527832 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
BK_STOP 1589942861567
--------------------
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="Railroad-PT-100"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="win2019"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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 win2019"
echo " Input is Railroad-PT-100, 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 r150-smll-158961529300082"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Railroad-PT-100.tgz
mv Railroad-PT-100 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 ;