About the Execution of 2019-Gold for CircularTrains-PT-096
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15918.680 | 3570172.00 | 3636259.00 | 8919.80 | FFF?FF??TFTFF??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-158902068200020.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-096, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r045-smll-158902068200020
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 252K
-rw-r--r-- 1 mcc users 4.2K Mar 30 01:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 30 01:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 15:18 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.4K 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.3K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 08:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 08:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 26 07:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 07:36 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 73K 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-096-00
FORMULA_NAME CircularTrains-PT-096-01
FORMULA_NAME CircularTrains-PT-096-02
FORMULA_NAME CircularTrains-PT-096-03
FORMULA_NAME CircularTrains-PT-096-04
FORMULA_NAME CircularTrains-PT-096-05
FORMULA_NAME CircularTrains-PT-096-06
FORMULA_NAME CircularTrains-PT-096-07
FORMULA_NAME CircularTrains-PT-096-08
FORMULA_NAME CircularTrains-PT-096-09
FORMULA_NAME CircularTrains-PT-096-10
FORMULA_NAME CircularTrains-PT-096-11
FORMULA_NAME CircularTrains-PT-096-12
FORMULA_NAME CircularTrains-PT-096-13
FORMULA_NAME CircularTrains-PT-096-14
FORMULA_NAME CircularTrains-PT-096-15
=== Now, execution of the tool begins
BK_START 1589233572357
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ CircularTrains-PT-096 @ 3570 seconds
FORMULA CircularTrains-PT-096-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-096-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-096-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-096-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-096-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-096-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-096-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-096-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-096-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-096-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-096-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-096-03 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ CircularTrains-PT-096
{
"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": "Mon May 11 21:46:12 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (G (((FIREABLE(t29_to_30) OR FIREABLE(t23_to_24)) OR X (X (G (FIREABLE(t23_to_24)))))))",
"processed_size": 90,
"rewrites": 67
},
"result":
{
"edges": 861,
"markings": 861,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 2,
"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": 2,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((X (X (F (FIREABLE(t66_to_67)))) R FIREABLE(t94_to_95)))",
"processed_size": 59,
"rewrites": 67
},
"result":
{
"edges": 861,
"markings": 861,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"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 (F ((FIREABLE(t67_to_68) AND F (G (FIREABLE(t12_to_13)))))))",
"processed_size": 65,
"rewrites": 67
},
"result":
{
"edges": 861,
"markings": 861,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 275
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"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 (X (G (NOT FIREABLE(t59_to_60)))))",
"processed_size": 39,
"rewrites": 67
},
"result":
{
"edges": 861,
"markings": 861,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 6,
"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": 306
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 306
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (X (FIREABLE(t39_to_40)))",
"processed_size": 27,
"rewrites": 67
},
"result":
{
"edges": 891,
"markings": 891,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 7,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 344
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "(NOT FIREABLE(t58_to_59) OR NOT FIREABLE(t11_to_12))",
"processed_size": 53,
"rewrites": 69
},
"result":
{
"edges": 3227,
"markings": 3227,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 6
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 413
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (F (G ((FIREABLE(t11_to_12) AND F (FIREABLE(t18_to_19))))))",
"processed_size": 61,
"rewrites": 67
},
"result":
{
"edges": 810,
"markings": 809,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 11,
"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": 517
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 3,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (G (F (((NOT FIREABLE(t12_to_13) AND NOT FIREABLE(t1_to_2)) OR (G (NOT FIREABLE(t13_to_14)) AND F (NOT FIREABLE(t12_to_13)))))))",
"processed_size": 130,
"rewrites": 67
},
"result":
{
"edges": 21149065,
"markings": 4830866,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"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": 677
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"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": 3
},
"processed": "A (F ((FIREABLE(t39_to_40) AND F ((FIREABLE(t60_to_61) OR NOT FIREABLE(t41_to_42))))))",
"processed_size": 86,
"rewrites": 67
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"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": 1015
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 5,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 4
},
"processed": "A (((FIREABLE(t36_to_37) OR FIREABLE(t13_to_14)) OR (G (FIREABLE(t76_to_77)) OR (FIREABLE(t36_to_37) U NOT FIREABLE(t78_to_79)))))",
"processed_size": 131,
"rewrites": 67
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 5
},
"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": 2031
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2031
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"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 (FIREABLE(t93_to_94)))",
"processed_size": 27,
"rewrites": 69
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 10956,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(G((** OR X(X(G(**)))))) : A((X(X(F(**))) R *)) : A(F(G((** AND F(**))))) : A(X(G((X((F(**) OR X(G(*)))) AND (** OR F(**)))))) : A(G(F((* OR (G(*) AND F(*)))))) : A(X(F((** AND F(G(**)))))) : A(F((X((F(**) OR (** U **))) AND G(**)))) : A((F(**) OR X(X(G(*))))) : A((** OR (G(**) OR (** U **)))) : A(X(X(G(*)))) : A(F((** AND F((** OR *))))) : (A(X(**)) AND A(X((** U X(((** U **) OR (** U **))))))) : (A(G(**)) AND A(G((** OR F(G(**)))))) : A(((** U X(**)) OR G(F(**)))) : A(X(X(X((F(*) OR G(*)))))) : A(F(**))"
},
"net":
{
"arcs": 384,
"conflict_clusters": 96,
"places": 192,
"places_significant": 95,
"singleton_clusters": 0,
"transitions": 96
},
"result":
{
"interim_value": "no no no unknown no no unknown unknown yes no yes no no unknown unknown no ",
"preliminary_value": "no no no unknown no no unknown unknown yes no yes no no unknown unknown no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 288/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 6144
lola: finding significant places
lola: 192 places, 96 transitions, 95 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 (((FIREABLE(t29_to_30) OR FIREABLE(t23_to_24)) OR X (NOT(X (NOT(G (FIREABLE(t23_to_24))))))))) : A (NOT((X (G (NOT(X (FIREABLE(t66_to_67))))) U NOT FIREABLE(t94_to_95)))) : A (X (X (F (G (F (G ((FIREABLE(t11_to_12) AND F (FIREABLE(t18_to_19)))))))))) : A (X (G ((X ((F (FIREABLE(t60_to_61)) OR X (NOT(F (FIREABLE(t60_to_61)))))) AND (FIREABLE(t2_to_3) OR F (FIREABLE(t70_to_71))))))) : A (NOT(X (X (F (G (X (((FIREABLE(t12_to_13) OR FIREABLE(t1_to_2)) AND (F (FIREABLE(t13_to_14)) OR G (FIREABLE(t12_to_13))))))))))) : A (X (F ((FIREABLE(t67_to_68) AND F (G (FIREABLE(t12_to_13))))))) : A (F ((F (FIREABLE(t12_to_13)) U (X ((F (FIREABLE(t44_to_45)) OR (FIREABLE(t12_to_13) U FIREABLE(t40_to_41)))) AND G (FIREABLE(t57_to_58)))))) : A ((F (NOT FIREABLE(t81_to_82)) OR X (G (X (NOT(F (FIREABLE(t7_to_8)))))))) : A ((((FIREABLE(t36_to_37) OR FIREABLE(t13_to_14)) OR G (FIREABLE(t76_to_77))) OR (FIREABLE(t36_to_37) U NOT FIREABLE(t78_to_79)))) : A (X (G (NOT(X (FIREABLE(t59_to_60)))))) : A (F ((FIREABLE(t39_to_40) AND (F (FIREABLE(t60_to_61)) OR NOT(G (FIREABLE(t41_to_42))))))) : A (X ((FIREABLE(t39_to_40) AND (FIREABLE(t40_to_41) U X (((FIREABLE(t40_to_41) U (FIREABLE(t39_to_40) OR FIREABLE(t92_to_93))) OR (FIREABLE(t64_to_65) U FIREABLE(t92_to_93)))))))) : A (G ((FIREABLE(t93_to_94) AND G ((FIREABLE(t31_to_32) OR G (NOT(G (NOT(G (FIREABLE(t31_to_32))))))))))) : A (((FIREABLE(t8_to_9) U X (FIREABLE(t28_to_29))) OR X (G (F (FIREABLE(t18_to_19)))))) : A (X (X (NOT((X (G (FIREABLE(t93_to_94))) AND X (F (FIREABLE(t9_to_10)))))))) : A ((F ((F (G (X (FIREABLE(t85_to_86)))) OR X (FIREABLE(t11_to_12)))) U F ((FIREABLE(t58_to_59) AND FIREABLE(t11_to_12)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:519
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:422
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 (((FIREABLE(t29_to_30) OR FIREABLE(t23_to_24)) OR X (X (G (FIREABLE(t23_to_24)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (((FIREABLE(t29_to_30) OR FIREABLE(t23_to_24)) OR X (X (G (FIREABLE(t23_to_24)))))))
lola: processed formula length: 90
lola: 67 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: 861 markings, 861 edges
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (X (F (FIREABLE(t66_to_67)))) R FIREABLE(t94_to_95)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (X (F (FIREABLE(t66_to_67)))) R FIREABLE(t94_to_95)))
lola: processed formula length: 59
lola: 67 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 861 markings, 861 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (G ((X ((F (FIREABLE(t60_to_61)) OR X (G (NOT FIREABLE(t60_to_61))))) AND (FIREABLE(t2_to_3) OR F (FIREABLE(t70_to_71)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((X ((F (FIREABLE(t60_to_61)) OR X (G (NOT FIREABLE(t60_to_61))))) AND (FIREABLE(t2_to_3) OR F (FIREABLE(t70_to_71)))))))
lola: processed formula length: 129
lola: 67 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1052807 markings, 2833076 edges, 210561 markings/sec, 0 secs
lola: 2050337 markings, 5826328 edges, 199506 markings/sec, 5 secs
lola: 2984347 markings, 8781068 edges, 186802 markings/sec, 10 secs
lola: 3914176 markings, 11722859 edges, 185966 markings/sec, 15 secs
lola: 4853246 markings, 14679792 edges, 187814 markings/sec, 20 secs
lola: 5785753 markings, 17589909 edges, 186501 markings/sec, 25 secs
lola: 6725876 markings, 20520979 edges, 188025 markings/sec, 30 secs
lola: 7676785 markings, 23456685 edges, 190182 markings/sec, 35 secs
lola: 8678453 markings, 26441434 edges, 200334 markings/sec, 40 secs
lola: 9567864 markings, 29266399 edges, 177882 markings/sec, 45 secs
lola: 10469663 markings, 32101175 edges, 180360 markings/sec, 50 secs
lola: 11328755 markings, 34896154 edges, 171818 markings/sec, 55 secs
lola: 12268795 markings, 37765535 edges, 188008 markings/sec, 60 secs
lola: 13112523 markings, 40632009 edges, 168746 markings/sec, 65 secs
lola: 13894427 markings, 43483210 edges, 156381 markings/sec, 70 secs
lola: 14681585 markings, 46357913 edges, 157432 markings/sec, 75 secs
lola: 15460810 markings, 49208570 edges, 155845 markings/sec, 80 secs
lola: 16246902 markings, 52076661 edges, 157218 markings/sec, 85 secs
lola: 17042013 markings, 54941132 edges, 159022 markings/sec, 90 secs
lola: 17847776 markings, 57821268 edges, 161153 markings/sec, 95 secs
lola: 18675166 markings, 60745298 edges, 165478 markings/sec, 100 secs
lola: 19476075 markings, 63584931 edges, 160182 markings/sec, 105 secs
lola: 20234185 markings, 66364742 edges, 151622 markings/sec, 110 secs
lola: 20963713 markings, 69090979 edges, 145906 markings/sec, 115 secs
lola: 21800971 markings, 71905195 edges, 167452 markings/sec, 120 secs
lola: 22696154 markings, 74787224 edges, 179037 markings/sec, 125 secs
lola: 23452931 markings, 77609498 edges, 151355 markings/sec, 130 secs
lola: 24233645 markings, 80463905 edges, 156143 markings/sec, 135 secs
lola: 25016793 markings, 83309150 edges, 156630 markings/sec, 140 secs
lola: 25794322 markings, 86112425 edges, 155506 markings/sec, 145 secs
lola: 26568750 markings, 88942504 edges, 154886 markings/sec, 150 secs
lola: 27357784 markings, 91782641 edges, 157807 markings/sec, 155 secs
lola: 28161857 markings, 94636918 edges, 160815 markings/sec, 160 secs
lola: 29006319 markings, 97534234 edges, 168892 markings/sec, 165 secs
lola: 29727511 markings, 100252224 edges, 144238 markings/sec, 170 secs
lola: 30497318 markings, 103059818 edges, 153961 markings/sec, 175 secs
lola: 31252112 markings, 105848130 edges, 150959 markings/sec, 180 secs
lola: 32162929 markings, 108735619 edges, 182163 markings/sec, 185 secs
lola: 32976182 markings, 111627357 edges, 162651 markings/sec, 190 secs
lola: 33773879 markings, 114501611 edges, 159539 markings/sec, 195 secs
lola: 34567852 markings, 117390664 edges, 158795 markings/sec, 200 secs
lola: 35373924 markings, 120276075 edges, 161214 markings/sec, 205 secs
lola: 36193411 markings, 123189740 edges, 163897 markings/sec, 210 secs
lola: 37033818 markings, 126115076 edges, 168081 markings/sec, 215 secs
lola: 37807519 markings, 128932704 edges, 154740 markings/sec, 220 secs
lola: 38561137 markings, 131731785 edges, 150724 markings/sec, 225 secs
lola: 39453689 markings, 134546783 edges, 178510 markings/sec, 230 secs
lola: 40229066 markings, 137376540 edges, 155075 markings/sec, 235 secs
lola: 41015669 markings, 140224276 edges, 157321 markings/sec, 240 secs
lola: 41810426 markings, 143076900 edges, 158951 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5982668 KB
lola: time consumption: 259 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 (F ((FIREABLE(t67_to_68) AND F (G (FIREABLE(t12_to_13)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((FIREABLE(t67_to_68) AND F (G (FIREABLE(t12_to_13)))))))
lola: processed formula length: 65
lola: 67 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: 861 markings, 861 edges
lola: ========================================
lola: subprocess 4 will run for 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((X ((F (FIREABLE(t44_to_45)) OR (FIREABLE(t12_to_13) U FIREABLE(t40_to_41)))) AND G (FIREABLE(t57_to_58)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((X ((F (FIREABLE(t44_to_45)) OR (FIREABLE(t12_to_13) U FIREABLE(t40_to_41)))) AND G (FIREABLE(t57_to_58)))))
lola: processed formula length: 114
lola: 67 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 408360 markings, 3636002 edges, 81672 markings/sec, 0 secs
lola: 775822 markings, 7112332 edges, 73492 markings/sec, 5 secs
lola: 1178203 markings, 10926877 edges, 80476 markings/sec, 10 secs
lola: 1547013 markings, 14708190 edges, 73762 markings/sec, 15 secs
lola: 1887260 markings, 18171750 edges, 68049 markings/sec, 20 secs
lola: 2286166 markings, 21932780 edges, 79781 markings/sec, 25 secs
lola: 2652243 markings, 25716682 edges, 73215 markings/sec, 30 secs
lola: 2982078 markings, 29471197 edges, 65967 markings/sec, 35 secs
lola: 3339490 markings, 33209903 edges, 71482 markings/sec, 40 secs
lola: 3689775 markings, 36953618 edges, 70057 markings/sec, 45 secs
lola: 4017407 markings, 40665438 edges, 65526 markings/sec, 50 secs
lola: 4381739 markings, 44375043 edges, 72866 markings/sec, 55 secs
lola: 4786864 markings, 48064682 edges, 81025 markings/sec, 60 secs
lola: 5149187 markings, 51868920 edges, 72465 markings/sec, 65 secs
lola: 5475408 markings, 55578459 edges, 65244 markings/sec, 70 secs
lola: 5799451 markings, 59316247 edges, 64809 markings/sec, 75 secs
lola: 6137381 markings, 63058493 edges, 67586 markings/sec, 80 secs
lola: 6429562 markings, 66737126 edges, 58436 markings/sec, 85 secs
lola: 6741075 markings, 70431954 edges, 62303 markings/sec, 90 secs
lola: 7029690 markings, 74083236 edges, 57723 markings/sec, 95 secs
lola: 7339023 markings, 77733202 edges, 61867 markings/sec, 100 secs
lola: 7699425 markings, 81447138 edges, 72080 markings/sec, 105 secs
lola: 8063189 markings, 85257681 edges, 72753 markings/sec, 110 secs
lola: 8389831 markings, 89026230 edges, 65328 markings/sec, 115 secs
lola: 8712823 markings, 92795812 edges, 64598 markings/sec, 120 secs
lola: 9050576 markings, 96548724 edges, 67551 markings/sec, 125 secs
lola: 9341824 markings, 100262896 edges, 58250 markings/sec, 130 secs
lola: 9660353 markings, 103978672 edges, 63706 markings/sec, 135 secs
lola: 9947221 markings, 107669851 edges, 57374 markings/sec, 140 secs
lola: 10266970 markings, 111342066 edges, 63950 markings/sec, 145 secs
lola: 10634416 markings, 115048000 edges, 73489 markings/sec, 150 secs
lola: 10977029 markings, 118790248 edges, 68523 markings/sec, 155 secs
lola: 11306978 markings, 122480869 edges, 65990 markings/sec, 160 secs
lola: 11636052 markings, 126190004 edges, 65815 markings/sec, 165 secs
lola: 11977846 markings, 129851300 edges, 68359 markings/sec, 170 secs
lola: 12282273 markings, 133527979 edges, 60885 markings/sec, 175 secs
lola: 12575709 markings, 137185831 edges, 58687 markings/sec, 180 secs
lola: 12857201 markings, 140819852 edges, 56298 markings/sec, 185 secs
lola: 13178230 markings, 144537782 edges, 64206 markings/sec, 190 secs
lola: 13466590 markings, 148227928 edges, 57672 markings/sec, 195 secs
lola: 13755519 markings, 151915607 edges, 57786 markings/sec, 200 secs
lola: 14096841 markings, 155640416 edges, 68264 markings/sec, 205 secs
lola: 14449354 markings, 159388071 edges, 70503 markings/sec, 210 secs
lola: 14765609 markings, 163096131 edges, 63251 markings/sec, 215 secs
lola: 15085027 markings, 166759200 edges, 63884 markings/sec, 220 secs
lola: 15412385 markings, 170421192 edges, 65472 markings/sec, 225 secs
lola: 15730999 markings, 174095398 edges, 63723 markings/sec, 230 secs
lola: 16067451 markings, 177738837 edges, 67290 markings/sec, 235 secs
lola: 16397762 markings, 181327393 edges, 66062 markings/sec, 240 secs
lola: 16723224 markings, 184961066 edges, 65092 markings/sec, 245 secs
lola: 17057960 markings, 188628842 edges, 66947 markings/sec, 250 secs
lola: 17390579 markings, 192249070 edges, 66524 markings/sec, 255 secs
lola: 17716686 markings, 195880410 edges, 65221 markings/sec, 260 secs
lola: 18065005 markings, 199487708 edges, 69664 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no no unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2566296 KB
lola: time consumption: 534 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 5 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (NOT FIREABLE(t81_to_82)) OR X (X (G (NOT FIREABLE(t7_to_8))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (NOT FIREABLE(t81_to_82)) OR X (X (G (NOT FIREABLE(t7_to_8))))))
lola: processed formula length: 70
lola: 67 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: 1009191 markings, 2690769 edges, 201838 markings/sec, 0 secs
lola: 1968041 markings, 5393299 edges, 191770 markings/sec, 5 secs
lola: 3009250 markings, 8274654 edges, 208242 markings/sec, 10 secs
lola: 3869915 markings, 10942631 edges, 172133 markings/sec, 15 secs
lola: 4686154 markings, 13647966 edges, 163248 markings/sec, 20 secs
lola: 5564030 markings, 16482675 edges, 175575 markings/sec, 25 secs
lola: 6377020 markings, 19085628 edges, 162598 markings/sec, 30 secs
lola: 7196216 markings, 21784016 edges, 163839 markings/sec, 35 secs
lola: 8062450 markings, 24499777 edges, 173247 markings/sec, 40 secs
lola: 8862605 markings, 27146997 edges, 160031 markings/sec, 45 secs
lola: 9705297 markings, 29895450 edges, 168538 markings/sec, 50 secs
lola: 10548228 markings, 32569654 edges, 168586 markings/sec, 55 secs
lola: 11388060 markings, 35309079 edges, 167966 markings/sec, 60 secs
lola: 12225815 markings, 37980389 edges, 167551 markings/sec, 65 secs
lola: 13088227 markings, 40718189 edges, 172482 markings/sec, 70 secs
lola: 13906973 markings, 43401839 edges, 163749 markings/sec, 75 secs
lola: 14768764 markings, 46134138 edges, 172358 markings/sec, 80 secs
lola: 15624467 markings, 48854070 edges, 171141 markings/sec, 85 secs
lola: 16469758 markings, 51579675 edges, 169058 markings/sec, 90 secs
lola: 17315578 markings, 54299641 edges, 169164 markings/sec, 95 secs
lola: 18182325 markings, 57019245 edges, 173349 markings/sec, 100 secs
lola: 19040198 markings, 59755935 edges, 171575 markings/sec, 105 secs
lola: 19919492 markings, 62514546 edges, 175859 markings/sec, 110 secs
lola: 20813392 markings, 65285985 edges, 178780 markings/sec, 115 secs
lola: 21745256 markings, 68155865 edges, 186373 markings/sec, 120 secs
lola: 22652985 markings, 70890339 edges, 181546 markings/sec, 125 secs
lola: 23396911 markings, 73367715 edges, 148785 markings/sec, 130 secs
lola: 24134260 markings, 75798614 edges, 147470 markings/sec, 135 secs
lola: 24913889 markings, 78338681 edges, 155926 markings/sec, 140 secs
lola: 25578523 markings, 80844486 edges, 132927 markings/sec, 145 secs
lola: 26227367 markings, 83307174 edges, 129769 markings/sec, 150 secs
lola: 26917809 markings, 85869942 edges, 138088 markings/sec, 155 secs
lola: 27608809 markings, 88410759 edges, 138200 markings/sec, 160 secs
lola: 28265229 markings, 90910892 edges, 131284 markings/sec, 165 secs
lola: 28938919 markings, 93438284 edges, 134738 markings/sec, 170 secs
lola: 29647018 markings, 96022522 edges, 141620 markings/sec, 175 secs
lola: 30310935 markings, 98537128 edges, 132783 markings/sec, 180 secs
lola: 31025931 markings, 101141441 edges, 142999 markings/sec, 185 secs
lola: 31697045 markings, 103682343 edges, 134223 markings/sec, 190 secs
lola: 32416584 markings, 106299773 edges, 143908 markings/sec, 195 secs
lola: 33062251 markings, 108747527 edges, 129133 markings/sec, 200 secs
lola: 33792748 markings, 111411554 edges, 146099 markings/sec, 205 secs
lola: 34486770 markings, 114031107 edges, 138804 markings/sec, 210 secs
lola: 35211670 markings, 116695263 edges, 144980 markings/sec, 215 secs
lola: 35914556 markings, 119269774 edges, 140577 markings/sec, 220 secs
lola: 36642012 markings, 121958935 edges, 145491 markings/sec, 225 secs
lola: 37375159 markings, 124644385 edges, 146629 markings/sec, 230 secs
lola: 38112856 markings, 127363945 edges, 147539 markings/sec, 235 secs
lola: 38861154 markings, 130091019 edges, 149660 markings/sec, 240 secs
lola: 39621037 markings, 132848499 edges, 151977 markings/sec, 245 secs
lola: 40407755 markings, 135648706 edges, 157344 markings/sec, 250 secs
lola: 41198708 markings, 138541186 edges, 158191 markings/sec, 255 secs
lola: 42046154 markings, 141220266 edges, 169489 markings/sec, 260 secs
lola: 42815077 markings, 143771926 edges, 153785 markings/sec, 265 secs
lola: 43588418 markings, 146302997 edges, 154668 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6205212 KB
lola: time consumption: 811 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 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G (NOT FIREABLE(t59_to_60)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G (NOT FIREABLE(t59_to_60)))))
lola: processed formula length: 39
lola: 67 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: 861 markings, 861 edges
lola: ========================================
lola: subprocess 7 will run for 306 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (FIREABLE(t39_to_40))) AND A (X ((FIREABLE(t40_to_41) U X (((FIREABLE(t40_to_41) U (FIREABLE(t39_to_40) OR FIREABLE(t92_to_93))) OR (FIREABLE(t64_to_65) U FIREABLE(t92_to_93))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 306 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (FIREABLE(t39_to_40)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (FIREABLE(t39_to_40)))
lola: processed formula length: 27
lola: 67 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: 891 markings, 891 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 8 will run for 344 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t8_to_9) U X (FIREABLE(t28_to_29))) OR G (F (FIREABLE(t18_to_19)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t8_to_9) U X (FIREABLE(t28_to_29))) OR G (F (FIREABLE(t18_to_19)))))
lola: processed formula length: 82
lola: 67 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 993374 markings, 2759633 edges, 198675 markings/sec, 0 secs
lola: 2036669 markings, 6017149 edges, 208659 markings/sec, 5 secs
lola: 3095975 markings, 9297776 edges, 211861 markings/sec, 10 secs
lola: 4186948 markings, 12609030 edges, 218195 markings/sec, 15 secs
lola: 5250421 markings, 15874270 edges, 212695 markings/sec, 20 secs
lola: 6318975 markings, 19190137 edges, 213711 markings/sec, 25 secs
lola: 7261664 markings, 22412837 edges, 188538 markings/sec, 30 secs
lola: 8168055 markings, 25661723 edges, 181278 markings/sec, 35 secs
lola: 9097352 markings, 28931617 edges, 185859 markings/sec, 40 secs
lola: 10013867 markings, 32187981 edges, 183303 markings/sec, 45 secs
lola: 10969967 markings, 35396464 edges, 191220 markings/sec, 50 secs
lola: 11860649 markings, 38601751 edges, 178136 markings/sec, 55 secs
lola: 12772627 markings, 41818476 edges, 182396 markings/sec, 60 secs
lola: 13692981 markings, 45059936 edges, 184071 markings/sec, 65 secs
lola: 14657033 markings, 48291979 edges, 192810 markings/sec, 70 secs
lola: 15540196 markings, 51476601 edges, 176633 markings/sec, 75 secs
lola: 16451380 markings, 54679934 edges, 182237 markings/sec, 80 secs
lola: 17365852 markings, 57919855 edges, 182894 markings/sec, 85 secs
lola: 18323366 markings, 61158304 edges, 191503 markings/sec, 90 secs
lola: 19219249 markings, 64317802 edges, 179177 markings/sec, 95 secs
lola: 20136047 markings, 67549257 edges, 183360 markings/sec, 100 secs
lola: 21047982 markings, 70629755 edges, 182387 markings/sec, 105 secs
lola: 21938963 markings, 73735078 edges, 178196 markings/sec, 110 secs
lola: 22872728 markings, 76901278 edges, 186753 markings/sec, 115 secs
lola: 23777161 markings, 80028002 edges, 180887 markings/sec, 120 secs
lola: 24706072 markings, 83230685 edges, 185782 markings/sec, 125 secs
lola: 25609569 markings, 86360903 edges, 180699 markings/sec, 130 secs
lola: 26519536 markings, 89419450 edges, 181993 markings/sec, 135 secs
lola: 27374266 markings, 92332979 edges, 170946 markings/sec, 140 secs
lola: 28269872 markings, 95362038 edges, 179121 markings/sec, 145 secs
lola: 29161195 markings, 98355754 edges, 178265 markings/sec, 150 secs
lola: 30060572 markings, 101305442 edges, 179875 markings/sec, 155 secs
lola: 30994361 markings, 104253181 edges, 186758 markings/sec, 160 secs
lola: 31938422 markings, 107259760 edges, 188812 markings/sec, 165 secs
lola: 32795066 markings, 110385803 edges, 171329 markings/sec, 170 secs
lola: 33671874 markings, 113579178 edges, 175362 markings/sec, 175 secs
lola: 34538390 markings, 116705307 edges, 173303 markings/sec, 180 secs
lola: 35375677 markings, 119693504 edges, 167457 markings/sec, 185 secs
lola: 36327369 markings, 122960157 edges, 190338 markings/sec, 190 secs
lola: 37358225 markings, 126180955 edges, 206171 markings/sec, 195 secs
lola: 38396113 markings, 129415879 edges, 207578 markings/sec, 200 secs
lola: 39325817 markings, 132556289 edges, 185941 markings/sec, 205 secs
lola: 40210962 markings, 135740744 edges, 177029 markings/sec, 210 secs
lola: 41109511 markings, 138910041 edges, 179710 markings/sec, 215 secs
lola: 42005522 markings, 142083771 edges, 179202 markings/sec, 220 secs
lola: 42879069 markings, 145195846 edges, 174709 markings/sec, 225 secs
lola: 43655294 markings, 148255553 edges, 155245 markings/sec, 230 secs
lola: 44411939 markings, 151334912 edges, 151329 markings/sec, 235 secs
lola: 45201978 markings, 154476099 edges, 158008 markings/sec, 240 secs
lola: 45961236 markings, 157584006 edges, 151852 markings/sec, 245 secs
lola: 46767233 markings, 160641973 edges, 161199 markings/sec, 250 secs
lola: 47509279 markings, 163675337 edges, 148409 markings/sec, 255 secs
lola: 48271264 markings, 166771260 edges, 152397 markings/sec, 260 secs
lola: 49049893 markings, 169857561 edges, 155726 markings/sec, 265 secs
lola: 49818035 markings, 173044711 edges, 153628 markings/sec, 270 secs
lola: 50614057 markings, 176062498 edges, 159204 markings/sec, 275 secs
lola: 51376189 markings, 179134366 edges, 152426 markings/sec, 280 secs
lola: 52156770 markings, 182248610 edges, 156116 markings/sec, 285 secs
lola: 52934378 markings, 185273294 edges, 155522 markings/sec, 290 secs
lola: 53685705 markings, 188277478 edges, 150265 markings/sec, 295 secs
lola: 54461825 markings, 191403075 edges, 155224 markings/sec, 300 secs
lola: 55235457 markings, 194378714 edges, 154726 markings/sec, 305 secs
lola: 56004533 markings, 197418340 edges, 153815 markings/sec, 310 secs
lola: 56799071 markings, 200527707 edges, 158908 markings/sec, 315 secs
lola: 57555646 markings, 203516474 edges, 151315 markings/sec, 320 secs
lola: 58325695 markings, 206531301 edges, 154010 markings/sec, 325 secs
lola: 59102975 markings, 209560704 edges, 155456 markings/sec, 330 secs
lola: 59849902 markings, 212478417 edges, 149385 markings/sec, 335 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown no unknown unknown unknown no unknown no unknown unknown unknown unknown
lola: memory consumption: 8610232 KB
lola: time consumption: 1155 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 9 will run for 344 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X ((F (NOT FIREABLE(t93_to_94)) OR G (NOT FIREABLE(t9_to_10)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X ((F (NOT FIREABLE(t93_to_94)) OR G (NOT FIREABLE(t9_to_10)))))))
lola: processed formula length: 75
lola: 67 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: 1139468 markings, 2799190 edges, 227894 markings/sec, 0 secs
lola: 2127925 markings, 5651325 edges, 197691 markings/sec, 5 secs
lola: 3134499 markings, 8551340 edges, 201315 markings/sec, 10 secs
lola: 4144236 markings, 11438131 edges, 201947 markings/sec, 15 secs
lola: 5159414 markings, 14358992 edges, 203036 markings/sec, 20 secs
lola: 6192754 markings, 17304483 edges, 206668 markings/sec, 25 secs
lola: 7234420 markings, 20276726 edges, 208333 markings/sec, 30 secs
lola: 8305051 markings, 23306207 edges, 214126 markings/sec, 35 secs
lola: 9414860 markings, 26419101 edges, 221962 markings/sec, 40 secs
lola: 10508944 markings, 29492319 edges, 218817 markings/sec, 45 secs
lola: 11524682 markings, 32350467 edges, 203148 markings/sec, 50 secs
lola: 12361168 markings, 35091566 edges, 167297 markings/sec, 55 secs
lola: 13183762 markings, 37849813 edges, 164519 markings/sec, 60 secs
lola: 14004090 markings, 40619486 edges, 164066 markings/sec, 65 secs
lola: 14840804 markings, 43426004 edges, 167343 markings/sec, 70 secs
lola: 15684537 markings, 46255230 edges, 168747 markings/sec, 75 secs
lola: 16546691 markings, 49131516 edges, 172431 markings/sec, 80 secs
lola: 17435516 markings, 52093662 edges, 177765 markings/sec, 85 secs
lola: 18365370 markings, 55150083 edges, 185971 markings/sec, 90 secs
lola: 19260941 markings, 58124266 edges, 179114 markings/sec, 95 secs
lola: 20196525 markings, 60853238 edges, 187117 markings/sec, 100 secs
lola: 20997814 markings, 63525969 edges, 160258 markings/sec, 105 secs
lola: 21794201 markings, 66216996 edges, 159277 markings/sec, 110 secs
lola: 22598004 markings, 68926724 edges, 160761 markings/sec, 115 secs
lola: 23414752 markings, 71666879 edges, 163350 markings/sec, 120 secs
lola: 24241419 markings, 74434066 edges, 165333 markings/sec, 125 secs
lola: 25082138 markings, 77241729 edges, 168144 markings/sec, 130 secs
lola: 25952833 markings, 80134234 edges, 174139 markings/sec, 135 secs
lola: 26877880 markings, 83159258 edges, 185009 markings/sec, 140 secs
lola: 27679794 markings, 85833969 edges, 160383 markings/sec, 145 secs
lola: 28595307 markings, 88475406 edges, 183103 markings/sec, 150 secs
lola: 29292275 markings, 90825454 edges, 139394 markings/sec, 155 secs
lola: 30059438 markings, 93417832 edges, 153433 markings/sec, 160 secs
lola: 30857537 markings, 96105510 edges, 159620 markings/sec, 165 secs
lola: 31661775 markings, 98807327 edges, 160848 markings/sec, 170 secs
lola: 32476363 markings, 101537835 edges, 162918 markings/sec, 175 secs
lola: 33311973 markings, 104322813 edges, 167122 markings/sec, 180 secs
lola: 34169795 markings, 107183545 edges, 171564 markings/sec, 185 secs
lola: 35075412 markings, 110154698 edges, 181123 markings/sec, 190 secs
lola: 35941548 markings, 113035144 edges, 173227 markings/sec, 195 secs
lola: 36850829 markings, 115679525 edges, 181856 markings/sec, 200 secs
lola: 37626278 markings, 118284551 edges, 155090 markings/sec, 205 secs
lola: 38404217 markings, 120913577 edges, 155588 markings/sec, 210 secs
lola: 39193977 markings, 123559454 edges, 157952 markings/sec, 215 secs
lola: 39987932 markings, 126233467 edges, 158791 markings/sec, 220 secs
lola: 40799561 markings, 128944351 edges, 162326 markings/sec, 225 secs
lola: 41626757 markings, 131704498 edges, 165439 markings/sec, 230 secs
lola: 42483860 markings, 134545691 edges, 171421 markings/sec, 235 secs
lola: 43384979 markings, 137475950 edges, 180224 markings/sec, 240 secs
lola: 44250642 markings, 140222777 edges, 173133 markings/sec, 245 secs
lola: 45071168 markings, 142770778 edges, 164105 markings/sec, 250 secs
lola: 45839457 markings, 145360996 edges, 153658 markings/sec, 255 secs
lola: 46607863 markings, 147939306 edges, 153681 markings/sec, 260 secs
lola: 47392879 markings, 150570046 edges, 157003 markings/sec, 265 secs
lola: 48178239 markings, 153205403 edges, 157072 markings/sec, 270 secs
lola: 48982119 markings, 155897868 edges, 160776 markings/sec, 275 secs
lola: 49810090 markings, 158652127 edges, 165594 markings/sec, 280 secs
lola: 50681871 markings, 161517712 edges, 174356 markings/sec, 285 secs
lola: 51524275 markings, 164315191 edges, 168481 markings/sec, 290 secs
lola: 52411436 markings, 166885142 edges, 177432 markings/sec, 295 secs
lola: 53171691 markings, 169456239 edges, 152051 markings/sec, 300 secs
lola: 53936888 markings, 172040402 edges, 153039 markings/sec, 305 secs
lola: 54714409 markings, 174647317 edges, 155504 markings/sec, 310 secs
lola: 55499165 markings, 177277267 edges, 156951 markings/sec, 315 secs
lola: 56294593 markings, 179945922 edges, 159086 markings/sec, 320 secs
lola: 57111173 markings, 182668344 edges, 163316 markings/sec, 325 secs
lola: 57959442 markings, 185470925 edges, 169654 markings/sec, 330 secs
lola: 58826186 markings, 188304330 edges, 173349 markings/sec, 335 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown no unknown unknown unknown no unknown no unknown unknown unknown unknown
lola: memory consumption: 8300632 KB
lola: time consumption: 1500 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 10 will run for 344 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t58_to_59) AND FIREABLE(t11_to_12))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (NOT FIREABLE(t58_to_59) OR NOT FIREABLE(t11_to_12))
lola: processed formula length: 53
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 3227 markings, 3227 edges
lola: ========================================
lola: subprocess 11 will run for 413 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((FIREABLE(t11_to_12) AND F (FIREABLE(t18_to_19))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((FIREABLE(t11_to_12) AND F (FIREABLE(t18_to_19))))))
lola: processed formula length: 61
lola: 67 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: 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: 809 markings, 810 edges
lola: ========================================
lola: subprocess 12 will run for 517 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (((NOT FIREABLE(t12_to_13) AND NOT FIREABLE(t1_to_2)) OR (G (NOT FIREABLE(t13_to_14)) AND F (NOT FIREABLE(t12_to_13)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (((NOT FIREABLE(t12_to_13) AND NOT FIREABLE(t1_to_2)) OR (G (NOT FIREABLE(t13_to_14)) AND F (NOT FIREABLE(t12_to_13)))))))
lola: processed formula length: 130
lola: 67 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: 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: 980543 markings, 2550120 edges, 196109 markings/sec, 0 secs
lola: 1797710 markings, 5105654 edges, 163433 markings/sec, 5 secs
lola: 2591050 markings, 7887882 edges, 158668 markings/sec, 10 secs
lola: 3150597 markings, 10829250 edges, 111909 markings/sec, 15 secs
lola: 3651895 markings, 13485661 edges, 100260 markings/sec, 20 secs
lola: 4050495 markings, 16190072 edges, 79720 markings/sec, 25 secs
lola: 4496949 markings, 19152923 edges, 89291 markings/sec, 30 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: 4830866 markings, 21149065 edges
lola: ========================================
lola: subprocess 13 will run for 677 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t39_to_40) AND F ((FIREABLE(t60_to_61) OR NOT FIREABLE(t41_to_42))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((FIREABLE(t39_to_40) AND F ((FIREABLE(t60_to_61) OR NOT FIREABLE(t41_to_42))))))
lola: processed formula length: 86
lola: 67 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 14 will run for 1015 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t36_to_37) OR FIREABLE(t13_to_14)) OR (G (FIREABLE(t76_to_77)) OR (FIREABLE(t36_to_37) U NOT FIREABLE(t78_to_79)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t36_to_37) OR FIREABLE(t13_to_14)) OR (G (FIREABLE(t76_to_77)) OR (FIREABLE(t36_to_37) U NOT FIREABLE(t78_to_79)))))
lola: processed formula length: 131
lola: 67 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: 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 15 will run for 2031 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (FIREABLE(t93_to_94))) AND A (G ((FIREABLE(t31_to_32) OR F (G (FIREABLE(t31_to_32)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2031 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t93_to_94)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (FIREABLE(t93_to_94)))
lola: processed formula length: 27
lola: 69 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: NOT FIREABLE(t93_to_94)
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: state equation task get result unparse finished id 0
lola: 2 markings, 1 edges
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (G ((X ((F (FIREABLE(t60_to_61)) OR X (G (NOT FIREABLE(t60_to_61))))) AND (FIREABLE(t2_to_3) OR F (FIREABLE(t70_to_71)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((X ((F (FIREABLE(t60_to_61)) OR X (G (NOT FIREABLE(t60_to_61))))) AND (FIREABLE(t2_to_3) OR F (FIREABLE(t70_to_71)))))))
lola: processed formula length: 129
lola: 67 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1130908 markings, 3041532 edges, 226182 markings/sec, 0 secs
lola: 2112119 markings, 6026300 edges, 196242 markings/sec, 5 secs
lola: 3042601 markings, 8969581 edges, 186096 markings/sec, 10 secs
lola: 3972941 markings, 11913006 edges, 186068 markings/sec, 15 secs
lola: 4910628 markings, 14862151 edges, 187537 markings/sec, 20 secs
lola: 5843875 markings, 17776641 edges, 186649 markings/sec, 25 secs
lola: 6784425 markings, 20707976 edges, 188110 markings/sec, 30 secs
lola: 7736720 markings, 23640040 edges, 190459 markings/sec, 35 secs
lola: 8741084 markings, 26612240 edges, 200873 markings/sec, 40 secs
lola: 9617448 markings, 29428428 edges, 175273 markings/sec, 45 secs
lola: 10520790 markings, 32268909 edges, 180668 markings/sec, 50 secs
lola: 11385576 markings, 35075906 edges, 172957 markings/sec, 55 secs
lola: 12325518 markings, 37949307 edges, 187988 markings/sec, 60 secs
lola: 13160950 markings, 40813152 edges, 167086 markings/sec, 65 secs
lola: 13943854 markings, 43668596 edges, 156581 markings/sec, 70 secs
lola: 14729172 markings, 46535584 edges, 157064 markings/sec, 75 secs
lola: 15510298 markings, 49393058 edges, 156225 markings/sec, 80 secs
lola: 16297554 markings, 52260152 edges, 157451 markings/sec, 85 secs
lola: 17090643 markings, 55118847 edges, 158618 markings/sec, 90 secs
lola: 17894782 markings, 57992044 edges, 160828 markings/sec, 95 secs
lola: 18722582 markings, 60908432 edges, 165560 markings/sec, 100 secs
lola: 19514101 markings, 63730513 edges, 158304 markings/sec, 105 secs
lola: 20280696 markings, 66519032 edges, 153319 markings/sec, 110 secs
lola: 21008200 markings, 69257253 edges, 145501 markings/sec, 115 secs
lola: 21854717 markings, 72079188 edges, 169303 markings/sec, 120 secs
lola: 22740058 markings, 74954621 edges, 177068 markings/sec, 125 secs
lola: 23514731 markings, 77818446 edges, 154935 markings/sec, 130 secs
lola: 24310774 markings, 80740480 edges, 159209 markings/sec, 135 secs
lola: 25099595 markings, 83618584 edges, 157764 markings/sec, 140 secs
lola: 25893553 markings, 86485722 edges, 158792 markings/sec, 145 secs
lola: 26685243 markings, 89366055 edges, 158338 markings/sec, 150 secs
lola: 27491404 markings, 92246878 edges, 161232 markings/sec, 155 secs
lola: 28307260 markings, 95149402 edges, 163171 markings/sec, 160 secs
lola: 29141152 markings, 98045065 edges, 166778 markings/sec, 165 secs
lola: 29878620 markings, 100814866 edges, 147494 markings/sec, 170 secs
lola: 30642614 markings, 103604799 edges, 152799 markings/sec, 175 secs
lola: 31418935 markings, 106369662 edges, 155264 markings/sec, 180 secs
lola: 32335564 markings, 109279838 edges, 183326 markings/sec, 185 secs
lola: 33130050 markings, 112156754 edges, 158897 markings/sec, 190 secs
lola: 33914011 markings, 115023638 edges, 156792 markings/sec, 195 secs
lola: 34712733 markings, 117898303 edges, 159744 markings/sec, 200 secs
lola: 35514153 markings, 120787998 edges, 160284 markings/sec, 205 secs
lola: 36339330 markings, 123703706 edges, 165035 markings/sec, 210 secs
lola: 37157969 markings, 126580699 edges, 163728 markings/sec, 215 secs
lola: 37929056 markings, 129391873 edges, 154217 markings/sec, 220 secs
lola: 38698122 markings, 132172940 edges, 153813 markings/sec, 225 secs
lola: 39577035 markings, 135001807 edges, 175783 markings/sec, 230 secs
lola: 40354544 markings, 137841999 edges, 155502 markings/sec, 235 secs
lola: 41141926 markings, 140676198 edges, 157476 markings/sec, 240 secs
lola: 41938763 markings, 143541081 edges, 159367 markings/sec, 245 secs
lola: 42752606 markings, 146417737 edges, 162769 markings/sec, 250 secs
lola: 43552004 markings, 149236832 edges, 159880 markings/sec, 255 secs
lola: 44303026 markings, 151982785 edges, 150204 markings/sec, 260 secs
lola: 45072078 markings, 154589650 edges, 153810 markings/sec, 265 secs
lola: 45909334 markings, 157435204 edges, 167451 markings/sec, 270 secs
lola: 46692058 markings, 160269335 edges, 156545 markings/sec, 275 secs
lola: 47480244 markings, 163108787 edges, 157637 markings/sec, 280 secs
lola: 48279933 markings, 165973425 edges, 159938 markings/sec, 285 secs
lola: 49107105 markings, 168865039 edges, 165434 markings/sec, 290 secs
lola: 49874078 markings, 171634097 edges, 153395 markings/sec, 295 secs
lola: 50626135 markings, 174384595 edges, 150411 markings/sec, 300 secs
lola: 51496889 markings, 177201558 edges, 174151 markings/sec, 305 secs
lola: 52282082 markings, 180024218 edges, 157039 markings/sec, 310 secs
lola: 53078041 markings, 182866955 edges, 159192 markings/sec, 315 secs
lola: 53895082 markings, 185729738 edges, 163408 markings/sec, 320 secs
lola: 54681253 markings, 188518077 edges, 157234 markings/sec, 325 secs
lola: 55469652 markings, 191260323 edges, 157680 markings/sec, 330 secs
lola: 56290185 markings, 194076197 edges, 164107 markings/sec, 335 secs
lola: 57082216 markings, 196905415 edges, 158406 markings/sec, 340 secs
lola: 57918036 markings, 199781602 edges, 167164 markings/sec, 345 secs
lola: 58662089 markings, 202498965 edges, 148811 markings/sec, 350 secs
lola: 59511642 markings, 205299107 edges, 169911 markings/sec, 355 secs
lola: 60301148 markings, 208140315 edges, 157901 markings/sec, 360 secs
lola: 61108305 markings, 210991908 edges, 161431 markings/sec, 365 secs
lola: 61906054 markings, 213801367 edges, 159550 markings/sec, 370 secs
lola: 62700997 markings, 216558830 edges, 158989 markings/sec, 375 secs
lola: 63528829 markings, 219404434 edges, 165566 markings/sec, 380 secs
lola: 64364886 markings, 222282590 edges, 167211 markings/sec, 385 secs
lola: 65145706 markings, 225042675 edges, 156164 markings/sec, 390 secs
lola: 65976921 markings, 227887698 edges, 166243 markings/sec, 395 secs
lola: 66799208 markings, 230750474 edges, 164457 markings/sec, 400 secs
lola: 67629573 markings, 233557520 edges, 166073 markings/sec, 405 secs
lola: 68455774 markings, 236445514 edges, 165240 markings/sec, 410 secs
lola: 69261961 markings, 239239046 edges, 161237 markings/sec, 415 secs
lola: 70112760 markings, 242116634 edges, 170160 markings/sec, 420 secs
lola: 70936737 markings, 244935193 edges, 164795 markings/sec, 425 secs
lola: 71783539 markings, 247794493 edges, 169360 markings/sec, 430 secs
lola: 72614150 markings, 250657626 edges, 166122 markings/sec, 435 secs
lola: 73475189 markings, 253529855 edges, 172208 markings/sec, 440 secs
lola: 74353011 markings, 256445897 edges, 175564 markings/sec, 445 secs
lola: 75250107 markings, 259381535 edges, 179419 markings/sec, 450 secs
lola: 76178617 markings, 262308144 edges, 185702 markings/sec, 455 secs
lola: 77041268 markings, 265197076 edges, 172530 markings/sec, 460 secs
lola: 77837124 markings, 268097239 edges, 159171 markings/sec, 465 secs
lola: 78636641 markings, 271020948 edges, 159903 markings/sec, 470 secs
lola: 79426481 markings, 273913417 edges, 157968 markings/sec, 475 secs
lola: 80214416 markings, 276790127 edges, 157587 markings/sec, 480 secs
lola: 81010081 markings, 279655426 edges, 159133 markings/sec, 485 secs
lola: 81813305 markings, 282544132 edges, 160645 markings/sec, 490 secs
lola: 82643832 markings, 285468044 edges, 166105 markings/sec, 495 secs
lola: 83462352 markings, 288368671 edges, 163704 markings/sec, 500 secs
lola: 84237246 markings, 291208338 edges, 154979 markings/sec, 505 secs
lola: 84987503 markings, 294010268 edges, 150051 markings/sec, 510 secs
lola: 85792619 markings, 296857023 edges, 161023 markings/sec, 515 secs
lola: 86567399 markings, 299749345 edges, 154956 markings/sec, 520 secs
lola: 87258459 markings, 302616847 edges, 138212 markings/sec, 525 secs
lola: 87944875 markings, 305463541 edges, 137283 markings/sec, 530 secs
lola: 88636263 markings, 308323302 edges, 138278 markings/sec, 535 secs
lola: 89332362 markings, 311174256 edges, 139220 markings/sec, 540 secs
lola: 90038438 markings, 314042005 edges, 141215 markings/sec, 545 secs
lola: 90776910 markings, 316981493 edges, 147694 markings/sec, 550 secs
lola: 91456905 markings, 319780851 edges, 135999 markings/sec, 555 secs
lola: 92137322 markings, 322591892 edges, 136083 markings/sec, 560 secs
lola: 92814893 markings, 325374463 edges, 135514 markings/sec, 565 secs
lola: 93583921 markings, 328173931 edges, 153806 markings/sec, 570 secs
lola: 94257996 markings, 330963582 edges, 134815 markings/sec, 575 secs
lola: 94932549 markings, 333760873 edges, 134911 markings/sec, 580 secs
lola: 95616214 markings, 336558379 edges, 136733 markings/sec, 585 secs
lola: 96307532 markings, 339384412 edges, 138264 markings/sec, 590 secs
lola: 97020867 markings, 342240677 edges, 142667 markings/sec, 595 secs
lola: 97704319 markings, 345009541 edges, 136690 markings/sec, 600 secs
lola: 98366414 markings, 347753413 edges, 132419 markings/sec, 605 secs
lola: 99061505 markings, 350497820 edges, 139018 markings/sec, 610 secs
lola: 99811371 markings, 353330607 edges, 149973 markings/sec, 615 secs
lola: 100492172 markings, 356152689 edges, 136160 markings/sec, 620 secs
lola: 101180418 markings, 358991040 edges, 137649 markings/sec, 625 secs
lola: 101867985 markings, 361811090 edges, 137513 markings/sec, 630 secs
lola: 102567991 markings, 364653295 edges, 140001 markings/sec, 635 secs
lola: 103296999 markings, 367547908 edges, 145802 markings/sec, 640 secs
lola: 103962412 markings, 370297086 edges, 133083 markings/sec, 645 secs
lola: 104626488 markings, 373051741 edges, 132815 markings/sec, 650 secs
lola: 105351687 markings, 375840850 edges, 145040 markings/sec, 655 secs
lola: 106068626 markings, 378652563 edges, 143388 markings/sec, 660 secs
lola: 106754878 markings, 381468187 edges, 137250 markings/sec, 665 secs
lola: 107450803 markings, 384292696 edges, 139185 markings/sec, 670 secs
lola: 108183239 markings, 387174862 edges, 146487 markings/sec, 675 secs
lola: 108856094 markings, 389928405 edges, 134571 markings/sec, 680 secs
lola: 109539324 markings, 392669474 edges, 136646 markings/sec, 685 secs
lola: 110261393 markings, 395469541 edges, 144414 markings/sec, 690 secs
lola: 110949683 markings, 398278516 edges, 137658 markings/sec, 695 secs
lola: 111652761 markings, 401117290 edges, 140616 markings/sec, 700 secs
lola: 112353208 markings, 403923348 edges, 140089 markings/sec, 705 secs
lola: 113023225 markings, 406672137 edges, 134003 markings/sec, 710 secs
lola: 113766961 markings, 409478277 edges, 148747 markings/sec, 715 secs
lola: 114044239 markings, 410609074 edges, 55456 markings/sec, 720 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (F ((X ((F (FIREABLE(t44_to_45)) OR (FIREABLE(t12_to_13) U FIREABLE(t40_to_41)))) AND G (FIREABLE(t57_to_58)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((X ((F (FIREABLE(t44_to_45)) OR (FIREABLE(t12_to_13) U FIREABLE(t40_to_41)))) AND G (FIREABLE(t57_to_58)))))
lola: processed formula length: 114
lola: 67 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 383849 markings, 3378089 edges, 76770 markings/sec, 0 secs
lola: 787369 markings, 7211371 edges, 80704 markings/sec, 5 secs
lola: 1188732 markings, 11030702 edges, 80273 markings/sec, 10 secs
lola: 1556297 markings, 14813821 edges, 73513 markings/sec, 15 secs
lola: 1926783 markings, 18586285 edges, 74097 markings/sec, 20 secs
lola: 2327636 markings, 22349287 edges, 80171 markings/sec, 25 secs
lola: 2688849 markings, 26136647 edges, 72243 markings/sec, 30 secs
lola: 3016758 markings, 29876753 edges, 65582 markings/sec, 35 secs
lola: 3380585 markings, 33620159 edges, 72765 markings/sec, 40 secs
lola: 3723236 markings, 37359679 edges, 68530 markings/sec, 45 secs
lola: 4030307 markings, 40796461 edges, 61414 markings/sec, 50 secs
lola: 4383155 markings, 44389902 edges, 70570 markings/sec, 55 secs
lola: 4788169 markings, 48078422 edges, 81003 markings/sec, 60 secs
lola: 5150422 markings, 51883329 edges, 72451 markings/sec, 65 secs
lola: 5476843 markings, 55595502 edges, 65284 markings/sec, 70 secs
lola: 5785690 markings, 59166360 edges, 61769 markings/sec, 75 secs
lola: 6125814 markings, 62912711 edges, 68025 markings/sec, 80 secs
lola: 6419442 markings, 66597494 edges, 58726 markings/sec, 85 secs
lola: 6730246 markings, 70298546 edges, 62161 markings/sec, 90 secs
lola: 6998976 markings, 73680139 edges, 53746 markings/sec, 95 secs
lola: 7304908 markings, 77336587 edges, 61186 markings/sec, 100 secs
lola: 7658018 markings, 81023396 edges, 70622 markings/sec, 105 secs
lola: 8010416 markings, 84743941 edges, 70480 markings/sec, 110 secs
lola: 8330550 markings, 88387096 edges, 64027 markings/sec, 115 secs
lola: 8659080 markings, 92176554 edges, 65706 markings/sec, 120 secs
lola: 8999132 markings, 95945823 edges, 68010 markings/sec, 125 secs
lola: 9293876 markings, 99669885 edges, 58949 markings/sec, 130 secs
lola: 9608420 markings, 103394171 edges, 62909 markings/sec, 135 secs
lola: 9877106 markings, 106800785 edges, 53737 markings/sec, 140 secs
lola: 10188902 markings, 110482855 edges, 62359 markings/sec, 145 secs
lola: 10547329 markings, 114160848 edges, 71685 markings/sec, 150 secs
lola: 10903579 markings, 117912115 edges, 71250 markings/sec, 155 secs
lola: 11228056 markings, 121614421 edges, 64895 markings/sec, 160 secs
lola: 11564513 markings, 125325174 edges, 67291 markings/sec, 165 secs
lola: 11890303 markings, 128999848 edges, 65158 markings/sec, 170 secs
lola: 12219091 markings, 132686171 edges, 65758 markings/sec, 175 secs
lola: 12505142 markings, 136333796 edges, 57210 markings/sec, 180 secs
lola: 12790405 markings, 139990034 edges, 57053 markings/sec, 185 secs
lola: 13090777 markings, 143501138 edges, 60074 markings/sec, 190 secs
lola: 13384472 markings, 147206030 edges, 58739 markings/sec, 195 secs
lola: 13662297 markings, 150729133 edges, 55565 markings/sec, 200 secs
lola: 13944135 markings, 154054115 edges, 56368 markings/sec, 205 secs
lola: 14292805 markings, 157727589 edges, 69734 markings/sec, 210 secs
lola: 14623016 markings, 161439456 edges, 66042 markings/sec, 215 secs
lola: 14933889 markings, 165118416 edges, 62175 markings/sec, 220 secs
lola: 15253246 markings, 168517719 edges, 63871 markings/sec, 225 secs
lola: 15557173 markings, 172216297 edges, 60785 markings/sec, 230 secs
lola: 15903386 markings, 175889061 edges, 69243 markings/sec, 235 secs
lola: 16201673 markings, 179277118 edges, 59657 markings/sec, 240 secs
lola: 16526051 markings, 182869366 edges, 64876 markings/sec, 245 secs
lola: 16873544 markings, 186547080 edges, 69499 markings/sec, 250 secs
lola: 17192413 markings, 190176749 edges, 63774 markings/sec, 255 secs
lola: 17517651 markings, 193801624 edges, 65048 markings/sec, 260 secs
lola: 17867785 markings, 197425293 edges, 70027 markings/sec, 265 secs
lola: 18211478 markings, 200955078 edges, 68739 markings/sec, 270 secs
lola: 18572637 markings, 204512230 edges, 72232 markings/sec, 275 secs
lola: 18914704 markings, 208142530 edges, 68413 markings/sec, 280 secs
lola: 19229675 markings, 211740706 edges, 62994 markings/sec, 285 secs
lola: 19525787 markings, 215180350 edges, 59222 markings/sec, 290 secs
lola: 19833060 markings, 218805932 edges, 61455 markings/sec, 295 secs
lola: 20149590 markings, 222386011 edges, 63306 markings/sec, 300 secs
lola: 20508194 markings, 226031069 edges, 71721 markings/sec, 305 secs
lola: 20855908 markings, 229669088 edges, 69543 markings/sec, 310 secs
lola: 21156361 markings, 233274739 edges, 60091 markings/sec, 315 secs
lola: 21470888 markings, 236926690 edges, 62905 markings/sec, 320 secs
lola: 21785330 markings, 240561599 edges, 62888 markings/sec, 325 secs
lola: 22104909 markings, 244127442 edges, 63916 markings/sec, 330 secs
lola: 22462505 markings, 247759218 edges, 71519 markings/sec, 335 secs
lola: 22816924 markings, 251350931 edges, 70884 markings/sec, 340 secs
lola: 23212141 markings, 254928261 edges, 79043 markings/sec, 345 secs
lola: 23576679 markings, 258741370 edges, 72908 markings/sec, 350 secs
lola: 23909066 markings, 262489178 edges, 66477 markings/sec, 355 secs
lola: 24235356 markings, 266263789 edges, 65258 markings/sec, 360 secs
lola: 24576328 markings, 270018961 edges, 68194 markings/sec, 365 secs
lola: 24872306 markings, 273735381 edges, 59196 markings/sec, 370 secs
lola: 25185275 markings, 277455937 edges, 62594 markings/sec, 375 secs
lola: 25476909 markings, 281147085 edges, 58327 markings/sec, 380 secs
lola: 25788315 markings, 284824480 edges, 62281 markings/sec, 385 secs
lola: 26132453 markings, 288499204 edges, 68828 markings/sec, 390 secs
lola: 26431289 markings, 292202673 edges, 59767 markings/sec, 395 secs
lola: 26724737 markings, 295900348 edges, 58690 markings/sec, 400 secs
lola: 27019964 markings, 299569127 edges, 59045 markings/sec, 405 secs
lola: 27338304 markings, 303344451 edges, 63668 markings/sec, 410 secs
lola: 27633474 markings, 307083997 edges, 59034 markings/sec, 415 secs
lola: 27911840 markings, 310792719 edges, 55673 markings/sec, 420 secs
lola: 28191560 markings, 314458076 edges, 55944 markings/sec, 425 secs
lola: 28481578 markings, 318136014 edges, 58004 markings/sec, 430 secs
lola: 28746913 markings, 321801294 edges, 53067 markings/sec, 435 secs
lola: 29055603 markings, 325472297 edges, 61738 markings/sec, 440 secs
lola: 29331500 markings, 329087317 edges, 55179 markings/sec, 445 secs
lola: 29619580 markings, 332701875 edges, 57616 markings/sec, 450 secs
lola: 29917560 markings, 336376622 edges, 59596 markings/sec, 455 secs
lola: 30204342 markings, 340056684 edges, 57356 markings/sec, 460 secs
lola: 30499116 markings, 343708183 edges, 58955 markings/sec, 465 secs
lola: 30783545 markings, 347361274 edges, 56886 markings/sec, 470 secs
lola: 31078056 markings, 350982126 edges, 58902 markings/sec, 475 secs
lola: 31393853 markings, 354616511 edges, 63159 markings/sec, 480 secs
lola: 31711532 markings, 358269575 edges, 63536 markings/sec, 485 secs
lola: 32003063 markings, 361887532 edges, 58306 markings/sec, 490 secs
lola: 32278417 markings, 365460388 edges, 55071 markings/sec, 495 secs
lola: 32579104 markings, 369067563 edges, 60137 markings/sec, 500 secs
lola: 32881697 markings, 372708748 edges, 60519 markings/sec, 505 secs
lola: 33155286 markings, 376297167 edges, 54718 markings/sec, 510 secs
lola: 33445684 markings, 379879888 edges, 58080 markings/sec, 515 secs
lola: 33757918 markings, 383477291 edges, 62447 markings/sec, 520 secs
lola: 34103759 markings, 387069333 edges, 69168 markings/sec, 525 secs
lola: 34455746 markings, 390778986 edges, 70397 markings/sec, 530 secs
lola: 34778856 markings, 394432406 edges, 64622 markings/sec, 535 secs
lola: 35084028 markings, 398041440 edges, 61034 markings/sec, 540 secs
lola: 35420811 markings, 401645777 edges, 67357 markings/sec, 545 secs
lola: 35716200 markings, 405249575 edges, 59078 markings/sec, 550 secs
lola: 36023816 markings, 408841085 edges, 61523 markings/sec, 555 secs
lola: 36298614 markings, 412389516 edges, 54960 markings/sec, 560 secs
lola: 36584930 markings, 415938509 edges, 57263 markings/sec, 565 secs
lola: 36864034 markings, 419502937 edges, 55821 markings/sec, 570 secs
lola: 37151747 markings, 423112602 edges, 57543 markings/sec, 575 secs
lola: 37435356 markings, 426684181 edges, 56722 markings/sec, 580 secs
lola: 37704714 markings, 430236102 edges, 53872 markings/sec, 585 secs
lola: 38005299 markings, 433800964 edges, 60117 markings/sec, 590 secs
lola: 38300571 markings, 437351436 edges, 59054 markings/sec, 595 secs
lola: 38614097 markings, 440907015 edges, 62705 markings/sec, 600 secs
lola: 38900899 markings, 444408758 edges, 57360 markings/sec, 605 secs
lola: 39188093 markings, 447928197 edges, 57439 markings/sec, 610 secs
lola: 39474763 markings, 451424880 edges, 57334 markings/sec, 615 secs
lola: 39759722 markings, 454925124 edges, 56992 markings/sec, 620 secs
lola: 40073822 markings, 458413385 edges, 62820 markings/sec, 625 secs
lola: 40445263 markings, 462166095 edges, 74288 markings/sec, 630 secs
lola: 40782698 markings, 465880663 edges, 67487 markings/sec, 635 secs
lola: 41097962 markings, 469567300 edges, 63053 markings/sec, 640 secs
lola: 41424334 markings, 473212632 edges, 65274 markings/sec, 645 secs
lola: 41741168 markings, 476886566 edges, 63367 markings/sec, 650 secs
lola: 42052960 markings, 480546146 edges, 62358 markings/sec, 655 secs
lola: 42338790 markings, 484177273 edges, 57166 markings/sec, 660 secs
lola: 42627692 markings, 487776298 edges, 57780 markings/sec, 665 secs
lola: 42898760 markings, 491374325 edges, 54214 markings/sec, 670 secs
lola: 43207654 markings, 495068979 edges, 61779 markings/sec, 675 secs
lola: 43486126 markings, 498704516 edges, 55694 markings/sec, 680 secs
lola: 43770233 markings, 502341627 edges, 56821 markings/sec, 685 secs
lola: 44064459 markings, 505909195 edges, 58845 markings/sec, 690 secs
lola: 44343042 markings, 509248552 edges, 55717 markings/sec, 695 secs
lola: 44652338 markings, 512832276 edges, 61859 markings/sec, 700 secs
lola: 44954359 markings, 516419544 edges, 60404 markings/sec, 705 secs
lola: 45236393 markings, 519975445 edges, 56407 markings/sec, 710 secs
lola: 45537897 markings, 523561088 edges, 60301 markings/sec, 715 secs
lola: 45821080 markings, 527119552 edges, 56637 markings/sec, 720 secs
lola: 46138220 markings, 530675189 edges, 63428 markings/sec, 725 secs
lola: 46506239 markings, 534363220 edges, 73604 markings/sec, 730 secs
lola: 46846120 markings, 538107647 edges, 67976 markings/sec, 735 secs
lola: 47177075 markings, 541784136 edges, 66191 markings/sec, 740 secs
lola: 47501277 markings, 545473605 edges, 64840 markings/sec, 745 secs
lola: 47844262 markings, 549118157 edges, 68597 markings/sec, 750 secs
lola: 48146539 markings, 552796289 edges, 60455 markings/sec, 755 secs
lola: 48438404 markings, 556455964 edges, 58373 markings/sec, 760 secs
lola: 48718781 markings, 560068260 edges, 56075 markings/sec, 765 secs
lola: 49038636 markings, 563796926 edges, 63971 markings/sec, 770 secs
lola: 49329635 markings, 567488441 edges, 58200 markings/sec, 775 secs
lola: 49615833 markings, 571155282 edges, 57240 markings/sec, 780 secs
lola: 49929604 markings, 574832759 edges, 62754 markings/sec, 785 secs
lola: 50233642 markings, 578479450 edges, 60808 markings/sec, 790 secs
lola: 50544403 markings, 582089615 edges, 62152 markings/sec, 795 secs
lola: 50852536 markings, 585697259 edges, 61627 markings/sec, 800 secs
lola: 51185028 markings, 589373901 edges, 66498 markings/sec, 805 secs
lola: 51482129 markings, 593014560 edges, 59420 markings/sec, 810 secs
lola: 51766748 markings, 596619886 edges, 56924 markings/sec, 815 secs
lola: 52036817 markings, 600239981 edges, 54014 markings/sec, 820 secs
lola: 52302811 markings, 603877757 edges, 53199 markings/sec, 825 secs
lola: 52582130 markings, 607492957 edges, 55864 markings/sec, 830 secs
lola: 52863750 markings, 611060583 edges, 56324 markings/sec, 835 secs
lola: 53179593 markings, 614727513 edges, 63169 markings/sec, 840 secs
lola: 53476593 markings, 618344709 edges, 59400 markings/sec, 845 secs
lola: 53740706 markings, 621939081 edges, 52823 markings/sec, 850 secs
lola: 54017880 markings, 625578914 edges, 55435 markings/sec, 855 secs
lola: 54288826 markings, 629204165 edges, 54189 markings/sec, 860 secs
lola: 54563712 markings, 632773791 edges, 54977 markings/sec, 865 secs
lola: 54861135 markings, 636355894 edges, 59485 markings/sec, 870 secs
lola: 55158183 markings, 639971556 edges, 59410 markings/sec, 875 secs
lola: 55466983 markings, 643533396 edges, 61760 markings/sec, 880 secs
lola: 55802651 markings, 647098075 edges, 67134 markings/sec, 885 secs
lola: 56108822 markings, 650809859 edges, 61234 markings/sec, 890 secs
lola: 56403644 markings, 654503064 edges, 58964 markings/sec, 895 secs
lola: 56686054 markings, 658139899 edges, 56482 markings/sec, 900 secs
lola: 56970864 markings, 661824144 edges, 56962 markings/sec, 905 secs
lola: 57238612 markings, 665459227 edges, 53550 markings/sec, 910 secs
lola: 57509450 markings, 669068036 edges, 54168 markings/sec, 915 secs
lola: 57781524 markings, 672694508 edges, 54415 markings/sec, 920 secs
lola: 58072380 markings, 676323603 edges, 58171 markings/sec, 925 secs
lola: 58336032 markings, 679964646 edges, 52730 markings/sec, 930 secs
lola: 58590137 markings, 683583604 edges, 50821 markings/sec, 935 secs
lola: 58836360 markings, 687159015 edges, 49245 markings/sec, 940 secs
lola: 59105340 markings, 690772475 edges, 53796 markings/sec, 945 secs
lola: 59370612 markings, 694388287 edges, 53054 markings/sec, 950 secs
lola: 59614166 markings, 697971257 edges, 48711 markings/sec, 955 secs
lola: 59862187 markings, 701530847 edges, 49604 markings/sec, 960 secs
lola: 60134368 markings, 705133421 edges, 54436 markings/sec, 965 secs
lola: 60412978 markings, 708690680 edges, 55722 markings/sec, 970 secs
lola: 60723146 markings, 712300546 edges, 62034 markings/sec, 975 secs
lola: 61017921 markings, 715873611 edges, 58955 markings/sec, 980 secs
lola: 61282360 markings, 719399829 edges, 52888 markings/sec, 985 secs
lola: 61548720 markings, 722950995 edges, 53272 markings/sec, 990 secs
lola: 61832858 markings, 726506543 edges, 56828 markings/sec, 995 secs
lola: 62086906 markings, 730020890 edges, 50810 markings/sec, 1000 secs
lola: 62333018 markings, 733516504 edges, 49222 markings/sec, 1005 secs
lola: 62599439 markings, 737047435 edges, 53284 markings/sec, 1010 secs
lola: 62838948 markings, 740525735 edges, 47902 markings/sec, 1015 secs
lola: 63100357 markings, 744022167 edges, 52282 markings/sec, 1020 secs
lola: 63393006 markings, 747538844 edges, 58530 markings/sec, 1025 secs
lola: 63697091 markings, 751211513 edges, 60817 markings/sec, 1030 secs
lola: 63983929 markings, 754806942 edges, 57368 markings/sec, 1035 secs
lola: 64254382 markings, 758409548 edges, 54091 markings/sec, 1040 secs
lola: 64528616 markings, 761987230 edges, 54847 markings/sec, 1045 secs
lola: 64809485 markings, 765587045 edges, 56174 markings/sec, 1050 secs
lola: 65056393 markings, 769139668 edges, 49382 markings/sec, 1055 secs
lola: 65322139 markings, 772704735 edges, 53149 markings/sec, 1060 secs
lola: 65575525 markings, 776260667 edges, 50677 markings/sec, 1065 secs
lola: 65830859 markings, 779802515 edges, 51067 markings/sec, 1070 secs
lola: 66104095 markings, 783333640 edges, 54647 markings/sec, 1075 secs
lola: 66450729 markings, 786987951 edges, 69327 markings/sec, 1080 secs
lola: 66786619 markings, 790682722 edges, 67178 markings/sec, 1085 secs
lola: 67114333 markings, 794324503 edges, 65543 markings/sec, 1090 secs
lola: 67437164 markings, 797999253 edges, 64566 markings/sec, 1095 secs
lola: 67779618 markings, 801637507 edges, 68491 markings/sec, 1100 secs
lola: 68076956 markings, 805260788 edges, 59468 markings/sec, 1105 secs
lola: 68365243 markings, 808876903 edges, 57657 markings/sec, 1110 secs
lola: 68642227 markings, 812456294 edges, 55397 markings/sec, 1115 secs
lola: 68960258 markings, 816137376 edges, 63606 markings/sec, 1120 secs
lola: 69246845 markings, 819789763 edges, 57317 markings/sec, 1125 secs
lola: 69531864 markings, 823443205 edges, 57004 markings/sec, 1130 secs
lola: 69842219 markings, 827083711 edges, 62071 markings/sec, 1135 secs
lola: 70140008 markings, 830698013 edges, 59558 markings/sec, 1140 secs
lola: 70448044 markings, 834263221 edges, 61607 markings/sec, 1145 secs
lola: 70754945 markings, 837844338 edges, 61380 markings/sec, 1150 secs
lola: 71084445 markings, 841466913 edges, 65900 markings/sec, 1155 secs
lola: 71381004 markings, 845070812 edges, 59312 markings/sec, 1160 secs
lola: 71663063 markings, 848638908 edges, 56412 markings/sec, 1165 secs
lola: 71931548 markings, 852213009 edges, 53697 markings/sec, 1170 secs
lola: 72191360 markings, 855803621 edges, 51962 markings/sec, 1175 secs
lola: 72467799 markings, 859366457 edges, 55288 markings/sec, 1180 secs
lola: 72741110 markings, 862886405 edges, 54662 markings/sec, 1185 secs
lola: 73018836 markings, 866117595 edges, 55545 markings/sec, 1190 secs
lola: 73314947 markings, 869747014 edges, 59222 markings/sec, 1195 secs
lola: 73596115 markings, 873344970 edges, 56234 markings/sec, 1200 secs
lola: 73866300 markings, 876957149 edges, 54037 markings/sec, 1205 secs
lola: 74133166 markings, 880563280 edges, 53373 markings/sec, 1210 secs
lola: 74406169 markings, 884132545 edges, 54601 markings/sec, 1215 secs
lola: 74687598 markings, 887679349 edges, 56286 markings/sec, 1220 secs
lola: 74995586 markings, 891283235 edges, 61598 markings/sec, 1225 secs
lola: 75295901 markings, 894828010 edges, 60063 markings/sec, 1230 secs
lola: 75613002 markings, 898358867 edges, 63420 markings/sec, 1235 secs
lola: 75924970 markings, 901797340 edges, 62394 markings/sec, 1240 secs
lola: 76196547 markings, 905300244 edges, 54315 markings/sec, 1245 secs
lola: 76475006 markings, 908845778 edges, 55692 markings/sec, 1250 secs
lola: 76766906 markings, 912462566 edges, 58380 markings/sec, 1255 secs
lola: 77029111 markings, 916088104 edges, 52441 markings/sec, 1260 secs
lola: 77297810 markings, 919647627 edges, 53740 markings/sec, 1265 secs
lola: 77566350 markings, 923224014 edges, 53708 markings/sec, 1270 secs
lola: 77840334 markings, 926793579 edges, 54797 markings/sec, 1275 secs
lola: 78120881 markings, 930391995 edges, 56109 markings/sec, 1280 secs
lola: 78361248 markings, 933691124 edges, 48073 markings/sec, 1285 secs
lola: 78600662 markings, 937234697 edges, 47883 markings/sec, 1290 secs
lola: 78848216 markings, 940766963 edges, 49511 markings/sec, 1295 secs
lola: time limit reached - aborting
lola:
preliminary result: no no no unknown no no unknown unknown yes no yes no no unknown unknown no
lola:
preliminary result: no no no unknown no no unknown unknown yes no yes no no unknown unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no unknown no no unknown unknown yes no yes no no unknown unknown no
lola: memory consumption: 10956 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 1589237142529
--------------------
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-096"
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-096, 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-158902068200020"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CircularTrains-PT-096.tgz
mv CircularTrains-PT-096 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 ;