About the Execution of 2019-Gold for AutoFlight-PT-12a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10082.430 | 3570128.00 | 3635029.00 | 9579.40 | ?T?FFFTFFFFFT?FT | 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-158897552800118.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 AutoFlight-PT-12a, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r015-smll-158897552800118
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 276K
-rw-r--r-- 1 mcc users 4.7K Mar 25 23:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Mar 25 23:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 18:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 18:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 10:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 25 10:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 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 85K 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 AutoFlight-PT-12a-00
FORMULA_NAME AutoFlight-PT-12a-01
FORMULA_NAME AutoFlight-PT-12a-02
FORMULA_NAME AutoFlight-PT-12a-03
FORMULA_NAME AutoFlight-PT-12a-04
FORMULA_NAME AutoFlight-PT-12a-05
FORMULA_NAME AutoFlight-PT-12a-06
FORMULA_NAME AutoFlight-PT-12a-07
FORMULA_NAME AutoFlight-PT-12a-08
FORMULA_NAME AutoFlight-PT-12a-09
FORMULA_NAME AutoFlight-PT-12a-10
FORMULA_NAME AutoFlight-PT-12a-11
FORMULA_NAME AutoFlight-PT-12a-12
FORMULA_NAME AutoFlight-PT-12a-13
FORMULA_NAME AutoFlight-PT-12a-14
FORMULA_NAME AutoFlight-PT-12a-15
=== Now, execution of the tool begins
BK_START 1589303337758
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ AutoFlight-PT-12a @ 3570 seconds
FORMULA AutoFlight-PT-12a-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12a-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12a-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12a-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12a-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12a-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12a-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12a-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12a-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12a-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12a-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12a-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12a-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ AutoFlight-PT-12a
{
"child":
[
{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "NOT FIREABLE(t72)",
"processed_size": 17,
"rewrites": 85
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 7
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (X (NOT FIREABLE(t159)))",
"processed_size": 26,
"rewrites": 83
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 17,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"memory": 10095120,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"result":
{
"preliminary_value": "unknown yes unknown no no no yes no no no no no yes unknown no yes "
},
"task":
{
"compoundnumber": 16,
"type": "boolean"
}
}
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: 612/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 307
lola: finding significant places
lola: 307 places, 305 transitions, 231 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 ((X (NOT((G (NOT FIREABLE(t166)) U FIREABLE(t159)))) AND (X (FIREABLE(t72)) U F (FIREABLE(t72))))) : A (NOT(((F (FIREABLE(t226)) AND G (FIREABLE(t226))) AND X ((FIREABLE(t226) U FIREABLE(t243)))))) : A (F (X (G (X (NOT((FIREABLE(t78) AND (FIREABLE(t182) U NOT(F (FIREABLE(t52))))))))))) : A ((X (G (F (NOT(X ((FIREABLE(t280) AND G (FIREABLE(t197)))))))) AND F (FIREABLE(t130)))) : A (X (F (G (((FIREABLE(t273) OR G (FIREABLE(t273))) U (FIREABLE(t235) OR F (FIREABLE(t89)))))))) : A (F (G (X (X (FIREABLE(t48)))))) : A ((F (FIREABLE(t150)) U (NOT FIREABLE(t135) OR G (NOT(F ((FIREABLE(t135) AND FIREABLE(t31)))))))) : A (((FIREABLE(t239) AND G (NOT FIREABLE(t43))) OR (G (FIREABLE(t239)) U (FIREABLE(t239) AND FIREABLE(t43))))) : A ((NOT FIREABLE(t83) AND (X (FIREABLE(t207)) OR G (FIREABLE(t235))))) : A (F (FIREABLE(t215))) : A (F (FIREABLE(t118))) : A (X (G ((X (FIREABLE(t53)) U (FIREABLE(t53) OR ((FIREABLE(t53) U FIREABLE(t289)) AND X ((FIREABLE(t289) AND FIREABLE(t53))))))))) : A ((G (NOT(G (X ((G (F (NOT FIREABLE(t111))) U FIREABLE(t111)))))) U NOT FIREABLE(t243))) : A (F ((NOT(F (G (FIREABLE(t221)))) OR X (X (FIREABLE(t206)))))) : A ((G (((FIREABLE(t247) OR FIREABLE(t15)) OR X (FIREABLE(t193)))) AND X ((X (FIREABLE(t247)) U FIREABLE(t193))))) : A (X (F (FIREABLE(t295))))
lola: rewrite Frontend/Parser/formula_rewrite.k:431
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:422
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:494
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
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(t159))) AND (A (X ((F (FIREABLE(t166)) OR G (NOT FIREABLE(t159))))) AND A (F (FIREABLE(t72)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t72)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: NOT FIREABLE(t72)
lola: processed formula length: 17
lola: 85 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (NOT FIREABLE(t159)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (NOT FIREABLE(t159)))
lola: processed formula length: 26
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((F (FIREABLE(t166)) OR G (NOT FIREABLE(t159)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((F (FIREABLE(t166)) OR G (NOT FIREABLE(t159)))))
lola: processed formula length: 54
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 135931 markings, 2092403 edges, 27186 markings/sec, 0 secs
lola: 299226 markings, 4200529 edges, 32659 markings/sec, 5 secs
lola: 504819 markings, 6203307 edges, 41119 markings/sec, 10 secs
lola: 705491 markings, 8105304 edges, 40134 markings/sec, 15 secs
lola: 887411 markings, 9982092 edges, 36384 markings/sec, 20 secs
lola: 1081303 markings, 11879807 edges, 38778 markings/sec, 25 secs
lola: 1257715 markings, 13754811 edges, 35282 markings/sec, 30 secs
lola: 1426749 markings, 15620204 edges, 33807 markings/sec, 35 secs
lola: 1618871 markings, 17530291 edges, 38424 markings/sec, 40 secs
lola: 1791782 markings, 19387519 edges, 34582 markings/sec, 45 secs
lola: 1960529 markings, 21252677 edges, 33749 markings/sec, 50 secs
lola: 2130891 markings, 23117817 edges, 34072 markings/sec, 55 secs
lola: 2290425 markings, 24962850 edges, 31907 markings/sec, 60 secs
lola: 2437847 markings, 26798399 edges, 29484 markings/sec, 65 secs
lola: 2633139 markings, 28707278 edges, 39058 markings/sec, 70 secs
lola: 2809425 markings, 30565262 edges, 35257 markings/sec, 75 secs
lola: 2968761 markings, 32399912 edges, 31867 markings/sec, 80 secs
lola: 3145465 markings, 34261258 edges, 35341 markings/sec, 85 secs
lola: 3305217 markings, 36100489 edges, 31950 markings/sec, 90 secs
lola: 3454947 markings, 37914354 edges, 29946 markings/sec, 95 secs
lola: 3622203 markings, 39781624 edges, 33451 markings/sec, 100 secs
lola: 3784546 markings, 41618872 edges, 32469 markings/sec, 105 secs
lola: 3939093 markings, 43439713 edges, 30909 markings/sec, 110 secs
lola: 4092041 markings, 45280312 edges, 30590 markings/sec, 115 secs
lola: 4243739 markings, 47121327 edges, 30340 markings/sec, 120 secs
lola: 4387907 markings, 48928944 edges, 28834 markings/sec, 125 secs
lola: 4522053 markings, 50718411 edges, 26829 markings/sec, 130 secs
lola: 4717307 markings, 52691722 edges, 39051 markings/sec, 135 secs
lola: 4902885 markings, 54652461 edges, 37116 markings/sec, 140 secs
lola: 5074331 markings, 56599272 edges, 34289 markings/sec, 145 secs
lola: 5257693 markings, 58566597 edges, 36672 markings/sec, 150 secs
lola: 5425559 markings, 60502903 edges, 33573 markings/sec, 155 secs
lola: 5580157 markings, 62417205 edges, 30920 markings/sec, 160 secs
lola: 5764313 markings, 64393298 edges, 36831 markings/sec, 165 secs
lola: 5931847 markings, 66324333 edges, 33507 markings/sec, 170 secs
lola: 6088643 markings, 68244801 edges, 31359 markings/sec, 175 secs
lola: 6253635 markings, 70187343 edges, 32998 markings/sec, 180 secs
lola: 6407787 markings, 72100039 edges, 30830 markings/sec, 185 secs
lola: 6556227 markings, 73999801 edges, 29688 markings/sec, 190 secs
lola: 6715365 markings, 75909392 edges, 31828 markings/sec, 195 secs
lola: 6885327 markings, 77832662 edges, 33992 markings/sec, 200 secs
lola: 7047413 markings, 79709670 edges, 32417 markings/sec, 205 secs
lola: 7203129 markings, 81598584 edges, 31143 markings/sec, 210 secs
lola: 7361973 markings, 83498484 edges, 31769 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1497440 KB
lola: time consumption: 227 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: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1497440 KB
lola: time consumption: 227 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 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G (NOT FIREABLE(t226)) OR (F (NOT FIREABLE(t226)) OR X ((NOT FIREABLE(t226) R NOT FIREABLE(t243))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G (NOT FIREABLE(t226)) OR (F (NOT FIREABLE(t226)) OR X ((NOT FIREABLE(t226) R NOT FIREABLE(t243))))))
lola: processed formula length: 105
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: 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 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t83) AND A ((X (FIREABLE(t207)) OR G (FIREABLE(t235)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(t83)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(t83)
lola: processed formula length: 17
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (FIREABLE(t207)) OR G (FIREABLE(t235))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (FIREABLE(t207)) OR G (FIREABLE(t235))))
lola: processed formula length: 46
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 42 markings, 42 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((F ((FIREABLE(t53) OR ((FIREABLE(t53) U FIREABLE(t289)) AND X ((FIREABLE(t289) AND FIREABLE(t53)))))) AND (X (FIREABLE(t53)) OR (FIREABLE(t53) OR ((FIREABLE(t53) U FIREABLE(t289)) AND X ((FIREABLE(t289) AND FIREABLE(t53))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((F ((FIREABLE(t53) OR ((FIREABLE(t53) U FIREABLE(t289)) AND X ((FIREABLE(t289) AND FIREABLE(t53)))))) AND (X (FIREABLE(t53)) OR (FIREABLE(t53) OR ((FIREABLE(t53) U FIREABLE(t289)) AND X ((FIREABLE(t289) AND FIREABLE(t53))))))))))
lola: processed formula length: 238
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 43 markings, 43 edges
lola: ========================================
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((G (F (NOT FIREABLE(t221))) OR X (X (FIREABLE(t206))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((G (F (NOT FIREABLE(t221))) OR X (X (FIREABLE(t206))))))
lola: processed formula length: 62
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 140773 markings, 2175360 edges, 28155 markings/sec, 0 secs
lola: 293469 markings, 4322868 edges, 30539 markings/sec, 5 secs
lola: 498912 markings, 6239881 edges, 41089 markings/sec, 10 secs
lola: 705058 markings, 8197363 edges, 41229 markings/sec, 15 secs
lola: 885576 markings, 10166085 edges, 36104 markings/sec, 20 secs
lola: 994989 markings, 12158186 edges, 21883 markings/sec, 25 secs
lola: 1115927 markings, 14175410 edges, 24188 markings/sec, 30 secs
lola: 1314704 markings, 16082997 edges, 39755 markings/sec, 35 secs
lola: 1500076 markings, 17940877 edges, 37074 markings/sec, 40 secs
lola: 1680310 markings, 19849514 edges, 36047 markings/sec, 45 secs
lola: 1856016 markings, 21732560 edges, 35141 markings/sec, 50 secs
lola: 1987197 markings, 23636693 edges, 26236 markings/sec, 55 secs
lola: 2084572 markings, 25565012 edges, 19475 markings/sec, 60 secs
lola: 2183790 markings, 27503023 edges, 19844 markings/sec, 65 secs
lola: 2291295 markings, 29469268 edges, 21501 markings/sec, 70 secs
lola: 2462017 markings, 31407931 edges, 34144 markings/sec, 75 secs
lola: 2611997 markings, 33375183 edges, 29996 markings/sec, 80 secs
lola: 2773366 markings, 35400066 edges, 32274 markings/sec, 85 secs
lola: 2936611 markings, 37398763 edges, 32649 markings/sec, 90 secs
lola: 3094974 markings, 39351377 edges, 31673 markings/sec, 95 secs
lola: 3242355 markings, 41286115 edges, 29476 markings/sec, 100 secs
lola: 3404986 markings, 43222261 edges, 32526 markings/sec, 105 secs
lola: 3572423 markings, 45173612 edges, 33487 markings/sec, 110 secs
lola: 3736196 markings, 47127577 edges, 32755 markings/sec, 115 secs
lola: 3894027 markings, 49067446 edges, 31566 markings/sec, 120 secs
lola: 4054005 markings, 51016390 edges, 31996 markings/sec, 125 secs
lola: 4204933 markings, 52921728 edges, 30186 markings/sec, 130 secs
lola: 4346308 markings, 54845333 edges, 28275 markings/sec, 135 secs
lola: 4483770 markings, 56784432 edges, 27492 markings/sec, 140 secs
lola: 4616656 markings, 58711549 edges, 26577 markings/sec, 145 secs
lola: 4747228 markings, 60630534 edges, 26114 markings/sec, 150 secs
lola: 4874171 markings, 62530611 edges, 25389 markings/sec, 155 secs
lola: 4998806 markings, 64430462 edges, 24927 markings/sec, 160 secs
lola: 5121849 markings, 66319068 edges, 24609 markings/sec, 165 secs
lola: 5246232 markings, 68215839 edges, 24877 markings/sec, 170 secs
lola: 5368264 markings, 70111848 edges, 24406 markings/sec, 175 secs
lola: 5489374 markings, 72012538 edges, 24222 markings/sec, 180 secs
lola: 5607410 markings, 73903448 edges, 23607 markings/sec, 185 secs
lola: 5722674 markings, 75786565 edges, 23053 markings/sec, 190 secs
lola: 5839770 markings, 77682837 edges, 23419 markings/sec, 195 secs
lola: 5955986 markings, 79580322 edges, 23243 markings/sec, 200 secs
lola: 6070241 markings, 81470060 edges, 22851 markings/sec, 205 secs
lola: 6181787 markings, 83337630 edges, 22309 markings/sec, 210 secs
lola: 6293427 markings, 85236018 edges, 22328 markings/sec, 215 secs
lola: 6398853 markings, 87095360 edges, 21085 markings/sec, 220 secs
lola: 6506897 markings, 88967788 edges, 21609 markings/sec, 225 secs
lola: 6613248 markings, 90843518 edges, 21270 markings/sec, 230 secs
lola: 6715560 markings, 92712307 edges, 20462 markings/sec, 235 secs
lola: 6819441 markings, 94600570 edges, 20776 markings/sec, 240 secs
lola: 6920170 markings, 96472030 edges, 20146 markings/sec, 245 secs
lola: 7070244 markings, 98368031 edges, 30015 markings/sec, 250 secs
lola: 7249852 markings, 100241844 edges, 35922 markings/sec, 255 secs
lola: 7423420 markings, 102080274 edges, 34714 markings/sec, 260 secs
lola: 7596712 markings, 103984367 edges, 34658 markings/sec, 265 secs
lola: 7764360 markings, 105900039 edges, 33530 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown unknown unknown unknown unknown no unknown unknown no unknown unknown unknown unknown
lola: memory consumption: 1565376 KB
lola: time consumption: 505 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (((FIREABLE(t247) OR FIREABLE(t15)) OR X (FIREABLE(t193))))) AND A (X ((X (FIREABLE(t247)) U FIREABLE(t193)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((FIREABLE(t247) OR FIREABLE(t15)) OR X (FIREABLE(t193)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (((FIREABLE(t247) OR FIREABLE(t15)) OR X (FIREABLE(t193)))))
lola: processed formula length: 66
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 42 markings, 42 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 6 will run for 306 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (FIREABLE(t295))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (FIREABLE(t295))))
lola: processed formula length: 26
lola: 83 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: 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 7 will run for 340 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t215)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: NOT FIREABLE(t215)
lola: processed formula length: 18
lola: 85 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 42 markings, 41 edges
lola: ========================================
lola: subprocess 8 will run for 383 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t118)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: NOT FIREABLE(t118)
lola: processed formula length: 18
lola: 85 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 42 markings, 41 edges
lola: ========================================
lola: subprocess 9 will run for 437 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (FIREABLE(t48))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (FIREABLE(t48))))
lola: processed formula length: 25
lola: 83 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: 43 markings, 44 edges
lola: ========================================
lola: subprocess 10 will run for 510 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((NOT FIREABLE(t243) OR (G (F ((NOT FIREABLE(t111) AND (F (G (FIREABLE(t111))) OR G (NOT FIREABLE(t111)))))) AND F (NOT FIREABLE(t243)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((NOT FIREABLE(t243) OR (G (F ((NOT FIREABLE(t111) AND (F (G (FIREABLE(t111))) OR G (NOT FIREABLE(t111)))))) AND F (NOT FIREABLE(t243)))))
lola: processed formula length: 140
lola: 83 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: 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 613 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t239) AND G (NOT FIREABLE(t43))) OR ((FIREABLE(t239) AND FIREABLE(t43)) OR (G (FIREABLE(t239)) AND F ((FIREABLE(t239) AND FIREABLE(t43)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t239) AND G (NOT FIREABLE(t43))) OR ((FIREABLE(t239) AND FIREABLE(t43)) OR (G (FIREABLE(t239)) AND F ((FIREABLE(t239) AND FIREABLE(t43)))))))
lola: processed formula length: 155
lola: 83 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: 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: 42 markings, 42 edges
lola: ========================================
lola: subprocess 12 will run for 766 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((F ((FIREABLE(t235) OR F (FIREABLE(t89)))) AND (FIREABLE(t273) OR (FIREABLE(t235) OR F (FIREABLE(t89))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((F ((FIREABLE(t235) OR F (FIREABLE(t89)))) AND (FIREABLE(t273) OR (FIREABLE(t235) OR F (FIREABLE(t89))))))))
lola: processed formula length: 117
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 44 markings, 46 edges
lola: ========================================
lola: subprocess 13 will run for 1021 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((NOT FIREABLE(t78) OR (NOT FIREABLE(t182) R F (FIREABLE(t52)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((NOT FIREABLE(t78) OR (NOT FIREABLE(t182) R F (FIREABLE(t52)))))))
lola: processed formula length: 75
lola: 83 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: 78631 markings, 1979795 edges, 15726 markings/sec, 0 secs
lola: 147101 markings, 3957974 edges, 13694 markings/sec, 5 secs
lola: 209131 markings, 5939261 edges, 12406 markings/sec, 10 secs
lola: 278898 markings, 7895606 edges, 13953 markings/sec, 15 secs
lola: 337623 markings, 9872774 edges, 11745 markings/sec, 20 secs
lola: 395274 markings, 11839488 edges, 11530 markings/sec, 25 secs
lola: 457360 markings, 13793362 edges, 12417 markings/sec, 30 secs
lola: 518286 markings, 15756240 edges, 12185 markings/sec, 35 secs
lola: 575013 markings, 17707519 edges, 11345 markings/sec, 40 secs
lola: 631886 markings, 19692823 edges, 11375 markings/sec, 45 secs
lola: 684388 markings, 21643134 edges, 10500 markings/sec, 50 secs
lola: 740993 markings, 23598975 edges, 11321 markings/sec, 55 secs
lola: 795071 markings, 25559052 edges, 10816 markings/sec, 60 secs
lola: 853914 markings, 27481694 edges, 11769 markings/sec, 65 secs
lola: 914798 markings, 29444859 edges, 12177 markings/sec, 70 secs
lola: 971425 markings, 31403502 edges, 11325 markings/sec, 75 secs
lola: 1027669 markings, 33387446 edges, 11249 markings/sec, 80 secs
lola: 1079577 markings, 35334011 edges, 10382 markings/sec, 85 secs
lola: 1135700 markings, 37293163 edges, 11225 markings/sec, 90 secs
lola: 1190397 markings, 39273904 edges, 10939 markings/sec, 95 secs
lola: 1242381 markings, 41245444 edges, 10397 markings/sec, 100 secs
lola: 1293484 markings, 43205471 edges, 10221 markings/sec, 105 secs
lola: 1340754 markings, 45112724 edges, 9454 markings/sec, 110 secs
lola: 1395043 markings, 47046277 edges, 10858 markings/sec, 115 secs
lola: 1447974 markings, 48996002 edges, 10586 markings/sec, 120 secs
lola: 1500175 markings, 50962107 edges, 10440 markings/sec, 125 secs
lola: 1551426 markings, 52934072 edges, 10250 markings/sec, 130 secs
lola: 1598732 markings, 54837831 edges, 9461 markings/sec, 135 secs
lola: 1664578 markings, 56754191 edges, 13169 markings/sec, 140 secs
lola: 1728398 markings, 58673031 edges, 12764 markings/sec, 145 secs
lola: 1783570 markings, 60650318 edges, 11034 markings/sec, 150 secs
lola: 1840622 markings, 62609063 edges, 11410 markings/sec, 155 secs
lola: 1894553 markings, 64548185 edges, 10786 markings/sec, 160 secs
lola: 1950032 markings, 66484785 edges, 11096 markings/sec, 165 secs
lola: 2003606 markings, 68453781 edges, 10715 markings/sec, 170 secs
lola: 2056102 markings, 70436186 edges, 10499 markings/sec, 175 secs
lola: 2107318 markings, 72402220 edges, 10243 markings/sec, 180 secs
lola: 2155296 markings, 74317477 edges, 9596 markings/sec, 185 secs
lola: 2208616 markings, 76263875 edges, 10664 markings/sec, 190 secs
lola: 2262196 markings, 78238380 edges, 10716 markings/sec, 195 secs
lola: 2314081 markings, 80206541 edges, 10377 markings/sec, 200 secs
lola: 2364506 markings, 82171225 edges, 10085 markings/sec, 205 secs
lola: 2413919 markings, 84153981 edges, 9883 markings/sec, 210 secs
lola: 2464524 markings, 86129673 edges, 10121 markings/sec, 215 secs
lola: 2515034 markings, 88078007 edges, 10102 markings/sec, 220 secs
lola: 2561845 markings, 90040699 edges, 9362 markings/sec, 225 secs
lola: 2610064 markings, 91971848 edges, 9644 markings/sec, 230 secs
lola: 2655598 markings, 93894514 edges, 9107 markings/sec, 235 secs
lola: 2700930 markings, 95782398 edges, 9066 markings/sec, 240 secs
lola: 2754893 markings, 97731119 edges, 10793 markings/sec, 245 secs
lola: 2807529 markings, 99693594 edges, 10527 markings/sec, 250 secs
lola: 2859433 markings, 101645307 edges, 10381 markings/sec, 255 secs
lola: 2909895 markings, 103601450 edges, 10092 markings/sec, 260 secs
lola: 2957264 markings, 105559504 edges, 9474 markings/sec, 265 secs
lola: 3009211 markings, 107502039 edges, 10389 markings/sec, 270 secs
lola: 3058445 markings, 109458393 edges, 9847 markings/sec, 275 secs
lola: 3106472 markings, 111402998 edges, 9605 markings/sec, 280 secs
lola: 3152001 markings, 113312311 edges, 9106 markings/sec, 285 secs
lola: 3196464 markings, 115186272 edges, 8893 markings/sec, 290 secs
lola: 3255159 markings, 117077662 edges, 11739 markings/sec, 295 secs
lola: 3323664 markings, 118997084 edges, 13701 markings/sec, 300 secs
lola: 3388469 markings, 120898751 edges, 12961 markings/sec, 305 secs
lola: 3445294 markings, 122808314 edges, 11365 markings/sec, 310 secs
lola: 3499041 markings, 124784014 edges, 10749 markings/sec, 315 secs
lola: 3549298 markings, 126729481 edges, 10051 markings/sec, 320 secs
lola: 3606970 markings, 128681652 edges, 11534 markings/sec, 325 secs
lola: 3661521 markings, 130640415 edges, 10910 markings/sec, 330 secs
lola: 3715153 markings, 132590282 edges, 10726 markings/sec, 335 secs
lola: 3766067 markings, 134521706 edges, 10183 markings/sec, 340 secs
lola: 3814595 markings, 136419598 edges, 9706 markings/sec, 345 secs
lola: 3869426 markings, 138353693 edges, 10966 markings/sec, 350 secs
lola: 3922166 markings, 140315880 edges, 10548 markings/sec, 355 secs
lola: 3975047 markings, 142284512 edges, 10576 markings/sec, 360 secs
lola: 4025991 markings, 144262814 edges, 10189 markings/sec, 365 secs
lola: 4074904 markings, 146251335 edges, 9783 markings/sec, 370 secs
lola: 4126759 markings, 148214794 edges, 10371 markings/sec, 375 secs
lola: 4177049 markings, 150190892 edges, 10058 markings/sec, 380 secs
lola: 4225168 markings, 152148219 edges, 9624 markings/sec, 385 secs
lola: 4272055 markings, 154073941 edges, 9377 markings/sec, 390 secs
lola: 4316339 markings, 155974230 edges, 8857 markings/sec, 395 secs
lola: 4368225 markings, 157909635 edges, 10377 markings/sec, 400 secs
lola: 4420813 markings, 159873186 edges, 10518 markings/sec, 405 secs
lola: 4472504 markings, 161820275 edges, 10338 markings/sec, 410 secs
lola: 4522513 markings, 163814974 edges, 10002 markings/sec, 415 secs
lola: 4572032 markings, 165790391 edges, 9904 markings/sec, 420 secs
lola: 4622466 markings, 167765087 edges, 10087 markings/sec, 425 secs
lola: 4672390 markings, 169743283 edges, 9985 markings/sec, 430 secs
lola: 4719774 markings, 171708482 edges, 9477 markings/sec, 435 secs
lola: 4768955 markings, 173697801 edges, 9836 markings/sec, 440 secs
lola: 4815437 markings, 175689825 edges, 9296 markings/sec, 445 secs
lola: 4861569 markings, 177659785 edges, 9226 markings/sec, 450 secs
lola: 4911940 markings, 179631778 edges, 10074 markings/sec, 455 secs
lola: 4960824 markings, 181591553 edges, 9777 markings/sec, 460 secs
lola: 5009286 markings, 183549039 edges, 9692 markings/sec, 465 secs
lola: 5055441 markings, 185530120 edges, 9231 markings/sec, 470 secs
lola: 5101093 markings, 187497486 edges, 9130 markings/sec, 475 secs
lola: 5148291 markings, 189443919 edges, 9440 markings/sec, 480 secs
lola: 5193999 markings, 191380561 edges, 9142 markings/sec, 485 secs
lola: 5237764 markings, 193298699 edges, 8753 markings/sec, 490 secs
lola: 5281751 markings, 195206759 edges, 8797 markings/sec, 495 secs
lola: 5324031 markings, 197102028 edges, 8456 markings/sec, 500 secs
lola: 5364486 markings, 198993742 edges, 8091 markings/sec, 505 secs
lola: 5414289 markings, 200922564 edges, 9961 markings/sec, 510 secs
lola: 5466948 markings, 202879749 edges, 10532 markings/sec, 515 secs
lola: 5517488 markings, 204823661 edges, 10108 markings/sec, 520 secs
lola: 5567605 markings, 206788462 edges, 10023 markings/sec, 525 secs
lola: 5616412 markings, 208740617 edges, 9761 markings/sec, 530 secs
lola: 5665720 markings, 210690269 edges, 9862 markings/sec, 535 secs
lola: 5714900 markings, 212640004 edges, 9836 markings/sec, 540 secs
lola: 5762372 markings, 214584846 edges, 9494 markings/sec, 545 secs
lola: 5810548 markings, 216547065 edges, 9635 markings/sec, 550 secs
lola: 5856286 markings, 218517863 edges, 9148 markings/sec, 555 secs
lola: 5900370 markings, 220466971 edges, 8817 markings/sec, 560 secs
lola: 5950594 markings, 222408993 edges, 10045 markings/sec, 565 secs
lola: 5998442 markings, 224329341 edges, 9570 markings/sec, 570 secs
lola: 6045334 markings, 226242816 edges, 9378 markings/sec, 575 secs
lola: 6091326 markings, 228182149 edges, 9198 markings/sec, 580 secs
lola: 6136329 markings, 230109727 edges, 9001 markings/sec, 585 secs
lola: 6181146 markings, 232023905 edges, 8963 markings/sec, 590 secs
lola: 6225786 markings, 233922554 edges, 8928 markings/sec, 595 secs
lola: 6270180 markings, 235808835 edges, 8879 markings/sec, 600 secs
lola: 6313091 markings, 237682672 edges, 8582 markings/sec, 605 secs
lola: 6354239 markings, 239541152 edges, 8230 markings/sec, 610 secs
lola: 6394840 markings, 241386607 edges, 8120 markings/sec, 615 secs
lola: 6439305 markings, 243230580 edges, 8893 markings/sec, 620 secs
lola: 6510596 markings, 245139670 edges, 14258 markings/sec, 625 secs
lola: 6576158 markings, 247049012 edges, 13112 markings/sec, 630 secs
lola: 6640217 markings, 248968057 edges, 12812 markings/sec, 635 secs
lola: 6704269 markings, 250871277 edges, 12810 markings/sec, 640 secs
lola: 6764195 markings, 252756413 edges, 11985 markings/sec, 645 secs
lola: 6818546 markings, 254600751 edges, 10870 markings/sec, 650 secs
lola: 6874078 markings, 256560648 edges, 11106 markings/sec, 655 secs
lola: 6926901 markings, 258545402 edges, 10565 markings/sec, 660 secs
lola: 6978446 markings, 260528442 edges, 10309 markings/sec, 665 secs
lola: 7028648 markings, 262500604 edges, 10040 markings/sec, 670 secs
lola: 7075374 markings, 264419745 edges, 9345 markings/sec, 675 secs
lola: 7130944 markings, 266345317 edges, 11114 markings/sec, 680 secs
lola: 7185371 markings, 268286555 edges, 10885 markings/sec, 685 secs
lola: 7238652 markings, 270232437 edges, 10656 markings/sec, 690 secs
lola: 7290576 markings, 272177131 edges, 10385 markings/sec, 695 secs
lola: 7340105 markings, 274133663 edges, 9906 markings/sec, 700 secs
lola: 7393234 markings, 276069931 edges, 10626 markings/sec, 705 secs
lola: 7443681 markings, 278008285 edges, 10089 markings/sec, 710 secs
lola: 7492767 markings, 279939566 edges, 9817 markings/sec, 715 secs
lola: 7540289 markings, 281833889 edges, 9504 markings/sec, 720 secs
lola: 7585998 markings, 283709752 edges, 9142 markings/sec, 725 secs
lola: 7635608 markings, 285602978 edges, 9922 markings/sec, 730 secs
lola: 7689242 markings, 287533930 edges, 10727 markings/sec, 735 secs
lola: 7739046 markings, 289445891 edges, 9961 markings/sec, 740 secs
lola: 7792029 markings, 291399085 edges, 10597 markings/sec, 745 secs
lola: 7841208 markings, 293343862 edges, 9836 markings/sec, 750 secs
lola: 7890450 markings, 295277549 edges, 9848 markings/sec, 755 secs
lola: 7940892 markings, 297222883 edges, 10088 markings/sec, 760 secs
lola: 7989190 markings, 299154409 edges, 9660 markings/sec, 765 secs
lola: 8037742 markings, 301108060 edges, 9710 markings/sec, 770 secs
lola: 8084533 markings, 303061271 edges, 9358 markings/sec, 775 secs
lola: 8128950 markings, 305000291 edges, 8883 markings/sec, 780 secs
lola: 8180446 markings, 306934469 edges, 10299 markings/sec, 785 secs
lola: 8229437 markings, 308858511 edges, 9798 markings/sec, 790 secs
lola: 8276625 markings, 310779362 edges, 9438 markings/sec, 795 secs
lola: 8324302 markings, 312722363 edges, 9535 markings/sec, 800 secs
lola: 8370250 markings, 314657384 edges, 9190 markings/sec, 805 secs
lola: 8416068 markings, 316568644 edges, 9164 markings/sec, 810 secs
lola: 8461763 markings, 318467850 edges, 9139 markings/sec, 815 secs
lola: 8506534 markings, 320362228 edges, 8954 markings/sec, 820 secs
lola: 8550054 markings, 322235279 edges, 8704 markings/sec, 825 secs
lola: 8592087 markings, 324094897 edges, 8407 markings/sec, 830 secs
lola: 8633854 markings, 325951879 edges, 8353 markings/sec, 835 secs
lola: 8681098 markings, 327820787 edges, 9449 markings/sec, 840 secs
lola: 8733009 markings, 329754652 edges, 10382 markings/sec, 845 secs
lola: 8781052 markings, 331683171 edges, 9609 markings/sec, 850 secs
lola: 8830929 markings, 333600563 edges, 9975 markings/sec, 855 secs
lola: 8878485 markings, 335510234 edges, 9511 markings/sec, 860 secs
lola: 8925642 markings, 337402739 edges, 9431 markings/sec, 865 secs
lola: 8976258 markings, 339350325 edges, 10123 markings/sec, 870 secs
lola: 9023460 markings, 341297073 edges, 9440 markings/sec, 875 secs
lola: 9069555 markings, 343227567 edges, 9219 markings/sec, 880 secs
lola: 9114137 markings, 345152742 edges, 8916 markings/sec, 885 secs
lola: 9159380 markings, 347070724 edges, 9049 markings/sec, 890 secs
lola: 9207771 markings, 348987045 edges, 9678 markings/sec, 895 secs
lola: 9256265 markings, 350927136 edges, 9699 markings/sec, 900 secs
lola: 9301934 markings, 352862449 edges, 9134 markings/sec, 905 secs
lola: 9348650 markings, 354785109 edges, 9343 markings/sec, 910 secs
lola: 9393338 markings, 356709058 edges, 8938 markings/sec, 915 secs
lola: 9436641 markings, 358613034 edges, 8661 markings/sec, 920 secs
lola: 9484869 markings, 360552484 edges, 9646 markings/sec, 925 secs
lola: 9530192 markings, 362497272 edges, 9065 markings/sec, 930 secs
lola: 9572194 markings, 364439584 edges, 8400 markings/sec, 935 secs
lola: 9616706 markings, 366376427 edges, 8902 markings/sec, 940 secs
lola: 9659176 markings, 368305048 edges, 8494 markings/sec, 945 secs
lola: 9699936 markings, 370215630 edges, 8152 markings/sec, 950 secs
lola: 9750386 markings, 372139117 edges, 10090 markings/sec, 955 secs
lola: 9797566 markings, 374064184 edges, 9436 markings/sec, 960 secs
lola: 9842497 markings, 375977762 edges, 8986 markings/sec, 965 secs
lola: 9888454 markings, 377888257 edges, 9191 markings/sec, 970 secs
lola: 9932742 markings, 379790637 edges, 8858 markings/sec, 975 secs
lola: 9977593 markings, 381677501 edges, 8970 markings/sec, 980 secs
lola: 10024257 markings, 383618232 edges, 9333 markings/sec, 985 secs
lola: 10068312 markings, 385555537 edges, 8811 markings/sec, 990 secs
lola: 10111063 markings, 387479000 edges, 8550 markings/sec, 995 secs
lola: 10153888 markings, 389396133 edges, 8565 markings/sec, 1000 secs
lola: 10195734 markings, 391304948 edges, 8369 markings/sec, 1005 secs
lola: 10238061 markings, 393192781 edges, 8465 markings/sec, 1010 secs
lola: 10284207 markings, 395091878 edges, 9229 markings/sec, 1015 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown no no unknown no no no no no yes unknown no yes
lola: memory consumption: 1949196 KB
lola: time consumption: 1526 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 14 will run for 1021 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (FIREABLE(t150)) U (NOT FIREABLE(t135) OR G ((NOT FIREABLE(t135) OR NOT FIREABLE(t31))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (FIREABLE(t150)) U (NOT FIREABLE(t135) OR G ((NOT FIREABLE(t135) OR NOT FIREABLE(t31))))))
lola: processed formula length: 97
lola: 83 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 15 will run for 2043 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (F ((NOT FIREABLE(t280) OR F (NOT FIREABLE(t197)))))) AND A (F (FIREABLE(t130))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2043 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t130)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: NOT FIREABLE(t130)
lola: processed formula length: 18
lola: 85 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 42 markings, 41 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (A (X (NOT FIREABLE(t159))) AND (A (X ((F (FIREABLE(t166)) OR G (NOT FIREABLE(t159))))) AND A (F (FIREABLE(t72)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t72)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: NOT FIREABLE(t72)
lola: processed formula length: 17
lola: 85 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (NOT FIREABLE(t159)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (NOT FIREABLE(t159)))
lola: processed formula length: 26
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X ((F (FIREABLE(t166)) OR G (NOT FIREABLE(t159)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((F (FIREABLE(t166)) OR G (NOT FIREABLE(t159)))))
lola: processed formula length: 54
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 140846 markings, 2176674 edges, 28169 markings/sec, 0 secs
lola: 304806 markings, 4276024 edges, 32792 markings/sec, 5 secs
lola: 512137 markings, 6270295 edges, 41466 markings/sec, 10 secs
lola: 710189 markings, 8155970 edges, 39610 markings/sec, 15 secs
lola: 891719 markings, 10020080 edges, 36306 markings/sec, 20 secs
lola: 1083323 markings, 11900705 edges, 38321 markings/sec, 25 secs
lola: 1256301 markings, 13737929 edges, 34596 markings/sec, 30 secs
lola: 1420073 markings, 15559680 edges, 32754 markings/sec, 35 secs
lola: 1610873 markings, 17446731 edges, 38160 markings/sec, 40 secs
lola: 1782055 markings, 19272646 edges, 34236 markings/sec, 45 secs
lola: 1944404 markings, 21091415 edges, 32470 markings/sec, 50 secs
lola: 2114285 markings, 22931574 edges, 33976 markings/sec, 55 secs
lola: 2271143 markings, 24730869 edges, 31372 markings/sec, 60 secs
lola: 2415767 markings, 26503396 edges, 28925 markings/sec, 65 secs
lola: 2599799 markings, 28366250 edges, 36806 markings/sec, 70 secs
lola: 2773133 markings, 30186472 edges, 34667 markings/sec, 75 secs
lola: 2935258 markings, 31981698 edges, 32425 markings/sec, 80 secs
lola: 3102043 markings, 33801448 edges, 33357 markings/sec, 85 secs
lola: 3260893 markings, 35597030 edges, 31770 markings/sec, 90 secs
lola: 3410919 markings, 37362469 edges, 30005 markings/sec, 95 secs
lola: 3566025 markings, 39159085 edges, 31021 markings/sec, 100 secs
lola: 3728571 markings, 40975103 edges, 32509 markings/sec, 105 secs
lola: 3880051 markings, 42736408 edges, 30296 markings/sec, 110 secs
lola: 4020313 markings, 44490627 edges, 28052 markings/sec, 115 secs
lola: 4176837 markings, 46288504 edges, 31305 markings/sec, 120 secs
lola: 4317253 markings, 48040125 edges, 28083 markings/sec, 125 secs
lola: 4452241 markings, 49765693 edges, 26998 markings/sec, 130 secs
lola: 4601958 markings, 51552253 edges, 29943 markings/sec, 135 secs
lola: 4790943 markings, 53484698 edges, 37797 markings/sec, 140 secs
lola: 4967085 markings, 55360547 edges, 35228 markings/sec, 145 secs
lola: 5138241 markings, 57248234 edges, 34231 markings/sec, 150 secs
lola: 5306623 markings, 59137650 edges, 33676 markings/sec, 155 secs
lola: 5465319 markings, 60984608 edges, 31739 markings/sec, 160 secs
lola: 5618921 markings, 62827832 edges, 30720 markings/sec, 165 secs
lola: 5794217 markings, 64737460 edges, 35059 markings/sec, 170 secs
lola: 5953661 markings, 66582425 edges, 31889 markings/sec, 175 secs
lola: 6101109 markings, 68412984 edges, 29490 markings/sec, 180 secs
lola: 6261873 markings, 70282109 edges, 32153 markings/sec, 185 secs
lola: 6408535 markings, 72108448 edges, 29332 markings/sec, 190 secs
lola: 6549687 markings, 73911833 edges, 28230 markings/sec, 195 secs
lola: 6700167 markings, 75757584 edges, 30096 markings/sec, 200 secs
lola: 6869305 markings, 77636718 edges, 33828 markings/sec, 205 secs
lola: 7025361 markings, 79456506 edges, 31211 markings/sec, 210 secs
lola: 7173223 markings, 81273735 edges, 29572 markings/sec, 215 secs
lola: 7332095 markings, 83124876 edges, 31774 markings/sec, 220 secs
lola: 7476795 markings, 84930907 edges, 28940 markings/sec, 225 secs
lola: 7614047 markings, 86710790 edges, 27450 markings/sec, 230 secs
lola: 7761409 markings, 88542595 edges, 29472 markings/sec, 235 secs
lola: 7912613 markings, 90386698 edges, 30241 markings/sec, 240 secs
lola: 8055582 markings, 92176633 edges, 28594 markings/sec, 245 secs
lola: 8188791 markings, 93955044 edges, 26642 markings/sec, 250 secs
lola: 8331975 markings, 95778959 edges, 28637 markings/sec, 255 secs
lola: 8464993 markings, 97569328 edges, 26604 markings/sec, 260 secs
lola: 8595191 markings, 99325764 edges, 26040 markings/sec, 265 secs
lola: 8716285 markings, 101064893 edges, 24219 markings/sec, 270 secs
lola: 8907371 markings, 102988611 edges, 38217 markings/sec, 275 secs
lola: 9086327 markings, 104869575 edges, 35791 markings/sec, 280 secs
lola: 9249305 markings, 106729095 edges, 32596 markings/sec, 285 secs
lola: 9427105 markings, 108618144 edges, 35560 markings/sec, 290 secs
lola: 9587585 markings, 110466611 edges, 32096 markings/sec, 295 secs
lola: 9739271 markings, 112295159 edges, 30337 markings/sec, 300 secs
lola: 9908225 markings, 114185351 edges, 33791 markings/sec, 305 secs
lola: 10072089 markings, 116041356 edges, 32773 markings/sec, 310 secs
lola: 10226339 markings, 117858513 edges, 30850 markings/sec, 315 secs
lola: 10379075 markings, 119696478 edges, 30547 markings/sec, 320 secs
lola: 10530705 markings, 121535819 edges, 30326 markings/sec, 325 secs
lola: 10674037 markings, 123333562 edges, 28666 markings/sec, 330 secs
lola: 10807553 markings, 125112018 edges, 26703 markings/sec, 335 secs
lola: 10979219 markings, 127004384 edges, 34333 markings/sec, 340 secs
lola: 11140303 markings, 128842701 edges, 32217 markings/sec, 345 secs
lola: 11290771 markings, 130646299 edges, 30094 markings/sec, 350 secs
lola: 11444939 markings, 132478211 edges, 30834 markings/sec, 355 secs
lola: 11593345 markings, 134300902 edges, 29681 markings/sec, 360 secs
lola: 11735147 markings, 136083874 edges, 28360 markings/sec, 365 secs
lola: 11867253 markings, 137855584 edges, 26421 markings/sec, 370 secs
lola: 12027275 markings, 139730862 edges, 32004 markings/sec, 375 secs
lola: 12173431 markings, 141552201 edges, 29231 markings/sec, 380 secs
lola: 12314087 markings, 143342938 edges, 28131 markings/sec, 385 secs
lola: 12451799 markings, 145154346 edges, 27542 markings/sec, 390 secs
lola: 12593307 markings, 146983042 edges, 28302 markings/sec, 395 secs
lola: 12726077 markings, 148776706 edges, 26554 markings/sec, 400 secs
lola: 12853499 markings, 150553261 edges, 25484 markings/sec, 405 secs
lola: 13001573 markings, 152401569 edges, 29615 markings/sec, 410 secs
lola: 13170913 markings, 154305715 edges, 33868 markings/sec, 415 secs
lola: 13326629 markings, 156116924 edges, 31143 markings/sec, 420 secs
lola: 13476585 markings, 157946978 edges, 29991 markings/sec, 425 secs
lola: 13633617 markings, 159794516 edges, 31406 markings/sec, 430 secs
lola: 13778809 markings, 161618570 edges, 29038 markings/sec, 435 secs
lola: 13917933 markings, 163423364 edges, 27825 markings/sec, 440 secs
lola: 14068631 markings, 165272662 edges, 30140 markings/sec, 445 secs
lola: 14219933 markings, 167138299 edges, 30260 markings/sec, 450 secs
lola: 14365937 markings, 168982977 edges, 29201 markings/sec, 455 secs
lola: 14503175 markings, 170829531 edges, 27448 markings/sec, 460 secs
lola: 14654337 markings, 172717559 edges, 30232 markings/sec, 465 secs
lola: 14791373 markings, 174565589 edges, 27407 markings/sec, 470 secs
lola: 14924127 markings, 176389016 edges, 26551 markings/sec, 475 secs
lola: 15058263 markings, 178231606 edges, 26827 markings/sec, 480 secs
lola: 15217873 markings, 180126670 edges, 31922 markings/sec, 485 secs
lola: 15364271 markings, 181951960 edges, 29280 markings/sec, 490 secs
lola: 15501891 markings, 183756243 edges, 27524 markings/sec, 495 secs
lola: 15644691 markings, 185594032 edges, 28560 markings/sec, 500 secs
lola: 15781589 markings, 187409192 edges, 27380 markings/sec, 505 secs
lola: 15912885 markings, 189181798 edges, 26259 markings/sec, 510 secs
lola: 16037059 markings, 190950091 edges, 24835 markings/sec, 515 secs
lola: 16178293 markings, 192791236 edges, 28247 markings/sec, 520 secs
lola: 16314191 markings, 194603031 edges, 27180 markings/sec, 525 secs
lola: 16445125 markings, 196370452 edges, 26187 markings/sec, 530 secs
lola: 16568541 markings, 198135937 edges, 24683 markings/sec, 535 secs
lola: 16700613 markings, 199947077 edges, 26414 markings/sec, 540 secs
lola: 16826123 markings, 201740432 edges, 25102 markings/sec, 545 secs
lola: 16948025 markings, 203499232 edges, 24380 markings/sec, 550 secs
lola: 17063165 markings, 205243082 edges, 23028 markings/sec, 555 secs
lola: 17220989 markings, 207102446 edges, 31565 markings/sec, 560 secs
lola: 17406918 markings, 209027915 edges, 37186 markings/sec, 565 secs
lola: 17580039 markings, 210911155 edges, 34624 markings/sec, 570 secs
lola: 17755227 markings, 212820575 edges, 35038 markings/sec, 575 secs
lola: 17920137 markings, 214703261 edges, 32982 markings/sec, 580 secs
lola: 18078009 markings, 216543356 edges, 31574 markings/sec, 585 secs
lola: 18239223 markings, 218418927 edges, 32243 markings/sec, 590 secs
lola: 18408289 markings, 220314675 edges, 33813 markings/sec, 595 secs
lola: 18564945 markings, 222143148 edges, 31331 markings/sec, 600 secs
lola: 18715167 markings, 223976568 edges, 30044 markings/sec, 605 secs
lola: 18873399 markings, 225838097 edges, 31646 markings/sec, 610 secs
lola: 19018031 markings, 227656698 edges, 28926 markings/sec, 615 secs
lola: 19156777 markings, 229455784 edges, 27749 markings/sec, 620 secs
lola: 19317665 markings, 231324522 edges, 32178 markings/sec, 625 secs
lola: 19480097 markings, 233190526 edges, 32486 markings/sec, 630 secs
lola: 19638985 markings, 235023514 edges, 31778 markings/sec, 635 secs
lola: 19791789 markings, 236872024 edges, 30561 markings/sec, 640 secs
lola: 19947123 markings, 238735376 edges, 31067 markings/sec, 645 secs
lola: 20092831 markings, 240558936 edges, 29142 markings/sec, 650 secs
lola: 20228961 markings, 242362651 edges, 27226 markings/sec, 655 secs
lola: 20385901 markings, 244255154 edges, 31388 markings/sec, 660 secs
lola: 20535829 markings, 246116691 edges, 29986 markings/sec, 665 secs
lola: 20680405 markings, 247935781 edges, 28915 markings/sec, 670 secs
lola: 20818686 markings, 249769853 edges, 27656 markings/sec, 675 secs
lola: 20964759 markings, 251633172 edges, 29215 markings/sec, 680 secs
lola: 21099723 markings, 253456311 edges, 26993 markings/sec, 685 secs
lola: 21228599 markings, 255243780 edges, 25775 markings/sec, 690 secs
lola: 21372377 markings, 257091179 edges, 28756 markings/sec, 695 secs
lola: 21545439 markings, 259017699 edges, 34612 markings/sec, 700 secs
lola: 21705749 markings, 260894782 edges, 32062 markings/sec, 705 secs
lola: 21860569 markings, 262776943 edges, 30964 markings/sec, 710 secs
lola: 22021623 markings, 264678161 edges, 32211 markings/sec, 715 secs
lola: 22171355 markings, 266549157 edges, 29946 markings/sec, 720 secs
lola: 22313001 markings, 268405214 edges, 28329 markings/sec, 725 secs
lola: 22469615 markings, 270314390 edges, 31323 markings/sec, 730 secs
lola: 22620277 markings, 272205175 edges, 30132 markings/sec, 735 secs
lola: 22768525 markings, 274054131 edges, 29650 markings/sec, 740 secs
lola: 22908867 markings, 275915090 edges, 28068 markings/sec, 745 secs
lola: 23056639 markings, 277799589 edges, 29554 markings/sec, 750 secs
lola: 23193763 markings, 279650644 edges, 27425 markings/sec, 755 secs
lola: 23325829 markings, 281485153 edges, 26413 markings/sec, 760 secs
lola: 23468009 markings, 283363145 edges, 28436 markings/sec, 765 secs
lola: 23625457 markings, 285258929 edges, 31490 markings/sec, 770 secs
lola: 23773673 markings, 287120507 edges, 29643 markings/sec, 775 secs
lola: 23912539 markings, 288978859 edges, 27773 markings/sec, 780 secs
lola: 24060902 markings, 290872923 edges, 29673 markings/sec, 785 secs
lola: 24199991 markings, 292735417 edges, 27818 markings/sec, 790 secs
lola: 24335635 markings, 294573964 edges, 27129 markings/sec, 795 secs
lola: 24462945 markings, 296405089 edges, 25462 markings/sec, 800 secs
lola: 24615853 markings, 298332891 edges, 30582 markings/sec, 805 secs
lola: 24754675 markings, 300200421 edges, 27764 markings/sec, 810 secs
lola: 24887795 markings, 302038525 edges, 26624 markings/sec, 815 secs
lola: 25018557 markings, 303894149 edges, 26152 markings/sec, 820 secs
lola: 25154673 markings, 305775145 edges, 27223 markings/sec, 825 secs
lola: 25282019 markings, 307622424 edges, 25469 markings/sec, 830 secs
lola: 25405193 markings, 309449286 edges, 24635 markings/sec, 835 secs
lola: 25535045 markings, 311298886 edges, 25970 markings/sec, 840 secs
lola: 25712789 markings, 313235652 edges, 35549 markings/sec, 845 secs
lola: 25874759 markings, 315110734 edges, 32394 markings/sec, 850 secs
lola: 26024115 markings, 316981680 edges, 29871 markings/sec, 855 secs
lola: 26189045 markings, 318884333 edges, 32986 markings/sec, 860 secs
lola: 26339287 markings, 320753520 edges, 30048 markings/sec, 865 secs
lola: 26481764 markings, 322601297 edges, 28495 markings/sec, 870 secs
lola: 26634939 markings, 324495431 edges, 30635 markings/sec, 875 secs
lola: 26789042 markings, 326385245 edges, 30821 markings/sec, 880 secs
lola: 26935393 markings, 328231061 edges, 29270 markings/sec, 885 secs
lola: 27071953 markings, 330074826 edges, 27312 markings/sec, 890 secs
lola: 27222257 markings, 331956676 edges, 30061 markings/sec, 895 secs
lola: 27359481 markings, 333801028 edges, 27445 markings/sec, 900 secs
lola: 27492471 markings, 335620598 edges, 26598 markings/sec, 905 secs
lola: 27623743 markings, 337450102 edges, 26254 markings/sec, 910 secs
lola: 27786181 markings, 339364198 edges, 32488 markings/sec, 915 secs
lola: 27934205 markings, 341215862 edges, 29605 markings/sec, 920 secs
lola: 28074217 markings, 343048525 edges, 28002 markings/sec, 925 secs
lola: 28219409 markings, 344916118 edges, 29038 markings/sec, 930 secs
lola: 28359233 markings, 346771206 edges, 27965 markings/sec, 935 secs
lola: 28494387 markings, 348597826 edges, 27031 markings/sec, 940 secs
lola: 28621311 markings, 350414038 edges, 25385 markings/sec, 945 secs
lola: 28767697 markings, 352309520 edges, 29277 markings/sec, 950 secs
lola: 28905893 markings, 354175880 edges, 27639 markings/sec, 955 secs
lola: 29040543 markings, 356002345 edges, 26930 markings/sec, 960 secs
lola: 29167835 markings, 357838923 edges, 25458 markings/sec, 965 secs
lola: 29306087 markings, 359714119 edges, 27650 markings/sec, 970 secs
lola: 29432891 markings, 361557236 edges, 25361 markings/sec, 975 secs
lola: 29559371 markings, 363381345 edges, 25296 markings/sec, 980 secs
lola: 29677747 markings, 365195632 edges, 23675 markings/sec, 985 secs
lola: 29841389 markings, 367169673 edges, 32728 markings/sec, 990 secs
lola: 29997080 markings, 369099433 edges, 31138 markings/sec, 995 secs
lola: 30144673 markings, 370997458 edges, 29519 markings/sec, 1000 secs
lola: 30291757 markings, 372914045 edges, 29417 markings/sec, 1005 secs
lola: 30438653 markings, 374834827 edges, 29379 markings/sec, 1010 secs
lola: 30578079 markings, 376722211 edges, 27885 markings/sec, 1015 secs
lola: 30709679 markings, 378595482 edges, 26320 markings/sec, 1020 secs
lola: 30858109 markings, 380530764 edges, 29686 markings/sec, 1025 secs
lola: 31000225 markings, 382444012 edges, 28423 markings/sec, 1030 secs
lola: 31137529 markings, 384311155 edges, 27461 markings/sec, 1035 secs
lola: 31266981 markings, 386183257 edges, 25890 markings/sec, 1040 secs
lola: 31407855 markings, 388084909 edges, 28175 markings/sec, 1045 secs
lola: 31535533 markings, 389941721 edges, 25536 markings/sec, 1050 secs
lola: 31661421 markings, 391774730 edges, 25178 markings/sec, 1055 secs
lola: 31780151 markings, 393593380 edges, 23746 markings/sec, 1060 secs
lola: 31929809 markings, 395519828 edges, 29932 markings/sec, 1065 secs
lola: 32068585 markings, 397382765 edges, 27755 markings/sec, 1070 secs
lola: 32202511 markings, 399205530 edges, 26785 markings/sec, 1075 secs
lola: 32329813 markings, 401041670 edges, 25460 markings/sec, 1080 secs
lola: 32467755 markings, 402915778 edges, 27588 markings/sec, 1085 secs
lola: 32594239 markings, 404754872 edges, 25297 markings/sec, 1090 secs
lola: 32718357 markings, 406570472 edges, 24824 markings/sec, 1095 secs
lola: 32834849 markings, 408376556 edges, 23298 markings/sec, 1100 secs
lola: 32973895 markings, 410281415 edges, 27809 markings/sec, 1105 secs
lola: 33101529 markings, 412127566 edges, 25527 markings/sec, 1110 secs
lola: 33226745 markings, 413933717 edges, 25043 markings/sec, 1115 secs
lola: 33345061 markings, 415744320 edges, 23663 markings/sec, 1120 secs
lola: 33471529 markings, 417596752 edges, 25294 markings/sec, 1125 secs
lola: 33591325 markings, 419422954 edges, 23959 markings/sec, 1130 secs
lola: 33707373 markings, 421217547 edges, 23210 markings/sec, 1135 secs
lola: 33818251 markings, 422997006 edges, 22176 markings/sec, 1140 secs
lola: 33928797 markings, 424840970 edges, 22109 markings/sec, 1145 secs
lola: 34032817 markings, 426776661 edges, 20804 markings/sec, 1150 secs
lola: 34128916 markings, 428679545 edges, 19220 markings/sec, 1155 secs
lola: 34225787 markings, 430599526 edges, 19374 markings/sec, 1160 secs
lola: 34316828 markings, 432500110 edges, 18208 markings/sec, 1165 secs
lola: 34401358 markings, 434385878 edges, 16906 markings/sec, 1170 secs
lola: 34498368 markings, 436313889 edges, 19402 markings/sec, 1175 secs
lola: 34588253 markings, 438203349 edges, 17977 markings/sec, 1180 secs
lola: 34670790 markings, 440085575 edges, 16507 markings/sec, 1185 secs
lola: 34760540 markings, 441993906 edges, 17950 markings/sec, 1190 secs
lola: 34842332 markings, 443875194 edges, 16358 markings/sec, 1195 secs
lola: 34918631 markings, 445726824 edges, 15260 markings/sec, 1200 secs
lola: 35010675 markings, 447616439 edges, 18409 markings/sec, 1205 secs
lola: 35099374 markings, 449465660 edges, 17740 markings/sec, 1210 secs
lola: 35181995 markings, 451299165 edges, 16524 markings/sec, 1215 secs
lola: 35267460 markings, 453156904 edges, 17093 markings/sec, 1220 secs
lola: 35349767 markings, 455022434 edges, 16461 markings/sec, 1225 secs
lola: 35427262 markings, 456870630 edges, 15499 markings/sec, 1230 secs
lola: 35509763 markings, 458741333 edges, 16500 markings/sec, 1235 secs
lola: 35591017 markings, 460603866 edges, 16251 markings/sec, 1240 secs
lola: 35671092 markings, 462445265 edges, 16015 markings/sec, 1245 secs
lola: 35747605 markings, 464302321 edges, 15303 markings/sec, 1250 secs
lola: 35825683 markings, 466172418 edges, 15616 markings/sec, 1255 secs
lola: 35899403 markings, 468014966 edges, 14744 markings/sec, 1260 secs
lola: 35968372 markings, 469840936 edges, 13794 markings/sec, 1265 secs
lola: 36063111 markings, 471810865 edges, 18948 markings/sec, 1270 secs
lola: 36156535 markings, 473767220 edges, 18685 markings/sec, 1275 secs
lola: 36241393 markings, 475690665 edges, 16972 markings/sec, 1280 secs
lola: 36332588 markings, 477637115 edges, 18239 markings/sec, 1285 secs
lola: 36416221 markings, 479558563 edges, 16727 markings/sec, 1290 secs
lola: 36494356 markings, 481465868 edges, 15627 markings/sec, 1295 secs
lola: 36583427 markings, 483422763 edges, 17814 markings/sec, 1300 secs
lola: 36667257 markings, 485339789 edges, 16766 markings/sec, 1305 secs
lola: 36746171 markings, 487239566 edges, 15783 markings/sec, 1310 secs
lola: 36827536 markings, 489176653 edges, 16273 markings/sec, 1315 secs
lola: 36904780 markings, 491100499 edges, 15449 markings/sec, 1320 secs
lola: 36980419 markings, 492999804 edges, 15128 markings/sec, 1325 secs
lola: 37057693 markings, 494925371 edges, 15455 markings/sec, 1330 secs
lola: 37145534 markings, 496870747 edges, 17568 markings/sec, 1335 secs
lola: 37226901 markings, 498770236 edges, 16273 markings/sec, 1340 secs
lola: 37304965 markings, 500674652 edges, 15613 markings/sec, 1345 secs
lola: 37386717 markings, 502597301 edges, 16350 markings/sec, 1350 secs
lola: 37462487 markings, 504493157 edges, 15154 markings/sec, 1355 secs
lola: 37534415 markings, 506376641 edges, 14386 markings/sec, 1360 secs
lola: 37613956 markings, 508312926 edges, 15908 markings/sec, 1365 secs
lola: 37690710 markings, 510225782 edges, 15351 markings/sec, 1370 secs
lola: 37765305 markings, 512097037 edges, 14919 markings/sec, 1375 secs
lola: 37836970 markings, 513989179 edges, 14333 markings/sec, 1380 secs
lola: 37911442 markings, 515900978 edges, 14894 markings/sec, 1385 secs
lola: 37980910 markings, 517781842 edges, 13894 markings/sec, 1390 secs
lola: 38047511 markings, 519647849 edges, 13320 markings/sec, 1395 secs
lola: 38131729 markings, 521580302 edges, 16844 markings/sec, 1400 secs
lola: 38225811 markings, 523526755 edges, 18816 markings/sec, 1405 secs
lola: 38313838 markings, 525442141 edges, 17605 markings/sec, 1410 secs
lola: 38402622 markings, 527383858 edges, 17757 markings/sec, 1415 secs
lola: 38487320 markings, 529307802 edges, 16940 markings/sec, 1420 secs
lola: 38568000 markings, 531213594 edges, 16136 markings/sec, 1425 secs
lola: 38653099 markings, 533153339 edges, 17020 markings/sec, 1430 secs
lola: 38737437 markings, 535087529 edges, 16868 markings/sec, 1435 secs
lola: 38819361 markings, 536977076 edges, 16385 markings/sec, 1440 secs
lola: 38898453 markings, 538891493 edges, 15818 markings/sec, 1445 secs
lola: 38978106 markings, 540811133 edges, 15931 markings/sec, 1450 secs
lola: 39053354 markings, 542702277 edges, 15050 markings/sec, 1455 secs
lola: 39123371 markings, 544580854 edges, 14003 markings/sec, 1460 secs
lola: 39213813 markings, 546535950 edges, 18088 markings/sec, 1465 secs
lola: 39296406 markings, 548434608 edges, 16519 markings/sec, 1470 secs
lola: 39374025 markings, 550320323 edges, 15524 markings/sec, 1475 secs
lola: 39454667 markings, 552235081 edges, 16128 markings/sec, 1480 secs
lola: 39531114 markings, 554126876 edges, 15289 markings/sec, 1485 secs
lola: 39605042 markings, 556000049 edges, 14786 markings/sec, 1490 secs
lola: 39679392 markings, 557896601 edges, 14870 markings/sec, 1495 secs
lola: 39759469 markings, 559819606 edges, 16015 markings/sec, 1500 secs
lola: 39834314 markings, 561699306 edges, 14969 markings/sec, 1505 secs
lola: 39904904 markings, 563575121 edges, 14118 markings/sec, 1510 secs
lola: 39979427 markings, 565482516 edges, 14905 markings/sec, 1515 secs
lola: 40049438 markings, 567366015 edges, 14002 markings/sec, 1520 secs
lola: 40118423 markings, 569231123 edges, 13797 markings/sec, 1525 secs
lola: 40184763 markings, 571098182 edges, 13268 markings/sec, 1530 secs
lola: 40276623 markings, 573083122 edges, 18372 markings/sec, 1535 secs
lola: 40360431 markings, 575010434 edges, 16762 markings/sec, 1540 secs
lola: 40437518 markings, 576932054 edges, 15417 markings/sec, 1545 secs
lola: 40521535 markings, 578879877 edges, 16803 markings/sec, 1550 secs
lola: 40598763 markings, 580801790 edges, 15446 markings/sec, 1555 secs
lola: 40672029 markings, 582706644 edges, 14653 markings/sec, 1560 secs
lola: 40751171 markings, 584654182 edges, 15828 markings/sec, 1565 secs
lola: 40829315 markings, 586592150 edges, 15629 markings/sec, 1570 secs
lola: 40904784 markings, 588484662 edges, 15094 markings/sec, 1575 secs
lola: 40977692 markings, 590414175 edges, 14582 markings/sec, 1580 secs
lola: 41054265 markings, 592370449 edges, 15315 markings/sec, 1585 secs
lola: 41125477 markings, 594294103 edges, 14242 markings/sec, 1590 secs
lola: 41193421 markings, 596199904 edges, 13589 markings/sec, 1595 secs
lola: 41270277 markings, 598156951 edges, 15371 markings/sec, 1600 secs
lola: 41349011 markings, 600098695 edges, 15747 markings/sec, 1605 secs
lola: 41423861 markings, 601993007 edges, 14970 markings/sec, 1610 secs
lola: 41495738 markings, 603899883 edges, 14375 markings/sec, 1615 secs
lola: 41572252 markings, 605834746 edges, 15303 markings/sec, 1620 secs
lola: 41642869 markings, 607736640 edges, 14123 markings/sec, 1625 secs
lola: 41710747 markings, 609620876 edges, 13576 markings/sec, 1630 secs
lola: 41781144 markings, 611543762 edges, 14079 markings/sec, 1635 secs
lola: 41855646 markings, 613481598 edges, 14900 markings/sec, 1640 secs
lola: 41925754 markings, 615374837 edges, 14022 markings/sec, 1645 secs
lola: 41992149 markings, 617258265 edges, 13279 markings/sec, 1650 secs
lola: 42061395 markings, 619175444 edges, 13849 markings/sec, 1655 secs
lola: 42128307 markings, 621083114 edges, 13382 markings/sec, 1660 secs
lola: 42193101 markings, 622963866 edges, 12959 markings/sec, 1665 secs
lola: 42254812 markings, 624835671 edges, 12342 markings/sec, 1670 secs
lola: 42344404 markings, 626816696 edges, 17918 markings/sec, 1675 secs
lola: 42439336 markings, 628792766 edges, 18986 markings/sec, 1680 secs
lola: 42526941 markings, 630755149 edges, 17521 markings/sec, 1685 secs
lola: 42619451 markings, 632742480 edges, 18502 markings/sec, 1690 secs
lola: 42704950 markings, 634703995 edges, 17100 markings/sec, 1695 secs
lola: 42784732 markings, 636650619 edges, 15956 markings/sec, 1700 secs
lola: 42875838 markings, 638648486 edges, 18221 markings/sec, 1705 secs
lola: 42960894 markings, 640605215 edges, 17011 markings/sec, 1710 secs
lola: 43041203 markings, 642544703 edges, 16062 markings/sec, 1715 secs
lola: 43123807 markings, 644512932 edges, 16521 markings/sec, 1720 secs
lola: 43202078 markings, 646441168 edges, 15654 markings/sec, 1725 secs
lola: 43277081 markings, 648349023 edges, 15001 markings/sec, 1730 secs
lola: 43357014 markings, 650296486 edges, 15987 markings/sec, 1735 secs
lola: 43443799 markings, 652245216 edges, 17357 markings/sec, 1740 secs
lola: 43525794 markings, 654148969 edges, 16399 markings/sec, 1745 secs
lola: 43604912 markings, 656066793 edges, 15824 markings/sec, 1750 secs
lola: 43685707 markings, 657999348 edges, 16159 markings/sec, 1755 secs
lola: 43761811 markings, 659904126 edges, 15221 markings/sec, 1760 secs
lola: 43833728 markings, 661815124 edges, 14383 markings/sec, 1765 secs
lola: 43915756 markings, 663774298 edges, 16406 markings/sec, 1770 secs
lola: 43993153 markings, 665693515 edges, 15479 markings/sec, 1775 secs
lola: 44067242 markings, 667587050 edges, 14818 markings/sec, 1780 secs
lola: 44140372 markings, 669503581 edges, 14626 markings/sec, 1785 secs
lola: 44214335 markings, 671427511 edges, 14793 markings/sec, 1790 secs
lola: 44285118 markings, 673339303 edges, 14157 markings/sec, 1795 secs
lola: 44351991 markings, 675241887 edges, 13375 markings/sec, 1800 secs
lola: 44439895 markings, 677265597 edges, 17581 markings/sec, 1805 secs
lola: 44527814 markings, 679265643 edges, 17584 markings/sec, 1810 secs
lola: 44609423 markings, 681231525 edges, 16322 markings/sec, 1815 secs
lola: 44692978 markings, 683224273 edges, 16711 markings/sec, 1820 secs
lola: 44772724 markings, 685195283 edges, 15949 markings/sec, 1825 secs
lola: 44849587 markings, 687148103 edges, 15373 markings/sec, 1830 secs
lola: 44927825 markings, 689129927 edges, 15648 markings/sec, 1835 secs
lola: 45009547 markings, 691116657 edges, 16344 markings/sec, 1840 secs
lola: 45086437 markings, 693064776 edges, 15378 markings/sec, 1845 secs
lola: 45159601 markings, 695017335 edges, 14633 markings/sec, 1850 secs
lola: 45238021 markings, 696995750 edges, 15684 markings/sec, 1855 secs
lola: 45310430 markings, 698947315 edges, 14482 markings/sec, 1860 secs
lola: 45379985 markings, 700883496 edges, 13911 markings/sec, 1865 secs
lola: 45456559 markings, 702863040 edges, 15315 markings/sec, 1870 secs
lola: 45537971 markings, 704859841 edges, 16282 markings/sec, 1875 secs
lola: 45615119 markings, 706812791 edges, 15430 markings/sec, 1880 secs
lola: 45689513 markings, 708777680 edges, 14879 markings/sec, 1885 secs
lola: 45767613 markings, 710765288 edges, 15620 markings/sec, 1890 secs
lola: 45839894 markings, 712719531 edges, 14456 markings/sec, 1895 secs
lola: 45909046 markings, 714658227 edges, 13830 markings/sec, 1900 secs
lola: 45983697 markings, 716645195 edges, 14930 markings/sec, 1905 secs
lola: 46058425 markings, 718625419 edges, 14946 markings/sec, 1910 secs
lola: 46129075 markings, 720541931 edges, 14130 markings/sec, 1915 secs
lola: 46196375 markings, 722478692 edges, 13460 markings/sec, 1920 secs
lola: 46268462 markings, 724461265 edges, 14417 markings/sec, 1925 secs
lola: 46336025 markings, 726411962 edges, 13513 markings/sec, 1930 secs
lola: 46402553 markings, 728342989 edges, 13306 markings/sec, 1935 secs
lola: 46464210 markings, 730261822 edges, 12331 markings/sec, 1940 secs
lola: 46559417 markings, 732293984 edges, 19041 markings/sec, 1945 secs
lola: 46644751 markings, 734261679 edges, 17067 markings/sec, 1950 secs
lola: 46723772 markings, 736223195 edges, 15804 markings/sec, 1955 secs
lola: 46809221 markings, 738211048 edges, 17090 markings/sec, 1960 secs
lola: 46888014 markings, 740172795 edges, 15759 markings/sec, 1965 secs
lola: 46962298 markings, 742104289 edges, 14857 markings/sec, 1970 secs
lola: 47042547 markings, 744068861 edges, 16050 markings/sec, 1975 secs
lola: 47120342 markings, 746020147 edges, 15559 markings/sec, 1980 secs
lola: 47196900 markings, 747925588 edges, 15312 markings/sec, 1985 secs
lola: 47269817 markings, 749851488 edges, 14583 markings/sec, 1990 secs
lola: 47345575 markings, 751798744 edges, 15152 markings/sec, 1995 secs
lola: 47416249 markings, 753713009 edges, 14135 markings/sec, 2000 secs
lola: 47484119 markings, 755612306 edges, 13574 markings/sec, 2005 secs
lola: 47561219 markings, 757566056 edges, 15420 markings/sec, 2010 secs
lola: 47639679 markings, 759509087 edges, 15692 markings/sec, 2015 secs
lola: 47715186 markings, 761407721 edges, 15101 markings/sec, 2020 secs
lola: 47787452 markings, 763322292 edges, 14453 markings/sec, 2025 secs
lola: 47863601 markings, 765259812 edges, 15230 markings/sec, 2030 secs
lola: 47934273 markings, 767167939 edges, 14134 markings/sec, 2035 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown yes unknown no no no yes no no no no no yes unknown no yes
lola:
preliminary result: unknown yes unknown no no no yes no no no no no yes unknown no yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes unknown no no no yes no no no no no yes unknown no yes
lola: memory consumption: 10095120 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: 10095120 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: unknown yes unknown no no no yes no no no no no yes unknown no yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes unknown no no no yes no no no no no yes unknown no yes
rslt: finished
BK_STOP 1589306907886
--------------------
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="AutoFlight-PT-12a"
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 AutoFlight-PT-12a, 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-158897552800118"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-12a.tgz
mv AutoFlight-PT-12a 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 ;