About the Execution of 2019-Gold for Raft-PT-06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15918.590 | 3570181.00 | 3597418.00 | 10834.40 | FTFFFTTF?F???TTF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r150-smll-158961529300064.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool win2019
Input is Raft-PT-06, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r150-smll-158961529300064
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 268K
-rw-r--r-- 1 mcc users 2.8K Apr 12 08:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 12 08:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 11 09:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K Apr 11 09:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Apr 10 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 9 21:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 9 21:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 89K Mar 24 05:38 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME Raft-PT-06-00
FORMULA_NAME Raft-PT-06-01
FORMULA_NAME Raft-PT-06-02
FORMULA_NAME Raft-PT-06-03
FORMULA_NAME Raft-PT-06-04
FORMULA_NAME Raft-PT-06-05
FORMULA_NAME Raft-PT-06-06
FORMULA_NAME Raft-PT-06-07
FORMULA_NAME Raft-PT-06-08
FORMULA_NAME Raft-PT-06-09
FORMULA_NAME Raft-PT-06-10
FORMULA_NAME Raft-PT-06-11
FORMULA_NAME Raft-PT-06-12
FORMULA_NAME Raft-PT-06-13
FORMULA_NAME Raft-PT-06-14
FORMULA_NAME Raft-PT-06-15
=== Now, execution of the tool begins
BK_START 1589923057143
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ Raft-PT-06 @ 3570 seconds
FORMULA Raft-PT-06-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ Raft-PT-06
{
"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": "mcc2019",
"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": "Tue May 19 21:17:37 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (X (X ((G (NOT FIREABLE(t219)) AND X (F (FIREABLE(t43)))))))",
"processed_size": 62,
"rewrites": 85
},
"result":
{
"edges": 7,
"markings": 7,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 0,
"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": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 4,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 7,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 3,
"tdisj": 3,
"tneg": 0,
"transition_references": 9,
"unfir": 2,
"visible_places": 0,
"visible_transitions": 4
},
"processed": "A (((((FIREABLE(t4) AND FIREABLE(t286)) OR X (FIREABLE(t124))) AND X (NOT FIREABLE(t286))) OR (G (FIREABLE(t35)) AND F ((((FIREABLE(t4) AND FIREABLE(t286)) OR X (FIREABLE(t124))) AND X (NOT FIREABLE(t286)))))))",
"processed_size": 210,
"rewrites": 85
},
"result":
{
"edges": 8,
"markings": 9,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 13
},
"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": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 3,
"tdisj": 1,
"tneg": 0,
"transition_references": 5,
"unfir": 2,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (X (G ((FIREABLE(t209) AND (F (FIREABLE(t45)) AND (NOT FIREABLE(t283) OR (G (NOT FIREABLE(t45)) AND F (NOT FIREABLE(t283)))))))))",
"processed_size": 131,
"rewrites": 85
},
"result":
{
"edges": 7,
"markings": 7,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"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": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 3,
"U": 1,
"X": 1,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 5,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 5,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((FIREABLE(t233) U G ((X ((FIREABLE(t233) OR FIREABLE(t297))) AND G ((F (G (FIREABLE(t192))) AND F (FIREABLE(t297))))))))",
"processed_size": 124,
"rewrites": 85
},
"result":
{
"edges": 10,
"markings": 9,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 20
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 2,
"U": 1,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 5,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 4
},
"processed": "A (((FIREABLE(t77) AND X (X (G (FIREABLE(t273))))) U (NOT FIREABLE(t248) OR (FIREABLE(t77) AND X (G (FIREABLE(t172)))))))",
"processed_size": 121,
"rewrites": 85
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 9
},
"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": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (X (F ((FIREABLE(t259) OR (F (G ((FIREABLE(t217) AND X (FIREABLE(t217))))) OR X (FIREABLE(t143)))))))",
"processed_size": 103,
"rewrites": 85
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 5,
"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
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (G ((FIREABLE(t158) AND NOT FIREABLE(t168))))",
"processed_size": 47,
"rewrites": 87
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 4,
"problems": 3
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 6,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 396
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (X (F (FIREABLE(t276))))",
"processed_size": 26,
"rewrites": 85
},
"result":
{
"edges": 7,
"markings": 7,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 445
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 2,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 6,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 6,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (X (((FIREABLE(t78) OR FIREABLE(t8)) OR (G ((NOT FIREABLE(t212) AND G (NOT FIREABLE(t8)))) AND F ((FIREABLE(t78) OR FIREABLE(t8)))))))",
"processed_size": 138,
"rewrites": 85
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"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": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "NOT FIREABLE(t239)",
"processed_size": 18,
"rewrites": 87
},
"result":
{
"edges": 11,
"markings": 11,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 22
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 10,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 623
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 1,
"U": 1,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 2,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (((F (FIREABLE(t182)) AND (F (FIREABLE(t182)) U NOT FIREABLE(t182))) OR G (F (NOT FIREABLE(t78)))))",
"processed_size": 101,
"rewrites": 85
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 832
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 2,
"U": 1,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 5,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 5,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 4
},
"processed": "A (F (G ((F (FIREABLE(t223)) AND ((FIREABLE(t26) U G ((NOT FIREABLE(t127) AND NOT FIREABLE(t265)))) OR FIREABLE(t223))))))",
"processed_size": 122,
"rewrites": 85
},
"result":
{
"edges": 25,
"markings": 19,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 12
},
"compoundnumber": 14,
"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": 1664
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1664
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 3,
"unfir": 3,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "(NOT FIREABLE(t289) OR NOT FIREABLE(t301) OR NOT FIREABLE(t230))",
"processed_size": 66,
"rewrites": 85
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 15,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 4728700,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(X(X((G(*) AND X(F(**)))))) : A((((** OR X(**)) AND X(**)) OR (G(**) AND F(((** OR X(**)) AND X(**)))))) : A(F(G((F(**) AND ((** U G(*)) OR **))))) : A(X(G((** AND (F(**) AND (** OR (G(*) AND F(**)))))))) : A((** U G((X(**) AND G((F(G(**)) AND F(**))))))) : A(((** AND X(X(G(**)))) U (** OR (** AND X(G(**)))))) : A(X(F((** OR (F(G((** AND X(**)))) OR X(**)))))) : (A(G(**)) AND A(X(G(*)))) : A(G((* R (* AND (G(*) OR G(F(*))))))) : A(X(F(**))) : (** AND A(F(**))) : A(X(G(((* R *) OR X(G(*)))))) : A(F(G(*))) : A(((F(**) AND (F(**) U **)) OR G(F(**)))) : A(X((** OR (G((* AND G(*))) AND F(**))))) : (A((X(X(**)) OR (** U **))) AND A(F(**)))"
},
"net":
{
"arcs": 1231,
"conflict_clusters": 17,
"places": 188,
"places_significant": 152,
"singleton_clusters": 0,
"transitions": 332
},
"result":
{
"interim_value": "no yes no no no yes yes no unknown no unknown unknown unknown yes yes no ",
"preliminary_value": "no yes no no no yes yes no unknown no unknown unknown unknown yes yes no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 520/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 188
lola: finding significant places
lola: 188 places, 332 transitions, 152 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: A (X (X ((NOT(F (FIREABLE(t219))) AND X (F (FIREABLE(t43))))))) : A ((G (FIREABLE(t35)) U (((FIREABLE(t4) AND FIREABLE(t286)) OR X (FIREABLE(t124))) AND X (NOT FIREABLE(t286))))) : A (X (X (NOT(G (NOT(G (((FIREABLE(t26) U NOT(F ((FIREABLE(t127) OR FIREABLE(t265))))) U FIREABLE(t223))))))))) : A (G (X (((FIREABLE(t209) AND F (FIREABLE(t45))) AND (NOT(F (FIREABLE(t45))) U NOT FIREABLE(t283)))))) : A ((FIREABLE(t233) U G ((X ((FIREABLE(t233) OR FIREABLE(t297))) AND G ((F (G (FIREABLE(t192))) AND F (FIREABLE(t297)))))))) : A (((FIREABLE(t77) AND X (X (G (FIREABLE(t273))))) U (NOT FIREABLE(t248) OR (FIREABLE(t77) AND G (X (FIREABLE(t172))))))) : A (X (F (((FIREABLE(t259) OR F (G ((FIREABLE(t217) AND X (FIREABLE(t217)))))) OR X (FIREABLE(t143)))))) : A (G (((FIREABLE(t158) AND NOT FIREABLE(t168)) AND NOT(X (FIREABLE(t184)))))) : A (G (NOT((FIREABLE(t110) U (F (G (FIREABLE(t45))) U FIREABLE(t152)))))) : A (NOT(X (G (NOT(F (FIREABLE(t276))))))) : A (((NOT FIREABLE(t289) OR NOT FIREABLE(t301) OR NOT FIREABLE(t230)) AND F (FIREABLE(t289)))) : A (NOT(X (F (((FIREABLE(t274) U FIREABLE(t48)) AND F (X (FIREABLE(t5)))))))) : A (X (((FIREABLE(t19) AND X (FIREABLE(t267))) U NOT(G (F (FIREABLE(t92))))))) : A (((F (FIREABLE(t182)) AND (F (FIREABLE(t182)) U NOT FIREABLE(t182))) OR G (X (F (NOT FIREABLE(t78)))))) : A ((X (G (NOT((FIREABLE(t212) OR F (FIREABLE(t8)))))) U X ((FIREABLE(t78) OR FIREABLE(t8))))) : A (((X (X ((NOT FIREABLE(t311) AND FIREABLE(t222)))) OR (FIREABLE(t222) U FIREABLE(t239))) AND (FIREABLE(t151) U F (FIREABLE(t239)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X ((G (NOT FIREABLE(t219)) AND X (F (FIREABLE(t43)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X ((G (NOT FIREABLE(t219)) AND X (F (FIREABLE(t43)))))))
lola: processed formula length: 62
lola: 85 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 7 markings, 7 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((((FIREABLE(t4) AND FIREABLE(t286)) OR X (FIREABLE(t124))) AND X (NOT FIREABLE(t286))) OR (G (FIREABLE(t35)) AND F ((((FIREABLE(t4) AND FIREABLE(t286)) OR X (FIREABLE(t124))) AND X (NOT FIREABLE(t286)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((((FIREABLE(t4) AND FIREABLE(t286)) OR X (FIREABLE(t124))) AND X (NOT FIREABLE(t286))) OR (G (FIREABLE(t35)) AND F ((((FIREABLE(t4) AND FIREABLE(t286)) OR X (FIREABLE(t124))) AND X (NOT FIREABLE(t286)))))))
lola: processed formula length: 210
lola: 85 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 13 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: 9 markings, 8 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((FIREABLE(t209) AND (F (FIREABLE(t45)) AND (NOT FIREABLE(t283) OR (G (NOT FIREABLE(t45)) AND F (NOT FIREABLE(t283)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((FIREABLE(t209) AND (F (FIREABLE(t45)) AND (NOT FIREABLE(t283) OR (G (NOT FIREABLE(t45)) AND F (NOT FIREABLE(t283)))))))))
lola: processed formula length: 131
lola: 85 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 7 markings, 7 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t233) U G ((X ((FIREABLE(t233) OR FIREABLE(t297))) AND G ((F (G (FIREABLE(t192))) AND F (FIREABLE(t297))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t233) U G ((X ((FIREABLE(t233) OR FIREABLE(t297))) AND G ((F (G (FIREABLE(t192))) AND F (FIREABLE(t297))))))))
lola: processed formula length: 124
lola: 85 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 20 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: add low 284
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 9 markings, 10 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t77) AND X (X (G (FIREABLE(t273))))) U (NOT FIREABLE(t248) OR (FIREABLE(t77) AND X (G (FIREABLE(t172)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t77) AND X (X (G (FIREABLE(t273))))) U (NOT FIREABLE(t248) OR (FIREABLE(t77) AND X (G (FIREABLE(t172)))))))
lola: processed formula length: 121
lola: 85 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: 1 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((FIREABLE(t259) OR (F (G ((FIREABLE(t217) AND X (FIREABLE(t217))))) OR X (FIREABLE(t143)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((FIREABLE(t259) OR (F (G ((FIREABLE(t217) AND X (FIREABLE(t217))))) OR X (FIREABLE(t143)))))))
lola: processed formula length: 103
lola: 85 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G ((FIREABLE(t158) AND NOT FIREABLE(t168)))) AND A (X (G (NOT FIREABLE(t184)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t158) AND NOT FIREABLE(t168))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((FIREABLE(t158) AND NOT FIREABLE(t168))))
lola: processed formula length: 47
lola: 87 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (NOT FIREABLE(t158) OR FIREABLE(t168))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 3 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (FIREABLE(t276))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (FIREABLE(t276))))
lola: processed formula length: 26
lola: 85 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 7 markings, 7 edges
lola: ========================================
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (((NOT FIREABLE(t274) R NOT FIREABLE(t48)) OR X (G (NOT FIREABLE(t5)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (((NOT FIREABLE(t274) R NOT FIREABLE(t48)) OR X (G (NOT FIREABLE(t5)))))))
lola: processed formula length: 82
lola: 85 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: 773606 markings, 2326691 edges, 154721 markings/sec, 0 secs
lola: 1578971 markings, 4747124 edges, 161073 markings/sec, 5 secs
lola: 2372425 markings, 7135290 edges, 158691 markings/sec, 10 secs
lola: 3163078 markings, 9511741 edges, 158131 markings/sec, 15 secs
lola: 3940299 markings, 11851654 edges, 155444 markings/sec, 20 secs
lola: 4699373 markings, 14140317 edges, 151815 markings/sec, 25 secs
lola: 5457111 markings, 16419745 edges, 151548 markings/sec, 30 secs
lola: 6207926 markings, 18684532 edges, 150163 markings/sec, 35 secs
lola: 6957491 markings, 20942016 edges, 149913 markings/sec, 40 secs
lola: 7708872 markings, 23196830 edges, 150276 markings/sec, 45 secs
lola: 8460186 markings, 25461316 edges, 150263 markings/sec, 50 secs
lola: 9219108 markings, 27748075 edges, 151784 markings/sec, 55 secs
lola: 9984192 markings, 30048965 edges, 153017 markings/sec, 60 secs
lola: 10722719 markings, 32272524 edges, 147705 markings/sec, 65 secs
lola: 11471728 markings, 34520422 edges, 149802 markings/sec, 70 secs
lola: 12219892 markings, 36771858 edges, 149633 markings/sec, 75 secs
lola: 12968237 markings, 39026014 edges, 149669 markings/sec, 80 secs
lola: 13706288 markings, 41248820 edges, 147610 markings/sec, 85 secs
lola: 14450704 markings, 43482452 edges, 148883 markings/sec, 90 secs
lola: 15191776 markings, 45714275 edges, 148214 markings/sec, 95 secs
lola: 15936646 markings, 47947547 edges, 148974 markings/sec, 100 secs
lola: 16672797 markings, 50162386 edges, 147230 markings/sec, 105 secs
lola: 17414172 markings, 52393074 edges, 148275 markings/sec, 110 secs
lola: 18150047 markings, 54603102 edges, 147175 markings/sec, 115 secs
lola: 18890927 markings, 56839567 edges, 148176 markings/sec, 120 secs
lola: 19610507 markings, 59000941 edges, 143916 markings/sec, 125 secs
lola: 20329346 markings, 61165515 edges, 143768 markings/sec, 130 secs
lola: 21045818 markings, 63323077 edges, 143294 markings/sec, 135 secs
lola: 21761713 markings, 65469654 edges, 143179 markings/sec, 140 secs
lola: 22492876 markings, 67670314 edges, 146233 markings/sec, 145 secs
lola: 23215309 markings, 69842226 edges, 144487 markings/sec, 150 secs
lola: 23939279 markings, 72018062 edges, 144794 markings/sec, 155 secs
lola: 24650115 markings, 74148387 edges, 142167 markings/sec, 160 secs
lola: 25376045 markings, 76338396 edges, 145186 markings/sec, 165 secs
lola: 26088036 markings, 78477172 edges, 142398 markings/sec, 170 secs
lola: 26799287 markings, 80612392 edges, 142250 markings/sec, 175 secs
lola: 27522169 markings, 82786181 edges, 144576 markings/sec, 180 secs
lola: 28239148 markings, 84936298 edges, 143396 markings/sec, 185 secs
lola: 28960276 markings, 87110121 edges, 144226 markings/sec, 190 secs
lola: 29667937 markings, 89231559 edges, 141532 markings/sec, 195 secs
lola: 30381648 markings, 91377654 edges, 142742 markings/sec, 200 secs
lola: 31105535 markings, 93554848 edges, 144777 markings/sec, 205 secs
lola: 31809285 markings, 95661826 edges, 140750 markings/sec, 210 secs
lola: 32529171 markings, 97827534 edges, 143977 markings/sec, 215 secs
lola: 33258258 markings, 100016064 edges, 145817 markings/sec, 220 secs
lola: 33975026 markings, 102164237 edges, 143354 markings/sec, 225 secs
lola: 34694836 markings, 104327122 edges, 143962 markings/sec, 230 secs
lola: 35416211 markings, 106492308 edges, 144275 markings/sec, 235 secs
lola: 36144855 markings, 108691893 edges, 145729 markings/sec, 240 secs
lola: 36863899 markings, 110849442 edges, 143809 markings/sec, 245 secs
lola: 37572496 markings, 112967236 edges, 141719 markings/sec, 250 secs
lola: 38274361 markings, 115072135 edges, 140373 markings/sec, 255 secs
lola: 39000593 markings, 117251037 edges, 145246 markings/sec, 260 secs
lola: 39713954 markings, 119394352 edges, 142672 markings/sec, 265 secs
lola: 40416831 markings, 121500959 edges, 140575 markings/sec, 270 secs
lola: 41131179 markings, 123646819 edges, 142870 markings/sec, 275 secs
lola: 41887791 markings, 125932936 edges, 151322 markings/sec, 280 secs
lola: 42596331 markings, 128054604 edges, 141708 markings/sec, 285 secs
lola: 43301996 markings, 130172506 edges, 141133 markings/sec, 290 secs
lola: 43996495 markings, 132252820 edges, 138900 markings/sec, 295 secs
lola: 44740286 markings, 134485667 edges, 148758 markings/sec, 300 secs
lola: 45444633 markings, 136600588 edges, 140869 markings/sec, 305 secs
lola: 46151777 markings, 138732723 edges, 141429 markings/sec, 310 secs
lola: 46865997 markings, 140874572 edges, 142844 markings/sec, 315 secs
lola: 47567984 markings, 142981654 edges, 140397 markings/sec, 320 secs
lola: 48280850 markings, 145118409 edges, 142573 markings/sec, 325 secs
lola: 49015163 markings, 147327792 edges, 146863 markings/sec, 330 secs
lola: 49715208 markings, 149426248 edges, 140009 markings/sec, 335 secs
lola: 50415956 markings, 151529802 edges, 140150 markings/sec, 340 secs
lola: 51113794 markings, 153616863 edges, 139568 markings/sec, 345 secs
lola: 51822036 markings, 155740986 edges, 141648 markings/sec, 350 secs
lola: 52533839 markings, 157874998 edges, 142361 markings/sec, 355 secs
lola: 53223754 markings, 159943662 edges, 137983 markings/sec, 360 secs
lola: 53919234 markings, 162028140 edges, 139096 markings/sec, 365 secs
lola: 54605863 markings, 164079310 edges, 137326 markings/sec, 370 secs
lola: 55315188 markings, 166206986 edges, 141865 markings/sec, 375 secs
lola: 56015080 markings, 168311912 edges, 139978 markings/sec, 380 secs
lola: 56727690 markings, 170455790 edges, 142522 markings/sec, 385 secs
lola: 57426490 markings, 172548857 edges, 139760 markings/sec, 390 secs
lola: 58144111 markings, 174704988 edges, 143524 markings/sec, 395 secs
lola: 58843007 markings, 176800859 edges, 139779 markings/sec, 400 secs
lola: 59556457 markings, 178957382 edges, 142690 markings/sec, 405 secs
lola: 60243567 markings, 181019588 edges, 137422 markings/sec, 410 secs
lola: 60941083 markings, 183109426 edges, 139503 markings/sec, 415 secs
lola: 61648561 markings, 185227134 edges, 141496 markings/sec, 420 secs
lola: 62417787 markings, 187545414 edges, 153845 markings/sec, 425 secs
lola: 63181064 markings, 189839277 edges, 152655 markings/sec, 430 secs
lola: 63882957 markings, 191941036 edges, 140379 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes unknown no no yes yes no unknown no unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (((FIREABLE(t78) OR FIREABLE(t8)) OR (G ((NOT FIREABLE(t212) AND G (NOT FIREABLE(t8)))) AND F ((FIREABLE(t78) OR FIREABLE(t8)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (((FIREABLE(t78) OR FIREABLE(t8)) OR (G ((NOT FIREABLE(t212) AND G (NOT FIREABLE(t8)))) AND F ((FIREABLE(t78) OR FIREABLE(t8)))))))
lola: processed formula length: 138
lola: 85 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 10 will run for 520 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((X (X ((NOT FIREABLE(t311) AND FIREABLE(t222)))) OR (FIREABLE(t222) U FIREABLE(t239)))) AND A (F (FIREABLE(t239))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 520 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t239)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: NOT FIREABLE(t239)
lola: processed formula length: 18
lola: 87 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 11 markings, 11 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 11 will run for 624 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (NOT FIREABLE(t92))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (NOT FIREABLE(t92))))
lola: processed formula length: 29
lola: 85 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: 451247 markings, 1060461 edges, 90249 markings/sec, 0 secs
lola: 925254 markings, 2185236 edges, 94801 markings/sec, 5 secs
lola: 1399120 markings, 3315086 edges, 94773 markings/sec, 10 secs
lola: 1877198 markings, 4452239 edges, 95616 markings/sec, 15 secs
lola: 2337530 markings, 5580060 edges, 92066 markings/sec, 20 secs
lola: 2798849 markings, 6711156 edges, 92264 markings/sec, 25 secs
lola: 3264786 markings, 7853837 edges, 93187 markings/sec, 30 secs
lola: 3726249 markings, 8984270 edges, 92293 markings/sec, 35 secs
lola: 4187456 markings, 10116543 edges, 92241 markings/sec, 40 secs
lola: 4622499 markings, 11205418 edges, 87009 markings/sec, 45 secs
lola: 5018108 markings, 12219913 edges, 79122 markings/sec, 50 secs
lola: 5473282 markings, 13357450 edges, 91035 markings/sec, 55 secs
lola: 5931380 markings, 14496169 edges, 91620 markings/sec, 60 secs
lola: 6385881 markings, 15628423 edges, 90900 markings/sec, 65 secs
lola: 6833292 markings, 16762655 edges, 89482 markings/sec, 70 secs
lola: 7270398 markings, 17894575 edges, 87421 markings/sec, 75 secs
lola: 7729768 markings, 19035262 edges, 91874 markings/sec, 80 secs
lola: 8178068 markings, 20171421 edges, 89660 markings/sec, 85 secs
lola: 8637319 markings, 21320953 edges, 91850 markings/sec, 90 secs
lola: 9088287 markings, 22460647 edges, 90194 markings/sec, 95 secs
lola: 9538056 markings, 23589906 edges, 89954 markings/sec, 100 secs
lola: 9976343 markings, 24713911 edges, 87657 markings/sec, 105 secs
lola: 10425823 markings, 25852402 edges, 89896 markings/sec, 110 secs
lola: 10858349 markings, 26978434 edges, 86505 markings/sec, 115 secs
lola: 11296209 markings, 28108534 edges, 87572 markings/sec, 120 secs
lola: 11734533 markings, 29238279 edges, 87665 markings/sec, 125 secs
lola: 12169405 markings, 30374653 edges, 86974 markings/sec, 130 secs
lola: 12603059 markings, 31504825 edges, 86731 markings/sec, 135 secs
lola: 13038605 markings, 32620715 edges, 87109 markings/sec, 140 secs
lola: 13472210 markings, 33737158 edges, 86721 markings/sec, 145 secs
lola: 13915138 markings, 34866240 edges, 88586 markings/sec, 150 secs
lola: 14371847 markings, 36010443 edges, 91342 markings/sec, 155 secs
lola: 14794891 markings, 37139809 edges, 84609 markings/sec, 160 secs
lola: 15241980 markings, 38286964 edges, 89418 markings/sec, 165 secs
lola: 15699232 markings, 39432757 edges, 91450 markings/sec, 170 secs
lola: 16139837 markings, 40571734 edges, 88121 markings/sec, 175 secs
lola: 16588315 markings, 41714928 edges, 89696 markings/sec, 180 secs
lola: 17019067 markings, 42856047 edges, 86150 markings/sec, 185 secs
lola: 17448079 markings, 43984416 edges, 85802 markings/sec, 190 secs
lola: 17887501 markings, 45130446 edges, 87884 markings/sec, 195 secs
lola: 18341506 markings, 46287863 edges, 90801 markings/sec, 200 secs
lola: 18794619 markings, 47437072 edges, 90623 markings/sec, 205 secs
lola: 19227956 markings, 48575974 edges, 86667 markings/sec, 210 secs
lola: 19673991 markings, 49704077 edges, 89207 markings/sec, 215 secs
lola: 20107820 markings, 50850636 edges, 86766 markings/sec, 220 secs
lola: 20544641 markings, 51988464 edges, 87364 markings/sec, 225 secs
lola: 20997714 markings, 53146800 edges, 90615 markings/sec, 230 secs
lola: 21441178 markings, 54294064 edges, 88693 markings/sec, 235 secs
lola: 21892718 markings, 55445316 edges, 90308 markings/sec, 240 secs
lola: 22349334 markings, 56587240 edges, 91323 markings/sec, 245 secs
lola: 22812548 markings, 57730786 edges, 92643 markings/sec, 250 secs
lola: 23241774 markings, 58863331 edges, 85845 markings/sec, 255 secs
lola: 23682242 markings, 60002570 edges, 88094 markings/sec, 260 secs
lola: 24121841 markings, 61148009 edges, 87920 markings/sec, 265 secs
lola: 24572016 markings, 62251505 edges, 90035 markings/sec, 270 secs
lola: 25012551 markings, 63351745 edges, 88107 markings/sec, 275 secs
lola: 25458914 markings, 64455122 edges, 89273 markings/sec, 280 secs
lola: 25890912 markings, 65572358 edges, 86400 markings/sec, 285 secs
lola: 26326592 markings, 66701812 edges, 87136 markings/sec, 290 secs
lola: 26755641 markings, 67831585 edges, 85810 markings/sec, 295 secs
lola: 27202771 markings, 68952353 edges, 89426 markings/sec, 300 secs
lola: 27648136 markings, 70089076 edges, 89073 markings/sec, 305 secs
lola: 28094313 markings, 71227871 edges, 89235 markings/sec, 310 secs
lola: 28534943 markings, 72352341 edges, 88126 markings/sec, 315 secs
lola: 28974987 markings, 73481341 edges, 88009 markings/sec, 320 secs
lola: 29461459 markings, 74645805 edges, 97294 markings/sec, 325 secs
lola: 29945980 markings, 75789704 edges, 96904 markings/sec, 330 secs
lola: 30413500 markings, 76945629 edges, 93504 markings/sec, 335 secs
lola: 30846528 markings, 78080606 edges, 86606 markings/sec, 340 secs
lola: 31271999 markings, 79211319 edges, 85094 markings/sec, 345 secs
lola: 31725854 markings, 80312492 edges, 90771 markings/sec, 350 secs
lola: 32144180 markings, 81420590 edges, 83665 markings/sec, 355 secs
lola: 32607304 markings, 82572078 edges, 92625 markings/sec, 360 secs
lola: 33044858 markings, 83693580 edges, 87511 markings/sec, 365 secs
lola: 33491220 markings, 84839716 edges, 89272 markings/sec, 370 secs
lola: 33913034 markings, 85968804 edges, 84363 markings/sec, 375 secs
lola: 34346162 markings, 87075587 edges, 86626 markings/sec, 380 secs
lola: 34822981 markings, 88185589 edges, 95364 markings/sec, 385 secs
lola: 35278361 markings, 89314501 edges, 91076 markings/sec, 390 secs
lola: 35697848 markings, 90434631 edges, 83897 markings/sec, 395 secs
lola: 36120179 markings, 91556579 edges, 84466 markings/sec, 400 secs
lola: 36568916 markings, 92670516 edges, 89747 markings/sec, 405 secs
lola: 37023691 markings, 93799250 edges, 90955 markings/sec, 410 secs
lola: 37450215 markings, 94922798 edges, 85305 markings/sec, 415 secs
lola: 37886181 markings, 96068589 edges, 87193 markings/sec, 420 secs
lola: 38327526 markings, 97208633 edges, 88269 markings/sec, 425 secs
lola: 38806826 markings, 98351153 edges, 95860 markings/sec, 430 secs
lola: 39253077 markings, 99484338 edges, 89250 markings/sec, 435 secs
lola: 39692966 markings, 100631341 edges, 87978 markings/sec, 440 secs
lola: 40137229 markings, 101778501 edges, 88853 markings/sec, 445 secs
lola: 40575197 markings, 102915436 edges, 87594 markings/sec, 450 secs
lola: 41000695 markings, 104034603 edges, 85100 markings/sec, 455 secs
lola: 41432467 markings, 105160384 edges, 86354 markings/sec, 460 secs
lola: 41868095 markings, 106259950 edges, 87126 markings/sec, 465 secs
lola: 42295798 markings, 107366464 edges, 85541 markings/sec, 470 secs
lola: 42713437 markings, 108463801 edges, 83528 markings/sec, 475 secs
lola: 43136587 markings, 109587871 edges, 84630 markings/sec, 480 secs
lola: 43570976 markings, 110707085 edges, 86878 markings/sec, 485 secs
lola: 44001026 markings, 111822039 edges, 86010 markings/sec, 490 secs
lola: 44435469 markings, 112938421 edges, 86889 markings/sec, 495 secs
lola: 44870672 markings, 114056346 edges, 87041 markings/sec, 500 secs
lola: 45309487 markings, 115175465 edges, 87763 markings/sec, 505 secs
lola: 45739906 markings, 116279298 edges, 86084 markings/sec, 510 secs
lola: 46215356 markings, 117444958 edges, 95090 markings/sec, 515 secs
lola: 46655450 markings, 118564306 edges, 88019 markings/sec, 520 secs
lola: 47080270 markings, 119673313 edges, 84964 markings/sec, 525 secs
lola: 47527526 markings, 120820470 edges, 89451 markings/sec, 530 secs
lola: 47973928 markings, 121925763 edges, 89280 markings/sec, 535 secs
lola: 48398624 markings, 123040936 edges, 84939 markings/sec, 540 secs
lola: 48825539 markings, 124157475 edges, 85383 markings/sec, 545 secs
lola: 49283989 markings, 125309207 edges, 91690 markings/sec, 550 secs
lola: 49699841 markings, 126420811 edges, 83170 markings/sec, 555 secs
lola: 50112308 markings, 127533387 edges, 82493 markings/sec, 560 secs
lola: 50544974 markings, 128642851 edges, 86533 markings/sec, 565 secs
lola: 50974569 markings, 129767405 edges, 85919 markings/sec, 570 secs
lola: 51411293 markings, 130886913 edges, 87345 markings/sec, 575 secs
lola: 51855614 markings, 132021460 edges, 88864 markings/sec, 580 secs
lola: 52286000 markings, 133118539 edges, 86077 markings/sec, 585 secs
lola: 52712363 markings, 134235496 edges, 85273 markings/sec, 590 secs
lola: 53145145 markings, 135376100 edges, 86556 markings/sec, 595 secs
lola: 53576579 markings, 136489605 edges, 86287 markings/sec, 600 secs
lola: 54017064 markings, 137602771 edges, 88097 markings/sec, 605 secs
lola: 54450206 markings, 138715675 edges, 86628 markings/sec, 610 secs
lola: 54896158 markings, 139836594 edges, 89190 markings/sec, 615 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes unknown no no yes yes no unknown no unknown unknown unknown unknown yes no
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 623 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((F (FIREABLE(t182)) AND (F (FIREABLE(t182)) U NOT FIREABLE(t182))) OR G (F (NOT FIREABLE(t78)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((F (FIREABLE(t182)) AND (F (FIREABLE(t182)) U NOT FIREABLE(t182))) OR G (F (NOT FIREABLE(t78)))))
lola: processed formula length: 101
lola: 85 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: 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 13 will run for 831 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t110) R (NOT FIREABLE(t152) AND (G (NOT FIREABLE(t152)) OR G (F (NOT FIREABLE(t45))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((NOT FIREABLE(t110) R (NOT FIREABLE(t152) AND (G (NOT FIREABLE(t152)) OR G (F (NOT FIREABLE(t45))))))))
lola: processed formula length: 109
lola: 85 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 222121 markings, 503892 edges, 44424 markings/sec, 0 secs
lola: 476031 markings, 1070588 edges, 50782 markings/sec, 5 secs
lola: 721095 markings, 1619020 edges, 49013 markings/sec, 10 secs
lola: 971396 markings, 2176752 edges, 50060 markings/sec, 15 secs
lola: 1228858 markings, 2751135 edges, 51492 markings/sec, 20 secs
lola: 1488208 markings, 3336993 edges, 51870 markings/sec, 25 secs
lola: 1742400 markings, 3907119 edges, 50838 markings/sec, 30 secs
lola: 2007102 markings, 4513790 edges, 52940 markings/sec, 35 secs
lola: 2254685 markings, 5082084 edges, 49517 markings/sec, 40 secs
lola: 2526037 markings, 5691225 edges, 54270 markings/sec, 45 secs
lola: 2790764 markings, 6306931 edges, 52945 markings/sec, 50 secs
lola: 3061481 markings, 6933549 edges, 54143 markings/sec, 55 secs
lola: 3321398 markings, 7539799 edges, 51983 markings/sec, 60 secs
lola: 3576028 markings, 8108104 edges, 50926 markings/sec, 65 secs
lola: 3830809 markings, 8684930 edges, 50956 markings/sec, 70 secs
lola: 4081349 markings, 9257467 edges, 50108 markings/sec, 75 secs
lola: 4334852 markings, 9842558 edges, 50701 markings/sec, 80 secs
lola: 4601863 markings, 10438730 edges, 53402 markings/sec, 85 secs
lola: 4866605 markings, 11030606 edges, 52948 markings/sec, 90 secs
lola: 5124380 markings, 11616490 edges, 51555 markings/sec, 95 secs
lola: 5399501 markings, 12244083 edges, 55024 markings/sec, 100 secs
lola: 5666216 markings, 12853782 edges, 53343 markings/sec, 105 secs
lola: 5923468 markings, 13466115 edges, 51450 markings/sec, 110 secs
lola: 6170737 markings, 14051319 edges, 49454 markings/sec, 115 secs
lola: 6435342 markings, 14659835 edges, 52921 markings/sec, 120 secs
lola: 6706780 markings, 15269983 edges, 54288 markings/sec, 125 secs
lola: 6971646 markings, 15859859 edges, 52973 markings/sec, 130 secs
lola: 7220226 markings, 16438980 edges, 49716 markings/sec, 135 secs
lola: 7478706 markings, 17041783 edges, 51696 markings/sec, 140 secs
lola: 7743573 markings, 17656207 edges, 52973 markings/sec, 145 secs
lola: 8008203 markings, 18255637 edges, 52926 markings/sec, 150 secs
lola: 8269726 markings, 18845449 edges, 52305 markings/sec, 155 secs
lola: 8533496 markings, 19460028 edges, 52754 markings/sec, 160 secs
lola: 8799485 markings, 20089919 edges, 53198 markings/sec, 165 secs
lola: 9042023 markings, 20641859 edges, 48508 markings/sec, 170 secs
lola: 9302591 markings, 21241714 edges, 52114 markings/sec, 175 secs
lola: 9558544 markings, 21831601 edges, 51191 markings/sec, 180 secs
lola: 9822157 markings, 22443174 edges, 52723 markings/sec, 185 secs
lola: 10080780 markings, 23032077 edges, 51725 markings/sec, 190 secs
lola: 10345640 markings, 23641900 edges, 52972 markings/sec, 195 secs
lola: 10607282 markings, 24254808 edges, 52328 markings/sec, 200 secs
lola: 10865904 markings, 24840749 edges, 51724 markings/sec, 205 secs
lola: 11129612 markings, 25461250 edges, 52742 markings/sec, 210 secs
lola: 11364384 markings, 26012634 edges, 46954 markings/sec, 215 secs
lola: 11618178 markings, 26579353 edges, 50759 markings/sec, 220 secs
lola: 11870317 markings, 27142120 edges, 50428 markings/sec, 225 secs
lola: 12131923 markings, 27724394 edges, 52321 markings/sec, 230 secs
lola: 12377144 markings, 28284501 edges, 49044 markings/sec, 235 secs
lola: 12630019 markings, 28883104 edges, 50575 markings/sec, 240 secs
lola: 12889240 markings, 29469129 edges, 51844 markings/sec, 245 secs
lola: 13144956 markings, 30042112 edges, 51143 markings/sec, 250 secs
lola: 13397121 markings, 30605477 edges, 50433 markings/sec, 255 secs
lola: 13659862 markings, 31193207 edges, 52548 markings/sec, 260 secs
lola: 13911813 markings, 31754779 edges, 50390 markings/sec, 265 secs
lola: 14175022 markings, 32345252 edges, 52642 markings/sec, 270 secs
lola: 14435084 markings, 32951469 edges, 52012 markings/sec, 275 secs
lola: 14706781 markings, 33585652 edges, 54339 markings/sec, 280 secs
lola: 14972023 markings, 34204091 edges, 53048 markings/sec, 285 secs
lola: 15243755 markings, 34841047 edges, 54346 markings/sec, 290 secs
lola: 15500950 markings, 35454725 edges, 51439 markings/sec, 295 secs
lola: 15773311 markings, 36083482 edges, 54472 markings/sec, 300 secs
lola: 16030001 markings, 36691335 edges, 51338 markings/sec, 305 secs
lola: 16292505 markings, 37325054 edges, 52501 markings/sec, 310 secs
lola: 16561535 markings, 37958306 edges, 53806 markings/sec, 315 secs
lola: 16811855 markings, 38563437 edges, 50064 markings/sec, 320 secs
lola: 17073081 markings, 39189249 edges, 52245 markings/sec, 325 secs
lola: 17332471 markings, 39795771 edges, 51878 markings/sec, 330 secs
lola: 17599128 markings, 40425446 edges, 53331 markings/sec, 335 secs
lola: 17844531 markings, 41013533 edges, 49081 markings/sec, 340 secs
lola: 18103296 markings, 41630766 edges, 51753 markings/sec, 345 secs
lola: 18372185 markings, 42269682 edges, 53778 markings/sec, 350 secs
lola: 18628840 markings, 42881329 edges, 51331 markings/sec, 355 secs
lola: 18906526 markings, 43537730 edges, 55537 markings/sec, 360 secs
lola: 19167492 markings, 44165415 edges, 52193 markings/sec, 365 secs
lola: 19437682 markings, 44804490 edges, 54038 markings/sec, 370 secs
lola: 19692419 markings, 45406672 edges, 50947 markings/sec, 375 secs
lola: 19958054 markings, 45998335 edges, 53127 markings/sec, 380 secs
lola: 20201991 markings, 46543065 edges, 48787 markings/sec, 385 secs
lola: 20451489 markings, 47101180 edges, 49900 markings/sec, 390 secs
lola: 20709345 markings, 47685422 edges, 51571 markings/sec, 395 secs
lola: 20966355 markings, 48276264 edges, 51402 markings/sec, 400 secs
lola: 21232325 markings, 48877575 edges, 53194 markings/sec, 405 secs
lola: 21499762 markings, 49469631 edges, 53487 markings/sec, 410 secs
lola: 21756344 markings, 50056183 edges, 51316 markings/sec, 415 secs
lola: 22011582 markings, 50633783 edges, 51048 markings/sec, 420 secs
lola: 22270546 markings, 51218939 edges, 51793 markings/sec, 425 secs
lola: 22537714 markings, 51844644 edges, 53434 markings/sec, 430 secs
lola: 22788026 markings, 52442308 edges, 50062 markings/sec, 435 secs
lola: 23040691 markings, 53057484 edges, 50533 markings/sec, 440 secs
lola: 23294270 markings, 53665500 edges, 50716 markings/sec, 445 secs
lola: 23549058 markings, 54283390 edges, 50958 markings/sec, 450 secs
lola: 23829606 markings, 54942965 edges, 56110 markings/sec, 455 secs
lola: 24099715 markings, 55581088 edges, 54022 markings/sec, 460 secs
lola: 24358644 markings, 56181762 edges, 51786 markings/sec, 465 secs
lola: 24622902 markings, 56773008 edges, 52852 markings/sec, 470 secs
lola: 24875753 markings, 57361744 edges, 50570 markings/sec, 475 secs
lola: 25136079 markings, 57968703 edges, 52065 markings/sec, 480 secs
lola: 25405407 markings, 58592236 edges, 53866 markings/sec, 485 secs
lola: 25678818 markings, 59239866 edges, 54682 markings/sec, 490 secs
lola: 25928987 markings, 59843782 edges, 50034 markings/sec, 495 secs
lola: 26189487 markings, 60454708 edges, 52100 markings/sec, 500 secs
lola: 26451816 markings, 61085547 edges, 52466 markings/sec, 505 secs
lola: 26714372 markings, 61724045 edges, 52511 markings/sec, 510 secs
lola: 26970918 markings, 62333060 edges, 51309 markings/sec, 515 secs
lola: 27239557 markings, 62933869 edges, 53728 markings/sec, 520 secs
lola: 27492646 markings, 63498512 edges, 50618 markings/sec, 525 secs
lola: 27760112 markings, 64110341 edges, 53493 markings/sec, 530 secs
lola: 28017953 markings, 64715772 edges, 51568 markings/sec, 535 secs
lola: 28276208 markings, 65315621 edges, 51651 markings/sec, 540 secs
lola: 28544381 markings, 65931102 edges, 53635 markings/sec, 545 secs
lola: 28810568 markings, 66534601 edges, 53237 markings/sec, 550 secs
lola: 29070692 markings, 67140699 edges, 52025 markings/sec, 555 secs
lola: 29329103 markings, 67734684 edges, 51682 markings/sec, 560 secs
lola: 29603235 markings, 68374866 edges, 54826 markings/sec, 565 secs
lola: 29869585 markings, 69011351 edges, 53270 markings/sec, 570 secs
lola: 30127165 markings, 69624206 edges, 51516 markings/sec, 575 secs
lola: 30387846 markings, 70226617 edges, 52136 markings/sec, 580 secs
lola: 30639903 markings, 70815160 edges, 50411 markings/sec, 585 secs
lola: 30908796 markings, 71425648 edges, 53779 markings/sec, 590 secs
lola: 31162641 markings, 72026502 edges, 50769 markings/sec, 595 secs
lola: 31423896 markings, 72638358 edges, 52251 markings/sec, 600 secs
lola: 31688124 markings, 73250668 edges, 52846 markings/sec, 605 secs
lola: 31943816 markings, 73846806 edges, 51138 markings/sec, 610 secs
lola: 32189690 markings, 74450079 edges, 49175 markings/sec, 615 secs
lola: 32449164 markings, 75073117 edges, 51895 markings/sec, 620 secs
lola: 32705988 markings, 75680211 edges, 51365 markings/sec, 625 secs
lola: 32959148 markings, 76288900 edges, 50632 markings/sec, 630 secs
lola: 33226254 markings, 76908657 edges, 53421 markings/sec, 635 secs
lola: 33495711 markings, 77548461 edges, 53891 markings/sec, 640 secs
lola: 33756584 markings, 78163329 edges, 52175 markings/sec, 645 secs
lola: 34025899 markings, 78797106 edges, 53863 markings/sec, 650 secs
lola: 34301882 markings, 79447149 edges, 55197 markings/sec, 655 secs
lola: 34571960 markings, 80094265 edges, 54016 markings/sec, 660 secs
lola: 34827045 markings, 80704430 edges, 51017 markings/sec, 665 secs
lola: 35098603 markings, 81309122 edges, 54312 markings/sec, 670 secs
lola: 35351684 markings, 81873528 edges, 50616 markings/sec, 675 secs
lola: 35611752 markings, 82453887 edges, 52014 markings/sec, 680 secs
lola: 35873471 markings, 83041213 edges, 52344 markings/sec, 685 secs
lola: 36146668 markings, 83661789 edges, 54639 markings/sec, 690 secs
lola: 36412368 markings, 84275412 edges, 53140 markings/sec, 695 secs
lola: 36673711 markings, 84879695 edges, 52269 markings/sec, 700 secs
lola: 36916722 markings, 85420644 edges, 48602 markings/sec, 705 secs
lola: 37177377 markings, 86002751 edges, 52131 markings/sec, 710 secs
lola: 37430109 markings, 86580486 edges, 50546 markings/sec, 715 secs
lola: 37688073 markings, 87207286 edges, 51593 markings/sec, 720 secs
lola: 37957367 markings, 87837513 edges, 53859 markings/sec, 725 secs
lola: 38213490 markings, 88433267 edges, 51225 markings/sec, 730 secs
lola: 38474145 markings, 89038933 edges, 52131 markings/sec, 735 secs
lola: 38721817 markings, 89617299 edges, 49534 markings/sec, 740 secs
lola: 38977007 markings, 90215502 edges, 51038 markings/sec, 745 secs
lola: 39233234 markings, 90810719 edges, 51245 markings/sec, 750 secs
lola: 39504642 markings, 91432376 edges, 54282 markings/sec, 755 secs
lola: 39759456 markings, 92014844 edges, 50963 markings/sec, 760 secs
lola: 40028491 markings, 92635558 edges, 53807 markings/sec, 765 secs
lola: 40294218 markings, 93272088 edges, 53145 markings/sec, 770 secs
lola: 40571427 markings, 93920568 edges, 55442 markings/sec, 775 secs
lola: 40825563 markings, 94522493 edges, 50827 markings/sec, 780 secs
lola: 41092970 markings, 95165217 edges, 53481 markings/sec, 785 secs
lola: 41335224 markings, 95706458 edges, 48451 markings/sec, 790 secs
lola: 41591895 markings, 96281739 edges, 51334 markings/sec, 795 secs
lola: 41833496 markings, 96854262 edges, 48320 markings/sec, 800 secs
lola: 42092145 markings, 97479994 edges, 51730 markings/sec, 805 secs
lola: 42345845 markings, 98108891 edges, 50740 markings/sec, 810 secs
lola: 42600246 markings, 98721189 edges, 50880 markings/sec, 815 secs
lola: 42866798 markings, 99344222 edges, 53310 markings/sec, 820 secs
lola: 43134921 markings, 99964156 edges, 53625 markings/sec, 825 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes unknown no no yes yes no unknown no unknown unknown unknown yes yes no
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 832 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((F (FIREABLE(t223)) AND ((FIREABLE(t26) U G ((NOT FIREABLE(t127) AND NOT FIREABLE(t265)))) OR FIREABLE(t223))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((F (FIREABLE(t223)) AND ((FIREABLE(t26) U G ((NOT FIREABLE(t127) AND NOT FIREABLE(t265)))) OR FIREABLE(t223))))))
lola: processed formula length: 122
lola: 85 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 12 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: add low 306
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 19 markings, 25 edges
lola: ========================================
lola: subprocess 15 will run for 1664 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((NOT FIREABLE(t289) OR NOT FIREABLE(t301) OR NOT FIREABLE(t230)) AND A (F (FIREABLE(t289))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1664 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t289) OR NOT FIREABLE(t301) OR NOT FIREABLE(t230))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(t289) OR NOT FIREABLE(t301) OR NOT FIREABLE(t230))
lola: processed formula length: 66
lola: 85 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: 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: A (X (G (((NOT FIREABLE(t274) R NOT FIREABLE(t48)) OR X (G (NOT FIREABLE(t5)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (((NOT FIREABLE(t274) R NOT FIREABLE(t48)) OR X (G (NOT FIREABLE(t5)))))))
lola: processed formula length: 82
lola: 85 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: 797386 markings, 2397667 edges, 159477 markings/sec, 0 secs
lola: 1599154 markings, 4808183 edges, 160354 markings/sec, 5 secs
lola: 2390992 markings, 7190367 edges, 158368 markings/sec, 10 secs
lola: 3178975 markings, 9561056 edges, 157597 markings/sec, 15 secs
lola: 3954291 markings, 11893617 edges, 155063 markings/sec, 20 secs
lola: 4702609 markings, 14150480 edges, 149664 markings/sec, 25 secs
lola: 5404732 markings, 16259790 edges, 140425 markings/sec, 30 secs
lola: 6150011 markings, 18510982 edges, 149056 markings/sec, 35 secs
lola: 6897489 markings, 20761174 edges, 149496 markings/sec, 40 secs
lola: 7641782 markings, 22995754 edges, 148859 markings/sec, 45 secs
lola: 8375738 markings, 25205589 edges, 146791 markings/sec, 50 secs
lola: 9085467 markings, 27345305 edges, 141946 markings/sec, 55 secs
lola: 9843531 markings, 29625885 edges, 151613 markings/sec, 60 secs
lola: 10587110 markings, 31862151 edges, 148716 markings/sec, 65 secs
lola: 11301724 markings, 34013775 edges, 142923 markings/sec, 70 secs
lola: 12052280 markings, 36269983 edges, 150111 markings/sec, 75 secs
lola: 12796811 markings, 38509633 edges, 148906 markings/sec, 80 secs
lola: 13532283 markings, 40723848 edges, 147094 markings/sec, 85 secs
lola: 14270022 markings, 42937958 edges, 147548 markings/sec, 90 secs
lola: 15005081 markings, 45152672 edges, 147012 markings/sec, 95 secs
lola: 15751034 markings, 47393115 edges, 149191 markings/sec, 100 secs
lola: 16485050 markings, 49596388 edges, 146803 markings/sec, 105 secs
lola: 17216638 markings, 51796046 edges, 146318 markings/sec, 110 secs
lola: 17947640 markings, 53993747 edges, 146200 markings/sec, 115 secs
lola: 18696691 markings, 56250576 edges, 149810 markings/sec, 120 secs
lola: 19415612 markings, 58417736 edges, 143784 markings/sec, 125 secs
lola: 20134558 markings, 60580094 edges, 143789 markings/sec, 130 secs
lola: 20859041 markings, 62762407 edges, 144897 markings/sec, 135 secs
lola: 21574147 markings, 64909415 edges, 143021 markings/sec, 140 secs
lola: 22306489 markings, 67110768 edges, 146468 markings/sec, 145 secs
lola: 23027292 markings, 69275762 edges, 144161 markings/sec, 150 secs
lola: 23757834 markings, 71474633 edges, 146108 markings/sec, 155 secs
lola: 24472905 markings, 73618866 edges, 143014 markings/sec, 160 secs
lola: 25196804 markings, 75796549 edges, 144780 markings/sec, 165 secs
lola: 25914494 markings, 77954730 edges, 143538 markings/sec, 170 secs
lola: 26631160 markings, 80107540 edges, 143333 markings/sec, 175 secs
lola: 27358274 markings, 82294287 edges, 145423 markings/sec, 180 secs
lola: 28077066 markings, 84448924 edges, 143758 markings/sec, 185 secs
lola: 28794930 markings, 86611441 edges, 143573 markings/sec, 190 secs
lola: 29502284 markings, 88735766 edges, 141471 markings/sec, 195 secs
lola: 30217858 markings, 90885209 edges, 143115 markings/sec, 200 secs
lola: 30943639 markings, 93066747 edges, 145156 markings/sec, 205 secs
lola: 31654848 markings, 95198412 edges, 142242 markings/sec, 210 secs
lola: 32378493 markings, 97375304 edges, 144729 markings/sec, 215 secs
lola: 33102948 markings, 99550477 edges, 144891 markings/sec, 220 secs
lola: 33816537 markings, 101682932 edges, 142718 markings/sec, 225 secs
lola: 34546090 markings, 103880926 edges, 145911 markings/sec, 230 secs
lola: 35267834 markings, 106045882 edges, 144349 markings/sec, 235 secs
lola: 35996801 markings, 108243247 edges, 145793 markings/sec, 240 secs
lola: 36717637 markings, 110408719 edges, 144167 markings/sec, 245 secs
lola: 37431013 markings, 112543121 edges, 142675 markings/sec, 250 secs
lola: 38137802 markings, 114660928 edges, 141358 markings/sec, 255 secs
lola: 38862792 markings, 116838591 edges, 144998 markings/sec, 260 secs
lola: 39581404 markings, 118998315 edges, 143722 markings/sec, 265 secs
lola: 40285362 markings, 121105994 edges, 140792 markings/sec, 270 secs
lola: 40995808 markings, 123239951 edges, 142089 markings/sec, 275 secs
lola: 41750081 markings, 125515025 edges, 150855 markings/sec, 280 secs
lola: 42471398 markings, 127682514 edges, 144263 markings/sec, 285 secs
lola: 43178482 markings, 129803139 edges, 141417 markings/sec, 290 secs
lola: 43874634 markings, 131889991 edges, 139230 markings/sec, 295 secs
lola: 44611000 markings, 134096469 edges, 147273 markings/sec, 300 secs
lola: 45327272 markings, 136249667 edges, 143254 markings/sec, 305 secs
lola: 46036365 markings, 138385519 edges, 141819 markings/sec, 310 secs
lola: 46749530 markings, 140526312 edges, 142633 markings/sec, 315 secs
lola: 47453344 markings, 142635808 edges, 140763 markings/sec, 320 secs
lola: 48166307 markings, 144773706 edges, 142593 markings/sec, 325 secs
lola: 48902651 markings, 146989916 edges, 147269 markings/sec, 330 secs
lola: 49603269 markings, 149090969 edges, 140124 markings/sec, 335 secs
lola: 50299944 markings, 151178876 edges, 139335 markings/sec, 340 secs
lola: 51007035 markings, 153295517 edges, 141418 markings/sec, 345 secs
lola: 51720235 markings, 155434973 edges, 142640 markings/sec, 350 secs
lola: 52428241 markings, 157559152 edges, 141601 markings/sec, 355 secs
lola: 53124689 markings, 159648831 edges, 139290 markings/sec, 360 secs
lola: 53816569 markings, 161720378 edges, 138376 markings/sec, 365 secs
lola: 54507671 markings, 163786872 edges, 138220 markings/sec, 370 secs
lola: 55213017 markings, 165900563 edges, 141069 markings/sec, 375 secs
lola: 55914359 markings, 168010421 edges, 140268 markings/sec, 380 secs
lola: 56626384 markings, 170151211 edges, 142405 markings/sec, 385 secs
lola: 57327156 markings, 172250800 edges, 140154 markings/sec, 390 secs
lola: 58044064 markings, 174402882 edges, 143382 markings/sec, 395 secs
lola: 58748331 markings, 176517095 edges, 140853 markings/sec, 400 secs
lola: 59460191 markings, 178667418 edges, 142372 markings/sec, 405 secs
lola: 60151181 markings, 180742991 edges, 138198 markings/sec, 410 secs
lola: 60848439 markings, 182832588 edges, 139452 markings/sec, 415 secs
lola: 61547069 markings, 184924654 edges, 139726 markings/sec, 420 secs
lola: 62320032 markings, 187250753 edges, 154593 markings/sec, 425 secs
lola: 63086801 markings, 189555761 edges, 153354 markings/sec, 430 secs
lola: 63799164 markings, 191688967 edges, 142473 markings/sec, 435 secs
lola: 64499945 markings, 193796591 edges, 140156 markings/sec, 440 secs
lola: 65192323 markings, 195872226 edges, 138476 markings/sec, 445 secs
lola: 65895343 markings, 197982850 edges, 140604 markings/sec, 450 secs
lola: 66586557 markings, 200048770 edges, 138243 markings/sec, 455 secs
lola: 67290106 markings, 202164181 edges, 140710 markings/sec, 460 secs
lola: 68005332 markings, 204315578 edges, 143045 markings/sec, 465 secs
lola: 68719663 markings, 206455990 edges, 142866 markings/sec, 470 secs
lola: 69401352 markings, 208491891 edges, 136338 markings/sec, 475 secs
lola: 70097793 markings, 210581347 edges, 139288 markings/sec, 480 secs
lola: 70796162 markings, 212678126 edges, 139674 markings/sec, 485 secs
lola: 70953681 markings, 213148035 edges, 31504 markings/sec, 490 secs
lola: 70953745 markings, 213148197 edges, 13 markings/sec, 495 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (F (G (NOT FIREABLE(t92))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (NOT FIREABLE(t92))))
lola: processed formula length: 29
lola: 85 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: 444045 markings, 1042359 edges, 88809 markings/sec, 0 secs
lola: 888673 markings, 2100328 edges, 88926 markings/sec, 5 secs
lola: 1349624 markings, 3208872 edges, 92190 markings/sec, 10 secs
lola: 1826844 markings, 4330331 edges, 95444 markings/sec, 15 secs
lola: 2278913 markings, 5440860 edges, 90414 markings/sec, 20 secs
lola: 2737396 markings, 6555314 edges, 91697 markings/sec, 25 secs
lola: 3195581 markings, 7679071 edges, 91637 markings/sec, 30 secs
lola: 3646023 markings, 8787532 edges, 90088 markings/sec, 35 secs
lola: 4098581 markings, 9904133 edges, 90512 markings/sec, 40 secs
lola: 4554496 markings, 11031349 edges, 91183 markings/sec, 45 secs
lola: 4985436 markings, 12134790 edges, 86188 markings/sec, 50 secs
lola: 5432087 markings, 13252103 edges, 89330 markings/sec, 55 secs
lola: 5882554 markings, 14375353 edges, 90093 markings/sec, 60 secs
lola: 6328337 markings, 15486349 edges, 89157 markings/sec, 65 secs
lola: 6769103 markings, 16603574 edges, 88153 markings/sec, 70 secs
lola: 7201824 markings, 17716794 edges, 86544 markings/sec, 75 secs
lola: 7647556 markings, 18834113 edges, 89146 markings/sec, 80 secs
lola: 8093537 markings, 19958085 edges, 89196 markings/sec, 85 secs
lola: 8541475 markings, 21079135 edges, 89588 markings/sec, 90 secs
lola: 8993367 markings, 22214854 edges, 90378 markings/sec, 95 secs
lola: 9433308 markings, 23324791 edges, 87988 markings/sec, 100 secs
lola: 9863236 markings, 24429642 edges, 85986 markings/sec, 105 secs
lola: 10306401 markings, 25550272 edges, 88633 markings/sec, 110 secs
lola: 10734696 markings, 26656610 edges, 85659 markings/sec, 115 secs
lola: 11168622 markings, 27771727 edges, 86785 markings/sec, 120 secs
lola: 11596845 markings, 28880854 edges, 85645 markings/sec, 125 secs
lola: 12023203 markings, 29994888 edges, 85272 markings/sec, 130 secs
lola: 12450366 markings, 31116178 edges, 85433 markings/sec, 135 secs
lola: 12880169 markings, 32228227 edges, 85961 markings/sec, 140 secs
lola: 13324947 markings, 33353217 edges, 88956 markings/sec, 145 secs
lola: 13745210 markings, 34454817 edges, 84053 markings/sec, 150 secs
lola: 14205273 markings, 35577934 edges, 92013 markings/sec, 155 secs
lola: 14627490 markings, 36690627 edges, 84443 markings/sec, 160 secs
lola: 15057411 markings, 37812704 edges, 85984 markings/sec, 165 secs
lola: 15499149 markings, 38930486 edges, 88348 markings/sec, 170 secs
lola: 15937609 markings, 40050535 edges, 87692 markings/sec, 175 secs
lola: 16374182 markings, 41168781 edges, 87315 markings/sec, 180 secs
lola: 16808492 markings, 42294483 edges, 86862 markings/sec, 185 secs
lola: 17229442 markings, 43402917 edges, 84190 markings/sec, 190 secs
lola: 17656256 markings, 44519322 edges, 85363 markings/sec, 195 secs
lola: 18090759 markings, 45652019 edges, 86901 markings/sec, 200 secs
lola: 18541041 markings, 46776282 edges, 90056 markings/sec, 205 secs
lola: 18968908 markings, 47898465 edges, 85573 markings/sec, 210 secs
lola: 19401798 markings, 49012118 edges, 86578 markings/sec, 215 secs
lola: 19826986 markings, 50119218 edges, 85038 markings/sec, 220 secs
lola: 20263268 markings, 51252236 edges, 87256 markings/sec, 225 secs
lola: 20698559 markings, 52376361 edges, 87058 markings/sec, 230 secs
lola: 21133035 markings, 53502828 edges, 86895 markings/sec, 235 secs
lola: 21574800 markings, 54633268 edges, 88353 markings/sec, 240 secs
lola: 22012211 markings, 55758712 edges, 87482 markings/sec, 245 secs
lola: 22469865 markings, 56881387 edges, 91531 markings/sec, 250 secs
lola: 22911293 markings, 57996988 edges, 88286 markings/sec, 255 secs
lola: 23334002 markings, 59110520 edges, 84542 markings/sec, 260 secs
lola: 23771975 markings, 60233557 edges, 87595 markings/sec, 265 secs
lola: 24200412 markings, 61350831 edges, 85687 markings/sec, 270 secs
lola: 24638692 markings, 62430725 edges, 87656 markings/sec, 275 secs
lola: 25075831 markings, 63501557 edges, 87428 markings/sec, 280 secs
lola: 25511540 markings, 64593121 edges, 87142 markings/sec, 285 secs
lola: 25947395 markings, 65689392 edges, 87171 markings/sec, 290 secs
lola: 26353437 markings, 66772492 edges, 81208 markings/sec, 295 secs
lola: 26728338 markings, 67758411 edges, 74980 markings/sec, 300 secs
lola: 27167273 markings, 68868424 edges, 87787 markings/sec, 305 secs
lola: 27610470 markings, 69988907 edges, 88639 markings/sec, 310 secs
lola: 28052559 markings, 71111811 edges, 88418 markings/sec, 315 secs
lola: 28477381 markings, 72219644 edges, 84964 markings/sec, 320 secs
lola: 28913414 markings, 73323282 edges, 87207 markings/sec, 325 secs
lola: 29383296 markings, 74463632 edges, 93976 markings/sec, 330 secs
lola: 29860118 markings, 75584107 edges, 95364 markings/sec, 335 secs
lola: 30326624 markings, 76720466 edges, 93301 markings/sec, 340 secs
lola: 30751417 markings, 77833671 edges, 84959 markings/sec, 345 secs
lola: 31180533 markings, 78964561 edges, 85823 markings/sec, 350 secs
lola: 31625145 markings, 80067117 edges, 88922 markings/sec, 355 secs
lola: 32053412 markings, 81173657 edges, 85653 markings/sec, 360 secs
lola: 32501782 markings, 82311760 edges, 89674 markings/sec, 365 secs
lola: 32943278 markings, 83422883 edges, 88299 markings/sec, 370 secs
lola: 33372013 markings, 84541698 edges, 85747 markings/sec, 375 secs
lola: 33801821 markings, 85668530 edges, 85962 markings/sec, 380 secs
lola: 34214982 markings, 86757348 edges, 82632 markings/sec, 385 secs
lola: 34675057 markings, 87841025 edges, 92015 markings/sec, 390 secs
lola: 35138765 markings, 88947198 edges, 92742 markings/sec, 395 secs
lola: 35554879 markings, 90048625 edges, 83223 markings/sec, 400 secs
lola: 35969650 markings, 91154317 edges, 82954 markings/sec, 405 secs
lola: 36396744 markings, 92252463 edges, 85419 markings/sec, 410 secs
lola: 36822813 markings, 93346755 edges, 85214 markings/sec, 415 secs
lola: 37275442 markings, 94459871 edges, 90526 markings/sec, 420 secs
lola: 37685398 markings, 95562437 edges, 81991 markings/sec, 425 secs
lola: 38134646 markings, 96716131 edges, 89850 markings/sec, 430 secs
lola: 38583336 markings, 97816640 edges, 89738 markings/sec, 435 secs
lola: 39048517 markings, 98949591 edges, 93036 markings/sec, 440 secs
lola: 39474356 markings, 100058343 edges, 85168 markings/sec, 445 secs
lola: 39918242 markings, 101206510 edges, 88777 markings/sec, 450 secs
lola: 40352170 markings, 102329938 edges, 86786 markings/sec, 455 secs
lola: 40773693 markings, 103442010 edges, 84305 markings/sec, 460 secs
lola: 41197341 markings, 104540047 edges, 84730 markings/sec, 465 secs
lola: 41619729 markings, 105657272 edges, 84478 markings/sec, 470 secs
lola: 42054292 markings, 106731222 edges, 86913 markings/sec, 475 secs
lola: 42465070 markings, 107814786 edges, 82156 markings/sec, 480 secs
lola: 42886424 markings, 108911301 edges, 84271 markings/sec, 485 secs
lola: 43297667 markings, 110007192 edges, 82249 markings/sec, 490 secs
lola: 43723555 markings, 111110187 edges, 85178 markings/sec, 495 secs
lola: 44151555 markings, 112201459 edges, 85600 markings/sec, 500 secs
lola: 44576295 markings, 113299499 edges, 84948 markings/sec, 505 secs
lola: 45014547 markings, 114426112 edges, 87650 markings/sec, 510 secs
lola: 45435701 markings, 115501507 edges, 84231 markings/sec, 515 secs
lola: 45874174 markings, 116603031 edges, 87695 markings/sec, 520 secs
lola: 46327270 markings, 117728788 edges, 90619 markings/sec, 525 secs
lola: 46757286 markings, 118831847 edges, 86003 markings/sec, 530 secs
lola: 47176559 markings, 119934453 edges, 83855 markings/sec, 535 secs
lola: 47623647 markings, 121055993 edges, 89418 markings/sec, 540 secs
lola: 48052762 markings, 122128076 edges, 85823 markings/sec, 545 secs
lola: 48471567 markings, 123233900 edges, 83761 markings/sec, 550 secs
lola: 48900429 markings, 124339127 edges, 85772 markings/sec, 555 secs
lola: 49345238 markings, 125466776 edges, 88962 markings/sec, 560 secs
lola: 49748662 markings, 126553040 edges, 80685 markings/sec, 565 secs
lola: 50156550 markings, 127654077 edges, 81578 markings/sec, 570 secs
lola: 50583579 markings, 128739169 edges, 85406 markings/sec, 575 secs
lola: 51006331 markings, 129849756 edges, 84550 markings/sec, 580 secs
lola: 51434239 markings, 130948579 edges, 85582 markings/sec, 585 secs
lola: 51871873 markings, 132063188 edges, 87527 markings/sec, 590 secs
lola: 52294758 markings, 133141944 edges, 84577 markings/sec, 595 secs
lola: 52713881 markings, 134240706 edges, 83825 markings/sec, 600 secs
lola: 53141173 markings, 135364636 edges, 85458 markings/sec, 605 secs
lola: 53564780 markings, 136458929 edges, 84721 markings/sec, 610 secs
lola: 53996539 markings, 137554213 edges, 86352 markings/sec, 615 secs
lola: 54423251 markings, 138643745 edges, 85342 markings/sec, 620 secs
lola: 54860241 markings, 139749719 edges, 87398 markings/sec, 625 secs
lola: 55301745 markings, 140841729 edges, 88301 markings/sec, 630 secs
lola: 55773542 markings, 141943513 edges, 94359 markings/sec, 635 secs
lola: 56231749 markings, 143043308 edges, 91641 markings/sec, 640 secs
lola: 56646986 markings, 144126071 edges, 83047 markings/sec, 645 secs
lola: 57059076 markings, 145223178 edges, 82418 markings/sec, 650 secs
lola: 57478492 markings, 146322079 edges, 83883 markings/sec, 655 secs
lola: 57903058 markings, 147404774 edges, 84913 markings/sec, 660 secs
lola: 58334823 markings, 148524142 edges, 86353 markings/sec, 665 secs
lola: 58748033 markings, 149617095 edges, 82642 markings/sec, 670 secs
lola: 59178551 markings, 150719803 edges, 86104 markings/sec, 675 secs
lola: 59581138 markings, 151793869 edges, 80517 markings/sec, 680 secs
lola: 59993862 markings, 152876331 edges, 82545 markings/sec, 685 secs
lola: 60399161 markings, 153966316 edges, 81060 markings/sec, 690 secs
lola: 60821395 markings, 155064950 edges, 84447 markings/sec, 695 secs
lola: 61245498 markings, 156155675 edges, 84821 markings/sec, 700 secs
lola: 61652178 markings, 157242011 edges, 81336 markings/sec, 705 secs
lola: 62109133 markings, 158377160 edges, 91391 markings/sec, 710 secs
lola: 62521438 markings, 159460830 edges, 82461 markings/sec, 715 secs
lola: 62931841 markings, 160537382 edges, 82081 markings/sec, 720 secs
lola: 63318082 markings, 161545803 edges, 77248 markings/sec, 725 secs
lola: 63728416 markings, 162604566 edges, 82067 markings/sec, 730 secs
lola: 64111309 markings, 163631957 edges, 76579 markings/sec, 735 secs
lola: 64533252 markings, 164714752 edges, 84389 markings/sec, 740 secs
lola: 64934268 markings, 165780919 edges, 80203 markings/sec, 745 secs
lola: 65248088 markings, 166604516 edges, 62764 markings/sec, 750 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t110) R (NOT FIREABLE(t152) AND (G (NOT FIREABLE(t152)) OR G (F (NOT FIREABLE(t45))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((NOT FIREABLE(t110) R (NOT FIREABLE(t152) AND (G (NOT FIREABLE(t152)) OR G (F (NOT FIREABLE(t45))))))))
lola: processed formula length: 109
lola: 85 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 216386 markings, 491052 edges, 43277 markings/sec, 0 secs
lola: 457855 markings, 1029982 edges, 48294 markings/sec, 5 secs
lola: 708821 markings, 1591370 edges, 50193 markings/sec, 10 secs
lola: 964053 markings, 2160194 edges, 51046 markings/sec, 15 secs
lola: 1214545 markings, 2719677 edges, 50098 markings/sec, 20 secs
lola: 1468246 markings, 3292484 edges, 50740 markings/sec, 25 secs
lola: 1714702 markings, 3845691 edges, 49291 markings/sec, 30 secs
lola: 1977033 markings, 4443140 edges, 52466 markings/sec, 35 secs
lola: 2237401 markings, 5042164 edges, 52074 markings/sec, 40 secs
lola: 2504593 markings, 5642964 edges, 53438 markings/sec, 45 secs
lola: 2764576 markings, 6245054 edges, 51997 markings/sec, 50 secs
lola: 3028427 markings, 6858959 edges, 52770 markings/sec, 55 secs
lola: 3287595 markings, 7464746 edges, 51834 markings/sec, 60 secs
lola: 3542484 markings, 8032649 edges, 50978 markings/sec, 65 secs
lola: 3799617 markings, 8614057 edges, 51427 markings/sec, 70 secs
lola: 4047729 markings, 9180634 edges, 49622 markings/sec, 75 secs
lola: 4303013 markings, 9766994 edges, 51057 markings/sec, 80 secs
lola: 4558695 markings, 10342497 edges, 51136 markings/sec, 85 secs
lola: 4819860 markings, 10925832 edges, 52233 markings/sec, 90 secs
lola: 5074093 markings, 11501046 edges, 50847 markings/sec, 95 secs
lola: 5348523 markings, 12124619 edges, 54886 markings/sec, 100 secs
lola: 5604987 markings, 12713190 edges, 51293 markings/sec, 105 secs
lola: 5859791 markings, 13319606 edges, 50961 markings/sec, 110 secs
lola: 6101854 markings, 13891967 edges, 48413 markings/sec, 115 secs
lola: 6367467 markings, 14508866 edges, 53123 markings/sec, 120 secs
lola: 6634179 markings, 15102186 edges, 53342 markings/sec, 125 secs
lola: 6891647 markings, 15682535 edges, 51494 markings/sec, 130 secs
lola: 7148932 markings, 16267904 edges, 51457 markings/sec, 135 secs
lola: 7402871 markings, 16864836 edges, 50788 markings/sec, 140 secs
lola: 7660977 markings, 17463166 edges, 51621 markings/sec, 145 secs
lola: 7924899 markings, 18068618 edges, 52784 markings/sec, 150 secs
lola: 8183446 markings, 18652298 edges, 51709 markings/sec, 155 secs
lola: 8440483 markings, 19242318 edges, 51407 markings/sec, 160 secs
lola: 8703980 markings, 19874692 edges, 52699 markings/sec, 165 secs
lola: 8947805 markings, 20431685 edges, 48765 markings/sec, 170 secs
lola: 9200125 markings, 21008141 edges, 50464 markings/sec, 175 secs
lola: 9452281 markings, 21595080 edges, 50431 markings/sec, 180 secs
lola: 9718918 markings, 22193851 edges, 53327 markings/sec, 185 secs
lola: 9965320 markings, 22767119 edges, 49280 markings/sec, 190 secs
lola: 10233392 markings, 23377375 edges, 53614 markings/sec, 195 secs
lola: 10493259 markings, 23991498 edges, 51973 markings/sec, 200 secs
lola: 10767287 markings, 24620237 edges, 54806 markings/sec, 205 secs
lola: 11042780 markings, 25258171 edges, 55099 markings/sec, 210 secs
lola: 11277330 markings, 25817791 edges, 46910 markings/sec, 215 secs
lola: 11523172 markings, 26367275 edges, 49168 markings/sec, 220 secs
lola: 11760574 markings, 26897281 edges, 47480 markings/sec, 225 secs
lola: 12019912 markings, 27475385 edges, 51868 markings/sec, 230 secs
lola: 12268350 markings, 28036004 edges, 49688 markings/sec, 235 secs
lola: 12517041 markings, 28604987 edges, 49738 markings/sec, 240 secs
lola: 12762037 markings, 29185774 edges, 48999 markings/sec, 245 secs
lola: 13007044 markings, 29732366 edges, 49001 markings/sec, 250 secs
lola: 13255725 markings, 30290064 edges, 49736 markings/sec, 255 secs
lola: 13506548 markings, 30849734 edges, 50165 markings/sec, 260 secs
lola: 13761867 markings, 31419117 edges, 51064 markings/sec, 265 secs
lola: 14011355 markings, 31976276 edges, 49898 markings/sec, 270 secs
lola: 14266624 markings, 32554848 edges, 51054 markings/sec, 275 secs
lola: 14526518 markings, 33155633 edges, 51979 markings/sec, 280 secs
lola: 14780826 markings, 33762992 edges, 50862 markings/sec, 285 secs
lola: 15051005 markings, 34390548 edges, 54036 markings/sec, 290 secs
lola: 15311496 markings, 35007192 edges, 52098 markings/sec, 295 secs
lola: 15566857 markings, 35606518 edges, 51072 markings/sec, 300 secs
lola: 15833026 markings, 36223800 edges, 53234 markings/sec, 305 secs
lola: 16089872 markings, 36831989 edges, 51369 markings/sec, 310 secs
lola: 16348714 markings, 37454801 edges, 51768 markings/sec, 315 secs
lola: 16615142 markings, 38077026 edges, 53286 markings/sec, 320 secs
lola: 16854138 markings, 38667377 edges, 47799 markings/sec, 325 secs
lola: 17116210 markings, 39288601 edges, 52414 markings/sec, 330 secs
lola: 17368276 markings, 39879680 edges, 50413 markings/sec, 335 secs
lola: 17628652 markings, 40496252 edges, 52075 markings/sec, 340 secs
lola: 17864592 markings, 41068371 edges, 47188 markings/sec, 345 secs
lola: 18124817 markings, 41682550 edges, 52045 markings/sec, 350 secs
lola: 18389645 markings, 42310987 edges, 52966 markings/sec, 355 secs
lola: 18640071 markings, 42908274 edges, 50085 markings/sec, 360 secs
lola: 18912611 markings, 43552835 edges, 54508 markings/sec, 365 secs
lola: 19170943 markings, 44173087 edges, 51666 markings/sec, 370 secs
lola: 19436028 markings, 44800976 edges, 53017 markings/sec, 375 secs
lola: 19687300 markings, 45395031 edges, 50254 markings/sec, 380 secs
lola: 19946043 markings, 45972085 edges, 51749 markings/sec, 385 secs
lola: 20189524 markings, 46514866 edges, 48696 markings/sec, 390 secs
lola: 20431943 markings, 47055648 edges, 48484 markings/sec, 395 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes no no no yes yes no unknown no unknown unknown unknown yes yes no
lola: caught signal User defined signal 1 - aborting LoLAlola:
preliminary result: no yes no no no yes yes no unknown no unknown unknown unknown yes yes no lola:
preliminary result: no yes no no no yes yes no unknown no unknown unknown unknown yes yes no
lola: memory consumption: 4728700 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no no no yes yes no unknown no unknown unknown unknown yes yes no
rslt: finished
BK_STOP 1589926627324
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Raft-PT-06"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="win2019"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool win2019"
echo " Input is Raft-PT-06, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r150-smll-158961529300064"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-06.tgz
mv Raft-PT-06 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;