About the Execution of 2019-Gold for ASLink-PT-10a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4292.270 | 3570163.00 | 3628992.00 | 9183.40 | ?FFF??FFF?T?FFTT | 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.r015-smll-158897552700040.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 ASLink-PT-10a, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r015-smll-158897552700040
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 3.9K Mar 25 09:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 25 09:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 09:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 25 09:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 25 08:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 25 08:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 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 920K 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 ASLink-PT-10a-00
FORMULA_NAME ASLink-PT-10a-01
FORMULA_NAME ASLink-PT-10a-02
FORMULA_NAME ASLink-PT-10a-03
FORMULA_NAME ASLink-PT-10a-04
FORMULA_NAME ASLink-PT-10a-05
FORMULA_NAME ASLink-PT-10a-06
FORMULA_NAME ASLink-PT-10a-07
FORMULA_NAME ASLink-PT-10a-08
FORMULA_NAME ASLink-PT-10a-09
FORMULA_NAME ASLink-PT-10a-10
FORMULA_NAME ASLink-PT-10a-11
FORMULA_NAME ASLink-PT-10a-12
FORMULA_NAME ASLink-PT-10a-13
FORMULA_NAME ASLink-PT-10a-14
FORMULA_NAME ASLink-PT-10a-15
=== Now, execution of the tool begins
BK_START 1589222209386
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ASLink-PT-10a @ 3570 seconds
FORMULA ASLink-PT-10a-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ ASLink-PT-10a
{
"exit":
{
"memory": 1234248,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 4,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (X (G ((NOT FIREABLE(t409) AND (G (NOT FIREABLE(t2982)) AND (X (NOT FIREABLE(t2982)) R NOT FIREABLE(t409)))))))",
"processed_size": 113,
"rewrites": 89
},
"result":
{
"preliminary_value": "unknown no no no unknown unknown no no no unknown yes unknown no no yes yes "
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
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: 5378/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2186
lola: finding significant places
lola: 2186 places, 3192 transitions, 1764 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 (NOT(X (F (NOT((NOT FIREABLE(t409) AND NOT((F (FIREABLE(t2982)) OR (X (FIREABLE(t2982)) U FIREABLE(t409)))))))))) : A ((F (X (FIREABLE(t2938))) AND X (X (G (FIREABLE(t1824)))))) : A ((X (G (F (FIREABLE(t818)))) U (FIREABLE(t1625) OR G (X (G (FIREABLE(t1807))))))) : A (NOT(G ((FIREABLE(t2863) U G ((NOT FIREABLE(t284) AND NOT FIREABLE(t1474))))))) : A (F (G (F ((G (FIREABLE(t254)) U NOT((FIREABLE(t1739) OR (FIREABLE(t254) AND F (FIREABLE(t1739)))))))))) : A (((NOT FIREABLE(t769) AND G (FIREABLE(t2579))) OR NOT(G (F ((FIREABLE(t2867) AND FIREABLE(t769))))))) : A (X (F (G (X ((((FIREABLE(t107) AND FIREABLE(t2618)) OR X (FIREABLE(t107))) OR G (FIREABLE(t2536)))))))) : A (X ((F (FIREABLE(t1881)) OR X (G (FIREABLE(t388)))))) : A (((FIREABLE(t3113) AND FIREABLE(t195)) OR NOT(F (X (NOT(X (FIREABLE(t3113)))))))) : A (G ((NOT((F (X ((FIREABLE(t100) OR FIREABLE(t1991)))) OR G (FIREABLE(t1991)))) OR X (FIREABLE(t314))))) : A ((X ((FIREABLE(t265) AND FIREABLE(t2565))) OR F ((NOT FIREABLE(t2844) AND NOT FIREABLE(t1388))))) : A ((FIREABLE(t2394) U (G (FIREABLE(t1365)) U F (FIREABLE(t2356))))) : A (F (G ((FIREABLE(t1768) OR G (FIREABLE(t1329)))))) : A ((NOT FIREABLE(t109) AND G ((FIREABLE(t995) AND G (F ((FIREABLE(t1635) AND FIREABLE(t109) AND FIREABLE(t3129)))))))) : A ((G (FIREABLE(t1974)) U ((FIREABLE(t1881) OR F (X (NOT FIREABLE(t284)))) OR (FIREABLE(t1881) AND X (FIREABLE(t284)))))) : A (X ((FIREABLE(t2312) U F (NOT FIREABLE(t2312)))))
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:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
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:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:431
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:356
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
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 (X (G ((NOT FIREABLE(t409) AND (G (NOT FIREABLE(t2982)) AND (X (NOT FIREABLE(t2982)) R NOT FIREABLE(t409)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((NOT FIREABLE(t409) AND (G (NOT FIREABLE(t2982)) AND (X (NOT FIREABLE(t2982)) R NOT FIREABLE(t409)))))))
lola: processed formula length: 113
lola: 89 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: 55301 markings, 321975 edges, 11060 markings/sec, 0 secs
lola: 103705 markings, 644863 edges, 9681 markings/sec, 5 secs
lola: 146281 markings, 966670 edges, 8515 markings/sec, 10 secs
lola: 193394 markings, 1281746 edges, 9423 markings/sec, 15 secs
lola: 233730 markings, 1587230 edges, 8067 markings/sec, 20 secs
lola: 275200 markings, 1910115 edges, 8294 markings/sec, 25 secs
lola: 316131 markings, 2235300 edges, 8186 markings/sec, 30 secs
lola: 363813 markings, 2563005 edges, 9536 markings/sec, 35 secs
lola: 407288 markings, 2891787 edges, 8695 markings/sec, 40 secs
lola: 448069 markings, 3220750 edges, 8156 markings/sec, 45 secs
lola: 488712 markings, 3549222 edges, 8129 markings/sec, 50 secs
lola: 528599 markings, 3877772 edges, 7977 markings/sec, 55 secs
lola: 566741 markings, 4205634 edges, 7628 markings/sec, 60 secs
lola: 602548 markings, 4534470 edges, 7161 markings/sec, 65 secs
lola: 643813 markings, 4862720 edges, 8253 markings/sec, 70 secs
lola: 689892 markings, 5191416 edges, 9216 markings/sec, 75 secs
lola: 732602 markings, 5519708 edges, 8542 markings/sec, 80 secs
lola: 771664 markings, 5848304 edges, 7812 markings/sec, 85 secs
lola: 812931 markings, 6176387 edges, 8253 markings/sec, 90 secs
lola: 851571 markings, 6504287 edges, 7728 markings/sec, 95 secs
lola: 889804 markings, 6832569 edges, 7647 markings/sec, 100 secs
lola: 925058 markings, 7160531 edges, 7051 markings/sec, 105 secs
lola: 970406 markings, 7488222 edges, 9070 markings/sec, 110 secs
lola: 1013896 markings, 7816461 edges, 8698 markings/sec, 115 secs
lola: 1057094 markings, 8144312 edges, 8640 markings/sec, 120 secs
lola: 1095043 markings, 8472518 edges, 7590 markings/sec, 125 secs
lola: 1138200 markings, 8800060 edges, 8631 markings/sec, 130 secs
lola: 1176191 markings, 9127381 edges, 7598 markings/sec, 135 secs
lola: 1213739 markings, 9455251 edges, 7510 markings/sec, 140 secs
lola: 1247093 markings, 9782792 edges, 6671 markings/sec, 145 secs
lola: 1290991 markings, 10110913 edges, 8780 markings/sec, 150 secs
lola: 1329351 markings, 10439118 edges, 7672 markings/sec, 155 secs
lola: 1367489 markings, 10767138 edges, 7628 markings/sec, 160 secs
lola: 1402020 markings, 11094949 edges, 6906 markings/sec, 165 secs
lola: 1439444 markings, 11422673 edges, 7485 markings/sec, 170 secs
lola: 1474713 markings, 11750043 edges, 7054 markings/sec, 175 secs
lola: 1509080 markings, 12077181 edges, 6873 markings/sec, 180 secs
lola: 1541116 markings, 12404617 edges, 6407 markings/sec, 185 secs
lola: 1575463 markings, 12732026 edges, 6869 markings/sec, 190 secs
lola: 1617400 markings, 13059922 edges, 8387 markings/sec, 195 secs
lola: 1655503 markings, 13387875 edges, 7621 markings/sec, 200 secs
lola: 1692540 markings, 13715898 edges, 7407 markings/sec, 205 secs
lola: 1726760 markings, 14043590 edges, 6844 markings/sec, 210 secs
lola: 1764341 markings, 14370804 edges, 7516 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 325792 KB
lola: time consumption: 227 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 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (F (FIREABLE(t2938)))) AND A (X (X (G (FIREABLE(t1824))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (FIREABLE(t2938))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (FIREABLE(t2938))))
lola: processed formula length: 27
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 269 markings, 269 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t1625) OR (X (G (FIREABLE(t1807))) OR (G (F (FIREABLE(t818))) AND F ((FIREABLE(t1625) OR X (G (FIREABLE(t1807)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t1625) OR (X (G (FIREABLE(t1807))) OR (G (F (FIREABLE(t818))) AND F ((FIREABLE(t1625) OR X (G (FIREABLE(t1807)))))))))
lola: processed formula length: 131
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 269 markings, 269 edges
lola: ========================================
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (((FIREABLE(t107) AND FIREABLE(t2618)) OR (X (FIREABLE(t107)) OR G (FIREABLE(t2536)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (((FIREABLE(t107) AND FIREABLE(t2618)) OR (X (FIREABLE(t107)) OR G (FIREABLE(t2536)))))))
lola: processed formula length: 97
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 270 markings, 271 edges
lola: ========================================
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((F (FIREABLE(t1881)) OR X (G (FIREABLE(t388))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((F (FIREABLE(t1881)) OR X (G (FIREABLE(t388))))))
lola: processed formula length: 55
lola: 89 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: 269 markings, 269 edges
lola: ========================================
lola: subprocess 5 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t3113) AND FIREABLE(t195)) OR X (X (G (FIREABLE(t3113))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t3113) AND FIREABLE(t195)) OR X (X (G (FIREABLE(t3113))))))
lola: processed formula length: 73
lola: 89 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: 269 markings, 269 edges
lola: ========================================
lola: subprocess 6 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((X (G ((NOT FIREABLE(t100) AND NOT FIREABLE(t1991)))) AND F (NOT FIREABLE(t1991))) OR X (FIREABLE(t314)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (((X (G ((NOT FIREABLE(t100) AND NOT FIREABLE(t1991)))) AND F (NOT FIREABLE(t1991))) OR X (FIREABLE(t314)))))
lola: processed formula length: 114
lola: 89 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: 51394 markings, 300581 edges, 10279 markings/sec, 0 secs
lola: 101134 markings, 626090 edges, 9948 markings/sec, 5 secs
lola: 144693 markings, 951666 edges, 8712 markings/sec, 10 secs
lola: 192586 markings, 1276750 edges, 9579 markings/sec, 15 secs
lola: 235672 markings, 1601557 edges, 8617 markings/sec, 20 secs
lola: 277190 markings, 1926689 edges, 8304 markings/sec, 25 secs
lola: 318773 markings, 2251876 edges, 8317 markings/sec, 30 secs
lola: 365622 markings, 2578443 edges, 9370 markings/sec, 35 secs
lola: 409535 markings, 2907331 edges, 8783 markings/sec, 40 secs
lola: 449846 markings, 3235961 edges, 8062 markings/sec, 45 secs
lola: 490579 markings, 3564534 edges, 8147 markings/sec, 50 secs
lola: 530231 markings, 3892904 edges, 7930 markings/sec, 55 secs
lola: 568206 markings, 4219359 edges, 7595 markings/sec, 60 secs
lola: 603703 markings, 4545851 edges, 7099 markings/sec, 65 secs
lola: 645791 markings, 4874334 edges, 8418 markings/sec, 70 secs
lola: 690907 markings, 5200011 edges, 9023 markings/sec, 75 secs
lola: 733207 markings, 5525063 edges, 8460 markings/sec, 80 secs
lola: 772054 markings, 5852589 edges, 7769 markings/sec, 85 secs
lola: 813408 markings, 6180930 edges, 8271 markings/sec, 90 secs
lola: 851909 markings, 6508017 edges, 7700 markings/sec, 95 secs
lola: 889800 markings, 6832536 edges, 7578 markings/sec, 100 secs
lola: 924808 markings, 7157748 edges, 7002 markings/sec, 105 secs
lola: 969657 markings, 7482452 edges, 8970 markings/sec, 110 secs
lola: 1012711 markings, 7807905 edges, 8611 markings/sec, 115 secs
lola: 1055341 markings, 8132361 edges, 8526 markings/sec, 120 secs
lola: 1093183 markings, 8457483 edges, 7568 markings/sec, 125 secs
lola: 1135900 markings, 8781867 edges, 8543 markings/sec, 130 secs
lola: 1173233 markings, 9106410 edges, 7467 markings/sec, 135 secs
lola: 1210689 markings, 9431120 edges, 7491 markings/sec, 140 secs
lola: 1244200 markings, 9754794 edges, 6702 markings/sec, 145 secs
lola: 1287124 markings, 10079858 edges, 8585 markings/sec, 150 secs
lola: 1325508 markings, 10404914 edges, 7677 markings/sec, 155 secs
lola: 1363386 markings, 10729625 edges, 7576 markings/sec, 160 secs
lola: 1398365 markings, 11054318 edges, 6996 markings/sec, 165 secs
lola: 1434884 markings, 11378581 edges, 7304 markings/sec, 170 secs
lola: 1470127 markings, 11702753 edges, 7049 markings/sec, 175 secs
lola: 1503633 markings, 12026963 edges, 6701 markings/sec, 180 secs
lola: 1536006 markings, 12351312 edges, 6475 markings/sec, 185 secs
lola: 1567076 markings, 12675391 edges, 6214 markings/sec, 190 secs
lola: 1610120 markings, 13000359 edges, 8609 markings/sec, 195 secs
lola: 1647795 markings, 13327281 edges, 7535 markings/sec, 200 secs
lola: 1685251 markings, 13652222 edges, 7491 markings/sec, 205 secs
lola: 1719033 markings, 13978554 edges, 6756 markings/sec, 210 secs
lola: 1756209 markings, 14304197 edges, 7435 markings/sec, 215 secs
lola: 1791137 markings, 14628871 edges, 6986 markings/sec, 220 secs
lola: 1825398 markings, 14953907 edges, 6852 markings/sec, 225 secs
lola: 1857303 markings, 15279056 edges, 6381 markings/sec, 230 secs
lola: 1893169 markings, 15604322 edges, 7173 markings/sec, 235 secs
lola: 1939916 markings, 15931148 edges, 9349 markings/sec, 240 secs
lola: 1982920 markings, 16256274 edges, 8601 markings/sec, 245 secs
lola: 2022313 markings, 16580971 edges, 7879 markings/sec, 250 secs
lola: 2062768 markings, 16905617 edges, 8091 markings/sec, 255 secs
lola: 2101899 markings, 17231017 edges, 7826 markings/sec, 260 secs
lola: 2139732 markings, 17555738 edges, 7567 markings/sec, 265 secs
lola: 2174993 markings, 17880077 edges, 7052 markings/sec, 270 secs
lola: 2214292 markings, 18206137 edges, 7860 markings/sec, 275 secs
lola: 2254810 markings, 18531431 edges, 8104 markings/sec, 280 secs
lola: 2292550 markings, 18857269 edges, 7548 markings/sec, 285 secs
lola: 2328174 markings, 19182381 edges, 7125 markings/sec, 290 secs
lola: 2363303 markings, 19507353 edges, 7026 markings/sec, 295 secs
lola: 2399869 markings, 19831871 edges, 7313 markings/sec, 300 secs
lola: 2433450 markings, 20155752 edges, 6716 markings/sec, 305 secs
lola: 2466331 markings, 20480076 edges, 6576 markings/sec, 310 secs
lola: 2497276 markings, 20804114 edges, 6189 markings/sec, 315 secs
lola: 2537533 markings, 21128563 edges, 8051 markings/sec, 320 secs
lola: 2576669 markings, 21454193 edges, 7827 markings/sec, 325 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown unknown unknown no no no unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 463860 KB
lola: time consumption: 561 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X ((FIREABLE(t265) AND FIREABLE(t2565))) OR F ((NOT FIREABLE(t2844) AND NOT FIREABLE(t1388)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X ((FIREABLE(t265) AND FIREABLE(t2565))) OR F ((NOT FIREABLE(t2844) AND NOT FIREABLE(t1388)))))
lola: processed formula length: 99
lola: 89 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: 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 8 will run for 376 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t1881) OR (X (F (NOT FIREABLE(t284))) OR ((FIREABLE(t1881) AND X (FIREABLE(t284))) OR (G (FIREABLE(t1974)) AND F ((FIREABLE(t1881) OR (X (F (NOT FIREABLE(t284))) OR (FIREABLE(t1881) AND X (FIREABLE(t284)))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t1881) OR (X (F (NOT FIREABLE(t284))) OR ((FIREABLE(t1881) AND X (FIREABLE(t284))) OR (G (FIREABLE(t1974)) AND F ((FIREABLE(t1881) OR (X (F (NOT FIREABLE(t284))) OR (FIREABLE(t1881) AND X (FIREABLE(t284)))))))))))
lola: processed formula length: 226
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 9 markings, 8 edges
lola: ========================================
lola: subprocess 9 will run for 429 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (NOT FIREABLE(t2312))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (NOT FIREABLE(t2312))))
lola: processed formula length: 31
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 10 will run for 501 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (((NOT FIREABLE(t1739) AND (NOT FIREABLE(t254) OR G (NOT FIREABLE(t1739)))) OR (G (FIREABLE(t254)) AND F ((NOT FIREABLE(t1739) AND (NOT FIREABLE(t254) OR G (NOT FIREABLE(t1739))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (((NOT FIREABLE(t1739) AND (NOT FIREABLE(t254) OR G (NOT FIREABLE(t1739)))) OR (G (FIREABLE(t254)) AND F ((NOT FIREABLE(t1739) AND (NOT FIREABLE(t254) OR G (NOT FIREABLE(t1739))))))))))
lola: processed formula length: 193
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 26 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: 29980 markings, 298468 edges, 5996 markings/sec, 0 secs
lola: 60065 markings, 621213 edges, 6017 markings/sec, 5 secs
lola: 87753 markings, 945533 edges, 5538 markings/sec, 10 secs
lola: 115454 markings, 1269333 edges, 5540 markings/sec, 15 secs
lola: 142122 markings, 1595362 edges, 5334 markings/sec, 20 secs
lola: 168808 markings, 1919995 edges, 5337 markings/sec, 25 secs
lola: 195145 markings, 2244124 edges, 5267 markings/sec, 30 secs
lola: 221415 markings, 2568513 edges, 5254 markings/sec, 35 secs
lola: 246873 markings, 2894933 edges, 5092 markings/sec, 40 secs
lola: 271599 markings, 3221709 edges, 4945 markings/sec, 45 secs
lola: 295305 markings, 3548876 edges, 4741 markings/sec, 50 secs
lola: 317915 markings, 3877031 edges, 4522 markings/sec, 55 secs
lola: 339224 markings, 4205669 edges, 4262 markings/sec, 60 secs
lola: 360287 markings, 4534373 edges, 4213 markings/sec, 65 secs
lola: 384742 markings, 4863224 edges, 4891 markings/sec, 70 secs
lola: 406010 markings, 5192658 edges, 4254 markings/sec, 75 secs
lola: 429728 markings, 5521009 edges, 4744 markings/sec, 80 secs
lola: 453638 markings, 5849422 edges, 4782 markings/sec, 85 secs
lola: 479264 markings, 6176477 edges, 5125 markings/sec, 90 secs
lola: 500048 markings, 6502933 edges, 4157 markings/sec, 95 secs
lola: 523566 markings, 6825472 edges, 4704 markings/sec, 100 secs
lola: 547511 markings, 7146705 edges, 4789 markings/sec, 105 secs
lola: 569605 markings, 7471318 edges, 4419 markings/sec, 110 secs
lola: 594699 markings, 7795428 edges, 5019 markings/sec, 115 secs
lola: 620116 markings, 8119360 edges, 5083 markings/sec, 120 secs
lola: 643978 markings, 8443991 edges, 4772 markings/sec, 125 secs
lola: 668717 markings, 8768081 edges, 4948 markings/sec, 130 secs
lola: 690387 markings, 9092662 edges, 4334 markings/sec, 135 secs
lola: 714379 markings, 9416065 edges, 4798 markings/sec, 140 secs
lola: 732986 markings, 9742685 edges, 3721 markings/sec, 145 secs
lola: 753768 markings, 10067470 edges, 4156 markings/sec, 150 secs
lola: 778591 markings, 10390453 edges, 4965 markings/sec, 155 secs
lola: 803929 markings, 10711772 edges, 5068 markings/sec, 160 secs
lola: 826433 markings, 11034318 edges, 4501 markings/sec, 165 secs
lola: 849702 markings, 11356661 edges, 4654 markings/sec, 170 secs
lola: 873587 markings, 11677754 edges, 4777 markings/sec, 175 secs
lola: 896889 markings, 11998387 edges, 4660 markings/sec, 180 secs
lola: 920407 markings, 12318944 edges, 4704 markings/sec, 185 secs
lola: 942471 markings, 12640069 edges, 4413 markings/sec, 190 secs
lola: 966691 markings, 12962210 edges, 4844 markings/sec, 195 secs
lola: 989740 markings, 13285865 edges, 4610 markings/sec, 200 secs
lola: 1013387 markings, 13607960 edges, 4729 markings/sec, 205 secs
lola: 1031297 markings, 13931812 edges, 3582 markings/sec, 210 secs
lola: 1050135 markings, 14255558 edges, 3768 markings/sec, 215 secs
lola: 1066291 markings, 14580611 edges, 3231 markings/sec, 220 secs
lola: 1084219 markings, 14904164 edges, 3586 markings/sec, 225 secs
lola: 1105485 markings, 15227472 edges, 4253 markings/sec, 230 secs
lola: 1124456 markings, 15552206 edges, 3794 markings/sec, 235 secs
lola: 1144950 markings, 15874738 edges, 4099 markings/sec, 240 secs
lola: 1165342 markings, 16199082 edges, 4078 markings/sec, 245 secs
lola: 1184933 markings, 16523829 edges, 3918 markings/sec, 250 secs
lola: 1206886 markings, 16848469 edges, 4391 markings/sec, 255 secs
lola: 1227634 markings, 17171940 edges, 4150 markings/sec, 260 secs
lola: 1251416 markings, 17494588 edges, 4756 markings/sec, 265 secs
lola: 1274992 markings, 17816978 edges, 4715 markings/sec, 270 secs
lola: 1295163 markings, 18141206 edges, 4034 markings/sec, 275 secs
lola: 1319557 markings, 18464781 edges, 4879 markings/sec, 280 secs
lola: 1337122 markings, 18790140 edges, 3513 markings/sec, 285 secs
lola: 1357109 markings, 19117892 edges, 3997 markings/sec, 290 secs
lola: 1375694 markings, 19445720 edges, 3717 markings/sec, 295 secs
lola: 1394278 markings, 19773579 edges, 3717 markings/sec, 300 secs
lola: 1416442 markings, 20101056 edges, 4433 markings/sec, 305 secs
lola: 1438619 markings, 20428485 edges, 4435 markings/sec, 310 secs
lola: 1458919 markings, 20753460 edges, 4060 markings/sec, 315 secs
lola: 1480376 markings, 21079714 edges, 4291 markings/sec, 320 secs
lola: 1502380 markings, 21404797 edges, 4401 markings/sec, 325 secs
lola: 1525557 markings, 21730541 edges, 4635 markings/sec, 330 secs
lola: 1545743 markings, 22058000 edges, 4037 markings/sec, 335 secs
lola: 1566215 markings, 22385658 edges, 4094 markings/sec, 340 secs
lola: 1584805 markings, 22714984 edges, 3718 markings/sec, 345 secs
lola: 1605496 markings, 23042492 edges, 4138 markings/sec, 350 secs
lola: 1626794 markings, 23369390 edges, 4260 markings/sec, 355 secs
lola: 1650226 markings, 23695435 edges, 4686 markings/sec, 360 secs
lola: 1671245 markings, 24021682 edges, 4204 markings/sec, 365 secs
lola: 1688792 markings, 24346387 edges, 3509 markings/sec, 370 secs
lola: 1706693 markings, 24673423 edges, 3580 markings/sec, 375 secs
lola: 1724938 markings, 24999795 edges, 3649 markings/sec, 380 secs
lola: 1745215 markings, 25326232 edges, 4055 markings/sec, 385 secs
lola: 1764975 markings, 25650805 edges, 3952 markings/sec, 390 secs
lola: 1785092 markings, 25975282 edges, 4023 markings/sec, 395 secs
lola: 1805970 markings, 26301593 edges, 4176 markings/sec, 400 secs
lola: 1825934 markings, 26629095 edges, 3993 markings/sec, 405 secs
lola: 1847605 markings, 26954966 edges, 4334 markings/sec, 410 secs
lola: 1866245 markings, 27279342 edges, 3728 markings/sec, 415 secs
lola: 1883019 markings, 27605294 edges, 3355 markings/sec, 420 secs
lola: 1901080 markings, 27930511 edges, 3612 markings/sec, 425 secs
lola: 1920669 markings, 28254308 edges, 3918 markings/sec, 430 secs
lola: 1940596 markings, 28579318 edges, 3985 markings/sec, 435 secs
lola: 1959314 markings, 28904716 edges, 3744 markings/sec, 440 secs
lola: 1975272 markings, 29231613 edges, 3192 markings/sec, 445 secs
lola: 1992731 markings, 29557575 edges, 3492 markings/sec, 450 secs
lola: 2011587 markings, 29883153 edges, 3771 markings/sec, 455 secs
lola: 2041524 markings, 30208884 edges, 5987 markings/sec, 460 secs
lola: 2070157 markings, 30534521 edges, 5727 markings/sec, 465 secs
lola: 2086915 markings, 30860899 edges, 3352 markings/sec, 470 secs
lola: 2111134 markings, 31187446 edges, 4844 markings/sec, 475 secs
lola: 2136218 markings, 31514410 edges, 5017 markings/sec, 480 secs
lola: 2158963 markings, 31841405 edges, 4549 markings/sec, 485 secs
lola: 2180810 markings, 32169201 edges, 4369 markings/sec, 490 secs
lola: 2210847 markings, 32494414 edges, 6007 markings/sec, 495 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown unknown unknown no no no unknown yes unknown unknown unknown yes yes
lola: memory consumption: 481072 KB
lola: time consumption: 1062 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 11 will run for 501 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((FIREABLE(t1768) OR G (FIREABLE(t1329))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((FIREABLE(t1768) OR G (FIREABLE(t1329))))))
lola: processed formula length: 52
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 154 markings, 155 edges
lola: ========================================
lola: subprocess 12 will run for 627 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(t769) AND G (FIREABLE(t2579))) OR F (G ((NOT FIREABLE(t2867) OR NOT FIREABLE(t769))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((NOT FIREABLE(t769) AND G (FIREABLE(t2579))) OR F (G ((NOT FIREABLE(t2867) OR NOT FIREABLE(t769))))))
lola: processed formula length: 106
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 32134 markings, 324738 edges, 6427 markings/sec, 0 secs
lola: 62659 markings, 649735 edges, 6105 markings/sec, 5 secs
lola: 90733 markings, 975452 edges, 5615 markings/sec, 10 secs
lola: 118250 markings, 1302612 edges, 5503 markings/sec, 15 secs
lola: 144729 markings, 1629045 edges, 5296 markings/sec, 20 secs
lola: 171621 markings, 1955566 edges, 5378 markings/sec, 25 secs
lola: 198485 markings, 2281508 edges, 5373 markings/sec, 30 secs
lola: 224348 markings, 2606661 edges, 5173 markings/sec, 35 secs
lola: 249735 markings, 2930507 edges, 5077 markings/sec, 40 secs
lola: 274078 markings, 3254747 edges, 4869 markings/sec, 45 secs
lola: 297436 markings, 3578339 edges, 4672 markings/sec, 50 secs
lola: 319720 markings, 3903949 edges, 4457 markings/sec, 55 secs
lola: 340773 markings, 4228976 edges, 4211 markings/sec, 60 secs
lola: 362115 markings, 4554446 edges, 4268 markings/sec, 65 secs
lola: 386178 markings, 4880472 edges, 4813 markings/sec, 70 secs
lola: 406787 markings, 5207358 edges, 4122 markings/sec, 75 secs
lola: 430752 markings, 5532914 edges, 4793 markings/sec, 80 secs
lola: 454209 markings, 5858133 edges, 4691 markings/sec, 85 secs
lola: 479681 markings, 6182255 edges, 5094 markings/sec, 90 secs
lola: 500549 markings, 6507687 edges, 4174 markings/sec, 95 secs
lola: 523945 markings, 6831201 edges, 4679 markings/sec, 100 secs
lola: 547886 markings, 7154177 edges, 4788 markings/sec, 105 secs
lola: 570084 markings, 7479730 edges, 4440 markings/sec, 110 secs
lola: 595735 markings, 7804679 edges, 5130 markings/sec, 115 secs
lola: 620768 markings, 8129922 edges, 5007 markings/sec, 120 secs
lola: 644701 markings, 8455220 edges, 4787 markings/sec, 125 secs
lola: 669775 markings, 8780178 edges, 5015 markings/sec, 130 secs
lola: 691089 markings, 9105571 edges, 4263 markings/sec, 135 secs
lola: 715330 markings, 9429914 edges, 4848 markings/sec, 140 secs
lola: 733776 markings, 9757072 edges, 3689 markings/sec, 145 secs
lola: 755503 markings, 10083078 edges, 4345 markings/sec, 150 secs
lola: 779683 markings, 10406712 edges, 4836 markings/sec, 155 secs
lola: 805013 markings, 10728961 edges, 5066 markings/sec, 160 secs
lola: 827598 markings, 11052228 edges, 4517 markings/sec, 165 secs
lola: 851107 markings, 11375777 edges, 4702 markings/sec, 170 secs
lola: 875240 markings, 11696853 edges, 4827 markings/sec, 175 secs
lola: 898556 markings, 12018937 edges, 4663 markings/sec, 180 secs
lola: 921593 markings, 12340778 edges, 4607 markings/sec, 185 secs
lola: 944331 markings, 12663244 edges, 4548 markings/sec, 190 secs
lola: 968924 markings, 12987188 edges, 4919 markings/sec, 195 secs
lola: 991951 markings, 13311919 edges, 4605 markings/sec, 200 secs
lola: 1014971 markings, 13635411 edges, 4604 markings/sec, 205 secs
lola: 1032997 markings, 13960018 edges, 3605 markings/sec, 210 secs
lola: 1051691 markings, 14284750 edges, 3739 markings/sec, 215 secs
lola: 1067875 markings, 14609697 edges, 3237 markings/sec, 220 secs
lola: 1086079 markings, 14933788 edges, 3641 markings/sec, 225 secs
lola: 1107275 markings, 15258153 edges, 4239 markings/sec, 230 secs
lola: 1126480 markings, 15583160 edges, 3841 markings/sec, 235 secs
lola: 1146653 markings, 15906333 edges, 4035 markings/sec, 240 secs
lola: 1167616 markings, 16230999 edges, 4193 markings/sec, 245 secs
lola: 1187322 markings, 16556272 edges, 3941 markings/sec, 250 secs
lola: 1208590 markings, 16881576 edges, 4254 markings/sec, 255 secs
lola: 1229725 markings, 17205282 edges, 4227 markings/sec, 260 secs
lola: 1253550 markings, 17528857 edges, 4765 markings/sec, 265 secs
lola: 1277486 markings, 17851572 edges, 4787 markings/sec, 270 secs
lola: 1297512 markings, 18176261 edges, 4005 markings/sec, 275 secs
lola: 1321518 markings, 18498945 edges, 4801 markings/sec, 280 secs
lola: 1338597 markings, 18819058 edges, 3416 markings/sec, 285 secs
lola: 1358504 markings, 19143438 edges, 3981 markings/sec, 290 secs
lola: 1377028 markings, 19472184 edges, 3705 markings/sec, 295 secs
lola: 1395785 markings, 19801069 edges, 3751 markings/sec, 300 secs
lola: 1418128 markings, 20129435 edges, 4469 markings/sec, 305 secs
lola: 1441155 markings, 20457244 edges, 4605 markings/sec, 310 secs
lola: 1460446 markings, 20783136 edges, 3858 markings/sec, 315 secs
lola: 1482825 markings, 21109701 edges, 4476 markings/sec, 320 secs
lola: 1504505 markings, 21436131 edges, 4336 markings/sec, 325 secs
lola: 1528131 markings, 21763445 edges, 4725 markings/sec, 330 secs
lola: 1547706 markings, 22091828 edges, 3915 markings/sec, 335 secs
lola: 1568006 markings, 22420397 edges, 4060 markings/sec, 340 secs
lola: 1586827 markings, 22750540 edges, 3764 markings/sec, 345 secs
lola: 1607885 markings, 23078777 edges, 4212 markings/sec, 350 secs
lola: 1629468 markings, 23406866 edges, 4317 markings/sec, 355 secs
lola: 1652390 markings, 23733874 edges, 4584 markings/sec, 360 secs
lola: 1673468 markings, 24061135 edges, 4216 markings/sec, 365 secs
lola: 1691004 markings, 24387411 edges, 3507 markings/sec, 370 secs
lola: 1709225 markings, 24714845 edges, 3644 markings/sec, 375 secs
lola: 1727585 markings, 25041898 edges, 3672 markings/sec, 380 secs
lola: 1747979 markings, 25369065 edges, 4079 markings/sec, 385 secs
lola: 1767407 markings, 25694306 edges, 3886 markings/sec, 390 secs
lola: 1788665 markings, 26020593 edges, 4252 markings/sec, 395 secs
lola: 1808583 markings, 26348001 edges, 3984 markings/sec, 400 secs
lola: 1828516 markings, 26675379 edges, 3987 markings/sec, 405 secs
lola: 1850153 markings, 27001987 edges, 4327 markings/sec, 410 secs
lola: 1868642 markings, 27327239 edges, 3698 markings/sec, 415 secs
lola: 1885559 markings, 27653226 edges, 3383 markings/sec, 420 secs
lola: 1904180 markings, 27978905 edges, 3724 markings/sec, 425 secs
lola: 1924231 markings, 28303618 edges, 4010 markings/sec, 430 secs
lola: 1943803 markings, 28629895 edges, 3914 markings/sec, 435 secs
lola: 1962151 markings, 28956454 edges, 3670 markings/sec, 440 secs
lola: 1977855 markings, 29284252 edges, 3141 markings/sec, 445 secs
lola: 1995817 markings, 29610423 edges, 3592 markings/sec, 450 secs
lola: 2016875 markings, 29936393 edges, 4212 markings/sec, 455 secs
lola: 2046305 markings, 30263687 edges, 5886 markings/sec, 460 secs
lola: 2073447 markings, 30589930 edges, 5428 markings/sec, 465 secs
lola: 2089782 markings, 30917782 edges, 3267 markings/sec, 470 secs
lola: 2115652 markings, 31245062 edges, 5174 markings/sec, 475 secs
lola: 2141276 markings, 31573125 edges, 5125 markings/sec, 480 secs
lola: 2162634 markings, 31901265 edges, 4272 markings/sec, 485 secs
lola: 2184513 markings, 32227376 edges, 4376 markings/sec, 490 secs
lola: 2215675 markings, 32550115 edges, 6232 markings/sec, 495 secs
lola: 2241912 markings, 32873083 edges, 5247 markings/sec, 500 secs
lola: 2270419 markings, 33194458 edges, 5701 markings/sec, 505 secs
lola: 2293905 markings, 33516327 edges, 4697 markings/sec, 510 secs
lola: 2317258 markings, 33838249 edges, 4671 markings/sec, 515 secs
lola: 2337362 markings, 34160075 edges, 4021 markings/sec, 520 secs
lola: 2358876 markings, 34482367 edges, 4303 markings/sec, 525 secs
lola: 2381630 markings, 34804454 edges, 4551 markings/sec, 530 secs
lola: 2403102 markings, 35127652 edges, 4294 markings/sec, 535 secs
lola: 2428682 markings, 35449068 edges, 5116 markings/sec, 540 secs
lola: 2449468 markings, 35770783 edges, 4157 markings/sec, 545 secs
lola: 2471550 markings, 36091818 edges, 4416 markings/sec, 550 secs
lola: 2491165 markings, 36411233 edges, 3923 markings/sec, 555 secs
lola: 2527920 markings, 36726056 edges, 7351 markings/sec, 560 secs
lola: 2560210 markings, 37045555 edges, 6458 markings/sec, 565 secs
lola: 2594274 markings, 37366789 edges, 6813 markings/sec, 570 secs
lola: 2626026 markings, 37691562 edges, 6350 markings/sec, 575 secs
lola: 2658254 markings, 38013054 edges, 6446 markings/sec, 580 secs
lola: 2688503 markings, 38336595 edges, 6050 markings/sec, 585 secs
lola: 2717129 markings, 38661274 edges, 5725 markings/sec, 590 secs
lola: 2745904 markings, 38981863 edges, 5755 markings/sec, 595 secs
lola: 2773246 markings, 39302070 edges, 5468 markings/sec, 600 secs
lola: 2800119 markings, 39624474 edges, 5375 markings/sec, 605 secs
lola: 2825797 markings, 39948931 edges, 5136 markings/sec, 610 secs
lola: 2849449 markings, 40274645 edges, 4730 markings/sec, 615 secs
lola: 2871404 markings, 40600815 edges, 4391 markings/sec, 620 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown unknown unknown no no no unknown yes unknown no unknown yes yes
lola: memory consumption: 565652 KB
lola: time consumption: 1689 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 13 will run for 627 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G (F ((FIREABLE(t284) OR FIREABLE(t1474)))) OR F ((NOT FIREABLE(t2863) AND F ((FIREABLE(t284) OR FIREABLE(t1474)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G (F ((FIREABLE(t284) OR FIREABLE(t1474)))) OR F ((NOT FIREABLE(t2863) AND F ((FIREABLE(t284) OR FIREABLE(t1474)))))))
lola: processed formula length: 124
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 153 markings, 153 edges
lola: ========================================
lola: subprocess 14 will run for 940 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t2394) U (F (FIREABLE(t2356)) OR (G (FIREABLE(t1365)) AND F (FIREABLE(t2356))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(t2394) U (F (FIREABLE(t2356)) OR (G (FIREABLE(t1365)) AND F (FIREABLE(t2356))))))
lola: processed formula length: 94
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 78289 markings, 248717 edges, 15658 markings/sec, 0 secs
lola: 154377 markings, 512487 edges, 15218 markings/sec, 5 secs
lola: 230514 markings, 783609 edges, 15227 markings/sec, 10 secs
lola: 303112 markings, 1046361 edges, 14520 markings/sec, 15 secs
lola: 376514 markings, 1295547 edges, 14680 markings/sec, 20 secs
lola: 454317 markings, 1559289 edges, 15561 markings/sec, 25 secs
lola: 520315 markings, 1821846 edges, 13200 markings/sec, 30 secs
lola: 595261 markings, 2081981 edges, 14989 markings/sec, 35 secs
lola: 664143 markings, 2358151 edges, 13776 markings/sec, 40 secs
lola: 735887 markings, 2650840 edges, 14349 markings/sec, 45 secs
lola: 802585 markings, 2956135 edges, 13340 markings/sec, 50 secs
lola: 873535 markings, 3259461 edges, 14190 markings/sec, 55 secs
lola: 941685 markings, 3563939 edges, 13630 markings/sec, 60 secs
lola: 1006331 markings, 3868563 edges, 12929 markings/sec, 65 secs
lola: 1075887 markings, 4137844 edges, 13911 markings/sec, 70 secs
lola: 1144491 markings, 4407355 edges, 13721 markings/sec, 75 secs
lola: 1216758 markings, 4675839 edges, 14453 markings/sec, 80 secs
lola: 1282203 markings, 4942216 edges, 13089 markings/sec, 85 secs
lola: 1349407 markings, 5235041 edges, 13441 markings/sec, 90 secs
lola: 1413645 markings, 5514591 edges, 12848 markings/sec, 95 secs
lola: 1482570 markings, 5801210 edges, 13785 markings/sec, 100 secs
lola: 1553301 markings, 6106494 edges, 14146 markings/sec, 105 secs
lola: 1614102 markings, 6404952 edges, 12160 markings/sec, 110 secs
lola: 1685532 markings, 6671569 edges, 14286 markings/sec, 115 secs
lola: 1746888 markings, 6942864 edges, 12271 markings/sec, 120 secs
lola: 1815900 markings, 7240918 edges, 13802 markings/sec, 125 secs
lola: 1884032 markings, 7512945 edges, 13626 markings/sec, 130 secs
lola: 1951215 markings, 7790113 edges, 13437 markings/sec, 135 secs
lola: 2013989 markings, 8086450 edges, 12555 markings/sec, 140 secs
lola: 2076477 markings, 8373795 edges, 12498 markings/sec, 145 secs
lola: 2144654 markings, 8649978 edges, 13635 markings/sec, 150 secs
lola: 2223269 markings, 8919199 edges, 15723 markings/sec, 155 secs
lola: 2302906 markings, 9186354 edges, 15927 markings/sec, 160 secs
lola: 2377011 markings, 9452903 edges, 14821 markings/sec, 165 secs
lola: 2450129 markings, 9717835 edges, 14624 markings/sec, 170 secs
lola: 2524735 markings, 9975769 edges, 14921 markings/sec, 175 secs
lola: 2599945 markings, 10237607 edges, 15042 markings/sec, 180 secs
lola: 2670788 markings, 10505668 edges, 14169 markings/sec, 185 secs
lola: 2743806 markings, 10772083 edges, 14604 markings/sec, 190 secs
lola: 2812822 markings, 11046935 edges, 13803 markings/sec, 195 secs
lola: 2883768 markings, 11353555 edges, 14189 markings/sec, 200 secs
lola: 2951091 markings, 11660649 edges, 13465 markings/sec, 205 secs
lola: 3018601 markings, 11944155 edges, 13502 markings/sec, 210 secs
lola: 3084125 markings, 12247986 edges, 13105 markings/sec, 215 secs
lola: 3148903 markings, 12545804 edges, 12956 markings/sec, 220 secs
lola: 3221247 markings, 12810787 edges, 14469 markings/sec, 225 secs
lola: 3288369 markings, 13072955 edges, 13424 markings/sec, 230 secs
lola: 3357863 markings, 13344971 edges, 13899 markings/sec, 235 secs
lola: 3422459 markings, 13603656 edges, 12919 markings/sec, 240 secs
lola: 3487921 markings, 13901753 edges, 13092 markings/sec, 245 secs
lola: 3551399 markings, 14162581 edges, 12696 markings/sec, 250 secs
lola: 3622480 markings, 14458829 edges, 14216 markings/sec, 255 secs
lola: 3689366 markings, 14760331 edges, 13377 markings/sec, 260 secs
lola: 3751010 markings, 15043760 edges, 12329 markings/sec, 265 secs
lola: 3820547 markings, 15309342 edges, 13907 markings/sec, 270 secs
lola: 3879632 markings, 15575821 edges, 11817 markings/sec, 275 secs
lola: 3948930 markings, 15873051 edges, 13860 markings/sec, 280 secs
lola: 4014790 markings, 16134038 edges, 13172 markings/sec, 285 secs
lola: 4081064 markings, 16407278 edges, 13255 markings/sec, 290 secs
lola: 4142592 markings, 16701921 edges, 12306 markings/sec, 295 secs
lola: 4203684 markings, 16982926 edges, 12218 markings/sec, 300 secs
lola: 4265982 markings, 17252763 edges, 12460 markings/sec, 305 secs
lola: 4327691 markings, 17500874 edges, 12342 markings/sec, 310 secs
lola: 4386535 markings, 17773549 edges, 11769 markings/sec, 315 secs
lola: 4446184 markings, 18059064 edges, 11930 markings/sec, 320 secs
lola: 4503085 markings, 18312183 edges, 11380 markings/sec, 325 secs
lola: 4558264 markings, 18575840 edges, 11036 markings/sec, 330 secs
lola: 4630357 markings, 18840273 edges, 14419 markings/sec, 335 secs
lola: 4699488 markings, 19106684 edges, 13826 markings/sec, 340 secs
lola: 4769754 markings, 19378058 edges, 14053 markings/sec, 345 secs
lola: 4834453 markings, 19640498 edges, 12940 markings/sec, 350 secs
lola: 4899053 markings, 19907163 edges, 12920 markings/sec, 355 secs
lola: 4967275 markings, 20163008 edges, 13644 markings/sec, 360 secs
lola: 5034308 markings, 20428189 edges, 13407 markings/sec, 365 secs
lola: 5096130 markings, 20689813 edges, 12364 markings/sec, 370 secs
lola: 5161728 markings, 20953204 edges, 13120 markings/sec, 375 secs
lola: 5223528 markings, 21232602 edges, 12360 markings/sec, 380 secs
lola: 5287321 markings, 21487885 edges, 12759 markings/sec, 385 secs
lola: 5348360 markings, 21730143 edges, 12208 markings/sec, 390 secs
lola: 5427281 markings, 21989060 edges, 15784 markings/sec, 395 secs
lola: 5493257 markings, 22254194 edges, 13195 markings/sec, 400 secs
lola: 5569585 markings, 22535347 edges, 15266 markings/sec, 405 secs
lola: 5644548 markings, 22824965 edges, 14993 markings/sec, 410 secs
lola: 5714302 markings, 23096816 edges, 13951 markings/sec, 415 secs
lola: 5775479 markings, 23381743 edges, 12235 markings/sec, 420 secs
lola: 5845964 markings, 23647406 edges, 14097 markings/sec, 425 secs
lola: 5920301 markings, 23905620 edges, 14867 markings/sec, 430 secs
lola: 5992247 markings, 24194348 edges, 14389 markings/sec, 435 secs
lola: 6065423 markings, 24465301 edges, 14635 markings/sec, 440 secs
lola: 6139145 markings, 24744808 edges, 14744 markings/sec, 445 secs
lola: 6203185 markings, 25022704 edges, 12808 markings/sec, 450 secs
lola: 6265229 markings, 25305580 edges, 12409 markings/sec, 455 secs
lola: 6335399 markings, 25569834 edges, 14034 markings/sec, 460 secs
lola: 6403163 markings, 25839682 edges, 13553 markings/sec, 465 secs
lola: 6468458 markings, 26110841 edges, 13059 markings/sec, 470 secs
lola: 6531803 markings, 26401246 edges, 12669 markings/sec, 475 secs
lola: 6599208 markings, 26673477 edges, 13481 markings/sec, 480 secs
lola: 6667497 markings, 26935761 edges, 13658 markings/sec, 485 secs
lola: 6727757 markings, 27199281 edges, 12052 markings/sec, 490 secs
lola: 6793663 markings, 27457085 edges, 13181 markings/sec, 495 secs
lola: 6867401 markings, 27721912 edges, 14748 markings/sec, 500 secs
lola: 6937193 markings, 28005827 edges, 13958 markings/sec, 505 secs
lola: 7007653 markings, 28270511 edges, 14092 markings/sec, 510 secs
lola: 7080570 markings, 28532057 edges, 14583 markings/sec, 515 secs
lola: 7149819 markings, 28816384 edges, 13850 markings/sec, 520 secs
lola: 7215636 markings, 29088488 edges, 13163 markings/sec, 525 secs
lola: 7275976 markings, 29358615 edges, 12068 markings/sec, 530 secs
lola: 7335242 markings, 29650781 edges, 11853 markings/sec, 535 secs
lola: 7390710 markings, 29924644 edges, 11094 markings/sec, 540 secs
lola: 7455961 markings, 30183200 edges, 13050 markings/sec, 545 secs
lola: 7526884 markings, 30441379 edges, 14185 markings/sec, 550 secs
lola: 7595425 markings, 30727283 edges, 13708 markings/sec, 555 secs
lola: 7659892 markings, 30989042 edges, 12893 markings/sec, 560 secs
lola: 7726749 markings, 31257981 edges, 13371 markings/sec, 565 secs
lola: 7793162 markings, 31525901 edges, 13283 markings/sec, 570 secs
lola: 7857214 markings, 31817934 edges, 12810 markings/sec, 575 secs
lola: 7920248 markings, 32113200 edges, 12607 markings/sec, 580 secs
lola: 7980405 markings, 32385075 edges, 12031 markings/sec, 585 secs
lola: 8042186 markings, 32662110 edges, 12356 markings/sec, 590 secs
lola: 8102589 markings, 32934547 edges, 12081 markings/sec, 595 secs
lola: 8176141 markings, 33191623 edges, 14710 markings/sec, 600 secs
lola: 8244976 markings, 33460096 edges, 13767 markings/sec, 605 secs
lola: 8318919 markings, 33740206 edges, 14789 markings/sec, 610 secs
lola: 8393894 markings, 34022054 edges, 14995 markings/sec, 615 secs
lola: 8457210 markings, 34301457 edges, 12663 markings/sec, 620 secs
lola: 8525222 markings, 34576155 edges, 13602 markings/sec, 625 secs
lola: 8597938 markings, 34837972 edges, 14543 markings/sec, 630 secs
lola: 8670904 markings, 35117777 edges, 14593 markings/sec, 635 secs
lola: 8744856 markings, 35399210 edges, 14790 markings/sec, 640 secs
lola: 8811338 markings, 35674488 edges, 13296 markings/sec, 645 secs
lola: 8872641 markings, 35953942 edges, 12261 markings/sec, 650 secs
lola: 8940200 markings, 36216268 edges, 13512 markings/sec, 655 secs
lola: 9008906 markings, 36490666 edges, 13741 markings/sec, 660 secs
lola: 9073349 markings, 36773088 edges, 12889 markings/sec, 665 secs
lola: 9138188 markings, 37048696 edges, 12968 markings/sec, 670 secs
lola: 9205033 markings, 37310611 edges, 13369 markings/sec, 675 secs
lola: 9266048 markings, 37571861 edges, 12203 markings/sec, 680 secs
lola: 9337057 markings, 37836500 edges, 14202 markings/sec, 685 secs
lola: 9407993 markings, 38115434 edges, 14187 markings/sec, 690 secs
lola: 9482722 markings, 38379148 edges, 14946 markings/sec, 695 secs
lola: 9552177 markings, 38658246 edges, 13891 markings/sec, 700 secs
lola: 9613499 markings, 38930682 edges, 12264 markings/sec, 705 secs
lola: 9671582 markings, 39218184 edges, 11617 markings/sec, 710 secs
lola: 9740710 markings, 39479721 edges, 13826 markings/sec, 715 secs
lola: 9810211 markings, 39754766 edges, 13900 markings/sec, 720 secs
lola: 9878709 markings, 40024412 edges, 13700 markings/sec, 725 secs
lola: 9945706 markings, 40303724 edges, 13399 markings/sec, 730 secs
lola: 10010158 markings, 40591821 edges, 12890 markings/sec, 735 secs
lola: 10072761 markings, 40867961 edges, 12521 markings/sec, 740 secs
lola: 10144138 markings, 41153353 edges, 14275 markings/sec, 745 secs
lola: 10218973 markings, 41456196 edges, 14967 markings/sec, 750 secs
lola: 10298847 markings, 41757090 edges, 15975 markings/sec, 755 secs
lola: 10372719 markings, 42059750 edges, 14774 markings/sec, 760 secs
lola: 10445242 markings, 42362963 edges, 14505 markings/sec, 765 secs
lola: 10522399 markings, 42663151 edges, 15431 markings/sec, 770 secs
lola: 10592146 markings, 42965835 edges, 13949 markings/sec, 775 secs
lola: 10660330 markings, 43267354 edges, 13637 markings/sec, 780 secs
lola: 10730501 markings, 43566702 edges, 14034 markings/sec, 785 secs
lola: 10793935 markings, 43867326 edges, 12687 markings/sec, 790 secs
lola: 10860030 markings, 44172437 edges, 13219 markings/sec, 795 secs
lola: 10920422 markings, 44479646 edges, 12078 markings/sec, 800 secs
lola: 10984786 markings, 44785116 edges, 12873 markings/sec, 805 secs
lola: 11045606 markings, 45092514 edges, 12164 markings/sec, 810 secs
lola: 11106114 markings, 45398707 edges, 12102 markings/sec, 815 secs
lola: 11170875 markings, 45703553 edges, 12952 markings/sec, 820 secs
lola: 11239989 markings, 46007751 edges, 13823 markings/sec, 825 secs
lola: 11310412 markings, 46311171 edges, 14085 markings/sec, 830 secs
lola: 11379452 markings, 46615481 edges, 13808 markings/sec, 835 secs
lola: 11444531 markings, 46920228 edges, 13016 markings/sec, 840 secs
lola: 11505438 markings, 47226688 edges, 12181 markings/sec, 845 secs
lola: 11572790 markings, 47530569 edges, 13470 markings/sec, 850 secs
lola: 11636861 markings, 47834703 edges, 12814 markings/sec, 855 secs
lola: 11695145 markings, 48140673 edges, 11657 markings/sec, 860 secs
lola: 11756100 markings, 48446097 edges, 12191 markings/sec, 865 secs
lola: 11824847 markings, 48748762 edges, 13749 markings/sec, 870 secs
lola: 11883585 markings, 49054646 edges, 11748 markings/sec, 875 secs
lola: 11944469 markings, 49357330 edges, 12177 markings/sec, 880 secs
lola: 12007353 markings, 49658429 edges, 12577 markings/sec, 885 secs
lola: 12071578 markings, 49959644 edges, 12845 markings/sec, 890 secs
lola: 12133119 markings, 50260088 edges, 12308 markings/sec, 895 secs
lola: 12189955 markings, 50562230 edges, 11367 markings/sec, 900 secs
lola: 12247588 markings, 50864095 edges, 11527 markings/sec, 905 secs
lola: 12323456 markings, 51164581 edges, 15174 markings/sec, 910 secs
lola: 12396911 markings, 51465978 edges, 14691 markings/sec, 915 secs
lola: 12475518 markings, 51766537 edges, 15721 markings/sec, 920 secs
lola: 12548666 markings, 52067751 edges, 14630 markings/sec, 925 secs
lola: 12623015 markings, 52368694 edges, 14870 markings/sec, 930 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no no unknown unknown no no no unknown yes unknown no unknown yes yes
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown no no no unknown unknown no no no unknown yes unknown no unknown yes yes
lola: memory consumption: 2109700 KB
lola: time consumption: 2629 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 15 will run for 941 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t109) AND (A (G (FIREABLE(t995))) AND A (G (F ((FIREABLE(t1635) AND FIREABLE(t109) AND FIREABLE(t3129)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 941 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(t109)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(t109)
lola: processed formula length: 18
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((FIREABLE(t1635) AND FIREABLE(t109) AND FIREABLE(t3129)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((FIREABLE(t1635) AND FIREABLE(t109) AND FIREABLE(t3129)))))
lola: processed formula length: 68
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 153 markings, 153 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (G ((NOT FIREABLE(t409) AND (G (NOT FIREABLE(t2982)) AND (X (NOT FIREABLE(t2982)) R NOT FIREABLE(t409)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((NOT FIREABLE(t409) AND (G (NOT FIREABLE(t2982)) AND (X (NOT FIREABLE(t2982)) R NOT FIREABLE(t409)))))))
lola: processed formula length: 113
lola: 89 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: 51479 markings, 301297 edges, 10296 markings/sec, 0 secs
lola: 101202 markings, 626499 edges, 9945 markings/sec, 5 secs
lola: 144732 markings, 951997 edges, 8706 markings/sec, 10 secs
lola: 192630 markings, 1276990 edges, 9580 markings/sec, 15 secs
lola: 235692 markings, 1601698 edges, 8612 markings/sec, 20 secs
lola: 277220 markings, 1926921 edges, 8306 markings/sec, 25 secs
lola: 318787 markings, 2252004 edges, 8313 markings/sec, 30 secs
lola: 365498 markings, 2577300 edges, 9342 markings/sec, 35 secs
lola: 408861 markings, 2902737 edges, 8673 markings/sec, 40 secs
lola: 448928 markings, 3227930 edges, 8013 markings/sec, 45 secs
lola: 489204 markings, 3552896 edges, 8055 markings/sec, 50 secs
lola: 528577 markings, 3877582 edges, 7875 markings/sec, 55 secs
lola: 566365 markings, 4202040 edges, 7558 markings/sec, 60 secs
lola: 601700 markings, 4526895 edges, 7067 markings/sec, 65 secs
lola: 641656 markings, 4851722 edges, 7991 markings/sec, 70 secs
lola: 688162 markings, 5176879 edges, 9301 markings/sec, 75 secs
lola: 730513 markings, 5502008 edges, 8470 markings/sec, 80 secs
lola: 769501 markings, 5827042 edges, 7798 markings/sec, 85 secs
lola: 810294 markings, 6151581 edges, 8159 markings/sec, 90 secs
lola: 848870 markings, 6476250 edges, 7715 markings/sec, 95 secs
lola: 886759 markings, 6801050 edges, 7578 markings/sec, 100 secs
lola: 921704 markings, 7125468 edges, 6989 markings/sec, 105 secs
lola: 965232 markings, 7449943 edges, 8706 markings/sec, 110 secs
lola: 1009098 markings, 7775085 edges, 8773 markings/sec, 115 secs
lola: 1050956 markings, 8099490 edges, 8372 markings/sec, 120 secs
lola: 1089241 markings, 8424102 edges, 7657 markings/sec, 125 secs
lola: 1131105 markings, 8748455 edges, 8373 markings/sec, 130 secs
lola: 1168964 markings, 9072635 edges, 7572 markings/sec, 135 secs
lola: 1206665 markings, 9396908 edges, 7540 markings/sec, 140 secs
lola: 1240980 markings, 9721060 edges, 6863 markings/sec, 145 secs
lola: 1283377 markings, 10045715 edges, 8479 markings/sec, 150 secs
lola: 1322077 markings, 10369888 edges, 7740 markings/sec, 155 secs
lola: 1359897 markings, 10694439 edges, 7564 markings/sec, 160 secs
lola: 1394944 markings, 11018884 edges, 7009 markings/sec, 165 secs
lola: 1431036 markings, 11343001 edges, 7218 markings/sec, 170 secs
lola: 1466274 markings, 11666704 edges, 7048 markings/sec, 175 secs
lola: 1499587 markings, 11990211 edges, 6663 markings/sec, 180 secs
lola: 1532550 markings, 12314275 edges, 6593 markings/sec, 185 secs
lola: 1562168 markings, 12637712 edges, 5924 markings/sec, 190 secs
lola: 1604829 markings, 12962670 edges, 8532 markings/sec, 195 secs
lola: 1642829 markings, 13287386 edges, 7600 markings/sec, 200 secs
lola: 1680526 markings, 13612259 edges, 7539 markings/sec, 205 secs
lola: 1715061 markings, 13937081 edges, 6907 markings/sec, 210 secs
lola: 1752054 markings, 14261305 edges, 7399 markings/sec, 215 secs
lola: 1787018 markings, 14585468 edges, 6993 markings/sec, 220 secs
lola: 1820963 markings, 14909381 edges, 6789 markings/sec, 225 secs
lola: 1852599 markings, 15233313 edges, 6327 markings/sec, 230 secs
lola: 1885147 markings, 15556843 edges, 6510 markings/sec, 235 secs
lola: 1933285 markings, 15881628 edges, 9628 markings/sec, 240 secs
lola: 1975677 markings, 16206340 edges, 8478 markings/sec, 245 secs
lola: 2016367 markings, 16530990 edges, 8138 markings/sec, 250 secs
lola: 2056241 markings, 16855466 edges, 7975 markings/sec, 255 secs
lola: 2096265 markings, 17179602 edges, 8005 markings/sec, 260 secs
lola: 2133800 markings, 17503698 edges, 7507 markings/sec, 265 secs
lola: 2169244 markings, 17827684 edges, 7089 markings/sec, 270 secs
lola: 2207246 markings, 18151778 edges, 7600 markings/sec, 275 secs
lola: 2248117 markings, 18476345 edges, 8174 markings/sec, 280 secs
lola: 2285912 markings, 18800853 edges, 7559 markings/sec, 285 secs
lola: 2322419 markings, 19124867 edges, 7301 markings/sec, 290 secs
lola: 2356418 markings, 19448738 edges, 6800 markings/sec, 295 secs
lola: 2393469 markings, 19772547 edges, 7410 markings/sec, 300 secs
lola: 2426390 markings, 20095922 edges, 6584 markings/sec, 305 secs
lola: 2460323 markings, 20419903 edges, 6787 markings/sec, 310 secs
lola: 2492085 markings, 20743059 edges, 6352 markings/sec, 315 secs
lola: 2529405 markings, 21066837 edges, 7464 markings/sec, 320 secs
lola: 2569685 markings, 21391758 edges, 8056 markings/sec, 325 secs
lola: 2607322 markings, 21716482 edges, 7527 markings/sec, 330 secs
lola: 2642844 markings, 22040981 edges, 7104 markings/sec, 335 secs
lola: 2677791 markings, 22365087 edges, 6989 markings/sec, 340 secs
lola: 2714276 markings, 22688795 edges, 7297 markings/sec, 345 secs
lola: 2747854 markings, 23012676 edges, 6716 markings/sec, 350 secs
lola: 2780667 markings, 23336400 edges, 6563 markings/sec, 355 secs
lola: 2811546 markings, 23659888 edges, 6176 markings/sec, 360 secs
lola: 2855668 markings, 23983993 edges, 8824 markings/sec, 365 secs
lola: 2899105 markings, 24307860 edges, 8687 markings/sec, 370 secs
lola: 2941953 markings, 24631934 edges, 8570 markings/sec, 375 secs
lola: 2982448 markings, 24956183 edges, 8099 markings/sec, 380 secs
lola: 3019922 markings, 25279965 edges, 7495 markings/sec, 385 secs
lola: 3061087 markings, 25604417 edges, 8233 markings/sec, 390 secs
lola: 3100516 markings, 25928548 edges, 7886 markings/sec, 395 secs
lola: 3136210 markings, 26252836 edges, 7139 markings/sec, 400 secs
lola: 3191231 markings, 26578876 edges, 11004 markings/sec, 405 secs
lola: 3241033 markings, 26904704 edges, 9960 markings/sec, 410 secs
lola: 3284729 markings, 27230842 edges, 8739 markings/sec, 415 secs
lola: 3332296 markings, 27556227 edges, 9513 markings/sec, 420 secs
lola: 3375653 markings, 27881372 edges, 8671 markings/sec, 425 secs
lola: 3417373 markings, 28207198 edges, 8344 markings/sec, 430 secs
lola: 3458941 markings, 28532876 edges, 8314 markings/sec, 435 secs
lola: 3505794 markings, 28858760 edges, 9371 markings/sec, 440 secs
lola: 3549127 markings, 29184269 edges, 8667 markings/sec, 445 secs
lola: 3589276 markings, 29509835 edges, 8030 markings/sec, 450 secs
lola: 3629569 markings, 29835104 edges, 8059 markings/sec, 455 secs
lola: 3669048 markings, 30160580 edges, 7896 markings/sec, 460 secs
lola: 3706904 markings, 30485680 edges, 7571 markings/sec, 465 secs
lola: 3742239 markings, 30810547 edges, 7067 markings/sec, 470 secs
lola: 3782204 markings, 31135456 edges, 7993 markings/sec, 475 secs
lola: 3828701 markings, 31460522 edges, 9299 markings/sec, 480 secs
lola: 3871061 markings, 31785728 edges, 8472 markings/sec, 485 secs
lola: 3910010 markings, 32110367 edges, 7790 markings/sec, 490 secs
lola: 3950805 markings, 32434992 edges, 8159 markings/sec, 495 secs
lola: 3989331 markings, 32759041 edges, 7705 markings/sec, 500 secs
lola: 4027182 markings, 33083513 edges, 7570 markings/sec, 505 secs
lola: 4062098 markings, 33407682 edges, 6983 markings/sec, 510 secs
lola: 4105615 markings, 33732371 edges, 8703 markings/sec, 515 secs
lola: 4149508 markings, 34057393 edges, 8779 markings/sec, 520 secs
lola: 4191432 markings, 34382504 edges, 8385 markings/sec, 525 secs
lola: 4229756 markings, 34707608 edges, 7665 markings/sec, 530 secs
lola: 4271649 markings, 35032144 edges, 8379 markings/sec, 535 secs
lola: 4309530 markings, 35356464 edges, 7576 markings/sec, 540 secs
lola: 4347298 markings, 35681299 edges, 7554 markings/sec, 545 secs
lola: 4381601 markings, 36005561 edges, 6861 markings/sec, 550 secs
lola: 4424057 markings, 36330533 edges, 8491 markings/sec, 555 secs
lola: 4462825 markings, 36655354 edges, 7754 markings/sec, 560 secs
lola: 4500612 markings, 36979917 edges, 7557 markings/sec, 565 secs
lola: 4535675 markings, 37304458 edges, 7013 markings/sec, 570 secs
lola: 4571793 markings, 37628592 edges, 7224 markings/sec, 575 secs
lola: 4607038 markings, 37952506 edges, 7049 markings/sec, 580 secs
lola: 4640363 markings, 38276420 edges, 6665 markings/sec, 585 secs
lola: 4673375 markings, 38600710 edges, 6602 markings/sec, 590 secs
lola: 4703023 markings, 38924277 edges, 5930 markings/sec, 595 secs
lola: 4745647 markings, 39248713 edges, 8525 markings/sec, 600 secs
lola: 4783624 markings, 39573222 edges, 7595 markings/sec, 605 secs
lola: 4821252 markings, 39897417 edges, 7526 markings/sec, 610 secs
lola: 4855627 markings, 40220986 edges, 6875 markings/sec, 615 secs
lola: 4892559 markings, 40544731 edges, 7386 markings/sec, 620 secs
lola: 4927490 markings, 40868373 edges, 6986 markings/sec, 625 secs
lola: 4961405 markings, 41192263 edges, 6783 markings/sec, 630 secs
lola: 4993074 markings, 41516180 edges, 6334 markings/sec, 635 secs
lola: 5025551 markings, 41839715 edges, 6495 markings/sec, 640 secs
lola: 5073719 markings, 42164384 edges, 9634 markings/sec, 645 secs
lola: 5116139 markings, 42489569 edges, 8484 markings/sec, 650 secs
lola: 5156893 markings, 42814535 edges, 8151 markings/sec, 655 secs
lola: 5196752 markings, 43138929 edges, 7972 markings/sec, 660 secs
lola: 5236808 markings, 43463291 edges, 8011 markings/sec, 665 secs
lola: 5274366 markings, 43787585 edges, 7512 markings/sec, 670 secs
lola: 5309802 markings, 44111500 edges, 7087 markings/sec, 675 secs
lola: 5347808 markings, 44435627 edges, 7601 markings/sec, 680 secs
lola: 5388728 markings, 44760646 edges, 8184 markings/sec, 685 secs
lola: 5426518 markings, 45085078 edges, 7558 markings/sec, 690 secs
lola: 5463049 markings, 45409476 edges, 7306 markings/sec, 695 secs
lola: 5497109 markings, 45733641 edges, 6812 markings/sec, 700 secs
lola: 5534179 markings, 46057729 edges, 7414 markings/sec, 705 secs
lola: 5567124 markings, 46381389 edges, 6589 markings/sec, 710 secs
lola: 5601016 markings, 46705296 edges, 6778 markings/sec, 715 secs
lola: 5632837 markings, 47029266 edges, 6364 markings/sec, 720 secs
lola: 5670313 markings, 47353133 edges, 7495 markings/sec, 725 secs
lola: 5710442 markings, 47677302 edges, 8026 markings/sec, 730 secs
lola: 5748056 markings, 48001632 edges, 7523 markings/sec, 735 secs
lola: 5783517 markings, 48325714 edges, 7092 markings/sec, 740 secs
lola: 5818451 markings, 48649760 edges, 6987 markings/sec, 745 secs
lola: 5854937 markings, 48973656 edges, 7297 markings/sec, 750 secs
lola: 5888504 markings, 49297351 edges, 6713 markings/sec, 755 secs
lola: 5921322 markings, 49621240 edges, 6564 markings/sec, 760 secs
lola: 5952161 markings, 49944507 edges, 6168 markings/sec, 765 secs
lola: 5996368 markings, 50268606 edges, 8841 markings/sec, 770 secs
lola: 6039807 markings, 50592643 edges, 8688 markings/sec, 775 secs
lola: 6082666 markings, 50917052 edges, 8572 markings/sec, 780 secs
lola: 6123129 markings, 51240949 edges, 8093 markings/sec, 785 secs
lola: 6160569 markings, 51564813 edges, 7488 markings/sec, 790 secs
lola: 6201700 markings, 51888592 edges, 8226 markings/sec, 795 secs
lola: 6241110 markings, 52212666 edges, 7882 markings/sec, 800 secs
lola: 6276798 markings, 52536867 edges, 7138 markings/sec, 805 secs
lola: 6320069 markings, 52861192 edges, 8654 markings/sec, 810 secs
lola: 6358094 markings, 53184468 edges, 7605 markings/sec, 815 secs
lola: 6395523 markings, 53507858 edges, 7486 markings/sec, 820 secs
lola: 6431334 markings, 53832208 edges, 7162 markings/sec, 825 secs
lola: 6465828 markings, 54155773 edges, 6899 markings/sec, 830 secs
lola: 6500846 markings, 54480083 edges, 7004 markings/sec, 835 secs
lola: 6536276 markings, 54804255 edges, 7086 markings/sec, 840 secs
lola: 6570851 markings, 55128177 edges, 6915 markings/sec, 845 secs
lola: 6609344 markings, 55452755 edges, 7699 markings/sec, 850 secs
lola: 6655078 markings, 55778607 edges, 9147 markings/sec, 855 secs
lola: 6697496 markings, 56103991 edges, 8484 markings/sec, 860 secs
lola: 6736348 markings, 56429517 edges, 7770 markings/sec, 865 secs
lola: 6777230 markings, 56755033 edges, 8176 markings/sec, 870 secs
lola: 6815769 markings, 57080067 edges, 7708 markings/sec, 875 secs
lola: 6853710 markings, 57405537 edges, 7588 markings/sec, 880 secs
lola: 6888755 markings, 57730567 edges, 7009 markings/sec, 885 secs
lola: 6929992 markings, 58055513 edges, 8247 markings/sec, 890 secs
lola: 6969345 markings, 58380768 edges, 7871 markings/sec, 895 secs
lola: 7007191 markings, 58705978 edges, 7569 markings/sec, 900 secs
lola: 7042613 markings, 59031077 edges, 7084 markings/sec, 905 secs
lola: 7077915 markings, 59356108 edges, 7060 markings/sec, 910 secs
lola: 7113523 markings, 59681438 edges, 7122 markings/sec, 915 secs
lola: 7147666 markings, 60006283 edges, 6829 markings/sec, 920 secs
lola: 7180793 markings, 60331268 edges, 6625 markings/sec, 925 secs
lola: 7210703 markings, 60655912 edges, 5982 markings/sec, 930 secs
lola: 7252372 markings, 60981301 edges, 8334 markings/sec, 935 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no no no unknown unknown no no no unknown yes unknown no no yes yes
lola:
preliminary result: unknown no no no unknown unknown no no no unknown yes unknown no no yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no no unknown unknown no no no unknown yes unknown no no yes yes
lola: memory consumption: 1234040 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no no unknown unknown no no no unknown yes unknown no no yes yes
lola: memory consumption: 1234248 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 1589225779549
--------------------
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="ASLink-PT-10a"
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 ASLink-PT-10a, 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 r015-smll-158897552700040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-10a.tgz
mv ASLink-PT-10a 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 ;