About the Execution of ITS-LoLa for Raft-PT-06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15792.890 | 3600000.00 | 3572321.00 | 56361.20 | FTFFFTTF?FT??TTF | 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-158987827600250.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-06, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172-smll-158987827600250
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 268K
-rw-r--r-- 1 mcc users 2.8K Apr 12 08:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 12 08:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 11 09:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K Apr 11 09:04 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 28K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Apr 10 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 9 21:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K 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 89K 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-06-00
FORMULA_NAME Raft-PT-06-01
FORMULA_NAME Raft-PT-06-02
FORMULA_NAME Raft-PT-06-03
FORMULA_NAME Raft-PT-06-04
FORMULA_NAME Raft-PT-06-05
FORMULA_NAME Raft-PT-06-06
FORMULA_NAME Raft-PT-06-07
FORMULA_NAME Raft-PT-06-08
FORMULA_NAME Raft-PT-06-09
FORMULA_NAME Raft-PT-06-10
FORMULA_NAME Raft-PT-06-11
FORMULA_NAME Raft-PT-06-12
FORMULA_NAME Raft-PT-06-13
FORMULA_NAME Raft-PT-06-14
FORMULA_NAME Raft-PT-06-15
=== Now, execution of the tool begins
BK_START 1591343366369
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-05 07:49:28] [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 07:49:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-05 07:49:28] [INFO ] Load time of PNML (sax parser for PT used): 107 ms
[2020-06-05 07:49:28] [INFO ] Transformed 188 places.
[2020-06-05 07:49:28] [INFO ] Transformed 332 transitions.
[2020-06-05 07:49:28] [INFO ] Found NUPN structural information;
[2020-06-05 07:49:28] [INFO ] Parsed PT model containing 188 places and 332 transitions in 167 ms.
Ensure Unique test removed 26 transitions
Reduce redundant transitions removed 26 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 26 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 0 resets, run finished after 562 ms. (steps per millisecond=177 ) properties seen :[1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
[2020-06-05 07:49:29] [INFO ] Flow matrix only has 280 transitions (discarded 26 similar events)
// Phase 1: matrix 280 rows 188 cols
[2020-06-05 07:49:29] [INFO ] Computed 36 place invariants in 20 ms
[2020-06-05 07:49:29] [INFO ] [Real]Absence check using 36 positive place invariants in 53 ms returned sat
[2020-06-05 07:49:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 07:49:30] [INFO ] [Real]Absence check using state equation in 289 ms returned sat
[2020-06-05 07:49:30] [INFO ] State equation strengthened by 154 read => feed constraints.
[2020-06-05 07:49:30] [INFO ] [Real]Added 154 Read/Feed constraints in 34 ms returned sat
[2020-06-05 07:49:30] [INFO ] Computed and/alt/rep : 305/2239/279 causal constraints in 59 ms.
[2020-06-05 07:49:30] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 07:49:30] [INFO ] [Nat]Absence check using 36 positive place invariants in 47 ms returned sat
[2020-06-05 07:49:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 07:49:30] [INFO ] [Nat]Absence check using state equation in 308 ms returned sat
[2020-06-05 07:49:30] [INFO ] [Nat]Added 154 Read/Feed constraints in 87 ms returned sat
[2020-06-05 07:49:31] [INFO ] Computed and/alt/rep : 305/2239/279 causal constraints in 34 ms.
[2020-06-05 07:49:33] [INFO ] Added : 270 causal constraints over 54 iterations in 2794 ms. Result :sat
[2020-06-05 07:49:33] [INFO ] [Real]Absence check using 36 positive place invariants in 37 ms returned sat
[2020-06-05 07:49:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 07:49:34] [INFO ] [Real]Absence check using state equation in 314 ms returned sat
[2020-06-05 07:49:34] [INFO ] [Real]Added 154 Read/Feed constraints in 25 ms returned sat
[2020-06-05 07:49:34] [INFO ] Computed and/alt/rep : 305/2239/279 causal constraints in 34 ms.
[2020-06-05 07:49:34] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 07:49:34] [INFO ] [Nat]Absence check using 36 positive place invariants in 24 ms returned sat
[2020-06-05 07:49:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 07:49:34] [INFO ] [Nat]Absence check using state equation in 199 ms returned sat
[2020-06-05 07:49:34] [INFO ] [Nat]Added 154 Read/Feed constraints in 28 ms returned sat
[2020-06-05 07:49:34] [INFO ] Computed and/alt/rep : 305/2239/279 causal constraints in 46 ms.
[2020-06-05 07:49:37] [INFO ] Added : 257 causal constraints over 52 iterations in 2540 ms. Result :sat
[2020-06-05 07:49:37] [INFO ] [Real]Absence check using 36 positive place invariants in 19 ms returned sat
[2020-06-05 07:49:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 07:49:37] [INFO ] [Real]Absence check using state equation in 199 ms returned sat
[2020-06-05 07:49:37] [INFO ] [Real]Added 154 Read/Feed constraints in 28 ms returned sat
[2020-06-05 07:49:37] [INFO ] Computed and/alt/rep : 305/2239/279 causal constraints in 44 ms.
[2020-06-05 07:49:37] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 07:49:37] [INFO ] [Nat]Absence check using 36 positive place invariants in 31 ms returned sat
[2020-06-05 07:49:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 07:49:38] [INFO ] [Nat]Absence check using state equation in 193 ms returned sat
[2020-06-05 07:49:38] [INFO ] [Nat]Added 154 Read/Feed constraints in 23 ms returned sat
[2020-06-05 07:49:38] [INFO ] Computed and/alt/rep : 305/2239/279 causal constraints in 32 ms.
[2020-06-05 07:49:40] [INFO ] Added : 263 causal constraints over 53 iterations in 2810 ms. Result :sat
[2020-06-05 07:49:41] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2020-06-05 07:49:41] [INFO ] Flatten gal took : 116 ms
FORMULA Raft-PT-06-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-06-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-05 07:49:41] [INFO ] Applying decomposition
[2020-06-05 07:49:41] [INFO ] Flatten gal took : 53 ms
[2020-06-05 07:49:41] [INFO ] Decomposing Gal with order
[2020-06-05 07:49:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-06-05 07:49:41] [INFO ] Removed a total of 250 redundant transitions.
[2020-06-05 07:49:41] [INFO ] Flatten gal took : 126 ms
[2020-06-05 07:49:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 136 labels/synchronizations in 29 ms.
[2020-06-05 07:49:41] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 9 ms.
[2020-06-05 07:49:41] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 6 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ Raft-PT-06 @ 3570 seconds
FORMULA Raft-PT-06-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for LTLFireability @ Raft-PT-06
{
"exit":
{
"memory": 4259456,
"runtime": 3571.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 3,
"U": 0,
"X": 0,
"aconj": 4,
"adisj": 0,
"aneg": 4,
"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": 6,
"visible_transitions": 0
},
"processed": "G ((((p115 <= 0) OR (p175 <= 0)) R (((p60 <= 0) OR (p165 <= 0)) AND (G (((p60 <= 0) OR (p165 <= 0))) OR G (F (((p151 <= 0) OR (p187 <= 0))))))))",
"processed_size": 148,
"rewrites": 78
},
"result":
{
"preliminary_value": "no yes no no no yes unknown no yes unknown unknown yes yes no "
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 494/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 188
lola: finding significant places
lola: 188 places, 306 transitions, 152 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: (p163 <= 1)
lola: LP says that atomic proposition is always true: (p187 <= 1)
lola: LP says that atomic proposition is always true: (p45 <= 1)
lola: LP says that atomic proposition is always true: (p160 <= 1)
lola: LP says that atomic proposition is always true: (p154 <= 1)
lola: LP says that atomic proposition is always true: (p14 <= 1)
lola: LP says that atomic proposition is always true: (p170 <= 1)
lola: LP says that atomic proposition is always true: (p125 <= 1)
lola: LP says that atomic proposition is always true: (p175 <= 1)
lola: LP says that atomic proposition is always true: (p14 <= 1)
lola: LP says that atomic proposition is always true: (p170 <= 1)
lola: LP says that atomic proposition is always true: (p186 <= 1)
lola: LP says that atomic proposition is always true: (p162 <= 1)
lola: LP says that atomic proposition is always true: (p85 <= 1)
lola: LP says that atomic proposition is always true: (p170 <= 1)
lola: LP says that atomic proposition is always true: (p110 <= 1)
lola: LP says that atomic proposition is always true: (p175 <= 1)
lola: LP says that atomic proposition is always true: (p50 <= 1)
lola: LP says that atomic proposition is always true: (p160 <= 1)
lola: LP says that atomic proposition is always true: (p151 <= 1)
lola: LP says that atomic proposition is always true: (p187 <= 1)
lola: LP says that atomic proposition is always true: (p118 <= 1)
lola: LP says that atomic proposition is always true: (p170 <= 1)
lola: LP says that atomic proposition is always true: (p151 <= 1)
lola: LP says that atomic proposition is always true: (p187 <= 1)
lola: LP says that atomic proposition is always true: (p45 <= 1)
lola: LP says that atomic proposition is always true: (p160 <= 1)
lola: LP says that atomic proposition is always true: (p106 <= 1)
lola: LP says that atomic proposition is always true: (p160 <= 1)
lola: LP says that atomic proposition is always true: (p140 <= 1)
lola: LP says that atomic proposition is always true: (p180 <= 1)
lola: LP says that atomic proposition is always true: (p76 <= 1)
lola: LP says that atomic proposition is always true: (p155 <= 1)
lola: LP says that atomic proposition is always true: (p140 <= 1)
lola: LP says that atomic proposition is always true: (p180 <= 1)
lola: LP says that atomic proposition is always true: (p106 <= 1)
lola: LP says that atomic proposition is always true: (p160 <= 1)
lola: LP says that atomic proposition is always true: (p137 <= 1)
lola: LP says that atomic proposition is always true: (p165 <= 1)
lola: LP says that atomic proposition is always true: (p40 <= 1)
lola: LP says that atomic proposition is always true: (p160 <= 1)
lola: LP says that atomic proposition is always true: (p40 <= 1)
lola: LP says that atomic proposition is always true: (p160 <= 1)
lola: LP says that atomic proposition is always true: (p95 <= 1)
lola: LP says that atomic proposition is always true: (p170 <= 1)
lola: LP says that atomic proposition is always true: (p115 <= 1)
lola: LP says that atomic proposition is always true: (p175 <= 1)
lola: LP says that atomic proposition is always true: (p151 <= 1)
lola: LP says that atomic proposition is always true: (p187 <= 1)
lola: LP says that atomic proposition is always true: (p60 <= 1)
lola: LP says that atomic proposition is always true: (p165 <= 1)
lola: LP says that atomic proposition is always true: (p12 <= 1)
lola: LP says that atomic proposition is always true: (p170 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p180 <= 1)
lola: LP says that atomic proposition is always true: (p130 <= 1)
lola: LP says that atomic proposition is always true: (p180 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p81 <= 1)
lola: LP says that atomic proposition is always true: (p160 <= 1)
lola: LP says that atomic proposition is always true: (p179 <= 1)
lola: LP says that atomic proposition is always true: (p142 <= 1)
lola: LP says that atomic proposition is always true: (p170 <= 1)
lola: LP says that atomic proposition is always true: (p158 <= 1)
lola: LP says that atomic proposition is always true: (p187 <= 1)
lola: LP says that atomic proposition is always true: (p90 <= 1)
lola: LP says that atomic proposition is always true: (p170 <= 1)
lola: LP says that atomic proposition is always true: (p168 <= 1)
lola: LP says that atomic proposition is always true: (p69 <= 1)
lola: LP says that atomic proposition is always true: (p175 <= 1)
lola: LP says that atomic proposition is always true: (p160 <= 1)
lola: LP says that atomic proposition is always true: (p10 <= 1)
lola: LP says that atomic proposition is always true: (p155 <= 1)
lola: LP says that atomic proposition is always true: (p10 <= 1)
lola: LP says that atomic proposition is always true: (p155 <= 1)
lola: LP says that atomic proposition is always true: (p10 <= 1)
lola: LP says that atomic proposition is always true: (p155 <= 1)
lola: LP says that atomic proposition is always true: (p177 <= 1)
lola: LP says that atomic proposition is always true: (p40 <= 1)
lola: LP says that atomic proposition is always true: (p160 <= 1)
lola: LP says that atomic proposition is always true: (p177 <= 1)
lola: LP says that atomic proposition is always true: (p160 <= 1)
lola: LP says that atomic proposition is always true: (p55 <= 1)
lola: LP says that atomic proposition is always true: (p165 <= 1)
lola: LP says that atomic proposition is always true: (p133 <= 1)
lola: LP says that atomic proposition is always true: (p160 <= 1)
lola: LP says that atomic proposition is always true: (p40 <= 1)
lola: LP says that atomic proposition is always true: (p160 <= 1)
lola: LP says that atomic proposition is always true: (p133 <= 1)
lola: LP says that atomic proposition is always true: (p160 <= 1)
lola: LP says that atomic proposition is always true: (p40 <= 1)
lola: LP says that atomic proposition is always true: (p160 <= 1)
lola: LP says that atomic proposition is always true: (p21 <= 1)
lola: LP says that atomic proposition is always true: (p180 <= 1)
lola: X (X ((X (F (((1 <= p163) AND (1 <= p187)))) AND NOT(F (((1 <= p45) AND (1 <= p160))))))) : (G (((1 <= p154))) U (X (((p14 <= 0) OR (p170 <= 0))) AND (X (((1 <= p125) AND (1 <= p175))) OR ((1 <= p14) AND (1 <= p170) AND (1 <= p186))))) : X (X (NOT(G (NOT(G (((((1 <= p162)) U NOT(F ((((1 <= p85) AND (1 <= p170)) OR ((1 <= p110) AND (1 <= p175)))))) U ((1 <= p50) AND (1 <= p160))))))))) : G (X (((((NOT(F (((1 <= p151) AND (1 <= p187)))) U ((p118 <= 0) OR (p170 <= 0))) AND F (((1 <= p151) AND (1 <= p187)))) AND ((1 <= p45))) AND ((1 <= p160))))) : (((1 <= p106) AND (1 <= p160)) U G ((G ((F (((1 <= p140) AND (1 <= p180))) AND F (G (((1 <= p76) AND (1 <= p155)))))) AND X ((((1 <= p140) AND (1 <= p180)) OR ((1 <= p106) AND (1 <= p160))))))) : X (F (((X (((1 <= p137) AND (1 <= p165))) OR F (G (((X (((1 <= p40) AND (1 <= p160))) AND ((1 <= p40))) AND ((1 <= p160)))))) OR ((1 <= p95) AND (1 <= p170))))) : G (NOT((((1 <= p115) AND (1 <= p175)) U (F (G (((1 <= p151) AND (1 <= p187)))) U ((1 <= p60) AND (1 <= p165)))))) : NOT(X (G (NOT(F (((1 <= p12) AND (1 <= p170))))))) : (F (((1 <= p145) AND (1 <= p180))) AND ((p130 <= 0) OR (p180 <= 0) OR (p145 <= 0) OR (p81 <= 0) OR (p160 <= 0))) : NOT(X (F ((F (X (((1 <= p179)))) AND (((1 <= p142) AND (1 <= p170)) U ((1 <= p158) AND (1 <= p187))))))) : X (((X (((1 <= p90) AND (1 <= p170))) AND ((1 <= p168))) U NOT(G (F (((1 <= p69) AND (1 <= p175))))))) : (G (X (F (((p160 <= 0))))) OR ((F (((1 <= p10) AND (1 <= p155))) U ((p10 <= 0) OR (p155 <= 0))) AND F (((1 <= p10) AND (1 <= p155))))) : (X (G ((NOT(F (((1 <= p177)))) AND ((p40 <= 0) OR (p160 <= 0))))) U X ((((1 <= p177)) OR ((1 <= p160))))) : ((((1 <= p55) AND (1 <= p165)) U F (((1 <= p133) AND (1 <= p160)))) AND ((((1 <= p40) AND (1 <= p160)) U ((1 <= p133) AND (1 <= p160))) OR X (X (((1 <= p40) AND (1 <= p160) AND ((p21 <= 0) OR (p180 <= 0)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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:318
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
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:353
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k: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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X ((X (F (((1 <= p163) AND (1 <= p187)))) AND G (((p45 <= 0) OR (p160 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X ((X (F (((1 <= p163) AND (1 <= p187)))) AND G (((p45 <= 0) OR (p160 <= 0))))))
lola: processed formula length: 84
lola: 78 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 7 markings, 7 edges
lola: ========================================
lola: subprocess 1 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((X (((p14 <= 0) OR (p170 <= 0))) AND (X (((1 <= p125) AND (1 <= p175))) OR ((1 <= p14) AND (1 <= p170) AND (1 <= p186)))) OR (G (((1 <= p154))) AND F ((X (((p14 <= 0) OR (p170 <= 0))) AND (X (((1 <= p125) AND (1 <= p175))) OR ((1 <= p14) AND (1 <= p170) AND (1 <= p186)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p14) AND (1 <= p170) AND (1 <= p186))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p14) AND (1 <= p170) AND (1 <= p186))
lola: processed formula length: 44
lola: 78 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 3 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((1 <= p154)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((1 <= p154)))
lola: processed formula length: 17
lola: 78 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: 7 markings, 7 edges
lola: ========================================
lola: subprocess 3 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((1 <= p125) AND (1 <= p175)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((1 <= p125) AND (1 <= p175)))
lola: processed formula length: 33
lola: 78 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 4 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((p14 <= 0) OR (p170 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((p14 <= 0) OR (p170 <= 0)))
lola: processed formula length: 32
lola: 78 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 2 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G (((((p118 <= 0) OR (p170 <= 0)) OR (G (((p151 <= 0) OR (p187 <= 0))) AND F (((p118 <= 0) OR (p170 <= 0))))) AND (F (((1 <= p151) AND (1 <= p187))) AND (((1 <= p45)) AND ((1 <= p160)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G (((((p118 <= 0) OR (p170 <= 0)) OR (G (((p151 <= 0) OR (p187 <= 0))) AND F (((p118 <= 0) OR (p170 <= 0))))) AND (F (((1 <= p151) AND (1 <= p187))) AND (((1 <= p45)) AND ((1 <= p160)))))))
lola: processed formula length: 195
lola: 78 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 7 markings, 7 edges
lola: ========================================
lola: subprocess 3 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p106) AND (1 <= p160)) U G ((G ((F (((1 <= p140) AND (1 <= p180))) AND F (G (((1 <= p76) AND (1 <= p155)))))) AND X ((((1 <= p140) AND (1 <= p180)) OR ((1 <= p106) AND (1 <= p160)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (((1 <= p106) AND (1 <= p160)) U G ((G ((F (((1 <= p140) AND (1 <= p180))) AND F (G (((1 <= p76) AND (1 <= p155)))))) AND X ((((1 <= p140) AND (1 <= p180)) OR ((1 <= p106) AND (1 <= p160)))))))
lola: processed formula length: 194
lola: 78 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: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: add low 258
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: 9 markings, 10 edges
lola: ========================================
lola: subprocess 4 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((X (((1 <= p137) AND (1 <= p165))) OR (F (G ((X (((1 <= p40) AND (1 <= p160))) AND (((1 <= p40)) AND ((1 <= p160)))))) OR ((1 <= p95) AND (1 <= p170))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((X (((1 <= p137) AND (1 <= p165))) OR (F (G ((X (((1 <= p40) AND (1 <= p160))) AND (((1 <= p40)) AND ((1 <= p160)))))) OR ((1 <= p95) AND (1 <= p170))))))
lola: processed formula length: 160
lola: 78 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 5 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F (((1 <= p12) AND (1 <= p170))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((1 <= p12) AND (1 <= p170))))
lola: processed formula length: 36
lola: 78 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: 7 markings, 7 edges
lola: ========================================
lola: subprocess 6 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((X (G (((p179 <= 0)))) OR (((p142 <= 0) OR (p170 <= 0)) R ((p158 <= 0) OR (p187 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((X (G (((p179 <= 0)))) OR (((p142 <= 0) OR (p170 <= 0)) R ((p158 <= 0) OR (p187 <= 0))))))
lola: processed formula length: 98
lola: 78 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1160864 markings, 2054296 edges, 232173 markings/sec, 0 secs
lola: 2324875 markings, 4113162 edges, 232802 markings/sec, 5 secs
lola: 3512677 markings, 6214532 edges, 237560 markings/sec, 10 secs
lola: 4664299 markings, 8256545 edges, 230324 markings/sec, 15 secs
lola: 5792463 markings, 10261598 edges, 225633 markings/sec, 20 secs
lola: 6899799 markings, 12235625 edges, 221467 markings/sec, 25 secs
lola: 8019969 markings, 14226961 edges, 224034 markings/sec, 30 secs
lola: 9150260 markings, 16238257 edges, 226058 markings/sec, 35 secs
lola: 10264236 markings, 18216334 edges, 222795 markings/sec, 40 secs
lola: 11330873 markings, 20115081 edges, 213327 markings/sec, 45 secs
lola: 12441534 markings, 22087792 edges, 222132 markings/sec, 50 secs
lola: 13547028 markings, 24050628 edges, 221099 markings/sec, 55 secs
lola: 14636964 markings, 25987155 edges, 217987 markings/sec, 60 secs
lola: 15713581 markings, 27901710 edges, 215323 markings/sec, 65 secs
lola: 16757937 markings, 29761190 edges, 208871 markings/sec, 70 secs
lola: 17757861 markings, 31545613 edges, 199985 markings/sec, 75 secs
lola: 18838780 markings, 33469735 edges, 216184 markings/sec, 80 secs
lola: 19838568 markings, 35257083 edges, 199958 markings/sec, 85 secs
lola: 20879939 markings, 37116893 edges, 208274 markings/sec, 90 secs
lola: 21874526 markings, 38890303 edges, 198917 markings/sec, 95 secs
lola: 22924858 markings, 40763563 edges, 210066 markings/sec, 100 secs
lola: 23973426 markings, 42633687 edges, 209714 markings/sec, 105 secs
lola: 24998227 markings, 44466326 edges, 204960 markings/sec, 110 secs
lola: 25960307 markings, 46184122 edges, 192416 markings/sec, 115 secs
lola: 26963094 markings, 47973498 edges, 200557 markings/sec, 120 secs
lola: 27969514 markings, 49771133 edges, 201284 markings/sec, 125 secs
lola: 28996370 markings, 51605252 edges, 205371 markings/sec, 130 secs
lola: 29990285 markings, 53381721 edges, 198783 markings/sec, 135 secs
lola: 31032930 markings, 55238336 edges, 208529 markings/sec, 140 secs
lola: 32048063 markings, 57050752 edges, 203027 markings/sec, 145 secs
lola: 33086107 markings, 58905068 edges, 207609 markings/sec, 150 secs
lola: 34128463 markings, 60763700 edges, 208471 markings/sec, 155 secs
lola: 35156986 markings, 62595272 edges, 205705 markings/sec, 160 secs
lola: 36193147 markings, 64442970 edges, 207232 markings/sec, 165 secs
lola: 37186432 markings, 66209551 edges, 198657 markings/sec, 170 secs
lola: 38150326 markings, 67929427 edges, 192779 markings/sec, 175 secs
lola: 39156041 markings, 69722061 edges, 201143 markings/sec, 180 secs
lola: 40124809 markings, 71450094 edges, 193754 markings/sec, 185 secs
lola: 41108568 markings, 73205433 edges, 196752 markings/sec, 190 secs
lola: 42183009 markings, 75116290 edges, 214888 markings/sec, 195 secs
lola: 43149573 markings, 76845832 edges, 193313 markings/sec, 200 secs
lola: 44089470 markings, 78531769 edges, 187979 markings/sec, 205 secs
lola: 45132135 markings, 80384909 edges, 208533 markings/sec, 210 secs
lola: 46098325 markings, 82113407 edges, 193238 markings/sec, 215 secs
lola: 47070332 markings, 83852058 edges, 194401 markings/sec, 220 secs
lola: 48029707 markings, 85568734 edges, 191875 markings/sec, 225 secs
lola: 49056248 markings, 87401379 edges, 205308 markings/sec, 230 secs
lola: 49987560 markings, 89071480 edges, 186262 markings/sec, 235 secs
lola: 50930713 markings, 90758418 edges, 188631 markings/sec, 240 secs
lola: 51904684 markings, 92495569 edges, 194794 markings/sec, 245 secs
lola: 52821220 markings, 94135693 edges, 183307 markings/sec, 250 secs
lola: 53772777 markings, 95843461 edges, 190311 markings/sec, 255 secs
lola: 54713543 markings, 97531213 edges, 188153 markings/sec, 260 secs
lola: 55689479 markings, 99280384 edges, 195187 markings/sec, 265 secs
lola: 56693829 markings, 101078478 edges, 200870 markings/sec, 270 secs
lola: 57673012 markings, 102827460 edges, 195837 markings/sec, 275 secs
lola: 58656364 markings, 104586098 edges, 196670 markings/sec, 280 secs
lola: 59648322 markings, 106357385 edges, 198392 markings/sec, 285 secs
lola: 60564426 markings, 108001219 edges, 183221 markings/sec, 290 secs
lola: 61494346 markings, 109668371 edges, 185984 markings/sec, 295 secs
lola: 62556487 markings, 111552125 edges, 212428 markings/sec, 300 secs
lola: 63617555 markings, 113440711 edges, 212214 markings/sec, 305 secs
lola: 64580437 markings, 115161057 edges, 192576 markings/sec, 310 secs
lola: 65532143 markings, 116865602 edges, 190341 markings/sec, 315 secs
lola: 66425280 markings, 118467142 edges, 178627 markings/sec, 320 secs
lola: 67393195 markings, 120200812 edges, 193583 markings/sec, 325 secs
lola: 68379869 markings, 121956392 edges, 197335 markings/sec, 330 secs
lola: 69303027 markings, 123608795 edges, 184632 markings/sec, 335 secs
lola: 70192252 markings, 125200481 edges, 177845 markings/sec, 340 secs
lola: 71142777 markings, 126903315 edges, 190105 markings/sec, 345 secs
lola: 72048732 markings, 128527707 edges, 181191 markings/sec, 350 secs
lola: 73025288 markings, 130267658 edges, 195311 markings/sec, 355 secs
lola: 73950956 markings, 131923097 edges, 185134 markings/sec, 360 secs
lola: 74875185 markings, 133583201 edges, 184846 markings/sec, 365 secs
lola: 75850693 markings, 135325002 edges, 195102 markings/sec, 370 secs
lola: 76774718 markings, 136974764 edges, 184805 markings/sec, 375 secs
lola: 77663713 markings, 138568722 edges, 177799 markings/sec, 380 secs
lola: 78301531 markings, 139708550 edges, 127564 markings/sec, 385 secs
lola: 78896269 markings, 140771622 edges, 118948 markings/sec, 390 secs
lola: 79519936 markings, 141888063 edges, 124733 markings/sec, 395 secs
lola: 80177765 markings, 143072684 edges, 131566 markings/sec, 400 secs
lola: 80847743 markings, 144268595 edges, 133996 markings/sec, 405 secs
lola: 81500152 markings, 145440980 edges, 130482 markings/sec, 410 secs
lola: 82202372 markings, 146695502 edges, 140444 markings/sec, 415 secs
lola: 82941114 markings, 148011142 edges, 147748 markings/sec, 420 secs
lola: 83545144 markings, 149088892 edges, 120806 markings/sec, 425 secs
lola: 84397044 markings, 150617740 edges, 170380 markings/sec, 430 secs
lola: 84886265 markings, 151493242 edges, 97844 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes unknown no no yes unknown no unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((((1 <= p177)) OR ((1 <= p160))) OR (G ((G (((p177 <= 0))) AND ((p40 <= 0) OR (p160 <= 0)))) AND F ((((1 <= p177)) OR ((1 <= p160)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((((1 <= p177)) OR ((1 <= p160))) OR (G ((G (((p177 <= 0))) AND ((p40 <= 0) OR (p160 <= 0)))) AND F ((((1 <= p177)) OR ((1 <= p160)))))))
lola: processed formula length: 143
lola: 78 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 8 will run for 519 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((1 <= p133) AND (1 <= p160))) AND ((((1 <= p40) AND (1 <= p160)) U ((1 <= p133) AND (1 <= p160))) OR X (X (((1 <= p40) AND (1 <= p160) AND ((p21 <= 0) OR (p180 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 519 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p40) AND (1 <= p160)) U ((1 <= p133) AND (1 <= p160)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (((1 <= p40) AND (1 <= p160)) U ((1 <= p133) AND (1 <= p160)))
lola: processed formula length: 62
lola: 78 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: 7 markings, 7 edges
lola: ========================================
lola: subprocess 9 will run for 623 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p133) AND (1 <= p160)))
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: ((p133 <= 0) OR (p160 <= 0))
lola: processed formula length: 29
lola: 80 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: 7 markings, 7 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 9 will run for 623 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((p69 <= 0) OR (p175 <= 0))))
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 (((p69 <= 0) OR (p175 <= 0))))
lola: processed formula length: 36
lola: 78 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: 246133 markings, 513523 edges, 49227 markings/sec, 0 secs
lola: 608120 markings, 1274674 edges, 72397 markings/sec, 5 secs
lola: 1072917 markings, 2255849 edges, 92959 markings/sec, 10 secs
lola: 1590682 markings, 3350918 edges, 103553 markings/sec, 15 secs
lola: 2098733 markings, 4442215 edges, 101610 markings/sec, 20 secs
lola: 2596602 markings, 5524993 edges, 99574 markings/sec, 25 secs
lola: 3076321 markings, 6574831 edges, 95944 markings/sec, 30 secs
lola: 3594422 markings, 7712310 edges, 103620 markings/sec, 35 secs
lola: 4096340 markings, 8838960 edges, 100384 markings/sec, 40 secs
lola: 4590475 markings, 9971380 edges, 98827 markings/sec, 45 secs
lola: 5082936 markings, 11101161 edges, 98492 markings/sec, 50 secs
lola: 5579260 markings, 12229189 edges, 99265 markings/sec, 55 secs
lola: 6072679 markings, 13328088 edges, 98684 markings/sec, 60 secs
lola: 6540943 markings, 14409253 edges, 93653 markings/sec, 65 secs
lola: 6996713 markings, 15444383 edges, 91154 markings/sec, 70 secs
lola: 7490825 markings, 16561262 edges, 98822 markings/sec, 75 secs
lola: 7985001 markings, 17697242 edges, 98835 markings/sec, 80 secs
lola: 8471109 markings, 18817424 edges, 97222 markings/sec, 85 secs
lola: 8932649 markings, 19909582 edges, 92308 markings/sec, 90 secs
lola: 9404867 markings, 20986609 edges, 94444 markings/sec, 95 secs
lola: 9876391 markings, 22062121 edges, 94305 markings/sec, 100 secs
lola: 10342931 markings, 23134014 edges, 93308 markings/sec, 105 secs
lola: 10784237 markings, 24175093 edges, 88261 markings/sec, 110 secs
lola: 11263084 markings, 25295604 edges, 95769 markings/sec, 115 secs
lola: 11740025 markings, 26414354 edges, 95388 markings/sec, 120 secs
lola: 12234026 markings, 27539034 edges, 98800 markings/sec, 125 secs
lola: 12704577 markings, 28670390 edges, 94110 markings/sec, 130 secs
lola: 13191038 markings, 29778854 edges, 97292 markings/sec, 135 secs
lola: 13675852 markings, 30905162 edges, 96963 markings/sec, 140 secs
lola: 14154244 markings, 32022960 edges, 95678 markings/sec, 145 secs
lola: 14610575 markings, 33099227 edges, 91266 markings/sec, 150 secs
lola: 15078670 markings, 34214052 edges, 93619 markings/sec, 155 secs
lola: 15569588 markings, 35341067 edges, 98184 markings/sec, 160 secs
lola: 16045686 markings, 36465399 edges, 95220 markings/sec, 165 secs
lola: 16555276 markings, 37581819 edges, 101918 markings/sec, 170 secs
lola: 17034529 markings, 38695734 edges, 95851 markings/sec, 175 secs
lola: 17519869 markings, 39800323 edges, 97068 markings/sec, 180 secs
lola: 17951987 markings, 40818558 edges, 86424 markings/sec, 185 secs
lola: 18399568 markings, 41879202 edges, 89516 markings/sec, 190 secs
lola: 18850494 markings, 42931409 edges, 90185 markings/sec, 195 secs
lola: 19336354 markings, 44024310 edges, 97172 markings/sec, 200 secs
lola: 19850404 markings, 45125973 edges, 102810 markings/sec, 205 secs
lola: 20354854 markings, 46217174 edges, 100890 markings/sec, 210 secs
lola: 20848577 markings, 47312836 edges, 98745 markings/sec, 215 secs
lola: 21320329 markings, 48387679 edges, 94350 markings/sec, 220 secs
lola: 21764084 markings, 49434818 edges, 88751 markings/sec, 225 secs
lola: 22227953 markings, 50547530 edges, 92774 markings/sec, 230 secs
lola: 22684365 markings, 51628499 edges, 91282 markings/sec, 235 secs
lola: 23148133 markings, 52739182 edges, 92754 markings/sec, 240 secs
lola: 23614115 markings, 53853566 edges, 93196 markings/sec, 245 secs
lola: 24109161 markings, 54957872 edges, 99009 markings/sec, 250 secs
lola: 24568373 markings, 56060999 edges, 91842 markings/sec, 255 secs
lola: 25029301 markings, 57158027 edges, 92186 markings/sec, 260 secs
lola: 25495357 markings, 58254006 edges, 93211 markings/sec, 265 secs
lola: 25961468 markings, 59360883 edges, 93222 markings/sec, 270 secs
lola: 26429387 markings, 60450420 edges, 93584 markings/sec, 275 secs
lola: 26891573 markings, 61558568 edges, 92437 markings/sec, 280 secs
lola: 27353344 markings, 62670456 edges, 92354 markings/sec, 285 secs
lola: 27820553 markings, 63790144 edges, 93442 markings/sec, 290 secs
lola: 28335582 markings, 64900533 edges, 103006 markings/sec, 295 secs
lola: 28859843 markings, 66023775 edges, 104852 markings/sec, 300 secs
lola: 29332978 markings, 67117392 edges, 94627 markings/sec, 305 secs
lola: 29817620 markings, 68224540 edges, 96928 markings/sec, 310 secs
lola: 30285438 markings, 69307239 edges, 93564 markings/sec, 315 secs
lola: 30758606 markings, 70416378 edges, 94634 markings/sec, 320 secs
lola: 31214873 markings, 71498080 edges, 91253 markings/sec, 325 secs
lola: 31663524 markings, 72590024 edges, 89730 markings/sec, 330 secs
lola: 32145424 markings, 73703007 edges, 96380 markings/sec, 335 secs
lola: 32611709 markings, 74796767 edges, 93257 markings/sec, 340 secs
lola: 33066271 markings, 75881489 edges, 90912 markings/sec, 345 secs
lola: 33532235 markings, 76966606 edges, 93193 markings/sec, 350 secs
lola: 33982006 markings, 78050602 edges, 89954 markings/sec, 355 secs
lola: 34445237 markings, 79125079 edges, 92646 markings/sec, 360 secs
lola: 34921180 markings, 80235561 edges, 95189 markings/sec, 365 secs
lola: 35371817 markings, 81311930 edges, 90127 markings/sec, 370 secs
lola: 35857929 markings, 82422221 edges, 97222 markings/sec, 375 secs
lola: 36309123 markings, 83499776 edges, 90239 markings/sec, 380 secs
lola: 36786092 markings, 84601988 edges, 95394 markings/sec, 385 secs
lola: 37244794 markings, 85676382 edges, 91740 markings/sec, 390 secs
lola: 37719154 markings, 86775162 edges, 94872 markings/sec, 395 secs
lola: 38183901 markings, 87876131 edges, 92949 markings/sec, 400 secs
lola: 38658529 markings, 88941283 edges, 94926 markings/sec, 405 secs
lola: 39086755 markings, 89851758 edges, 85645 markings/sec, 410 secs
lola: 39506232 markings, 90761485 edges, 83895 markings/sec, 415 secs
lola: 39939682 markings, 91692986 edges, 86690 markings/sec, 420 secs
lola: 40359540 markings, 92616516 edges, 83972 markings/sec, 425 secs
lola: 40778002 markings, 93549954 edges, 83692 markings/sec, 430 secs
lola: 41200165 markings, 94489836 edges, 84433 markings/sec, 435 secs
lola: 41613750 markings, 95433872 edges, 82717 markings/sec, 440 secs
lola: 42047206 markings, 96395316 edges, 86691 markings/sec, 445 secs
lola: 42457365 markings, 97342405 edges, 82032 markings/sec, 450 secs
lola: 42885942 markings, 98314065 edges, 85715 markings/sec, 455 secs
lola: 43294459 markings, 99269588 edges, 81703 markings/sec, 460 secs
lola: 43726910 markings, 100239000 edges, 86490 markings/sec, 465 secs
lola: 44143843 markings, 101200456 edges, 83387 markings/sec, 470 secs
lola: 44569803 markings, 102169279 edges, 85192 markings/sec, 475 secs
lola: 44998667 markings, 103137301 edges, 85773 markings/sec, 480 secs
lola: 45426036 markings, 104107629 edges, 85474 markings/sec, 485 secs
lola: 45849224 markings, 105076125 edges, 84638 markings/sec, 490 secs
lola: 46263052 markings, 106041746 edges, 82766 markings/sec, 495 secs
lola: 46683540 markings, 107016185 edges, 84098 markings/sec, 500 secs
lola: 47114190 markings, 107999799 edges, 86130 markings/sec, 505 secs
lola: 47533603 markings, 108974871 edges, 83883 markings/sec, 510 secs
lola: 47943909 markings, 109952442 edges, 82061 markings/sec, 515 secs
lola: 48372804 markings, 110937099 edges, 85779 markings/sec, 520 secs
lola: 48795888 markings, 111920213 edges, 84617 markings/sec, 525 secs
lola: 49210980 markings, 112903591 edges, 83018 markings/sec, 530 secs
lola: 49624736 markings, 113881857 edges, 82751 markings/sec, 535 secs
lola: 50069236 markings, 114869035 edges, 88900 markings/sec, 540 secs
lola: 50516272 markings, 115857933 edges, 89407 markings/sec, 545 secs
lola: 50945732 markings, 116839389 edges, 85892 markings/sec, 550 secs
lola: 51366757 markings, 117824278 edges, 84205 markings/sec, 555 secs
lola: 51773063 markings, 118767196 edges, 81261 markings/sec, 560 secs
lola: 52198388 markings, 119757070 edges, 85065 markings/sec, 565 secs
lola: 52622120 markings, 120746416 edges, 84746 markings/sec, 570 secs
lola: 53029976 markings, 121704772 edges, 81571 markings/sec, 575 secs
lola: 53444169 markings, 122658696 edges, 82839 markings/sec, 580 secs
lola: 53826121 markings, 123586237 edges, 76390 markings/sec, 585 secs
lola: 54221555 markings, 124531121 edges, 79087 markings/sec, 590 secs
lola: 54622955 markings, 125510625 edges, 80280 markings/sec, 595 secs
lola: 55048417 markings, 126507872 edges, 85092 markings/sec, 600 secs
lola: 55484044 markings, 127518687 edges, 87125 markings/sec, 605 secs
lola: 55914354 markings, 128534643 edges, 86062 markings/sec, 610 secs
lola: 56356638 markings, 129527234 edges, 88457 markings/sec, 615 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes unknown no no yes unknown no unknown unknown unknown unknown yes no
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 624 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((((p115 <= 0) OR (p175 <= 0)) R (((p60 <= 0) OR (p165 <= 0)) AND (G (((p60 <= 0) OR (p165 <= 0))) OR G (F (((p151 <= 0) OR (p187 <= 0))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((((p115 <= 0) OR (p175 <= 0)) R (((p60 <= 0) OR (p165 <= 0)) AND (G (((p60 <= 0) OR (p165 <= 0))) OR G (F (((p151 <= 0) OR (p187 <= 0))))))))
lola: processed formula length: 148
lola: 78 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 364202 markings, 750809 edges, 72840 markings/sec, 0 secs
lola: 706384 markings, 1456377 edges, 68436 markings/sec, 5 secs
lola: 1051196 markings, 2174991 edges, 68962 markings/sec, 10 secs
lola: 1394675 markings, 2881602 edges, 68696 markings/sec, 15 secs
lola: 1743925 markings, 3622524 edges, 69850 markings/sec, 20 secs
lola: 2085346 markings, 4346231 edges, 68284 markings/sec, 25 secs
lola: 2418417 markings, 5075093 edges, 66614 markings/sec, 30 secs
lola: 2783983 markings, 5856442 edges, 73113 markings/sec, 35 secs
lola: 3114603 markings, 6576693 edges, 66124 markings/sec, 40 secs
lola: 3445982 markings, 7258657 edges, 66276 markings/sec, 45 secs
lola: 3788308 markings, 7962870 edges, 68465 markings/sec, 50 secs
lola: 4129551 markings, 8675475 edges, 68249 markings/sec, 55 secs
lola: 4482326 markings, 9415698 edges, 70555 markings/sec, 60 secs
lola: 4823089 markings, 10146771 edges, 68153 markings/sec, 65 secs
lola: 5169784 markings, 10868676 edges, 69339 markings/sec, 70 secs
lola: 5516449 markings, 11586173 edges, 69333 markings/sec, 75 secs
lola: 5869687 markings, 12333943 edges, 70648 markings/sec, 80 secs
lola: 6221797 markings, 13068498 edges, 70422 markings/sec, 85 secs
lola: 6579478 markings, 13807880 edges, 71536 markings/sec, 90 secs
lola: 6918083 markings, 14507280 edges, 67721 markings/sec, 95 secs
lola: 7250224 markings, 15220548 edges, 66428 markings/sec, 100 secs
lola: 7583097 markings, 15938659 edges, 66575 markings/sec, 105 secs
lola: 7915577 markings, 16660913 edges, 66496 markings/sec, 110 secs
lola: 8264802 markings, 17395045 edges, 69845 markings/sec, 115 secs
lola: 8577443 markings, 18064370 edges, 62528 markings/sec, 120 secs
lola: 8916584 markings, 18776289 edges, 67828 markings/sec, 125 secs
lola: 9257199 markings, 19494680 edges, 68123 markings/sec, 130 secs
lola: 9601132 markings, 20237375 edges, 68787 markings/sec, 135 secs
lola: 9952315 markings, 20986094 edges, 70237 markings/sec, 140 secs
lola: 10306598 markings, 21737414 edges, 70857 markings/sec, 145 secs
lola: 10627042 markings, 22422250 edges, 64089 markings/sec, 150 secs
lola: 10953685 markings, 23131155 edges, 65329 markings/sec, 155 secs
lola: 11280732 markings, 23847851 edges, 65409 markings/sec, 160 secs
lola: 11633750 markings, 24597830 edges, 70604 markings/sec, 165 secs
lola: 11968308 markings, 25294731 edges, 66912 markings/sec, 170 secs
lola: 12303598 markings, 25986934 edges, 67058 markings/sec, 175 secs
lola: 12644395 markings, 26691260 edges, 68159 markings/sec, 180 secs
lola: 12974303 markings, 27376985 edges, 65982 markings/sec, 185 secs
lola: 13301804 markings, 28054855 edges, 65500 markings/sec, 190 secs
lola: 13643998 markings, 28763656 edges, 68439 markings/sec, 195 secs
lola: 13986761 markings, 29465585 edges, 68553 markings/sec, 200 secs
lola: 14311610 markings, 30159520 edges, 64970 markings/sec, 205 secs
lola: 14656414 markings, 30869128 edges, 68961 markings/sec, 210 secs
lola: 14989391 markings, 31590789 edges, 66595 markings/sec, 215 secs
lola: 15327996 markings, 32326881 edges, 67721 markings/sec, 220 secs
lola: 15668761 markings, 33068492 edges, 68153 markings/sec, 225 secs
lola: 15993138 markings, 33784700 edges, 64875 markings/sec, 230 secs
lola: 16333748 markings, 34527651 edges, 68122 markings/sec, 235 secs
lola: 16679920 markings, 35283010 edges, 69234 markings/sec, 240 secs
lola: 17016064 markings, 36009564 edges, 67229 markings/sec, 245 secs
lola: 17355597 markings, 36745782 edges, 67907 markings/sec, 250 secs
lola: 17680838 markings, 37447958 edges, 65048 markings/sec, 255 secs
lola: 18012971 markings, 38176297 edges, 66427 markings/sec, 260 secs
lola: 18323367 markings, 38878570 edges, 62079 markings/sec, 265 secs
lola: 18667085 markings, 39628669 edges, 68744 markings/sec, 270 secs
lola: 19014453 markings, 40390167 edges, 69474 markings/sec, 275 secs
lola: 19367430 markings, 41157385 edges, 70595 markings/sec, 280 secs
lola: 19703178 markings, 41856152 edges, 67150 markings/sec, 285 secs
lola: 20029056 markings, 42525383 edges, 65176 markings/sec, 290 secs
lola: 20363017 markings, 43219565 edges, 66792 markings/sec, 295 secs
lola: 20698765 markings, 43930144 edges, 67150 markings/sec, 300 secs
lola: 21031757 markings, 44641559 edges, 66598 markings/sec, 305 secs
lola: 21368555 markings, 45377161 edges, 67360 markings/sec, 310 secs
lola: 21722389 markings, 46137591 edges, 70767 markings/sec, 315 secs
lola: 22058883 markings, 46863171 edges, 67299 markings/sec, 320 secs
lola: 22392587 markings, 47588366 edges, 66741 markings/sec, 325 secs
lola: 22732738 markings, 48324513 edges, 68030 markings/sec, 330 secs
lola: 23066813 markings, 49013690 edges, 66815 markings/sec, 335 secs
lola: 23402369 markings, 49707745 edges, 67111 markings/sec, 340 secs
lola: 23736592 markings, 50401677 edges, 66845 markings/sec, 345 secs
lola: 24071170 markings, 51097517 edges, 66916 markings/sec, 350 secs
lola: 24408978 markings, 51795812 edges, 67562 markings/sec, 355 secs
lola: 24763904 markings, 52540026 edges, 70985 markings/sec, 360 secs
lola: 25116860 markings, 53276192 edges, 70591 markings/sec, 365 secs
lola: 25465102 markings, 54010897 edges, 69648 markings/sec, 370 secs
lola: 25813405 markings, 54736150 edges, 69661 markings/sec, 375 secs
lola: 26155933 markings, 55463132 edges, 68506 markings/sec, 380 secs
lola: 26486914 markings, 56160326 edges, 66196 markings/sec, 385 secs
lola: 26828419 markings, 56906265 edges, 68301 markings/sec, 390 secs
lola: 27166793 markings, 57651442 edges, 67675 markings/sec, 395 secs
lola: 27509615 markings, 58403012 edges, 68564 markings/sec, 400 secs
lola: 27847051 markings, 59125688 edges, 67487 markings/sec, 405 secs
lola: 28203440 markings, 59863774 edges, 71278 markings/sec, 410 secs
lola: 28537210 markings, 60554256 edges, 66754 markings/sec, 415 secs
lola: 28893832 markings, 61302387 edges, 71324 markings/sec, 420 secs
lola: 29242200 markings, 62053646 edges, 69674 markings/sec, 425 secs
lola: 29587101 markings, 62806976 edges, 68980 markings/sec, 430 secs
lola: 29925170 markings, 63523480 edges, 67614 markings/sec, 435 secs
lola: 30256627 markings, 64226551 edges, 66291 markings/sec, 440 secs
lola: 30572299 markings, 64915273 edges, 63134 markings/sec, 445 secs
lola: 30906978 markings, 65645621 edges, 66936 markings/sec, 450 secs
lola: 31243693 markings, 66370040 edges, 67343 markings/sec, 455 secs
lola: 31575772 markings, 67108782 edges, 66416 markings/sec, 460 secs
lola: 31910211 markings, 67853463 edges, 66888 markings/sec, 465 secs
lola: 32223517 markings, 68539718 edges, 62661 markings/sec, 470 secs
lola: 32546738 markings, 69235559 edges, 64644 markings/sec, 475 secs
lola: 32854685 markings, 69871938 edges, 61589 markings/sec, 480 secs
lola: 33187276 markings, 70558893 edges, 66518 markings/sec, 485 secs
lola: 33511556 markings, 71229975 edges, 64856 markings/sec, 490 secs
lola: 33849145 markings, 71935674 edges, 67518 markings/sec, 495 secs
lola: 34187196 markings, 72652309 edges, 67610 markings/sec, 500 secs
lola: 34531496 markings, 73404694 edges, 68860 markings/sec, 505 secs
lola: 34861741 markings, 74138487 edges, 66049 markings/sec, 510 secs
lola: 35194093 markings, 74872151 edges, 66470 markings/sec, 515 secs
lola: 35535286 markings, 75610799 edges, 68239 markings/sec, 520 secs
lola: 35869935 markings, 76322613 edges, 66930 markings/sec, 525 secs
lola: 36197693 markings, 77033554 edges, 65552 markings/sec, 530 secs
lola: 36509298 markings, 77735373 edges, 62321 markings/sec, 535 secs
lola: 36842532 markings, 78474570 edges, 66647 markings/sec, 540 secs
lola: 37170992 markings, 79182174 edges, 65692 markings/sec, 545 secs
lola: 37490862 markings, 79886374 edges, 63974 markings/sec, 550 secs
lola: 37822659 markings, 80600968 edges, 66359 markings/sec, 555 secs
lola: 38154929 markings, 81318506 edges, 66454 markings/sec, 560 secs
lola: 38477304 markings, 82014068 edges, 64475 markings/sec, 565 secs
lola: 38800388 markings, 82701271 edges, 64617 markings/sec, 570 secs
lola: 39145104 markings, 83445105 edges, 68943 markings/sec, 575 secs
lola: 39484029 markings, 84184554 edges, 67785 markings/sec, 580 secs
lola: 39806831 markings, 84892565 edges, 64560 markings/sec, 585 secs
lola: 40152050 markings, 85603160 edges, 69044 markings/sec, 590 secs
lola: 40501131 markings, 86323727 edges, 69816 markings/sec, 595 secs
lola: 40854124 markings, 87076197 edges, 70599 markings/sec, 600 secs
lola: 41182088 markings, 87791977 edges, 65593 markings/sec, 605 secs
lola: 41508327 markings, 88480477 edges, 65248 markings/sec, 610 secs
lola: 41836412 markings, 89177203 edges, 65617 markings/sec, 615 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes unknown no no yes unknown no unknown unknown unknown unknown yes no
lola: memory consumption: 8630592 KB
lola: time consumption: 1698 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 11 will run for 623 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((F (((1 <= p50) AND (1 <= p160))) AND ((((1 <= p162)) U G ((((p85 <= 0) OR (p170 <= 0)) AND ((p110 <= 0) OR (p175 <= 0))))) OR ((1 <= p50) AND (1 <= p160))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((F (((1 <= p50) AND (1 <= p160))) AND ((((1 <= p162)) U G ((((p85 <= 0) OR (p170 <= 0)) AND ((p110 <= 0) OR (p175 <= 0))))) OR ((1 <= p50) AND (1 <= p160))))))
lola: processed formula length: 167
lola: 78 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 12 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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 280
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: 19 markings, 25 edges
lola: ========================================
lola: subprocess 12 will run for 935 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((1 <= p145) AND (1 <= p180))) AND ((p130 <= 0) OR (p180 <= 0) OR (p145 <= 0) OR (p81 <= 0) OR (p160 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 935 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p130 <= 0) OR (p180 <= 0) OR (p145 <= 0) OR (p81 <= 0) OR (p160 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p130 <= 0) OR (p180 <= 0) OR (p145 <= 0) OR (p81 <= 0) OR (p160 <= 0))
lola: processed formula length: 76
lola: 78 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 5 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 1871 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p145) AND (1 <= p180)))
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: ((p145 <= 0) OR (p180 <= 0))
lola: processed formula length: 29
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 13 will run for 1871 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G (F (((p160 <= 0)))) OR ((F (((1 <= p10) AND (1 <= p155))) U ((p10 <= 0) OR (p155 <= 0))) AND F (((1 <= p10) AND (1 <= p155)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 1871 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p10) AND (1 <= p155)))
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: ((p10 <= 0) OR (p155 <= 0))
lola: processed formula length: 28
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((1 <= p10) AND (1 <= p155))) U ((p10 <= 0) OR (p155 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (F (((1 <= p10) AND (1 <= p155))) U ((p10 <= 0) OR (p155 <= 0)))
lola: processed formula length: 65
lola: 78 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: X (G ((X (G (((p179 <= 0)))) OR (((p142 <= 0) OR (p170 <= 0)) R ((p158 <= 0) OR (p187 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((X (G (((p179 <= 0)))) OR (((p142 <= 0) OR (p170 <= 0)) R ((p158 <= 0) OR (p187 <= 0))))))
lola: processed formula length: 98
lola: 78 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1118690 markings, 1979033 edges, 223738 markings/sec, 0 secs
lola: 2320114 markings, 4104184 edges, 240285 markings/sec, 5 secs
lola: 3497097 markings, 6186936 edges, 235397 markings/sec, 10 secs
lola: 4630808 markings, 8197183 edges, 226742 markings/sec, 15 secs
lola: 5744618 markings, 10176703 edges, 222762 markings/sec, 20 secs
lola: 6844090 markings, 12136770 edges, 219894 markings/sec, 25 secs
lola: 7861704 markings, 13944722 edges, 203523 markings/sec, 30 secs
lola: 8960848 markings, 15899621 edges, 219829 markings/sec, 35 secs
lola: 10074392 markings, 17878950 edges, 222709 markings/sec, 40 secs
lola: 11171166 markings, 19830732 edges, 219355 markings/sec, 45 secs
lola: 12268497 markings, 21780646 edges, 219466 markings/sec, 50 secs
lola: 13361269 markings, 23721452 edges, 218554 markings/sec, 55 secs
lola: 14371989 markings, 25514910 edges, 202144 markings/sec, 60 secs
lola: 15438685 markings, 27414441 edges, 213339 markings/sec, 65 secs
lola: 16413051 markings, 29145141 edges, 194873 markings/sec, 70 secs
lola: 17474281 markings, 31038553 edges, 212246 markings/sec, 75 secs
lola: 18537157 markings, 32930584 edges, 212575 markings/sec, 80 secs
lola: 19552120 markings, 34744468 edges, 202993 markings/sec, 85 secs
lola: 20493080 markings, 36425330 edges, 188192 markings/sec, 90 secs
lola: 21503325 markings, 38229237 edges, 202049 markings/sec, 95 secs
lola: 22514575 markings, 40030813 edges, 202250 markings/sec, 100 secs
lola: 23556281 markings, 41889813 edges, 208341 markings/sec, 105 secs
lola: 24552075 markings, 43671794 edges, 199159 markings/sec, 110 secs
lola: 25568339 markings, 45482908 edges, 203253 markings/sec, 115 secs
lola: 26553961 markings, 47243910 edges, 197124 markings/sec, 120 secs
lola: 27552512 markings, 49025820 edges, 199710 markings/sec, 125 secs
lola: 28550430 markings, 50808702 edges, 199584 markings/sec, 130 secs
lola: 29537157 markings, 52572728 edges, 197345 markings/sec, 135 secs
lola: 30549178 markings, 54376702 edges, 202404 markings/sec, 140 secs
lola: 31547237 markings, 56157374 edges, 199612 markings/sec, 145 secs
lola: 32556936 markings, 57963345 edges, 201940 markings/sec, 150 secs
lola: 33577568 markings, 59781074 edges, 204126 markings/sec, 155 secs
lola: 34598491 markings, 61601202 edges, 204185 markings/sec, 160 secs
lola: 35618091 markings, 63420361 edges, 203920 markings/sec, 165 secs
lola: 36645515 markings, 65245989 edges, 205485 markings/sec, 170 secs
lola: 37635014 markings, 67010056 edges, 197900 markings/sec, 175 secs
lola: 38632051 markings, 68788624 edges, 199407 markings/sec, 180 secs
lola: 39632508 markings, 70570226 edges, 200091 markings/sec, 185 secs
lola: 40601873 markings, 72302410 edges, 193873 markings/sec, 190 secs
lola: 41640797 markings, 74153018 edges, 207785 markings/sec, 195 secs
lola: 42653756 markings, 75958191 edges, 202592 markings/sec, 200 secs
lola: 43615735 markings, 77681404 edges, 192396 markings/sec, 205 secs
lola: 44642607 markings, 79510495 edges, 205374 markings/sec, 210 secs
lola: 45626647 markings, 81267486 edges, 196808 markings/sec, 215 secs
lola: 46630642 markings, 83065381 edges, 200799 markings/sec, 220 secs
lola: 47596461 markings, 84793578 edges, 193164 markings/sec, 225 secs
lola: 48638963 markings, 86654593 edges, 208500 markings/sec, 230 secs
lola: 49588219 markings, 88355906 edges, 189851 markings/sec, 235 secs
lola: 50537728 markings, 90054601 edges, 189902 markings/sec, 240 secs
lola: 51493372 markings, 91761365 edges, 191129 markings/sec, 245 secs
lola: 52475159 markings, 93514383 edges, 196357 markings/sec, 250 secs
lola: 53397276 markings, 95169529 edges, 184423 markings/sec, 255 secs
lola: 54328591 markings, 96839603 edges, 186263 markings/sec, 260 secs
lola: 55206360 markings, 98412393 edges, 175554 markings/sec, 265 secs
lola: 56168563 markings, 100138695 edges, 192441 markings/sec, 270 secs
lola: 57135172 markings, 101868958 edges, 193322 markings/sec, 275 secs
lola: 58129285 markings, 103638943 edges, 198823 markings/sec, 280 secs
lola: 59063261 markings, 105311426 edges, 186795 markings/sec, 285 secs
lola: 60021918 markings, 107027022 edges, 191731 markings/sec, 290 secs
lola: 60955379 markings, 108702004 edges, 186692 markings/sec, 295 secs
lola: 61981879 markings, 110535128 edges, 205300 markings/sec, 300 secs
lola: 63088227 markings, 112493808 edges, 221270 markings/sec, 305 secs
lola: 64059628 markings, 114232045 edges, 194280 markings/sec, 310 secs
lola: 65005736 markings, 115923003 edges, 189222 markings/sec, 315 secs
lola: 65980853 markings, 117667979 edges, 195023 markings/sec, 320 secs
lola: 66902543 markings, 119323110 edges, 184338 markings/sec, 325 secs
lola: 67910886 markings, 121120099 edges, 201669 markings/sec, 330 secs
lola: 68889816 markings, 122867003 edges, 195786 markings/sec, 335 secs
lola: 69813792 markings, 124520793 edges, 184795 markings/sec, 340 secs
lola: 70755232 markings, 126210105 edges, 188288 markings/sec, 345 secs
lola: 71690537 markings, 127886638 edges, 187061 markings/sec, 350 secs
lola: 72645782 markings, 129590289 edges, 191049 markings/sec, 355 secs
lola: 73582996 markings, 131264539 edges, 187443 markings/sec, 360 secs
lola: 74511549 markings, 132929321 edges, 185711 markings/sec, 365 secs
lola: 75483036 markings, 134669268 edges, 194297 markings/sec, 370 secs
lola: 76437791 markings, 136368630 edges, 190951 markings/sec, 375 secs
lola: 77328353 markings, 137965799 edges, 178112 markings/sec, 380 secs
lola: 78047565 markings, 139255309 edges, 143842 markings/sec, 385 secs
lola: 78824979 markings, 140643517 edges, 155483 markings/sec, 390 secs
lola: 79569640 markings, 141977516 edges, 148932 markings/sec, 395 secs
lola: 80113509 markings, 142958975 edges, 108774 markings/sec, 400 secs
lola: 80908140 markings, 144377536 edges, 158926 markings/sec, 405 secs
lola: 81476845 markings, 145399609 edges, 113741 markings/sec, 410 secs
lola: 82257981 markings, 146794784 edges, 156227 markings/sec, 415 secs
lola: 82993209 markings, 148103393 edges, 147046 markings/sec, 420 secs
lola: 83607442 markings, 149202036 edges, 122847 markings/sec, 425 secs
lola: 84346151 markings, 150526137 edges, 147742 markings/sec, 430 secs
lola: 84941807 markings, 151593579 edges, 119131 markings/sec, 435 secs
lola: 85559433 markings, 152702254 edges, 123525 markings/sec, 440 secs
lola: 85925288 markings, 153357405 edges, 73171 markings/sec, 445 secs
lola: 86572648 markings, 154520924 edges, 129472 markings/sec, 450 secs
lola: 87152356 markings, 155563575 edges, 115942 markings/sec, 455 secs
lola: 87844932 markings, 156806269 edges, 138515 markings/sec, 460 secs
lola: 88553463 markings, 158079200 edges, 141706 markings/sec, 465 secs
lola: 89321331 markings, 159443334 edges, 153574 markings/sec, 470 secs
lola: 89960776 markings, 160581520 edges, 127889 markings/sec, 475 secs
lola: 90618018 markings, 161747423 edges, 131448 markings/sec, 480 secs
lola: 91366161 markings, 163073379 edges, 149629 markings/sec, 485 secs
lola: 91982418 markings, 164167078 edges, 123251 markings/sec, 490 secs
lola: 92688712 markings, 165438614 edges, 141259 markings/sec, 495 secs
lola: 93314632 markings, 166561783 edges, 125184 markings/sec, 500 secs
lola: 93847342 markings, 167515339 edges, 106542 markings/sec, 505 secs
lola: 94377809 markings, 168470469 edges, 106093 markings/sec, 510 secs
lola: 94935698 markings, 169472718 edges, 111578 markings/sec, 515 secs
lola: 95606359 markings, 170669581 edges, 134132 markings/sec, 520 secs
lola: 96218170 markings, 171762861 edges, 122362 markings/sec, 525 secs
lola: 96503814 markings, 172273488 edges, 57129 markings/sec, 530 secs
lola: 96505951 markings, 172277223 edges, 427 markings/sec, 535 secs
lola: 96508280 markings, 172281193 edges, 466 markings/sec, 540 secs
lola: 96508344 markings, 172281307 edges, 13 markings/sec, 545 secs
lola: 96508381 markings, 172281372 edges, 7 markings/sec, 550 secs
lola: 96508424 markings, 172281451 edges, 9 markings/sec, 555 secs
lola: 96508483 markings, 172281558 edges, 12 markings/sec, 560 secs
lola: 96513896 markings, 172291415 edges, 1083 markings/sec, 565 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: F (G (((p69 <= 0) OR (p175 <= 0))))
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 (((p69 <= 0) OR (p175 <= 0))))
lola: processed formula length: 36
lola: 78 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: 297732 markings, 625319 edges, 59546 markings/sec, 0 secs
lola: 686694 markings, 1440379 edges, 77792 markings/sec, 5 secs
lola: 1179263 markings, 2480390 edges, 98514 markings/sec, 10 secs
lola: 1703945 markings, 3594593 edges, 104936 markings/sec, 15 secs
lola: 2226876 markings, 4723034 edges, 104586 markings/sec, 20 secs
lola: 2736848 markings, 5837006 edges, 101994 markings/sec, 25 secs
lola: 3228652 markings, 6913234 edges, 98361 markings/sec, 30 secs
lola: 3753979 markings, 8075572 edges, 105065 markings/sec, 35 secs
lola: 4269959 markings, 9228088 edges, 103196 markings/sec, 40 secs
lola: 4756639 markings, 10347513 edges, 97336 markings/sec, 45 secs
lola: 5243576 markings, 11464993 edges, 97387 markings/sec, 50 secs
lola: 5735058 markings, 12584456 edges, 98296 markings/sec, 55 secs
lola: 6242892 markings, 13715329 edges, 101567 markings/sec, 60 secs
lola: 6732414 markings, 14847358 edges, 97904 markings/sec, 65 secs
lola: 7231159 markings, 15973250 edges, 99749 markings/sec, 70 secs
lola: 7735633 markings, 17105912 edges, 100895 markings/sec, 75 secs
lola: 8208575 markings, 18211948 edges, 94588 markings/sec, 80 secs
lola: 8689206 markings, 19335000 edges, 96126 markings/sec, 85 secs
lola: 9180442 markings, 20463755 edges, 98247 markings/sec, 90 secs
lola: 9673245 markings, 21591241 edges, 98561 markings/sec, 95 secs
lola: 10132292 markings, 22651068 edges, 91809 markings/sec, 100 secs
lola: 10581786 markings, 23697717 edges, 89899 markings/sec, 105 secs
lola: 11055607 markings, 24808763 edges, 94764 markings/sec, 110 secs
lola: 11531326 markings, 25923413 edges, 95144 markings/sec, 115 secs
lola: 11987104 markings, 26970613 edges, 91156 markings/sec, 120 secs
lola: 12467734 markings, 28096728 edges, 96126 markings/sec, 125 secs
lola: 12940767 markings, 29202534 edges, 94607 markings/sec, 130 secs
lola: 13414684 markings, 30309513 edges, 94783 markings/sec, 135 secs
lola: 13904675 markings, 31425371 edges, 97998 markings/sec, 140 secs
lola: 14370387 markings, 32528709 edges, 93142 markings/sec, 145 secs
lola: 14807041 markings, 33581003 edges, 87331 markings/sec, 150 secs
lola: 15298830 markings, 34710895 edges, 98358 markings/sec, 155 secs
lola: 15768901 markings, 35803074 edges, 94014 markings/sec, 160 secs
lola: 16257596 markings, 36940483 edges, 97739 markings/sec, 165 secs
lola: 16759584 markings, 38065069 edges, 100398 markings/sec, 170 secs
lola: 17237720 markings, 39157710 edges, 95627 markings/sec, 175 secs
lola: 17683187 markings, 40182684 edges, 89093 markings/sec, 180 secs
lola: 18151020 markings, 41295556 edges, 93567 markings/sec, 185 secs
lola: 18636134 markings, 42408760 edges, 97023 markings/sec, 190 secs
lola: 19109052 markings, 43539302 edges, 94584 markings/sec, 195 secs
lola: 19651215 markings, 44684670 edges, 108433 markings/sec, 200 secs
lola: 20166586 markings, 45812853 edges, 103074 markings/sec, 205 secs
lola: 20702502 markings, 46976079 edges, 107183 markings/sec, 210 secs
lola: 21189112 markings, 48080339 edges, 97322 markings/sec, 215 secs
lola: 21670242 markings, 49204278 edges, 96226 markings/sec, 220 secs
lola: 22129350 markings, 50309625 edges, 91822 markings/sec, 225 secs
lola: 22603179 markings, 51431070 edges, 94766 markings/sec, 230 secs
lola: 23063648 markings, 52536885 edges, 92094 markings/sec, 235 secs
lola: 23527521 markings, 53651041 edges, 92775 markings/sec, 240 secs
lola: 24025237 markings, 54759320 edges, 99543 markings/sec, 245 secs
lola: 24481060 markings, 55853954 edges, 91165 markings/sec, 250 secs
lola: 24941780 markings, 56950744 edges, 92144 markings/sec, 255 secs
lola: 25403268 markings, 58039928 edges, 92298 markings/sec, 260 secs
lola: 25866494 markings, 59145638 edges, 92645 markings/sec, 265 secs
lola: 26339314 markings, 60231637 edges, 94564 markings/sec, 270 secs
lola: 26800507 markings, 61336343 edges, 92239 markings/sec, 275 secs
lola: 27256336 markings, 62440670 edges, 91166 markings/sec, 280 secs
lola: 27721017 markings, 63553001 edges, 92936 markings/sec, 285 secs
lola: 28234610 markings, 64680866 edges, 102719 markings/sec, 290 secs
lola: 28763217 markings, 65816702 edges, 105721 markings/sec, 295 secs
lola: 29256124 markings, 66924418 edges, 98581 markings/sec, 300 secs
lola: 29726149 markings, 68031267 edges, 94005 markings/sec, 305 secs
lola: 30203181 markings, 69121538 edges, 95406 markings/sec, 310 secs
lola: 30682449 markings, 70237895 edges, 95854 markings/sec, 315 secs
lola: 31137192 markings, 71322433 edges, 90949 markings/sec, 320 secs
lola: 31594505 markings, 72418835 edges, 91463 markings/sec, 325 secs
lola: 32073204 markings, 73532697 edges, 95740 markings/sec, 330 secs
lola: 32509475 markings, 74558950 edges, 87254 markings/sec, 335 secs
lola: 32958509 markings, 75621447 edges, 89807 markings/sec, 340 secs
lola: 33417012 markings, 76690710 edges, 91701 markings/sec, 345 secs
lola: 33860113 markings, 77757128 edges, 88620 markings/sec, 350 secs
lola: 34311156 markings, 78816908 edges, 90209 markings/sec, 355 secs
lola: 34778925 markings, 79897676 edges, 93554 markings/sec, 360 secs
lola: 35201233 markings, 80908278 edges, 84462 markings/sec, 365 secs
lola: 35678394 markings, 82018903 edges, 95432 markings/sec, 370 secs
lola: 36105355 markings, 83009651 edges, 85392 markings/sec, 375 secs
lola: 36553833 markings, 84072192 edges, 89696 markings/sec, 380 secs
lola: 37005652 markings, 85124993 edges, 90364 markings/sec, 385 secs
lola: 37471176 markings, 86199533 edges, 93105 markings/sec, 390 secs
lola: 37915068 markings, 87251198 edges, 88778 markings/sec, 395 secs
lola: 38392919 markings, 88355685 edges, 95570 markings/sec, 400 secs
lola: 38822130 markings, 89284111 edges, 85842 markings/sec, 405 secs
lola: 39235033 markings, 90170888 edges, 82581 markings/sec, 410 secs
lola: 39646909 markings, 91063156 edges, 82375 markings/sec, 415 secs
lola: 40060410 markings, 91963868 edges, 82700 markings/sec, 420 secs
lola: 40454239 markings, 92825077 edges, 78766 markings/sec, 425 secs
lola: 40862453 markings, 93741886 edges, 81643 markings/sec, 430 secs
lola: 41283944 markings, 94680972 edges, 84298 markings/sec, 435 secs
lola: 41699512 markings, 95623285 edges, 83114 markings/sec, 440 secs
lola: 42115755 markings, 96556348 edges, 83249 markings/sec, 445 secs
lola: 42528391 markings, 97506185 edges, 82527 markings/sec, 450 secs
lola: 42950829 markings, 98464241 edges, 84488 markings/sec, 455 secs
lola: 43357707 markings, 99410356 edges, 81376 markings/sec, 460 secs
lola: 43787827 markings, 100373617 edges, 86024 markings/sec, 465 secs
lola: 44196676 markings, 101325621 edges, 81770 markings/sec, 470 secs
lola: 44623802 markings, 102295889 edges, 85425 markings/sec, 475 secs
lola: 45052539 markings, 103265445 edges, 85747 markings/sec, 480 secs
lola: 45484185 markings, 104236003 edges, 86329 markings/sec, 485 secs
lola: 45899777 markings, 105199670 edges, 83118 markings/sec, 490 secs
lola: 46310841 markings, 106149979 edges, 82213 markings/sec, 495 secs
lola: 46710639 markings, 107078839 edges, 79960 markings/sec, 500 secs
lola: 47136204 markings, 108054793 edges, 85113 markings/sec, 505 secs
lola: 47549056 markings, 109010719 edges, 82570 markings/sec, 510 secs
lola: 47961604 markings, 109991105 edges, 82510 markings/sec, 515 secs
lola: 48378252 markings, 110950499 edges, 83330 markings/sec, 520 secs
lola: 48773016 markings, 111870353 edges, 78953 markings/sec, 525 secs
lola: 49187892 markings, 112845568 edges, 82975 markings/sec, 530 secs
lola: 49595520 markings, 113809558 edges, 81526 markings/sec, 535 secs
lola: 50017002 markings, 114760190 edges, 84296 markings/sec, 540 secs
lola: 50456792 markings, 115724202 edges, 87958 markings/sec, 545 secs
lola: 50874300 markings, 116675307 edges, 83502 markings/sec, 550 secs
lola: 51275680 markings, 117614898 edges, 80276 markings/sec, 555 secs
lola: 51707423 markings, 118614021 edges, 86349 markings/sec, 560 secs
lola: 52132552 markings, 119604462 edges, 85026 markings/sec, 565 secs
lola: 52563758 markings, 120606993 edges, 86241 markings/sec, 570 secs
lola: 52980677 markings, 121592034 edges, 83384 markings/sec, 575 secs
lola: 53417611 markings, 122599270 edges, 87387 markings/sec, 580 secs
lola: 53821219 markings, 123575198 edges, 80722 markings/sec, 585 secs
lola: 54235298 markings, 124561762 edges, 82816 markings/sec, 590 secs
lola: 54609783 markings, 125480388 edges, 74897 markings/sec, 595 secs
lola: 55017957 markings, 126437197 edges, 81635 markings/sec, 600 secs
lola: 55434877 markings, 127395363 edges, 83384 markings/sec, 605 secs
lola: 55848272 markings, 128382273 edges, 82679 markings/sec, 610 secs
lola: 56248747 markings, 129267448 edges, 80095 markings/sec, 615 secs
lola: 56661567 markings, 130238149 edges, 82564 markings/sec, 620 secs
lola: 57092680 markings, 131226996 edges, 86223 markings/sec, 625 secs
lola: 57503636 markings, 132196063 edges, 82191 markings/sec, 630 secs
lola: 57903767 markings, 133129740 edges, 80026 markings/sec, 635 secs
lola: 58279659 markings, 134032602 edges, 75178 markings/sec, 640 secs
lola: 58656860 markings, 134942283 edges, 75440 markings/sec, 645 secs
lola: 59059239 markings, 135884431 edges, 80476 markings/sec, 650 secs
lola: 59500757 markings, 136896913 edges, 88304 markings/sec, 655 secs
lola: 59921851 markings, 137902109 edges, 84219 markings/sec, 660 secs
lola: 60351123 markings, 138887166 edges, 85854 markings/sec, 665 secs
lola: 60787055 markings, 139914325 edges, 87186 markings/sec, 670 secs
lola: 61200056 markings, 140903348 edges, 82600 markings/sec, 675 secs
lola: 61634591 markings, 141910674 edges, 86907 markings/sec, 680 secs
lola: 62065968 markings, 142926804 edges, 86275 markings/sec, 685 secs
lola: 62494905 markings, 143949180 edges, 85787 markings/sec, 690 secs
lola: 62947349 markings, 144969102 edges, 90489 markings/sec, 695 secs
lola: 63427691 markings, 146031728 edges, 96068 markings/sec, 700 secs
lola: 63868527 markings, 147070945 edges, 88167 markings/sec, 705 secs
lola: 64301459 markings, 148106439 edges, 86586 markings/sec, 710 secs
lola: 64752421 markings, 149170022 edges, 90192 markings/sec, 715 secs
lola: 65219223 markings, 150239183 edges, 93360 markings/sec, 720 secs
lola: 65645525 markings, 151261991 edges, 85260 markings/sec, 725 secs
lola: 66105430 markings, 152299858 edges, 91981 markings/sec, 730 secs
lola: 66551955 markings, 153336000 edges, 89305 markings/sec, 735 secs
lola: 66992786 markings, 154362159 edges, 88166 markings/sec, 740 secs
lola: 67438354 markings, 155409273 edges, 89114 markings/sec, 745 secs
lola: 67874504 markings, 156449823 edges, 87230 markings/sec, 750 secs
lola: 68296719 markings, 157461156 edges, 84443 markings/sec, 755 secs
lola: 68721833 markings, 158471822 edges, 85023 markings/sec, 760 secs
lola: 69103045 markings, 159362850 edges, 76242 markings/sec, 765 secs
lola: 69518460 markings, 160365702 edges, 83083 markings/sec, 770 secs
lola: 69932372 markings, 161343059 edges, 82782 markings/sec, 775 secs
lola: 70361159 markings, 162354649 edges, 85757 markings/sec, 780 secs
lola: 70763640 markings, 163313872 edges, 80496 markings/sec, 785 secs
lola: 71209602 markings, 164340118 edges, 89192 markings/sec, 790 secs
lola: 71616784 markings, 165295599 edges, 81436 markings/sec, 795 secs
lola: 72018381 markings, 166170875 edges, 80319 markings/sec, 800 secs
lola: 72394234 markings, 167024127 edges, 75171 markings/sec, 805 secs
lola: 72835083 markings, 168043711 edges, 88170 markings/sec, 810 secs
lola: 73267749 markings, 169062355 edges, 86533 markings/sec, 815 secs
lola: 73696826 markings, 170087311 edges, 85815 markings/sec, 820 secs
lola: 74005297 markings, 170820654 edges, 61694 markings/sec, 825 secs
lola: 74441047 markings, 171836279 edges, 87150 markings/sec, 830 secs
lola: 74837642 markings, 172772499 edges, 79319 markings/sec, 835 secs
lola: 75273034 markings, 173816520 edges, 87078 markings/sec, 840 secs
lola: 75691265 markings, 174819375 edges, 83646 markings/sec, 845 secs
lola: 76191476 markings, 175896504 edges, 100042 markings/sec, 850 secs
lola: 76594295 markings, 176801584 edges, 80564 markings/sec, 855 secs
lola: 76994874 markings, 177752090 edges, 80116 markings/sec, 860 secs
lola: 77417535 markings, 178753490 edges, 84532 markings/sec, 865 secs
lola: 77839892 markings, 179720898 edges, 84471 markings/sec, 870 secs
lola: 78260381 markings, 180731478 edges, 84098 markings/sec, 875 secs
lola: 78678802 markings, 181743149 edges, 83684 markings/sec, 880 secs
lola: 79049768 markings, 182623669 edges, 74193 markings/sec, 885 secs
lola: 79475287 markings, 183644412 edges, 85104 markings/sec, 890 secs
lola: 79879232 markings, 184618119 edges, 80789 markings/sec, 895 secs
lola: 80278470 markings, 185579563 edges, 79848 markings/sec, 900 secs
lola: 80722800 markings, 186616915 edges, 88866 markings/sec, 905 secs
lola: 81140067 markings, 187615892 edges, 83453 markings/sec, 910 secs
lola: 81560831 markings, 188575866 edges, 84153 markings/sec, 915 secs
lola: 81917261 markings, 189422892 edges, 71286 markings/sec, 920 secs
lola: 82344667 markings, 190436112 edges, 85481 markings/sec, 925 secs
lola: 82721371 markings, 191353975 edges, 75341 markings/sec, 930 secs
lola: 83163312 markings, 192390750 edges, 88388 markings/sec, 935 secs
lola: 83632100 markings, 193396271 edges, 93758 markings/sec, 940 secs
lola: 84099290 markings, 194443284 edges, 93438 markings/sec, 945 secs
lola: 84540954 markings, 195488332 edges, 88333 markings/sec, 950 secs
lola: 84910685 markings, 196360867 edges, 73946 markings/sec, 955 secs
lola: 85366815 markings, 197390176 edges, 91226 markings/sec, 960 secs
lola: 85777133 markings, 198367695 edges, 82064 markings/sec, 965 secs
lola: 86251962 markings, 199413604 edges, 94966 markings/sec, 970 secs
lola: 86666141 markings, 200366171 edges, 82836 markings/sec, 975 secs
lola: 86908485 markings, 200946104 edges, 48469 markings/sec, 980 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: G ((((p115 <= 0) OR (p175 <= 0)) R (((p60 <= 0) OR (p165 <= 0)) AND (G (((p60 <= 0) OR (p165 <= 0))) OR G (F (((p151 <= 0) OR (p187 <= 0))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((((p115 <= 0) OR (p175 <= 0)) R (((p60 <= 0) OR (p165 <= 0)) AND (G (((p60 <= 0) OR (p165 <= 0))) OR G (F (((p151 <= 0) OR (p187 <= 0))))))))
lola: processed formula length: 148
lola: 78 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 317402 markings, 654316 edges, 63480 markings/sec, 0 secs
lola: 636309 markings, 1310708 edges, 63781 markings/sec, 5 secs
lola: 989442 markings, 2048677 edges, 70627 markings/sec, 10 secs
lola: 1330680 markings, 2748393 edges, 68248 markings/sec, 15 secs
lola: 1676611 markings, 3484018 edges, 69186 markings/sec, 20 secs
lola: 2023733 markings, 4218617 edges, 69424 markings/sec, 25 secs
lola: 2372605 markings, 4972496 edges, 69774 markings/sec, 30 secs
lola: 2731401 markings, 5746011 edges, 71759 markings/sec, 35 secs
lola: 3065424 markings, 6465518 edges, 66805 markings/sec, 40 secs
lola: 3401257 markings, 7167570 edges, 67167 markings/sec, 45 secs
lola: 3739939 markings, 7864288 edges, 67736 markings/sec, 50 secs
lola: 4081342 markings, 8571918 edges, 68281 markings/sec, 55 secs
lola: 4430199 markings, 9305273 edges, 69771 markings/sec, 60 secs
lola: 4768389 markings, 10025054 edges, 67638 markings/sec, 65 secs
lola: 5089764 markings, 10702381 edges, 64275 markings/sec, 70 secs
lola: 5434505 markings, 11416213 edges, 68948 markings/sec, 75 secs
lola: 5794929 markings, 12174568 edges, 72085 markings/sec, 80 secs
lola: 6130801 markings, 12881923 edges, 67174 markings/sec, 85 secs
lola: 6485517 markings, 13612579 edges, 70943 markings/sec, 90 secs
lola: 6835745 markings, 14335048 edges, 70046 markings/sec, 95 secs
lola: 7173403 markings, 15060800 edges, 67532 markings/sec, 100 secs
lola: 7506538 markings, 15778581 edges, 66627 markings/sec, 105 secs
lola: 7860750 markings, 16539503 edges, 70842 markings/sec, 110 secs
lola: 8209920 markings, 17268811 edges, 69834 markings/sec, 115 secs
lola: 8551870 markings, 18006350 edges, 68390 markings/sec, 120 secs
lola: 8896374 markings, 18734961 edges, 68901 markings/sec, 125 secs
lola: 9233176 markings, 19443700 edges, 67360 markings/sec, 130 secs
lola: 9575293 markings, 20182412 edges, 68423 markings/sec, 135 secs
lola: 9928592 markings, 20931690 edges, 70660 markings/sec, 140 secs
lola: 10286325 markings, 21695399 edges, 71547 markings/sec, 145 secs
lola: 10618597 markings, 22405046 edges, 66454 markings/sec, 150 secs
lola: 10950028 markings, 23123157 edges, 66286 markings/sec, 155 secs
lola: 11280365 markings, 23847021 edges, 66067 markings/sec, 160 secs
lola: 11632507 markings, 24595346 edges, 70428 markings/sec, 165 secs
lola: 11969745 markings, 25297594 edges, 67448 markings/sec, 170 secs
lola: 12302405 markings, 25984547 edges, 66532 markings/sec, 175 secs
lola: 12637814 markings, 26677337 edges, 67082 markings/sec, 180 secs
lola: 12970154 markings, 27368246 edges, 66468 markings/sec, 185 secs
lola: 13300635 markings, 28052502 edges, 66096 markings/sec, 190 secs
lola: 13643624 markings, 28762913 edges, 68598 markings/sec, 195 secs
lola: 13988084 markings, 29468165 edges, 68892 markings/sec, 200 secs
lola: 14341253 markings, 30219919 edges, 70634 markings/sec, 205 secs
lola: 14690484 markings, 30940639 edges, 69846 markings/sec, 210 secs
lola: 15007215 markings, 31630427 edges, 63346 markings/sec, 215 secs
lola: 15345506 markings, 32368928 edges, 67658 markings/sec, 220 secs
lola: 15674519 markings, 33081785 edges, 65803 markings/sec, 225 secs
lola: 16001584 markings, 33803003 edges, 65413 markings/sec, 230 secs
lola: 16346373 markings, 34554533 edges, 68958 markings/sec, 235 secs
lola: 16696738 markings, 35318573 edges, 70073 markings/sec, 240 secs
lola: 17034758 markings, 36049670 edges, 67604 markings/sec, 245 secs
lola: 17380776 markings, 36798839 edges, 69204 markings/sec, 250 secs
lola: 17703708 markings, 37497032 edges, 64586 markings/sec, 255 secs
lola: 18035730 markings, 38226464 edges, 66404 markings/sec, 260 secs
lola: 18352512 markings, 38940203 edges, 63356 markings/sec, 265 secs
lola: 18701839 markings, 39703322 edges, 69865 markings/sec, 270 secs
lola: 19052161 markings, 40469481 edges, 70064 markings/sec, 275 secs
lola: 19396861 markings, 41223677 edges, 68940 markings/sec, 280 secs
lola: 19732128 markings, 41915106 edges, 67053 markings/sec, 285 secs
lola: 20054406 markings, 42577242 edges, 64456 markings/sec, 290 secs
lola: 20380551 markings, 43257723 edges, 65229 markings/sec, 295 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes no no no yes unknown no yes unknown unknown yes yes no
lola:
preliminary result: no yes no no no yes unknown no yes unknown unknown yes yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no no no yes unknown no yes unknown unknown yes yes no
lola: memory consumption: 4259456 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no no no yes unknown no yes unknown unknown yes yes no
lola: memory consumption: 4259456 KB
lola: time consumption: 3571 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-06"
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-06, 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-158987827600250"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-06.tgz
mv Raft-PT-06 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 ;