About the Execution of ITS-LoLa for Raft-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15791.020 | 3600000.00 | 3524648.00 | 87346.90 | FFFF?FFTFFFT??F? | 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-158987827700282.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-10, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172-smll-158987827700282
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 420K
-rw-r--r-- 1 mcc users 3.4K Apr 12 08:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 12 08:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 11 09:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 11 09:46 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.4K 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.8K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 9 21:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 9 21:28 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 241K 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-10-00
FORMULA_NAME Raft-PT-10-01
FORMULA_NAME Raft-PT-10-02
FORMULA_NAME Raft-PT-10-03
FORMULA_NAME Raft-PT-10-04
FORMULA_NAME Raft-PT-10-05
FORMULA_NAME Raft-PT-10-06
FORMULA_NAME Raft-PT-10-07
FORMULA_NAME Raft-PT-10-08
FORMULA_NAME Raft-PT-10-09
FORMULA_NAME Raft-PT-10-10
FORMULA_NAME Raft-PT-10-11
FORMULA_NAME Raft-PT-10-12
FORMULA_NAME Raft-PT-10-13
FORMULA_NAME Raft-PT-10-14
FORMULA_NAME Raft-PT-10-15
=== Now, execution of the tool begins
BK_START 1591369043142
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-05 14:57:25] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-05 14:57:25] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-05 14:57:25] [INFO ] Load time of PNML (sax parser for PT used): 188 ms
[2020-06-05 14:57:25] [INFO ] Transformed 508 places.
[2020-06-05 14:57:25] [INFO ] Transformed 868 transitions.
[2020-06-05 14:57:25] [INFO ] Found NUPN structural information;
[2020-06-05 14:57:25] [INFO ] Parsed PT model containing 508 places and 868 transitions in 252 ms.
Ensure Unique test removed 42 transitions
Reduce redundant transitions removed 42 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 40 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 3785 steps, including 0 resets, run visited all 44 properties in 83 ms. (steps per millisecond=45 )
[2020-06-05 14:57:26] [INFO ] Initial state reduction rules for CTL removed 4 formulas.
[2020-06-05 14:57:26] [INFO ] Flatten gal took : 244 ms
FORMULA Raft-PT-10-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-10-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-10-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-10-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-05 14:57:26] [INFO ] Applying decomposition
[2020-06-05 14:57:26] [INFO ] Flatten gal took : 115 ms
[2020-06-05 14:57:26] [INFO ] Decomposing Gal with order
[2020-06-05 14:57:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-06-05 14:57:27] [INFO ] Removed a total of 738 redundant transitions.
[2020-06-05 14:57:27] [INFO ] Flatten gal took : 255 ms
[2020-06-05 14:57:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 384 labels/synchronizations in 74 ms.
[2020-06-05 14:57:27] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 8 ms.
[2020-06-05 14:57:27] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 22 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ Raft-PT-10 @ 3570 seconds
FORMULA Raft-PT-10-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-10-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-10-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-10-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-10-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-10-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-10-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-10-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-10-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-10-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ Raft-PT-10
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri Jun 5 14:57:28 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 296
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 296
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "G (((p300 <= 0) OR (p485 <= 0)))",
"processed_size": 33,
"rewrites": 60
},
"result":
{
"edges": 4,
"markings": 4,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 323
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 2,
"adisj": 0,
"aneg": 2,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X ((G (((p201 <= 0) OR (p480 <= 0))) OR F (((p300 <= 0) OR (p485 <= 0)))))",
"processed_size": 76,
"rewrites": 60
},
"result":
{
"edges": 78188,
"markings": 57494,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 0,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 323
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 2,
"X": 2,
"aconj": 3,
"adisj": 1,
"aneg": 0,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "((X (F (((p210 <= 0) OR (p475 <= 0)))) AND (((1 <= p275) AND (1 <= p485)) U X (((1 <= p275) AND (1 <= p485))))) U G (((1 <= p13) AND (1 <= p470))))",
"processed_size": 148,
"rewrites": 60
},
"result":
{
"edges": 209,
"markings": 209,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 10
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 2,
"X": 2,
"aconj": 4,
"adisj": 3,
"aneg": 0,
"comp": 11,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 11,
"taut": 0,
"tconj": 1,
"tdisj": 3,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 7,
"visible_transitions": 0
},
"processed": "X ((X ((((((1 <= p380) AND (1 <= p495)) U ((1 <= p7) AND (1 <= p465))) OR (G (((1 <= p463))) AND F (((1 <= p7) AND (1 <= p465))))) U ((p49 <= 0) OR (p455 <= 0)))) OR (((p49 <= 0)) OR ((p455 <= 0)))))",
"processed_size": 200,
"rewrites": 60
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 9
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 395
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 395
},
"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 <= p88) AND (1 <= p500))",
"processed_size": 28,
"rewrites": 60
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 3,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 445
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 2,
"aconj": 4,
"adisj": 0,
"aneg": 1,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X (G ((X ((F (((p88 <= 0) OR (p500 <= 0))) OR ((1 <= p88) AND (1 <= p500)))) AND (((1 <= p191)) AND ((1 <= p465))))))",
"processed_size": 118,
"rewrites": 60
},
"result":
{
"edges": 61,
"markings": 61,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 3,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 445
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 3,
"G": 0,
"U": 1,
"X": 1,
"aconj": 4,
"adisj": 0,
"aneg": 0,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "X (F ((F (((1 <= p111) AND (1 <= p480))) OR ((F (((1 <= p340) AND (1 <= p490))) U ((1 <= p99) AND (1 <= p460))) OR ((1 <= p99) AND (1 <= p460))))))",
"processed_size": 147,
"rewrites": 60
},
"result":
{
"edges": 60,
"markings": 60,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 508
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 508
},
"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 <= p222) AND (1 <= p500))",
"processed_size": 29,
"rewrites": 60
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 5,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 5,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 520
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 520
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "G (((p320 <= 0) OR (p490 <= 0)))",
"processed_size": 33,
"rewrites": 60
},
"result":
{
"edges": 4,
"markings": 4,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 650
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 1,
"X": 2,
"aconj": 3,
"adisj": 0,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "X (((((1 <= p160) AND (1 <= p470)) U ((1 <= p421) AND (1 <= p470))) OR X (((1 <= p325) AND (1 <= p490)))))",
"processed_size": 106,
"rewrites": 60
},
"result":
{
"edges": 68,
"markings": 68,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 7,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 650
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"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": "G (F (((1 <= p295) AND (1 <= p485))))",
"processed_size": 37,
"rewrites": 60
},
"result":
{
"edges": 71,
"markings": 69,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "fairness",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 867
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 1,
"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": "F (G ((((1 <= p488) AND (1 <= p507)) OR ((1 <= p185) AND (1 <= p475)))))",
"processed_size": 73,
"rewrites": 60
},
"result":
{
"edges": 72,
"markings": 69,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "stabilization",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1421
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1421
},
"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 <= p339) AND (1 <= p475))",
"processed_size": 29,
"rewrites": 60
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 11,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 11,
"type": "boolean"
}
},
{
"child":
[
{
"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 <= p222) AND (1 <= p500))",
"processed_size": 29,
"rewrites": 60
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 12,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 12,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 6620244,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(X((G(*) OR F(*))) OR (G(*) AND X(F((G(*) OR F(*)))))) : G(F(**)) : G(F((F(G(**)) OR **))) : F(G(**)) : ((X(F(**)) AND (** U X(**))) U G(**)) : X((X((((** U **) OR (G(**) AND F(**))) U **)) OR (** OR **))) : (X(G((X((F(*) OR **)) AND (** AND **)))) OR **) : X(F((F(**) OR ((F(**) U **) OR **)))) : ((X(F(*)) U (F(G(*)) AND (** AND **))) OR **) : X(G((G((F(*) AND F(*))) AND (F(*) OR G((F(*) AND F(*))))))) : (X(((** U **) OR X(**))) OR G(*)) : (F(**) OR **)"
},
"net":
{
"arcs": 3275,
"conflict_clusters": 25,
"places": 508,
"places_significant": 408,
"singleton_clusters": 0,
"transitions": 826
},
"result":
{
"interim_value": "no no unknown no no yes no no unknown unknown no unknown ",
"preliminary_value": "no no unknown no no yes no no unknown unknown no 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: 1334/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 508
lola: finding significant places
lola: 508 places, 826 transitions, 408 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: LP says that atomic proposition is always true: (p300 <= 1)
lola: LP says that atomic proposition is always true: (p485 <= 1)
lola: LP says that atomic proposition is always true: (p201 <= 1)
lola: LP says that atomic proposition is always true: (p480 <= 1)
lola: LP says that atomic proposition is always true: (p286 <= 1)
lola: LP says that atomic proposition is always true: (p470 <= 1)
lola: LP says that atomic proposition is always true: (p201 <= 1)
lola: LP says that atomic proposition is always true: (p480 <= 1)
lola: LP says that atomic proposition is always true: (p300 <= 1)
lola: LP says that atomic proposition is always true: (p485 <= 1)
lola: LP says that atomic proposition is always true: (p295 <= 1)
lola: LP says that atomic proposition is always true: (p485 <= 1)
lola: LP says that atomic proposition is always true: (p180 <= 1)
lola: LP says that atomic proposition is always true: (p470 <= 1)
lola: LP says that atomic proposition is always true: (p195 <= 1)
lola: LP says that atomic proposition is always true: (p475 <= 1)
lola: LP says that atomic proposition is always true: (p55 <= 1)
lola: LP says that atomic proposition is always true: (p460 <= 1)
lola: LP says that atomic proposition is always true: (p488 <= 1)
lola: LP says that atomic proposition is always true: (p507 <= 1)
lola: LP says that atomic proposition is always true: (p185 <= 1)
lola: LP says that atomic proposition is always true: (p475 <= 1)
lola: LP says that atomic proposition is always true: (p210 <= 1)
lola: LP says that atomic proposition is always true: (p475 <= 1)
lola: LP says that atomic proposition is always true: (p275 <= 1)
lola: LP says that atomic proposition is always true: (p485 <= 1)
lola: LP says that atomic proposition is always true: (p275 <= 1)
lola: LP says that atomic proposition is always true: (p485 <= 1)
lola: LP says that atomic proposition is always true: (p13 <= 1)
lola: LP says that atomic proposition is always true: (p470 <= 1)
lola: LP says that atomic proposition is always true: (p463 <= 1)
lola: LP says that atomic proposition is always true: (p380 <= 1)
lola: LP says that atomic proposition is always true: (p495 <= 1)
lola: LP says that atomic proposition is always true: (p7 <= 1)
lola: LP says that atomic proposition is always true: (p465 <= 1)
lola: LP says that atomic proposition is always true: (p49 <= 1)
lola: LP says that atomic proposition is always true: (p455 <= 1)
lola: LP says that atomic proposition is always true: (p49 <= 1)
lola: LP says that atomic proposition is always true: (p455 <= 1)
lola: LP says that atomic proposition is always true: (p88 <= 1)
lola: LP says that atomic proposition is always true: (p500 <= 1)
lola: LP says that atomic proposition is always true: (p88 <= 1)
lola: LP says that atomic proposition is always true: (p500 <= 1)
lola: LP says that atomic proposition is always true: (p191 <= 1)
lola: LP says that atomic proposition is always true: (p465 <= 1)
lola: LP says that atomic proposition is always true: (p88 <= 1)
lola: LP says that atomic proposition is always true: (p500 <= 1)
lola: LP says that atomic proposition is always true: (p111 <= 1)
lola: LP says that atomic proposition is always true: (p480 <= 1)
lola: LP says that atomic proposition is always true: (p340 <= 1)
lola: LP says that atomic proposition is always true: (p490 <= 1)
lola: LP says that atomic proposition is always true: (p99 <= 1)
lola: LP says that atomic proposition is always true: (p460 <= 1)
lola: LP says that atomic proposition is always true: (p99 <= 1)
lola: LP says that atomic proposition is always true: (p460 <= 1)
lola: LP says that atomic proposition is always true: (p305 <= 1)
lola: LP says that atomic proposition is always true: (p485 <= 1)
lola: LP says that atomic proposition is always true: (p465 <= 1)
lola: LP says that atomic proposition is always true: (p501 <= 1)
lola: LP says that atomic proposition is always true: (p222 <= 1)
lola: LP says that atomic proposition is always true: (p500 <= 1)
lola: LP says that atomic proposition is always true: (p222 <= 1)
lola: LP says that atomic proposition is always true: (p500 <= 1)
lola: LP says that atomic proposition is always true: (p279 <= 1)
lola: LP says that atomic proposition is always true: (p460 <= 1)
lola: LP says that atomic proposition is always true: (p228 <= 1)
lola: LP says that atomic proposition is always true: (p455 <= 1)
lola: LP says that atomic proposition is always true: (p279 <= 1)
lola: LP says that atomic proposition is always true: (p460 <= 1)
lola: LP says that atomic proposition is always true: (p160 <= 1)
lola: LP says that atomic proposition is always true: (p470 <= 1)
lola: LP says that atomic proposition is always true: (p421 <= 1)
lola: LP says that atomic proposition is always true: (p470 <= 1)
lola: LP says that atomic proposition is always true: (p325 <= 1)
lola: LP says that atomic proposition is always true: (p490 <= 1)
lola: LP says that atomic proposition is always true: (p320 <= 1)
lola: LP says that atomic proposition is always true: (p490 <= 1)
lola: LP says that atomic proposition is always true: (p483 <= 1)
lola: LP says that atomic proposition is always true: (p339 <= 1)
lola: LP says that atomic proposition is always true: (p475 <= 1)
lola: (NOT(F (((1 <= p300) AND (1 <= p485)))) U X ((NOT(F (((((1 <= p201) AND (1 <= p480)) OR ((1 <= p286) AND (1 <= p470))) U ((1 <= p201) AND (1 <= p480))))) OR NOT(G (((1 <= p300) AND (1 <= p485))))))) : F (NOT(X (F (NOT(G (F (X (((1 <= p295) AND (1 <= p485)))))))))) : F (G (F ((F (G (((p180 <= 0) OR (p470 <= 0)))) OR ((1 <= p195) AND (1 <= p475)))))) : F ((X (((1 <= p55) AND (1 <= p460))) U G ((((1 <= p488) AND (1 <= p507)) OR ((1 <= p185) AND (1 <= p475)))))) : ((X (F (((p210 <= 0) OR (p475 <= 0)))) AND (((1 <= p275) AND (1 <= p485)) U X (((1 <= p275) AND (1 <= p485))))) U G (((1 <= p13) AND (1 <= p470)))) : X (((X (((G (((1 <= p463))) U (((1 <= p380) AND (1 <= p495)) U ((1 <= p7) AND (1 <= p465)))) U ((p49 <= 0) OR (p455 <= 0)))) OR ((p49 <= 0))) OR ((p455 <= 0)))) : (X (G (((X ((NOT(G (((1 <= p88) AND (1 <= p500)))) OR ((1 <= p88) AND (1 <= p500)))) AND ((1 <= p191))) AND ((1 <= p465))))) OR ((1 <= p88) AND (1 <= p500))) : F ((X (F (((1 <= p111) AND (1 <= p480)))) OR X (((F (((1 <= p340) AND (1 <= p490))) U ((1 <= p99) AND (1 <= p460))) OR ((1 <= p99) AND (1 <= p460)))))) : ((X (NOT(G (((1 <= p305) AND (1 <= p485))))) U ((F (X (NOT(G (F (((1 <= p465) AND (1 <= p501))))))) AND ((1 <= p222))) AND ((1 <= p500)))) OR ((1 <= p222) AND (1 <= p500))) : G (X (NOT((G (((p279 <= 0) OR (p460 <= 0))) U F ((G (((1 <= p228) AND (1 <= p455))) OR G (((1 <= p279) AND (1 <= p460))))))))) : (X (((((1 <= p160) AND (1 <= p470)) U ((1 <= p421) AND (1 <= p470))) OR X (((1 <= p325) AND (1 <= p490))))) OR NOT(F (((1 <= p320) AND (1 <= p490))))) : (F (((1 <= p483))) OR ((1 <= p339) AND (1 <= p475)))
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
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 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X ((G (((p201 <= 0) OR (p480 <= 0))) OR F (((p300 <= 0) OR (p485 <= 0))))) OR (G (((p300 <= 0) OR (p485 <= 0))) AND X (F ((G (((p201 <= 0) OR (p480 <= 0))) OR F (((p300 <= 0) OR (p485 <= 0))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((p300 <= 0) OR (p485 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((p300 <= 0) OR (p485 <= 0)))
lola: processed formula length: 33
lola: 60 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 4 markings, 4 edges
lola: ========================================
lola: subprocess 1 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((G (((p201 <= 0) OR (p480 <= 0))) OR F (((p300 <= 0) OR (p485 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((G (((p201 <= 0) OR (p480 <= 0))) OR F (((p300 <= 0) OR (p485 <= 0)))))
lola: processed formula length: 76
lola: 60 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 57494 markings, 78188 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 1 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((X (F (((p210 <= 0) OR (p475 <= 0)))) AND (((1 <= p275) AND (1 <= p485)) U X (((1 <= p275) AND (1 <= p485))))) U G (((1 <= p13) AND (1 <= p470))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((X (F (((p210 <= 0) OR (p475 <= 0)))) AND (((1 <= p275) AND (1 <= p485)) U X (((1 <= p275) AND (1 <= p485))))) U G (((1 <= p13) AND (1 <= p470))))
lola: processed formula length: 148
lola: 60 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 209 markings, 209 edges
lola: ========================================
lola: subprocess 2 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((X ((((((1 <= p380) AND (1 <= p495)) U ((1 <= p7) AND (1 <= p465))) OR (G (((1 <= p463))) AND F (((1 <= p7) AND (1 <= p465))))) U ((p49 <= 0) OR (p455 <= 0)))) OR (((p49 <= 0)) OR ((p455 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((X ((((((1 <= p380) AND (1 <= p495)) U ((1 <= p7) AND (1 <= p465))) OR (G (((1 <= p463))) AND F (((1 <= p7) AND (1 <= p465))))) U ((p49 <= 0) OR (p455 <= 0)))) OR (((p49 <= 0)) OR ((p455 <= 0)))))
lola: processed formula length: 200
lola: 60 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 3 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (G ((X ((F (((p88 <= 0) OR (p500 <= 0))) OR ((1 <= p88) AND (1 <= p500)))) AND (((1 <= p191)) AND ((1 <= p465)))))) OR ((1 <= p88) AND (1 <= p500)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p88) AND (1 <= p500))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p88) AND (1 <= p500))
lola: processed formula length: 28
lola: 60 rewrites
lola: closed formula file LTLFireability.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 4 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((X ((F (((p88 <= 0) OR (p500 <= 0))) OR ((1 <= p88) AND (1 <= p500)))) AND (((1 <= p191)) AND ((1 <= p465))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((X ((F (((p88 <= 0) OR (p500 <= 0))) OR ((1 <= p88) AND (1 <= p500)))) AND (((1 <= p191)) AND ((1 <= p465))))))
lola: processed formula length: 118
lola: 60 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 61 markings, 61 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 4 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((F (((1 <= p111) AND (1 <= p480))) OR ((F (((1 <= p340) AND (1 <= p490))) U ((1 <= p99) AND (1 <= p460))) OR ((1 <= p99) AND (1 <= p460))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((F (((1 <= p111) AND (1 <= p480))) OR ((F (((1 <= p340) AND (1 <= p490))) U ((1 <= p99) AND (1 <= p460))) OR ((1 <= p99) AND (1 <= p460))))))
lola: processed formula length: 147
lola: 60 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 60 markings, 60 edges
lola: ========================================
lola: subprocess 5 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((X (F (((p305 <= 0) OR (p485 <= 0)))) U (F (G (((p465 <= 0) OR (p501 <= 0)))) AND (((1 <= p222)) AND ((1 <= p500))))) OR ((1 <= p222) AND (1 <= p500)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p222) AND (1 <= p500))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p222) AND (1 <= p500))
lola: processed formula length: 29
lola: 60 rewrites
lola: closed formula file LTLFireability.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 6 will run for 593 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (F (((p305 <= 0) OR (p485 <= 0)))) U (F (G (((p465 <= 0) OR (p501 <= 0)))) AND (((1 <= p222)) AND ((1 <= p500)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X (F (((p305 <= 0) OR (p485 <= 0)))) U (F (G (((p465 <= 0) OR (p501 <= 0)))) AND (((1 <= p222)) AND ((1 <= p500)))))
lola: processed formula length: 119
lola: 60 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 612971 markings, 841604 edges, 122594 markings/sec, 0 secs
lola: 1280613 markings, 1759430 edges, 133528 markings/sec, 5 secs
lola: 1934448 markings, 2664084 edges, 130767 markings/sec, 10 secs
lola: 2588932 markings, 3566602 edges, 130897 markings/sec, 15 secs
lola: 3244012 markings, 4468693 edges, 131016 markings/sec, 20 secs
lola: 3901635 markings, 5374979 edges, 131525 markings/sec, 25 secs
lola: 4545974 markings, 6261922 edges, 128868 markings/sec, 30 secs
lola: 5196862 markings, 7157352 edges, 130178 markings/sec, 35 secs
lola: 5839284 markings, 8045356 edges, 128484 markings/sec, 40 secs
lola: 6482762 markings, 8931205 edges, 128696 markings/sec, 45 secs
lola: 7143639 markings, 9841156 edges, 132175 markings/sec, 50 secs
lola: 7797262 markings, 10740466 edges, 130725 markings/sec, 55 secs
lola: 8439429 markings, 11625547 edges, 128433 markings/sec, 60 secs
lola: 9071986 markings, 12495818 edges, 126511 markings/sec, 65 secs
lola: 9719460 markings, 13387473 edges, 129495 markings/sec, 70 secs
lola: 10369597 markings, 14287345 edges, 130027 markings/sec, 75 secs
lola: 11019615 markings, 15179824 edges, 130004 markings/sec, 80 secs
lola: 11674317 markings, 16082309 edges, 130940 markings/sec, 85 secs
lola: 12323837 markings, 16976131 edges, 129904 markings/sec, 90 secs
lola: 12958744 markings, 17851473 edges, 126981 markings/sec, 95 secs
lola: 13594318 markings, 18726791 edges, 127115 markings/sec, 100 secs
lola: 14233104 markings, 19604787 edges, 127757 markings/sec, 105 secs
lola: 14868098 markings, 20484394 edges, 126999 markings/sec, 110 secs
lola: 15506784 markings, 21362118 edges, 127737 markings/sec, 115 secs
lola: 16144932 markings, 22241163 edges, 127630 markings/sec, 120 secs
lola: 16779270 markings, 23117842 edges, 126868 markings/sec, 125 secs
lola: 17404787 markings, 23977219 edges, 125103 markings/sec, 130 secs
lola: 18021221 markings, 24826105 edges, 123287 markings/sec, 135 secs
lola: 18655666 markings, 25699364 edges, 126889 markings/sec, 140 secs
lola: 19277238 markings, 26556467 edges, 124314 markings/sec, 145 secs
lola: 19896117 markings, 27408792 edges, 123776 markings/sec, 150 secs
lola: 20514308 markings, 28258650 edges, 123638 markings/sec, 155 secs
lola: 21141613 markings, 29127575 edges, 125461 markings/sec, 160 secs
lola: 21754886 markings, 29970977 edges, 122655 markings/sec, 165 secs
lola: 22371128 markings, 30819916 edges, 123248 markings/sec, 170 secs
lola: 22997278 markings, 31682886 edges, 125230 markings/sec, 175 secs
lola: 23574825 markings, 32477976 edges, 115509 markings/sec, 180 secs
lola: 24184689 markings, 33316780 edges, 121973 markings/sec, 185 secs
lola: 24824245 markings, 34200128 edges, 127911 markings/sec, 190 secs
lola: 25444029 markings, 35057253 edges, 123957 markings/sec, 195 secs
lola: 26054264 markings, 35897719 edges, 122047 markings/sec, 200 secs
lola: 26669178 markings, 36748277 edges, 122983 markings/sec, 205 secs
lola: 27297500 markings, 37621201 edges, 125664 markings/sec, 210 secs
lola: 27949806 markings, 38522112 edges, 130461 markings/sec, 215 secs
lola: 28611572 markings, 39430012 edges, 132353 markings/sec, 220 secs
lola: 29257535 markings, 40322398 edges, 129193 markings/sec, 225 secs
lola: 29902025 markings, 41213818 edges, 128898 markings/sec, 230 secs
lola: 30528633 markings, 42077910 edges, 125322 markings/sec, 235 secs
lola: 31180898 markings, 42974733 edges, 130453 markings/sec, 240 secs
lola: 31822071 markings, 43862087 edges, 128235 markings/sec, 245 secs
lola: 32457928 markings, 44741412 edges, 127171 markings/sec, 250 secs
lola: 33082495 markings, 45604572 edges, 124913 markings/sec, 255 secs
lola: 33718320 markings, 46478875 edges, 127165 markings/sec, 260 secs
lola: 34354843 markings, 47358053 edges, 127305 markings/sec, 265 secs
lola: 34991328 markings, 48234971 edges, 127297 markings/sec, 270 secs
lola: 35639410 markings, 49126551 edges, 129616 markings/sec, 275 secs
lola: 36284538 markings, 50014618 edges, 129026 markings/sec, 280 secs
lola: 36931800 markings, 50907115 edges, 129452 markings/sec, 285 secs
lola: 37581704 markings, 51801608 edges, 129981 markings/sec, 290 secs
lola: 38233532 markings, 52702783 edges, 130366 markings/sec, 295 secs
lola: 38885764 markings, 53601733 edges, 130446 markings/sec, 300 secs
lola: 39516163 markings, 54468997 edges, 126080 markings/sec, 305 secs
lola: 40141108 markings, 55328137 edges, 124989 markings/sec, 310 secs
lola: 40768564 markings, 56197401 edges, 125491 markings/sec, 315 secs
lola: 41336105 markings, 56978431 edges, 113508 markings/sec, 320 secs
lola: 41843392 markings, 57678189 edges, 101457 markings/sec, 325 secs
lola: 42338130 markings, 58358519 edges, 98948 markings/sec, 330 secs
lola: 42863976 markings, 59083675 edges, 105169 markings/sec, 335 secs
lola: 43419266 markings, 59849060 edges, 111058 markings/sec, 340 secs
lola: 43990451 markings, 60636350 edges, 114237 markings/sec, 345 secs
lola: 44302923 markings, 61067190 edges, 62494 markings/sec, 350 secs
lola: 44727814 markings, 61654875 edges, 84978 markings/sec, 355 secs
lola: 45263556 markings, 62395079 edges, 107148 markings/sec, 360 secs
lola: 45676560 markings, 62964954 edges, 82601 markings/sec, 365 secs
lola: 46096019 markings, 63542396 edges, 83892 markings/sec, 370 secs
lola: 46603580 markings, 64243583 edges, 101512 markings/sec, 375 secs
lola: 47120188 markings, 64955344 edges, 103322 markings/sec, 380 secs
lola: 47528638 markings, 65518129 edges, 81690 markings/sec, 385 secs
lola: 48119764 markings, 66332331 edges, 118225 markings/sec, 390 secs
lola: 48572182 markings, 66958323 edges, 90484 markings/sec, 395 secs
lola: 49095760 markings, 67680212 edges, 104716 markings/sec, 400 secs
lola: 49529147 markings, 68280732 edges, 86677 markings/sec, 405 secs
lola: 50051867 markings, 68998299 edges, 104544 markings/sec, 410 secs
lola: 50494751 markings, 69609454 edges, 88577 markings/sec, 415 secs
lola: 50962944 markings, 70256696 edges, 93639 markings/sec, 420 secs
lola: 51392312 markings, 70845733 edges, 85874 markings/sec, 425 secs
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: subprocess 6 will run for 520 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((G ((F (((p228 <= 0) OR (p455 <= 0))) AND F (((p279 <= 0) OR (p460 <= 0))))) AND (F (((1 <= p279) AND (1 <= p460))) OR G ((F (((p228 <= 0) OR (p455 <= 0))) AND F (((p279 <= 0) OR (p460 <= 0)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((G ((F (((p228 <= 0) OR (p455 <= 0))) AND F (((p279 <= 0) OR (p460 <= 0))))) AND (F (((1 <= p279) AND (1 <= p460))) OR G ((F (((p228 <= 0) OR (p455 <= 0))) AND F (((p279 <= 0) OR (p460 <= 0)))))))))
lola: processed formula length: 208
lola: 60 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 432532 markings, 980738 edges, 86506 markings/sec, 0 secs
lola: 903987 markings, 2056551 edges, 94291 markings/sec, 5 secs
lola: 1375432 markings, 3129260 edges, 94289 markings/sec, 10 secs
lola: 1849398 markings, 4218173 edges, 94793 markings/sec, 15 secs
lola: 2276937 markings, 5207170 edges, 85508 markings/sec, 20 secs
lola: 2742901 markings, 6284706 edges, 93193 markings/sec, 25 secs
lola: 3205955 markings, 7352366 edges, 92611 markings/sec, 30 secs
lola: 3668500 markings, 8413676 edges, 92509 markings/sec, 35 secs
lola: 4132940 markings, 9483151 edges, 92888 markings/sec, 40 secs
lola: 4589991 markings, 10540711 edges, 91410 markings/sec, 45 secs
lola: 5025187 markings, 11556037 edges, 87039 markings/sec, 50 secs
lola: 5480299 markings, 12615767 edges, 91022 markings/sec, 55 secs
lola: 5933157 markings, 13672970 edges, 90572 markings/sec, 60 secs
lola: 6387321 markings, 14734382 edges, 90833 markings/sec, 65 secs
lola: 6834039 markings, 15788581 edges, 89344 markings/sec, 70 secs
lola: 7281891 markings, 16834192 edges, 89570 markings/sec, 75 secs
lola: 7724587 markings, 17872764 edges, 88539 markings/sec, 80 secs
lola: 8179916 markings, 18927519 edges, 91066 markings/sec, 85 secs
lola: 8623429 markings, 19971962 edges, 88703 markings/sec, 90 secs
lola: 9063995 markings, 21011546 edges, 88113 markings/sec, 95 secs
lola: 9507786 markings, 22059959 edges, 88758 markings/sec, 100 secs
lola: 9953564 markings, 23109804 edges, 89156 markings/sec, 105 secs
lola: 10400769 markings, 24162953 edges, 89441 markings/sec, 110 secs
lola: 10841541 markings, 25207868 edges, 88154 markings/sec, 115 secs
lola: 11278456 markings, 26245278 edges, 87383 markings/sec, 120 secs
lola: 11722539 markings, 27289758 edges, 88817 markings/sec, 125 secs
lola: 12167096 markings, 28332977 edges, 88911 markings/sec, 130 secs
lola: 12607753 markings, 29375503 edges, 88131 markings/sec, 135 secs
lola: 13054038 markings, 30419747 edges, 89257 markings/sec, 140 secs
lola: 13510401 markings, 31468052 edges, 91273 markings/sec, 145 secs
lola: 13945182 markings, 32465180 edges, 86956 markings/sec, 150 secs
lola: 14381407 markings, 33501836 edges, 87245 markings/sec, 155 secs
lola: 14815070 markings, 34523095 edges, 86733 markings/sec, 160 secs
lola: 15260008 markings, 35553389 edges, 88988 markings/sec, 165 secs
lola: 15705094 markings, 36587968 edges, 89017 markings/sec, 170 secs
lola: 16149191 markings, 37629797 edges, 88819 markings/sec, 175 secs
lola: 16585386 markings, 38651189 edges, 87239 markings/sec, 180 secs
lola: 17028363 markings, 39687330 edges, 88595 markings/sec, 185 secs
lola: 17455918 markings, 40679361 edges, 85511 markings/sec, 190 secs
lola: 17895284 markings, 41693653 edges, 87873 markings/sec, 195 secs
lola: 18338203 markings, 42715710 edges, 88584 markings/sec, 200 secs
lola: 18772977 markings, 43730625 edges, 86955 markings/sec, 205 secs
lola: 19200452 markings, 44739728 edges, 85495 markings/sec, 210 secs
lola: 19633693 markings, 45755067 edges, 86648 markings/sec, 215 secs
lola: 20067835 markings, 46772822 edges, 86828 markings/sec, 220 secs
lola: 20508117 markings, 47798256 edges, 88056 markings/sec, 225 secs
lola: 20941390 markings, 48819486 edges, 86655 markings/sec, 230 secs
lola: 21380403 markings, 49850107 edges, 87803 markings/sec, 235 secs
lola: 21811248 markings, 50859224 edges, 86169 markings/sec, 240 secs
lola: 22247555 markings, 51888710 edges, 87261 markings/sec, 245 secs
lola: 22691129 markings, 52925471 edges, 88715 markings/sec, 250 secs
lola: 23130427 markings, 53953223 edges, 87860 markings/sec, 255 secs
lola: 23576545 markings, 54995384 edges, 89224 markings/sec, 260 secs
lola: 24026215 markings, 56025874 edges, 89934 markings/sec, 265 secs
lola: 24457994 markings, 57019040 edges, 86356 markings/sec, 270 secs
lola: 24904068 markings, 58044174 edges, 89215 markings/sec, 275 secs
lola: 25339879 markings, 59062061 edges, 87162 markings/sec, 280 secs
lola: 25765805 markings, 60080015 edges, 85185 markings/sec, 285 secs
lola: 26198107 markings, 61105815 edges, 86460 markings/sec, 290 secs
lola: 26629731 markings, 62126615 edges, 86325 markings/sec, 295 secs
lola: 27066769 markings, 63154010 edges, 87408 markings/sec, 300 secs
lola: 27489376 markings, 64143082 edges, 84521 markings/sec, 305 secs
lola: 27920022 markings, 65140769 edges, 86129 markings/sec, 310 secs
lola: 28349135 markings, 66161220 edges, 85823 markings/sec, 315 secs
lola: 28779719 markings, 67168744 edges, 86117 markings/sec, 320 secs
lola: 29204150 markings, 68175290 edges, 84886 markings/sec, 325 secs
lola: 29632160 markings, 69192333 edges, 85602 markings/sec, 330 secs
lola: 30069381 markings, 70217579 edges, 87444 markings/sec, 335 secs
lola: 30499346 markings, 71236840 edges, 85993 markings/sec, 340 secs
lola: 30932510 markings, 72260010 edges, 86633 markings/sec, 345 secs
lola: 31364862 markings, 73282585 edges, 86470 markings/sec, 350 secs
lola: 31798594 markings, 74309144 edges, 86746 markings/sec, 355 secs
lola: 32200128 markings, 75252203 edges, 80307 markings/sec, 360 secs
lola: 32651070 markings, 76290737 edges, 90188 markings/sec, 365 secs
lola: 33076914 markings, 77274457 edges, 85169 markings/sec, 370 secs
lola: 33484951 markings, 78233721 edges, 81607 markings/sec, 375 secs
lola: 33917278 markings, 79239807 edges, 86465 markings/sec, 380 secs
lola: 34352373 markings, 80251670 edges, 87019 markings/sec, 385 secs
lola: 34783559 markings, 81264055 edges, 86237 markings/sec, 390 secs
lola: 35221352 markings, 82287031 edges, 87559 markings/sec, 395 secs
lola: 35648920 markings, 83305208 edges, 85514 markings/sec, 400 secs
lola: 36076711 markings, 84316292 edges, 85558 markings/sec, 405 secs
lola: 36501109 markings, 85311774 edges, 84880 markings/sec, 410 secs
lola: 36848403 markings, 86113187 edges, 69459 markings/sec, 415 secs
lola: 37167683 markings, 86877068 edges, 63856 markings/sec, 420 secs
lola: 37500179 markings, 87662048 edges, 66499 markings/sec, 425 secs
lola: 37897643 markings, 88587365 edges, 79493 markings/sec, 430 secs
lola: 38296951 markings, 89509649 edges, 79862 markings/sec, 435 secs
lola: 38695342 markings, 90451066 edges, 79678 markings/sec, 440 secs
lola: 39096206 markings, 91398193 edges, 80173 markings/sec, 445 secs
lola: 39438587 markings, 92212081 edges, 68476 markings/sec, 450 secs
lola: 39749390 markings, 92947069 edges, 62161 markings/sec, 455 secs
lola: 40138432 markings, 93876510 edges, 77808 markings/sec, 460 secs
lola: 40510849 markings, 94759093 edges, 74483 markings/sec, 465 secs
lola: 40848271 markings, 95562179 edges, 67484 markings/sec, 470 secs
lola: 41200870 markings, 96391020 edges, 70520 markings/sec, 475 secs
lola: 41546560 markings, 97205350 edges, 69138 markings/sec, 480 secs
lola: 41857030 markings, 97939969 edges, 62094 markings/sec, 485 secs
lola: 42192897 markings, 98739021 edges, 67173 markings/sec, 490 secs
lola: 42478738 markings, 99417479 edges, 57168 markings/sec, 495 secs
lola: 42828540 markings, 100250898 edges, 69960 markings/sec, 500 secs
lola: 43170391 markings, 101066757 edges, 68370 markings/sec, 505 secs
lola: 43452620 markings, 101733350 edges, 56446 markings/sec, 510 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown no yes no no unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 520 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (((((1 <= p160) AND (1 <= p470)) U ((1 <= p421) AND (1 <= p470))) OR X (((1 <= p325) AND (1 <= p490))))) OR G (((p320 <= 0) OR (p490 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 520 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((p320 <= 0) OR (p490 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((p320 <= 0) OR (p490 <= 0)))
lola: processed formula length: 33
lola: 60 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 4 markings, 4 edges
lola: ========================================
lola: subprocess 8 will run for 650 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((((1 <= p160) AND (1 <= p470)) U ((1 <= p421) AND (1 <= p470))) OR X (((1 <= p325) AND (1 <= p490)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((((1 <= p160) AND (1 <= p470)) U ((1 <= p421) AND (1 <= p470))) OR X (((1 <= p325) AND (1 <= p490)))))
lola: processed formula length: 106
lola: 60 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 68 markings, 68 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 8 will run for 650 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((1 <= p295) AND (1 <= p485))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((1 <= p295) AND (1 <= p485))))
lola: processed formula length: 37
lola: 60 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 69 markings, 71 edges
lola: ========================================
lola: subprocess 9 will run for 867 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((((1 <= p488) AND (1 <= p507)) OR ((1 <= p185) AND (1 <= p475)))))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((((1 <= p488) AND (1 <= p507)) OR ((1 <= p185) AND (1 <= p475)))))
lola: processed formula length: 73
lola: 60 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 69 markings, 72 edges
lola: ========================================
lola: subprocess 10 will run for 1300 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((F (G (((p180 <= 0) OR (p470 <= 0)))) OR ((1 <= p195) AND (1 <= p475)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((F (G (((p180 <= 0) OR (p470 <= 0)))) OR ((1 <= p195) AND (1 <= p475)))))
lola: processed formula length: 80
lola: 60 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 196927 markings, 369380 edges, 39385 markings/sec, 0 secs
lola: 433305 markings, 846683 edges, 47276 markings/sec, 5 secs
lola: 677104 markings, 1350348 edges, 48760 markings/sec, 10 secs
lola: 927023 markings, 1864571 edges, 49984 markings/sec, 15 secs
lola: 1185352 markings, 2394262 edges, 51666 markings/sec, 20 secs
lola: 1426203 markings, 2890399 edges, 48170 markings/sec, 25 secs
lola: 1686402 markings, 3427830 edges, 52040 markings/sec, 30 secs
lola: 1946120 markings, 3960880 edges, 51944 markings/sec, 35 secs
lola: 2208881 markings, 4509569 edges, 52552 markings/sec, 40 secs
lola: 2470380 markings, 5055686 edges, 52300 markings/sec, 45 secs
lola: 2729992 markings, 5594574 edges, 51922 markings/sec, 50 secs
lola: 2970232 markings, 6100533 edges, 48048 markings/sec, 55 secs
lola: 3236380 markings, 6651071 edges, 53230 markings/sec, 60 secs
lola: 3497336 markings, 7187292 edges, 52191 markings/sec, 65 secs
lola: 3767494 markings, 7750520 edges, 54032 markings/sec, 70 secs
lola: 4028078 markings, 8283995 edges, 52117 markings/sec, 75 secs
lola: 4287886 markings, 8817529 edges, 51962 markings/sec, 80 secs
lola: 4557143 markings, 9376263 edges, 53851 markings/sec, 85 secs
lola: 4821737 markings, 9931183 edges, 52919 markings/sec, 90 secs
lola: 5079976 markings, 10469257 edges, 51648 markings/sec, 95 secs
lola: 5335443 markings, 11001922 edges, 51093 markings/sec, 100 secs
lola: 5577109 markings, 11503825 edges, 48333 markings/sec, 105 secs
lola: 5844879 markings, 12066597 edges, 53554 markings/sec, 110 secs
lola: 6110130 markings, 12617101 edges, 53050 markings/sec, 115 secs
lola: 6374859 markings, 13177075 edges, 52946 markings/sec, 120 secs
lola: 6643791 markings, 13740876 edges, 53786 markings/sec, 125 secs
lola: 6916802 markings, 14315723 edges, 54602 markings/sec, 130 secs
lola: 7191198 markings, 14886599 edges, 54879 markings/sec, 135 secs
lola: 7449833 markings, 15432605 edges, 51727 markings/sec, 140 secs
lola: 7717405 markings, 15998146 edges, 53514 markings/sec, 145 secs
lola: 7983245 markings, 16557292 edges, 53168 markings/sec, 150 secs
lola: 8246981 markings, 17107096 edges, 52747 markings/sec, 155 secs
lola: 8517318 markings, 17670988 edges, 54067 markings/sec, 160 secs
lola: 8787401 markings, 18234395 edges, 54017 markings/sec, 165 secs
lola: 9063961 markings, 18816092 edges, 55312 markings/sec, 170 secs
lola: 9335599 markings, 19377998 edges, 54328 markings/sec, 175 secs
lola: 9600818 markings, 19933747 edges, 53044 markings/sec, 180 secs
lola: 9864413 markings, 20489687 edges, 52719 markings/sec, 185 secs
lola: 10118100 markings, 21011750 edges, 50737 markings/sec, 190 secs
lola: 10391713 markings, 21591960 edges, 54723 markings/sec, 195 secs
lola: 10660091 markings, 22160663 edges, 53676 markings/sec, 200 secs
lola: 10902795 markings, 22665320 edges, 48541 markings/sec, 205 secs
lola: 11172209 markings, 23229493 edges, 53883 markings/sec, 210 secs
lola: 11436439 markings, 23781894 edges, 52846 markings/sec, 215 secs
lola: 11701378 markings, 24335035 edges, 52988 markings/sec, 220 secs
lola: 11972463 markings, 24911308 edges, 54217 markings/sec, 225 secs
lola: 12242328 markings, 25480357 edges, 53973 markings/sec, 230 secs
lola: 12513893 markings, 26055321 edges, 54313 markings/sec, 235 secs
lola: 12777903 markings, 26613933 edges, 52802 markings/sec, 240 secs
lola: 13040443 markings, 27160311 edges, 52508 markings/sec, 245 secs
lola: 13288092 markings, 27672738 edges, 49530 markings/sec, 250 secs
lola: 13543279 markings, 28197246 edges, 51037 markings/sec, 255 secs
lola: 13796652 markings, 28720258 edges, 50675 markings/sec, 260 secs
lola: 14055026 markings, 29253800 edges, 51675 markings/sec, 265 secs
lola: 14317629 markings, 29800688 edges, 52521 markings/sec, 270 secs
lola: 14581110 markings, 30350826 edges, 52696 markings/sec, 275 secs
lola: 14839488 markings, 30883720 edges, 51676 markings/sec, 280 secs
lola: 15102860 markings, 31424508 edges, 52674 markings/sec, 285 secs
lola: 15363096 markings, 31965493 edges, 52047 markings/sec, 290 secs
lola: 15614932 markings, 32483794 edges, 50367 markings/sec, 295 secs
lola: 15857649 markings, 32988454 edges, 48543 markings/sec, 300 secs
lola: 16116461 markings, 33524382 edges, 51762 markings/sec, 305 secs
lola: 16382921 markings, 34082428 edges, 53292 markings/sec, 310 secs
lola: 16646396 markings, 34635317 edges, 52695 markings/sec, 315 secs
lola: 16914394 markings, 35197337 edges, 53600 markings/sec, 320 secs
lola: 17181545 markings, 35745308 edges, 53430 markings/sec, 325 secs
lola: 17444594 markings, 36296854 edges, 52610 markings/sec, 330 secs
lola: 17697400 markings, 36839119 edges, 50561 markings/sec, 335 secs
lola: 17968277 markings, 37404587 edges, 54175 markings/sec, 340 secs
lola: 18229897 markings, 37941887 edges, 52324 markings/sec, 345 secs
lola: 18492502 markings, 38491164 edges, 52521 markings/sec, 350 secs
lola: 18763708 markings, 39054942 edges, 54241 markings/sec, 355 secs
lola: 19029780 markings, 39610258 edges, 53214 markings/sec, 360 secs
lola: 19279300 markings, 40131675 edges, 49904 markings/sec, 365 secs
lola: 19549803 markings, 40696956 edges, 54101 markings/sec, 370 secs
lola: 19819681 markings, 41259242 edges, 53976 markings/sec, 375 secs
lola: 20083443 markings, 41813662 edges, 52752 markings/sec, 380 secs
lola: 20321332 markings, 42320628 edges, 47578 markings/sec, 385 secs
lola: 20589840 markings, 42885008 edges, 53702 markings/sec, 390 secs
lola: 20852137 markings, 43441355 edges, 52459 markings/sec, 395 secs
lola: 21107895 markings, 43971110 edges, 51152 markings/sec, 400 secs
lola: 21382585 markings, 44541400 edges, 54938 markings/sec, 405 secs
lola: 21654268 markings, 45112130 edges, 54337 markings/sec, 410 secs
lola: 21920487 markings, 45667334 edges, 53244 markings/sec, 415 secs
lola: 22184323 markings, 46218494 edges, 52767 markings/sec, 420 secs
lola: 22439583 markings, 46746455 edges, 51052 markings/sec, 425 secs
lola: 22711916 markings, 47324336 edges, 54467 markings/sec, 430 secs
lola: 22976076 markings, 47871263 edges, 52832 markings/sec, 435 secs
lola: 23253173 markings, 48444869 edges, 55419 markings/sec, 440 secs
lola: 23514825 markings, 48983152 edges, 52330 markings/sec, 445 secs
lola: 23785291 markings, 49549610 edges, 54093 markings/sec, 450 secs
lola: 24054299 markings, 50100568 edges, 53802 markings/sec, 455 secs
lola: 24323790 markings, 50662178 edges, 53898 markings/sec, 460 secs
lola: 24569809 markings, 51200561 edges, 49204 markings/sec, 465 secs
lola: 24836609 markings, 51763626 edges, 53360 markings/sec, 470 secs
lola: 25106870 markings, 52331461 edges, 54052 markings/sec, 475 secs
lola: 25350497 markings, 52836089 edges, 48725 markings/sec, 480 secs
lola: 25596315 markings, 53368537 edges, 49164 markings/sec, 485 secs
lola: 25862740 markings, 53925740 edges, 53285 markings/sec, 490 secs
lola: 26128347 markings, 54491694 edges, 53121 markings/sec, 495 secs
lola: 26393498 markings, 55045240 edges, 53030 markings/sec, 500 secs
lola: 26630114 markings, 55531642 edges, 47323 markings/sec, 505 secs
lola: 26897865 markings, 56092292 edges, 53550 markings/sec, 510 secs
lola: 27166339 markings, 56659182 edges, 53695 markings/sec, 515 secs
lola: 27419519 markings, 57177988 edges, 50636 markings/sec, 520 secs
lola: 27664652 markings, 57686438 edges, 49027 markings/sec, 525 secs
lola: 27927877 markings, 58236551 edges, 52645 markings/sec, 530 secs
lola: 28195205 markings, 58803702 edges, 53466 markings/sec, 535 secs
lola: 28463325 markings, 59369242 edges, 53624 markings/sec, 540 secs
lola: 28728784 markings, 59920197 edges, 53092 markings/sec, 545 secs
lola: 29003536 markings, 60496840 edges, 54950 markings/sec, 550 secs
lola: 29263877 markings, 61044006 edges, 52068 markings/sec, 555 secs
lola: 29537067 markings, 61623900 edges, 54638 markings/sec, 560 secs
lola: 29799888 markings, 62180870 edges, 52564 markings/sec, 565 secs
lola: 30064369 markings, 62747610 edges, 52896 markings/sec, 570 secs
lola: 30315271 markings, 63281735 edges, 50180 markings/sec, 575 secs
lola: 30580216 markings, 63831424 edges, 52989 markings/sec, 580 secs
lola: 30849608 markings, 64395609 edges, 53878 markings/sec, 585 secs
lola: 31121769 markings, 64972123 edges, 54432 markings/sec, 590 secs
lola: 31374251 markings, 65506923 edges, 50496 markings/sec, 595 secs
lola: 31646580 markings, 66080677 edges, 54466 markings/sec, 600 secs
lola: 31909278 markings, 66636295 edges, 52540 markings/sec, 605 secs
lola: 32166723 markings, 67186104 edges, 51489 markings/sec, 610 secs
lola: 32435811 markings, 67752251 edges, 53818 markings/sec, 615 secs
lola: 32703213 markings, 68322953 edges, 53480 markings/sec, 620 secs
lola: 32975092 markings, 68880977 edges, 54376 markings/sec, 625 secs
lola: 33244880 markings, 69449084 edges, 53958 markings/sec, 630 secs
lola: 33499054 markings, 69983428 edges, 50835 markings/sec, 635 secs
lola: 33742274 markings, 70507793 edges, 48644 markings/sec, 640 secs
lola: 34001294 markings, 71059341 edges, 51804 markings/sec, 645 secs
lola: 34250765 markings, 71600179 edges, 49894 markings/sec, 650 secs
lola: 34504828 markings, 72151137 edges, 50813 markings/sec, 655 secs
lola: 34778242 markings, 72729923 edges, 54683 markings/sec, 660 secs
lola: 35030511 markings, 73240943 edges, 50454 markings/sec, 665 secs
lola: 35278930 markings, 73757897 edges, 49684 markings/sec, 670 secs
lola: 35532540 markings, 74269001 edges, 50722 markings/sec, 675 secs
lola: 35786739 markings, 74806330 edges, 50840 markings/sec, 680 secs
lola: 36036898 markings, 75320278 edges, 50032 markings/sec, 685 secs
lola: 36288905 markings, 75845050 edges, 50401 markings/sec, 690 secs
lola: 36542718 markings, 76365138 edges, 50763 markings/sec, 695 secs
lola: 36800998 markings, 76893844 edges, 51656 markings/sec, 700 secs
lola: 37057717 markings, 77422629 edges, 51344 markings/sec, 705 secs
lola: 37315162 markings, 77959550 edges, 51489 markings/sec, 710 secs
lola: 37573361 markings, 78503013 edges, 51640 markings/sec, 715 secs
lola: 37817913 markings, 79014459 edges, 48910 markings/sec, 720 secs
lola: 38069063 markings, 79536386 edges, 50230 markings/sec, 725 secs
lola: 38323951 markings, 80062926 edges, 50978 markings/sec, 730 secs
lola: 38581988 markings, 80585926 edges, 51607 markings/sec, 735 secs
lola: 38828771 markings, 81090242 edges, 49357 markings/sec, 740 secs
lola: 39082881 markings, 81622258 edges, 50822 markings/sec, 745 secs
lola: 39341873 markings, 82167061 edges, 51798 markings/sec, 750 secs
lola: 39594813 markings, 82699768 edges, 50588 markings/sec, 755 secs
lola: 39852175 markings, 83245809 edges, 51472 markings/sec, 760 secs
lola: 40110705 markings, 83796032 edges, 51706 markings/sec, 765 secs
lola: 40371003 markings, 84337950 edges, 52060 markings/sec, 770 secs
lola: 40630476 markings, 84881526 edges, 51895 markings/sec, 775 secs
lola: 40885129 markings, 85407037 edges, 50931 markings/sec, 780 secs
lola: 41140755 markings, 85933199 edges, 51125 markings/sec, 785 secs
lola: 41403623 markings, 86481250 edges, 52574 markings/sec, 790 secs
lola: 41651141 markings, 86992843 edges, 49504 markings/sec, 795 secs
lola: 41912569 markings, 87539478 edges, 52286 markings/sec, 800 secs
lola: 42174391 markings, 88090706 edges, 52364 markings/sec, 805 secs
lola: 42426324 markings, 88639951 edges, 50387 markings/sec, 810 secs
lola: 42687106 markings, 89188194 edges, 52156 markings/sec, 815 secs
lola: 42948606 markings, 89736765 edges, 52300 markings/sec, 820 secs
lola: 43215025 markings, 90291265 edges, 53284 markings/sec, 825 secs
lola: 43474923 markings, 90842839 edges, 51980 markings/sec, 830 secs
lola: 43732408 markings, 91376118 edges, 51497 markings/sec, 835 secs
lola: 43998523 markings, 91940378 edges, 53223 markings/sec, 840 secs
lola: 44259944 markings, 92494431 edges, 52284 markings/sec, 845 secs
lola: 44527532 markings, 93062447 edges, 53518 markings/sec, 850 secs
lola: 44786448 markings, 93610971 edges, 51783 markings/sec, 855 secs
lola: 45053045 markings, 94164418 edges, 53319 markings/sec, 860 secs
lola: 45318636 markings, 94721300 edges, 53118 markings/sec, 865 secs
lola: 45578715 markings, 95258604 edges, 52016 markings/sec, 870 secs
lola: 45842988 markings, 95811266 edges, 52855 markings/sec, 875 secs
lola: 46107064 markings, 96365780 edges, 52815 markings/sec, 880 secs
lola: 46374942 markings, 96924845 edges, 53576 markings/sec, 885 secs
lola: 46635514 markings, 97475090 edges, 52114 markings/sec, 890 secs
lola: 46898242 markings, 98029674 edges, 52546 markings/sec, 895 secs
lola: 47149221 markings, 98544653 edges, 50196 markings/sec, 900 secs
lola: 47393918 markings, 99074215 edges, 48939 markings/sec, 905 secs
lola: 47650716 markings, 99622439 edges, 51360 markings/sec, 910 secs
lola: 47915675 markings, 100178753 edges, 52992 markings/sec, 915 secs
lola: 48152710 markings, 100673721 edges, 47407 markings/sec, 920 secs
lola: 48387549 markings, 101161639 edges, 46968 markings/sec, 925 secs
lola: 48628740 markings, 101654570 edges, 48238 markings/sec, 930 secs
lola: 48877343 markings, 102167969 edges, 49721 markings/sec, 935 secs
lola: 49115948 markings, 102663521 edges, 47721 markings/sec, 940 secs
lola: 49365635 markings, 103179516 edges, 49937 markings/sec, 945 secs
lola: 49609624 markings, 103686960 edges, 48798 markings/sec, 950 secs
lola: 49856512 markings, 104199615 edges, 49378 markings/sec, 955 secs
lola: 50106036 markings, 104710623 edges, 49905 markings/sec, 960 secs
lola: 50348573 markings, 105209673 edges, 48507 markings/sec, 965 secs
lola: 50591963 markings, 105717038 edges, 48678 markings/sec, 970 secs
lola: 50843972 markings, 106241528 edges, 50402 markings/sec, 975 secs
lola: 51093604 markings, 106751135 edges, 49926 markings/sec, 980 secs
lola: 51336587 markings, 107259009 edges, 48597 markings/sec, 985 secs
lola: 51576139 markings, 107774923 edges, 47910 markings/sec, 990 secs
lola: 51822373 markings, 108281311 edges, 49247 markings/sec, 995 secs
lola: 52052982 markings, 108768392 edges, 46122 markings/sec, 1000 secs
lola: 52301546 markings, 109293162 edges, 49713 markings/sec, 1005 secs
lola: 52557309 markings, 109826196 edges, 51153 markings/sec, 1010 secs
lola: 52802125 markings, 110335526 edges, 48963 markings/sec, 1015 secs
lola: 53052828 markings, 110865360 edges, 50141 markings/sec, 1020 secs
lola: 53308319 markings, 111392880 edges, 51098 markings/sec, 1025 secs
lola: 53564978 markings, 111931528 edges, 51332 markings/sec, 1030 secs
lola: 53816558 markings, 112454081 edges, 50316 markings/sec, 1035 secs
lola: 54070503 markings, 112983029 edges, 50789 markings/sec, 1040 secs
lola: 54322585 markings, 113508234 edges, 50416 markings/sec, 1045 secs
lola: 54572609 markings, 114035087 edges, 50005 markings/sec, 1050 secs
lola: 54826766 markings, 114568842 edges, 50831 markings/sec, 1055 secs
lola: 55082614 markings, 115095601 edges, 51170 markings/sec, 1060 secs
lola: 55339310 markings, 115630810 edges, 51339 markings/sec, 1065 secs
lola: 55590468 markings, 116167015 edges, 50232 markings/sec, 1070 secs
lola: 55846754 markings, 116710645 edges, 51257 markings/sec, 1075 secs
lola: 56085465 markings, 117214541 edges, 47742 markings/sec, 1080 secs
lola: 56329898 markings, 117719592 edges, 48887 markings/sec, 1085 secs
lola: 56576585 markings, 118234707 edges, 49337 markings/sec, 1090 secs
lola: 56831540 markings, 118767406 edges, 50991 markings/sec, 1095 secs
lola: 57082501 markings, 119282888 edges, 50192 markings/sec, 1100 secs
lola: 57332997 markings, 119803027 edges, 50099 markings/sec, 1105 secs
lola: 57566112 markings, 120300871 edges, 46623 markings/sec, 1110 secs
lola: 57820390 markings, 120843669 edges, 50856 markings/sec, 1115 secs
lola: 58068955 markings, 121362492 edges, 49713 markings/sec, 1120 secs
lola: 58324427 markings, 121898015 edges, 51094 markings/sec, 1125 secs
lola: 58579156 markings, 122437327 edges, 50946 markings/sec, 1130 secs
lola: 58826953 markings, 122955446 edges, 49559 markings/sec, 1135 secs
lola: 59066501 markings, 123446076 edges, 47910 markings/sec, 1140 secs
lola: 59180657 markings, 123685785 edges, 22831 markings/sec, 1145 secs
lola: 59182355 markings, 123689804 edges, 340 markings/sec, 1150 secs
lola: 59182394 markings, 123689887 edges, 8 markings/sec, 1155 secs
lola: 59182451 markings, 123690030 edges, 11 markings/sec, 1160 secs
lola: 59182489 markings, 123690116 edges, 8 markings/sec, 1165 secs
lola: 59185891 markings, 123696859 edges, 680 markings/sec, 1170 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 1421 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((1 <= p483))) OR ((1 <= p339) AND (1 <= p475)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 1421 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p339) AND (1 <= p475))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p339) AND (1 <= p475))
lola: processed formula length: 29
lola: 60 rewrites
lola: closed formula file LTLFireability.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: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: ((X (F (((p305 <= 0) OR (p485 <= 0)))) U (F (G (((p465 <= 0) OR (p501 <= 0)))) AND (((1 <= p222)) AND ((1 <= p500))))) OR ((1 <= p222) AND (1 <= p500)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: ((1 <= p222) AND (1 <= p500))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p222) AND (1 <= p500))
lola: processed formula length: 29
lola: 60 rewrites
lola: closed formula file LTLFireability.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: ========================================
lola: ...considering subproblem: (X (F (((p305 <= 0) OR (p485 <= 0)))) U (F (G (((p465 <= 0) OR (p501 <= 0)))) AND (((1 <= p222)) AND ((1 <= p500)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X (F (((p305 <= 0) OR (p485 <= 0)))) U (F (G (((p465 <= 0) OR (p501 <= 0)))) AND (((1 <= p222)) AND ((1 <= p500)))))
lola: processed formula length: 119
lola: 60 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 656512 markings, 901106 edges, 131302 markings/sec, 0 secs
lola: 1314561 markings, 1806253 edges, 131610 markings/sec, 5 secs
lola: 1957372 markings, 2696077 edges, 128562 markings/sec, 10 secs
lola: 2604779 markings, 3588235 edges, 129481 markings/sec, 15 secs
lola: 3257315 markings, 4486919 edges, 130507 markings/sec, 20 secs
lola: 3912122 markings, 5389428 edges, 130961 markings/sec, 25 secs
lola: 4557852 markings, 6278425 edges, 129146 markings/sec, 30 secs
lola: 5215878 markings, 7183344 edges, 131605 markings/sec, 35 secs
lola: 5868089 markings, 8085213 edges, 130442 markings/sec, 40 secs
lola: 6517462 markings, 8978717 edges, 129875 markings/sec, 45 secs
lola: 7176541 markings, 9886977 edges, 131816 markings/sec, 50 secs
lola: 7830883 markings, 10786532 edges, 130868 markings/sec, 55 secs
lola: 8441783 markings, 11628745 edges, 122180 markings/sec, 60 secs
lola: 9067940 markings, 12490232 edges, 125231 markings/sec, 65 secs
lola: 9709489 markings, 13373588 edges, 128310 markings/sec, 70 secs
lola: 10346186 markings, 14255151 edges, 127339 markings/sec, 75 secs
lola: 10986201 markings, 15133698 edges, 128003 markings/sec, 80 secs
lola: 11638178 markings, 16032617 edges, 130395 markings/sec, 85 secs
lola: 12246388 markings, 16868988 edges, 121642 markings/sec, 90 secs
lola: 12872021 markings, 17731095 edges, 125127 markings/sec, 95 secs
lola: 13496265 markings, 18590756 edges, 124849 markings/sec, 100 secs
lola: 14132829 markings, 19466988 edges, 127313 markings/sec, 105 secs
lola: 14753764 markings, 20326551 edges, 124187 markings/sec, 110 secs
lola: 15352386 markings, 21148229 edges, 119724 markings/sec, 115 secs
lola: 15989871 markings, 22027302 edges, 127497 markings/sec, 120 secs
lola: 16625240 markings, 22905661 edges, 127074 markings/sec, 125 secs
lola: 17250491 markings, 23764247 edges, 125050 markings/sec, 130 secs
lola: 17837554 markings, 24573715 edges, 117413 markings/sec, 135 secs
lola: 18459277 markings, 25428861 edges, 124345 markings/sec, 140 secs
lola: 19012027 markings, 26190760 edges, 110550 markings/sec, 145 secs
lola: 19614519 markings, 27020365 edges, 120498 markings/sec, 150 secs
lola: 20180668 markings, 27799105 edges, 113230 markings/sec, 155 secs
lola: 20792904 markings, 28644905 edges, 122447 markings/sec, 160 secs
lola: 21378251 markings, 29452186 edges, 117069 markings/sec, 165 secs
lola: 21978477 markings, 30279886 edges, 120045 markings/sec, 170 secs
lola: 22590553 markings, 31121468 edges, 122415 markings/sec, 175 secs
lola: 23205302 markings, 31968949 edges, 122950 markings/sec, 180 secs
lola: 23806080 markings, 32795563 edges, 120156 markings/sec, 185 secs
lola: 24433691 markings, 33659716 edges, 125522 markings/sec, 190 secs
lola: 25062647 markings, 34530592 edges, 125791 markings/sec, 195 secs
lola: 25675412 markings, 35376768 edges, 122553 markings/sec, 200 secs
lola: 26287642 markings, 36220665 edges, 122446 markings/sec, 205 secs
lola: 26890631 markings, 37057549 edges, 120598 markings/sec, 210 secs
lola: 27519652 markings, 37927681 edges, 125804 markings/sec, 215 secs
lola: 28164092 markings, 38815820 edges, 128888 markings/sec, 220 secs
lola: 28788295 markings, 39673204 edges, 124841 markings/sec, 225 secs
lola: 29419247 markings, 40546710 edges, 126190 markings/sec, 230 secs
lola: 30056167 markings, 41426906 edges, 127384 markings/sec, 235 secs
lola: 30702480 markings, 42316660 edges, 129263 markings/sec, 240 secs
lola: 31354204 markings, 43214898 edges, 130345 markings/sec, 245 secs
lola: 31986497 markings, 44091158 edges, 126459 markings/sec, 250 secs
lola: 32621458 markings, 44965484 edges, 126992 markings/sec, 255 secs
lola: 33266282 markings, 45856454 edges, 128965 markings/sec, 260 secs
lola: 33895810 markings, 46723198 edges, 125906 markings/sec, 265 secs
lola: 34530577 markings, 47602120 edges, 126953 markings/sec, 270 secs
lola: 35171896 markings, 48482607 edges, 128264 markings/sec, 275 secs
lola: 35819883 markings, 49376028 edges, 129597 markings/sec, 280 secs
lola: 36474285 markings, 50275860 edges, 130880 markings/sec, 285 secs
lola: 37121769 markings, 51167959 edges, 129497 markings/sec, 290 secs
lola: 37777975 markings, 52073051 edges, 131241 markings/sec, 295 secs
lola: 38433427 markings, 52978850 edges, 131090 markings/sec, 300 secs
lola: 39089313 markings, 53880922 edges, 131177 markings/sec, 305 secs
lola: 39704650 markings, 54727184 edges, 123067 markings/sec, 310 secs
lola: 40324872 markings, 55583884 edges, 124044 markings/sec, 315 secs
lola: 40946782 markings, 56441707 edges, 124382 markings/sec, 320 secs
lola: 41521449 markings, 57234817 edges, 114933 markings/sec, 325 secs
lola: 41948643 markings, 57822078 edges, 85439 markings/sec, 330 secs
lola: 42500483 markings, 58583230 edges, 110368 markings/sec, 335 secs
lola: 42968565 markings, 59227106 edges, 93616 markings/sec, 340 secs
lola: 43415206 markings, 59843510 edges, 89328 markings/sec, 345 secs
lola: 43891423 markings, 60499930 edges, 95243 markings/sec, 350 secs
lola: 44352454 markings, 61135699 edges, 92206 markings/sec, 355 secs
lola: 44779111 markings, 61726360 edges, 85331 markings/sec, 360 secs
lola: 45240835 markings, 62363937 edges, 92345 markings/sec, 365 secs
lola: 45748312 markings, 63063337 edges, 101495 markings/sec, 370 secs
lola: 46174119 markings, 63649792 edges, 85161 markings/sec, 375 secs
lola: 46585293 markings, 64218148 edges, 82235 markings/sec, 380 secs
lola: 47056558 markings, 64867875 edges, 94253 markings/sec, 385 secs
lola: 47534443 markings, 65526130 edges, 95577 markings/sec, 390 secs
lola: 47991747 markings, 66155637 edges, 91461 markings/sec, 395 secs
lola: 48437341 markings, 66772749 edges, 89119 markings/sec, 400 secs
lola: 48958285 markings, 67490558 edges, 104189 markings/sec, 405 secs
lola: 49464798 markings, 68192482 edges, 101303 markings/sec, 410 secs
lola: 49881859 markings, 68765189 edges, 83412 markings/sec, 415 secs
lola: 50330102 markings, 69383376 edges, 89649 markings/sec, 420 secs
lola: 50746453 markings, 69959590 edges, 83270 markings/sec, 425 secs
lola: 51257194 markings, 70660094 edges, 102148 markings/sec, 430 secs
lola: 51474057 markings, 70957958 edges, 43373 markings/sec, 435 secs
lola: 51482905 markings, 70970131 edges, 1770 markings/sec, 440 secs
lola: 51483032 markings, 70970302 edges, 25 markings/sec, 445 secs
lola: 51485054 markings, 70973042 edges, 404 markings/sec, 450 secs
lola: 51485144 markings, 70973161 edges, 18 markings/sec, 455 secs
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: X (G ((G ((F (((p228 <= 0) OR (p455 <= 0))) AND F (((p279 <= 0) OR (p460 <= 0))))) AND (F (((1 <= p279) AND (1 <= p460))) OR G ((F (((p228 <= 0) OR (p455 <= 0))) AND F (((p279 <= 0) OR (p460 <= 0)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((G ((F (((p228 <= 0) OR (p455 <= 0))) AND F (((p279 <= 0) OR (p460 <= 0))))) AND (F (((1 <= p279) AND (1 <= p460))) OR G ((F (((p228 <= 0) OR (p455 <= 0))) AND F (((p279 <= 0) OR (p460 <= 0)))))))))
lola: processed formula length: 208
lola: 60 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 467869 markings, 1061739 edges, 93574 markings/sec, 0 secs
lola: 935554 markings, 2128788 edges, 93537 markings/sec, 5 secs
lola: 1406070 markings, 3200489 edges, 94103 markings/sec, 10 secs
lola: 1876018 markings, 4279944 edges, 93990 markings/sec, 15 secs
lola: 2317689 markings, 5299537 edges, 88334 markings/sec, 20 secs
lola: 2776453 markings, 6364366 edges, 91753 markings/sec, 25 secs
lola: 3243758 markings, 7438186 edges, 93461 markings/sec, 30 secs
lola: 3688197 markings, 8459296 edges, 88888 markings/sec, 35 secs
lola: 4154994 markings, 9533661 edges, 93359 markings/sec, 40 secs
lola: 4595464 markings, 10553021 edges, 88094 markings/sec, 45 secs
lola: 5049077 markings, 11611447 edges, 90723 markings/sec, 50 secs
lola: 5505387 markings, 12674389 edges, 91262 markings/sec, 55 secs
lola: 5943896 markings, 13698033 edges, 87702 markings/sec, 60 secs
lola: 6400813 markings, 14766124 edges, 91383 markings/sec, 65 secs
lola: 6849370 markings, 15824714 edges, 89711 markings/sec, 70 secs
lola: 7299388 markings, 16875520 edges, 90004 markings/sec, 75 secs
lola: 7745553 markings, 17921619 edges, 89233 markings/sec, 80 secs
lola: 8184476 markings, 18938393 edges, 87785 markings/sec, 85 secs
lola: 8629419 markings, 19985989 edges, 88989 markings/sec, 90 secs
lola: 9057235 markings, 20995208 edges, 85563 markings/sec, 95 secs
lola: 9500548 markings, 22043134 edges, 88663 markings/sec, 100 secs
lola: 9945931 markings, 23091408 edges, 89077 markings/sec, 105 secs
lola: 10390987 markings, 24140032 edges, 89011 markings/sec, 110 secs
lola: 10831480 markings, 25184311 edges, 88099 markings/sec, 115 secs
lola: 11268210 markings, 26221361 edges, 87346 markings/sec, 120 secs
lola: 11710970 markings, 27261262 edges, 88552 markings/sec, 125 secs
lola: 12153033 markings, 28300467 edges, 88413 markings/sec, 130 secs
lola: 12592710 markings, 29340119 edges, 87935 markings/sec, 135 secs
lola: 13037787 markings, 30382383 edges, 89015 markings/sec, 140 secs
lola: 13492875 markings, 31427340 edges, 91018 markings/sec, 145 secs
lola: 13925555 markings, 32418473 edges, 86536 markings/sec, 150 secs
lola: 14344363 markings, 33413588 edges, 83762 markings/sec, 155 secs
lola: 14757232 markings, 34387262 edges, 82574 markings/sec, 160 secs
lola: 15196073 markings, 35401741 edges, 87768 markings/sec, 165 secs
lola: 15632677 markings, 36419263 edges, 87321 markings/sec, 170 secs
lola: 16046953 markings, 37388012 edges, 82855 markings/sec, 175 secs
lola: 16488277 markings, 38421316 edges, 88265 markings/sec, 180 secs
lola: 16930996 markings, 39458760 edges, 88544 markings/sec, 185 secs
lola: 17374542 markings, 40493035 edges, 88709 markings/sec, 190 secs
lola: 17815273 markings, 41508136 edges, 88146 markings/sec, 195 secs
lola: 18256942 markings, 42530198 edges, 88334 markings/sec, 200 secs
lola: 18698344 markings, 43556166 edges, 88280 markings/sec, 205 secs
lola: 19127821 markings, 44568272 edges, 85895 markings/sec, 210 secs
lola: 19561156 markings, 45585122 edges, 86667 markings/sec, 215 secs
lola: 19997374 markings, 46603809 edges, 87244 markings/sec, 220 secs
lola: 20437482 markings, 47631273 edges, 88022 markings/sec, 225 secs
lola: 20871005 markings, 48651990 edges, 86705 markings/sec, 230 secs
lola: 21306897 markings, 49678822 edges, 87178 markings/sec, 235 secs
lola: 21742482 markings, 50696883 edges, 87117 markings/sec, 240 secs
lola: 22177821 markings, 51725272 edges, 87068 markings/sec, 245 secs
lola: 22621976 markings, 52765277 edges, 88831 markings/sec, 250 secs
lola: 23063199 markings, 53794933 edges, 88245 markings/sec, 255 secs
lola: 23505410 markings, 54831385 edges, 88442 markings/sec, 260 secs
lola: 23952091 markings, 55855646 edges, 89336 markings/sec, 265 secs
lola: 24365468 markings, 56807249 edges, 82675 markings/sec, 270 secs
lola: 24808334 markings, 57823486 edges, 88573 markings/sec, 275 secs
lola: 25246166 markings, 58840474 edges, 87566 markings/sec, 280 secs
lola: 25671762 markings, 59854938 edges, 85119 markings/sec, 285 secs
lola: 26100488 markings, 60874942 edges, 85745 markings/sec, 290 secs
lola: 26533579 markings, 61899471 edges, 86618 markings/sec, 295 secs
lola: 26963920 markings, 62910237 edges, 86068 markings/sec, 300 secs
lola: 27382228 markings, 63893115 edges, 83662 markings/sec, 305 secs
lola: 27805650 markings, 64876042 edges, 84684 markings/sec, 310 secs
lola: 28230176 markings, 65879146 edges, 84905 markings/sec, 315 secs
lola: 28656966 markings, 66880661 edges, 85358 markings/sec, 320 secs
lola: 29076368 markings, 67868818 edges, 83880 markings/sec, 325 secs
lola: 29501486 markings, 68879230 edges, 85024 markings/sec, 330 secs
lola: 29931850 markings, 69897288 edges, 86073 markings/sec, 335 secs
lola: 30358992 markings, 70909424 edges, 85428 markings/sec, 340 secs
lola: 30796315 markings, 71939173 edges, 87465 markings/sec, 345 secs
lola: 31227282 markings, 72957214 edges, 86193 markings/sec, 350 secs
lola: 31665579 markings, 73991330 edges, 87659 markings/sec, 355 secs
lola: 32092337 markings, 75001888 edges, 85352 markings/sec, 360 secs
lola: 32540570 markings, 76037689 edges, 89647 markings/sec, 365 secs
lola: 32981397 markings, 77051555 edges, 88165 markings/sec, 370 secs
lola: 33395839 markings, 78023080 edges, 82888 markings/sec, 375 secs
lola: 33826865 markings, 79026659 edges, 86205 markings/sec, 380 secs
lola: 34262351 markings, 80041749 edges, 87097 markings/sec, 385 secs
lola: 34701608 markings, 81067173 edges, 87851 markings/sec, 390 secs
lola: 35137040 markings, 82090494 edges, 87086 markings/sec, 395 secs
lola: 35570448 markings, 83115645 edges, 86682 markings/sec, 400 secs
lola: 36000153 markings, 84135748 edges, 85941 markings/sec, 405 secs
lola: 36430281 markings, 85143550 edges, 86026 markings/sec, 410 secs
lola: 36860874 markings, 86141490 edges, 86119 markings/sec, 415 secs
lola: 37164212 markings, 86868565 edges, 60668 markings/sec, 420 secs
lola: 37457791 markings, 87562391 edges, 58716 markings/sec, 425 secs
lola: 37755655 markings, 88261681 edges, 59573 markings/sec, 430 secs
lola: 38137338 markings, 89140344 edges, 76337 markings/sec, 435 secs
lola: 38527436 markings, 90052175 edges, 78020 markings/sec, 440 secs
lola: 38884698 markings, 90898326 edges, 71452 markings/sec, 445 secs
lola: 39233698 markings, 91726382 edges, 69800 markings/sec, 450 secs
lola: 39564553 markings, 92511042 edges, 66171 markings/sec, 455 secs
lola: 39848060 markings, 93180012 edges, 56701 markings/sec, 460 secs
lola: 40154990 markings, 93915878 edges, 61386 markings/sec, 465 secs
lola: 40508940 markings, 94754573 edges, 70790 markings/sec, 470 secs
lola: 40851484 markings, 95569913 edges, 68509 markings/sec, 475 secs
lola: 41132237 markings, 96229249 edges, 56151 markings/sec, 480 secs
lola: 41502369 markings, 97101298 edges, 74026 markings/sec, 485 secs
lola: 41847808 markings, 97917771 edges, 69088 markings/sec, 490 secs
lola: 42185338 markings, 98721080 edges, 67506 markings/sec, 495 secs
lola: 42543947 markings, 99570035 edges, 71722 markings/sec, 500 secs
lola: 42825095 markings, 100242521 edges, 56230 markings/sec, 505 secs
lola: 43210887 markings, 101163176 edges, 77158 markings/sec, 510 secs
lola: 43538542 markings, 101933291 edges, 65531 markings/sec, 515 secs
lola: 43828803 markings, 102614439 edges, 58052 markings/sec, 520 secs
lola: 44219984 markings, 103550236 edges, 78236 markings/sec, 525 secs
lola: 44572147 markings, 104388763 edges, 70433 markings/sec, 530 secs
lola: 44940753 markings, 105259588 edges, 73721 markings/sec, 535 secs
lola: 45290243 markings, 106086436 edges, 69898 markings/sec, 540 secs
lola: 45625055 markings, 106880645 edges, 66962 markings/sec, 545 secs
lola: 45869064 markings, 107454240 edges, 48802 markings/sec, 550 secs
lola: 45929859 markings, 107597720 edges, 12159 markings/sec, 555 secs
lola: 45930440 markings, 107599055 edges, 116 markings/sec, 560 secs
lola: 45930518 markings, 107599254 edges, 16 markings/sec, 565 secs
lola: 45930558 markings, 107599341 edges, 8 markings/sec, 570 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: G (F ((F (G (((p180 <= 0) OR (p470 <= 0)))) OR ((1 <= p195) AND (1 <= p475)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((F (G (((p180 <= 0) OR (p470 <= 0)))) OR ((1 <= p195) AND (1 <= p475)))))
lola: processed formula length: 80
lola: 60 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 207789 markings, 389984 edges, 41558 markings/sec, 0 secs
lola: 428356 markings, 835774 edges, 44113 markings/sec, 5 secs
lola: 670381 markings, 1336540 edges, 48405 markings/sec, 10 secs
lola: 918963 markings, 1848250 edges, 49716 markings/sec, 15 secs
lola: 1175772 markings, 2375653 edges, 51362 markings/sec, 20 secs
lola: 1411919 markings, 2861818 edges, 47229 markings/sec, 25 secs
lola: 1671661 markings, 3397413 edges, 51948 markings/sec, 30 secs
lola: 1916342 markings, 3900760 edges, 48936 markings/sec, 35 secs
lola: 2180806 markings, 4451075 edges, 52893 markings/sec, 40 secs
lola: 2443672 markings, 4997053 edges, 52573 markings/sec, 45 secs
lola: 2706220 markings, 5545040 edges, 52510 markings/sec, 50 secs
lola: 2971392 markings, 6102709 edges, 53034 markings/sec, 55 secs
lola: 3238021 markings, 6654208 edges, 53326 markings/sec, 60 secs
lola: 3510060 markings, 7214679 edges, 54408 markings/sec, 65 secs
lola: 3781964 markings, 7779722 edges, 54381 markings/sec, 70 secs
lola: 4041796 markings, 8309014 edges, 51966 markings/sec, 75 secs
lola: 4303058 markings, 8849005 edges, 52252 markings/sec, 80 secs
lola: 4575835 markings, 9412718 edges, 54555 markings/sec, 85 secs
lola: 4835486 markings, 9960422 edges, 51930 markings/sec, 90 secs
lola: 5093846 markings, 10498632 edges, 51672 markings/sec, 95 secs
lola: 5349361 markings, 11028894 edges, 51103 markings/sec, 100 secs
lola: 5607230 markings, 11565670 edges, 51574 markings/sec, 105 secs
lola: 5873792 markings, 12123554 edges, 53312 markings/sec, 110 secs
lola: 6124951 markings, 12650237 edges, 50232 markings/sec, 115 secs
lola: 6392078 markings, 13212448 edges, 53425 markings/sec, 120 secs
lola: 6659965 markings, 13774375 edges, 53577 markings/sec, 125 secs
lola: 6930495 markings, 14343827 edges, 54106 markings/sec, 130 secs
lola: 7200411 markings, 14903870 edges, 53983 markings/sec, 135 secs
lola: 7472500 markings, 15479027 edges, 54418 markings/sec, 140 secs
lola: 7739410 markings, 16044645 edges, 53382 markings/sec, 145 secs
lola: 8002354 markings, 16597514 edges, 52589 markings/sec, 150 secs
lola: 8263093 markings, 17141845 edges, 52148 markings/sec, 155 secs
lola: 8533241 markings, 17703104 edges, 54030 markings/sec, 160 secs
lola: 8802484 markings, 18266470 edges, 53849 markings/sec, 165 secs
lola: 9078256 markings, 18846906 edges, 55154 markings/sec, 170 secs
lola: 9349577 markings, 19407847 edges, 54264 markings/sec, 175 secs
lola: 9614292 markings, 19961749 edges, 52943 markings/sec, 180 secs
lola: 9879739 markings, 20520159 edges, 53089 markings/sec, 185 secs
lola: 10134463 markings, 21046341 edges, 50945 markings/sec, 190 secs
lola: 10410477 markings, 21632622 edges, 55203 markings/sec, 195 secs
lola: 10679043 markings, 22201683 edges, 53713 markings/sec, 200 secs
lola: 10947811 markings, 22757824 edges, 53754 markings/sec, 205 secs
lola: 11221800 markings, 23335423 edges, 54798 markings/sec, 210 secs
lola: 11484840 markings, 23883100 edges, 52608 markings/sec, 215 secs
lola: 11752934 markings, 24446698 edges, 53619 markings/sec, 220 secs
lola: 12021316 markings, 25015178 edges, 53676 markings/sec, 225 secs
lola: 12274791 markings, 25549092 edges, 50695 markings/sec, 230 secs
lola: 12546057 markings, 26126376 edges, 54253 markings/sec, 235 secs
lola: 12808517 markings, 26681442 edges, 52492 markings/sec, 240 secs
lola: 13073418 markings, 27225013 edges, 52980 markings/sec, 245 secs
lola: 13319796 markings, 27740709 edges, 49276 markings/sec, 250 secs
lola: 13573884 markings, 28256428 edges, 50818 markings/sec, 255 secs
lola: 13811044 markings, 28748777 edges, 47432 markings/sec, 260 secs
lola: 14069247 markings, 29282919 edges, 51641 markings/sec, 265 secs
lola: 14332351 markings, 29833671 edges, 52621 markings/sec, 270 secs
lola: 14596580 markings, 30382678 edges, 52846 markings/sec, 275 secs
lola: 14856891 markings, 30921145 edges, 52062 markings/sec, 280 secs
lola: 15119145 markings, 31457601 edges, 52451 markings/sec, 285 secs
lola: 15378261 markings, 31998214 edges, 51823 markings/sec, 290 secs
lola: 15631407 markings, 32517717 edges, 50629 markings/sec, 295 secs
lola: 15889104 markings, 33052571 edges, 51539 markings/sec, 300 secs
lola: 16150025 markings, 33594926 edges, 52184 markings/sec, 305 secs
lola: 16418735 markings, 34158250 edges, 53742 markings/sec, 310 secs
lola: 16682075 markings, 34709902 edges, 52668 markings/sec, 315 secs
lola: 16951812 markings, 35273445 edges, 53947 markings/sec, 320 secs
lola: 17219697 markings, 35824924 edges, 53577 markings/sec, 325 secs
lola: 17481802 markings, 36378239 edges, 52421 markings/sec, 330 secs
lola: 17737588 markings, 36924291 edges, 51157 markings/sec, 335 secs
lola: 18007244 markings, 37479797 edges, 53931 markings/sec, 340 secs
lola: 18269146 markings, 38022373 edges, 52380 markings/sec, 345 secs
lola: 18534552 markings, 38577806 edges, 53081 markings/sec, 350 secs
lola: 18804686 markings, 39140897 edges, 54027 markings/sec, 355 secs
lola: 19074929 markings, 39699403 edges, 54049 markings/sec, 360 secs
lola: time limit reached - aborting
lola:
preliminary result: no no unknown no no yes no no unknown unknown no unknown
lola:
preliminary result: no no unknown no no yes no no unknown unknown no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no unknown no no yes no no unknown unknown no unknown
lola: memory consumption: 6620244 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no unknown no no yes no no unknown unknown no unknown
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Raft-PT-10"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is Raft-PT-10, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r172-smll-158987827700282"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-10.tgz
mv Raft-PT-10 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;