About the Execution of 2019-Gold for CircularTrains-PT-384
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15779.360 | 3570127.00 | 3638675.00 | 8849.90 | FF?TFTFTFF??F?F? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r045-smll-158902068200024.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 CircularTrains-PT-384, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r045-smll-158902068200024
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 484K
-rw-r--r-- 1 mcc users 3.9K Mar 30 01:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 15:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 28 15:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 27 08:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 08:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Mar 26 07:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 07:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 293K Mar 24 05:37 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 CircularTrains-PT-384-00
FORMULA_NAME CircularTrains-PT-384-01
FORMULA_NAME CircularTrains-PT-384-02
FORMULA_NAME CircularTrains-PT-384-03
FORMULA_NAME CircularTrains-PT-384-04
FORMULA_NAME CircularTrains-PT-384-05
FORMULA_NAME CircularTrains-PT-384-06
FORMULA_NAME CircularTrains-PT-384-07
FORMULA_NAME CircularTrains-PT-384-08
FORMULA_NAME CircularTrains-PT-384-09
FORMULA_NAME CircularTrains-PT-384-10
FORMULA_NAME CircularTrains-PT-384-11
FORMULA_NAME CircularTrains-PT-384-12
FORMULA_NAME CircularTrains-PT-384-13
FORMULA_NAME CircularTrains-PT-384-14
FORMULA_NAME CircularTrains-PT-384-15
=== Now, execution of the tool begins
BK_START 1589244376061
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ CircularTrains-PT-384 @ 3570 seconds
FORMULA CircularTrains-PT-384-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-384-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-384-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-384-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-384-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-384-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-384-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-384-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-384-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-384-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-384-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ CircularTrains-PT-384
{
"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",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Tue May 12 00:46:16 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 3,
"U": 1,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 5,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 5,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (G (((G (FIREABLE(t183_to_184)) AND X (NOT FIREABLE(t177_to_178))) OR ((FIREABLE(t177_to_178) AND G (FIREABLE(t98_to_99))) U FIREABLE(t177_to_178)))))",
"processed_size": 152,
"rewrites": 94
},
"result":
{
"edges": 12614,
"markings": 12614,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 13
},
"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": 2,
"G": 3,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((X (G (FIREABLE(t372_to_373))) OR (G (F (FIREABLE(t140_to_141))) AND F (G (FIREABLE(t372_to_373))))))",
"processed_size": 104,
"rewrites": 94
},
"result":
{
"edges": 12616,
"markings": 12615,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 8
},
"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
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"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": "A (X (NOT FIREABLE(t300_to_301)))",
"processed_size": 33,
"rewrites": 94
},
"result":
{
"edges": 12614,
"markings": 12614,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"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"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 3,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 275
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"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 (G ((NOT FIREABLE(t92_to_93) AND G (NOT FIREABLE(t168_to_169))))))",
"processed_size": 71,
"rewrites": 94
},
"result":
{
"edges": 12614,
"markings": 12614,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"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": 301
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 301
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"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 (G (FIREABLE(t109_to_110))))",
"processed_size": 33,
"rewrites": 94
},
"result":
{
"edges": 12614,
"markings": 12614,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 8,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 344
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"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 (G (F (FIREABLE(t349_to_350))))",
"processed_size": 33,
"rewrites": 94
},
"result":
{
"edges": 39042,
"markings": 26132,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 9,
"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": 401
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (F ((NOT FIREABLE(t221_to_222) OR F (G (NOT FIREABLE(t345_to_346))))))",
"processed_size": 72,
"rewrites": 94
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 10,
"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": 481
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 3,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((G (FIREABLE(t190_to_191)) OR (G (NOT FIREABLE(t190_to_191)) OR F (NOT FIREABLE(t88_to_89)))))",
"processed_size": 97,
"rewrites": 94
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 4
},
"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": 642
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 3,
"U": 2,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 7,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 3,
"tneg": 0,
"transition_references": 7,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((G (FIREABLE(t166_to_167)) OR ((FIREABLE(t18_to_19) U FIREABLE(t253_to_254)) OR (G (FIREABLE(t253_to_254)) AND F ((G (FIREABLE(t166_to_167)) OR (FIREABLE(t18_to_19) U FIREABLE(t253_to_254))))))))",
"processed_size": 198,
"rewrites": 94
},
"result":
{
"edges": 21599,
"markings": 21599,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 15
},
"compoundnumber": 13,
"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": 963
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 5,
"U": 4,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 11,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 3,
"tdisj": 3,
"tneg": 0,
"transition_references": 11,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 4
},
"processed": "A (((F (G (FIREABLE(t231_to_232))) AND G (FIREABLE(t231_to_232))) OR ((FIREABLE(t161_to_162) U (FIREABLE(t277_to_278) U FIREABLE(t248_to_249))) OR (G (FIREABLE(t161_to_162)) AND F (((F (G (FIREABLE(t231_to_232))) AND G (FIREABLE(t231_to_232))) OR (FIREABLE(t161_to_162) U (FIREABLE(t277_to_278) U FIREABLE(t248_to_249)))))))))",
"processed_size": 326,
"rewrites": 94
},
"result":
{
"edges": 25439,
"markings": 25439,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 103
},
"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": 1926
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1926
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 1,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((FIREABLE(t224_to_225) U (FIREABLE(t177_to_178) OR FIREABLE(t112_to_113))))",
"processed_size": 79,
"rewrites": 98
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space /ER",
"value": true
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl",
"visible": 6
},
"threads": 1,
"type": "dfs"
},
"type": "universal_until"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
},
{
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 1,
"aconj": 0,
"adisj": 1,
"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": 3,
"unfir": 2,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((FIREABLE(t77_to_78) U X (G ((NOT FIREABLE(t61_to_62) OR NOT FIREABLE(t44_to_45))))))",
"processed_size": 89,
"rewrites": 94
},
"result":
{
"edges": 101295208,
"markings": 51340975,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 17232,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(G(((G(**) AND X(*)) OR ((** AND G(**)) U **)))) : A((G(**) OR ((** U **) OR (G(**) AND F((G(**) OR (** U **))))))) : A((** U (G(F(**)) OR (** AND G(**))))) : A(G(F(**))) : A((X(G(**)) OR (G(F(**)) AND F(G(**))))) : A(F((* OR F(G(*))))) : A((** U X(G(**)))) : A((G(**) OR (G(**) OR F(*)))) : (A(X(*)) AND A(X(X(G(*))))) : A(X(G((* AND G(*))))) : A(X(F(**))) : A(X(F(**))) : A(((F(G(**)) AND G(**)) OR ((** U (** U **)) OR (G(**) AND F(((F(G(**)) AND G(**)) OR (** U (** U **)))))))) : A(X((G(F(**)) OR G(*)))) : (A((G(**) OR X(F(*)))) AND A(X(G(**)))) : (A((** U **)) AND A(F((** OR F(**)))))"
},
"net":
{
"arcs": 1536,
"conflict_clusters": 384,
"places": 768,
"places_significant": 383,
"singleton_clusters": 0,
"transitions": 384
},
"result":
{
"interim_value": "no no unknown yes no yes no yes no no unknown unknown no unknown no unknown ",
"preliminary_value": "no no unknown yes no yes no yes no no unknown unknown no unknown no unknown "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 1152/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 24576
lola: finding significant places
lola: 768 places, 384 transitions, 383 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 (G ((NOT((NOT(G (FIREABLE(t183_to_184))) OR X (FIREABLE(t177_to_178)))) OR ((FIREABLE(t177_to_178) AND G (FIREABLE(t98_to_99))) U FIREABLE(t177_to_178))))) : A ((G (FIREABLE(t253_to_254)) U (G (FIREABLE(t166_to_167)) OR (FIREABLE(t18_to_19) U FIREABLE(t253_to_254))))) : A ((FIREABLE(t232_to_233) U (G (X (F (NOT FIREABLE(t232_to_233)))) OR (FIREABLE(t232_to_233) AND G (NOT FIREABLE(t225_to_226)))))) : A (X (G (F (FIREABLE(t349_to_350))))) : A ((F (G (F (FIREABLE(t140_to_141)))) U G (X (FIREABLE(t372_to_373))))) : A ((F ((X (NOT FIREABLE(t235_to_236)) U FIREABLE(t221_to_222))) U F (NOT((FIREABLE(t221_to_222) AND G (F (FIREABLE(t345_to_346)))))))) : A ((FIREABLE(t77_to_78) U G (X ((NOT FIREABLE(t61_to_62) OR NOT FIREABLE(t44_to_45)))))) : A (NOT((NOT((G (FIREABLE(t190_to_191)) OR G (NOT FIREABLE(t190_to_191)))) AND G (FIREABLE(t88_to_89))))) : A (NOT((X (FIREABLE(t300_to_301)) OR X (X (F (FIREABLE(t123_to_124))))))) : A (X (NOT((G (X (FIREABLE(t185_to_186))) U F (NOT(G (NOT((FIREABLE(t92_to_93) OR F (FIREABLE(t168_to_169))))))))))) : A (((G (F (FIREABLE(t377_to_378))) AND G (())) OR X ((FIREABLE(t247_to_248) U F (FIREABLE(t377_to_378)))))) : A (F (X (F (FIREABLE(t243_to_244))))) : A ((G (FIREABLE(t161_to_162)) U (G ((FIREABLE(t231_to_232) U G (FIREABLE(t231_to_232)))) OR (FIREABLE(t161_to_162) U (FIREABLE(t277_to_278) U FIREABLE(t248_to_249)))))) : A (X (NOT((NOT(G (F (X (FIREABLE(t245_to_246))))) AND F (FIREABLE(t245_to_246)))))) : A (((G (FIREABLE(t10_to_11)) OR F (X (NOT(G (FIREABLE(t177_to_178)))))) AND X (G (FIREABLE(t109_to_110))))) : A (((FIREABLE(t224_to_225) U (FIREABLE(t177_to_178) OR FIREABLE(t112_to_113))) AND F ((FIREABLE(t224_to_225) OR F (FIREABLE(t112_to_113))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:353
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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:551
lola: rewrite Frontend/Parser/formula_rewrite.k:353
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:494
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:536
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 (G (((G (FIREABLE(t183_to_184)) AND X (NOT FIREABLE(t177_to_178))) OR ((FIREABLE(t177_to_178) AND G (FIREABLE(t98_to_99))) U FIREABLE(t177_to_178)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (((G (FIREABLE(t183_to_184)) AND X (NOT FIREABLE(t177_to_178))) OR ((FIREABLE(t177_to_178) AND G (FIREABLE(t98_to_99))) U FIREABLE(t177_to_178)))))
lola: processed formula length: 152
lola: 94 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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 12614 markings, 12614 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (G (FIREABLE(t372_to_373))) OR (G (F (FIREABLE(t140_to_141))) AND F (G (FIREABLE(t372_to_373))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (G (FIREABLE(t372_to_373))) OR (G (F (FIREABLE(t140_to_141))) AND F (G (FIREABLE(t372_to_373))))))
lola: processed formula length: 104
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 12615 markings, 12616 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t77_to_78) U X (G ((NOT FIREABLE(t61_to_62) OR NOT FIREABLE(t44_to_45))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t77_to_78) U X (G ((NOT FIREABLE(t61_to_62) OR NOT FIREABLE(t44_to_45))))))
lola: processed formula length: 89
lola: 94 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: 575083 markings, 971570 edges, 115017 markings/sec, 0 secs
lola: 1107571 markings, 1926108 edges, 106498 markings/sec, 5 secs
lola: 1614625 markings, 2848978 edges, 101411 markings/sec, 10 secs
lola: 2106463 markings, 3757048 edges, 98368 markings/sec, 15 secs
lola: 2589346 markings, 4654745 edges, 96577 markings/sec, 20 secs
lola: 3067789 markings, 5542989 edges, 95689 markings/sec, 25 secs
lola: 3537960 markings, 6424491 edges, 94034 markings/sec, 30 secs
lola: 4005510 markings, 7297819 edges, 93510 markings/sec, 35 secs
lola: 4461516 markings, 8161631 edges, 91201 markings/sec, 40 secs
lola: 4913607 markings, 9018145 edges, 90418 markings/sec, 45 secs
lola: 5364017 markings, 9869633 edges, 90082 markings/sec, 50 secs
lola: 5810381 markings, 10717556 edges, 89273 markings/sec, 55 secs
lola: 6255031 markings, 11560647 edges, 88930 markings/sec, 60 secs
lola: 6694801 markings, 12398038 edges, 87954 markings/sec, 65 secs
lola: 7123504 markings, 13221415 edges, 85741 markings/sec, 70 secs
lola: 7544696 markings, 14026349 edges, 84238 markings/sec, 75 secs
lola: 7962940 markings, 14826616 edges, 83649 markings/sec, 80 secs
lola: 8379758 markings, 15627188 edges, 83364 markings/sec, 85 secs
lola: 8792623 markings, 16424052 edges, 82573 markings/sec, 90 secs
lola: 9208581 markings, 17217056 edges, 83192 markings/sec, 95 secs
lola: 9615677 markings, 18007200 edges, 81419 markings/sec, 100 secs
lola: 10026637 markings, 18797335 edges, 82192 markings/sec, 105 secs
lola: 10436126 markings, 19582318 edges, 81898 markings/sec, 110 secs
lola: 10837933 markings, 20365841 edges, 80361 markings/sec, 115 secs
lola: 11241021 markings, 21145717 edges, 80618 markings/sec, 120 secs
lola: 11641196 markings, 21920981 edges, 80035 markings/sec, 125 secs
lola: 12040037 markings, 22696173 edges, 79768 markings/sec, 130 secs
lola: 12437068 markings, 23469994 edges, 79406 markings/sec, 135 secs
lola: 12834774 markings, 24245048 edges, 79541 markings/sec, 140 secs
lola: 13228636 markings, 25013467 edges, 78772 markings/sec, 145 secs
lola: 13621566 markings, 25784701 edges, 78586 markings/sec, 150 secs
lola: 14013994 markings, 26549526 edges, 78486 markings/sec, 155 secs
lola: 14406864 markings, 27315973 edges, 78574 markings/sec, 160 secs
lola: 14793587 markings, 28075429 edges, 77345 markings/sec, 165 secs
lola: 15183635 markings, 28834095 edges, 78010 markings/sec, 170 secs
lola: 15571223 markings, 29593404 edges, 77518 markings/sec, 175 secs
lola: 15956320 markings, 30346496 edges, 77019 markings/sec, 180 secs
lola: 16344437 markings, 31110727 edges, 77623 markings/sec, 185 secs
lola: 16736832 markings, 31886099 edges, 78479 markings/sec, 190 secs
lola: 17131210 markings, 32662703 edges, 78876 markings/sec, 195 secs
lola: 17524923 markings, 33439463 edges, 78743 markings/sec, 200 secs
lola: 17915298 markings, 34214871 edges, 78075 markings/sec, 205 secs
lola: 18309726 markings, 34986298 edges, 78886 markings/sec, 210 secs
lola: 18697919 markings, 35755162 edges, 77639 markings/sec, 215 secs
lola: 19084876 markings, 36522232 edges, 77391 markings/sec, 220 secs
lola: 19473276 markings, 37286639 edges, 77680 markings/sec, 225 secs
lola: 19862904 markings, 38047869 edges, 77926 markings/sec, 230 secs
lola: 20247284 markings, 38809367 edges, 76876 markings/sec, 235 secs
lola: 20632949 markings, 39571251 edges, 77133 markings/sec, 240 secs
lola: 21017607 markings, 40330975 edges, 76932 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4586040 KB
lola: time consumption: 258 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (NOT FIREABLE(t300_to_301))) AND A (X (X (G (NOT FIREABLE(t123_to_124))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (NOT FIREABLE(t300_to_301)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (NOT FIREABLE(t300_to_301)))
lola: processed formula length: 33
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 12614 markings, 12614 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 4 will run for 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((NOT FIREABLE(t92_to_93) AND G (NOT FIREABLE(t168_to_169))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((NOT FIREABLE(t92_to_93) AND G (NOT FIREABLE(t168_to_169))))))
lola: processed formula length: 71
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 12614 markings, 12614 edges
lola: ========================================
lola: subprocess 5 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (FIREABLE(t377_to_378))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (FIREABLE(t377_to_378))))
lola: processed formula length: 33
lola: 94 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: 480212 markings, 928228 edges, 96042 markings/sec, 0 secs
lola: 981180 markings, 1922038 edges, 100194 markings/sec, 5 secs
lola: 1463128 markings, 2894830 edges, 96390 markings/sec, 10 secs
lola: 1864858 markings, 3893670 edges, 80346 markings/sec, 15 secs
lola: 2265872 markings, 4889699 edges, 80203 markings/sec, 20 secs
lola: 2662961 markings, 5873075 edges, 79418 markings/sec, 25 secs
lola: 3064893 markings, 6857936 edges, 80386 markings/sec, 30 secs
lola: 3468814 markings, 7861517 edges, 80784 markings/sec, 35 secs
lola: 3866805 markings, 8848586 edges, 79598 markings/sec, 40 secs
lola: 4268059 markings, 9830373 edges, 80251 markings/sec, 45 secs
lola: 4673339 markings, 10837592 edges, 81056 markings/sec, 50 secs
lola: 5075250 markings, 11835127 edges, 80382 markings/sec, 55 secs
lola: 5475063 markings, 12812181 edges, 79963 markings/sec, 60 secs
lola: 5878572 markings, 13815240 edges, 80702 markings/sec, 65 secs
lola: 6280223 markings, 14812311 edges, 80330 markings/sec, 70 secs
lola: 6679935 markings, 15789116 edges, 79942 markings/sec, 75 secs
lola: 7085321 markings, 16796741 edges, 81077 markings/sec, 80 secs
lola: 7488693 markings, 17798223 edges, 80674 markings/sec, 85 secs
lola: 7888744 markings, 18775565 edges, 80010 markings/sec, 90 secs
lola: 8293388 markings, 19781660 edges, 80929 markings/sec, 95 secs
lola: 8696131 markings, 20781701 edges, 80549 markings/sec, 100 secs
lola: 9094855 markings, 21755868 edges, 79745 markings/sec, 105 secs
lola: 9496672 markings, 22754730 edges, 80363 markings/sec, 110 secs
lola: 9896480 markings, 23747447 edges, 79962 markings/sec, 115 secs
lola: 10292775 markings, 24715803 edges, 79259 markings/sec, 120 secs
lola: 10696255 markings, 25718796 edges, 80696 markings/sec, 125 secs
lola: 11097407 markings, 26714612 edges, 80230 markings/sec, 130 secs
lola: 11495360 markings, 27687238 edges, 79591 markings/sec, 135 secs
lola: 11899534 markings, 28691843 edges, 80835 markings/sec, 140 secs
lola: 12300479 markings, 29686976 edges, 80189 markings/sec, 145 secs
lola: 12699978 markings, 30664216 edges, 79900 markings/sec, 150 secs
lola: 13102391 markings, 31664163 edges, 80483 markings/sec, 155 secs
lola: 13500283 markings, 32651142 edges, 79578 markings/sec, 160 secs
lola: 13899666 markings, 33628751 edges, 79877 markings/sec, 165 secs
lola: 14303859 markings, 34632805 edges, 80839 markings/sec, 170 secs
lola: 14702094 markings, 35619667 edges, 79647 markings/sec, 175 secs
lola: 15103791 markings, 36604633 edges, 80339 markings/sec, 180 secs
lola: 15507724 markings, 37607752 edges, 80787 markings/sec, 185 secs
lola: 15906491 markings, 38582612 edges, 79753 markings/sec, 190 secs
lola: 16308329 markings, 39581317 edges, 80368 markings/sec, 195 secs
lola: 16706745 markings, 40569880 edges, 79683 markings/sec, 200 secs
lola: 17106105 markings, 41547799 edges, 79872 markings/sec, 205 secs
lola: 17509701 markings, 42550255 edges, 80719 markings/sec, 210 secs
lola: 17909189 markings, 43539527 edges, 79898 markings/sec, 215 secs
lola: 18309513 markings, 44521953 edges, 80065 markings/sec, 220 secs
lola: 18708561 markings, 45512492 edges, 79810 markings/sec, 225 secs
lola: 19105989 markings, 46485275 edges, 79486 markings/sec, 230 secs
lola: 19507728 markings, 47483186 edges, 80348 markings/sec, 235 secs
lola: 19904025 markings, 48464950 edges, 79259 markings/sec, 240 secs
lola: 20305406 markings, 49449680 edges, 80276 markings/sec, 245 secs
lola: 20705422 markings, 50442412 edges, 80003 markings/sec, 250 secs
lola: 21105058 markings, 51421132 edges, 79927 markings/sec, 255 secs
lola: 21505950 markings, 52416759 edges, 80178 markings/sec, 260 secs
lola: 21903171 markings, 53398657 edges, 79444 markings/sec, 265 secs
lola: 22303593 markings, 54383593 edges, 80084 markings/sec, 270 secs
lola: 22699995 markings, 55366539 edges, 79280 markings/sec, 275 secs
lola: 23099917 markings, 56347033 edges, 79984 markings/sec, 280 secs
lola: 23498900 markings, 57337168 edges, 79797 markings/sec, 285 secs
lola: 23896925 markings, 58312131 edges, 79605 markings/sec, 290 secs
lola: 24296870 markings, 59305243 edges, 79989 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown no unknown unknown unknown no no unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4062004 KB
lola: time consumption: 560 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (FIREABLE(t243_to_244))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (FIREABLE(t243_to_244))))
lola: processed formula length: 33
lola: 94 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: 393979 markings, 761165 edges, 78796 markings/sec, 0 secs
lola: 658373 markings, 1415427 edges, 52879 markings/sec, 5 secs
lola: 948670 markings, 2127817 edges, 58059 markings/sec, 10 secs
lola: 1214496 markings, 2779373 edges, 53165 markings/sec, 15 secs
lola: 1492402 markings, 3460778 edges, 55581 markings/sec, 20 secs
lola: 1770838 markings, 4143455 edges, 55687 markings/sec, 25 secs
lola: 2043097 markings, 4810630 edges, 54452 markings/sec, 30 secs
lola: 2314588 markings, 5476481 edges, 54298 markings/sec, 35 secs
lola: 2590348 markings, 6152639 edges, 55152 markings/sec, 40 secs
lola: 2860211 markings, 6814349 edges, 53973 markings/sec, 45 secs
lola: 3133003 markings, 7483340 edges, 54558 markings/sec, 50 secs
lola: 3396967 markings, 8130703 edges, 52793 markings/sec, 55 secs
lola: 3681580 markings, 8829153 edges, 56923 markings/sec, 60 secs
lola: 3944045 markings, 9472783 edges, 52493 markings/sec, 65 secs
lola: 4211062 markings, 10127825 edges, 53403 markings/sec, 70 secs
lola: 4470308 markings, 10763451 edges, 51849 markings/sec, 75 secs
lola: 4737693 markings, 11418722 edges, 53477 markings/sec, 80 secs
lola: 5007430 markings, 12076020 edges, 53947 markings/sec, 85 secs
lola: 5266931 markings, 12712685 edges, 51900 markings/sec, 90 secs
lola: 5528116 markings, 13352467 edges, 52237 markings/sec, 95 secs
lola: 5785674 markings, 13980650 edges, 51512 markings/sec, 100 secs
lola: 6062773 markings, 14656327 edges, 55420 markings/sec, 105 secs
lola: 6335080 markings, 15324235 edges, 54461 markings/sec, 110 secs
lola: 6589976 markings, 15945909 edges, 50979 markings/sec, 115 secs
lola: 6847108 markings, 16572969 edges, 51426 markings/sec, 120 secs
lola: 7102313 markings, 17195285 edges, 51041 markings/sec, 125 secs
lola: 7372004 markings, 17852958 edges, 53938 markings/sec, 130 secs
lola: 7637574 markings, 18498687 edges, 53114 markings/sec, 135 secs
lola: 7899294 markings, 19134693 edges, 52344 markings/sec, 140 secs
lola: 8156261 markings, 19759221 edges, 51393 markings/sec, 145 secs
lola: 8405555 markings, 20363017 edges, 49859 markings/sec, 150 secs
lola: 8737502 markings, 21164679 edges, 66389 markings/sec, 155 secs
lola: 9142607 markings, 22134040 edges, 81021 markings/sec, 160 secs
lola: 9464449 markings, 22913986 edges, 64368 markings/sec, 165 secs
lola: 9770069 markings, 23663989 edges, 61124 markings/sec, 170 secs
lola: 10051282 markings, 24347425 edges, 56243 markings/sec, 175 secs
lola: 10311779 markings, 24997269 edges, 52099 markings/sec, 180 secs
lola: 10529033 markings, 25643645 edges, 43451 markings/sec, 185 secs
lola: 10765914 markings, 26342242 edges, 47376 markings/sec, 190 secs
lola: 10987074 markings, 26993755 edges, 44232 markings/sec, 195 secs
lola: 11193037 markings, 27605803 edges, 41193 markings/sec, 200 secs
lola: 11420932 markings, 28277977 edges, 45579 markings/sec, 205 secs
lola: 11646231 markings, 28942075 edges, 45060 markings/sec, 210 secs
lola: 11860050 markings, 29571967 edges, 42764 markings/sec, 215 secs
lola: 12054343 markings, 30149162 edges, 38859 markings/sec, 220 secs
lola: 12273146 markings, 30794440 edges, 43761 markings/sec, 225 secs
lola: 12494951 markings, 31448362 edges, 44361 markings/sec, 230 secs
lola: 12711071 markings, 32085461 edges, 43224 markings/sec, 235 secs
lola: 12920660 markings, 32702841 edges, 41918 markings/sec, 240 secs
lola: 13127701 markings, 33312955 edges, 41408 markings/sec, 245 secs
lola: 13334620 markings, 33926588 edges, 41384 markings/sec, 250 secs
lola: 13541630 markings, 34537691 edges, 41402 markings/sec, 255 secs
lola: 13754827 markings, 35166091 edges, 42639 markings/sec, 260 secs
lola: 13981511 markings, 35834438 edges, 45337 markings/sec, 265 secs
lola: 14204809 markings, 36492499 edges, 44660 markings/sec, 270 secs
lola: 14428609 markings, 37148975 edges, 44760 markings/sec, 275 secs
lola: 14652003 markings, 37808093 edges, 44679 markings/sec, 280 secs
lola: 14867521 markings, 38443841 edges, 43104 markings/sec, 285 secs
lola: 15081053 markings, 39073417 edges, 42706 markings/sec, 290 secs
lola: 15281222 markings, 39662907 edges, 40034 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown no unknown unknown unknown no no unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2116100 KB
lola: time consumption: 861 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 300 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((G (F (FIREABLE(t245_to_246))) OR G (NOT FIREABLE(t245_to_246)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((G (F (FIREABLE(t245_to_246))) OR G (NOT FIREABLE(t245_to_246)))))
lola: processed formula length: 72
lola: 94 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: 398083 markings, 769733 edges, 79617 markings/sec, 0 secs
lola: 701315 markings, 1519807 edges, 60646 markings/sec, 5 secs
lola: 1006039 markings, 2267966 edges, 60945 markings/sec, 10 secs
lola: 1321449 markings, 3042269 edges, 63082 markings/sec, 15 secs
lola: 1630174 markings, 3799805 edges, 61745 markings/sec, 20 secs
lola: 1937644 markings, 4554395 edges, 61494 markings/sec, 25 secs
lola: 2243573 markings, 5305136 edges, 61186 markings/sec, 30 secs
lola: 2544681 markings, 6043801 edges, 60222 markings/sec, 35 secs
lola: 2845591 markings, 6782351 edges, 60182 markings/sec, 40 secs
lola: 3143380 markings, 7512940 edges, 59558 markings/sec, 45 secs
lola: 3448244 markings, 8260752 edges, 60973 markings/sec, 50 secs
lola: 3753655 markings, 9005343 edges, 61082 markings/sec, 55 secs
lola: 4053289 markings, 9740930 edges, 59927 markings/sec, 60 secs
lola: 4349074 markings, 10466889 edges, 59157 markings/sec, 65 secs
lola: 4637408 markings, 11174462 edges, 57667 markings/sec, 70 secs
lola: 4940898 markings, 11914610 edges, 60698 markings/sec, 75 secs
lola: 5234989 markings, 12636605 edges, 58818 markings/sec, 80 secs
lola: 5525370 markings, 13347912 edges, 58076 markings/sec, 85 secs
lola: 5817304 markings, 14061184 edges, 58387 markings/sec, 90 secs
lola: 6108074 markings, 14770546 edges, 58154 markings/sec, 95 secs
lola: 6391535 markings, 15465915 edges, 56692 markings/sec, 100 secs
lola: 6675596 markings, 16159244 edges, 56812 markings/sec, 105 secs
lola: 6960446 markings, 16854475 edges, 56970 markings/sec, 110 secs
lola: 7246057 markings, 17551626 edges, 57122 markings/sec, 115 secs
lola: 7528391 markings, 18237556 edges, 56467 markings/sec, 120 secs
lola: 7801700 markings, 18904949 edges, 54662 markings/sec, 125 secs
lola: 8076376 markings, 19572686 edges, 54935 markings/sec, 130 secs
lola: 8347756 markings, 20232672 edges, 54276 markings/sec, 135 secs
lola: 8613712 markings, 20877017 edges, 53191 markings/sec, 140 secs
lola: 8873031 markings, 21505792 edges, 51864 markings/sec, 145 secs
lola: 9294770 markings, 22521870 edges, 84348 markings/sec, 150 secs
lola: 9676845 markings, 23431189 edges, 76415 markings/sec, 155 secs
lola: 9989167 markings, 24197211 edges, 62464 markings/sec, 160 secs
lola: 10291196 markings, 24944512 edges, 60406 markings/sec, 165 secs
lola: 10605493 markings, 25710137 edges, 62859 markings/sec, 170 secs
lola: 10880033 markings, 26480775 edges, 54908 markings/sec, 175 secs
lola: 11132580 markings, 27225446 edges, 50509 markings/sec, 180 secs
lola: 11376044 markings, 27942759 edges, 48693 markings/sec, 185 secs
lola: 11615947 markings, 28656545 edges, 47981 markings/sec, 190 secs
lola: 11873541 markings, 29416904 edges, 51519 markings/sec, 195 secs
lola: 12123623 markings, 30154396 edges, 50016 markings/sec, 200 secs
lola: 12365458 markings, 30867239 edges, 48367 markings/sec, 205 secs
lola: 12603616 markings, 31571364 edges, 47632 markings/sec, 210 secs
lola: 12844339 markings, 32285160 edges, 48145 markings/sec, 215 secs
lola: 13086286 markings, 32999144 edges, 48389 markings/sec, 220 secs
lola: 13330998 markings, 33721132 edges, 48942 markings/sec, 225 secs
lola: 13573523 markings, 34436578 edges, 48505 markings/sec, 230 secs
lola: 13814226 markings, 35146696 edges, 48141 markings/sec, 235 secs
lola: 14052013 markings, 35848098 edges, 47557 markings/sec, 240 secs
lola: 14288961 markings, 36547038 edges, 47390 markings/sec, 245 secs
lola: 14524959 markings, 37243269 edges, 47200 markings/sec, 250 secs
lola: 14757501 markings, 37929228 edges, 46508 markings/sec, 255 secs
lola: 14988865 markings, 38611806 edges, 46273 markings/sec, 260 secs
lola: 15218650 markings, 39289536 edges, 45957 markings/sec, 265 secs
lola: 15448297 markings, 39966618 edges, 45929 markings/sec, 270 secs
lola: 15681588 markings, 40650561 edges, 46658 markings/sec, 275 secs
lola: 15908600 markings, 41320528 edges, 45402 markings/sec, 280 secs
lola: 16131018 markings, 41976756 edges, 44484 markings/sec, 285 secs
lola: 16354416 markings, 42635194 edges, 44680 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown no unknown unknown unknown no no unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no unknown unknown unknown no unknown unknown unknown no no unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2299504 KB
lola: time consumption: 1162 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((G (FIREABLE(t10_to_11)) OR X (F (NOT FIREABLE(t177_to_178))))) AND A (X (G (FIREABLE(t109_to_110)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (FIREABLE(t109_to_110))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (FIREABLE(t109_to_110))))
lola: processed formula length: 33
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 12614 markings, 12614 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 9 will run for 344 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(t349_to_350))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(t349_to_350))))
lola: processed formula length: 33
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 26132 markings, 39042 edges
lola: ========================================
lola: subprocess 10 will run for 401 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((NOT FIREABLE(t221_to_222) OR F (G (NOT FIREABLE(t345_to_346))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((NOT FIREABLE(t221_to_222) OR F (G (NOT FIREABLE(t345_to_346))))))
lola: processed formula length: 72
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 481 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t232_to_233) U (G (F (NOT FIREABLE(t232_to_233))) OR (FIREABLE(t232_to_233) AND G (NOT FIREABLE(t225_to_226))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t232_to_233) U (G (F (NOT FIREABLE(t232_to_233))) OR (FIREABLE(t232_to_233) AND G (NOT FIREABLE(t225_to_226))))))
lola: processed formula length: 126
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 353684 markings, 689954 edges, 70737 markings/sec, 0 secs
lola: 662784 markings, 1363966 edges, 61820 markings/sec, 5 secs
lola: 1023248 markings, 2152345 edges, 72093 markings/sec, 10 secs
lola: 1388860 markings, 2940961 edges, 73122 markings/sec, 15 secs
lola: 1834466 markings, 3919332 edges, 89121 markings/sec, 20 secs
lola: 2257956 markings, 4836795 edges, 84698 markings/sec, 25 secs
lola: 2670277 markings, 5750920 edges, 82464 markings/sec, 30 secs
lola: 3099038 markings, 6670302 edges, 85752 markings/sec, 35 secs
lola: 3525373 markings, 7598961 edges, 85267 markings/sec, 40 secs
lola: 3920777 markings, 8480734 edges, 79081 markings/sec, 45 secs
lola: 4314328 markings, 9338955 edges, 78710 markings/sec, 50 secs
lola: 4736302 markings, 10245619 edges, 84395 markings/sec, 55 secs
lola: 5176414 markings, 11215147 edges, 88022 markings/sec, 60 secs
lola: 5637656 markings, 12229455 edges, 92248 markings/sec, 65 secs
lola: 5978333 markings, 12928018 edges, 68135 markings/sec, 70 secs
lola: 6304888 markings, 13652712 edges, 65311 markings/sec, 75 secs
lola: 6643502 markings, 14398985 edges, 67723 markings/sec, 80 secs
lola: 6851224 markings, 14986374 edges, 41544 markings/sec, 85 secs
lola: 7104637 markings, 15704935 edges, 50683 markings/sec, 90 secs
lola: 7342674 markings, 16380835 edges, 47607 markings/sec, 95 secs
lola: 7582739 markings, 17061677 edges, 48013 markings/sec, 100 secs
lola: 7830742 markings, 17762443 edges, 49601 markings/sec, 105 secs
lola: 8080400 markings, 18468212 edges, 49932 markings/sec, 110 secs
lola: 8335965 markings, 19198246 edges, 51113 markings/sec, 115 secs
lola: 8589956 markings, 19923655 edges, 50798 markings/sec, 120 secs
lola: 8847477 markings, 20658452 edges, 51504 markings/sec, 125 secs
lola: 9106660 markings, 21399786 edges, 51837 markings/sec, 130 secs
lola: 9369783 markings, 22152842 edges, 52625 markings/sec, 135 secs
lola: 9650145 markings, 22956591 edges, 56072 markings/sec, 140 secs
lola: 9928851 markings, 23761413 edges, 55741 markings/sec, 145 secs
lola: 10196639 markings, 24533980 edges, 53558 markings/sec, 150 secs
lola: 10458833 markings, 25291228 edges, 52439 markings/sec, 155 secs
lola: 10733553 markings, 26069956 edges, 54944 markings/sec, 160 secs
lola: 10983510 markings, 26777343 edges, 49991 markings/sec, 165 secs
lola: 11233811 markings, 27489807 edges, 50060 markings/sec, 170 secs
lola: 11465253 markings, 28105498 edges, 46288 markings/sec, 175 secs
lola: 11688132 markings, 28681563 edges, 44576 markings/sec, 180 secs
lola: 11920207 markings, 29275204 edges, 46415 markings/sec, 185 secs
lola: 12157672 markings, 29884102 edges, 47493 markings/sec, 190 secs
lola: 12424835 markings, 30569405 edges, 53433 markings/sec, 195 secs
lola: 12708427 markings, 31288666 edges, 56718 markings/sec, 200 secs
lola: 12984512 markings, 31984249 edges, 55217 markings/sec, 205 secs
lola: 13245445 markings, 32653527 edges, 52187 markings/sec, 210 secs
lola: 13510855 markings, 33343297 edges, 53082 markings/sec, 215 secs
lola: 13777625 markings, 34022285 edges, 53354 markings/sec, 220 secs
lola: 14061220 markings, 34751046 edges, 56719 markings/sec, 225 secs
lola: 14348464 markings, 35474270 edges, 57449 markings/sec, 230 secs
lola: 14628711 markings, 36187742 edges, 56049 markings/sec, 235 secs
lola: 14899837 markings, 36893933 edges, 54225 markings/sec, 240 secs
lola: 15169287 markings, 37585496 edges, 53890 markings/sec, 245 secs
lola: 15448818 markings, 38362639 edges, 55906 markings/sec, 250 secs
lola: 15774321 markings, 39136169 edges, 65101 markings/sec, 255 secs
lola: 16020391 markings, 39753176 edges, 49214 markings/sec, 260 secs
lola: 16267967 markings, 40366306 edges, 49515 markings/sec, 265 secs
lola: 16487508 markings, 40919212 edges, 43908 markings/sec, 270 secs
lola: 16698261 markings, 41452006 edges, 42151 markings/sec, 275 secs
lola: 16921088 markings, 42020748 edges, 44565 markings/sec, 280 secs
lola: 17243383 markings, 42850989 edges, 64459 markings/sec, 285 secs
lola: 17493796 markings, 43474333 edges, 50083 markings/sec, 290 secs
lola: 17749525 markings, 44110509 edges, 51146 markings/sec, 295 secs
lola: 18008044 markings, 44760178 edges, 51704 markings/sec, 300 secs
lola: 18266625 markings, 45420902 edges, 51716 markings/sec, 305 secs
lola: 18555685 markings, 46189110 edges, 57812 markings/sec, 310 secs
lola: 18847241 markings, 46927930 edges, 58311 markings/sec, 315 secs
lola: 19170003 markings, 47734687 edges, 64552 markings/sec, 320 secs
lola: 19475764 markings, 48524312 edges, 61152 markings/sec, 325 secs
lola: 19770391 markings, 49266053 edges, 58925 markings/sec, 330 secs
lola: 20069233 markings, 49999752 edges, 59768 markings/sec, 335 secs
lola: 20381831 markings, 50786220 edges, 62520 markings/sec, 340 secs
lola: 20661574 markings, 51521174 edges, 55949 markings/sec, 345 secs
lola: 20962806 markings, 52326255 edges, 60246 markings/sec, 350 secs
lola: 21300006 markings, 53269331 edges, 67440 markings/sec, 355 secs
lola: 21627879 markings, 54107268 edges, 65575 markings/sec, 360 secs
lola: 21966798 markings, 54997930 edges, 67784 markings/sec, 365 secs
lola: 22333664 markings, 55959939 edges, 73373 markings/sec, 370 secs
lola: 22667847 markings, 56827797 edges, 66837 markings/sec, 375 secs
lola: 23006597 markings, 57684495 edges, 67750 markings/sec, 380 secs
lola: 23375018 markings, 58621397 edges, 73684 markings/sec, 385 secs
lola: 23735816 markings, 59390852 edges, 72160 markings/sec, 390 secs
lola: 24042261 markings, 60082398 edges, 61289 markings/sec, 395 secs
lola: 24269226 markings, 60706837 edges, 45393 markings/sec, 400 secs
lola: 24519676 markings, 61392195 edges, 50090 markings/sec, 405 secs
lola: 24775334 markings, 62103815 edges, 51132 markings/sec, 410 secs
lola: 25038218 markings, 62786244 edges, 52577 markings/sec, 415 secs
lola: 25240510 markings, 63323390 edges, 40458 markings/sec, 420 secs
lola: 25451193 markings, 63883507 edges, 42137 markings/sec, 425 secs
lola: 25665714 markings, 64462608 edges, 42904 markings/sec, 430 secs
lola: 25891225 markings, 65069188 edges, 45102 markings/sec, 435 secs
lola: 26119173 markings, 65679333 edges, 45590 markings/sec, 440 secs
lola: 26353727 markings, 66306008 edges, 46911 markings/sec, 445 secs
lola: 26596952 markings, 66959617 edges, 48645 markings/sec, 450 secs
lola: 26877497 markings, 67709084 edges, 56109 markings/sec, 455 secs
lola: 27103319 markings, 68351285 edges, 45164 markings/sec, 460 secs
lola: 27334736 markings, 69029152 edges, 46283 markings/sec, 465 secs
lola: 27574247 markings, 69733740 edges, 47902 markings/sec, 470 secs
lola: 27823964 markings, 70467794 edges, 49943 markings/sec, 475 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown yes no yes unknown unknown no no unknown unknown unknown unknown no unknown
lola: memory consumption: 3940412 KB
lola: time consumption: 1643 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 481 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G (FIREABLE(t190_to_191)) OR (G (NOT FIREABLE(t190_to_191)) OR F (NOT FIREABLE(t88_to_89)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G (FIREABLE(t190_to_191)) OR (G (NOT FIREABLE(t190_to_191)) OR F (NOT FIREABLE(t88_to_89)))))
lola: processed formula length: 97
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 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 13 will run for 642 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G (FIREABLE(t166_to_167)) OR ((FIREABLE(t18_to_19) U FIREABLE(t253_to_254)) OR (G (FIREABLE(t253_to_254)) AND F ((G (FIREABLE(t166_to_167)) OR (FIREABLE(t18_to_19) U FIREABLE(t253_to_254))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G (FIREABLE(t166_to_167)) OR ((FIREABLE(t18_to_19) U FIREABLE(t253_to_254)) OR (G (FIREABLE(t253_to_254)) AND F ((G (FIREABLE(t166_to_167)) OR (FIREABLE(t18_to_19) U FIREABLE(t253_to_254))))))))
lola: processed formula length: 198
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 15 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 21599 markings, 21599 edges
lola: ========================================
lola: subprocess 14 will run for 963 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((F (G (FIREABLE(t231_to_232))) AND G (FIREABLE(t231_to_232))) OR ((FIREABLE(t161_to_162) U (FIREABLE(t277_to_278) U FIREABLE(t248_to_249))) OR (G (FIREABLE(t161_to_162)) AND F (((F (G (FIREABLE(t231_to_232))) AND G (FIREABLE(t231_to_232))) OR (FIREABLE(t161_to_162) U (FIREABLE(t277_to_278) U FIREABLE(t248_to_249)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((F (G (FIREABLE(t231_to_232))) AND G (FIREABLE(t231_to_232))) OR ((FIREABLE(t161_to_162) U (FIREABLE(t277_to_278) U FIREABLE(t248_to_249))) OR (G (FIREABLE(t161_to_162)) AND F (((F (G (FIREABLE(t231_to_232))) AND G (FIREABLE(t231_to_232))) OR (FIREABLE(t161_to_162) U (FIREABLE(t277_to_278) U FIREABLE(t248_to_249)))))))))
lola: processed formula length: 326
lola: 94 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 103 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 25439 markings, 25439 edges
lola: ========================================
lola: subprocess 15 will run for 1926 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((FIREABLE(t224_to_225) U (FIREABLE(t177_to_178) OR FIREABLE(t112_to_113)))) AND A (F ((FIREABLE(t224_to_225) OR F (FIREABLE(t112_to_113))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1926 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t224_to_225) U (FIREABLE(t177_to_178) OR FIREABLE(t112_to_113))))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:735
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A ((FIREABLE(t224_to_225) U (FIREABLE(t177_to_178) OR FIREABLE(t112_to_113))))
lola: processed formula length: 79
lola: 98 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 /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 0
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /ER
lola: Predicate Phi holds until Predicate Psi on all paths.
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 ((FIREABLE(t77_to_78) U X (G ((NOT FIREABLE(t61_to_62) OR NOT FIREABLE(t44_to_45))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t77_to_78) U X (G ((NOT FIREABLE(t61_to_62) OR NOT FIREABLE(t44_to_45))))))
lola: processed formula length: 89
lola: 94 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: 602150 markings, 1019885 edges, 120430 markings/sec, 0 secs
lola: 1139365 markings, 1983917 edges, 107443 markings/sec, 5 secs
lola: 1653224 markings, 2919741 edges, 102772 markings/sec, 10 secs
lola: 2149734 markings, 3839442 edges, 99302 markings/sec, 15 secs
lola: 2637200 markings, 4743444 edges, 97493 markings/sec, 20 secs
lola: 3117300 markings, 5635837 edges, 96020 markings/sec, 25 secs
lola: 3589671 markings, 6520043 edges, 94474 markings/sec, 30 secs
lola: 4057405 markings, 7395444 edges, 93547 markings/sec, 35 secs
lola: 4514657 markings, 8262336 edges, 91450 markings/sec, 40 secs
lola: 4968203 markings, 9121676 edges, 90709 markings/sec, 45 secs
lola: 5420729 markings, 9978136 edges, 90505 markings/sec, 50 secs
lola: 5868803 markings, 10827069 edges, 89615 markings/sec, 55 secs
lola: 6316179 markings, 11675879 edges, 89475 markings/sec, 60 secs
lola: 6756094 markings, 12516664 edges, 87983 markings/sec, 65 secs
lola: 7192350 markings, 13351766 edges, 87251 markings/sec, 70 secs
lola: 7627204 markings, 14184727 edges, 86971 markings/sec, 75 secs
lola: 8058733 markings, 15011771 edges, 86306 markings/sec, 80 secs
lola: 8487665 markings, 15838952 edges, 85786 markings/sec, 85 secs
lola: 8916943 markings, 16661780 edges, 85856 markings/sec, 90 secs
lola: 9345052 markings, 17478479 edges, 85622 markings/sec, 95 secs
lola: 9766076 markings, 18295493 edges, 84205 markings/sec, 100 secs
lola: 10188976 markings, 19110523 edges, 84580 markings/sec, 105 secs
lola: 10610285 markings, 19922981 edges, 84262 markings/sec, 110 secs
lola: 11027139 markings, 20730812 edges, 83371 markings/sec, 115 secs
lola: 11442747 markings, 21534099 edges, 83122 markings/sec, 120 secs
lola: 11856851 markings, 22337770 edges, 82821 markings/sec, 125 secs
lola: 12266793 markings, 23137626 edges, 81988 markings/sec, 130 secs
lola: 12676443 markings, 23938168 edges, 81930 markings/sec, 135 secs
lola: 13087405 markings, 24736030 edges, 82192 markings/sec, 140 secs
lola: 13493565 markings, 25534286 edges, 81232 markings/sec, 145 secs
lola: 13899464 markings, 26325379 edges, 81180 markings/sec, 150 secs
lola: 14306924 markings, 27118002 edges, 81492 markings/sec, 155 secs
lola: 14707383 markings, 27906951 edges, 80092 markings/sec, 160 secs
lola: 15110656 markings, 28691894 edges, 80655 markings/sec, 165 secs
lola: 15512890 markings, 29479441 edges, 80447 markings/sec, 170 secs
lola: 15913213 markings, 30260488 edges, 80065 markings/sec, 175 secs
lola: 16309588 markings, 31043213 edges, 79275 markings/sec, 180 secs
lola: 16705672 markings, 31824483 edges, 79217 markings/sec, 185 secs
lola: 17102283 markings, 32607173 edges, 79322 markings/sec, 190 secs
lola: 17498988 markings, 33388512 edges, 79341 markings/sec, 195 secs
lola: 17892445 markings, 34168996 edges, 78691 markings/sec, 200 secs
lola: 18289380 markings, 34945409 edges, 79387 markings/sec, 205 secs
lola: 18679767 markings, 35719678 edges, 78077 markings/sec, 210 secs
lola: 19070525 markings, 36492216 edges, 78152 markings/sec, 215 secs
lola: 19461037 markings, 37262142 edges, 78102 markings/sec, 220 secs
lola: 19853977 markings, 38031154 edges, 78588 markings/sec, 225 secs
lola: 20243398 markings, 38801038 edges, 77884 markings/sec, 230 secs
lola: 20632926 markings, 39571192 edges, 77906 markings/sec, 235 secs
lola: 21021395 markings, 40338478 edges, 77694 markings/sec, 240 secs
lola: 21408254 markings, 41104357 edges, 77372 markings/sec, 245 secs
lola: 21792617 markings, 41867480 edges, 76873 markings/sec, 250 secs
lola: 22174576 markings, 42627912 edges, 76392 markings/sec, 255 secs
lola: 22560956 markings, 43391005 edges, 77276 markings/sec, 260 secs
lola: 22941569 markings, 44151480 edges, 76123 markings/sec, 265 secs
lola: 23325560 markings, 44910298 edges, 76798 markings/sec, 270 secs
lola: 23710107 markings, 45676439 edges, 76909 markings/sec, 275 secs
lola: 24092919 markings, 46439672 edges, 76562 markings/sec, 280 secs
lola: 24473518 markings, 47197124 edges, 76120 markings/sec, 285 secs
lola: 24855062 markings, 47952744 edges, 76309 markings/sec, 290 secs
lola: 25237526 markings, 48710978 edges, 76493 markings/sec, 295 secs
lola: 25618141 markings, 49470821 edges, 76123 markings/sec, 300 secs
lola: 25999110 markings, 50229315 edges, 76194 markings/sec, 305 secs
lola: 26377473 markings, 50985619 edges, 75673 markings/sec, 310 secs
lola: 26758073 markings, 51740587 edges, 76120 markings/sec, 315 secs
lola: 27135096 markings, 52491807 edges, 75405 markings/sec, 320 secs
lola: 27511414 markings, 53248670 edges, 75264 markings/sec, 325 secs
lola: 27891794 markings, 54006700 edges, 76076 markings/sec, 330 secs
lola: 28270853 markings, 54762430 edges, 75812 markings/sec, 335 secs
lola: 28649629 markings, 55516014 edges, 75755 markings/sec, 340 secs
lola: 29029620 markings, 56271121 edges, 75998 markings/sec, 345 secs
lola: 29397310 markings, 57007082 edges, 73538 markings/sec, 350 secs
lola: 29770957 markings, 57753897 edges, 74729 markings/sec, 355 secs
lola: 30143854 markings, 58497980 edges, 74579 markings/sec, 360 secs
lola: 30511529 markings, 59241484 edges, 73535 markings/sec, 365 secs
lola: 30882708 markings, 59986009 edges, 74236 markings/sec, 370 secs
lola: 31255756 markings, 60728796 edges, 74610 markings/sec, 375 secs
lola: 31610854 markings, 61440244 edges, 71020 markings/sec, 380 secs
lola: 32004210 markings, 62230065 edges, 78671 markings/sec, 385 secs
lola: 32395824 markings, 63016572 edges, 78323 markings/sec, 390 secs
lola: 32787917 markings, 63804172 edges, 78419 markings/sec, 395 secs
lola: 33178304 markings, 64592362 edges, 78077 markings/sec, 400 secs
lola: 33570988 markings, 65381435 edges, 78537 markings/sec, 405 secs
lola: 33962638 markings, 66164654 edges, 78330 markings/sec, 410 secs
lola: 34354782 markings, 66949532 edges, 78429 markings/sec, 415 secs
lola: 34742461 markings, 67733228 edges, 77536 markings/sec, 420 secs
lola: 35131230 markings, 68515675 edges, 77754 markings/sec, 425 secs
lola: 35520232 markings, 69299679 edges, 77800 markings/sec, 430 secs
lola: 35909438 markings, 70083270 edges, 77841 markings/sec, 435 secs
lola: 36297482 markings, 70864743 edges, 77609 markings/sec, 440 secs
lola: 36685022 markings, 71643969 edges, 77508 markings/sec, 445 secs
lola: 37074193 markings, 72425722 edges, 77834 markings/sec, 450 secs
lola: 37464090 markings, 73210792 edges, 77979 markings/sec, 455 secs
lola: 37852535 markings, 73992030 edges, 77689 markings/sec, 460 secs
lola: 38239069 markings, 74773140 edges, 77307 markings/sec, 465 secs
lola: 38626439 markings, 75555720 edges, 77474 markings/sec, 470 secs
lola: 39013322 markings, 76336178 edges, 77377 markings/sec, 475 secs
lola: 39398971 markings, 77114712 edges, 77130 markings/sec, 480 secs
lola: 39786549 markings, 77892840 edges, 77516 markings/sec, 485 secs
lola: 40170934 markings, 78667817 edges, 76877 markings/sec, 490 secs
lola: 40552884 markings, 79441999 edges, 76390 markings/sec, 495 secs
lola: 40936817 markings, 80213688 edges, 76787 markings/sec, 500 secs
lola: 41320469 markings, 80989201 edges, 76730 markings/sec, 505 secs
lola: 41702330 markings, 81761018 edges, 76372 markings/sec, 510 secs
lola: 42083692 markings, 82534220 edges, 76272 markings/sec, 515 secs
lola: 42469575 markings, 83310159 edges, 77177 markings/sec, 520 secs
lola: 42852674 markings, 84081884 edges, 76620 markings/sec, 525 secs
lola: 43237106 markings, 84854791 edges, 76886 markings/sec, 530 secs
lola: 43618708 markings, 85625804 edges, 76320 markings/sec, 535 secs
lola: 44001310 markings, 86396835 edges, 76520 markings/sec, 540 secs
lola: 44378955 markings, 87164864 edges, 75529 markings/sec, 545 secs
lola: 44759999 markings, 87933996 edges, 76209 markings/sec, 550 secs
lola: 45139287 markings, 88703845 edges, 75858 markings/sec, 555 secs
lola: 45517038 markings, 89471067 edges, 75550 markings/sec, 560 secs
lola: 45898716 markings, 90242744 edges, 76336 markings/sec, 565 secs
lola: 46276090 markings, 91013004 edges, 75475 markings/sec, 570 secs
lola: 46657410 markings, 91782731 edges, 76264 markings/sec, 575 secs
lola: 47034167 markings, 92547180 edges, 75351 markings/sec, 580 secs
lola: 47412566 markings, 93314357 edges, 75680 markings/sec, 585 secs
lola: 47789625 markings, 94081340 edges, 75412 markings/sec, 590 secs
lola: 48169629 markings, 94850692 edges, 76001 markings/sec, 595 secs
lola: 48545791 markings, 95615559 edges, 75232 markings/sec, 600 secs
lola: 48922881 markings, 96382357 edges, 75418 markings/sec, 605 secs
lola: 49299392 markings, 97150129 edges, 75302 markings/sec, 610 secs
lola: 49676800 markings, 97913916 edges, 75482 markings/sec, 615 secs
lola: 50053876 markings, 98678403 edges, 75415 markings/sec, 620 secs
lola: 50428963 markings, 99441709 edges, 75017 markings/sec, 625 secs
lola: 50804120 markings, 100204815 edges, 75031 markings/sec, 630 secs
lola: 51180962 markings, 100968763 edges, 75368 markings/sec, 635 secs
lola: 51340975 markings, 101295208 edges, 32003 markings/sec, 640 secs
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 51340975 markings, 101295208 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (F (FIREABLE(t377_to_378))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (FIREABLE(t377_to_378))))
lola: processed formula length: 33
lola: 94 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: 455844 markings, 879790 edges, 91169 markings/sec, 0 secs
lola: 955764 markings, 1871585 edges, 99984 markings/sec, 5 secs
lola: 1441345 markings, 2840636 edges, 97116 markings/sec, 10 secs
lola: 1842498 markings, 3838088 edges, 80231 markings/sec, 15 secs
lola: 2242982 markings, 4832889 edges, 80097 markings/sec, 20 secs
lola: 2639255 markings, 5814620 edges, 79255 markings/sec, 25 secs
lola: 3039252 markings, 6794317 edges, 79999 markings/sec, 30 secs
lola: 3442895 markings, 7797302 edges, 80729 markings/sec, 35 secs
lola: 3840854 markings, 8784327 edges, 79592 markings/sec, 40 secs
lola: 4240853 markings, 9762837 edges, 80000 markings/sec, 45 secs
lola: 4645222 markings, 10767791 edges, 80874 markings/sec, 50 secs
lola: 5046906 markings, 11764865 edges, 80337 markings/sec, 55 secs
lola: 5446006 markings, 12739893 edges, 79820 markings/sec, 60 secs
lola: 5849316 markings, 13742368 edges, 80662 markings/sec, 65 secs
lola: 6250941 markings, 14739632 edges, 80325 markings/sec, 70 secs
lola: 6649626 markings, 15713565 edges, 79737 markings/sec, 75 secs
lola: 7053866 markings, 16718588 edges, 80848 markings/sec, 80 secs
lola: 7457144 markings, 17720093 edges, 80656 markings/sec, 85 secs
lola: 7855981 markings, 18694067 edges, 79767 markings/sec, 90 secs
lola: 8260531 markings, 19700033 edges, 80910 markings/sec, 95 secs
lola: 8663665 markings, 20701073 edges, 80627 markings/sec, 100 secs
lola: 9057689 markings, 21675369 edges, 78805 markings/sec, 105 secs
lola: 9463411 markings, 22672136 edges, 81144 markings/sec, 110 secs
lola: 9863693 markings, 23666129 edges, 80056 markings/sec, 115 secs
lola: 10256647 markings, 24634147 edges, 78591 markings/sec, 120 secs
lola: 10663080 markings, 25636349 edges, 81287 markings/sec, 125 secs
lola: 11064814 markings, 26633670 edges, 80347 markings/sec, 130 secs
lola: 11461990 markings, 27604189 edges, 79435 markings/sec, 135 secs
lola: 11865321 markings, 28606831 edges, 80666 markings/sec, 140 secs
lola: 12266428 markings, 29602555 edges, 80221 markings/sec, 145 secs
lola: 12664105 markings, 30574968 edges, 79535 markings/sec, 150 secs
lola: 13065860 markings, 31573442 edges, 80351 markings/sec, 155 secs
lola: 13463891 markings, 32561056 edges, 79606 markings/sec, 160 secs
lola: 13862043 markings, 33535133 edges, 79630 markings/sec, 165 secs
lola: 14265746 markings, 34538225 edges, 80741 markings/sec, 170 secs
lola: 14663799 markings, 35525081 edges, 79611 markings/sec, 175 secs
lola: 15064951 markings, 36508282 edges, 80230 markings/sec, 180 secs
lola: 15469101 markings, 37511986 edges, 80830 markings/sec, 185 secs
lola: 15867198 markings, 38496119 edges, 79619 markings/sec, 190 secs
lola: 16268666 markings, 39482922 edges, 80294 markings/sec, 195 secs
lola: 16667536 markings, 40472590 edges, 79774 markings/sec, 200 secs
lola: 17065997 markings, 41448072 edges, 79692 markings/sec, 205 secs
lola: 17470055 markings, 42451830 edges, 80812 markings/sec, 210 secs
lola: 17868997 markings, 43440418 edges, 79788 markings/sec, 215 secs
lola: 18268971 markings, 44421234 edges, 79995 markings/sec, 220 secs
lola: 18668250 markings, 45412442 edges, 79856 markings/sec, 225 secs
lola: 19064674 markings, 46382437 edges, 79285 markings/sec, 230 secs
lola: 19466604 markings, 47381072 edges, 80386 markings/sec, 235 secs
lola: 19862835 markings, 48363268 edges, 79246 markings/sec, 240 secs
lola: 20263513 markings, 49345600 edges, 80136 markings/sec, 245 secs
lola: 20664117 markings, 50340007 edges, 80121 markings/sec, 250 secs
lola: 21062618 markings, 51315606 edges, 79700 markings/sec, 255 secs
lola: 21463320 markings, 52310849 edges, 80140 markings/sec, 260 secs
lola: 21859644 markings, 53292457 edges, 79265 markings/sec, 265 secs
lola: 22259135 markings, 54273208 edges, 79898 markings/sec, 270 secs
lola: 22655409 markings, 55256155 edges, 79255 markings/sec, 275 secs
lola: 23054333 markings, 56233827 edges, 79785 markings/sec, 280 secs
lola: 23453473 markings, 57224636 edges, 79828 markings/sec, 285 secs
lola: 23850811 markings, 58197333 edges, 79468 markings/sec, 290 secs
lola: 24251009 markings, 59191526 edges, 80040 markings/sec, 295 secs
lola: 24647776 markings, 60172294 edges, 79353 markings/sec, 300 secs
lola: 25045622 markings, 61151087 edges, 79569 markings/sec, 305 secs
lola: 25439465 markings, 62126968 edges, 78769 markings/sec, 310 secs
lola: 25838350 markings, 63106140 edges, 79777 markings/sec, 315 secs
lola: 26235727 markings, 64091414 edges, 79475 markings/sec, 320 secs
lola: 26634708 markings, 65069948 edges, 79796 markings/sec, 325 secs
lola: 27033244 markings, 66058665 edges, 79707 markings/sec, 330 secs
lola: 27430810 markings, 67033327 edges, 79513 markings/sec, 335 secs
lola: 27826932 markings, 68016141 edges, 79224 markings/sec, 340 secs
lola: 28222747 markings, 68986576 edges, 79163 markings/sec, 345 secs
lola: 28620201 markings, 69972838 edges, 79491 markings/sec, 350 secs
lola: 29017517 markings, 70946824 edges, 79463 markings/sec, 355 secs
lola: 29415682 markings, 71934891 edges, 79633 markings/sec, 360 secs
lola: 29812630 markings, 72908224 edges, 79390 markings/sec, 365 secs
lola: 30210173 markings, 73894355 edges, 79509 markings/sec, 370 secs
lola: 30607311 markings, 74868477 edges, 79428 markings/sec, 375 secs
lola: 31004949 markings, 75854467 edges, 79528 markings/sec, 380 secs
lola: 31402481 markings, 76830054 edges, 79506 markings/sec, 385 secs
lola: 31799718 markings, 77814451 edges, 79447 markings/sec, 390 secs
lola: 32195030 markings, 78785175 edges, 79062 markings/sec, 395 secs
lola: 32589201 markings, 79759671 edges, 78834 markings/sec, 400 secs
lola: 32987456 markings, 80740153 edges, 79651 markings/sec, 405 secs
lola: 33385044 markings, 81715204 edges, 79518 markings/sec, 410 secs
lola: 33784609 markings, 82706421 edges, 79913 markings/sec, 415 secs
lola: 34182036 markings, 83681573 edges, 79485 markings/sec, 420 secs
lola: 34578960 markings, 84664803 edges, 79385 markings/sec, 425 secs
lola: 34976371 markings, 85641433 edges, 79482 markings/sec, 430 secs
lola: 35373708 markings, 86616076 edges, 79467 markings/sec, 435 secs
lola: 35772756 markings, 87605772 edges, 79810 markings/sec, 440 secs
lola: 36170335 markings, 88582031 edges, 79516 markings/sec, 445 secs
lola: 36565419 markings, 89554694 edges, 79017 markings/sec, 450 secs
lola: 36965861 markings, 90544540 edges, 80088 markings/sec, 455 secs
lola: 37364372 markings, 91523030 edges, 79702 markings/sec, 460 secs
lola: 37759547 markings, 92499210 edges, 79035 markings/sec, 465 secs
lola: 38158603 markings, 93482463 edges, 79811 markings/sec, 470 secs
lola: 38555416 markings, 94457055 edges, 79363 markings/sec, 475 secs
lola: 38954108 markings, 95435703 edges, 79738 markings/sec, 480 secs
lola: 39355093 markings, 96429403 edges, 80197 markings/sec, 485 secs
lola: 39752732 markings, 97406495 edges, 79528 markings/sec, 490 secs
lola: 40151043 markings, 98384867 edges, 79662 markings/sec, 495 secs
lola: 40549823 markings, 99364162 edges, 79756 markings/sec, 500 secs
lola: 40949758 markings, 100354565 edges, 79987 markings/sec, 505 secs
lola: 41348223 markings, 101334310 edges, 79693 markings/sec, 510 secs
lola: 41747292 markings, 102314854 edges, 79814 markings/sec, 515 secs
lola: 42146629 markings, 103295977 edges, 79867 markings/sec, 520 secs
lola: 42543765 markings, 104271665 edges, 79427 markings/sec, 525 secs
lola: 42941669 markings, 105249355 edges, 79581 markings/sec, 530 secs
lola: 43339300 markings, 106232413 edges, 79526 markings/sec, 535 secs
lola: 43742291 markings, 107223867 edges, 80598 markings/sec, 540 secs
lola: 44140868 markings, 108203531 edges, 79715 markings/sec, 545 secs
lola: 44540743 markings, 109186542 edges, 79975 markings/sec, 550 secs
lola: 44940787 markings, 110169938 edges, 80009 markings/sec, 555 secs
lola: 45338487 markings, 111147197 edges, 79540 markings/sec, 560 secs
lola: 45736439 markings, 112124800 edges, 79590 markings/sec, 565 secs
lola: 46135697 markings, 113102290 edges, 79852 markings/sec, 570 secs
lola: 46534839 markings, 114081935 edges, 79828 markings/sec, 575 secs
lola: 46934426 markings, 115064351 edges, 79917 markings/sec, 580 secs
lola: 47331861 markings, 116041490 edges, 79487 markings/sec, 585 secs
lola: 47730004 markings, 117020004 edges, 79629 markings/sec, 590 secs
lola: 48129651 markings, 117996601 edges, 79929 markings/sec, 595 secs
lola: 48528344 markings, 118977273 edges, 79739 markings/sec, 600 secs
lola: 48928616 markings, 119960808 edges, 80054 markings/sec, 605 secs
lola: 49329071 markings, 120940530 edges, 80091 markings/sec, 610 secs
lola: 49728913 markings, 121922267 edges, 79968 markings/sec, 615 secs
lola: 50127273 markings, 122897861 edges, 79672 markings/sec, 620 secs
lola: 50528009 markings, 123878237 edges, 80147 markings/sec, 625 secs
lola: 50928181 markings, 124857290 edges, 80034 markings/sec, 630 secs
lola: 51328122 markings, 125836155 edges, 79988 markings/sec, 635 secs
lola: 51728693 markings, 126816554 edges, 80114 markings/sec, 640 secs
lola: 52129347 markings, 127797032 edges, 80131 markings/sec, 645 secs
lola: 52528046 markings, 128769508 edges, 79740 markings/sec, 650 secs
lola: 52928862 markings, 129747185 edges, 80163 markings/sec, 655 secs
lola: 53329320 markings, 130724422 edges, 80092 markings/sec, 660 secs
lola: 53730010 markings, 131699354 edges, 80138 markings/sec, 665 secs
lola: 54130898 markings, 132674582 edges, 80178 markings/sec, 670 secs
lola: 54532464 markings, 133647985 edges, 80313 markings/sec, 675 secs
lola: 54935856 markings, 134621600 edges, 80678 markings/sec, 680 secs
lola: 55345323 markings, 135586366 edges, 81893 markings/sec, 685 secs
lola: 55657317 markings, 136358453 edges, 62399 markings/sec, 690 secs
lola: 55970978 markings, 137137978 edges, 62732 markings/sec, 695 secs
lola: 56275979 markings, 137895584 edges, 61000 markings/sec, 700 secs
lola: 56616463 markings, 138739205 edges, 68097 markings/sec, 705 secs
lola: 56945585 markings, 139541732 edges, 65824 markings/sec, 710 secs
lola: 57260676 markings, 140324904 edges, 63018 markings/sec, 715 secs
lola: 57563469 markings, 141077311 edges, 60559 markings/sec, 720 secs
lola: 57891582 markings, 141891201 edges, 65623 markings/sec, 725 secs
lola: 58275143 markings, 142814548 edges, 76712 markings/sec, 730 secs
lola: 58676930 markings, 143813459 edges, 80357 markings/sec, 735 secs
lola: 59077721 markings, 144808648 edges, 80158 markings/sec, 740 secs
lola: 59469519 markings, 145777060 edges, 78360 markings/sec, 745 secs
lola: 59807316 markings, 146783243 edges, 67559 markings/sec, 750 secs
lola: 60144221 markings, 147789167 edges, 67381 markings/sec, 755 secs
lola: 60479644 markings, 148789169 edges, 67085 markings/sec, 760 secs
lola: 60811068 markings, 149761836 edges, 66285 markings/sec, 765 secs
lola: 61148597 markings, 150769932 edges, 67506 markings/sec, 770 secs
lola: 61486844 markings, 151779414 edges, 67649 markings/sec, 775 secs
lola: 61822490 markings, 152779855 edges, 67129 markings/sec, 780 secs
lola: 62153941 markings, 153752963 edges, 66290 markings/sec, 785 secs
lola: 62490194 markings, 154756943 edges, 67251 markings/sec, 790 secs
lola: 62826954 markings, 155761928 edges, 67352 markings/sec, 795 secs
lola: 63161184 markings, 156757658 edges, 66846 markings/sec, 800 secs
lola: 63493645 markings, 157735035 edges, 66492 markings/sec, 805 secs
lola: 63831874 markings, 158744852 edges, 67646 markings/sec, 810 secs
lola: 64169359 markings, 159751471 edges, 67497 markings/sec, 815 secs
lola: 64505110 markings, 160750139 edges, 67150 markings/sec, 820 secs
lola: 64839771 markings, 161735937 edges, 66932 markings/sec, 825 secs
lola: 65178029 markings, 162745596 edges, 67652 markings/sec, 830 secs
lola: 65514497 markings, 163748916 edges, 67294 markings/sec, 835 secs
lola: 65846587 markings, 164724091 edges, 66418 markings/sec, 840 secs
lola: 66183473 markings, 165730076 edges, 67377 markings/sec, 845 secs
lola: 66519790 markings, 166733518 edges, 67263 markings/sec, 850 secs
lola: 66854269 markings, 167729506 edges, 66896 markings/sec, 855 secs
lola: 67188171 markings, 168711846 edges, 66780 markings/sec, 860 secs
lola: 67527179 markings, 169723998 edges, 67802 markings/sec, 865 secs
lola: 67864605 markings, 170729972 edges, 67485 markings/sec, 870 secs
lola: 68198203 markings, 171709856 edges, 66720 markings/sec, 875 secs
lola: 68534307 markings, 172713108 edges, 67221 markings/sec, 880 secs
lola: 68870787 markings, 173717287 edges, 67296 markings/sec, 885 secs
lola: 69205487 markings, 174713530 edges, 66940 markings/sec, 890 secs
lola: 69536769 markings, 175689036 edges, 66256 markings/sec, 895 secs
lola: 69871547 markings, 176688068 edges, 66956 markings/sec, 900 secs
lola: 70203924 markings, 177678727 edges, 66475 markings/sec, 905 secs
lola: 70534311 markings, 178649799 edges, 66077 markings/sec, 910 secs
lola: 70870094 markings, 179652243 edges, 67157 markings/sec, 915 secs
lola: 71204510 markings, 180649478 edges, 66883 markings/sec, 920 secs
lola: 71535280 markings, 181621208 edges, 66154 markings/sec, 925 secs
lola: 71871372 markings, 182624771 edges, 67218 markings/sec, 930 secs
lola: 72207587 markings, 183627634 edges, 67243 markings/sec, 935 secs
lola: 72541440 markings, 184621124 edges, 66771 markings/sec, 940 secs
lola: 72873402 markings, 185599275 edges, 66392 markings/sec, 945 secs
lola: 73207698 markings, 186596697 edges, 66859 markings/sec, 950 secs
lola: 73540306 markings, 187587088 edges, 66522 markings/sec, 955 secs
lola: 73872665 markings, 188565703 edges, 66472 markings/sec, 960 secs
lola: 74209510 markings, 189570970 edges, 67369 markings/sec, 965 secs
lola: 74543659 markings, 190566400 edges, 66830 markings/sec, 970 secs
lola: 74875988 markings, 191544479 edges, 66466 markings/sec, 975 secs
lola: 75211653 markings, 192546105 edges, 67133 markings/sec, 980 secs
lola: 75545168 markings, 193539938 edges, 66703 markings/sec, 985 secs
lola: 75876184 markings, 194514043 edges, 66203 markings/sec, 990 secs
lola: 76210198 markings, 195510870 edges, 66803 markings/sec, 995 secs
lola: 76541766 markings, 196498735 edges, 66314 markings/sec, 1000 secs
lola: 76872758 markings, 197472891 edges, 66198 markings/sec, 1005 secs
lola: 77208677 markings, 198475252 edges, 67184 markings/sec, 1010 secs
lola: 77542364 markings, 199469188 edges, 66737 markings/sec, 1015 secs
lola: 77873957 markings, 200445617 edges, 66319 markings/sec, 1020 secs
lola: 78208458 markings, 201443486 edges, 66900 markings/sec, 1025 secs
lola: 78540514 markings, 202432364 edges, 66411 markings/sec, 1030 secs
lola: 78871496 markings, 203407740 edges, 66196 markings/sec, 1035 secs
lola: 79204176 markings, 204400011 edges, 66536 markings/sec, 1040 secs
lola: 79535142 markings, 205384133 edges, 66193 markings/sec, 1045 secs
lola: 79867765 markings, 206365908 edges, 66525 markings/sec, 1050 secs
lola: 80201910 markings, 207362211 edges, 66829 markings/sec, 1055 secs
lola: 80533067 markings, 208336402 edges, 66231 markings/sec, 1060 secs
lola: 80866828 markings, 209332278 edges, 66752 markings/sec, 1065 secs
lola: 81199028 markings, 210322403 edges, 66440 markings/sec, 1070 secs
lola: 81528249 markings, 211291788 edges, 65844 markings/sec, 1075 secs
lola: 81859843 markings, 212280786 edges, 66319 markings/sec, 1080 secs
lola: 82190410 markings, 213264661 edges, 66113 markings/sec, 1085 secs
lola: 82521970 markings, 214242844 edges, 66312 markings/sec, 1090 secs
lola: 82854575 markings, 215234387 edges, 66521 markings/sec, 1095 secs
lola: 83185019 markings, 216206938 edges, 66089 markings/sec, 1100 secs
lola: 83518601 markings, 217202249 edges, 66716 markings/sec, 1105 secs
lola: 83851209 markings, 218192678 edges, 66522 markings/sec, 1110 secs
lola: 84181736 markings, 219167047 edges, 66105 markings/sec, 1115 secs
lola: 84512111 markings, 220151967 edges, 66075 markings/sec, 1120 secs
lola: 84840479 markings, 221118912 edges, 65674 markings/sec, 1125 secs
lola: 85173797 markings, 222113109 edges, 66664 markings/sec, 1130 secs
lola: 85507134 markings, 223105123 edges, 66667 markings/sec, 1135 secs
lola: 85838827 markings, 224083891 edges, 66339 markings/sec, 1140 secs
lola: 86172260 markings, 225077658 edges, 66687 markings/sec, 1145 secs
lola: 86502958 markings, 226052012 edges, 66140 markings/sec, 1150 secs
lola: 86833884 markings, 227038877 edges, 66185 markings/sec, 1155 secs
lola: 87163225 markings, 228008544 edges, 65868 markings/sec, 1160 secs
lola: 87496223 markings, 229001857 edges, 66600 markings/sec, 1165 secs
lola: 87829303 markings, 229992692 edges, 66616 markings/sec, 1170 secs
lola: 88160837 markings, 230971717 edges, 66307 markings/sec, 1175 secs
lola: 88493564 markings, 231962763 edges, 66545 markings/sec, 1180 secs
lola: 88823824 markings, 232936710 edges, 66052 markings/sec, 1185 secs
lola: 89155112 markings, 233923888 edges, 66258 markings/sec, 1190 secs
lola: 89484269 markings, 234894539 edges, 65831 markings/sec, 1195 secs
lola: 89816833 markings, 235885630 edges, 66513 markings/sec, 1200 secs
lola: 90147697 markings, 236861013 edges, 66173 markings/sec, 1205 secs
lola: 90480259 markings, 237852174 edges, 66512 markings/sec, 1210 secs
lola: 90811024 markings, 238827172 edges, 66153 markings/sec, 1215 secs
lola: 91142020 markings, 239813675 edges, 66199 markings/sec, 1220 secs
lola: 91472303 markings, 240787644 edges, 66057 markings/sec, 1225 secs
lola: 91805095 markings, 241779522 edges, 66558 markings/sec, 1230 secs
lola: 92136673 markings, 242757069 edges, 66316 markings/sec, 1235 secs
lola: 92469283 markings, 243748350 edges, 66522 markings/sec, 1240 secs
lola: 92800259 markings, 244724728 edges, 66195 markings/sec, 1245 secs
lola: 93131069 markings, 245710202 edges, 66162 markings/sec, 1250 secs
lola: 93460997 markings, 246683736 edges, 65986 markings/sec, 1255 secs
lola: 93792069 markings, 247669268 edges, 66214 markings/sec, 1260 secs
lola: 94123099 markings, 248646885 edges, 66206 markings/sec, 1265 secs
lola: 94456513 markings, 249638023 edges, 66683 markings/sec, 1270 secs
lola: time limit reached - aborting
lola:
preliminary result: no no unknown yes no yes no yes no no unknown unknown no unknown no unknown lola:
caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: no no unknown yes no yes no yes no no unknown unknown no unknown no unknown
preliminary result: no no unknown yes no yes no yes no no unknown unknown no unknown no unknown
lola: memory consumption: 17232 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
BK_STOP 1589247946188
--------------------
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="CircularTrains-PT-384"
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 CircularTrains-PT-384, 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 r045-smll-158902068200024"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CircularTrains-PT-384.tgz
mv CircularTrains-PT-384 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 ;