About the Execution of ITS-LoLa for Raft-PT-05
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15792.830 | 3600000.00 | 3587283.00 | 42662.10 | T?FTFFFFFFFF?FFF | 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.r172-smll-158987827600242.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 itslola
Input is Raft-PT-05, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172-smll-158987827600242
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 244K
-rw-r--r-- 1 mcc users 3.6K Apr 12 08:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 08:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 11 09:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 11 09:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 9 21:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 9 21:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 62K Mar 24 05:38 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME Raft-PT-05-00
FORMULA_NAME Raft-PT-05-01
FORMULA_NAME Raft-PT-05-02
FORMULA_NAME Raft-PT-05-03
FORMULA_NAME Raft-PT-05-04
FORMULA_NAME Raft-PT-05-05
FORMULA_NAME Raft-PT-05-06
FORMULA_NAME Raft-PT-05-07
FORMULA_NAME Raft-PT-05-08
FORMULA_NAME Raft-PT-05-09
FORMULA_NAME Raft-PT-05-10
FORMULA_NAME Raft-PT-05-11
FORMULA_NAME Raft-PT-05-12
FORMULA_NAME Raft-PT-05-13
FORMULA_NAME Raft-PT-05-14
FORMULA_NAME Raft-PT-05-15
=== Now, execution of the tool begins
BK_START 1591336161191
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-05 05:49:23] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-05 05:49:23] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-05 05:49:24] [INFO ] Load time of PNML (sax parser for PT used): 137 ms
[2020-06-05 05:49:24] [INFO ] Transformed 133 places.
[2020-06-05 05:49:24] [INFO ] Transformed 238 transitions.
[2020-06-05 05:49:24] [INFO ] Found NUPN structural information;
[2020-06-05 05:49:24] [INFO ] Parsed PT model containing 133 places and 238 transitions in 229 ms.
Ensure Unique test removed 22 transitions
Reduce redundant transitions removed 22 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 39 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 0 resets, run finished after 671 ms. (steps per millisecond=149 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
[2020-06-05 05:49:24] [INFO ] Flow matrix only has 195 transitions (discarded 21 similar events)
// Phase 1: matrix 195 rows 133 cols
[2020-06-05 05:49:24] [INFO ] Computed 25 place invariants in 10 ms
[2020-06-05 05:49:25] [INFO ] [Real]Absence check using 25 positive place invariants in 31 ms returned sat
[2020-06-05 05:49:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 05:49:25] [INFO ] [Real]Absence check using state equation in 232 ms returned sat
[2020-06-05 05:49:25] [INFO ] State equation strengthened by 104 read => feed constraints.
[2020-06-05 05:49:25] [INFO ] [Real]Added 104 Read/Feed constraints in 26 ms returned sat
[2020-06-05 05:49:25] [INFO ] Computed and/alt/rep : 215/1522/194 causal constraints in 46 ms.
[2020-06-05 05:49:25] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 05:49:25] [INFO ] [Nat]Absence check using 25 positive place invariants in 27 ms returned sat
[2020-06-05 05:49:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 05:49:25] [INFO ] [Nat]Absence check using state equation in 145 ms returned sat
[2020-06-05 05:49:25] [INFO ] [Nat]Added 104 Read/Feed constraints in 28 ms returned sat
[2020-06-05 05:49:26] [INFO ] Computed and/alt/rep : 215/1522/194 causal constraints in 38 ms.
[2020-06-05 05:49:27] [INFO ] Added : 182 causal constraints over 37 iterations in 1689 ms. Result :sat
[2020-06-05 05:49:27] [INFO ] [Real]Absence check using 25 positive place invariants in 25 ms returned sat
[2020-06-05 05:49:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 05:49:27] [INFO ] [Real]Absence check using state equation in 153 ms returned sat
[2020-06-05 05:49:27] [INFO ] [Real]Added 104 Read/Feed constraints in 19 ms returned sat
[2020-06-05 05:49:27] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 05:49:28] [INFO ] [Nat]Absence check using 25 positive place invariants in 26 ms returned sat
[2020-06-05 05:49:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 05:49:28] [INFO ] [Nat]Absence check using state equation in 159 ms returned sat
[2020-06-05 05:49:28] [INFO ] [Nat]Added 104 Read/Feed constraints in 26 ms returned sat
[2020-06-05 05:49:28] [INFO ] Computed and/alt/rep : 215/1522/194 causal constraints in 44 ms.
[2020-06-05 05:49:29] [INFO ] Added : 176 causal constraints over 36 iterations in 1430 ms. Result :sat
[2020-06-05 05:49:29] [INFO ] [Real]Absence check using 25 positive place invariants in 21 ms returned sat
[2020-06-05 05:49:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 05:49:29] [INFO ] [Real]Absence check using state equation in 184 ms returned sat
[2020-06-05 05:49:29] [INFO ] [Real]Added 104 Read/Feed constraints in 24 ms returned sat
[2020-06-05 05:49:30] [INFO ] Computed and/alt/rep : 215/1522/194 causal constraints in 36 ms.
[2020-06-05 05:49:30] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 05:49:30] [INFO ] [Nat]Absence check using 25 positive place invariants in 25 ms returned sat
[2020-06-05 05:49:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 05:49:30] [INFO ] [Nat]Absence check using state equation in 166 ms returned sat
[2020-06-05 05:49:30] [INFO ] [Nat]Added 104 Read/Feed constraints in 19 ms returned sat
[2020-06-05 05:49:30] [INFO ] Computed and/alt/rep : 215/1522/194 causal constraints in 33 ms.
[2020-06-05 05:49:32] [INFO ] Added : 191 causal constraints over 40 iterations in 1953 ms. Result :sat
[2020-06-05 05:49:32] [INFO ] [Real]Absence check using 25 positive place invariants in 21 ms returned sat
[2020-06-05 05:49:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 05:49:32] [INFO ] [Real]Absence check using state equation in 170 ms returned sat
[2020-06-05 05:49:32] [INFO ] [Real]Added 104 Read/Feed constraints in 22 ms returned sat
[2020-06-05 05:49:32] [INFO ] Computed and/alt/rep : 215/1522/194 causal constraints in 32 ms.
[2020-06-05 05:49:32] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 05:49:32] [INFO ] [Nat]Absence check using 25 positive place invariants in 26 ms returned sat
[2020-06-05 05:49:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 05:49:33] [INFO ] [Nat]Absence check using state equation in 200 ms returned sat
[2020-06-05 05:49:33] [INFO ] [Nat]Added 104 Read/Feed constraints in 35 ms returned sat
[2020-06-05 05:49:33] [INFO ] Computed and/alt/rep : 215/1522/194 causal constraints in 41 ms.
[2020-06-05 05:49:34] [INFO ] Added : 191 causal constraints over 39 iterations in 1600 ms. Result :sat
[2020-06-05 05:49:35] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2020-06-05 05:49:35] [INFO ] Flatten gal took : 84 ms
FORMULA Raft-PT-05-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-05-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-05-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-05 05:49:35] [INFO ] Applying decomposition
[2020-06-05 05:49:35] [INFO ] Flatten gal took : 29 ms
[2020-06-05 05:49:35] [INFO ] Decomposing Gal with order
[2020-06-05 05:49:35] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-06-05 05:49:35] [INFO ] Removed a total of 168 redundant transitions.
[2020-06-05 05:49:35] [INFO ] Flatten gal took : 75 ms
[2020-06-05 05:49:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 94 labels/synchronizations in 15 ms.
[2020-06-05 05:49:35] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 6 ms.
[2020-06-05 05:49:35] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 4 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ Raft-PT-05 @ 3570 seconds
FORMULA Raft-PT-05-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-05-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-05-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-05-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-05-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-05-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-05-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-05-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-05-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-05-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-05-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-05-01 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ Raft-PT-05
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri Jun 5 05:49:36 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 4,
"U": 0,
"X": 5,
"aconj": 9,
"adisj": 0,
"aneg": 0,
"comp": 13,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 13,
"taut": 0,
"tconj": 4,
"tdisj": 4,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "G (((X (((1 <= p5) AND (1 <= p105))) AND ((1 <= p117))) OR (G ((F ((X (G (((1 <= p112)))) OR ((1 <= p68) AND (1 <= p110)))) AND (X (((1 <= p117))) OR (X (G (((1 <= p112)))) OR ((1 <= p68) AND (1 <= p110)))))) AND F ((X (((1 <= p5) AND (1 <= p105))) AND ((1 <= p117)))))))",
"processed_size": 271,
"rewrites": 55
},
"result":
{
"edges": 6,
"markings": 6,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 17
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 299
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 3,
"adisj": 1,
"aneg": 0,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "X (F ((G (((1 <= p115) AND (1 <= p128))) AND (((1 <= p103)) OR ((1 <= p30) AND (1 <= p110))))))",
"processed_size": 96,
"rewrites": 55
},
"result":
{
"edges": 6,
"markings": 6,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 329
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 2,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X ((F (((p22 <= 0) OR (p105 <= 0))) AND G (((p58 <= 0) OR (p125 <= 0)))))",
"processed_size": 75,
"rewrites": 55
},
"result":
{
"edges": 13379310,
"markings": 9415160,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 362
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 1,
"aconj": 4,
"adisj": 0,
"aneg": 1,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "X ((G (((p40 <= 0) OR (p110 <= 0))) OR (G (((1 <= p30) AND (1 <= p110))) AND (((1 <= p30)) AND ((1 <= p110))))))",
"processed_size": 113,
"rewrites": 55
},
"result":
{
"edges": 48,
"markings": 44,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 407
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 407
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "G ((G (((1 <= p120) AND (1 <= p128))) OR ((1 <= p80) AND (1 <= p120))))",
"processed_size": 71,
"rewrites": 55
},
"result":
{
"edges": 6,
"markings": 6,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 465
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "G ((X (((1 <= p51) AND (1 <= p120))) OR ((1 <= p120) AND (1 <= p128))))",
"processed_size": 71,
"rewrites": 55
},
"result":
{
"edges": 6,
"markings": 6,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 5,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 465
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 4,
"G": 0,
"U": 1,
"X": 1,
"aconj": 3,
"adisj": 1,
"aneg": 0,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X (F ((F ((F (((p17 <= 0) OR (p125 <= 0))) AND F (((1 <= p17) AND (1 <= p125))))) OR (((1 <= p24) AND (1 <= p105)) U ((1 <= p17) AND (1 <= p125))))))",
"processed_size": 150,
"rewrites": 55
},
"result":
{
"edges": 6,
"markings": 6,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 543
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 6,
"adisj": 0,
"aneg": 0,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 5,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "X ((G ((F (((1 <= p30) AND (1 <= p110))) AND ((1 <= p55) AND (1 <= p115)))) AND (((1 <= p120)) AND (((1 <= p126)) AND (((1 <= p55)) AND ((1 <= p115)))))))",
"processed_size": 154,
"rewrites": 55
},
"result":
{
"edges": 49,
"markings": 45,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 8
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 651
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 651
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 1,
"X": 0,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "(((1 <= p57) AND (1 <= p125)) U ((1 <= p48) AND (1 <= p110)))",
"processed_size": 61,
"rewrites": 55
},
"result":
{
"edges": 6,
"markings": 6,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 814
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (X (G (((p57 <= 0) OR (p125 <= 0)))))",
"processed_size": 40,
"rewrites": 55
},
"result":
{
"edges": 67758924,
"markings": 46940702,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 8,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 767
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((p17 <= 0) OR (p125 <= 0))",
"processed_size": 28,
"rewrites": 57
},
"result":
{
"edges": 9,
"markings": 9,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 41
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1022
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "F (G (((1 <= p116))))",
"processed_size": 21,
"rewrites": 55
},
"result":
{
"edges": 8,
"markings": 7,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "stabilization",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1856
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 5,
"adisj": 0,
"aneg": 5,
"comp": 9,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 9,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "G (F (((((p75 <= 0) OR (p120 <= 0)) R (((p55 <= 0) OR (p115 <= 0)) R ((p121 <= 0)))) AND (((p45 <= 0) OR (p115 <= 0)) AND ((p55 <= 0) OR (p115 <= 0))))))",
"processed_size": 157,
"rewrites": 55
},
"result":
{
"edges": 23838,
"markings": 19888,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"child":
[
{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (F (((p45 <= 0) OR (p115 <= 0))))",
"processed_size": 36,
"rewrites": 55
},
"result":
{
"edges": 6,
"markings": 6,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 13,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 1392,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(X(F(*)) OR G(*)) : G(((X(**) AND **) OR (G((F((X(G(**)) OR **)) AND (X(**) OR (X(G(**)) OR **)))) AND F((X(**) AND **))))) : G(F(((* R (* R *)) AND (* AND *)))) : X(F((G(**) AND **))) : F(G(**)) : X((F(**) AND G(**))) : X((G(*) OR (G(**) AND (** AND **)))) : (G((X(**) OR **)) OR (X(**) AND G((G(**) OR **)))) : X(F((F((F(**) AND F(**))) OR (** U **)))) : F(**) : G(F((G(*) AND (G(*) OR G(F(*)))))) : X((G((F(**) AND **)) AND (** AND (** AND (** AND **))))) : (X(X(G(*))) OR (** U **))"
},
"net":
{
"arcs": 820,
"conflict_clusters": 15,
"places": 133,
"places_significant": 108,
"singleton_clusters": 0,
"transitions": 216
},
"result":
{
"interim_value": "unknown no no no no no no no no no unknown no no ",
"preliminary_value": "unknown no no no no no no no no no unknown no no "
},
"task":
{
"type": "compound"
}
}
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: 349/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 133
lola: finding significant places
lola: 133 places, 216 transitions, 108 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: LP says that atomic proposition is always true: (p45 <= 1)
lola: LP says that atomic proposition is always true: (p115 <= 1)
lola: LP says that atomic proposition is always true: (p74 <= 1)
lola: LP says that atomic proposition is always true: (p115 <= 1)
lola: LP says that atomic proposition is always true: (p117 <= 1)
lola: LP says that atomic proposition is always true: (p112 <= 1)
lola: LP says that atomic proposition is always true: (p68 <= 1)
lola: LP says that atomic proposition is always true: (p110 <= 1)
lola: LP says that atomic proposition is always true: (p5 <= 1)
lola: LP says that atomic proposition is always true: (p105 <= 1)
lola: LP says that atomic proposition is always true: (p117 <= 1)
lola: LP says that atomic proposition is always true: (p75 <= 1)
lola: LP says that atomic proposition is always true: (p120 <= 1)
lola: LP says that atomic proposition is always true: (p55 <= 1)
lola: LP says that atomic proposition is always true: (p115 <= 1)
lola: LP says that atomic proposition is always true: (p121 <= 1)
lola: LP says that atomic proposition is always true: (p45 <= 1)
lola: LP says that atomic proposition is always true: (p115 <= 1)
lola: LP says that atomic proposition is always true: (p55 <= 1)
lola: LP says that atomic proposition is always true: (p115 <= 1)
lola: LP says that atomic proposition is always true: (p115 <= 1)
lola: LP says that atomic proposition is always true: (p128 <= 1)
lola: LP says that atomic proposition is always true: (p103 <= 1)
lola: LP says that atomic proposition is always true: (p30 <= 1)
lola: LP says that atomic proposition is always true: (p110 <= 1)
lola: LP says that atomic proposition is always true: (p102 <= 1)
lola: LP says that atomic proposition is always true: (p15 <= 1)
lola: LP says that atomic proposition is always true: (p105 <= 1)
lola: LP says that atomic proposition is always true: (p116 <= 1)
lola: LP says that atomic proposition is always true: (p22 <= 1)
lola: LP says that atomic proposition is always true: (p105 <= 1)
lola: LP says that atomic proposition is always true: (p58 <= 1)
lola: LP says that atomic proposition is always true: (p125 <= 1)
lola: LP says that atomic proposition is always true: (p40 <= 1)
lola: LP says that atomic proposition is always true: (p110 <= 1)
lola: LP says that atomic proposition is always true: (p30 <= 1)
lola: LP says that atomic proposition is always true: (p110 <= 1)
lola: LP says that atomic proposition is always true: (p30 <= 1)
lola: LP says that atomic proposition is always true: (p110 <= 1)
lola: LP says that atomic proposition is always true: (p51 <= 1)
lola: LP says that atomic proposition is always true: (p120 <= 1)
lola: LP says that atomic proposition is always true: (p120 <= 1)
lola: LP says that atomic proposition is always true: (p128 <= 1)
lola: LP says that atomic proposition is always true: (p123 <= 1)
lola: LP says that atomic proposition is always true: (p132 <= 1)
lola: LP says that atomic proposition is always true: (p120 <= 1)
lola: LP says that atomic proposition is always true: (p128 <= 1)
lola: LP says that atomic proposition is always true: (p80 <= 1)
lola: LP says that atomic proposition is always true: (p120 <= 1)
lola: LP says that atomic proposition is always true: (p17 <= 1)
lola: LP says that atomic proposition is always true: (p125 <= 1)
lola: LP says that atomic proposition is always true: (p17 <= 1)
lola: LP says that atomic proposition is always true: (p125 <= 1)
lola: LP says that atomic proposition is always true: (p24 <= 1)
lola: LP says that atomic proposition is always true: (p105 <= 1)
lola: LP says that atomic proposition is always true: (p17 <= 1)
lola: LP says that atomic proposition is always true: (p125 <= 1)
lola: LP says that atomic proposition is always true: (p17 <= 1)
lola: LP says that atomic proposition is always true: (p125 <= 1)
lola: LP says that atomic proposition is always true: (p90 <= 1)
lola: LP says that atomic proposition is always true: (p125 <= 1)
lola: LP says that atomic proposition is always true: (p90 <= 1)
lola: LP says that atomic proposition is always true: (p125 <= 1)
lola: LP says that atomic proposition is always true: (p30 <= 1)
lola: LP says that atomic proposition is always true: (p110 <= 1)
lola: LP says that atomic proposition is always true: (p30 <= 1)
lola: LP says that atomic proposition is always true: (p110 <= 1)
lola: LP says that atomic proposition is always true: (p55 <= 1)
lola: LP says that atomic proposition is always true: (p115 <= 1)
lola: LP says that atomic proposition is always true: (p120 <= 1)
lola: LP says that atomic proposition is always true: (p126 <= 1)
lola: LP says that atomic proposition is always true: (p55 <= 1)
lola: LP says that atomic proposition is always true: (p115 <= 1)
lola: LP says that atomic proposition is always true: (p57 <= 1)
lola: LP says that atomic proposition is always true: (p125 <= 1)
lola: LP says that atomic proposition is always true: (p57 <= 1)
lola: LP says that atomic proposition is always true: (p125 <= 1)
lola: LP says that atomic proposition is always true: (p48 <= 1)
lola: LP says that atomic proposition is always true: (p110 <= 1)
lola: (X (NOT(G (((1 <= p45) AND (1 <= p115))))) OR G (NOT(F (((1 <= p74) AND (1 <= p115)))))) : G ((G ((X (((1 <= p117))) U (X (G (((1 <= p112)))) OR ((1 <= p68) AND (1 <= p110))))) U (X (((1 <= p5) AND (1 <= p105))) AND ((1 <= p117))))) : F (NOT(F (G ((((((1 <= p75) AND (1 <= p120)) U (((1 <= p55) AND (1 <= p115)) U ((1 <= p121)))) OR ((1 <= p45) AND (1 <= p115))) OR ((1 <= p55) AND (1 <= p115))))))) : X (F ((G (((1 <= p115) AND (1 <= p128))) AND (((1 <= p103)) OR ((1 <= p30) AND (1 <= p110)))))) : F (((((1 <= p102)) U ((1 <= p15) AND (1 <= p105))) U G (((1 <= p116))))) : (X (F (((p22 <= 0) OR (p105 <= 0)))) AND X (G (((p58 <= 0) OR (p125 <= 0))))) : X ((G (NOT(F (((1 <= p40) AND (1 <= p110))))) OR ((G (((1 <= p30) AND (1 <= p110))) AND ((1 <= p30))) AND ((1 <= p110))))) : (G ((X (((1 <= p51) AND (1 <= p120))) OR ((1 <= p120) AND (1 <= p128)))) OR (X (((p123 <= 0) OR (p132 <= 0))) AND G ((G (((1 <= p120) AND (1 <= p128))) OR ((1 <= p80) AND (1 <= p120)))))) : F (X ((F ((F (((p17 <= 0) OR (p125 <= 0))) AND F (((1 <= p17) AND (1 <= p125))))) OR (((1 <= p24) AND (1 <= p105)) U ((1 <= p17) AND (1 <= p125)))))) : F (((1 <= p17) AND (1 <= p125))) : NOT(F (G ((F (X (G (F (G (((1 <= p90) AND (1 <= p125))))))) U F (((p90 <= 0) OR (p125 <= 0))))))) : X (((((((((p30 <= 0) OR (p110 <= 0)) U F (G (F (((1 <= p30) AND (1 <= p110)))))) AND G (((1 <= p55) AND (1 <= p115)))) AND ((1 <= p120))) AND ((1 <= p126))) AND ((1 <= p55))) AND ((1 <= p115)))) : (X (X (NOT(F (((1 <= p57) AND (1 <= p125)))))) OR (((1 <= p57) AND (1 <= p125)) U ((1 <= p48) AND (1 <= p110))))
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:338
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:525
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:251
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:371
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (F (((p45 <= 0) OR (p115 <= 0)))) OR G (((p74 <= 0) OR (p115 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((p74 <= 0) OR (p115 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((p74 <= 0) OR (p115 <= 0)))
lola: processed formula length: 32
lola: 55 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: 722303 markings, 1378648 edges, 144461 markings/sec, 0 secs
lola: 1443589 markings, 2754738 edges, 144257 markings/sec, 5 secs
lola: 2150537 markings, 4113263 edges, 141390 markings/sec, 10 secs
lola: 2859074 markings, 5468040 edges, 141707 markings/sec, 15 secs
lola: 3572015 markings, 6828754 edges, 142588 markings/sec, 20 secs
lola: 4280273 markings, 8191173 edges, 141652 markings/sec, 25 secs
lola: 5009855 markings, 9589893 edges, 145916 markings/sec, 30 secs
lola: 5723288 markings, 10967960 edges, 142687 markings/sec, 35 secs
lola: 6418896 markings, 12344183 edges, 139122 markings/sec, 40 secs
lola: 7126954 markings, 13694640 edges, 141612 markings/sec, 45 secs
lola: 7825662 markings, 15053298 edges, 139742 markings/sec, 50 secs
lola: 8493911 markings, 16346829 edges, 133650 markings/sec, 55 secs
lola: 9160276 markings, 17659110 edges, 133273 markings/sec, 60 secs
lola: 9813304 markings, 18926351 edges, 130606 markings/sec, 65 secs
lola: 10532393 markings, 20302962 edges, 143818 markings/sec, 70 secs
lola: 11250247 markings, 21687196 edges, 143571 markings/sec, 75 secs
lola: 11964606 markings, 23054778 edges, 142872 markings/sec, 80 secs
lola: 12627247 markings, 24361453 edges, 132528 markings/sec, 85 secs
lola: 13292628 markings, 25675990 edges, 133076 markings/sec, 90 secs
lola: 13965617 markings, 27013320 edges, 134598 markings/sec, 95 secs
lola: 14634107 markings, 28329785 edges, 133698 markings/sec, 100 secs
lola: 15278622 markings, 29589268 edges, 128903 markings/sec, 105 secs
lola: 15929321 markings, 30880903 edges, 130140 markings/sec, 110 secs
lola: 16568168 markings, 32165063 edges, 127769 markings/sec, 115 secs
lola: 17230277 markings, 33488148 edges, 132422 markings/sec, 120 secs
lola: 17849534 markings, 34720151 edges, 123851 markings/sec, 125 secs
lola: 18535593 markings, 36052552 edges, 137212 markings/sec, 130 secs
lola: 19241038 markings, 37402586 edges, 141089 markings/sec, 135 secs
lola: 19929399 markings, 38730855 edges, 137672 markings/sec, 140 secs
lola: 20571217 markings, 39986931 edges, 128364 markings/sec, 145 secs
lola: 21245594 markings, 41315671 edges, 134875 markings/sec, 150 secs
lola: 22010760 markings, 42780163 edges, 153033 markings/sec, 155 secs
lola: 22749358 markings, 44214798 edges, 147720 markings/sec, 160 secs
lola: 23489234 markings, 45665996 edges, 147975 markings/sec, 165 secs
lola: 24190333 markings, 47007668 edges, 140220 markings/sec, 170 secs
lola: 24931914 markings, 48447843 edges, 148316 markings/sec, 175 secs
lola: 25675257 markings, 49873896 edges, 148669 markings/sec, 180 secs
lola: 26424275 markings, 51313752 edges, 149804 markings/sec, 185 secs
lola: 27133995 markings, 52678983 edges, 141944 markings/sec, 190 secs
lola: 27869616 markings, 54103959 edges, 147124 markings/sec, 195 secs
lola: 28636471 markings, 55568696 edges, 153371 markings/sec, 200 secs
lola: 29399114 markings, 57036587 edges, 152529 markings/sec, 205 secs
lola: 30103272 markings, 58430208 edges, 140832 markings/sec, 210 secs
lola: 30781445 markings, 59750735 edges, 135635 markings/sec, 215 secs
lola: 31557286 markings, 61241150 edges, 155168 markings/sec, 220 secs
lola: 32326584 markings, 62711451 edges, 153860 markings/sec, 225 secs
lola: 33079992 markings, 64171837 edges, 150682 markings/sec, 230 secs
lola: 33785690 markings, 65562875 edges, 141140 markings/sec, 235 secs
lola: 34545917 markings, 67037239 edges, 152045 markings/sec, 240 secs
lola: 35312952 markings, 68506673 edges, 153407 markings/sec, 245 secs
lola: 36060460 markings, 69976134 edges, 149502 markings/sec, 250 secs
lola: 36822064 markings, 71450102 edges, 152321 markings/sec, 255 secs
lola: 37600113 markings, 72938596 edges, 155610 markings/sec, 260 secs
lola: 38363402 markings, 74404020 edges, 152658 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: 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
lola: memory consumption: 7095148 KB
lola: time consumption: 277 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
lola: memory consumption: 7095580 KB
lola: time consumption: 277 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 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((X (((1 <= p5) AND (1 <= p105))) AND ((1 <= p117))) OR (G ((F ((X (G (((1 <= p112)))) OR ((1 <= p68) AND (1 <= p110)))) AND (X (((1 <= p117))) OR (X (G (((1 <= p112)))) OR ((1 <= p68) AND (1 <= p110)))))) AND F ((X (((1 <= p5) AND (1 <= p105))) AND ((1 <= p117)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((X (((1 <= p5) AND (1 <= p105))) AND ((1 <= p117))) OR (G ((F ((X (G (((1 <= p112)))) OR ((1 <= p68) AND (1 <= p110)))) AND (X (((1 <= p117))) OR (X (G (((1 <= p112)))) OR ((1 <= p68) AND (1 <= p110)))))) AND F ((X (((1 <= p5) AND (1 <= p105))) AND ((1 <= p117)))))))
lola: processed formula length: 271
lola: 55 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 17 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: 6 markings, 6 edges
lola: ========================================
lola: subprocess 2 will run for 299 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((G (((1 <= p115) AND (1 <= p128))) AND (((1 <= p103)) OR ((1 <= p30) AND (1 <= p110))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((G (((1 <= p115) AND (1 <= p128))) AND (((1 <= p103)) OR ((1 <= p30) AND (1 <= p110))))))
lola: processed formula length: 96
lola: 55 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: 6 markings, 6 edges
lola: ========================================
lola: subprocess 3 will run for 329 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((F (((p22 <= 0) OR (p105 <= 0))) AND G (((p58 <= 0) OR (p125 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((F (((p22 <= 0) OR (p105 <= 0))) AND G (((p58 <= 0) OR (p125 <= 0)))))
lola: processed formula length: 75
lola: 55 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1574372 markings, 2209316 edges, 314874 markings/sec, 0 secs
lola: 3015453 markings, 4255736 edges, 288216 markings/sec, 5 secs
lola: 4459324 markings, 6306147 edges, 288774 markings/sec, 10 secs
lola: 5849899 markings, 8292492 edges, 278115 markings/sec, 15 secs
lola: 7174076 markings, 10176669 edges, 264835 markings/sec, 20 secs
lola: 8553896 markings, 12148044 edges, 275964 markings/sec, 25 secs
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: 9415160 markings, 13379310 edges
lola: ========================================
lola: subprocess 4 will run for 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((G (((p40 <= 0) OR (p110 <= 0))) OR (G (((1 <= p30) AND (1 <= p110))) AND (((1 <= p30)) AND ((1 <= p110))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((G (((p40 <= 0) OR (p110 <= 0))) OR (G (((1 <= p30) AND (1 <= p110))) AND (((1 <= p30)) AND ((1 <= p110))))))
lola: processed formula length: 113
lola: 55 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 44 markings, 48 edges
lola: ========================================
lola: subprocess 5 will run for 407 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G ((X (((1 <= p51) AND (1 <= p120))) OR ((1 <= p120) AND (1 <= p128)))) OR (X (((p123 <= 0) OR (p132 <= 0))) AND G ((G (((1 <= p120) AND (1 <= p128))) OR ((1 <= p80) AND (1 <= p120))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 407 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((G (((1 <= p120) AND (1 <= p128))) OR ((1 <= p80) AND (1 <= p120))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((G (((1 <= p120) AND (1 <= p128))) OR ((1 <= p80) AND (1 <= p120))))
lola: processed formula length: 71
lola: 55 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 6 markings, 6 edges
lola: ========================================
lola: subprocess 6 will run for 465 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((X (((1 <= p51) AND (1 <= p120))) OR ((1 <= p120) AND (1 <= p128))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((X (((1 <= p51) AND (1 <= p120))) OR ((1 <= p120) AND (1 <= p128))))
lola: processed formula length: 71
lola: 55 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: 6 markings, 6 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: subprocess 6 will run for 465 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((F ((F (((p17 <= 0) OR (p125 <= 0))) AND F (((1 <= p17) AND (1 <= p125))))) OR (((1 <= p24) AND (1 <= p105)) U ((1 <= p17) AND (1 <= p125))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((F ((F (((p17 <= 0) OR (p125 <= 0))) AND F (((1 <= p17) AND (1 <= p125))))) OR (((1 <= p24) AND (1 <= p105)) U ((1 <= p17) AND (1 <= p125))))))
lola: processed formula length: 150
lola: 55 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 6 markings, 6 edges
lola: ========================================
lola: subprocess 7 will run for 543 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((G ((F (((1 <= p30) AND (1 <= p110))) AND ((1 <= p55) AND (1 <= p115)))) AND (((1 <= p120)) AND (((1 <= p126)) AND (((1 <= p55)) AND ((1 <= p115)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((G ((F (((1 <= p30) AND (1 <= p110))) AND ((1 <= p55) AND (1 <= p115)))) AND (((1 <= p120)) AND (((1 <= p126)) AND (((1 <= p55)) AND ((1 <= p115)))))))
lola: processed formula length: 154
lola: 55 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 45 markings, 49 edges
lola: ========================================
lola: subprocess 8 will run for 651 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (X (G (((p57 <= 0) OR (p125 <= 0))))) OR (((1 <= p57) AND (1 <= p125)) U ((1 <= p48) AND (1 <= p110))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 651 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p57) AND (1 <= p125)) U ((1 <= p48) AND (1 <= p110)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (((1 <= p57) AND (1 <= p125)) U ((1 <= p48) AND (1 <= p110)))
lola: processed formula length: 61
lola: 55 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: 6 markings, 6 edges
lola: ========================================
lola: subprocess 9 will run for 814 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (G (((p57 <= 0) OR (p125 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (G (((p57 <= 0) OR (p125 <= 0)))))
lola: processed formula length: 40
lola: 55 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1584669 markings, 2223948 edges, 316934 markings/sec, 0 secs
lola: 3028997 markings, 4274600 edges, 288866 markings/sec, 5 secs
lola: 4473549 markings, 6326193 edges, 288910 markings/sec, 10 secs
lola: 5840041 markings, 8278522 edges, 273298 markings/sec, 15 secs
lola: 7215277 markings, 10234779 edges, 275047 markings/sec, 20 secs
lola: 8584379 markings, 12191780 edges, 273820 markings/sec, 25 secs
lola: 9882043 markings, 14053945 edges, 259533 markings/sec, 30 secs
lola: 11171884 markings, 15916182 edges, 257968 markings/sec, 35 secs
lola: 12477360 markings, 17795886 edges, 261095 markings/sec, 40 secs
lola: 13713431 markings, 19586826 edges, 247214 markings/sec, 45 secs
lola: 14978807 markings, 21409056 edges, 253075 markings/sec, 50 secs
lola: 16243111 markings, 23223383 edges, 252861 markings/sec, 55 secs
lola: 17519858 markings, 25066863 edges, 255349 markings/sec, 60 secs
lola: 18746670 markings, 26841016 edges, 245362 markings/sec, 65 secs
lola: 20010828 markings, 28671552 edges, 252832 markings/sec, 70 secs
lola: 21276625 markings, 30512906 edges, 253159 markings/sec, 75 secs
lola: 22499901 markings, 32286220 edges, 244655 markings/sec, 80 secs
lola: 23771569 markings, 34121599 edges, 254334 markings/sec, 85 secs
lola: 25068820 markings, 35988496 edges, 259450 markings/sec, 90 secs
lola: 26374839 markings, 37866208 edges, 261204 markings/sec, 95 secs
lola: 27636560 markings, 39684337 edges, 252344 markings/sec, 100 secs
lola: 28888903 markings, 41493927 edges, 250469 markings/sec, 105 secs
lola: 30076016 markings, 43229108 edges, 237423 markings/sec, 110 secs
lola: 31386781 markings, 45098975 edges, 262153 markings/sec, 115 secs
lola: 32643899 markings, 46914474 edges, 251424 markings/sec, 120 secs
lola: 33801220 markings, 48607451 edges, 231464 markings/sec, 125 secs
lola: 35040980 markings, 50405643 edges, 247952 markings/sec, 130 secs
lola: 36277016 markings, 52191369 edges, 247207 markings/sec, 135 secs
lola: 37433510 markings, 53883965 edges, 231299 markings/sec, 140 secs
lola: 38648252 markings, 55646084 edges, 242948 markings/sec, 145 secs
lola: 39833399 markings, 57372132 edges, 237029 markings/sec, 150 secs
lola: 41032681 markings, 59115787 edges, 239856 markings/sec, 155 secs
lola: 42201761 markings, 60822987 edges, 233816 markings/sec, 160 secs
lola: 43370593 markings, 62530337 edges, 233766 markings/sec, 165 secs
lola: 44520257 markings, 64216093 edges, 229933 markings/sec, 170 secs
lola: 45655725 markings, 65883929 edges, 227094 markings/sec, 175 secs
lola: 46822240 markings, 67588035 edges, 233303 markings/sec, 180 secs
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: 46940702 markings, 67758924 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 9 will run for 767 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p17) AND (1 <= p125)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p17 <= 0) OR (p125 <= 0))
lola: processed formula length: 28
lola: 57 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: 9 markings, 9 edges
lola: ========================================
lola: subprocess 10 will run for 1022 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((1 <= p116))))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((1 <= p116))))
lola: processed formula length: 21
lola: 55 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: add low 54
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: 7 markings, 8 edges
lola: ========================================
lola: subprocess 11 will run for 1534 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((G (((1 <= p90) AND (1 <= p125))) AND (G (((1 <= p90) AND (1 <= p125))) OR G (F (((p90 <= 0) OR (p125 <= 0))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((G (((1 <= p90) AND (1 <= p125))) AND (G (((1 <= p90) AND (1 <= p125))) OR G (F (((p90 <= 0) OR (p125 <= 0))))))))
lola: processed formula length: 121
lola: 55 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 20 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: 314239 markings, 370509 edges, 62848 markings/sec, 0 secs
lola: 646536 markings, 765339 edges, 66459 markings/sec, 5 secs
lola: 997308 markings, 1181664 edges, 70154 markings/sec, 10 secs
lola: 1322346 markings, 1576335 edges, 65008 markings/sec, 15 secs
lola: 1666731 markings, 1997458 edges, 68877 markings/sec, 20 secs
lola: 2017409 markings, 2422303 edges, 70136 markings/sec, 25 secs
lola: 2358097 markings, 2846744 edges, 68138 markings/sec, 30 secs
lola: 2698596 markings, 3266179 edges, 68100 markings/sec, 35 secs
lola: 3051133 markings, 3699679 edges, 70507 markings/sec, 40 secs
lola: 3403878 markings, 4131768 edges, 70549 markings/sec, 45 secs
lola: 3762966 markings, 4558206 edges, 71818 markings/sec, 50 secs
lola: 4121688 markings, 4992520 edges, 71744 markings/sec, 55 secs
lola: 4496243 markings, 5455083 edges, 74911 markings/sec, 60 secs
lola: 4845877 markings, 5883462 edges, 69927 markings/sec, 65 secs
lola: 5202653 markings, 6312476 edges, 71355 markings/sec, 70 secs
lola: 5569965 markings, 6765927 edges, 73462 markings/sec, 75 secs
lola: 5925560 markings, 7207368 edges, 71119 markings/sec, 80 secs
lola: 6275958 markings, 7650455 edges, 70080 markings/sec, 85 secs
lola: 6637200 markings, 8106610 edges, 72248 markings/sec, 90 secs
lola: 7011551 markings, 8576942 edges, 74870 markings/sec, 95 secs
lola: 7366513 markings, 9023044 edges, 70992 markings/sec, 100 secs
lola: 7732319 markings, 9480071 edges, 73161 markings/sec, 105 secs
lola: 8089614 markings, 9916337 edges, 71459 markings/sec, 110 secs
lola: 8462406 markings, 10381526 edges, 74558 markings/sec, 115 secs
lola: 8814149 markings, 10807068 edges, 70349 markings/sec, 120 secs
lola: 9168254 markings, 11227042 edges, 70821 markings/sec, 125 secs
lola: 9516688 markings, 11652035 edges, 69687 markings/sec, 130 secs
lola: 9879481 markings, 12091217 edges, 72559 markings/sec, 135 secs
lola: 10253245 markings, 12549171 edges, 74753 markings/sec, 140 secs
lola: 10608029 markings, 12992140 edges, 70957 markings/sec, 145 secs
lola: 10962474 markings, 13443650 edges, 70889 markings/sec, 150 secs
lola: 11326016 markings, 13894854 edges, 72708 markings/sec, 155 secs
lola: 11691038 markings, 14350759 edges, 73004 markings/sec, 160 secs
lola: 12052485 markings, 14804052 edges, 72289 markings/sec, 165 secs
lola: 12404305 markings, 15239156 edges, 70364 markings/sec, 170 secs
lola: 12784907 markings, 15705633 edges, 76120 markings/sec, 175 secs
lola: 13163213 markings, 16181629 edges, 75661 markings/sec, 180 secs
lola: 13542034 markings, 16652427 edges, 75764 markings/sec, 185 secs
lola: 13917884 markings, 17103985 edges, 75170 markings/sec, 190 secs
lola: 14286236 markings, 17557663 edges, 73670 markings/sec, 195 secs
lola: 14641015 markings, 18003509 edges, 70956 markings/sec, 200 secs
lola: 14984571 markings, 18412452 edges, 68711 markings/sec, 205 secs
lola: 15325504 markings, 18819414 edges, 68187 markings/sec, 210 secs
lola: 15663423 markings, 19228373 edges, 67584 markings/sec, 215 secs
lola: 16033513 markings, 19678609 edges, 74018 markings/sec, 220 secs
lola: 16410537 markings, 20142383 edges, 75405 markings/sec, 225 secs
lola: 16807251 markings, 20631112 edges, 79343 markings/sec, 230 secs
lola: 17179415 markings, 21095585 edges, 74433 markings/sec, 235 secs
lola: 17563259 markings, 21575518 edges, 76769 markings/sec, 240 secs
lola: 17960783 markings, 22069875 edges, 79505 markings/sec, 245 secs
lola: 18358554 markings, 22574019 edges, 79554 markings/sec, 250 secs
lola: 18724437 markings, 23038623 edges, 73177 markings/sec, 255 secs
lola: 19092431 markings, 23498442 edges, 73599 markings/sec, 260 secs
lola: 19465893 markings, 23955305 edges, 74692 markings/sec, 265 secs
lola: 19823977 markings, 24391065 edges, 71617 markings/sec, 270 secs
lola: 20203389 markings, 24865897 edges, 75882 markings/sec, 275 secs
lola: 20595765 markings, 25356038 edges, 78475 markings/sec, 280 secs
lola: 20971460 markings, 25832072 edges, 75139 markings/sec, 285 secs
lola: 21368709 markings, 26327995 edges, 79450 markings/sec, 290 secs
lola: 21752696 markings, 26817287 edges, 76797 markings/sec, 295 secs
lola: 22133506 markings, 27299670 edges, 76162 markings/sec, 300 secs
lola: 22503995 markings, 27779772 edges, 74098 markings/sec, 305 secs
lola: 22883315 markings, 28252249 edges, 75864 markings/sec, 310 secs
lola: 23257966 markings, 28726491 edges, 74930 markings/sec, 315 secs
lola: 23634874 markings, 29210971 edges, 75382 markings/sec, 320 secs
lola: 24023213 markings, 29700724 edges, 77668 markings/sec, 325 secs
lola: 24416515 markings, 30199357 edges, 78660 markings/sec, 330 secs
lola: 24787198 markings, 30670215 edges, 74137 markings/sec, 335 secs
lola: 25171273 markings, 31163436 edges, 76815 markings/sec, 340 secs
lola: 25542790 markings, 31648971 edges, 74303 markings/sec, 345 secs
lola: 25912594 markings, 32113927 edges, 73961 markings/sec, 350 secs
lola: 26317897 markings, 32613026 edges, 81061 markings/sec, 355 secs
lola: 26703880 markings, 33105548 edges, 77197 markings/sec, 360 secs
lola: 27055681 markings, 33520662 edges, 70360 markings/sec, 365 secs
lola: 27438118 markings, 33974278 edges, 76487 markings/sec, 370 secs
lola: 27805934 markings, 34422851 edges, 73563 markings/sec, 375 secs
lola: 28183977 markings, 34892035 edges, 75609 markings/sec, 380 secs
lola: 28555453 markings, 35355864 edges, 74295 markings/sec, 385 secs
lola: 28942746 markings, 35828378 edges, 77459 markings/sec, 390 secs
lola: 29332980 markings, 36326431 edges, 78047 markings/sec, 395 secs
lola: 29700946 markings, 36793119 edges, 73593 markings/sec, 400 secs
lola: 30085879 markings, 37254523 edges, 76987 markings/sec, 405 secs
lola: 30453884 markings, 37714041 edges, 73601 markings/sec, 410 secs
lola: 30835516 markings, 38196704 edges, 76326 markings/sec, 415 secs
lola: 31225542 markings, 38700680 edges, 78005 markings/sec, 420 secs
lola: 31623039 markings, 39197408 edges, 79499 markings/sec, 425 secs
lola: 31995624 markings, 39671588 edges, 74517 markings/sec, 430 secs
lola: 32358937 markings, 40121140 edges, 72663 markings/sec, 435 secs
lola: 32737001 markings, 40609748 edges, 75613 markings/sec, 440 secs
lola: 33116400 markings, 41092420 edges, 75880 markings/sec, 445 secs
lola: 33509712 markings, 41594637 edges, 78662 markings/sec, 450 secs
lola: 33890453 markings, 42074448 edges, 76148 markings/sec, 455 secs
lola: 34281711 markings, 42587298 edges, 78252 markings/sec, 460 secs
lola: 34631727 markings, 43026127 edges, 70003 markings/sec, 465 secs
lola: 35010293 markings, 43507062 edges, 75713 markings/sec, 470 secs
lola: 35396631 markings, 43999414 edges, 77268 markings/sec, 475 secs
lola: 35788984 markings, 44486705 edges, 78471 markings/sec, 480 secs
lola: 36183058 markings, 44975037 edges, 78815 markings/sec, 485 secs
lola: 36588809 markings, 45486929 edges, 81150 markings/sec, 490 secs
lola: 36974627 markings, 45978861 edges, 77164 markings/sec, 495 secs
lola: 37354941 markings, 46473501 edges, 76063 markings/sec, 500 secs
lola: 37762826 markings, 46980898 edges, 81577 markings/sec, 505 secs
lola: 38158284 markings, 47490531 edges, 79092 markings/sec, 510 secs
lola: 38563778 markings, 47983434 edges, 81099 markings/sec, 515 secs
lola: 38920566 markings, 48415012 edges, 71358 markings/sec, 520 secs
lola: 39245914 markings, 48803370 edges, 65070 markings/sec, 525 secs
lola: 39579954 markings, 49200870 edges, 66808 markings/sec, 530 secs
lola: 39931493 markings, 49623965 edges, 70308 markings/sec, 535 secs
lola: 40263301 markings, 50024112 edges, 66362 markings/sec, 540 secs
lola: 40601821 markings, 50438301 edges, 67704 markings/sec, 545 secs
lola: 40933779 markings, 50845646 edges, 66392 markings/sec, 550 secs
lola: 41284018 markings, 51273965 edges, 70048 markings/sec, 555 secs
lola: 41623952 markings, 51692728 edges, 67987 markings/sec, 560 secs
lola: 41965211 markings, 52117875 edges, 68252 markings/sec, 565 secs
lola: 42313354 markings, 52549732 edges, 69629 markings/sec, 570 secs
lola: 42669628 markings, 52983097 edges, 71255 markings/sec, 575 secs
lola: 43027133 markings, 53421313 edges, 71501 markings/sec, 580 secs
lola: 43394845 markings, 53876184 edges, 73542 markings/sec, 585 secs
lola: 43757685 markings, 54322220 edges, 72568 markings/sec, 590 secs
lola: 44124582 markings, 54775392 edges, 73379 markings/sec, 595 secs
lola: 44485570 markings, 55215338 edges, 72198 markings/sec, 600 secs
lola: 44842267 markings, 55656791 edges, 71339 markings/sec, 605 secs
lola: 45199825 markings, 56105703 edges, 71512 markings/sec, 610 secs
lola: 45556670 markings, 56540469 edges, 71369 markings/sec, 615 secs
lola: 45920540 markings, 56979692 edges, 72774 markings/sec, 620 secs
lola: 46295179 markings, 57444725 edges, 74928 markings/sec, 625 secs
lola: 46668161 markings, 57910175 edges, 74596 markings/sec, 630 secs
lola: 47024550 markings, 58347222 edges, 71278 markings/sec, 635 secs
lola: 47395380 markings, 58808345 edges, 74166 markings/sec, 640 secs
lola: 47757812 markings, 59262875 edges, 72486 markings/sec, 645 secs
lola: 48123615 markings, 59725313 edges, 73161 markings/sec, 650 secs
lola: 48498496 markings, 60197322 edges, 74976 markings/sec, 655 secs
lola: 48864520 markings, 60652874 edges, 73205 markings/sec, 660 secs
lola: 49234570 markings, 61118140 edges, 74010 markings/sec, 665 secs
lola: 49598060 markings, 61578206 edges, 72698 markings/sec, 670 secs
lola: 49973967 markings, 62052811 edges, 75181 markings/sec, 675 secs
lola: 50338011 markings, 62513289 edges, 72809 markings/sec, 680 secs
lola: 50690341 markings, 62929941 edges, 70466 markings/sec, 685 secs
lola: 51041364 markings, 63350145 edges, 70205 markings/sec, 690 secs
lola: 51399446 markings, 63791029 edges, 71616 markings/sec, 695 secs
lola: 51777650 markings, 64266014 edges, 75641 markings/sec, 700 secs
lola: 52132335 markings, 64694538 edges, 70937 markings/sec, 705 secs
lola: 52519779 markings, 65175015 edges, 77489 markings/sec, 710 secs
lola: 52899498 markings, 65663086 edges, 75944 markings/sec, 715 secs
lola: 53275112 markings, 66132611 edges, 75123 markings/sec, 720 secs
lola: 53637223 markings, 66567208 edges, 72422 markings/sec, 725 secs
lola: 54014196 markings, 67020362 edges, 75395 markings/sec, 730 secs
lola: 54403493 markings, 67494905 edges, 77859 markings/sec, 735 secs
lola: 54775625 markings, 67974632 edges, 74426 markings/sec, 740 secs
lola: 55152491 markings, 68452661 edges, 75373 markings/sec, 745 secs
lola: 55535355 markings, 68937256 edges, 76573 markings/sec, 750 secs
lola: 55926517 markings, 69431570 edges, 78232 markings/sec, 755 secs
lola: 56297900 markings, 69894116 edges, 74277 markings/sec, 760 secs
lola: 56684882 markings, 70373366 edges, 77396 markings/sec, 765 secs
lola: 57059590 markings, 70842663 edges, 74942 markings/sec, 770 secs
lola: 57421995 markings, 71288827 edges, 72481 markings/sec, 775 secs
lola: 57791789 markings, 71752028 edges, 73959 markings/sec, 780 secs
lola: 58167196 markings, 72215424 edges, 75081 markings/sec, 785 secs
lola: 58544831 markings, 72686930 edges, 75527 markings/sec, 790 secs
lola: 58898790 markings, 73137665 edges, 70792 markings/sec, 795 secs
lola: 59306557 markings, 73637869 edges, 81553 markings/sec, 800 secs
lola: 59667794 markings, 74089153 edges, 72247 markings/sec, 805 secs
lola: 60023039 markings, 74519049 edges, 71049 markings/sec, 810 secs
lola: 60365397 markings, 74927521 edges, 68472 markings/sec, 815 secs
lola: 60718346 markings, 75352432 edges, 70590 markings/sec, 820 secs
lola: 61072508 markings, 75784164 edges, 70832 markings/sec, 825 secs
lola: 61446545 markings, 76257856 edges, 74807 markings/sec, 830 secs
lola: 61824946 markings, 76727021 edges, 75680 markings/sec, 835 secs
lola: 62215797 markings, 77220333 edges, 78170 markings/sec, 840 secs
lola: 62605615 markings, 77699113 edges, 77964 markings/sec, 845 secs
lola: 62990493 markings, 78188419 edges, 76976 markings/sec, 850 secs
lola: 63365042 markings, 78647661 edges, 74910 markings/sec, 855 secs
lola: 63715195 markings, 79062531 edges, 70031 markings/sec, 860 secs
lola: 64085625 markings, 79507970 edges, 74086 markings/sec, 865 secs
lola: 64456253 markings, 79955304 edges, 74126 markings/sec, 870 secs
lola: 64832061 markings, 80429807 edges, 75162 markings/sec, 875 secs
lola: 65212699 markings, 80917402 edges, 76128 markings/sec, 880 secs
lola: 65581863 markings, 81374379 edges, 73833 markings/sec, 885 secs
lola: 65957421 markings, 81834670 edges, 75112 markings/sec, 890 secs
lola: 66349288 markings, 82330245 edges, 78373 markings/sec, 895 secs
lola: 66734436 markings, 82814101 edges, 77030 markings/sec, 900 secs
lola: 67112203 markings, 83288243 edges, 75553 markings/sec, 905 secs
lola: 67493386 markings, 83778427 edges, 76237 markings/sec, 910 secs
lola: 67867797 markings, 84258240 edges, 74882 markings/sec, 915 secs
lola: 68238920 markings, 84734729 edges, 74225 markings/sec, 920 secs
lola: 68616616 markings, 85216606 edges, 75539 markings/sec, 925 secs
lola: 68945855 markings, 85630959 edges, 65848 markings/sec, 930 secs
lola: 69318719 markings, 86109377 edges, 74573 markings/sec, 935 secs
lola: 69690448 markings, 86575516 edges, 74346 markings/sec, 940 secs
lola: 70059839 markings, 87022708 edges, 73878 markings/sec, 945 secs
lola: 70435309 markings, 87500525 edges, 75094 markings/sec, 950 secs
lola: 70833941 markings, 87982851 edges, 79726 markings/sec, 955 secs
lola: 71238422 markings, 88483695 edges, 80896 markings/sec, 960 secs
lola: 71608782 markings, 88967668 edges, 74072 markings/sec, 965 secs
lola: 71997102 markings, 89462208 edges, 77664 markings/sec, 970 secs
lola: 72383023 markings, 89957769 edges, 77184 markings/sec, 975 secs
lola: 72764971 markings, 90443306 edges, 76390 markings/sec, 980 secs
lola: 73154233 markings, 90928115 edges, 77852 markings/sec, 985 secs
lola: 73546449 markings, 91414461 edges, 78443 markings/sec, 990 secs
lola: 73930960 markings, 91889405 edges, 76902 markings/sec, 995 secs
lola: 74313143 markings, 92362307 edges, 76437 markings/sec, 1000 secs
lola: 74661901 markings, 92812529 edges, 69752 markings/sec, 1005 secs
lola: 75039553 markings, 93289988 edges, 75530 markings/sec, 1010 secs
lola: 75436873 markings, 93795052 edges, 79464 markings/sec, 1015 secs
lola: 75808718 markings, 94265568 edges, 74369 markings/sec, 1020 secs
lola: 76180895 markings, 94739645 edges, 74435 markings/sec, 1025 secs
lola: 76551066 markings, 95204173 edges, 74034 markings/sec, 1030 secs
lola: 76936901 markings, 95706965 edges, 77167 markings/sec, 1035 secs
lola: 77330553 markings, 96203397 edges, 78730 markings/sec, 1040 secs
lola: 77726150 markings, 96689156 edges, 79119 markings/sec, 1045 secs
lola: 78090735 markings, 97160427 edges, 72917 markings/sec, 1050 secs
lola: 78486277 markings, 97654101 edges, 79108 markings/sec, 1055 secs
lola: 78871402 markings, 98145883 edges, 77025 markings/sec, 1060 secs
lola: 79326718 markings, 98725713 edges, 91063 markings/sec, 1065 secs
lola: 79719057 markings, 99232083 edges, 78468 markings/sec, 1070 secs
lola: 80101851 markings, 99720591 edges, 76559 markings/sec, 1075 secs
lola: 80453591 markings, 100157917 edges, 70348 markings/sec, 1080 secs
lola: 80834034 markings, 100630521 edges, 76089 markings/sec, 1085 secs
lola: 81205499 markings, 101106411 edges, 74293 markings/sec, 1090 secs
lola: 81597313 markings, 101605671 edges, 78363 markings/sec, 1095 secs
lola: 82002720 markings, 102127871 edges, 81081 markings/sec, 1100 secs
lola: 82387824 markings, 102630035 edges, 77021 markings/sec, 1105 secs
lola: 82724068 markings, 103047739 edges, 67249 markings/sec, 1110 secs
lola: 83104800 markings, 103512100 edges, 76146 markings/sec, 1115 secs
lola: 83482804 markings, 103981930 edges, 75601 markings/sec, 1120 secs
lola: 83854115 markings, 104452147 edges, 74262 markings/sec, 1125 secs
lola: 84250975 markings, 104963186 edges, 79372 markings/sec, 1130 secs
lola: 84644444 markings, 105454956 edges, 78694 markings/sec, 1135 secs
lola: 85024893 markings, 105919949 edges, 76090 markings/sec, 1140 secs
lola: 85425270 markings, 106393021 edges, 80075 markings/sec, 1145 secs
lola: 85805480 markings, 106876183 edges, 76042 markings/sec, 1150 secs
lola: 86193650 markings, 107370741 edges, 77634 markings/sec, 1155 secs
lola: 86311607 markings, 107517651 edges, 23591 markings/sec, 1160 secs
lola: 86393719 markings, 107617711 edges, 16422 markings/sec, 1165 secs
lola: 86393830 markings, 107617869 edges, 22 markings/sec, 1170 secs
lola: 86394308 markings, 107618539 edges, 96 markings/sec, 1175 secs
lola: 86394784 markings, 107619227 edges, 95 markings/sec, 1180 secs
lola: 86394855 markings, 107619324 edges, 14 markings/sec, 1185 secs
lola: 86394886 markings, 107619365 edges, 6 markings/sec, 1190 secs
lola: 86394923 markings, 107619414 edges, 7 markings/sec, 1195 secs
lola: 86395427 markings, 107620107 edges, 101 markings/sec, 1200 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 1856 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((((p75 <= 0) OR (p120 <= 0)) R (((p55 <= 0) OR (p115 <= 0)) R ((p121 <= 0)))) AND (((p45 <= 0) OR (p115 <= 0)) AND ((p55 <= 0) OR (p115 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((((p75 <= 0) OR (p120 <= 0)) R (((p55 <= 0) OR (p115 <= 0)) R ((p121 <= 0)))) AND (((p45 <= 0) OR (p115 <= 0)) AND ((p55 <= 0) OR (p115 <= 0))))))
lola: processed formula length: 157
lola: 55 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: 19888 markings, 23838 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (X (F (((p45 <= 0) OR (p115 <= 0)))) OR G (((p74 <= 0) OR (p115 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: G (((p74 <= 0) OR (p115 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((p74 <= 0) OR (p115 <= 0)))
lola: processed formula length: 32
lola: 55 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: 603703 markings, 1154158 edges, 120741 markings/sec, 0 secs
lola: 1339100 markings, 2556298 edges, 147079 markings/sec, 5 secs
lola: 2065603 markings, 3950356 edges, 145301 markings/sec, 10 secs
lola: 2788458 markings, 5331669 edges, 144571 markings/sec, 15 secs
lola: 3514327 markings, 6721893 edges, 145174 markings/sec, 20 secs
lola: 4234525 markings, 8103870 edges, 144040 markings/sec, 25 secs
lola: 4968163 markings, 9510525 edges, 146728 markings/sec, 30 secs
lola: 5683510 markings, 10889509 edges, 143069 markings/sec, 35 secs
lola: 6376602 markings, 12262706 edges, 138618 markings/sec, 40 secs
lola: 7093561 markings, 13630365 edges, 143392 markings/sec, 45 secs
lola: 7793015 markings, 14987816 edges, 139891 markings/sec, 50 secs
lola: 8452211 markings, 16264518 edges, 131839 markings/sec, 55 secs
lola: 9103346 markings, 17537563 edges, 130227 markings/sec, 60 secs
lola: 9776168 markings, 18856604 edges, 134564 markings/sec, 65 secs
lola: 10521880 markings, 20283499 edges, 149142 markings/sec, 70 secs
lola: 11270697 markings, 21726702 edges, 149763 markings/sec, 75 secs
lola: 12019111 markings, 23168486 edges, 149683 markings/sec, 80 secs
lola: 12713510 markings, 24538077 edges, 138880 markings/sec, 85 secs
lola: 13412656 markings, 25913515 edges, 139829 markings/sec, 90 secs
lola: 14112426 markings, 27312748 edges, 139954 markings/sec, 95 secs
lola: 14813546 markings, 28678035 edges, 140224 markings/sec, 100 secs
lola: 15486021 markings, 30005414 edges, 134495 markings/sec, 105 secs
lola: 16169046 markings, 31365275 edges, 136605 markings/sec, 110 secs
lola: 16828116 markings, 32684198 edges, 131814 markings/sec, 115 secs
lola: 17527702 markings, 34071156 edges, 139917 markings/sec, 120 secs
lola: 18179784 markings, 35374725 edges, 130416 markings/sec, 125 secs
lola: 18908903 markings, 36766405 edges, 145824 markings/sec, 130 secs
lola: 19647080 markings, 38180423 edges, 147635 markings/sec, 135 secs
lola: 20335663 markings, 39525662 edges, 137717 markings/sec, 140 secs
lola: 20993243 markings, 40830100 edges, 131516 markings/sec, 145 secs
lola: 21796952 markings, 42369567 edges, 160742 markings/sec, 150 secs
lola: 22577179 markings, 43882326 edges, 156045 markings/sec, 155 secs
lola: 23329248 markings, 45358895 edges, 150414 markings/sec, 160 secs
lola: 24098928 markings, 46832280 edges, 153936 markings/sec, 165 secs
lola: 24848318 markings, 48286946 edges, 149878 markings/sec, 170 secs
lola: 25599223 markings, 49730022 edges, 150181 markings/sec, 175 secs
lola: 26376035 markings, 51222167 edges, 155362 markings/sec, 180 secs
lola: 27109384 markings, 52632925 edges, 146670 markings/sec, 185 secs
lola: 27868718 markings, 54102200 edges, 151867 markings/sec, 190 secs
lola: 28663345 markings, 55620566 edges, 158925 markings/sec, 195 secs
lola: 29449355 markings, 57133866 edges, 157202 markings/sec, 200 secs
lola: 30171656 markings, 58562830 edges, 144460 markings/sec, 205 secs
lola: 30830850 markings, 59847504 edges, 131839 markings/sec, 210 secs
lola: 31638224 markings, 61394537 edges, 161475 markings/sec, 215 secs
lola: 32431804 markings, 62909837 edges, 158716 markings/sec, 220 secs
lola: 33196413 markings, 64404591 edges, 152922 markings/sec, 225 secs
lola: 33894495 markings, 65780954 edges, 139616 markings/sec, 230 secs
lola: 34696048 markings, 67322249 edges, 160311 markings/sec, 235 secs
lola: 35483751 markings, 68833801 edges, 157541 markings/sec, 240 secs
lola: 36246287 markings, 70336118 edges, 152507 markings/sec, 245 secs
lola: 37002990 markings, 71791707 edges, 151341 markings/sec, 250 secs
lola: 37777962 markings, 73275395 edges, 154994 markings/sec, 255 secs
lola: 38516130 markings, 74693624 edges, 147634 markings/sec, 260 secs
lola: 39288028 markings, 76187652 edges, 154380 markings/sec, 265 secs
lola: 40002867 markings, 77610885 edges, 142968 markings/sec, 270 secs
lola: 40707078 markings, 78971436 edges, 140842 markings/sec, 275 secs
lola: 41450771 markings, 80415134 edges, 148739 markings/sec, 280 secs
lola: 42229151 markings, 81902325 edges, 155676 markings/sec, 285 secs
lola: 42995277 markings, 83384543 edges, 153225 markings/sec, 290 secs
lola: 43757283 markings, 84884791 edges, 152401 markings/sec, 295 secs
lola: 44470783 markings, 86325780 edges, 142700 markings/sec, 300 secs
lola: 45182766 markings, 87768677 edges, 142397 markings/sec, 305 secs
lola: 45877025 markings, 89167427 edges, 138852 markings/sec, 310 secs
lola: 46599081 markings, 90620702 edges, 144411 markings/sec, 315 secs
lola: 47313911 markings, 92044550 edges, 142966 markings/sec, 320 secs
lola: 48084179 markings, 93516503 edges, 154054 markings/sec, 325 secs
lola: 48855595 markings, 95001741 edges, 154283 markings/sec, 330 secs
lola: 49637757 markings, 96499955 edges, 156432 markings/sec, 335 secs
lola: 50397472 markings, 97960554 edges, 151943 markings/sec, 340 secs
lola: 51177456 markings, 99453927 edges, 155997 markings/sec, 345 secs
lola: 51948704 markings, 100931409 edges, 154250 markings/sec, 350 secs
lola: 52684905 markings, 102354625 edges, 147240 markings/sec, 355 secs
lola: 53444366 markings, 103807898 edges, 151892 markings/sec, 360 secs
lola: 54165837 markings, 105202415 edges, 144294 markings/sec, 365 secs
lola: 54859475 markings, 106606450 edges, 138728 markings/sec, 370 secs
lola: 55562933 markings, 107988053 edges, 140692 markings/sec, 375 secs
lola: 56261313 markings, 109375632 edges, 139676 markings/sec, 380 secs
lola: 57009240 markings, 110829831 edges, 149585 markings/sec, 385 secs
lola: 57776014 markings, 112296947 edges, 153355 markings/sec, 390 secs
lola: 58549498 markings, 113793369 edges, 154697 markings/sec, 395 secs
lola: 59306851 markings, 115247364 edges, 151471 markings/sec, 400 secs
lola: 59965058 markings, 116508886 edges, 131641 markings/sec, 405 secs
lola: 60614879 markings, 117772844 edges, 129964 markings/sec, 410 secs
lola: 61328364 markings, 119187997 edges, 142697 markings/sec, 415 secs
lola: 62016368 markings, 120539567 edges, 137601 markings/sec, 420 secs
lola: 62713377 markings, 121894825 edges, 139402 markings/sec, 425 secs
lola: 63384277 markings, 123225187 edges, 134180 markings/sec, 430 secs
lola: 64073204 markings, 124625818 edges, 137785 markings/sec, 435 secs
lola: 64764736 markings, 125994779 edges, 138306 markings/sec, 440 secs
lola: 65489658 markings, 127437865 edges, 144984 markings/sec, 445 secs
lola: 66251228 markings, 128917517 edges, 152314 markings/sec, 450 secs
lola: 67041989 markings, 130431551 edges, 158152 markings/sec, 455 secs
lola: 67824382 markings, 131937579 edges, 156479 markings/sec, 460 secs
lola: 68542955 markings, 133348196 edges, 143715 markings/sec, 465 secs
lola: 69245267 markings, 134733164 edges, 140462 markings/sec, 470 secs
lola: 69937521 markings, 136107204 edges, 138451 markings/sec, 475 secs
lola: 70639550 markings, 137515428 edges, 140406 markings/sec, 480 secs
lola: 71326075 markings, 138884834 edges, 137305 markings/sec, 485 secs
lola: 72108312 markings, 140379862 edges, 156447 markings/sec, 490 secs
lola: 72835692 markings, 141797165 edges, 145476 markings/sec, 495 secs
lola: 73577662 markings, 143238243 edges, 148394 markings/sec, 500 secs
lola: 74373565 markings, 144756144 edges, 159181 markings/sec, 505 secs
lola: 75168227 markings, 146279023 edges, 158932 markings/sec, 510 secs
lola: 75942933 markings, 147783683 edges, 154941 markings/sec, 515 secs
lola: 76704812 markings, 149270634 edges, 152376 markings/sec, 520 secs
lola: 77489035 markings, 150765087 edges, 156845 markings/sec, 525 secs
lola: 78256224 markings, 152257753 edges, 153438 markings/sec, 530 secs
lola: 79056064 markings, 153789518 edges, 159968 markings/sec, 535 secs
lola: 79793683 markings, 155255631 edges, 147524 markings/sec, 540 secs
lola: 80516264 markings, 156713261 edges, 144516 markings/sec, 545 secs
lola: 81249685 markings, 158152040 edges, 146684 markings/sec, 550 secs
lola: 81984398 markings, 159602613 edges, 146943 markings/sec, 555 secs
lola: 82714669 markings, 161068831 edges, 146054 markings/sec, 560 secs
lola: 83407979 markings, 162471220 edges, 138662 markings/sec, 565 secs
lola: 84151639 markings, 163953488 edges, 148732 markings/sec, 570 secs
lola: 84865666 markings, 165358708 edges, 142805 markings/sec, 575 secs
lola: 85563430 markings, 166758963 edges, 139553 markings/sec, 580 secs
lola: 86271400 markings, 168185517 edges, 141594 markings/sec, 585 secs
lola: 86969112 markings, 169600382 edges, 139542 markings/sec, 590 secs
lola: 87750640 markings, 171093382 edges, 156306 markings/sec, 595 secs
lola: 88537683 markings, 172601955 edges, 157409 markings/sec, 600 secs
lola: 89314528 markings, 174089097 edges, 155369 markings/sec, 605 secs
lola: 90040565 markings, 175498736 edges, 145207 markings/sec, 610 secs
lola: 90715757 markings, 176804765 edges, 135038 markings/sec, 615 secs
lola: 91344840 markings, 178031260 edges, 125817 markings/sec, 620 secs
lola: 92075959 markings, 179425293 edges, 146224 markings/sec, 625 secs
lola: 92632654 markings, 180560367 edges, 111339 markings/sec, 630 secs
lola: 93200632 markings, 181722975 edges, 113596 markings/sec, 635 secs
lola: 93863278 markings, 183058608 edges, 132529 markings/sec, 640 secs
lola: 94503404 markings, 184365070 edges, 128025 markings/sec, 645 secs
lola: 95167483 markings, 185714730 edges, 132816 markings/sec, 650 secs
lola: 95826487 markings, 187087969 edges, 131801 markings/sec, 655 secs
lola: 96483231 markings, 188435462 edges, 131349 markings/sec, 660 secs
lola: 97079204 markings, 189676561 edges, 119195 markings/sec, 665 secs
lola: 97759519 markings, 191029491 edges, 136063 markings/sec, 670 secs
lola: 98487096 markings, 192445725 edges, 145515 markings/sec, 675 secs
lola: 99216292 markings, 193835688 edges, 145839 markings/sec, 680 secs
lola: 99951641 markings, 195243011 edges, 147070 markings/sec, 685 secs
lola: 100556754 markings, 196430275 edges, 121023 markings/sec, 690 secs
lola: 101242020 markings, 197776632 edges, 137053 markings/sec, 695 secs
lola: 101869584 markings, 199063110 edges, 125513 markings/sec, 700 secs
lola: 102541230 markings, 200442681 edges, 134329 markings/sec, 705 secs
lola: 103276955 markings, 201878543 edges, 147145 markings/sec, 710 secs
lola: 104025834 markings, 203312867 edges, 149776 markings/sec, 715 secs
lola: 104784363 markings, 204762002 edges, 151706 markings/sec, 720 secs
lola: 105425573 markings, 206035920 edges, 128242 markings/sec, 725 secs
lola: 106123408 markings, 207424359 edges, 139567 markings/sec, 730 secs
lola: 106787490 markings, 208688599 edges, 132816 markings/sec, 735 secs
lola: 107486947 markings, 210043804 edges, 139891 markings/sec, 740 secs
lola: 108163670 markings, 211366087 edges, 135345 markings/sec, 745 secs
lola: 108826778 markings, 212660839 edges, 132622 markings/sec, 750 secs
lola: 109524074 markings, 214043577 edges, 139459 markings/sec, 755 secs
lola: 110246000 markings, 215457534 edges, 144385 markings/sec, 760 secs
lola: 110942976 markings, 216819497 edges, 139395 markings/sec, 765 secs
lola: 111545501 markings, 218025980 edges, 120505 markings/sec, 770 secs
lola: 111891825 markings, 218742193 edges, 69265 markings/sec, 775 secs
lola: 111916237 markings, 218793995 edges, 4882 markings/sec, 780 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: X (F (((p45 <= 0) OR (p115 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((p45 <= 0) OR (p115 <= 0))))
lola: processed formula length: 36
lola: 55 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 6 markings, 6 edges
lola: ========================================
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: G (F ((G (((1 <= p90) AND (1 <= p125))) AND (G (((1 <= p90) AND (1 <= p125))) OR G (F (((p90 <= 0) OR (p125 <= 0))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((G (((1 <= p90) AND (1 <= p125))) AND (G (((1 <= p90) AND (1 <= p125))) OR G (F (((p90 <= 0) OR (p125 <= 0))))))))
lola: processed formula length: 121
lola: 55 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 20 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: 246777 markings, 290646 edges, 49355 markings/sec, 0 secs
lola: 557799 markings, 659967 edges, 62204 markings/sec, 5 secs
lola: 890942 markings, 1055415 edges, 66629 markings/sec, 10 secs
lola: 1218831 markings, 1449728 edges, 65578 markings/sec, 15 secs
lola: 1552329 markings, 1856179 edges, 66700 markings/sec, 20 secs
lola: 1887108 markings, 2261416 edges, 66956 markings/sec, 25 secs
lola: 2223356 markings, 2678111 edges, 67250 markings/sec, 30 secs
lola: 2547830 markings, 3079571 edges, 64895 markings/sec, 35 secs
lola: 2887984 markings, 3498738 edges, 68031 markings/sec, 40 secs
lola: 3235698 markings, 3924846 edges, 69543 markings/sec, 45 secs
lola: 3580595 markings, 4343883 edges, 68979 markings/sec, 50 secs
lola: 3934738 markings, 4763323 edges, 70829 markings/sec, 55 secs
lola: 4286266 markings, 5196971 edges, 70306 markings/sec, 60 secs
lola: 4647143 markings, 5640455 edges, 72175 markings/sec, 65 secs
lola: 4995095 markings, 6064967 edges, 69590 markings/sec, 70 secs
lola: 5348639 markings, 6493057 edges, 70709 markings/sec, 75 secs
lola: 5714169 markings, 6945179 edges, 73106 markings/sec, 80 secs
lola: 6048516 markings, 7360323 edges, 66869 markings/sec, 85 secs
lola: 6400789 markings, 7808260 edges, 70455 markings/sec, 90 secs
lola: 6757277 markings, 8256208 edges, 71298 markings/sec, 95 secs
lola: 7117377 markings, 8713470 edges, 72020 markings/sec, 100 secs
lola: 7472895 markings, 9157954 edges, 71104 markings/sec, 105 secs
lola: 7826159 markings, 9592926 edges, 70653 markings/sec, 110 secs
lola: 8180172 markings, 10029640 edges, 70803 markings/sec, 115 secs
lola: 8542308 markings, 10482369 edges, 72427 markings/sec, 120 secs
lola: 8893145 markings, 10899975 edges, 70167 markings/sec, 125 secs
lola: 9238515 markings, 11312308 edges, 69074 markings/sec, 130 secs
lola: 9582844 markings, 11729442 edges, 68866 markings/sec, 135 secs
lola: 9942374 markings, 12167947 edges, 71906 markings/sec, 140 secs
lola: 10306369 markings, 12616923 edges, 72799 markings/sec, 145 secs
lola: 10653124 markings, 13049506 edges, 69351 markings/sec, 150 secs
lola: 11001659 markings, 13493145 edges, 69707 markings/sec, 155 secs
lola: 11366819 markings, 13943444 edges, 73032 markings/sec, 160 secs
lola: 11722039 markings, 14390731 edges, 71044 markings/sec, 165 secs
lola: 12072591 markings, 14828991 edges, 70110 markings/sec, 170 secs
lola: 12419603 markings, 15258355 edges, 69402 markings/sec, 175 secs
lola: 12794285 markings, 15717030 edges, 74936 markings/sec, 180 secs
lola: 13165612 markings, 16184716 edges, 74265 markings/sec, 185 secs
lola: 13520891 markings, 16627744 edges, 71056 markings/sec, 190 secs
lola: 13894249 markings, 17075457 edges, 74672 markings/sec, 195 secs
lola: 14254477 markings, 17518046 edges, 72046 markings/sec, 200 secs
lola: 14605307 markings, 17959532 edges, 70166 markings/sec, 205 secs
lola: 14945042 markings, 18365893 edges, 67947 markings/sec, 210 secs
lola: 15279661 markings, 18763696 edges, 66924 markings/sec, 215 secs
lola: 15611160 markings, 19165206 edges, 66300 markings/sec, 220 secs
lola: 15963767 markings, 19594482 edges, 70521 markings/sec, 225 secs
lola: 16339269 markings, 20054819 edges, 75100 markings/sec, 230 secs
lola: 16725061 markings, 20529187 edges, 77158 markings/sec, 235 secs
lola: 17099804 markings, 20994654 edges, 74949 markings/sec, 240 secs
lola: 17479800 markings, 21465869 edges, 75999 markings/sec, 245 secs
lola: 17849654 markings, 21936922 edges, 73971 markings/sec, 250 secs
lola: 18247612 markings, 22433088 edges, 79592 markings/sec, 255 secs
lola: 18628920 markings, 22915375 edges, 76262 markings/sec, 260 secs
lola: 18978308 markings, 23355902 edges, 69878 markings/sec, 265 secs
lola: 19343142 markings, 23805933 edges, 72967 markings/sec, 270 secs
lola: 19709861 markings, 24252822 edges, 73344 markings/sec, 275 secs
lola: 20059432 markings, 24692198 edges, 69914 markings/sec, 280 secs
lola: 20449135 markings, 25175248 edges, 77941 markings/sec, 285 secs
lola: 20824599 markings, 25644680 edges, 75093 markings/sec, 290 secs
lola: 21207360 markings, 26131198 edges, 76552 markings/sec, 295 secs
lola: 21598511 markings, 26621965 edges, 78230 markings/sec, 300 secs
lola: 21972307 markings, 27096158 edges, 74759 markings/sec, 305 secs
lola: 22340514 markings, 27565671 edges, 73641 markings/sec, 310 secs
lola: 22704416 markings, 28027708 edges, 72780 markings/sec, 315 secs
lola: 23086048 markings, 28507542 edges, 76326 markings/sec, 320 secs
lola: 23447546 markings, 28975067 edges, 72300 markings/sec, 325 secs
lola: 23831843 markings, 29458483 edges, 76859 markings/sec, 330 secs
lola: 24213980 markings, 29944394 edges, 76427 markings/sec, 335 secs
lola: 24589883 markings, 30422081 edges, 75181 markings/sec, 340 secs
lola: 24963253 markings, 30897098 edges, 74674 markings/sec, 345 secs
lola: 25328822 markings, 31369449 edges, 73114 markings/sec, 350 secs
lola: 25689933 markings, 31841592 edges, 72222 markings/sec, 355 secs
lola: 26076179 markings, 32316860 edges, 77249 markings/sec, 360 secs
lola: 26478916 markings, 32816619 edges, 80547 markings/sec, 365 secs
lola: 26835035 markings, 33259197 edges, 71224 markings/sec, 370 secs
lola: 27184407 markings, 33673339 edges, 69874 markings/sec, 375 secs
lola: 27567273 markings, 34129522 edges, 76573 markings/sec, 380 secs
lola: 27921916 markings, 34560394 edges, 70929 markings/sec, 385 secs
lola: 28302081 markings, 35041570 edges, 76033 markings/sec, 390 secs
lola: 28663800 markings, 35491629 edges, 72344 markings/sec, 395 secs
lola: 29044447 markings, 35959251 edges, 76129 markings/sec, 400 secs
lola: 29433676 markings, 36458453 edges, 77846 markings/sec, 405 secs
lola: 29786064 markings, 36897105 edges, 70478 markings/sec, 410 secs
lola: 30169089 markings, 37360855 edges, 76605 markings/sec, 415 secs
lola: 30545152 markings, 37825580 edges, 75213 markings/sec, 420 secs
lola: 30921652 markings, 38307979 edges, 75300 markings/sec, 425 secs
lola: 31305341 markings, 38806519 edges, 76738 markings/sec, 430 secs
lola: 31694250 markings, 39291057 edges, 77782 markings/sec, 435 secs
lola: 32058441 markings, 39749765 edges, 72838 markings/sec, 440 secs
lola: 32420932 markings, 40204408 edges, 72498 markings/sec, 445 secs
lola: 32800307 markings, 40687709 edges, 75875 markings/sec, 450 secs
lola: 33168385 markings, 41160844 edges, 73616 markings/sec, 455 secs
lola: 33557807 markings, 41657371 edges, 77884 markings/sec, 460 secs
lola: 33931239 markings, 42127339 edges, 74686 markings/sec, 465 secs
lola: 34317767 markings, 42630040 edges, 77306 markings/sec, 470 secs
lola: 34659829 markings, 43061837 edges, 68412 markings/sec, 475 secs
lola: 35037297 markings, 43541922 edges, 75494 markings/sec, 480 secs
lola: 35415209 markings, 44021902 edges, 75582 markings/sec, 485 secs
lola: 35800527 markings, 44500321 edges, 77064 markings/sec, 490 secs
lola: 36188560 markings, 44981639 edges, 77607 markings/sec, 495 secs
lola: 36589803 markings, 45488250 edges, 80249 markings/sec, 500 secs
lola: 36969331 markings, 45972081 edges, 75906 markings/sec, 505 secs
lola: 37340585 markings, 46455864 edges, 74251 markings/sec, 510 secs
lola: 37741679 markings, 46955115 edges, 80219 markings/sec, 515 secs
lola: 38137431 markings, 47464025 edges, 79150 markings/sec, 520 secs
lola: 38536067 markings, 47950103 edges, 79727 markings/sec, 525 secs
lola: 38889913 markings, 48379623 edges, 70769 markings/sec, 530 secs
lola: 39207310 markings, 48757904 edges, 63479 markings/sec, 535 secs
lola: 39534974 markings, 49144867 edges, 65533 markings/sec, 540 secs
lola: 39871938 markings, 49550581 edges, 67393 markings/sec, 545 secs
lola: 40203393 markings, 49950150 edges, 66291 markings/sec, 550 secs
lola: 40530397 markings, 50353204 edges, 65401 markings/sec, 555 secs
lola: 40852743 markings, 50745246 edges, 64469 markings/sec, 560 secs
lola: 41195773 markings, 51167013 edges, 68606 markings/sec, 565 secs
lola: 41520291 markings, 51567105 edges, 64904 markings/sec, 570 secs
lola: 41864698 markings, 51991711 edges, 68881 markings/sec, 575 secs
lola: 42198278 markings, 52407746 edges, 66716 markings/sec, 580 secs
lola: 42545908 markings, 52838456 edges, 69526 markings/sec, 585 secs
lola: 42904706 markings, 53266471 edges, 71760 markings/sec, 590 secs
lola: 43268126 markings, 53717777 edges, 72684 markings/sec, 595 secs
lola: 43620745 markings, 54155562 edges, 70524 markings/sec, 600 secs
lola: 43984605 markings, 54598212 edges, 72772 markings/sec, 605 secs
lola: 44341670 markings, 55035905 edges, 71413 markings/sec, 610 secs
lola: 44688899 markings, 55469382 edges, 69446 markings/sec, 615 secs
lola: 45048386 markings, 55916145 edges, 71897 markings/sec, 620 secs
lola: 45391873 markings, 56337806 edges, 68697 markings/sec, 625 secs
lola: 45745955 markings, 56765717 edges, 70816 markings/sec, 630 secs
lola: 46108456 markings, 57215816 edges, 72500 markings/sec, 635 secs
lola: 46480825 markings, 57672761 edges, 74474 markings/sec, 640 secs
lola: 46830297 markings, 58114506 edges, 69894 markings/sec, 645 secs
lola: 47188010 markings, 58543998 edges, 71543 markings/sec, 650 secs
lola: 47549766 markings, 59005781 edges, 72351 markings/sec, 655 secs
lola: 47905496 markings, 59450783 edges, 71146 markings/sec, 660 secs
lola: 48270285 markings, 59909573 edges, 72958 markings/sec, 665 secs
lola: 48640223 markings, 60371732 edges, 73988 markings/sec, 670 secs
lola: 49003600 markings, 60825509 edges, 72675 markings/sec, 675 secs
lola: 49353001 markings, 61269977 edges, 69880 markings/sec, 680 secs
lola: 49716294 markings, 61727999 edges, 72659 markings/sec, 685 secs
lola: 50083081 markings, 62192978 edges, 73357 markings/sec, 690 secs
lola: 50437061 markings, 62629584 edges, 70796 markings/sec, 695 secs
lola: 50781912 markings, 63039629 edges, 68970 markings/sec, 700 secs
lola: 51125467 markings, 63452338 edges, 68711 markings/sec, 705 secs
lola: 51486772 markings, 63899044 edges, 72261 markings/sec, 710 secs
lola: 51850018 markings, 64351641 edges, 72649 markings/sec, 715 secs
lola: 52204910 markings, 64784802 edges, 70978 markings/sec, 720 secs
lola: 52588137 markings, 65262261 edges, 76645 markings/sec, 725 secs
lola: 52963978 markings, 65742495 edges, 75168 markings/sec, 730 secs
lola: 53323071 markings, 66190144 edges, 71819 markings/sec, 735 secs
lola: 53681525 markings, 66621002 edges, 71691 markings/sec, 740 secs
lola: 54061948 markings, 67076713 edges, 76085 markings/sec, 745 secs
lola: 54437898 markings, 67540573 edges, 75190 markings/sec, 750 secs
lola: 54807933 markings, 68015331 edges, 74007 markings/sec, 755 secs
lola: 55174395 markings, 68480280 edges, 73292 markings/sec, 760 secs
lola: 55552853 markings, 68959810 edges, 75692 markings/sec, 765 secs
lola: 55937774 markings, 69445785 edges, 76984 markings/sec, 770 secs
lola: 56303127 markings, 69900739 edges, 73071 markings/sec, 775 secs
lola: 56683597 markings, 70371635 edges, 76094 markings/sec, 780 secs
lola: 57051096 markings, 70832587 edges, 73500 markings/sec, 785 secs
lola: 57409282 markings, 71273548 edges, 71637 markings/sec, 790 secs
lola: 57772809 markings, 71727754 edges, 72705 markings/sec, 795 secs
lola: 58141650 markings, 72183372 edges, 73768 markings/sec, 800 secs
lola: 58511190 markings, 72644369 edges, 73908 markings/sec, 805 secs
lola: 58861721 markings, 73090887 edges, 70106 markings/sec, 810 secs
lola: 59252528 markings, 73574185 edges, 78161 markings/sec, 815 secs
lola: 59619546 markings, 74029663 edges, 73404 markings/sec, 820 secs
lola: 59970821 markings, 74458387 edges, 70255 markings/sec, 825 secs
lola: 60306164 markings, 74858524 edges, 67069 markings/sec, 830 secs
lola: 60648801 markings, 75268494 edges, 68527 markings/sec, 835 secs
lola: 60999074 markings, 75694733 edges, 70055 markings/sec, 840 secs
lola: 61363158 markings, 76150806 edges, 72817 markings/sec, 845 secs
lola: 61731075 markings, 76611535 edges, 73583 markings/sec, 850 secs
lola: 62107853 markings, 77091074 edges, 75356 markings/sec, 855 secs
lola: 62494959 markings, 77558577 edges, 77421 markings/sec, 860 secs
lola: 62880703 markings, 78046730 edges, 77149 markings/sec, 865 secs
lola: 63255518 markings, 78517990 edges, 74963 markings/sec, 870 secs
lola: 63600848 markings, 78926104 edges, 69066 markings/sec, 875 secs
lola: 63954833 markings, 79351312 edges, 70797 markings/sec, 880 secs
lola: 64333568 markings, 79806589 edges, 75747 markings/sec, 885 secs
lola: 64687953 markings, 80242140 edges, 70877 markings/sec, 890 secs
lola: 65065607 markings, 80730415 edges, 75531 markings/sec, 895 secs
lola: 65431969 markings, 81192046 edges, 73272 markings/sec, 900 secs
lola: 65798944 markings, 81640993 edges, 73395 markings/sec, 905 secs
lola: 66173676 markings, 82104272 edges, 74946 markings/sec, 910 secs
lola: 66557413 markings, 82585863 edges, 76747 markings/sec, 915 secs
lola: 66933210 markings, 83066107 edges, 75159 markings/sec, 920 secs
lola: 67313999 markings, 83543709 edges, 76158 markings/sec, 925 secs
lola: 67682415 markings, 84022109 edges, 73683 markings/sec, 930 secs
lola: 68052073 markings, 84498863 edges, 73932 markings/sec, 935 secs
lola: 68434214 markings, 84986557 edges, 76428 markings/sec, 940 secs
lola: 68806600 markings, 85456524 edges, 74477 markings/sec, 945 secs
lola: 69164910 markings, 85917516 edges, 71662 markings/sec, 950 secs
lola: 69535537 markings, 86383669 edges, 74125 markings/sec, 955 secs
lola: 69928627 markings, 86863289 edges, 78618 markings/sec, 960 secs
lola: 70307941 markings, 87337922 edges, 75863 markings/sec, 965 secs
lola: 70690754 markings, 87813168 edges, 76563 markings/sec, 970 secs
lola: 71091854 markings, 88293876 edges, 80220 markings/sec, 975 secs
lola: 71470972 markings, 88783194 edges, 75824 markings/sec, 980 secs
lola: 71853912 markings, 89273749 edges, 76588 markings/sec, 985 secs
lola: 72225074 markings, 89753734 edges, 74232 markings/sec, 990 secs
lola: 72602524 markings, 90235691 edges, 75490 markings/sec, 995 secs
lola: 72979241 markings, 90720496 edges, 75343 markings/sec, 1000 secs
lola: 73376239 markings, 91196508 edges, 79400 markings/sec, 1005 secs
lola: 73747298 markings, 91664045 edges, 74212 markings/sec, 1010 secs
lola: 74091550 markings, 92085510 edges, 68850 markings/sec, 1015 secs
lola: 74476071 markings, 92571898 edges, 76904 markings/sec, 1020 secs
lola: 74850188 markings, 93046485 edges, 74823 markings/sec, 1025 secs
lola: 75230594 markings, 93532946 edges, 76081 markings/sec, 1030 secs
lola: 75595707 markings, 93996244 edges, 73023 markings/sec, 1035 secs
lola: 75947099 markings, 94443352 edges, 70278 markings/sec, 1040 secs
lola: 76317253 markings, 94907369 edges, 74031 markings/sec, 1045 secs
lola: 76688844 markings, 95380647 edges, 74318 markings/sec, 1050 secs
lola: 77071157 markings, 95877099 edges, 76463 markings/sec, 1055 secs
lola: 77453760 markings, 96356813 edges, 76521 markings/sec, 1060 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no no no no no no no no no unknown no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no no no no no no no no unknown no no
lola:
preliminary result: unknown no no no no no no no no no unknown no no
lola: memory consumption: 1392 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Raft-PT-05"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itslola"
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 itslola"
echo " Input is Raft-PT-05, 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 r172-smll-158987827600242"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-05.tgz
mv Raft-PT-05 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 ;