About the Execution of ITS-LoLa for Raft-PT-04
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15786.510 | 3600000.00 | 3452815.00 | 96774.60 | TTFTF???T???FT?? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r172-smll-158987827600236.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-04, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172-smll-158987827600236
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 220K
-rw-r--r-- 1 mcc users 3.3K Apr 12 07:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 12 07:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 11 08:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 11 08:58 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 27K 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.4K Apr 10 14:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 10 14:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 9 21:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 9 21:20 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 41K 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-04-CTLFireability-00
FORMULA_NAME Raft-PT-04-CTLFireability-01
FORMULA_NAME Raft-PT-04-CTLFireability-02
FORMULA_NAME Raft-PT-04-CTLFireability-03
FORMULA_NAME Raft-PT-04-CTLFireability-04
FORMULA_NAME Raft-PT-04-CTLFireability-05
FORMULA_NAME Raft-PT-04-CTLFireability-06
FORMULA_NAME Raft-PT-04-CTLFireability-07
FORMULA_NAME Raft-PT-04-CTLFireability-08
FORMULA_NAME Raft-PT-04-CTLFireability-09
FORMULA_NAME Raft-PT-04-CTLFireability-10
FORMULA_NAME Raft-PT-04-CTLFireability-11
FORMULA_NAME Raft-PT-04-CTLFireability-12
FORMULA_NAME Raft-PT-04-CTLFireability-13
FORMULA_NAME Raft-PT-04-CTLFireability-14
FORMULA_NAME Raft-PT-04-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1591332498156
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-05 04:48:21] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-05 04:48:21] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-05 04:48:21] [INFO ] Load time of PNML (sax parser for PT used): 85 ms
[2020-06-05 04:48:21] [INFO ] Transformed 88 places.
[2020-06-05 04:48:21] [INFO ] Transformed 160 transitions.
[2020-06-05 04:48:21] [INFO ] Found NUPN structural information;
[2020-06-05 04:48:21] [INFO ] Parsed PT model containing 88 places and 160 transitions in 144 ms.
Ensure Unique test removed 18 transitions
Reduce redundant transitions removed 18 transitions.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 27 ms.
Incomplete random walk after 100000 steps, including 0 resets, run finished after 539 ms. (steps per millisecond=185 ) properties seen :[1, 0, 1, 0, 0, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1]
[2020-06-05 04:48:21] [INFO ] Flow matrix only has 126 transitions (discarded 16 similar events)
// Phase 1: matrix 126 rows 88 cols
[2020-06-05 04:48:21] [INFO ] Computed 16 place invariants in 13 ms
[2020-06-05 04:48:22] [INFO ] [Real]Absence check using 16 positive place invariants in 30 ms returned unsat
[2020-06-05 04:48:22] [INFO ] [Real]Absence check using 16 positive place invariants in 15 ms returned sat
[2020-06-05 04:48:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 04:48:22] [INFO ] [Real]Absence check using state equation in 110 ms returned sat
[2020-06-05 04:48:22] [INFO ] State equation strengthened by 64 read => feed constraints.
[2020-06-05 04:48:22] [INFO ] [Real]Added 64 Read/Feed constraints in 15 ms returned sat
[2020-06-05 04:48:22] [INFO ] Computed and/alt/rep : 141/943/125 causal constraints in 24 ms.
[2020-06-05 04:48:22] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 04:48:22] [INFO ] [Nat]Absence check using 16 positive place invariants in 17 ms returned sat
[2020-06-05 04:48:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 04:48:22] [INFO ] [Nat]Absence check using state equation in 72 ms returned sat
[2020-06-05 04:48:22] [INFO ] [Nat]Added 64 Read/Feed constraints in 14 ms returned sat
[2020-06-05 04:48:22] [INFO ] Computed and/alt/rep : 141/943/125 causal constraints in 16 ms.
[2020-06-05 04:48:23] [INFO ] Added : 124 causal constraints over 25 iterations in 611 ms. Result :sat
[2020-06-05 04:48:23] [INFO ] [Real]Absence check using 16 positive place invariants in 7 ms returned unsat
[2020-06-05 04:48:23] [INFO ] [Real]Absence check using 16 positive place invariants in 9 ms returned sat
[2020-06-05 04:48:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 04:48:23] [INFO ] [Real]Absence check using state equation in 63 ms returned sat
[2020-06-05 04:48:23] [INFO ] [Real]Added 64 Read/Feed constraints in 11 ms returned sat
[2020-06-05 04:48:23] [INFO ] Computed and/alt/rep : 141/943/125 causal constraints in 16 ms.
[2020-06-05 04:48:23] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 04:48:23] [INFO ] [Nat]Absence check using 16 positive place invariants in 12 ms returned sat
[2020-06-05 04:48:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 04:48:23] [INFO ] [Nat]Absence check using state equation in 63 ms returned sat
[2020-06-05 04:48:23] [INFO ] [Nat]Added 64 Read/Feed constraints in 9 ms returned sat
[2020-06-05 04:48:23] [INFO ] Computed and/alt/rep : 141/943/125 causal constraints in 13 ms.
[2020-06-05 04:48:23] [INFO ] Added : 101 causal constraints over 21 iterations in 361 ms. Result :sat
[2020-06-05 04:48:23] [INFO ] [Real]Absence check using 16 positive place invariants in 10 ms returned sat
[2020-06-05 04:48:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 04:48:24] [INFO ] [Real]Absence check using state equation in 75 ms returned sat
[2020-06-05 04:48:24] [INFO ] [Real]Added 64 Read/Feed constraints in 12 ms returned sat
[2020-06-05 04:48:24] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 04:48:24] [INFO ] [Nat]Absence check using 16 positive place invariants in 24 ms returned sat
[2020-06-05 04:48:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 04:48:24] [INFO ] [Nat]Absence check using state equation in 93 ms returned sat
[2020-06-05 04:48:24] [INFO ] [Nat]Added 64 Read/Feed constraints in 14 ms returned sat
[2020-06-05 04:48:24] [INFO ] Computed and/alt/rep : 141/943/125 causal constraints in 17 ms.
[2020-06-05 04:48:24] [INFO ] Added : 123 causal constraints over 25 iterations in 529 ms. Result :sat
[2020-06-05 04:48:24] [INFO ] [Real]Absence check using 16 positive place invariants in 8 ms returned sat
[2020-06-05 04:48:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 04:48:24] [INFO ] [Real]Absence check using state equation in 92 ms returned sat
[2020-06-05 04:48:24] [INFO ] [Real]Added 64 Read/Feed constraints in 11 ms returned sat
[2020-06-05 04:48:24] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 04:48:24] [INFO ] [Nat]Absence check using 16 positive place invariants in 18 ms returned sat
[2020-06-05 04:48:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 04:48:25] [INFO ] [Nat]Absence check using state equation in 73 ms returned sat
[2020-06-05 04:48:25] [INFO ] [Nat]Added 64 Read/Feed constraints in 9 ms returned sat
[2020-06-05 04:48:25] [INFO ] Computed and/alt/rep : 141/943/125 causal constraints in 19 ms.
[2020-06-05 04:48:25] [INFO ] Added : 118 causal constraints over 24 iterations in 687 ms. Result :sat
[2020-06-05 04:48:25] [INFO ] [Real]Absence check using 16 positive place invariants in 8 ms returned sat
[2020-06-05 04:48:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 04:48:25] [INFO ] [Real]Absence check using state equation in 68 ms returned sat
[2020-06-05 04:48:25] [INFO ] [Real]Added 64 Read/Feed constraints in 10 ms returned sat
[2020-06-05 04:48:25] [INFO ] Computed and/alt/rep : 141/943/125 causal constraints in 19 ms.
[2020-06-05 04:48:25] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 04:48:25] [INFO ] [Nat]Absence check using 16 positive place invariants in 12 ms returned sat
[2020-06-05 04:48:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 04:48:26] [INFO ] [Nat]Absence check using state equation in 68 ms returned sat
[2020-06-05 04:48:26] [INFO ] [Nat]Added 64 Read/Feed constraints in 13 ms returned sat
[2020-06-05 04:48:26] [INFO ] Computed and/alt/rep : 141/943/125 causal constraints in 19 ms.
[2020-06-05 04:48:26] [INFO ] Added : 116 causal constraints over 24 iterations in 451 ms. Result :sat
[2020-06-05 04:48:26] [INFO ] [Real]Absence check using 16 positive place invariants in 13 ms returned sat
[2020-06-05 04:48:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 04:48:26] [INFO ] [Real]Absence check using state equation in 84 ms returned sat
[2020-06-05 04:48:26] [INFO ] [Real]Added 64 Read/Feed constraints in 13 ms returned sat
[2020-06-05 04:48:26] [INFO ] Computed and/alt/rep : 141/943/125 causal constraints in 16 ms.
[2020-06-05 04:48:26] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 04:48:26] [INFO ] [Nat]Absence check using 16 positive place invariants in 12 ms returned sat
[2020-06-05 04:48:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 04:48:26] [INFO ] [Nat]Absence check using state equation in 57 ms returned sat
[2020-06-05 04:48:26] [INFO ] [Nat]Added 64 Read/Feed constraints in 9 ms returned sat
[2020-06-05 04:48:26] [INFO ] Computed and/alt/rep : 141/943/125 causal constraints in 17 ms.
[2020-06-05 04:48:27] [INFO ] Added : 111 causal constraints over 23 iterations in 427 ms. Result :sat
[2020-06-05 04:48:27] [INFO ] [Real]Absence check using 16 positive place invariants in 9 ms returned unsat
[2020-06-05 04:48:27] [INFO ] [Real]Absence check using 16 positive place invariants in 16 ms returned sat
[2020-06-05 04:48:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 04:48:27] [INFO ] [Real]Absence check using state equation in 57 ms returned sat
[2020-06-05 04:48:27] [INFO ] [Real]Added 64 Read/Feed constraints in 10 ms returned sat
[2020-06-05 04:48:27] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 04:48:27] [INFO ] [Nat]Absence check using 16 positive place invariants in 11 ms returned sat
[2020-06-05 04:48:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 04:48:27] [INFO ] [Nat]Absence check using state equation in 58 ms returned sat
[2020-06-05 04:48:27] [INFO ] [Nat]Added 64 Read/Feed constraints in 9 ms returned sat
[2020-06-05 04:48:27] [INFO ] Computed and/alt/rep : 141/943/125 causal constraints in 14 ms.
[2020-06-05 04:48:28] [INFO ] Added : 113 causal constraints over 23 iterations in 478 ms. Result :sat
[2020-06-05 04:48:28] [INFO ] [Real]Absence check using 16 positive place invariants in 14 ms returned sat
[2020-06-05 04:48:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 04:48:28] [INFO ] [Real]Absence check using state equation in 90 ms returned sat
[2020-06-05 04:48:28] [INFO ] [Real]Added 64 Read/Feed constraints in 17 ms returned sat
[2020-06-05 04:48:28] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 04:48:28] [INFO ] [Nat]Absence check using 16 positive place invariants in 20 ms returned sat
[2020-06-05 04:48:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 04:48:28] [INFO ] [Nat]Absence check using state equation in 101 ms returned sat
[2020-06-05 04:48:28] [INFO ] [Nat]Added 64 Read/Feed constraints in 15 ms returned sat
[2020-06-05 04:48:28] [INFO ] Computed and/alt/rep : 141/943/125 causal constraints in 21 ms.
[2020-06-05 04:48:29] [INFO ] Added : 117 causal constraints over 26 iterations in 867 ms. Result :sat
[2020-06-05 04:48:29] [INFO ] [Real]Absence check using 16 positive place invariants in 9 ms returned sat
[2020-06-05 04:48:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 04:48:29] [INFO ] [Real]Absence check using state equation in 101 ms returned sat
[2020-06-05 04:48:29] [INFO ] [Real]Added 64 Read/Feed constraints in 24 ms returned sat
[2020-06-05 04:48:29] [INFO ] Computed and/alt/rep : 141/943/125 causal constraints in 14 ms.
[2020-06-05 04:48:29] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 04:48:29] [INFO ] [Nat]Absence check using 16 positive place invariants in 12 ms returned sat
[2020-06-05 04:48:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 04:48:29] [INFO ] [Nat]Absence check using state equation in 101 ms returned sat
[2020-06-05 04:48:29] [INFO ] [Nat]Added 64 Read/Feed constraints in 14 ms returned sat
[2020-06-05 04:48:29] [INFO ] Computed and/alt/rep : 141/943/125 causal constraints in 16 ms.
[2020-06-05 04:48:30] [INFO ] Added : 117 causal constraints over 24 iterations in 700 ms. Result :sat
Successfully simplified 3 atomic propositions for a total of 3 simplifications.
[2020-06-05 04:48:30] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2020-06-05 04:48:30] [INFO ] Flatten gal took : 63 ms
[2020-06-05 04:48:30] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2020-06-05 04:48:30] [INFO ] Flatten gal took : 32 ms
FORMULA Raft-PT-04-CTLFireability-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-04-CTLFireability-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-04-CTLFireability-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-05 04:48:30] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 5 ms.
[2020-06-05 04:48:30] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 7 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ Raft-PT-04 @ 3570 seconds
FORMULA Raft-PT-04-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-04-CTLFireability-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-04-CTLFireability-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-04-CTLFireability-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-04-CTLFireability-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -5
rslt: Output for CTLFireability @ Raft-PT-04
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=CTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--quickchecks",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ctl",
"--json=CTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri Jun 5 04:48:31 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 2,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(((p63 <= 0)) OR ((p87 <= 0)))",
"processed_size": 30,
"rewrites": 29
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 6,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 319
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "E (G (((p27 <= 0) OR (p80 <= 0) OR (p86 <= 0))))",
"processed_size": 50,
"rewrites": 29
},
"result":
{
"edges": 8,
"markings": 8,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 43
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 3,
"problems": 3
},
"type": "possible_preservation",
"workflow": "stateequation"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 383
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((1 <= p3) AND (1 <= p70))",
"processed_size": 26,
"rewrites": 31
},
"result":
{
"edges": 6,
"markings": 6,
"produced_by": "state space /EFEG",
"value": true
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 27
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "reachability_of_possible_preservation",
"workflow": "stateequation"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 6,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 319
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "E (F (((1 <= p79) AND (1 <= p73) AND (1 <= p87))))",
"processed_size": 50,
"rewrites": 29
},
"result":
{
"edges": 5,
"markings": 6,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 3,
"problems": 3
},
"type": "reachability",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 399
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "((1 <= p78))",
"processed_size": 12,
"rewrites": 32
},
"result":
{
"edges": 8,
"markings": 8,
"produced_by": "state space /EFEG",
"value": false
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 2
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "eventual_occurrence_from_all_states",
"workflow": "stateequation"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 533
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "((1 <= p64))",
"processed_size": 12,
"rewrites": 31
},
"result":
{
"edges": 7,
"markings": 7,
"produced_by": "state space /EFEG",
"value": true
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 1
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "reachability_of_possible_preservation",
"workflow": "stateequation"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 799
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 799
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((p10 <= 0) OR (p65 <= 0))",
"processed_size": 27,
"rewrites": 28
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 12,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "E (F (((1 <= p66) AND (1 <= p75) AND (1 <= p16) AND (1 <= p65))))",
"processed_size": 65,
"rewrites": 29
},
"result":
{
"edges": 5,
"markings": 6,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 4,
"problems": 4
},
"type": "reachability",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 12,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 16016380,
"runtime": 3575.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"formula": "CTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "E(F(E(G(**)))) : A(G(A(F(*)))) : E(F(**)) : (E(X(**)) OR (E(F(A(X(**)))) AND (** OR (E(F(*)) OR **)))) : A(F((E(X(**)) AND (E(F(**)) AND **)))) : A(G((E(X(*)) OR A(G(*))))) : (** OR (E(F(**)) AND **)) : A(G(E(X(**)))) : (A(F(A(X(**)))) OR E((** U A(X(**))))) : E((A(F(**)) U A(X(**)))) : (E(G(**)) AND (E(F(E(G(**)))) AND (E(X(**)) OR (** OR **)))) : A(G((* OR E(G(*))))) : (E((E(X(**)) U **)) OR **)"
},
"net":
{
"arcs": 527,
"conflict_clusters": 13,
"places": 88,
"places_significant": 72,
"singleton_clusters": 0,
"transitions": 142
},
"result":
{
"interim_value": "yes no yes unknown unknown unknown yes unknown unknown unknown yes unknown unknown ",
"preliminary_value": "yes no yes unknown unknown unknown yes unknown unknown unknown yes unknown unknown "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 230/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 88
lola: finding significant places
lola: 88 places, 142 transitions, 72 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 CTLFireability.xml
lola: LP says that atomic proposition is always true: (p64 <= 1)
lola: LP says that atomic proposition is always true: (p78 <= 1)
lola: LP says that atomic proposition is always true: (p79 <= 1)
lola: LP says that atomic proposition is always true: (p73 <= 1)
lola: LP says that atomic proposition is always true: (p87 <= 1)
lola: LP says that atomic proposition is always true: (p73 <= 1)
lola: LP says that atomic proposition is always true: (p69 <= 1)
lola: LP says that atomic proposition is always true: (p65 <= 1)
lola: LP says that atomic proposition is always true: (p64 <= 1)
lola: LP says that atomic proposition is always true: (p70 <= 1)
lola: LP says that atomic proposition is always true: (p83 <= 1)
lola: LP says that atomic proposition is always true: (p30 <= 1)
lola: LP says that atomic proposition is always true: (p70 <= 1)
lola: LP says that atomic proposition is always true: (p85 <= 1)
lola: LP says that atomic proposition is always true: (p49 <= 1)
lola: LP says that atomic proposition is always true: (p65 <= 1)
lola: LP says that atomic proposition is always true: (p40 <= 1)
lola: LP says that atomic proposition is always true: (p75 <= 1)
lola: LP says that atomic proposition is always true: (p45 <= 1)
lola: LP says that atomic proposition is always true: (p75 <= 1)
lola: LP says that atomic proposition is always true: (p50 <= 1)
lola: LP says that atomic proposition is always true: (p80 <= 1)
lola: LP says that atomic proposition is always true: (p85 <= 1)
lola: LP says that atomic proposition is always true: (p31 <= 1)
lola: LP says that atomic proposition is always true: (p65 <= 1)
lola: LP says that atomic proposition is always true: (p40 <= 1)
lola: LP says that atomic proposition is always true: (p75 <= 1)
lola: LP says that atomic proposition is always true: (p66 <= 1)
lola: LP says that atomic proposition is always true: (p75 <= 1)
lola: LP says that atomic proposition is always true: (p16 <= 1)
lola: LP says that atomic proposition is always true: (p65 <= 1)
lola: LP says that atomic proposition is always true: (p10 <= 1)
lola: LP says that atomic proposition is always true: (p65 <= 1)
lola: LP says that atomic proposition is always true: (p75 <= 1)
lola: LP says that atomic proposition is always true: (p81 <= 1)
lola: LP says that atomic proposition is always true: (p36 <= 1)
lola: LP says that atomic proposition is always true: (p70 <= 1)
lola: LP says that atomic proposition is always true: (p46 <= 1)
lola: LP says that atomic proposition is always true: (p65 <= 1)
lola: LP says that atomic proposition is always true: (p42 <= 1)
lola: LP says that atomic proposition is always true: (p80 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p75 <= 1)
lola: LP says that atomic proposition is always true: (p63 <= 1)
lola: LP says that atomic proposition is always true: (p87 <= 1)
lola: LP says that atomic proposition is always true: (p77 <= 1)
lola: LP says that atomic proposition is always true: (p55 <= 1)
lola: LP says that atomic proposition is always true: (p80 <= 1)
lola: LP says that atomic proposition is always true: (p75 <= 1)
lola: LP says that atomic proposition is always true: (p27 <= 1)
lola: LP says that atomic proposition is always true: (p80 <= 1)
lola: LP says that atomic proposition is always true: (p86 <= 1)
lola: LP says that atomic proposition is always true: (p3 <= 1)
lola: LP says that atomic proposition is always true: (p70 <= 1)
lola: LP says that atomic proposition is always true: (p43 <= 1)
lola: LP says that atomic proposition is always true: (p80 <= 1)
lola: LP says that atomic proposition is always true: (p63 <= 1)
lola: LP says that atomic proposition is always true: (p87 <= 1)
lola: LP says that atomic proposition is always true: (p60 <= 1)
lola: LP says that atomic proposition is always true: (p80 <= 1)
lola: LP says that atomic proposition is always true: (p75 <= 1)
lola: LP says that atomic proposition is always true: (p83 <= 1)
lola: LP says that atomic proposition is always true: (p20 <= 1)
lola: LP says that atomic proposition is always true: (p70 <= 1)
lola: LP says that atomic proposition is always true: (p45 <= 1)
lola: LP says that atomic proposition is always true: (p75 <= 1)
lola: LP says that atomic proposition is always true: (p75 <= 1)
lola: LP says that atomic proposition is always true: (p81 <= 1)
lola: LP says that atomic proposition is always true: (p65 <= 1)
lola: LP says that atomic proposition is always true: (p83 <= 1)
lola: LP says that atomic proposition is always true: (p73 <= 1)
lola: LP says that atomic proposition is always true: (p80 <= 1)
lola: LP says that atomic proposition is always true: (p83 <= 1)
lola: LP says that atomic proposition is always true: (p25 <= 1)
lola: LP says that atomic proposition is always true: (p70 <= 1)
lola: A (F (E (F (E (G (((1 <= p64)))))))) : A (G (NOT(E (G (((1 <= p78))))))) : E (F (E (F (((1 <= p79) AND (1 <= p73) AND (1 <= p87)))))) : (E (X (((1 <= p73)))) OR (E (F (A (X (((1 <= p69)))))) AND ((((1 <= p65)) OR NOT(A (G (((1 <= p64)))))) OR ((1 <= p70) AND (1 <= p83))))) : A (F (((E (X (((1 <= p30) AND (1 <= p70)))) AND E (F (((1 <= p85) AND (1 <= p49) AND (1 <= p65))))) AND (((1 <= p40) AND (1 <= p75)) OR ((1 <= p45) AND (1 <= p75)) OR ((1 <= p50) AND (1 <= p80)))))) : NOT(E (F ((A (X (((1 <= p85)))) AND E (F (((1 <= p31) AND (1 <= p65)))))))) : (((1 <= p40) AND (1 <= p75)) OR (E (F (((1 <= p66) AND (1 <= p75) AND (1 <= p16) AND (1 <= p65)))) AND ((p10 <= 0) OR (p65 <= 0)))) : A (G (E (X (((p75 <= 0) OR (p81 <= 0) OR (p36 <= 0) OR (p70 <= 0)))))) : (A (F (A (X ((((1 <= p46) AND (1 <= p65)) OR ((1 <= p42) AND (1 <= p80))))))) OR E ((((p9 <= 0) OR (p75 <= 0) OR (p63 <= 0) OR (p87 <= 0)) U A (X (((1 <= p77))))))) : E ((A (F (((1 <= p55) AND (1 <= p80)))) U A (X (((p75 <= 0)))))) : ((E (G (((p27 <= 0) OR (p80 <= 0) OR (p86 <= 0)))) AND E (F (E (G (((1 <= p3) AND (1 <= p70))))))) AND ((E (X (((1 <= p43) AND (1 <= p80)))) OR ((p63 <= 0))) OR ((p87 <= 0)))) : NOT(E (F ((((1 <= p60) AND (1 <= p80) AND (1 <= p75) AND (1 <= p83) AND (1 <= p20) AND (1 <= p70)) AND A (F (((1 <= p45) AND (1 <= p75)))))))) : (E ((E (X (((1 <= p75) AND (1 <= p81)))) U ((1 <= p65) AND (1 <= p83) AND (((1 <= p73)) OR ((1 <= p80) AND (1 <= p83)))))) OR ((1 <= p25) AND (1 <= p70)))
lola: rewrite Frontend/Parser/formula_rewrite.k:449
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:401
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (((1 <= p73)))) OR (E (F (A (X (((1 <= p69)))))) AND (((1 <= p65)) OR (E (F (((p64 <= 0)))) OR ((1 <= p70) AND (1 <= p83))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p70) AND (1 <= p83))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p70) AND (1 <= p83))
lola: processed formula length: 27
lola: 28 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 2 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 1 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p65))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p65))
lola: processed formula length: 12
lola: 28 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 1 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 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p64 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((p64 <= 0))))
lola: processed formula length: 20
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p64 <= 0))
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (((1 <= p73))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(((1 <= p73)))
lola: processed formula length: 16
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (X (((1 <= p69))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(AX(((1 <= p69))))
lola: processed formula length: 20
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1216602 markings, 2693099 edges, 243320 markings/sec, 0 secs
lola: 2257833 markings, 5099025 edges, 208246 markings/sec, 5 secs
lola: 3300078 markings, 7542494 edges, 208449 markings/sec, 10 secs
lola: 4316781 markings, 9941573 edges, 203341 markings/sec, 15 secs
lola: 5302098 markings, 12296454 edges, 197063 markings/sec, 20 secs
lola: 6279740 markings, 14643567 edges, 195528 markings/sec, 25 secs
lola: 7230907 markings, 16943421 edges, 190233 markings/sec, 30 secs
lola: 8166174 markings, 19212314 edges, 187053 markings/sec, 35 secs
lola: 9094337 markings, 21470341 edges, 185633 markings/sec, 40 secs
lola: 10007846 markings, 23705645 edges, 182702 markings/sec, 45 secs
lola: 10905608 markings, 25916282 edges, 179552 markings/sec, 50 secs
lola: 11794857 markings, 28109814 edges, 177850 markings/sec, 55 secs
lola: 12690081 markings, 30321988 edges, 179045 markings/sec, 60 secs
lola: 13617050 markings, 32621469 edges, 185394 markings/sec, 65 secs
lola: 14530691 markings, 34896010 edges, 182728 markings/sec, 70 secs
lola: 15442964 markings, 37166934 edges, 182455 markings/sec, 75 secs
lola: 16282952 markings, 39257230 edges, 167998 markings/sec, 80 secs
lola: 17174994 markings, 41498253 edges, 178408 markings/sec, 85 secs
lola: 18047391 markings, 43686206 edges, 174479 markings/sec, 90 secs
lola: 18936496 markings, 45925791 edges, 177821 markings/sec, 95 secs
lola: 19819081 markings, 48147337 edges, 176517 markings/sec, 100 secs
lola: 20707128 markings, 50385650 edges, 177609 markings/sec, 105 secs
lola: 21578106 markings, 52582834 edges, 174196 markings/sec, 110 secs
lola: 22446928 markings, 54776387 edges, 173764 markings/sec, 115 secs
lola: 23245173 markings, 56793678 edges, 159649 markings/sec, 120 secs
lola: 24058683 markings, 58853166 edges, 162702 markings/sec, 125 secs
lola: 24868310 markings, 60915510 edges, 161925 markings/sec, 130 secs
lola: 25675429 markings, 62965901 edges, 161424 markings/sec, 135 secs
lola: 26482701 markings, 65020036 edges, 161454 markings/sec, 140 secs
lola: 27288142 markings, 67071472 edges, 161088 markings/sec, 145 secs
lola: 28090215 markings, 69115781 edges, 160415 markings/sec, 150 secs
lola: 28885507 markings, 71153595 edges, 159058 markings/sec, 155 secs
lola: 29677279 markings, 73188481 edges, 158354 markings/sec, 160 secs
lola: 30471520 markings, 75223020 edges, 158848 markings/sec, 165 secs
lola: 31260420 markings, 77253590 edges, 157780 markings/sec, 170 secs
lola: 32050409 markings, 79286640 edges, 157998 markings/sec, 175 secs
lola: 32837874 markings, 81310715 edges, 157493 markings/sec, 180 secs
lola: 33634413 markings, 83349722 edges, 159308 markings/sec, 185 secs
lola: 34416010 markings, 85367794 edges, 156319 markings/sec, 190 secs
lola: 35195652 markings, 87380336 edges, 155928 markings/sec, 195 secs
lola: 35974749 markings, 89394679 edges, 155819 markings/sec, 200 secs
lola: 36756206 markings, 91409164 edges, 156291 markings/sec, 205 secs
lola: 37527868 markings, 93413296 edges, 154332 markings/sec, 210 secs
lola: 38301631 markings, 95420565 edges, 154753 markings/sec, 215 secs
lola: 39072170 markings, 97422493 edges, 154108 markings/sec, 220 secs
lola: 39844622 markings, 99427534 edges, 154490 markings/sec, 225 secs
lola: 40616010 markings, 101430356 edges, 154278 markings/sec, 230 secs
lola: 41381108 markings, 103422489 edges, 153020 markings/sec, 235 secs
lola: 42152952 markings, 105428460 edges, 154369 markings/sec, 240 secs
lola: 42923120 markings, 107433144 edges, 154034 markings/sec, 245 secs
lola: 43682156 markings, 109416039 edges, 151807 markings/sec, 250 secs
lola: 44444225 markings, 111406032 edges, 152414 markings/sec, 255 secs
lola: 45202143 markings, 113391547 edges, 151584 markings/sec, 260 secs
lola: 45964041 markings, 115377638 edges, 152380 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown lola:
caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 9691056 KB
lola: time consumption: 277 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 9691056 KB
lola: time consumption: 277 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((E (X (((1 <= p30) AND (1 <= p70)))) AND (E (F (((1 <= p85) AND (1 <= p49) AND (1 <= p65)))) AND (((1 <= p40) AND (1 <= p75)) OR ((1 <= p45) AND (1 <= p75)) OR ((1 <= p50) AND (1 <= p80)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: AF((EX(((1 <= p30) AND (1 <= p70))) AND (EF(((1 <= p85) AND (1 <= p49) AND (1 <= p65))) AND (((1 <= p40) AND (1 <= p75)) OR ((1 <= p45) AND (1 <= p75)) OR ((1 <= p50) AND (1 <= p80))))))
lola: processed formula length: 188
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1422755 markings, 3165993 edges, 284551 markings/sec, 0 secs
lola: 2714982 markings, 6168183 edges, 258445 markings/sec, 5 secs
lola: 3884296 markings, 8918847 edges, 233863 markings/sec, 10 secs
lola: 5104082 markings, 11822847 edges, 243957 markings/sec, 15 secs
lola: 6169251 markings, 14378274 edges, 213034 markings/sec, 20 secs
lola: 7279373 markings, 17061077 edges, 222024 markings/sec, 25 secs
lola: 8414879 markings, 19814091 edges, 227101 markings/sec, 30 secs
lola: 9552735 markings, 22590148 edges, 227571 markings/sec, 35 secs
lola: 10664396 markings, 25323382 edges, 222332 markings/sec, 40 secs
lola: 11765753 markings, 28038328 edges, 220271 markings/sec, 45 secs
lola: 12750838 markings, 30473957 edges, 197017 markings/sec, 50 secs
lola: 13738693 markings, 32923779 edges, 197571 markings/sec, 55 secs
lola: 14770463 markings, 35489903 edges, 206354 markings/sec, 60 secs
lola: 15816624 markings, 38091519 edges, 209232 markings/sec, 65 secs
lola: 16761808 markings, 40455065 edges, 189037 markings/sec, 70 secs
lola: 17740599 markings, 42917533 edges, 195758 markings/sec, 75 secs
lola: 18722182 markings, 45385705 edges, 196317 markings/sec, 80 secs
lola: 19695535 markings, 47837186 edges, 194671 markings/sec, 85 secs
lola: 20667750 markings, 50286603 edges, 194443 markings/sec, 90 secs
lola: 21639116 markings, 52736862 edges, 194273 markings/sec, 95 secs
lola: 22613493 markings, 55197091 edges, 194875 markings/sec, 100 secs
lola: 23595230 markings, 57678158 edges, 196347 markings/sec, 105 secs
lola: 24490764 markings, 59955264 edges, 179107 markings/sec, 110 secs
lola: 25439683 markings, 62368467 edges, 189784 markings/sec, 115 secs
lola: 26387090 markings, 64775486 edges, 189481 markings/sec, 120 secs
lola: 27329691 markings, 67177974 edges, 188520 markings/sec, 125 secs
lola: 28266300 markings, 69566773 edges, 187322 markings/sec, 130 secs
lola: 29195297 markings, 71949954 edges, 185799 markings/sec, 135 secs
lola: 30070385 markings, 74194954 edges, 175018 markings/sec, 140 secs
lola: 31001282 markings, 76586671 edges, 186179 markings/sec, 145 secs
lola: 31929369 markings, 78971863 edges, 185617 markings/sec, 150 secs
lola: 32837272 markings, 81309163 edges, 181581 markings/sec, 155 secs
lola: 33767729 markings, 83692948 edges, 186091 markings/sec, 160 secs
lola: 34681197 markings, 86051272 edges, 182694 markings/sec, 165 secs
lola: 35580835 markings, 88373821 edges, 179928 markings/sec, 170 secs
lola: 36483826 markings, 90705982 edges, 180598 markings/sec, 175 secs
lola: 37372257 markings, 93006644 edges, 177686 markings/sec, 180 secs
lola: 38254496 markings, 95300034 edges, 176448 markings/sec, 185 secs
lola: 39145941 markings, 97613255 edges, 178289 markings/sec, 190 secs
lola: 40026661 markings, 99899621 edges, 176144 markings/sec, 195 secs
lola: 40902896 markings, 102176820 edges, 175247 markings/sec, 200 secs
lola: 41782623 markings, 104463874 edges, 175945 markings/sec, 205 secs
lola: 42663935 markings, 106756726 edges, 176262 markings/sec, 210 secs
lola: 43537702 markings, 109037246 edges, 174753 markings/sec, 215 secs
lola: 44402559 markings, 111297843 edges, 172971 markings/sec, 220 secs
lola: 45265455 markings, 113557048 edges, 172579 markings/sec, 225 secs
lola: 46137750 markings, 115833207 edges, 174459 markings/sec, 230 secs
lola: 47000253 markings, 118098137 edges, 172501 markings/sec, 235 secs
lola: 47875788 markings, 120387063 edges, 175107 markings/sec, 240 secs
lola: 48739869 markings, 122657211 edges, 172816 markings/sec, 245 secs
lola: 49603183 markings, 124918104 edges, 172663 markings/sec, 250 secs
lola: 50460069 markings, 127170891 edges, 171377 markings/sec, 255 secs
lola: 51312169 markings, 129418137 edges, 170420 markings/sec, 260 secs
lola: 52166642 markings, 131664728 edges, 170895 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 8267684 KB
lola: time consumption: 552 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((E (X (((p85 <= 0)))) OR A (G (((p31 <= 0) OR (p65 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG((EX(((p85 <= 0))) OR AG(((p31 <= 0) OR (p65 <= 0)))))
lola: processed formula length: 57
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1226489 markings, 2715994 edges, 245298 markings/sec, 0 secs
lola: 2362030 markings, 5342255 edges, 227108 markings/sec, 5 secs
lola: 3442775 markings, 7875322 edges, 216149 markings/sec, 10 secs
lola: 4490346 markings, 10354316 edges, 209514 markings/sec, 15 secs
lola: 5436808 markings, 12618114 edges, 189292 markings/sec, 20 secs
lola: 6439908 markings, 15030301 edges, 200620 markings/sec, 25 secs
lola: 7443800 markings, 17454100 edges, 200778 markings/sec, 30 secs
lola: 8453604 markings, 19908393 edges, 201961 markings/sec, 35 secs
lola: 9393293 markings, 22200886 edges, 187938 markings/sec, 40 secs
lola: 10344385 markings, 24534370 edges, 190218 markings/sec, 45 secs
lola: 11253594 markings, 26772340 edges, 181842 markings/sec, 50 secs
lola: 12186139 markings, 29075077 edges, 186509 markings/sec, 55 secs
lola: 13112955 markings, 31374637 edges, 185363 markings/sec, 60 secs
lola: 14046538 markings, 33690003 edges, 186717 markings/sec, 65 secs
lola: 14971613 markings, 35991227 edges, 185015 markings/sec, 70 secs
lola: 15889839 markings, 38275291 edges, 183645 markings/sec, 75 secs
lola: 16795854 markings, 40542676 edges, 181203 markings/sec, 80 secs
lola: 17684916 markings, 42778117 edges, 177812 markings/sec, 85 secs
lola: 18576022 markings, 45018649 edges, 178221 markings/sec, 90 secs
lola: 19460302 markings, 47244659 edges, 176856 markings/sec, 95 secs
lola: 20348684 markings, 49478316 edges, 177676 markings/sec, 100 secs
lola: 21234415 markings, 51716093 edges, 177146 markings/sec, 105 secs
lola: 22110520 markings, 53930106 edges, 175221 markings/sec, 110 secs
lola: 22995491 markings, 56158995 edges, 176994 markings/sec, 115 secs
lola: 23868627 markings, 58370972 edges, 174627 markings/sec, 120 secs
lola: 24730466 markings, 60565191 edges, 172368 markings/sec, 125 secs
lola: 25589650 markings, 62746975 edges, 171837 markings/sec, 130 secs
lola: 26443706 markings, 64920870 edges, 170811 markings/sec, 135 secs
lola: 27292637 markings, 67083382 edges, 169786 markings/sec, 140 secs
lola: 28139944 markings, 69243357 edges, 169461 markings/sec, 145 secs
lola: 28984825 markings, 71408096 edges, 168976 markings/sec, 150 secs
lola: 29826525 markings, 73570306 edges, 168340 markings/sec, 155 secs
lola: 30669668 markings, 75729176 edges, 168629 markings/sec, 160 secs
lola: 31417357 markings, 77656975 edges, 149538 markings/sec, 165 secs
lola: 32248808 markings, 79797031 edges, 166290 markings/sec, 170 secs
lola: 32982383 markings, 81678784 edges, 146715 markings/sec, 175 secs
lola: 33816512 markings, 83818265 edges, 166826 markings/sec, 180 secs
lola: 34638179 markings, 85940529 edges, 164333 markings/sec, 185 secs
lola: 35460000 markings, 88061295 edges, 164364 markings/sec, 190 secs
lola: 36276573 markings, 90170347 edges, 163315 markings/sec, 195 secs
lola: 37095203 markings, 92287169 edges, 163726 markings/sec, 200 secs
lola: 37906538 markings, 94397016 edges, 162267 markings/sec, 205 secs
lola: 38722261 markings, 96513322 edges, 163145 markings/sec, 210 secs
lola: 39536116 markings, 98625711 edges, 162771 markings/sec, 215 secs
lola: 40349350 markings, 100738211 edges, 162647 markings/sec, 220 secs
lola: 41156557 markings, 102837790 edges, 161441 markings/sec, 225 secs
lola: 41969579 markings, 104948978 edges, 162604 markings/sec, 230 secs
lola: 42780353 markings, 107060056 edges, 162155 markings/sec, 235 secs
lola: 43581374 markings, 109151389 edges, 160204 markings/sec, 240 secs
lola: 44382855 markings, 111245235 edges, 160296 markings/sec, 245 secs
lola: 45180081 markings, 113334510 edges, 159445 markings/sec, 250 secs
lola: 45981981 markings, 115425677 edges, 160380 markings/sec, 255 secs
lola: 46774031 markings, 117503286 edges, 158410 markings/sec, 260 secs
lola: 47563113 markings, 119569234 edges, 157816 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 10029632 KB
lola: time consumption: 827 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (X (((p75 <= 0) OR (p81 <= 0) OR (p36 <= 0) OR (p70 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG(EX(((p75 <= 0) OR (p81 <= 0) OR (p36 <= 0) OR (p70 <= 0))))
lola: processed formula length: 65
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1285798 markings, 2851355 edges, 257160 markings/sec, 0 secs
lola: 2429775 markings, 5498745 edges, 228795 markings/sec, 5 secs
lola: 3518889 markings, 8052549 edges, 217823 markings/sec, 10 secs
lola: 4574601 markings, 10555182 edges, 211142 markings/sec, 15 secs
lola: 5601656 markings, 13017416 edges, 205411 markings/sec, 20 secs
lola: 6583555 markings, 15377567 edges, 196380 markings/sec, 25 secs
lola: 7599937 markings, 17834620 edges, 203276 markings/sec, 30 secs
lola: 8558678 markings, 20163737 edges, 191748 markings/sec, 35 secs
lola: 9533422 markings, 22543344 edges, 194949 markings/sec, 40 secs
lola: 10490441 markings, 24893182 edges, 191404 markings/sec, 45 secs
lola: 11436451 markings, 27223676 edges, 189202 markings/sec, 50 secs
lola: 12367350 markings, 29523758 edges, 186180 markings/sec, 55 secs
lola: 13291967 markings, 31816971 edges, 184923 markings/sec, 60 secs
lola: 14207984 markings, 34089132 edges, 183203 markings/sec, 65 secs
lola: 15111964 markings, 36339005 edges, 180796 markings/sec, 70 secs
lola: 16008121 markings, 38571164 edges, 179231 markings/sec, 75 secs
lola: 16861916 markings, 40710625 edges, 170759 markings/sec, 80 secs
lola: 17739532 markings, 42915027 edges, 175523 markings/sec, 85 secs
lola: 18623175 markings, 45136595 edges, 176729 markings/sec, 90 secs
lola: 19492936 markings, 47326029 edges, 173952 markings/sec, 95 secs
lola: 20338932 markings, 49453836 edges, 169199 markings/sec, 100 secs
lola: 21211320 markings, 51658872 edges, 174478 markings/sec, 105 secs
lola: 21996370 markings, 53641418 edges, 157010 markings/sec, 110 secs
lola: 22825468 markings, 55729347 edges, 165820 markings/sec, 115 secs
lola: 23640746 markings, 57793481 edges, 163056 markings/sec, 120 secs
lola: 24488504 markings, 59949620 edges, 169552 markings/sec, 125 secs
lola: 25311135 markings, 62039366 edges, 164526 markings/sec, 130 secs
lola: 26128688 markings, 64118213 edges, 163511 markings/sec, 135 secs
lola: 26920984 markings, 66137922 edges, 158459 markings/sec, 140 secs
lola: 27683747 markings, 68082341 edges, 152553 markings/sec, 145 secs
lola: 28471875 markings, 70095167 edges, 157626 markings/sec, 150 secs
lola: 29236726 markings, 72057001 edges, 152970 markings/sec, 155 secs
lola: 29994655 markings, 74000317 edges, 151586 markings/sec, 160 secs
lola: 30788971 markings, 76036876 edges, 158863 markings/sec, 165 secs
lola: 31610174 markings, 78147637 edges, 164241 markings/sec, 170 secs
lola: 32396963 markings, 80175692 edges, 157358 markings/sec, 175 secs
lola: 33166641 markings, 82149905 edges, 153936 markings/sec, 180 secs
lola: 33931170 markings, 84113387 edges, 152906 markings/sec, 185 secs
lola: 34696287 markings, 86090952 edges, 153023 markings/sec, 190 secs
lola: 35410182 markings, 87932569 edges, 142779 markings/sec, 195 secs
lola: 36164258 markings, 89882992 edges, 150815 markings/sec, 200 secs
lola: 36948969 markings, 91909402 edges, 156942 markings/sec, 205 secs
lola: 37733695 markings, 93948049 edges, 156945 markings/sec, 210 secs
lola: 38469375 markings, 95856183 edges, 147136 markings/sec, 215 secs
lola: 39240410 markings, 97857254 edges, 154207 markings/sec, 220 secs
lola: 39982315 markings, 99783538 edges, 148381 markings/sec, 225 secs
lola: 40762953 markings, 101815441 edges, 156128 markings/sec, 230 secs
lola: 41504513 markings, 103741973 edges, 148312 markings/sec, 235 secs
lola: 42246109 markings, 105668945 edges, 148319 markings/sec, 240 secs
lola: 42994099 markings, 107617843 edges, 149598 markings/sec, 245 secs
lola: 43732099 markings, 109547655 edges, 147600 markings/sec, 250 secs
lola: 44464587 markings, 111458835 edges, 146498 markings/sec, 255 secs
lola: 45193259 markings, 113368276 edges, 145734 markings/sec, 260 secs
lola: 45925958 markings, 115276778 edges, 146540 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 9676212 KB
lola: time consumption: 1101 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (A (X ((((1 <= p46) AND (1 <= p65)) OR ((1 <= p42) AND (1 <= p80))))))) OR E ((((p9 <= 0) OR (p75 <= 0) OR (p63 <= 0) OR (p87 <= 0)) U A (X (((1 <= p77)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: (AF(AX((((1 <= p46) AND (1 <= p65)) OR ((1 <= p42) AND (1 <= p80))))) OR E(((p9 <= 0) OR (p75 <= 0) OR (p63 <= 0) OR (p87 <= 0)) U AX(((1 <= p77)))))
lola: processed formula length: 153
lola: 32 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 983680 markings, 2162327 edges, 196736 markings/sec, 0 secs
lola: 2027033 markings, 4561903 edges, 208671 markings/sec, 5 secs
lola: 2955434 markings, 6733737 edges, 185680 markings/sec, 10 secs
lola: 3865709 markings, 8874769 edges, 182055 markings/sec, 15 secs
lola: 4822789 markings, 11147232 edges, 191416 markings/sec, 20 secs
lola: 5754384 markings, 13382737 edges, 186319 markings/sec, 25 secs
lola: 6670698 markings, 15588123 edges, 183263 markings/sec, 30 secs
lola: 7584266 markings, 17796317 edges, 182714 markings/sec, 35 secs
lola: 8486411 markings, 19986305 edges, 180429 markings/sec, 40 secs
lola: 9370955 markings, 22146443 edges, 176909 markings/sec, 45 secs
lola: 10243758 markings, 24289856 edges, 174561 markings/sec, 50 secs
lola: 11113725 markings, 26427300 edges, 173993 markings/sec, 55 secs
lola: 11968212 markings, 28536099 edges, 170897 markings/sec, 60 secs
lola: 12820290 markings, 30644658 edges, 170416 markings/sec, 65 secs
lola: 13668609 markings, 32750185 edges, 169664 markings/sec, 70 secs
lola: 14501000 markings, 34821267 edges, 166478 markings/sec, 75 secs
lola: 15339552 markings, 36905882 edges, 167710 markings/sec, 80 secs
lola: 16131292 markings, 38876369 edges, 158348 markings/sec, 85 secs
lola: 16928501 markings, 40878119 edges, 159442 markings/sec, 90 secs
lola: 17727427 markings, 42885261 edges, 159785 markings/sec, 95 secs
lola: 18495936 markings, 44817139 edges, 153702 markings/sec, 100 secs
lola: 19285529 markings, 46806302 edges, 157919 markings/sec, 105 secs
lola: 20055109 markings, 48740361 edges, 153916 markings/sec, 110 secs
lola: 20859985 markings, 50773621 edges, 160975 markings/sec, 115 secs
lola: 21644856 markings, 52751558 edges, 156974 markings/sec, 120 secs
lola: 23103641 markings, 56433413 edges, 291757 markings/sec, 125 secs
lola: 23916109 markings, 58492763 edges, 162494 markings/sec, 130 secs
lola: 24848295 markings, 60864721 edges, 186437 markings/sec, 135 secs
lola: 25618505 markings, 62820776 edges, 154042 markings/sec, 140 secs
lola: 26428305 markings, 64881668 edges, 161960 markings/sec, 145 secs
lola: 27265335 markings, 67012864 edges, 167406 markings/sec, 150 secs
lola: 28044978 markings, 69000929 edges, 155929 markings/sec, 155 secs
lola: 28836687 markings, 71030202 edges, 158342 markings/sec, 160 secs
lola: 29588621 markings, 72960897 edges, 150387 markings/sec, 165 secs
lola: 30349829 markings, 74910321 edges, 152242 markings/sec, 170 secs
lola: 31098799 markings, 76839104 edges, 149794 markings/sec, 175 secs
lola: 31857661 markings, 78787771 edges, 151772 markings/sec, 180 secs
lola: 32596759 markings, 80691678 edges, 147820 markings/sec, 185 secs
lola: 33348496 markings, 82615771 edges, 150347 markings/sec, 190 secs
lola: 34077118 markings, 84487943 edges, 145724 markings/sec, 195 secs
lola: 34854935 markings, 86500701 edges, 155563 markings/sec, 200 secs
lola: 35619161 markings, 88472858 edges, 152845 markings/sec, 205 secs
lola: 36364920 markings, 90397692 edges, 149152 markings/sec, 210 secs
lola: 37139001 markings, 92401136 edges, 154816 markings/sec, 215 secs
lola: 38507454 markings, 95953552 edges, 273691 markings/sec, 220 secs
lola: 39267133 markings, 97926121 edges, 151936 markings/sec, 225 secs
lola: 40028918 markings, 99905943 edges, 152357 markings/sec, 230 secs
lola: 40894199 markings, 102153583 edges, 173056 markings/sec, 235 secs
lola: 41643443 markings, 104103084 edges, 149849 markings/sec, 240 secs
lola: 42391927 markings, 106049541 edges, 149697 markings/sec, 245 secs
lola: 43139996 markings, 107999111 edges, 149614 markings/sec, 250 secs
lola: 43880859 markings, 109933929 edges, 148173 markings/sec, 255 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 9230064 KB
lola: time consumption: 1376 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((A (F (((1 <= p55) AND (1 <= p80)))) U A (X (((p75 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(AF(((1 <= p55) AND (1 <= p80))) U AX(((p75 <= 0))))
lola: processed formula length: 53
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 870556 markings, 1781753 edges, 174111 markings/sec, 0 secs
lola: 1696395 markings, 3547728 edges, 165168 markings/sec, 5 secs
lola: 2496543 markings, 5280512 edges, 160030 markings/sec, 10 secs
lola: 3279009 markings, 7002532 edges, 156493 markings/sec, 15 secs
lola: 4074627 markings, 8742249 edges, 159124 markings/sec, 20 secs
lola: 4845233 markings, 10457110 edges, 154121 markings/sec, 25 secs
lola: 5605459 markings, 12161081 edges, 152045 markings/sec, 30 secs
lola: 6303745 markings, 13725688 edges, 139657 markings/sec, 35 secs
lola: 7064464 markings, 15426704 edges, 152144 markings/sec, 40 secs
lola: 7818093 markings, 17118568 edges, 150726 markings/sec, 45 secs
lola: 8576350 markings, 18829050 edges, 151651 markings/sec, 50 secs
lola: 9318753 markings, 20517383 edges, 148481 markings/sec, 55 secs
lola: 10059230 markings, 22203647 edges, 148095 markings/sec, 60 secs
lola: 10790971 markings, 23878363 edges, 146348 markings/sec, 65 secs
lola: 11525434 markings, 25559775 edges, 146893 markings/sec, 70 secs
lola: 12263273 markings, 27268430 edges, 147568 markings/sec, 75 secs
lola: 12998648 markings, 28952404 edges, 147075 markings/sec, 80 secs
lola: 13727177 markings, 30628962 edges, 145706 markings/sec, 85 secs
lola: 14453392 markings, 32308602 edges, 145243 markings/sec, 90 secs
lola: 15178397 markings, 33994151 edges, 145001 markings/sec, 95 secs
lola: 15903521 markings, 35677131 edges, 145025 markings/sec, 100 secs
lola: 16620717 markings, 37352802 edges, 143439 markings/sec, 105 secs
lola: 17341759 markings, 39039233 edges, 144208 markings/sec, 110 secs
lola: 18058388 markings, 40733239 edges, 143326 markings/sec, 115 secs
lola: 18771119 markings, 42406096 edges, 142546 markings/sec, 120 secs
lola: 19494805 markings, 44091097 edges, 144737 markings/sec, 125 secs
lola: 20324295 markings, 45847662 edges, 165898 markings/sec, 130 secs
lola: 21124377 markings, 47590002 edges, 160016 markings/sec, 135 secs
lola: 21896273 markings, 49307145 edges, 154379 markings/sec, 140 secs
lola: 22663467 markings, 51023247 edges, 153439 markings/sec, 145 secs
lola: 23429609 markings, 52743550 edges, 153228 markings/sec, 150 secs
lola: 24180824 markings, 54441465 edges, 150243 markings/sec, 155 secs
lola: 24919534 markings, 56130670 edges, 147742 markings/sec, 160 secs
lola: 25651088 markings, 57811128 edges, 146311 markings/sec, 165 secs
lola: 26381680 markings, 59488351 edges, 146118 markings/sec, 170 secs
lola: 27112142 markings, 61171773 edges, 146092 markings/sec, 175 secs
lola: 27841439 markings, 62851871 edges, 145859 markings/sec, 180 secs
lola: 28560312 markings, 64513765 edges, 143775 markings/sec, 185 secs
lola: 29275024 markings, 66175378 edges, 142942 markings/sec, 190 secs
lola: 29983974 markings, 67830030 edges, 141790 markings/sec, 195 secs
lola: 30709050 markings, 69503136 edges, 145015 markings/sec, 200 secs
lola: 31410125 markings, 71142865 edges, 140215 markings/sec, 205 secs
lola: 32228778 markings, 72903424 edges, 163731 markings/sec, 210 secs
lola: 32936231 markings, 74554672 edges, 141491 markings/sec, 215 secs
lola: 33633598 markings, 76197824 edges, 139473 markings/sec, 220 secs
lola: 34343250 markings, 77857054 edges, 141930 markings/sec, 225 secs
lola: 35137941 markings, 79602621 edges, 158938 markings/sec, 230 secs
lola: 35846058 markings, 81255284 edges, 141623 markings/sec, 235 secs
lola: 36549250 markings, 82905494 edges, 140638 markings/sec, 240 secs
lola: 37271426 markings, 84583518 edges, 144435 markings/sec, 245 secs
lola: 37976482 markings, 86233673 edges, 141011 markings/sec, 250 secs
lola: 38683684 markings, 87883925 edges, 141440 markings/sec, 255 secs
lola: 39377039 markings, 89524778 edges, 138671 markings/sec, 260 secs
lola: 40072794 markings, 91166848 edges, 139151 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4751332 KB
lola: time consumption: 1651 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (((p27 <= 0) OR (p80 <= 0) OR (p86 <= 0)))) AND (E (F (E (G (((1 <= p3) AND (1 <= p70)))))) AND (E (X (((1 <= p43) AND (1 <= p80)))) OR (((p63 <= 0)) OR ((p87 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((p63 <= 0)) OR ((p87 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: processed formula: (((p63 <= 0)) OR ((p87 <= 0)))
lola: processed formula length: 30
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 2 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 7 will run for 319 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((p27 <= 0) OR (p80 <= 0) OR (p86 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G (((p27 <= 0) OR (p80 <= 0) OR (p86 <= 0))))
lola: processed formula length: 50
lola: 29 rewrites
lola: closed formula file CTLFireability.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: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p27) AND (1 <= p80) AND (1 <= p86))
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 8 markings, 8 edges
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: ========================================
lola: subprocess 8 will run for 383 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G (((1 <= p3) AND (1 <= p70))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:598
lola: rewrite Frontend/Parser/formula_rewrite.k:633
lola: rewrite Frontend/Parser/formula_rewrite.k:730
lola: processed formula: ((1 <= p3) AND (1 <= p70))
lola: processed formula length: 26
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EFEG
lola: The predicate is possibly preserved from a reachable marking.
lola: 6 markings, 6 edges
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((1 <= p3) AND (1 <= p70))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 7 will run for 319 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E ((E (X (((1 <= p75) AND (1 <= p81)))) U ((1 <= p65) AND (1 <= p83) AND (((1 <= p73)) OR ((1 <= p80) AND (1 <= p83)))))) OR ((1 <= p25) AND (1 <= p70)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: (E(EX(((1 <= p75) AND (1 <= p81))) U ((1 <= p65) AND (1 <= p83) AND (((1 <= p73)) OR ((1 <= p80) AND (1 <= p83))))) OR ((1 <= p25) AND (1 <= p70)))
lola: processed formula length: 148
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1221078 markings, 2264643 edges, 244216 markings/sec, 0 secs
lola: 2395207 markings, 4541598 edges, 234826 markings/sec, 5 secs
lola: 3519169 markings, 6748154 edges, 224792 markings/sec, 10 secs
lola: 4601332 markings, 8900196 edges, 216433 markings/sec, 15 secs
lola: 5664223 markings, 11024216 edges, 212578 markings/sec, 20 secs
lola: 6700212 markings, 13111758 edges, 207198 markings/sec, 25 secs
lola: 7722340 markings, 15190258 edges, 204426 markings/sec, 30 secs
lola: 8730620 markings, 17240433 edges, 201656 markings/sec, 35 secs
lola: 9720168 markings, 19268773 edges, 197910 markings/sec, 40 secs
lola: 10708394 markings, 21297958 edges, 197645 markings/sec, 45 secs
lola: 11646680 markings, 23227039 edges, 187657 markings/sec, 50 secs
lola: 12622891 markings, 25247887 edges, 195242 markings/sec, 55 secs
lola: 13578536 markings, 27230656 edges, 191129 markings/sec, 60 secs
lola: 14519471 markings, 29196317 edges, 188187 markings/sec, 65 secs
lola: 15457109 markings, 31153246 edges, 187528 markings/sec, 70 secs
lola: 16394047 markings, 33116933 edges, 187388 markings/sec, 75 secs
lola: 17316218 markings, 35052167 edges, 184434 markings/sec, 80 secs
lola: 18241100 markings, 36994460 edges, 184976 markings/sec, 85 secs
lola: 19107976 markings, 38824345 edges, 173375 markings/sec, 90 secs
lola: 20030272 markings, 40771348 edges, 184459 markings/sec, 95 secs
lola: 20948454 markings, 42712880 edges, 183636 markings/sec, 100 secs
lola: 21868617 markings, 44652826 edges, 184033 markings/sec, 105 secs
lola: 22768862 markings, 46569961 edges, 180049 markings/sec, 110 secs
lola: 23646707 markings, 48443016 edges, 175569 markings/sec, 115 secs
lola: 24533600 markings, 50335010 edges, 177379 markings/sec, 120 secs
lola: 25408459 markings, 52207059 edges, 174972 markings/sec, 125 secs
lola: 26281390 markings, 54075414 edges, 174586 markings/sec, 130 secs
lola: 27156090 markings, 55944323 edges, 174940 markings/sec, 135 secs
lola: 28028371 markings, 57815789 edges, 174456 markings/sec, 140 secs
lola: 28906388 markings, 59692348 edges, 175603 markings/sec, 145 secs
lola: 29771560 markings, 61554449 edges, 173034 markings/sec, 150 secs
lola: 30647277 markings, 63424616 edges, 175143 markings/sec, 155 secs
lola: 31504551 markings, 65268297 edges, 171455 markings/sec, 160 secs
lola: 32359404 markings, 67110730 edges, 170971 markings/sec, 165 secs
lola: 33203772 markings, 68938254 edges, 168874 markings/sec, 170 secs
lola: 34062027 markings, 70788571 edges, 171651 markings/sec, 175 secs
lola: 34904902 markings, 72613514 edges, 168575 markings/sec, 180 secs
lola: 35745970 markings, 74433360 edges, 168214 markings/sec, 185 secs
lola: 36587079 markings, 76251843 edges, 168222 markings/sec, 190 secs
lola: 37423173 markings, 78067042 edges, 167219 markings/sec, 195 secs
lola: 38256558 markings, 79878185 edges, 166677 markings/sec, 200 secs
lola: 39088676 markings, 81691911 edges, 166424 markings/sec, 205 secs
lola: 39916615 markings, 83499567 edges, 165588 markings/sec, 210 secs
lola: 40745174 markings, 85305409 edges, 165712 markings/sec, 215 secs
lola: 41568593 markings, 87104333 edges, 164684 markings/sec, 220 secs
lola: 42382509 markings, 88885623 edges, 162783 markings/sec, 225 secs
lola: 43204648 markings, 90685458 edges, 164428 markings/sec, 230 secs
lola: 44031073 markings, 92492060 edges, 165285 markings/sec, 235 secs
lola: 44873926 markings, 94322352 edges, 168571 markings/sec, 240 secs
lola: 45696432 markings, 96120825 edges, 164501 markings/sec, 245 secs
lola: 46513205 markings, 97918249 edges, 163355 markings/sec, 250 secs
lola: 47326992 markings, 99707165 edges, 162757 markings/sec, 255 secs
lola: 48144719 markings, 101501515 edges, 163545 markings/sec, 260 secs
lola: 48919894 markings, 103206154 edges, 155035 markings/sec, 265 secs
lola: 49737021 markings, 105005404 edges, 163425 markings/sec, 270 secs
lola: 50517527 markings, 106734431 edges, 156101 markings/sec, 275 secs
lola: 51333025 markings, 108532426 edges, 163100 markings/sec, 280 secs
lola: 52136067 markings, 110306739 edges, 160608 markings/sec, 285 secs
lola: 52939529 markings, 112083423 edges, 160692 markings/sec, 290 secs
lola: 53745242 markings, 113860707 edges, 161143 markings/sec, 295 secs
lola: 54536592 markings, 115618031 edges, 158270 markings/sec, 300 secs
lola: 55329407 markings, 117370880 edges, 158563 markings/sec, 305 secs
lola: 56123370 markings, 119126621 edges, 158793 markings/sec, 310 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown yes unknown unknown
lola: memory consumption: 10838752 KB
lola: time consumption: 1970 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 319 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p79) AND (1 <= p73) AND (1 <= p87))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p79) AND (1 <= p73) AND (1 <= p87))))
lola: processed formula length: 50
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p79) AND (1 <= p73) AND (1 <= p87))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 6 markings, 5 edges
lola: ========================================
lola: subprocess 9 will run for 399 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F (((p78 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence from all states
lola: rewrite Frontend/Parser/formula_rewrite.k:599
lola: rewrite Frontend/Parser/formula_rewrite.k:634
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: ((1 <= p78))
lola: processed formula length: 12
lola: 32 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p78 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EFEG
lola: The predicate does not eventually occur from all states.
lola: 8 markings, 8 edges
lola: ========================================
lola: subprocess 10 will run for 533 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G (((1 <= p64))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:598
lola: rewrite Frontend/Parser/formula_rewrite.k:633
lola: rewrite Frontend/Parser/formula_rewrite.k:730
lola: processed formula: ((1 <= p64))
lola: processed formula length: 12
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EFEG
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p64 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: The predicate is possibly preserved from a reachable marking.
lola: 7 markings, 7 edges
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((1 <= p64))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: ========================================
lola: subprocess 11 will run for 799 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p60 <= 0) OR (p80 <= 0) OR (p75 <= 0) OR (p83 <= 0) OR (p20 <= 0) OR (p70 <= 0)) OR E (G (((p45 <= 0) OR (p75 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG((((p60 <= 0) OR (p80 <= 0) OR (p75 <= 0) OR (p83 <= 0) OR (p20 <= 0) OR (p70 <= 0)) OR EG(((p45 <= 0) OR (p75 <= 0)))))
lola: processed formula length: 128
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1352545 markings, 3003890 edges, 270509 markings/sec, 0 secs
lola: 2587510 markings, 5867584 edges, 246993 markings/sec, 5 secs
lola: 3759987 markings, 8624812 edges, 234495 markings/sec, 10 secs
lola: 4895434 markings, 11321166 edges, 227089 markings/sec, 15 secs
lola: 5961989 markings, 13878798 edges, 213311 markings/sec, 20 secs
lola: 7047952 markings, 16500081 edges, 217193 markings/sec, 25 secs
lola: 8115924 markings, 19089556 edges, 213594 markings/sec, 30 secs
lola: 9173169 markings, 21662112 edges, 211449 markings/sec, 35 secs
lola: 10202514 markings, 24187850 edges, 205869 markings/sec, 40 secs
lola: 11221899 markings, 26693681 edges, 203877 markings/sec, 45 secs
lola: 12225967 markings, 29172003 edges, 200814 markings/sec, 50 secs
lola: 13208620 markings, 31612385 edges, 196531 markings/sec, 55 secs
lola: 14199030 markings, 34067362 edges, 198082 markings/sec, 60 secs
lola: 15169871 markings, 36482479 edges, 194168 markings/sec, 65 secs
lola: 16140595 markings, 38899231 edges, 194145 markings/sec, 70 secs
lola: 17060190 markings, 41206641 edges, 183919 markings/sec, 75 secs
lola: 18009595 markings, 43591437 edges, 189881 markings/sec, 80 secs
lola: 18958047 markings, 45980025 edges, 189690 markings/sec, 85 secs
lola: 19898747 markings, 48346901 edges, 188140 markings/sec, 90 secs
lola: 20837851 markings, 50717175 edges, 187821 markings/sec, 95 secs
lola: 21771912 markings, 53075233 edges, 186812 markings/sec, 100 secs
lola: 22709493 markings, 55437377 edges, 187516 markings/sec, 105 secs
lola: 23636369 markings, 57782037 edges, 185375 markings/sec, 110 secs
lola: 24550646 markings, 60107484 edges, 182855 markings/sec, 115 secs
lola: 25464270 markings, 62429476 edges, 182725 markings/sec, 120 secs
lola: 26373645 markings, 64739912 edges, 181875 markings/sec, 125 secs
lola: 27273982 markings, 67035297 edges, 180067 markings/sec, 130 secs
lola: 28173069 markings, 69327784 edges, 179817 markings/sec, 135 secs
lola: 29060874 markings, 71604153 edges, 177561 markings/sec, 140 secs
lola: 29951179 markings, 73889913 edges, 178061 markings/sec, 145 secs
lola: 30839466 markings, 76168550 edges, 177657 markings/sec, 150 secs
lola: 31720150 markings, 78433543 edges, 176137 markings/sec, 155 secs
lola: 32596949 markings, 80692136 edges, 175360 markings/sec, 160 secs
lola: 33484641 markings, 82962086 edges, 177538 markings/sec, 165 secs
lola: 34359641 markings, 85220295 edges, 175000 markings/sec, 170 secs
lola: 35227441 markings, 87462092 edges, 173560 markings/sec, 175 secs
lola: 36095347 markings, 89705837 edges, 173581 markings/sec, 180 secs
lola: 36963569 markings, 91946885 edges, 173644 markings/sec, 185 secs
lola: 37820530 markings, 94173036 edges, 171392 markings/sec, 190 secs
lola: 38677892 markings, 96396932 edges, 171472 markings/sec, 195 secs
lola: 39489897 markings, 98506420 edges, 162401 markings/sec, 200 secs
lola: 40341648 markings, 100717962 edges, 170350 markings/sec, 205 secs
lola: 41183388 markings, 102906994 edges, 168348 markings/sec, 210 secs
lola: 42031244 markings, 105110738 edges, 169571 markings/sec, 215 secs
lola: 42876735 markings, 107311355 edges, 169098 markings/sec, 220 secs
lola: 43710788 markings, 109491498 edges, 166811 markings/sec, 225 secs
lola: 44546917 markings, 111674282 edges, 167226 markings/sec, 230 secs
lola: 45380056 markings, 113854365 edges, 166628 markings/sec, 235 secs
lola: 46212600 markings, 116030860 edges, 166509 markings/sec, 240 secs
lola: 47041830 markings, 118205276 edges, 165846 markings/sec, 245 secs
lola: 47846301 markings, 120309595 edges, 160894 markings/sec, 250 secs
lola: 48673855 markings, 122482935 edges, 165511 markings/sec, 255 secs
lola: 49505883 markings, 124661054 edges, 166406 markings/sec, 260 secs
lola: 50333366 markings, 126837612 edges, 165497 markings/sec, 265 secs
lola: 51159489 markings, 129014253 edges, 165225 markings/sec, 270 secs
lola: 51976458 markings, 131169291 edges, 163394 markings/sec, 275 secs
lola: 52794482 markings, 133322767 edges, 163605 markings/sec, 280 secs
lola: 53606504 markings, 135468279 edges, 162404 markings/sec, 285 secs
lola: 54422297 markings, 137620848 edges, 163159 markings/sec, 290 secs
lola: 55224408 markings, 139746990 edges, 160422 markings/sec, 295 secs
lola: 56030035 markings, 141879277 edges, 161125 markings/sec, 300 secs
lola: 56841663 markings, 144024903 edges, 162326 markings/sec, 305 secs
lola: 57653311 markings, 146175083 edges, 162330 markings/sec, 310 secs
lola: 58458911 markings, 148312116 edges, 161120 markings/sec, 315 secs
lola: 59268819 markings, 150458202 edges, 161982 markings/sec, 320 secs
lola: 60066249 markings, 152577595 edges, 159486 markings/sec, 325 secs
lola: 60869755 markings, 154710513 edges, 160701 markings/sec, 330 secs
lola: 61670969 markings, 156840736 edges, 160243 markings/sec, 335 secs
lola: 62444545 markings, 158892163 edges, 154715 markings/sec, 340 secs
lola: 63239771 markings, 161005930 edges, 159045 markings/sec, 345 secs
lola: 64037600 markings, 163121182 edges, 159566 markings/sec, 350 secs
lola: 64836092 markings, 165239605 edges, 159698 markings/sec, 355 secs
lola: 65625950 markings, 167353982 edges, 157972 markings/sec, 360 secs
lola: 66422565 markings, 169471005 edges, 159323 markings/sec, 365 secs
lola: 67209039 markings, 171572462 edges, 157295 markings/sec, 370 secs
lola: 67991620 markings, 173659206 edges, 156516 markings/sec, 375 secs
lola: 68781950 markings, 175764093 edges, 158066 markings/sec, 380 secs
lola: 69569982 markings, 177866116 edges, 157606 markings/sec, 385 secs
lola: 70348650 markings, 179955411 edges, 155734 markings/sec, 390 secs
lola: 71133363 markings, 182049623 edges, 156943 markings/sec, 395 secs
lola: 71914767 markings, 184136974 edges, 156281 markings/sec, 400 secs
lola: 72690638 markings, 186216394 edges, 155174 markings/sec, 405 secs
lola: 73464414 markings, 188293062 edges, 154755 markings/sec, 410 secs
lola: 74246237 markings, 190379044 edges, 156365 markings/sec, 415 secs
lola: 75022865 markings, 192459020 edges, 155326 markings/sec, 420 secs
lola: 75796637 markings, 194535773 edges, 154754 markings/sec, 425 secs
lola: 76569379 markings, 196613129 edges, 154548 markings/sec, 430 secs
lola: 77340953 markings, 198683853 edges, 154315 markings/sec, 435 secs
lola: 78111358 markings, 200753989 edges, 154081 markings/sec, 440 secs
lola: 78865541 markings, 202781897 edges, 150837 markings/sec, 445 secs
lola: 79627530 markings, 204839451 edges, 152398 markings/sec, 450 secs
lola: 80395046 markings, 206906164 edges, 153503 markings/sec, 455 secs
lola: 81158678 markings, 208967799 edges, 152726 markings/sec, 460 secs
lola: 81855114 markings, 210843549 edges, 139287 markings/sec, 465 secs
lola: 82614830 markings, 212882355 edges, 151943 markings/sec, 470 secs
lola: 83333709 markings, 214822770 edges, 143776 markings/sec, 475 secs
lola: 84092547 markings, 216871111 edges, 151768 markings/sec, 480 secs
lola: 84799049 markings, 218779021 edges, 141300 markings/sec, 485 secs
lola: 85493045 markings, 220654037 edges, 138799 markings/sec, 490 secs
lola: 86258978 markings, 222724457 edges, 153187 markings/sec, 495 secs
lola: 87023286 markings, 224789618 edges, 152862 markings/sec, 500 secs
lola: 87748379 markings, 226757655 edges, 145019 markings/sec, 505 secs
lola: 88460650 markings, 228692598 edges, 142454 markings/sec, 510 secs
lola: 89205369 markings, 230713325 edges, 148944 markings/sec, 515 secs
lola: 89938024 markings, 232699503 edges, 146531 markings/sec, 520 secs
lola: 90684965 markings, 234715886 edges, 149388 markings/sec, 525 secs
lola: 91415016 markings, 236691430 edges, 146010 markings/sec, 530 secs
lola: 92159092 markings, 238710035 edges, 148815 markings/sec, 535 secs
lola: 92904400 markings, 240729226 edges, 149062 markings/sec, 540 secs
lola: 93646954 markings, 242745098 edges, 148511 markings/sec, 545 secs
lola: 94390666 markings, 244763885 edges, 148742 markings/sec, 550 secs
lola: 95117237 markings, 246737958 edges, 145314 markings/sec, 555 secs
lola: 95853433 markings, 248738248 edges, 147239 markings/sec, 560 secs
lola: 96592993 markings, 250749903 edges, 147912 markings/sec, 565 secs
lola: 97328865 markings, 252760486 edges, 147174 markings/sec, 570 secs
lola: 98073457 markings, 254783214 edges, 148918 markings/sec, 575 secs
lola: 98813666 markings, 256797380 edges, 148042 markings/sec, 580 secs
lola: 99553586 markings, 258812149 edges, 147984 markings/sec, 585 secs
lola: 100287027 markings, 260814996 edges, 146688 markings/sec, 590 secs
lola: 101022728 markings, 262822994 edges, 147140 markings/sec, 595 secs
lola: 101759532 markings, 264839207 edges, 147361 markings/sec, 600 secs
lola: 102507664 markings, 266885513 edges, 149626 markings/sec, 605 secs
lola: 103249349 markings, 268916206 edges, 148337 markings/sec, 610 secs
lola: 103870088 markings, 270618267 edges, 124148 markings/sec, 615 secs
lola: 104356792 markings, 271948898 edges, 97341 markings/sec, 620 secs
lola: 104766681 markings, 273068663 edges, 81978 markings/sec, 625 secs
lola: 105177488 markings, 274197433 edges, 82161 markings/sec, 630 secs
lola: 105482190 markings, 275028988 edges, 60940 markings/sec, 635 secs
lola: 105816753 markings, 275943821 edges, 66913 markings/sec, 640 secs
lola: 106125524 markings, 276790353 edges, 61754 markings/sec, 645 secs
lola: 106379561 markings, 277484990 edges, 50807 markings/sec, 650 secs
lola: 106644996 markings, 278210969 edges, 53087 markings/sec, 655 secs
lola: 106908961 markings, 278932388 edges, 52793 markings/sec, 660 secs
lola: 107179032 markings, 279672613 edges, 54014 markings/sec, 665 secs
lola: 107447997 markings, 280406827 edges, 53793 markings/sec, 670 secs
lola: 107695665 markings, 281086596 edges, 49534 markings/sec, 675 secs
lola: 107935795 markings, 281745459 edges, 48026 markings/sec, 680 secs
lola: 108220080 markings, 282518863 edges, 56857 markings/sec, 685 secs
lola: 108441669 markings, 283126296 edges, 44318 markings/sec, 690 secs
lola: 108690037 markings, 283810244 edges, 49674 markings/sec, 695 secs
lola: 108904308 markings, 284397891 edges, 42854 markings/sec, 700 secs
lola: 109138563 markings, 285039830 edges, 46851 markings/sec, 705 secs
lola: 109354536 markings, 285631094 edges, 43195 markings/sec, 710 secs
lola: 109567201 markings, 286212409 edges, 42533 markings/sec, 715 secs
lola: 109810682 markings, 286881668 edges, 48696 markings/sec, 720 secs
lola: 110051652 markings, 287541560 edges, 48194 markings/sec, 725 secs
lola: 110261018 markings, 288114822 edges, 41873 markings/sec, 730 secs
lola: 110508762 markings, 288792441 edges, 49549 markings/sec, 735 secs
lola: 110701781 markings, 289321057 edges, 38604 markings/sec, 740 secs
lola: 110877851 markings, 289800745 edges, 35214 markings/sec, 745 secs
lola: 111054944 markings, 290284073 edges, 35419 markings/sec, 750 secs
lola: 111229049 markings, 290759936 edges, 34821 markings/sec, 755 secs
lola: 111433506 markings, 291318303 edges, 40891 markings/sec, 760 secs
lola: 111641063 markings, 291886705 edges, 41511 markings/sec, 765 secs
lola: 111827096 markings, 292394715 edges, 37207 markings/sec, 770 secs
lola: 112001449 markings, 292872333 edges, 34871 markings/sec, 775 secs
lola: 112197302 markings, 293415054 edges, 39171 markings/sec, 780 secs
lola: 112406965 markings, 293987302 edges, 41933 markings/sec, 785 secs
lola: 112577143 markings, 294452424 edges, 34036 markings/sec, 790 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no yes unknown unknown unknown unknown unknown unknown unknown yes unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 799 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p40) AND (1 <= p75)) OR (E (F (((1 <= p66) AND (1 <= p75) AND (1 <= p16) AND (1 <= p65)))) AND ((p10 <= 0) OR (p65 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 799 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p10 <= 0) OR (p65 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p10 <= 0) OR (p65 <= 0))
lola: processed formula length: 27
lola: 28 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 2 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: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p66) AND (1 <= p75) AND (1 <= p16) AND (1 <= p65))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p66) AND (1 <= p75) AND (1 <= p16) AND (1 <= p65))))
lola: processed formula length: 65
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p66) AND (1 <= p75) AND (1 <= p16) AND (1 <= p65))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 6 markings, 5 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (E (X (((1 <= p73)))) OR (E (F (A (X (((1 <= p69)))))) AND (((1 <= p65)) OR (E (F (((p64 <= 0)))) OR ((1 <= p70) AND (1 <= p83))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: E (X (((1 <= p73))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(((1 <= p73)))
lola: processed formula length: 16
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F (A (X (((1 <= p69))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(AX(((1 <= p69))))
lola: processed formula length: 20
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 993140 markings, 2184446 edges, 198628 markings/sec, 0 secs
lola: 2108759 markings, 4751158 edges, 223124 markings/sec, 5 secs
lola: 3170799 markings, 7237757 edges, 212408 markings/sec, 10 secs
lola: 4202903 markings, 9671924 edges, 206421 markings/sec, 15 secs
lola: 5202668 markings, 12058454 edges, 199953 markings/sec, 20 secs
lola: 6183926 markings, 14412812 edges, 196252 markings/sec, 25 secs
lola: 7145406 markings, 16736393 edges, 192296 markings/sec, 30 secs
lola: 8095672 markings, 19040601 edges, 190053 markings/sec, 35 secs
lola: 9038477 markings, 21332268 edges, 188561 markings/sec, 40 secs
lola: 9962230 markings, 23593360 edges, 184751 markings/sec, 45 secs
lola: 10871083 markings, 25831509 edges, 181771 markings/sec, 50 secs
lola: 11774691 markings, 28060241 edges, 180722 markings/sec, 55 secs
lola: 12672743 markings, 30279504 edges, 179610 markings/sec, 60 secs
lola: 13513280 markings, 32363953 edges, 168107 markings/sec, 65 secs
lola: 14396549 markings, 34558909 edges, 176654 markings/sec, 70 secs
lola: 15279027 markings, 36752666 edges, 176496 markings/sec, 75 secs
lola: 16153332 markings, 38931191 edges, 174861 markings/sec, 80 secs
lola: 17016203 markings, 41098005 edges, 172574 markings/sec, 85 secs
lola: 17873494 markings, 43250912 edges, 171458 markings/sec, 90 secs
lola: 18728999 markings, 45402942 edges, 171101 markings/sec, 95 secs
lola: 19575032 markings, 47532483 edges, 169207 markings/sec, 100 secs
lola: 20422918 markings, 49666697 edges, 169577 markings/sec, 105 secs
lola: 21269846 markings, 51804393 edges, 169386 markings/sec, 110 secs
lola: 22105557 markings, 53917257 edges, 167142 markings/sec, 115 secs
lola: 22949790 markings, 56043500 edges, 168847 markings/sec, 120 secs
lola: 23780387 markings, 58146421 edges, 166119 markings/sec, 125 secs
lola: 24600543 markings, 60235433 edges, 164031 markings/sec, 130 secs
lola: 25427055 markings, 62336166 edges, 165302 markings/sec, 135 secs
lola: 26252081 markings, 64431637 edges, 165005 markings/sec, 140 secs
lola: 27059353 markings, 66487931 edges, 161454 markings/sec, 145 secs
lola: 27850373 markings, 68506096 edges, 158204 markings/sec, 150 secs
lola: 28664745 markings, 70588400 edges, 162874 markings/sec, 155 secs
lola: 29419838 markings, 72529383 edges, 151019 markings/sec, 160 secs
lola: 30228337 markings, 74598573 edges, 161700 markings/sec, 165 secs
lola: 31022536 markings, 76641441 edges, 158840 markings/sec, 170 secs
lola: 31824809 markings, 78703054 edges, 160455 markings/sec, 175 secs
lola: 32615975 markings, 80741161 edges, 158233 markings/sec, 180 secs
lola: 33417419 markings, 82791474 edges, 160289 markings/sec, 185 secs
lola: 34210981 markings, 84834510 edges, 158712 markings/sec, 190 secs
lola: 34992552 markings, 86856008 edges, 156314 markings/sec, 195 secs
lola: 35777290 markings, 88883358 edges, 156948 markings/sec, 200 secs
lola: 36561866 markings, 90906222 edges, 156915 markings/sec, 205 secs
lola: 37341628 markings, 92927135 edges, 155952 markings/sec, 210 secs
lola: 38117177 markings, 94942987 edges, 155110 markings/sec, 215 secs
lola: 38894070 markings, 96958734 edges, 155379 markings/sec, 220 secs
lola: 39671536 markings, 98976540 edges, 155493 markings/sec, 225 secs
lola: 40433191 markings, 100954454 edges, 152331 markings/sec, 230 secs
lola: 41150946 markings, 102822784 edges, 143551 markings/sec, 235 secs
lola: 41878962 markings, 104715047 edges, 145603 markings/sec, 240 secs
lola: 42598477 markings, 106585703 edges, 143903 markings/sec, 245 secs
lola: 43309163 markings, 108443531 edges, 142137 markings/sec, 250 secs
lola: 44068783 markings, 110427050 edges, 151924 markings/sec, 255 secs
lola: 44841289 markings, 112444820 edges, 154501 markings/sec, 260 secs
lola: 45612073 markings, 114455498 edges, 154157 markings/sec, 265 secs
lola: 46377509 markings, 116463798 edges, 153087 markings/sec, 270 secs
lola: 47142709 markings, 118467869 edges, 153040 markings/sec, 275 secs
lola: 47858547 markings, 120341708 edges, 143168 markings/sec, 280 secs
lola: 48614887 markings, 122326662 edges, 151268 markings/sec, 285 secs
lola: 49377684 markings, 124324787 edges, 152559 markings/sec, 290 secs
lola: 50134535 markings, 126316300 edges, 151370 markings/sec, 295 secs
lola: 50895431 markings, 128318307 edges, 152179 markings/sec, 300 secs
lola: 51647140 markings, 130302993 edges, 150342 markings/sec, 305 secs
lola: 52401600 markings, 132285573 edges, 150892 markings/sec, 310 secs
lola: 53145828 markings, 134254733 edges, 148846 markings/sec, 315 secs
lola: 53899058 markings, 136238033 edges, 150646 markings/sec, 320 secs
lola: 54644070 markings, 138208977 edges, 149002 markings/sec, 325 secs
lola: 55387196 markings, 140179185 edges, 148625 markings/sec, 330 secs
lola: 56132691 markings, 142149941 edges, 149099 markings/sec, 335 secs
lola: 56879582 markings, 144124970 edges, 149378 markings/sec, 340 secs
lola: 57621824 markings, 146090585 edges, 148448 markings/sec, 345 secs
lola: 58361000 markings, 148051547 edges, 147835 markings/sec, 350 secs
lola: 59100711 markings, 150014949 edges, 147942 markings/sec, 355 secs
lola: 59761961 markings, 151767511 edges, 132250 markings/sec, 360 secs
lola: 60474716 markings, 153662033 edges, 142551 markings/sec, 365 secs
lola: 61210911 markings, 155617663 edges, 147239 markings/sec, 370 secs
lola: 61949511 markings, 157578218 edges, 147720 markings/sec, 375 secs
lola: 62683616 markings, 159529813 edges, 146821 markings/sec, 380 secs
lola: 63423959 markings, 161490491 edges, 148069 markings/sec, 385 secs
lola: 64156045 markings, 163439141 edges, 146417 markings/sec, 390 secs
lola: 64895839 markings, 165397985 edges, 147959 markings/sec, 395 secs
lola: 65626225 markings, 167354669 edges, 146077 markings/sec, 400 secs
lola: 66358711 markings, 169300796 edges, 146497 markings/sec, 405 secs
lola: 67087956 markings, 171244831 edges, 145849 markings/sec, 410 secs
lola: 67811785 markings, 173177792 edges, 144766 markings/sec, 415 secs
lola: 68538046 markings, 175110964 edges, 145252 markings/sec, 420 secs
lola: 69261584 markings, 177042810 edges, 144708 markings/sec, 425 secs
lola: 69982138 markings, 178970195 edges, 144111 markings/sec, 430 secs
lola: 70703300 markings, 180899501 edges, 144232 markings/sec, 435 secs
lola: 71420940 markings, 182818830 edges, 143528 markings/sec, 440 secs
lola: 72109052 markings, 184655348 edges, 137622 markings/sec, 445 secs
lola: 72829627 markings, 186588720 edges, 144115 markings/sec, 450 secs
lola: 73541091 markings, 188497096 edges, 142293 markings/sec, 455 secs
lola: 74248727 markings, 190385676 edges, 141527 markings/sec, 460 secs
lola: 74957940 markings, 192284752 edges, 141843 markings/sec, 465 secs
lola: 75668447 markings, 194192539 edges, 142101 markings/sec, 470 secs
lola: 76338077 markings, 195988058 edges, 133926 markings/sec, 475 secs
lola: 77047759 markings, 197897652 edges, 141936 markings/sec, 480 secs
lola: 77757743 markings, 199804366 edges, 141997 markings/sec, 485 secs
lola: 78315523 markings, 201303754 edges, 111556 markings/sec, 490 secs
lola: 78713251 markings, 202376985 edges, 79546 markings/sec, 495 secs
lola: 79094197 markings, 203398580 edges, 76189 markings/sec, 500 secs
lola: 79434929 markings, 204318458 edges, 68146 markings/sec, 505 secs
lola: 79751143 markings, 205169286 edges, 63243 markings/sec, 510 secs
lola: 80001333 markings, 205844165 edges, 50038 markings/sec, 515 secs
lola: 80253674 markings, 206526254 edges, 50468 markings/sec, 520 secs
lola: 80535644 markings, 207285922 edges, 56394 markings/sec, 525 secs
lola: 80759866 markings, 207893945 edges, 44844 markings/sec, 530 secs
lola: 80990475 markings, 208518428 edges, 46122 markings/sec, 535 secs
lola: 81193956 markings, 209062766 edges, 40696 markings/sec, 540 secs
lola: 81454302 markings, 209764866 edges, 52069 markings/sec, 545 secs
lola: 81652223 markings, 210295956 edges, 39584 markings/sec, 550 secs
lola: 81856656 markings, 210847553 edges, 40887 markings/sec, 555 secs
lola: 82050478 markings, 211371927 edges, 38764 markings/sec, 560 secs
lola: 82256559 markings, 211922016 edges, 41216 markings/sec, 565 secs
lola: 82442591 markings, 212421432 edges, 37206 markings/sec, 570 secs
lola: 82622410 markings, 212902749 edges, 35964 markings/sec, 575 secs
lola: 82840114 markings, 213490195 edges, 43541 markings/sec, 580 secs
lola: 83022418 markings, 213984819 edges, 36461 markings/sec, 585 secs
lola: 83215438 markings, 214502832 edges, 38604 markings/sec, 590 secs
lola: 83369111 markings, 214917758 edges, 30735 markings/sec, 595 secs
lola: 83553557 markings, 215415775 edges, 36889 markings/sec, 600 secs
lola: 83724558 markings, 215875107 edges, 34200 markings/sec, 605 secs
lola: 83878527 markings, 216290907 edges, 30794 markings/sec, 610 secs
lola: 84020792 markings, 216675621 edges, 28453 markings/sec, 615 secs
lola: 84176659 markings, 217097120 edges, 31173 markings/sec, 620 secs
lola: 84341016 markings, 217540822 edges, 32871 markings/sec, 625 secs
lola: 84484912 markings, 217928528 edges, 28779 markings/sec, 630 secs
lola: 84637628 markings, 218341617 edges, 30543 markings/sec, 635 secs
lola: 84779358 markings, 218725405 edges, 28346 markings/sec, 640 secs
lola: 84919572 markings, 219103510 edges, 28043 markings/sec, 645 secs
lola: 85079230 markings, 219531718 edges, 31932 markings/sec, 650 secs
lola: 85221192 markings, 219917630 edges, 28392 markings/sec, 655 secs
lola: 85354982 markings, 220279906 edges, 26758 markings/sec, 660 secs
lola: 85507931 markings, 220693640 edges, 30590 markings/sec, 665 secs
lola: 85626029 markings, 221012328 edges, 23620 markings/sec, 670 secs
lola: 85745493 markings, 221337167 edges, 23893 markings/sec, 675 secs
lola: 85878588 markings, 221698600 edges, 26619 markings/sec, 680 secs
lola: 86037950 markings, 222127372 edges, 31872 markings/sec, 685 secs
lola: 86194364 markings, 222549680 edges, 31283 markings/sec, 690 secs
lola: 86302445 markings, 222840811 edges, 21616 markings/sec, 695 secs
lola: 86430377 markings, 223187591 edges, 25586 markings/sec, 700 secs
lola: 86554182 markings, 223520657 edges, 24761 markings/sec, 705 secs
lola: 86663998 markings, 223820801 edges, 21963 markings/sec, 710 secs
lola: 86770505 markings, 224106367 edges, 21301 markings/sec, 715 secs
lola: 86902274 markings, 224460886 edges, 26354 markings/sec, 720 secs
lola: 87018426 markings, 224776052 edges, 23230 markings/sec, 725 secs
lola: 87135995 markings, 225095803 edges, 23514 markings/sec, 730 secs
lola: 87247441 markings, 225397479 edges, 22289 markings/sec, 735 secs
lola: 87399329 markings, 225810448 edges, 30378 markings/sec, 740 secs
lola: 87506256 markings, 226100394 edges, 21385 markings/sec, 745 secs
lola: 87610494 markings, 226383980 edges, 20848 markings/sec, 750 secs
lola: 87724646 markings, 226692544 edges, 22830 markings/sec, 755 secs
lola: 87823270 markings, 226963002 edges, 19725 markings/sec, 760 secs
lola: 87942315 markings, 227285591 edges, 23809 markings/sec, 765 secs
lola: 88068137 markings, 227626517 edges, 25164 markings/sec, 770 secs
lola: 88182466 markings, 227937680 edges, 22866 markings/sec, 775 secs
lola: 88280675 markings, 228205374 edges, 19642 markings/sec, 780 secs
lola: 88371544 markings, 228450724 edges, 18174 markings/sec, 785 secs
lola: 88438237 markings, 228632312 edges, 13339 markings/sec, 790 secs
lola: 88482268 markings, 228750924 edges, 8806 markings/sec, 795 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no yes unknown unknown unknown yes unknown unknown unknown yes unknown unknown
lola:
preliminary result: yes no yes unknown unknown unknown yes unknown unknown unknown yes unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no yes unknown unknown unknown yes unknown unknown unknown yes unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: yes no yes unknown unknown unknown yes unknown unknown unknown yes unknown unknown
lola:
preliminary result: yes no yes unknown unknown unknown yes unknown unknown unknown yes unknown unknown
lola: memory consumption: 16016380 KB
lola: time consumption: 3575 seconds
lola: print data as JSON (--json)
lola: memory consumption: 16040244 KB
lola: time consumption: 3575 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: 88485903 markings, 228760851 edges, 727 markings/sec, 800 secs
rslt: finished
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427332 kB
MemFree: 136856 kB
After kill :
MemTotal: 16427332 kB
MemFree: 136356 kB
--------------------
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-04"
export BK_EXAMINATION="CTLFireability"
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-04, examination is CTLFireability"
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-158987827600236"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-04.tgz
mv Raft-PT-04 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;