About the Execution of 2019-Gold for ASLink-PT-02b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5750.090 | 3570154.00 | 3632359.00 | 10538.40 | TT?FFF?FFFFT??TF | 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.r015-smll-158897552600010.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 ASLink-PT-02b, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r015-smll-158897552600010
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 588K
-rw-r--r-- 1 mcc users 3.5K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 09:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 25 09:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 417K Mar 24 05:37 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 ASLink-PT-02b-00
FORMULA_NAME ASLink-PT-02b-01
FORMULA_NAME ASLink-PT-02b-02
FORMULA_NAME ASLink-PT-02b-03
FORMULA_NAME ASLink-PT-02b-04
FORMULA_NAME ASLink-PT-02b-05
FORMULA_NAME ASLink-PT-02b-06
FORMULA_NAME ASLink-PT-02b-07
FORMULA_NAME ASLink-PT-02b-08
FORMULA_NAME ASLink-PT-02b-09
FORMULA_NAME ASLink-PT-02b-10
FORMULA_NAME ASLink-PT-02b-11
FORMULA_NAME ASLink-PT-02b-12
FORMULA_NAME ASLink-PT-02b-13
FORMULA_NAME ASLink-PT-02b-14
FORMULA_NAME ASLink-PT-02b-15
=== Now, execution of the tool begins
BK_START 1589133914432
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ASLink-PT-02b @ 3570 seconds
FORMULA ASLink-PT-02b-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-02b-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-02b-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-02b-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-02b-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-02b-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-02b-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-02b-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-02b-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-02b-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-02b-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-02b-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ ASLink-PT-02b
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: 2863/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1242
lola: finding significant places
lola: 1242 places, 1621 transitions, 1121 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 (NOT(X (((FIREABLE(t1069) OR FIREABLE(t499)) AND F (FIREABLE(t1233)))))) : A (X ((NOT(X (G ((FIREABLE(t983) OR FIREABLE(t1486))))) OR G (NOT FIREABLE(t1486))))) : A ((FIREABLE(t1292) U (G (NOT(F (FIREABLE(t276)))) OR G (NOT(G (X (FIREABLE(t1617)))))))) : A (X (G ((((FIREABLE(t796) AND FIREABLE(t707)) OR F (FIREABLE(t707))) U (FIREABLE(t741) AND X (FIREABLE(t1102))))))) : A (X (F (G (((FIREABLE(t1337) AND FIREABLE(t840)) AND F (NOT((FIREABLE(t1244) U NOT FIREABLE(t1296))))))))) : A (G (F (G (FIREABLE(t1461))))) : A (((NOT(F ((FIREABLE(t1612) OR FIREABLE(t978)))) U G (FIREABLE(t1207))) AND F (G (NOT FIREABLE(t1366))))) : A (((() AND G (FIREABLE(t1108))) AND (FIREABLE(t946) U FIREABLE(t1214)))) : A (((FIREABLE(t1154) AND FIREABLE(t1016)) AND X (G ((G (FIREABLE(t944)) OR G (FIREABLE(t1154))))))) : A (G (FIREABLE(t1182))) : A ((X (FIREABLE(t913)) U F (X (FIREABLE(t1161))))) : A (((G (F (X (X (FIREABLE(t702))))) U F ((FIREABLE(t788) U FIREABLE(t246)))) U (NOT FIREABLE(t1313) OR FIREABLE(t702)))) : A (X (F (X (F (G ((G (NOT FIREABLE(t1455)) OR G (X (FIREABLE(t17)))))))))) : A (((FIREABLE(t837) OR X (FIREABLE(t576))) AND G ((NOT FIREABLE(t1403) OR F (G (F (FIREABLE(t1295)))))))) : A ((NOT((FIREABLE(t856) U (G (FIREABLE(t460)) U FIREABLE(t856)))) U NOT((FIREABLE(t920) OR G (FIREABLE(t1421)))))) : A ((F ((FIREABLE(t1217) AND NOT FIREABLE(t737))) U X (FIREABLE(t586))))
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:335
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:350
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:522
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:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
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:536
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:431
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: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: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (((NOT FIREABLE(t1069) AND NOT FIREABLE(t499)) OR G (NOT FIREABLE(t1233)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (((NOT FIREABLE(t1069) AND NOT FIREABLE(t499)) OR G (NOT FIREABLE(t1233)))))
lola: processed formula length: 81
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((X (F ((NOT FIREABLE(t983) AND NOT FIREABLE(t1486)))) OR G (NOT FIREABLE(t1486)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((X (F ((NOT FIREABLE(t983) AND NOT FIREABLE(t1486)))) OR G (NOT FIREABLE(t1486)))))
lola: processed formula length: 89
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((F ((FIREABLE(t741) AND X (FIREABLE(t1102)))) AND ((FIREABLE(t796) AND FIREABLE(t707)) OR (F (FIREABLE(t707)) OR (FIREABLE(t741) AND X (FIREABLE(t1102)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((F ((FIREABLE(t741) AND X (FIREABLE(t1102)))) AND ((FIREABLE(t796) AND FIREABLE(t707)) OR (F (FIREABLE(t707)) OR (FIREABLE(t741) AND X (FIREABLE(t1102)))))))))
lola: processed formula length: 168
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 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: 395 markings, 395 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((FIREABLE(t1154) AND FIREABLE(t1016)) AND A (X (G ((G (FIREABLE(t944)) OR G (FIREABLE(t1154)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t1154) AND FIREABLE(t1016))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t1154) AND FIREABLE(t1016))
lola: processed formula length: 37
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (FIREABLE(t1161))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (FIREABLE(t1161))))
lola: processed formula length: 27
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 395 markings, 395 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((G (NOT FIREABLE(t1455)) OR X (G (FIREABLE(t17)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((G (NOT FIREABLE(t1455)) OR X (G (FIREABLE(t17)))))))
lola: processed formula length: 62
lola: 66 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: 50241 markings, 510691 edges, 10048 markings/sec, 0 secs
lola: 96734 markings, 1020323 edges, 9299 markings/sec, 5 secs
lola: 142590 markings, 1529239 edges, 9171 markings/sec, 10 secs
lola: 185151 markings, 2038086 edges, 8512 markings/sec, 15 secs
lola: 228382 markings, 2545972 edges, 8646 markings/sec, 20 secs
lola: 273634 markings, 3051924 edges, 9050 markings/sec, 25 secs
lola: 316465 markings, 3556238 edges, 8566 markings/sec, 30 secs
lola: 358965 markings, 4059902 edges, 8500 markings/sec, 35 secs
lola: 403741 markings, 4561643 edges, 8955 markings/sec, 40 secs
lola: 446290 markings, 5061933 edges, 8510 markings/sec, 45 secs
lola: 488313 markings, 5560765 edges, 8405 markings/sec, 50 secs
lola: 532677 markings, 6057056 edges, 8873 markings/sec, 55 secs
lola: 574581 markings, 6552757 edges, 8381 markings/sec, 60 secs
lola: 616356 markings, 7046856 edges, 8355 markings/sec, 65 secs
lola: 660508 markings, 7537740 edges, 8830 markings/sec, 70 secs
lola: 701571 markings, 8027642 edges, 8213 markings/sec, 75 secs
lola: 742804 markings, 8516449 edges, 8247 markings/sec, 80 secs
lola: 784328 markings, 8973528 edges, 8305 markings/sec, 85 secs
lola: 825926 markings, 9458499 edges, 8320 markings/sec, 90 secs
lola: 865590 markings, 9942849 edges, 7933 markings/sec, 95 secs
lola: 909418 markings, 10428032 edges, 8766 markings/sec, 100 secs
lola: 949751 markings, 10884821 edges, 8067 markings/sec, 105 secs
lola: 989663 markings, 11365706 edges, 7982 markings/sec, 110 secs
lola: 1030774 markings, 11844057 edges, 8222 markings/sec, 115 secs
lola: 1073909 markings, 12321021 edges, 8627 markings/sec, 120 secs
lola: 1113568 markings, 12797277 edges, 7932 markings/sec, 125 secs
lola: 1154965 markings, 13282296 edges, 8279 markings/sec, 130 secs
lola: 1195532 markings, 13792023 edges, 8113 markings/sec, 135 secs
lola: 1234354 markings, 14300807 edges, 7764 markings/sec, 140 secs
lola: 1270588 markings, 14808944 edges, 7247 markings/sec, 145 secs
lola: 1306691 markings, 15314974 edges, 7221 markings/sec, 150 secs
lola: 1345286 markings, 15820114 edges, 7719 markings/sec, 155 secs
lola: 1382012 markings, 16324233 edges, 7345 markings/sec, 160 secs
lola: 1418019 markings, 16827717 edges, 7201 markings/sec, 165 secs
lola: 1455528 markings, 17329640 edges, 7502 markings/sec, 170 secs
lola: 1493711 markings, 17829333 edges, 7637 markings/sec, 175 secs
lola: 1529360 markings, 18328319 edges, 7130 markings/sec, 180 secs
lola: 1564961 markings, 18826273 edges, 7120 markings/sec, 185 secs
lola: 1602829 markings, 19322272 edges, 7574 markings/sec, 190 secs
lola: 1639218 markings, 19816825 edges, 7278 markings/sec, 195 secs
lola: 1674651 markings, 20310723 edges, 7087 markings/sec, 200 secs
lola: 1711149 markings, 20803339 edges, 7300 markings/sec, 205 secs
lola: 1748729 markings, 21293815 edges, 7516 markings/sec, 210 secs
lola: 1783490 markings, 21784194 edges, 6952 markings/sec, 215 secs
lola: 1818069 markings, 22272263 edges, 6916 markings/sec, 220 secs
lola: 1855441 markings, 22758918 edges, 7474 markings/sec, 225 secs
lola: 1891872 markings, 23243877 edges, 7286 markings/sec, 230 secs
lola: 1926490 markings, 23727697 edges, 6924 markings/sec, 235 secs
lola: 1960622 markings, 24210155 edges, 6826 markings/sec, 240 secs
lola: 1997591 markings, 24691866 edges, 7394 markings/sec, 245 secs
lola: 2032032 markings, 25172467 edges, 6888 markings/sec, 250 secs
lola: 2066667 markings, 25653213 edges, 6927 markings/sec, 255 secs
lola: 2102706 markings, 26131847 edges, 7208 markings/sec, 260 secs
lola: 2139276 markings, 26608321 edges, 7314 markings/sec, 265 secs
lola: 2173356 markings, 27084508 edges, 6816 markings/sec, 270 secs
lola: 2206874 markings, 27559938 edges, 6704 markings/sec, 275 secs
lola: 2248173 markings, 28040416 edges, 8260 markings/sec, 280 secs
lola: 2288175 markings, 28548659 edges, 8000 markings/sec, 285 secs
lola: 2326946 markings, 29057286 edges, 7754 markings/sec, 290 secs
lola: 2365885 markings, 29564153 edges, 7788 markings/sec, 295 secs
lola: 2404952 markings, 30072537 edges, 7813 markings/sec, 300 secs
lola: 2441019 markings, 30580481 edges, 7213 markings/sec, 305 secs
lola: 2477047 markings, 31086656 edges, 7206 markings/sec, 310 secs
lola: 2515772 markings, 31590964 edges, 7745 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown no unknown unknown unknown unknown no unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 410368 KB
lola: time consumption: 329 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((FIREABLE(t837) OR X (FIREABLE(t576)))) AND A (G ((NOT FIREABLE(t1403) OR G (F (FIREABLE(t1295)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t1403) OR G (F (FIREABLE(t1295))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((NOT FIREABLE(t1403) OR G (F (FIREABLE(t1295))))))
lola: processed formula length: 56
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 102072 markings, 462051 edges, 20414 markings/sec, 0 secs
lola: 184124 markings, 938707 edges, 16410 markings/sec, 5 secs
lola: 262922 markings, 1413190 edges, 15760 markings/sec, 10 secs
lola: 331556 markings, 1888854 edges, 13727 markings/sec, 15 secs
lola: 399508 markings, 2362587 edges, 13590 markings/sec, 20 secs
lola: 467022 markings, 2834651 edges, 13503 markings/sec, 25 secs
lola: 546135 markings, 3308765 edges, 15823 markings/sec, 30 secs
lola: 624266 markings, 3784218 edges, 15626 markings/sec, 35 secs
lola: 694370 markings, 4259633 edges, 14021 markings/sec, 40 secs
lola: 766213 markings, 4737139 edges, 14369 markings/sec, 45 secs
lola: 838438 markings, 5214341 edges, 14445 markings/sec, 50 secs
lola: 912786 markings, 5687468 edges, 14870 markings/sec, 55 secs
lola: 977902 markings, 6163013 edges, 13023 markings/sec, 60 secs
lola: 1039176 markings, 6638923 edges, 12255 markings/sec, 65 secs
lola: 1106796 markings, 7111169 edges, 13524 markings/sec, 70 secs
lola: 1170029 markings, 7586758 edges, 12647 markings/sec, 75 secs
lola: 1233030 markings, 8061151 edges, 12600 markings/sec, 80 secs
lola: 1299631 markings, 8532494 edges, 13320 markings/sec, 85 secs
lola: 1361535 markings, 9007156 edges, 12381 markings/sec, 90 secs
lola: 1427646 markings, 9478032 edges, 13222 markings/sec, 95 secs
lola: 1504356 markings, 9953889 edges, 15342 markings/sec, 100 secs
lola: 1577800 markings, 10431203 edges, 14689 markings/sec, 105 secs
lola: 1649541 markings, 10906716 edges, 14348 markings/sec, 110 secs
lola: 1726407 markings, 11382643 edges, 15373 markings/sec, 115 secs
lola: 1795612 markings, 11860798 edges, 13841 markings/sec, 120 secs
lola: 1870149 markings, 12330057 edges, 14907 markings/sec, 125 secs
lola: 1937391 markings, 12804888 edges, 13448 markings/sec, 130 secs
lola: 1998591 markings, 13281136 edges, 12240 markings/sec, 135 secs
lola: 2066456 markings, 13754999 edges, 13573 markings/sec, 140 secs
lola: 2131308 markings, 14229621 edges, 12970 markings/sec, 145 secs
lola: 2192123 markings, 14704035 edges, 12163 markings/sec, 150 secs
lola: 2258719 markings, 15178761 edges, 13319 markings/sec, 155 secs
lola: 2322045 markings, 15653812 edges, 12665 markings/sec, 160 secs
lola: 2390191 markings, 16126316 edges, 13629 markings/sec, 165 secs
lola: 2461428 markings, 16594265 edges, 14247 markings/sec, 170 secs
lola: 2520986 markings, 17066542 edges, 11912 markings/sec, 175 secs
lola: 2585400 markings, 17537471 edges, 12883 markings/sec, 180 secs
lola: 2650235 markings, 18005543 edges, 12967 markings/sec, 185 secs
lola: 2709452 markings, 18478249 edges, 11843 markings/sec, 190 secs
lola: 2774416 markings, 18946927 edges, 12993 markings/sec, 195 secs
lola: 2835448 markings, 19415401 edges, 12206 markings/sec, 200 secs
lola: 2895245 markings, 19886091 edges, 11959 markings/sec, 205 secs
lola: 2974615 markings, 20354700 edges, 15874 markings/sec, 210 secs
lola: 3044529 markings, 20829962 edges, 13983 markings/sec, 215 secs
lola: 3111918 markings, 21305499 edges, 13478 markings/sec, 220 secs
lola: 3187415 markings, 21780970 edges, 15099 markings/sec, 225 secs
lola: 3258589 markings, 22254733 edges, 14235 markings/sec, 230 secs
lola: 3324722 markings, 22731236 edges, 13227 markings/sec, 235 secs
lola: 3399824 markings, 23206829 edges, 15020 markings/sec, 240 secs
lola: 3473011 markings, 23679880 edges, 14637 markings/sec, 245 secs
lola: 3540043 markings, 24156179 edges, 13406 markings/sec, 250 secs
lola: 3609077 markings, 24631822 edges, 13807 markings/sec, 255 secs
lola: 3679573 markings, 25098877 edges, 14099 markings/sec, 260 secs
lola: 3743996 markings, 25570417 edges, 12885 markings/sec, 265 secs
lola: 3813175 markings, 26041606 edges, 13836 markings/sec, 270 secs
lola: 3877948 markings, 26512216 edges, 12955 markings/sec, 275 secs
lola: 3947464 markings, 26983369 edges, 13903 markings/sec, 280 secs
lola: 4017262 markings, 27452336 edges, 13960 markings/sec, 285 secs
lola: 4082688 markings, 27920937 edges, 13085 markings/sec, 290 secs
lola: 4146034 markings, 28391066 edges, 12669 markings/sec, 295 secs
lola: 4205654 markings, 28862338 edges, 11924 markings/sec, 300 secs
lola: 4265547 markings, 29331870 edges, 11979 markings/sec, 305 secs
lola: 4327953 markings, 29798737 edges, 12481 markings/sec, 310 secs
lola: 4389993 markings, 30267310 edges, 12408 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown no unknown unknown unknown unknown no unknown no unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes unknown no unknown unknown unknown unknown no unknown no unknown unknown unknown unknown unknown
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown no unknown unknown unknown unknown no unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 882280 KB
lola: time consumption: 653 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 7 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F ((FIREABLE(t1217) AND NOT FIREABLE(t737))) U X (FIREABLE(t586))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F ((FIREABLE(t1217) AND NOT FIREABLE(t737))) U X (FIREABLE(t586))))
lola: processed formula length: 71
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 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: 395 markings, 395 edges
lola: ========================================
lola: subprocess 8 will run for 364 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t1182)))
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:787
lola: processed formula: A (G (FIREABLE(t1182)))
lola: processed formula length: 23
lola: 68 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:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: NOT FIREABLE(t1182)
lola: SUBRESULT
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 416 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (FIREABLE(t1461))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (FIREABLE(t1461))))
lola: processed formula length: 27
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 70 markings, 71 edges
lola: ========================================
lola: subprocess 10 will run for 485 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((F (FIREABLE(t246)) OR (G (F (FIREABLE(t702))) AND F (FIREABLE(t246)))) U (NOT FIREABLE(t1313) OR FIREABLE(t702))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((F (FIREABLE(t246)) OR (G (F (FIREABLE(t702))) AND F (FIREABLE(t246)))) U (NOT FIREABLE(t1313) OR FIREABLE(t702))))
lola: processed formula length: 120
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 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 11 will run for 582 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t1292) U (G (NOT FIREABLE(t276)) OR G (F (NOT FIREABLE(t1617))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t1292) U (G (NOT FIREABLE(t276)) OR G (F (NOT FIREABLE(t1617))))))
lola: processed formula length: 79
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 102050 markings, 462724 edges, 20410 markings/sec, 0 secs
lola: 184345 markings, 913671 edges, 16459 markings/sec, 5 secs
lola: 252589 markings, 1391219 edges, 13649 markings/sec, 10 secs
lola: 323768 markings, 1865723 edges, 14236 markings/sec, 15 secs
lola: 392963 markings, 2340794 edges, 13839 markings/sec, 20 secs
lola: 460552 markings, 2815315 edges, 13518 markings/sec, 25 secs
lola: 539518 markings, 3289611 edges, 15793 markings/sec, 30 secs
lola: 617152 markings, 3765450 edges, 15527 markings/sec, 35 secs
lola: 687344 markings, 4241487 edges, 14038 markings/sec, 40 secs
lola: 759301 markings, 4718981 edges, 14391 markings/sec, 45 secs
lola: 831460 markings, 5196015 edges, 14432 markings/sec, 50 secs
lola: 905840 markings, 5668996 edges, 14876 markings/sec, 55 secs
lola: 971076 markings, 6145148 edges, 13047 markings/sec, 60 secs
lola: 1032343 markings, 6621281 edges, 12253 markings/sec, 65 secs
lola: 1100082 markings, 7094646 edges, 13548 markings/sec, 70 secs
lola: 1163460 markings, 7571310 edges, 12676 markings/sec, 75 secs
lola: 1226604 markings, 8046358 edges, 12629 markings/sec, 80 secs
lola: 1293344 markings, 8518894 edges, 13348 markings/sec, 85 secs
lola: 1355375 markings, 8994807 edges, 12406 markings/sec, 90 secs
lola: 1421741 markings, 9466939 edges, 13273 markings/sec, 95 secs
lola: 1498501 markings, 9943092 edges, 15352 markings/sec, 100 secs
lola: 1572297 markings, 10421283 edges, 14759 markings/sec, 105 secs
lola: 1644054 markings, 10898696 edges, 14351 markings/sec, 110 secs
lola: 1720921 markings, 11374721 edges, 15373 markings/sec, 115 secs
lola: 1789912 markings, 11852147 edges, 13798 markings/sec, 120 secs
lola: 1861994 markings, 12322531 edges, 14416 markings/sec, 125 secs
lola: 1927434 markings, 12798214 edges, 13088 markings/sec, 130 secs
lola: 1996031 markings, 13272803 edges, 13719 markings/sec, 135 secs
lola: 2067953 markings, 13745838 edges, 14384 markings/sec, 140 secs
lola: 2133645 markings, 14221289 edges, 13138 markings/sec, 145 secs
lola: 2205434 markings, 14691720 edges, 14358 markings/sec, 150 secs
lola: 2269097 markings, 15164173 edges, 12733 markings/sec, 155 secs
lola: 2328012 markings, 15638169 edges, 11783 markings/sec, 160 secs
lola: 2389274 markings, 16110922 edges, 12252 markings/sec, 165 secs
lola: 2454835 markings, 16580761 edges, 13112 markings/sec, 170 secs
lola: 2519849 markings, 17053681 edges, 13003 markings/sec, 175 secs
lola: 2578503 markings, 17527442 edges, 11731 markings/sec, 180 secs
lola: 2641896 markings, 17998914 edges, 12679 markings/sec, 185 secs
lola: 2706535 markings, 18468790 edges, 12928 markings/sec, 190 secs
lola: 2769753 markings, 18941644 edges, 12644 markings/sec, 195 secs
lola: 2829163 markings, 19414749 edges, 11882 markings/sec, 200 secs
lola: 2895196 markings, 19882815 edges, 13207 markings/sec, 205 secs
lola: 2972262 markings, 20357031 edges, 15413 markings/sec, 210 secs
lola: 3040160 markings, 20833223 edges, 13580 markings/sec, 215 secs
lola: 3108411 markings, 21310508 edges, 13650 markings/sec, 220 secs
lola: 3187229 markings, 21784416 edges, 15764 markings/sec, 225 secs
lola: 3255536 markings, 22261029 edges, 13661 markings/sec, 230 secs
lola: 3323288 markings, 22738492 edges, 13550 markings/sec, 235 secs
lola: 3400906 markings, 23212777 edges, 15524 markings/sec, 240 secs
lola: 3471164 markings, 23687662 edges, 14052 markings/sec, 245 secs
lola: 3538245 markings, 24163647 edges, 13416 markings/sec, 250 secs
lola: 3606728 markings, 24634064 edges, 13697 markings/sec, 255 secs
lola: 3673892 markings, 25106264 edges, 13433 markings/sec, 260 secs
lola: 3743457 markings, 25576024 edges, 13913 markings/sec, 265 secs
lola: 3807945 markings, 26049906 edges, 12898 markings/sec, 270 secs
lola: 3879044 markings, 26518733 edges, 14220 markings/sec, 275 secs
lola: 3942955 markings, 26991812 edges, 12782 markings/sec, 280 secs
lola: 4016902 markings, 27458331 edges, 14789 markings/sec, 285 secs
lola: 4078518 markings, 27928455 edges, 12323 markings/sec, 290 secs
lola: 4141416 markings, 28399356 edges, 12580 markings/sec, 295 secs
lola: 4198436 markings, 28870175 edges, 11404 markings/sec, 300 secs
lola: 4259632 markings, 29340406 edges, 12239 markings/sec, 305 secs
lola: 4324268 markings, 29807617 edges, 12927 markings/sec, 310 secs
lola: 4386102 markings, 30277564 edges, 12367 markings/sec, 315 secs
lola: 4448221 markings, 30748916 edges, 12424 markings/sec, 320 secs
lola: 4504730 markings, 31219531 edges, 11302 markings/sec, 325 secs
lola: 4565735 markings, 31686668 edges, 12201 markings/sec, 330 secs
lola: 4630915 markings, 32152236 edges, 13036 markings/sec, 335 secs
lola: 4691955 markings, 32622056 edges, 12208 markings/sec, 340 secs
lola: 4754719 markings, 33092992 edges, 12553 markings/sec, 345 secs
lola: 4811884 markings, 33564667 edges, 11433 markings/sec, 350 secs
lola: 4871297 markings, 34032415 edges, 11883 markings/sec, 355 secs
lola: 4951188 markings, 34500401 edges, 15978 markings/sec, 360 secs
lola: 5022441 markings, 34972526 edges, 14251 markings/sec, 365 secs
lola: 5089756 markings, 35446857 edges, 13463 markings/sec, 370 secs
lola: 5156969 markings, 35920540 edges, 13443 markings/sec, 375 secs
lola: 5223104 markings, 36397045 edges, 13227 markings/sec, 380 secs
lola: 5305042 markings, 36867909 edges, 16388 markings/sec, 385 secs
lola: 5374037 markings, 37341771 edges, 13799 markings/sec, 390 secs
lola: 5440873 markings, 37816677 edges, 13367 markings/sec, 395 secs
lola: 5508829 markings, 38291553 edges, 13591 markings/sec, 400 secs
lola: 5581218 markings, 38765999 edges, 14478 markings/sec, 405 secs
lola: 5656020 markings, 39236814 edges, 14960 markings/sec, 410 secs
lola: 5725400 markings, 39709507 edges, 13876 markings/sec, 415 secs
lola: 5790238 markings, 40183500 edges, 12968 markings/sec, 420 secs
lola: 5858286 markings, 40658952 edges, 13610 markings/sec, 425 secs
lola: 5927467 markings, 41124177 edges, 13836 markings/sec, 430 secs
lola: 5992964 markings, 41595084 edges, 13099 markings/sec, 435 secs
lola: 6057225 markings, 42062475 edges, 12852 markings/sec, 440 secs
lola: 6126856 markings, 42532090 edges, 13926 markings/sec, 445 secs
lola: 6191203 markings, 43000244 edges, 12869 markings/sec, 450 secs
lola: 6261766 markings, 43468597 edges, 14113 markings/sec, 455 secs
lola: 6324617 markings, 43937544 edges, 12570 markings/sec, 460 secs
lola: 6396950 markings, 44401153 edges, 14467 markings/sec, 465 secs
lola: 6457716 markings, 44869596 edges, 12153 markings/sec, 470 secs
lola: 6520002 markings, 45338047 edges, 12457 markings/sec, 475 secs
lola: 6578393 markings, 45807012 edges, 11678 markings/sec, 480 secs
lola: 6636053 markings, 46276207 edges, 11532 markings/sec, 485 secs
lola: 6695452 markings, 46742755 edges, 11880 markings/sec, 490 secs
lola: 6761012 markings, 47207604 edges, 13112 markings/sec, 495 secs
lola: 6821901 markings, 47675791 edges, 12178 markings/sec, 500 secs
lola: 6883898 markings, 48145219 edges, 12399 markings/sec, 505 secs
lola: 6941293 markings, 48614564 edges, 11479 markings/sec, 510 secs
lola: 7000492 markings, 49082889 edges, 11840 markings/sec, 515 secs
lola: 7058094 markings, 49550548 edges, 11520 markings/sec, 520 secs
lola: 7124241 markings, 50015680 edges, 13229 markings/sec, 525 secs
lola: 7185121 markings, 50483264 edges, 12176 markings/sec, 530 secs
lola: 7247119 markings, 50952462 edges, 12400 markings/sec, 535 secs
lola: 7303996 markings, 51421568 edges, 11375 markings/sec, 540 secs
lola: 7364051 markings, 51889601 edges, 12011 markings/sec, 545 secs
lola: 7424540 markings, 52354448 edges, 12098 markings/sec, 550 secs
lola: 7504922 markings, 52822455 edges, 16076 markings/sec, 555 secs
lola: 7576117 markings, 53292652 edges, 14239 markings/sec, 560 secs
lola: 7645622 markings, 53763848 edges, 13901 markings/sec, 565 secs
lola: 7710689 markings, 54235968 edges, 13013 markings/sec, 570 secs
lola: 7777817 markings, 54707127 edges, 13426 markings/sec, 575 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown no unknown no unknown unknown no no no yes unknown unknown unknown no
lola: memory consumption: 1499616 KB
lola: time consumption: 1238 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 583 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(t856) R (NOT FIREABLE(t856) AND (F (NOT FIREABLE(t460)) OR G (NOT FIREABLE(t856))))) U (NOT FIREABLE(t920) AND F (NOT FIREABLE(t1421)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((NOT FIREABLE(t856) R (NOT FIREABLE(t856) AND (F (NOT FIREABLE(t460)) OR G (NOT FIREABLE(t856))))) U (NOT FIREABLE(t920) AND F (NOT FIREABLE(t1421)))))
lola: processed formula length: 155
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: 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 13 will run for 777 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (((FIREABLE(t1337) AND FIREABLE(t840)) AND F ((NOT FIREABLE(t1244) R FIREABLE(t1296)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (((FIREABLE(t1337) AND FIREABLE(t840)) AND F ((NOT FIREABLE(t1244) R FIREABLE(t1296)))))))
lola: processed formula length: 98
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 70 markings, 71 edges
lola: ========================================
lola: subprocess 14 will run for 1166 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (FIREABLE(t1108))) AND A ((FIREABLE(t946) U FIREABLE(t1214))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1166 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t1108)))
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:787
lola: processed formula: A (G (FIREABLE(t1108)))
lola: processed formula length: 23
lola: 68 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:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: NOT FIREABLE(t1108)
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 15 will run for 2332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((G (FIREABLE(t1207)) OR (G ((NOT FIREABLE(t1612) AND NOT FIREABLE(t978))) AND F (G (FIREABLE(t1207)))))) AND A (F (G (NOT FIREABLE(t1366)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2331 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (NOT FIREABLE(t1366))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (NOT FIREABLE(t1366))))
lola: processed formula length: 31
lola: 66 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 102231 markings, 463479 edges, 20446 markings/sec, 0 secs
lola: 187920 markings, 937975 edges, 17138 markings/sec, 5 secs
lola: 256002 markings, 1414561 edges, 13616 markings/sec, 10 secs
lola: 327086 markings, 1889040 edges, 14217 markings/sec, 15 secs
lola: 396240 markings, 2363445 edges, 13831 markings/sec, 20 secs
lola: 463704 markings, 2837662 edges, 13493 markings/sec, 25 secs
lola: 543242 markings, 3311706 edges, 15908 markings/sec, 30 secs
lola: 620390 markings, 3786963 edges, 15430 markings/sec, 35 secs
lola: 690563 markings, 4262671 edges, 14035 markings/sec, 40 secs
lola: 762599 markings, 4739765 edges, 14407 markings/sec, 45 secs
lola: 834452 markings, 5216409 edges, 14371 markings/sec, 50 secs
lola: 908112 markings, 5688608 edges, 14732 markings/sec, 55 secs
lola: 973191 markings, 6163429 edges, 13016 markings/sec, 60 secs
lola: 1034339 markings, 6637930 edges, 12230 markings/sec, 65 secs
lola: 1102178 markings, 7109696 edges, 13568 markings/sec, 70 secs
lola: 1165052 markings, 7584621 edges, 12575 markings/sec, 75 secs
lola: 1228565 markings, 8057537 edges, 12703 markings/sec, 80 secs
lola: 1294584 markings, 8529011 edges, 13204 markings/sec, 85 secs
lola: 1356384 markings, 9003310 edges, 12360 markings/sec, 90 secs
lola: 1423030 markings, 9472826 edges, 13329 markings/sec, 95 secs
lola: 1499243 markings, 9948553 edges, 15243 markings/sec, 100 secs
lola: 1573188 markings, 10426125 edges, 14789 markings/sec, 105 secs
lola: 1644621 markings, 10902736 edges, 14287 markings/sec, 110 secs
lola: 1721478 markings, 11378020 edges, 15371 markings/sec, 115 secs
lola: 1790356 markings, 11855444 edges, 13776 markings/sec, 120 secs
lola: 1862235 markings, 12324166 edges, 14376 markings/sec, 125 secs
lola: 1927565 markings, 12798865 edges, 13066 markings/sec, 130 secs
lola: 1996036 markings, 13272520 edges, 13694 markings/sec, 135 secs
lola: 2067839 markings, 13744750 edges, 14361 markings/sec, 140 secs
lola: 2133338 markings, 14218756 edges, 13100 markings/sec, 145 secs
lola: 2204970 markings, 14687553 edges, 14326 markings/sec, 150 secs
lola: 2268298 markings, 15158132 edges, 12666 markings/sec, 155 secs
lola: 2327093 markings, 15629614 edges, 11759 markings/sec, 160 secs
lola: 2387945 markings, 16098952 edges, 12170 markings/sec, 165 secs
lola: 2453333 markings, 16567086 edges, 13078 markings/sec, 170 secs
lola: 2517761 markings, 17038163 edges, 12886 markings/sec, 175 secs
lola: 2575897 markings, 17508887 edges, 11627 markings/sec, 180 secs
lola: 2638410 markings, 17978274 edges, 12503 markings/sec, 185 secs
lola: 2703487 markings, 18446378 edges, 13015 markings/sec, 190 secs
lola: 2766729 markings, 18917240 edges, 12648 markings/sec, 195 secs
lola: 2825198 markings, 19388018 edges, 11694 markings/sec, 200 secs
lola: 2889442 markings, 19853805 edges, 12849 markings/sec, 205 secs
lola: 2967828 markings, 20326177 edges, 15677 markings/sec, 210 secs
lola: 3035206 markings, 20801297 edges, 13476 markings/sec, 215 secs
lola: 3103677 markings, 21277477 edges, 13694 markings/sec, 220 secs
lola: 3182165 markings, 21750822 edges, 15698 markings/sec, 225 secs
lola: 3251015 markings, 22225595 edges, 13770 markings/sec, 230 secs
lola: 3318652 markings, 22701386 edges, 13527 markings/sec, 235 secs
lola: 3394533 markings, 23175547 edges, 15176 markings/sec, 240 secs
lola: 3465626 markings, 23648942 edges, 14219 markings/sec, 245 secs
lola: 3532096 markings, 24124151 edges, 13294 markings/sec, 250 secs
lola: 3600114 markings, 24594649 edges, 13604 markings/sec, 255 secs
lola: 3668474 markings, 25063504 edges, 13672 markings/sec, 260 secs
lola: 3735881 markings, 25531831 edges, 13481 markings/sec, 265 secs
lola: 3802049 markings, 26002687 edges, 13234 markings/sec, 270 secs
lola: 3871439 markings, 26470271 edges, 13878 markings/sec, 275 secs
lola: 3935300 markings, 26941665 edges, 12772 markings/sec, 280 secs
lola: 4009365 markings, 27405547 edges, 14813 markings/sec, 285 secs
lola: 4070923 markings, 27872725 edges, 12312 markings/sec, 290 secs
lola: 4133756 markings, 28340448 edges, 12567 markings/sec, 295 secs
lola: 4191314 markings, 28808620 edges, 11512 markings/sec, 300 secs
lola: 4251783 markings, 29275286 edges, 12094 markings/sec, 305 secs
lola: 4315198 markings, 29740591 edges, 12683 markings/sec, 310 secs
lola: 4376595 markings, 30207277 edges, 12279 markings/sec, 315 secs
lola: 4438941 markings, 30675580 edges, 12469 markings/sec, 320 secs
lola: 4495495 markings, 31142878 edges, 11311 markings/sec, 325 secs
lola: 4556554 markings, 31610320 edges, 12212 markings/sec, 330 secs
lola: 4620773 markings, 32074580 edges, 12844 markings/sec, 335 secs
lola: 4682115 markings, 32541061 edges, 12268 markings/sec, 340 secs
lola: 4743760 markings, 33008565 edges, 12329 markings/sec, 345 secs
lola: 4799697 markings, 33475689 edges, 11187 markings/sec, 350 secs
lola: 4860863 markings, 33942735 edges, 12233 markings/sec, 355 secs
lola: 4935239 markings, 34407505 edges, 14875 markings/sec, 360 secs
lola: 5008487 markings, 34877518 edges, 14650 markings/sec, 365 secs
lola: 5077048 markings, 35349524 edges, 13712 markings/sec, 370 secs
lola: 5141911 markings, 35822105 edges, 12973 markings/sec, 375 secs
lola: 5209791 markings, 36295506 edges, 13576 markings/sec, 380 secs
lola: 5288146 markings, 36766969 edges, 15671 markings/sec, 385 secs
lola: 5359003 markings, 37237610 edges, 14171 markings/sec, 390 secs
lola: 5424601 markings, 37710388 edges, 13120 markings/sec, 395 secs
lola: 5493234 markings, 38182819 edges, 13727 markings/sec, 400 secs
lola: 5561931 markings, 38656905 edges, 13739 markings/sec, 405 secs
lola: 5640461 markings, 39126324 edges, 15706 markings/sec, 410 secs
lola: 5708263 markings, 39597192 edges, 13560 markings/sec, 415 secs
lola: 5775228 markings, 40069714 edges, 13393 markings/sec, 420 secs
lola: 5842564 markings, 40542397 edges, 13467 markings/sec, 425 secs
lola: 5908549 markings, 41009932 edges, 13197 markings/sec, 430 secs
lola: 5977495 markings, 41474722 edges, 13789 markings/sec, 435 secs
lola: 6040761 markings, 41939942 edges, 12653 markings/sec, 440 secs
lola: 6110860 markings, 42404796 edges, 14020 markings/sec, 445 secs
lola: 6172750 markings, 42871629 edges, 12378 markings/sec, 450 secs
lola: 6243691 markings, 43335606 edges, 14188 markings/sec, 455 secs
lola: 6305028 markings, 43803359 edges, 12267 markings/sec, 460 secs
lola: 6378291 markings, 44262284 edges, 14653 markings/sec, 465 secs
lola: 6437219 markings, 44726644 edges, 11786 markings/sec, 470 secs
lola: 6499170 markings, 45190447 edges, 12390 markings/sec, 475 secs
lola: 6561059 markings, 45655434 edges, 12378 markings/sec, 480 secs
lola: 6615093 markings, 46120044 edges, 10807 markings/sec, 485 secs
lola: 6676428 markings, 46584496 edges, 12267 markings/sec, 490 secs
lola: 6739509 markings, 47044830 edges, 12616 markings/sec, 495 secs
lola: 6798821 markings, 47508206 edges, 11862 markings/sec, 500 secs
lola: 6860930 markings, 47972970 edges, 12422 markings/sec, 505 secs
lola: 6921172 markings, 48438091 edges, 12048 markings/sec, 510 secs
lola: 6976036 markings, 48902106 edges, 10973 markings/sec, 515 secs
lola: 7036530 markings, 49366457 edges, 12099 markings/sec, 520 secs
lola: 7099571 markings, 49827523 edges, 12608 markings/sec, 525 secs
lola: 7159805 markings, 50290287 edges, 12047 markings/sec, 530 secs
lola: 7221836 markings, 50754590 edges, 12406 markings/sec, 535 secs
lola: 7280446 markings, 51219769 edges, 11722 markings/sec, 540 secs
lola: 7336529 markings, 51684842 edges, 11217 markings/sec, 545 secs
lola: 7396061 markings, 52147160 edges, 11906 markings/sec, 550 secs
lola: 7469897 markings, 52607344 edges, 14767 markings/sec, 555 secs
lola: 7545510 markings, 53074900 edges, 15123 markings/sec, 560 secs
lola: 7613644 markings, 53543847 edges, 13627 markings/sec, 565 secs
lola: 7679259 markings, 54013332 edges, 13123 markings/sec, 570 secs
lola: 7744388 markings, 54482713 edges, 13026 markings/sec, 575 secs
lola: 7812075 markings, 54953911 edges, 13537 markings/sec, 580 secs
lola: 7882865 markings, 55424948 edges, 14158 markings/sec, 585 secs
lola: 7960512 markings, 55891949 edges, 15529 markings/sec, 590 secs
lola: 8029139 markings, 56360968 edges, 13725 markings/sec, 595 secs
lola: 8096913 markings, 56830854 edges, 13555 markings/sec, 600 secs
lola: 8161630 markings, 57301758 edges, 12943 markings/sec, 605 secs
lola: 8229870 markings, 57771241 edges, 13648 markings/sec, 610 secs
lola: 8292777 markings, 58243889 edges, 12581 markings/sec, 615 secs
lola: 8374736 markings, 58711249 edges, 16392 markings/sec, 620 secs
lola: 8444899 markings, 59178542 edges, 14033 markings/sec, 625 secs
lola: 8514100 markings, 59647392 edges, 13840 markings/sec, 630 secs
lola: 8578785 markings, 60116708 edges, 12937 markings/sec, 635 secs
lola: 8645693 markings, 60585773 edges, 13382 markings/sec, 640 secs
lola: 8710707 markings, 61057611 edges, 13003 markings/sec, 645 secs
lola: 8779103 markings, 61515258 edges, 13679 markings/sec, 650 secs
lola: 8843394 markings, 61980326 edges, 12858 markings/sec, 655 secs
lola: 8906860 markings, 62441558 edges, 12693 markings/sec, 660 secs
lola: 8977067 markings, 62902512 edges, 14041 markings/sec, 665 secs
lola: 9037339 markings, 63368341 edges, 12054 markings/sec, 670 secs
lola: 9106401 markings, 63825981 edges, 13812 markings/sec, 675 secs
lola: 9170741 markings, 64291355 edges, 12868 markings/sec, 680 secs
lola: 9234063 markings, 64752112 edges, 12664 markings/sec, 685 secs
lola: 9304980 markings, 65208267 edges, 14183 markings/sec, 690 secs
lola: 9363802 markings, 65668597 edges, 11764 markings/sec, 695 secs
lola: 9423341 markings, 66129471 edges, 11908 markings/sec, 700 secs
lola: 9484822 markings, 66591928 edges, 12296 markings/sec, 705 secs
lola: 9539649 markings, 67052730 edges, 10965 markings/sec, 710 secs
lola: 9598417 markings, 67512821 edges, 11754 markings/sec, 715 secs
lola: 9655098 markings, 67973524 edges, 11336 markings/sec, 720 secs
lola: 9719846 markings, 68431566 edges, 12950 markings/sec, 725 secs
lola: 9778548 markings, 68892086 edges, 11740 markings/sec, 730 secs
lola: 9838939 markings, 69353892 edges, 12078 markings/sec, 735 secs
lola: 9899207 markings, 69816246 edges, 12054 markings/sec, 740 secs
lola: 9953806 markings, 70277785 edges, 10920 markings/sec, 745 secs
lola: 10013544 markings, 70738567 edges, 11948 markings/sec, 750 secs
lola: 10069584 markings, 71199452 edges, 11208 markings/sec, 755 secs
lola: 10135011 markings, 71657176 edges, 13085 markings/sec, 760 secs
lola: 10193887 markings, 72118349 edges, 11775 markings/sec, 765 secs
lola: 10254744 markings, 72579463 edges, 12171 markings/sec, 770 secs
lola: 10314433 markings, 73041472 edges, 11938 markings/sec, 775 secs
lola: 10368291 markings, 73502530 edges, 10772 markings/sec, 780 secs
lola: 10428436 markings, 73964959 edges, 12029 markings/sec, 785 secs
lola: 10484033 markings, 74423914 edges, 11119 markings/sec, 790 secs
lola: 10563770 markings, 74883801 edges, 15947 markings/sec, 795 secs
lola: 10639508 markings, 75347073 edges, 15148 markings/sec, 800 secs
lola: 10706179 markings, 75812977 edges, 13334 markings/sec, 805 secs
lola: 10774626 markings, 76279579 edges, 13689 markings/sec, 810 secs
lola: 10837677 markings, 76747525 edges, 12610 markings/sec, 815 secs
lola: 10901500 markings, 77213229 edges, 12765 markings/sec, 820 secs
lola: 10970601 markings, 77681973 edges, 13820 markings/sec, 825 secs
lola: 11032924 markings, 78150364 edges, 12465 markings/sec, 830 secs
lola: 11114951 markings, 78616924 edges, 16405 markings/sec, 835 secs
lola: 11188452 markings, 79081608 edges, 14700 markings/sec, 840 secs
lola: 11255930 markings, 79546920 edges, 13496 markings/sec, 845 secs
lola: 11322489 markings, 80014784 edges, 13312 markings/sec, 850 secs
lola: 11387435 markings, 80482541 edges, 12989 markings/sec, 855 secs
lola: 11451877 markings, 80948729 edges, 12888 markings/sec, 860 secs
lola: 11518922 markings, 81418632 edges, 13409 markings/sec, 865 secs
lola: 11587568 markings, 81885966 edges, 13729 markings/sec, 870 secs
lola: 11666011 markings, 82351610 edges, 15689 markings/sec, 875 secs
lola: 11737055 markings, 82815918 edges, 14209 markings/sec, 880 secs
lola: 11804754 markings, 83280666 edges, 13540 markings/sec, 885 secs
lola: 11870114 markings, 83747733 edges, 13072 markings/sec, 890 secs
lola: 11935094 markings, 84216092 edges, 12996 markings/sec, 895 secs
lola: 12002500 markings, 84680698 edges, 13481 markings/sec, 900 secs
lola: 12067181 markings, 85151024 edges, 12936 markings/sec, 905 secs
lola: 12131683 markings, 85611409 edges, 12900 markings/sec, 910 secs
lola: 12201317 markings, 86068000 edges, 13927 markings/sec, 915 secs
lola: 12261416 markings, 86530581 edges, 12020 markings/sec, 920 secs
lola: 12326424 markings, 86983953 edges, 13002 markings/sec, 925 secs
lola: 12395158 markings, 87445537 edges, 13747 markings/sec, 930 secs
lola: 12454534 markings, 87908015 edges, 11875 markings/sec, 935 secs
lola: 12523189 markings, 88361216 edges, 13731 markings/sec, 940 secs
lola: 12588688 markings, 88823860 edges, 13100 markings/sec, 945 secs
lola: 12648434 markings, 89284016 edges, 11949 markings/sec, 950 secs
lola: 12720359 markings, 89734075 edges, 14385 markings/sec, 955 secs
lola: 12779735 markings, 90192930 edges, 11875 markings/sec, 960 secs
lola: 12839570 markings, 90649129 edges, 11967 markings/sec, 965 secs
lola: 12899430 markings, 91107185 edges, 11972 markings/sec, 970 secs
lola: 12957817 markings, 91566638 edges, 11677 markings/sec, 975 secs
lola: 13012134 markings, 92024552 edges, 10863 markings/sec, 980 secs
lola: 13069141 markings, 92483574 edges, 11401 markings/sec, 985 secs
lola: 13127764 markings, 92939040 edges, 11725 markings/sec, 990 secs
lola: 13188627 markings, 93392219 edges, 12173 markings/sec, 995 secs
lola: 13247876 markings, 93851249 edges, 11850 markings/sec, 1000 secs
lola: 13307989 markings, 94309131 edges, 12023 markings/sec, 1005 secs
lola: 13368045 markings, 94767775 edges, 12011 markings/sec, 1010 secs
lola: 13426329 markings, 95226940 edges, 11657 markings/sec, 1015 secs
lola: 13480526 markings, 95685976 edges, 10839 markings/sec, 1020 secs
lola: 13537844 markings, 96145804 edges, 11464 markings/sec, 1025 secs
lola: 13596249 markings, 96601179 edges, 11681 markings/sec, 1030 secs
lola: 13657711 markings, 97054177 edges, 12292 markings/sec, 1035 secs
lola: 13716421 markings, 97512708 edges, 11742 markings/sec, 1040 secs
lola: 13776633 markings, 97970901 edges, 12042 markings/sec, 1045 secs
lola: 13836825 markings, 98429459 edges, 12038 markings/sec, 1050 secs
lola: 13895263 markings, 98889126 edges, 11688 markings/sec, 1055 secs
lola: 13949094 markings, 99347577 edges, 10766 markings/sec, 1060 secs
lola: 14006637 markings, 99807434 edges, 11509 markings/sec, 1065 secs
lola: 14064869 markings, 100264826 edges, 11646 markings/sec, 1070 secs
lola: 14127601 markings, 100712478 edges, 12546 markings/sec, 1075 secs
lola: 14205071 markings, 101164826 edges, 15494 markings/sec, 1080 secs
lola: 14281400 markings, 101624252 edges, 15266 markings/sec, 1085 secs
lola: 14349559 markings, 102083317 edges, 13632 markings/sec, 1090 secs
lola: 14415449 markings, 102542550 edges, 13178 markings/sec, 1095 secs
lola: 14481606 markings, 102997916 edges, 13231 markings/sec, 1100 secs
lola: 14554421 markings, 103453482 edges, 14563 markings/sec, 1105 secs
lola: 14621466 markings, 103910494 edges, 13409 markings/sec, 1110 secs
lola: 14683106 markings, 104367495 edges, 12328 markings/sec, 1115 secs
lola: 14744910 markings, 104817873 edges, 12361 markings/sec, 1120 secs
lola: 14802986 markings, 105274670 edges, 11615 markings/sec, 1125 secs
lola: 14857447 markings, 105734718 edges, 10892 markings/sec, 1130 secs
lola: 14917789 markings, 106190381 edges, 12068 markings/sec, 1135 secs
lola: 14981118 markings, 106648498 edges, 12666 markings/sec, 1140 secs
lola: 15057694 markings, 107106388 edges, 15315 markings/sec, 1145 secs
lola: 15135581 markings, 107569107 edges, 15577 markings/sec, 1150 secs
lola: 15200197 markings, 108033760 edges, 12923 markings/sec, 1155 secs
lola: 15270400 markings, 108498207 edges, 14041 markings/sec, 1160 secs
lola: 15333365 markings, 108964132 edges, 12593 markings/sec, 1165 secs
lola: 15399424 markings, 109432380 edges, 13212 markings/sec, 1170 secs
lola: 15468396 markings, 109898994 edges, 13794 markings/sec, 1175 secs
lola: 15532094 markings, 110367052 edges, 12740 markings/sec, 1180 secs
lola: 15599434 markings, 110830356 edges, 13468 markings/sec, 1185 secs
lola: 15661788 markings, 111280246 edges, 12471 markings/sec, 1190 secs
lola: 15745812 markings, 111741530 edges, 16805 markings/sec, 1195 secs
lola: 15816695 markings, 112205853 edges, 14177 markings/sec, 1200 secs
lola: 15884902 markings, 112668566 edges, 13641 markings/sec, 1205 secs
lola: 15951325 markings, 113134438 edges, 13285 markings/sec, 1210 secs
lola: 16016123 markings, 113600918 edges, 12960 markings/sec, 1215 secs
lola: 16080053 markings, 114067341 edges, 12786 markings/sec, 1220 secs
lola: 16147871 markings, 114535842 edges, 13564 markings/sec, 1225 secs
lola: 16210257 markings, 115003938 edges, 12477 markings/sec, 1230 secs
lola: 16278980 markings, 115457994 edges, 13745 markings/sec, 1235 secs
lola: 16345245 markings, 115911771 edges, 13253 markings/sec, 1240 secs
lola: 16398967 markings, 116370724 edges, 10744 markings/sec, 1245 secs
lola: 16453991 markings, 116831217 edges, 11005 markings/sec, 1250 secs
lola: 16508413 markings, 117287538 edges, 10884 markings/sec, 1255 secs
lola: 16575918 markings, 117746430 edges, 13501 markings/sec, 1260 secs
lola: 16638798 markings, 118207189 edges, 12576 markings/sec, 1265 secs
lola: 16696173 markings, 118668328 edges, 11475 markings/sec, 1270 secs
lola: 16754272 markings, 119133031 edges, 11620 markings/sec, 1275 secs
lola: 16816421 markings, 119596386 edges, 12430 markings/sec, 1280 secs
lola: 16871367 markings, 120061465 edges, 10989 markings/sec, 1285 secs
lola: 16930517 markings, 120526331 edges, 11830 markings/sec, 1290 secs
lola: 17071439 markings, 120947851 edges, 28184 markings/sec, 1295 secs
lola: 17154667 markings, 121409326 edges, 16646 markings/sec, 1300 secs
lola: 17232417 markings, 121874985 edges, 15550 markings/sec, 1305 secs
lola: 17300544 markings, 122342394 edges, 13625 markings/sec, 1310 secs
lola: 17367221 markings, 122808221 edges, 13335 markings/sec, 1315 secs
lola: 17436780 markings, 123272521 edges, 13912 markings/sec, 1320 secs
lola: 17504171 markings, 123736021 edges, 13478 markings/sec, 1325 secs
lola: 17585344 markings, 124205283 edges, 16235 markings/sec, 1330 secs
lola: 17659474 markings, 124670571 edges, 14826 markings/sec, 1335 secs
lola: 17730292 markings, 125140498 edges, 14164 markings/sec, 1340 secs
lola: 17800705 markings, 125609920 edges, 14083 markings/sec, 1345 secs
lola: 17870661 markings, 126078156 edges, 13991 markings/sec, 1350 secs
lola: 17940892 markings, 126543867 edges, 14046 markings/sec, 1355 secs
lola: 18002448 markings, 127012909 edges, 12311 markings/sec, 1360 secs
lola: 18065925 markings, 127479929 edges, 12695 markings/sec, 1365 secs
lola: 18130677 markings, 127945555 edges, 12950 markings/sec, 1370 secs
lola: 18191598 markings, 128413077 edges, 12184 markings/sec, 1375 secs
lola: 18257260 markings, 128878258 edges, 13132 markings/sec, 1380 secs
lola: 18321255 markings, 129343161 edges, 12799 markings/sec, 1385 secs
lola: 18381456 markings, 129809474 edges, 12040 markings/sec, 1390 secs
lola: 18449828 markings, 130271826 edges, 13674 markings/sec, 1395 secs
lola: 18522368 markings, 130742023 edges, 14508 markings/sec, 1400 secs
lola: 18596557 markings, 131211846 edges, 14838 markings/sec, 1405 secs
lola: 18665699 markings, 131681188 edges, 13828 markings/sec, 1410 secs
lola: 18741720 markings, 132149593 edges, 15204 markings/sec, 1415 secs
lola: 18809709 markings, 132618577 edges, 13598 markings/sec, 1420 secs
lola: 18880412 markings, 133080841 edges, 14141 markings/sec, 1425 secs
lola: 18944956 markings, 133549331 edges, 12909 markings/sec, 1430 secs
lola: 19012552 markings, 134016387 edges, 13519 markings/sec, 1435 secs
lola: 19083284 markings, 134482191 edges, 14146 markings/sec, 1440 secs
lola: 19147871 markings, 134948974 edges, 12917 markings/sec, 1445 secs
lola: 19218991 markings, 135411708 edges, 14224 markings/sec, 1450 secs
lola: 19281315 markings, 135876161 edges, 12465 markings/sec, 1455 secs
lola: 19339812 markings, 136341517 edges, 11699 markings/sec, 1460 secs
lola: 19400209 markings, 136807090 edges, 12079 markings/sec, 1465 secs
lola: 19465409 markings, 137273067 edges, 13040 markings/sec, 1470 secs
lola: 19528682 markings, 137740625 edges, 12655 markings/sec, 1475 secs
lola: 19586545 markings, 138208752 edges, 11573 markings/sec, 1480 secs
lola: 19647142 markings, 138676324 edges, 12119 markings/sec, 1485 secs
lola: 19712558 markings, 139140810 edges, 13083 markings/sec, 1490 secs
lola: 19776407 markings, 139608157 edges, 12770 markings/sec, 1495 secs
lola: 19834303 markings, 140075366 edges, 11579 markings/sec, 1500 secs
lola: 19896756 markings, 140540225 edges, 12491 markings/sec, 1505 secs
lola: 19975482 markings, 141008301 edges, 15745 markings/sec, 1510 secs
lola: 20043460 markings, 141481148 edges, 13596 markings/sec, 1515 secs
lola: 20110860 markings, 141954997 edges, 13480 markings/sec, 1520 secs
lola: 20187379 markings, 142426742 edges, 15304 markings/sec, 1525 secs
lola: 20257769 markings, 142898583 edges, 14078 markings/sec, 1530 secs
lola: 20324244 markings, 143371423 edges, 13295 markings/sec, 1535 secs
lola: 20397925 markings, 143844377 edges, 14736 markings/sec, 1540 secs
lola: 20470443 markings, 144313654 edges, 14504 markings/sec, 1545 secs
lola: 20536349 markings, 144785332 edges, 13181 markings/sec, 1550 secs
lola: 20604463 markings, 145255573 edges, 13623 markings/sec, 1555 secs
lola: 20673590 markings, 145719516 edges, 13825 markings/sec, 1560 secs
lola: 20737661 markings, 146187575 edges, 12814 markings/sec, 1565 secs
lola: 20806602 markings, 146655027 edges, 13788 markings/sec, 1570 secs
lola: 20871499 markings, 147122154 edges, 12979 markings/sec, 1575 secs
lola: 20939398 markings, 147588611 edges, 13580 markings/sec, 1580 secs
lola: 21010110 markings, 148052373 edges, 14142 markings/sec, 1585 secs
lola: 21073462 markings, 148516700 edges, 12670 markings/sec, 1590 secs
lola: 21136301 markings, 148981623 edges, 12568 markings/sec, 1595 secs
lola: 21195082 markings, 149447039 edges, 11756 markings/sec, 1600 secs
lola: 21254360 markings, 149911873 edges, 11856 markings/sec, 1605 secs
lola: 21315998 markings, 150375230 edges, 12328 markings/sec, 1610 secs
lola: 21377407 markings, 150839049 edges, 12282 markings/sec, 1615 secs
lola: 21440271 markings, 151304398 edges, 12573 markings/sec, 1620 secs
lola: 21498382 markings, 151769685 edges, 11622 markings/sec, 1625 secs
lola: 21557637 markings, 152234545 edges, 11851 markings/sec, 1630 secs
lola: 21620703 markings, 152695718 edges, 12613 markings/sec, 1635 secs
lola: 21681507 markings, 153158723 edges, 12161 markings/sec, 1640 secs
lola: 21743834 markings, 153623230 edges, 12465 markings/sec, 1645 secs
lola: 21800801 markings, 154087557 edges, 11393 markings/sec, 1650 secs
lola: 21860785 markings, 154550535 edges, 11997 markings/sec, 1655 secs
lola: 21928705 markings, 155010960 edges, 13584 markings/sec, 1660 secs
lola: 22005182 markings, 155480321 edges, 15295 markings/sec, 1665 secs
lola: 22073429 markings, 155949891 edges, 13649 markings/sec, 1670 secs
lola: 22138757 markings, 156421144 edges, 13066 markings/sec, 1675 secs
lola: 22205461 markings, 156892172 edges, 13341 markings/sec, 1680 secs
lola: 22280053 markings, 157363150 edges, 14918 markings/sec, 1685 secs
lola: 22352956 markings, 157830881 edges, 14581 markings/sec, 1690 secs
lola: 22421284 markings, 158301025 edges, 13666 markings/sec, 1695 secs
lola: 22486184 markings, 158771506 edges, 12980 markings/sec, 1700 secs
lola: 22554003 markings, 159243827 edges, 13564 markings/sec, 1705 secs
lola: 22630938 markings, 159712735 edges, 15387 markings/sec, 1710 secs
lola: 22701586 markings, 160180274 edges, 14130 markings/sec, 1715 secs
lola: 22767865 markings, 160649609 edges, 13256 markings/sec, 1720 secs
lola: 22834649 markings, 161118938 edges, 13357 markings/sec, 1725 secs
lola: 22899919 markings, 161590909 edges, 13054 markings/sec, 1730 secs
lola: 22971193 markings, 162048748 edges, 14255 markings/sec, 1735 secs
lola: 23032027 markings, 162515278 edges, 12167 markings/sec, 1740 secs
lola: 23102600 markings, 162976596 edges, 14115 markings/sec, 1745 secs
lola: 23165369 markings, 163443146 edges, 12554 markings/sec, 1750 secs
lola: 23233604 markings, 163902913 edges, 13647 markings/sec, 1755 secs
lola: 23298245 markings, 164368603 edges, 12928 markings/sec, 1760 secs
lola: 23361544 markings, 164830643 edges, 12660 markings/sec, 1765 secs
lola: 23432414 markings, 165289503 edges, 14174 markings/sec, 1770 secs
lola: 23492863 markings, 165752320 edges, 12090 markings/sec, 1775 secs
lola: 23554087 markings, 166215768 edges, 12245 markings/sec, 1780 secs
lola: 23610383 markings, 166678837 edges, 11259 markings/sec, 1785 secs
lola: 23669336 markings, 167140573 edges, 11791 markings/sec, 1790 secs
lola: 23726544 markings, 167602365 edges, 11442 markings/sec, 1795 secs
lola: 23791416 markings, 168063358 edges, 12974 markings/sec, 1800 secs
lola: 23851475 markings, 168524819 edges, 12012 markings/sec, 1805 secs
lola: 23912949 markings, 168988526 edges, 12295 markings/sec, 1810 secs
lola: 23968858 markings, 169451523 edges, 11182 markings/sec, 1815 secs
lola: 24028324 markings, 169914252 edges, 11893 markings/sec, 1820 secs
lola: 24087818 markings, 170374492 edges, 11899 markings/sec, 1825 secs
lola: 24150013 markings, 170834086 edges, 12439 markings/sec, 1830 secs
lola: 24210132 markings, 171295936 edges, 12024 markings/sec, 1835 secs
lola: 24271559 markings, 171758334 edges, 12285 markings/sec, 1840 secs
lola: 24326709 markings, 172220155 edges, 11030 markings/sec, 1845 secs
lola: 24386699 markings, 172681759 edges, 11998 markings/sec, 1850 secs
lola: 24447262 markings, 173138559 edges, 12113 markings/sec, 1855 secs
lola: 24527616 markings, 173604589 edges, 16071 markings/sec, 1860 secs
lola: 24597668 markings, 174071561 edges, 14010 markings/sec, 1865 secs
lola: 24666654 markings, 174539368 edges, 13797 markings/sec, 1870 secs
lola: 24731156 markings, 175007191 edges, 12900 markings/sec, 1875 secs
lola: 24797942 markings, 175475502 edges, 13357 markings/sec, 1880 secs
lola: 24862790 markings, 175946127 edges, 12970 markings/sec, 1885 secs
lola: 24939694 markings, 176413448 edges, 15381 markings/sec, 1890 secs
lola: 25012839 markings, 176879549 edges, 14629 markings/sec, 1895 secs
lola: 25080652 markings, 177346781 edges, 13563 markings/sec, 1900 secs
lola: 25145271 markings, 177816207 edges, 12924 markings/sec, 1905 secs
lola: 25210686 markings, 178284815 edges, 13083 markings/sec, 1910 secs
lola: 25278752 markings, 178755254 edges, 13613 markings/sec, 1915 secs
lola: 25353351 markings, 179223333 edges, 14920 markings/sec, 1920 secs
lola: 25428468 markings, 179688609 edges, 15023 markings/sec, 1925 secs
lola: 25496098 markings, 180155083 edges, 13526 markings/sec, 1930 secs
lola: 25561505 markings, 180623301 edges, 13081 markings/sec, 1935 secs
lola: 25626408 markings, 181091002 edges, 12981 markings/sec, 1940 secs
lola: 25693817 markings, 181560029 edges, 13482 markings/sec, 1945 secs
lola: 25759039 markings, 182026443 edges, 13044 markings/sec, 1950 secs
lola: 25828738 markings, 182483589 edges, 13940 markings/sec, 1955 secs
lola: 25889335 markings, 182948536 edges, 12119 markings/sec, 1960 secs
lola: 25958014 markings, 183406199 edges, 13736 markings/sec, 1965 secs
lola: 26022167 markings, 183871021 edges, 12831 markings/sec, 1970 secs
lola: 26085589 markings, 184331745 edges, 12684 markings/sec, 1975 secs
lola: 26155643 markings, 184791590 edges, 14011 markings/sec, 1980 secs
lola: 26216050 markings, 185256046 edges, 12081 markings/sec, 1985 secs
lola: 26287265 markings, 185709878 edges, 14243 markings/sec, 1990 secs
lola: 26349239 markings, 186169783 edges, 12395 markings/sec, 1995 secs
lola: 26409510 markings, 186629954 edges, 12054 markings/sec, 2000 secs
lola: 26469951 markings, 187091212 edges, 12088 markings/sec, 2005 secs
lola: 26527979 markings, 187552382 edges, 11606 markings/sec, 2010 secs
lola: 26581560 markings, 188011357 edges, 10716 markings/sec, 2015 secs
lola: 26642541 markings, 188473234 edges, 12196 markings/sec, 2020 secs
lola: 26702749 markings, 188929932 edges, 12042 markings/sec, 2025 secs
lola: 26763281 markings, 189389945 edges, 12106 markings/sec, 2030 secs
lola: 26823656 markings, 189850497 edges, 12075 markings/sec, 2035 secs
lola: 26884676 markings, 190311615 edges, 12204 markings/sec, 2040 secs
lola: 26940050 markings, 190759906 edges, 11075 markings/sec, 2045 secs
lola: 26992205 markings, 191202823 edges, 10431 markings/sec, 2050 secs
lola: 27051163 markings, 191648827 edges, 11792 markings/sec, 2055 secs
lola: 27109200 markings, 192095712 edges, 11607 markings/sec, 2060 secs
lola: 27168838 markings, 192540633 edges, 11928 markings/sec, 2065 secs
lola: 27226151 markings, 192978559 edges, 11463 markings/sec, 2070 secs
lola: 27280301 markings, 193388964 edges, 10830 markings/sec, 2075 secs
lola: 27338580 markings, 193845518 edges, 11656 markings/sec, 2080 secs
lola: 27391242 markings, 194303134 edges, 10532 markings/sec, 2085 secs
lola: 27450964 markings, 194757814 edges, 11944 markings/sec, 2090 secs
lola: 27507273 markings, 195211711 edges, 11262 markings/sec, 2095 secs
lola: 27586991 markings, 195673260 edges, 15944 markings/sec, 2100 secs
lola: 27662648 markings, 196137628 edges, 15131 markings/sec, 2105 secs
lola: 27729761 markings, 196603548 edges, 13423 markings/sec, 2110 secs
lola: 27796444 markings, 197066491 edges, 13337 markings/sec, 2115 secs
lola: 27859822 markings, 197528972 edges, 12676 markings/sec, 2120 secs
lola: 27922123 markings, 197990997 edges, 12460 markings/sec, 2125 secs
lola: 27991237 markings, 198460075 edges, 13823 markings/sec, 2130 secs
lola: 28053981 markings, 198928947 edges, 12549 markings/sec, 2135 secs
lola: 28136873 markings, 199392529 edges, 16578 markings/sec, 2140 secs
lola: 28208286 markings, 199852135 edges, 14283 markings/sec, 2145 secs
lola: 28276077 markings, 200316219 edges, 13558 markings/sec, 2150 secs
lola: 28342617 markings, 200784558 edges, 13308 markings/sec, 2155 secs
lola: 28407292 markings, 201253076 edges, 12935 markings/sec, 2160 secs
lola: 28472671 markings, 201719943 edges, 13076 markings/sec, 2165 secs
lola: 28538376 markings, 202184851 edges, 13141 markings/sec, 2170 secs
lola: 28607038 markings, 202647324 edges, 13732 markings/sec, 2175 secs
lola: 28684424 markings, 203107977 edges, 15477 markings/sec, 2180 secs
lola: 28755313 markings, 203572358 edges, 14178 markings/sec, 2185 secs
lola: 28822891 markings, 204037208 edges, 13516 markings/sec, 2190 secs
lola: 28888150 markings, 204503655 edges, 13052 markings/sec, 2195 secs
lola: 28953015 markings, 204971377 edges, 12973 markings/sec, 2200 secs
lola: 29020490 markings, 205436251 edges, 13495 markings/sec, 2205 secs
lola: 29085099 markings, 205905295 edges, 12922 markings/sec, 2210 secs
lola: 29149402 markings, 206365581 edges, 12861 markings/sec, 2215 secs
lola: 29219145 markings, 206822767 edges, 13949 markings/sec, 2220 secs
lola: 29279323 markings, 207286606 edges, 12036 markings/sec, 2225 secs
lola: 29344672 markings, 207739594 edges, 13070 markings/sec, 2230 secs
lola: 29413238 markings, 208202730 edges, 13713 markings/sec, 2235 secs
lola: 29472508 markings, 208665681 edges, 11854 markings/sec, 2240 secs
lola: 29541425 markings, 209119508 edges, 13783 markings/sec, 2245 secs
lola: 29606758 markings, 209582012 edges, 13067 markings/sec, 2250 secs
lola: 29666714 markings, 210042257 edges, 11991 markings/sec, 2255 secs
lola: 29743382 markings, 210498402 edges, 15334 markings/sec, 2260 secs
lola: 29820323 markings, 210962504 edges, 15388 markings/sec, 2265 secs
lola: 29886305 markings, 211428408 edges, 13196 markings/sec, 2270 secs
lola: 29955845 markings, 211894118 edges, 13908 markings/sec, 2275 secs
lola: 30017888 markings, 212361819 edges, 12409 markings/sec, 2280 secs
lola: 30084857 markings, 212831269 edges, 13394 markings/sec, 2285 secs
lola: 30154020 markings, 213298713 edges, 13833 markings/sec, 2290 secs
lola: 30217834 markings, 213767616 edges, 12763 markings/sec, 2295 secs
lola: 30284380 markings, 214228859 edges, 13309 markings/sec, 2300 secs
lola: 30342750 markings, 214687549 edges, 11674 markings/sec, 2305 secs
lola: 30403351 markings, 215147280 edges, 12120 markings/sec, 2310 secs
lola: 30463454 markings, 215607274 edges, 12021 markings/sec, 2315 secs
lola: 30522249 markings, 216066621 edges, 11759 markings/sec, 2320 secs
lola: 30575250 markings, 216526460 edges, 10600 markings/sec, 2325 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown no no no unknown no no no no yes unknown unknown yes no
lola: memory consumption: 5661580 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: time limit reached - aborting
lola:
preliminary result: yes yes unknown no no no unknown no no no no yes unknown unknown yes no
lola:
preliminary result: yes yes unknown no no no unknown no no no no yes unknown unknown yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes unknown no no no unknown no no no no yes unknown unknown yes no
lola: memory consumption: 30592 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 unknown no no no unknown no no no no yes unknown unknown yes no
lola: memory consumption: 30592 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: memory consumption: 28756 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
rslt: finished
BK_STOP 1589137484586
--------------------
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="ASLink-PT-02b"
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 ASLink-PT-02b, 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 r015-smll-158897552600010"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-02b.tgz
mv ASLink-PT-02b 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 ;