About the Execution of 2019-Gold for ASLink-PT-04b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4272.910 | 3570122.00 | 3621107.00 | 9387.00 | FF?FFFFT??FFFFFT | 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-158897552600018.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-04b, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r015-smll-158897552600018
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 844K
-rw-r--r-- 1 mcc users 3.7K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 09:37 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 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 08:57 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 669K 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-04b-00
FORMULA_NAME ASLink-PT-04b-01
FORMULA_NAME ASLink-PT-04b-02
FORMULA_NAME ASLink-PT-04b-03
FORMULA_NAME ASLink-PT-04b-04
FORMULA_NAME ASLink-PT-04b-05
FORMULA_NAME ASLink-PT-04b-06
FORMULA_NAME ASLink-PT-04b-07
FORMULA_NAME ASLink-PT-04b-08
FORMULA_NAME ASLink-PT-04b-09
FORMULA_NAME ASLink-PT-04b-10
FORMULA_NAME ASLink-PT-04b-11
FORMULA_NAME ASLink-PT-04b-12
FORMULA_NAME ASLink-PT-04b-13
FORMULA_NAME ASLink-PT-04b-14
FORMULA_NAME ASLink-PT-04b-15
=== Now, execution of the tool begins
BK_START 1589155214952
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ASLink-PT-04b @ 3570 seconds
FORMULA ASLink-PT-04b-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-04b-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-04b-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-04b-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-04b-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-04b-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-04b-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-04b-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-04b-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-04b-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-04b-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-04b-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-04b-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for LTLFireability @ ASLink-PT-04b
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Mon May 11 00:00:15 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (X (((FIREABLE(t1141) AND (FIREABLE(t813) OR FIREABLE(t1141))) OR X (G (FIREABLE(t2492))))))",
"processed_size": 95,
"rewrites": 103
},
"result":
{
"edges": 350,
"markings": 350,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 1,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (((NOT FIREABLE(t2325) AND (NOT FIREABLE(t353) R NOT FIREABLE(t1718))) U FIREABLE(t1718)))",
"processed_size": 92,
"rewrites": 103
},
"result":
{
"edges": 140,
"markings": 140,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 1,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (X (F ((G (FIREABLE(t503)) OR (X (NOT FIREABLE(t736)) AND FIREABLE(t503))))))",
"processed_size": 79,
"rewrites": 103
},
"result":
{
"edges": 350,
"markings": 350,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 2,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((G (NOT FIREABLE(t2479)) OR X (F (NOT FIREABLE(t1412)))))",
"processed_size": 60,
"rewrites": 103
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 1,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 4,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (X ((F (FIREABLE(t1120)) U X (((NOT FIREABLE(t715) AND X (NOT FIREABLE(t2334))) R FIREABLE(t715))))))",
"processed_size": 103,
"rewrites": 103
},
"result":
{
"edges": 350,
"markings": 350,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 8
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 326
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 1,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (((F (FIREABLE(t1466)) AND X (G (FIREABLE(t1951)))) U FIREABLE(t270)))",
"processed_size": 72,
"rewrites": 103
},
"result":
{
"edges": 350,
"markings": 350,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 363
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 1,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (F (((FIREABLE(t2100) OR FIREABLE(t1)) OR (X (FIREABLE(t1)) OR NOT FIREABLE(t1525)))))",
"processed_size": 89,
"rewrites": 103
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 408
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (F (FIREABLE(t2238))))",
"processed_size": 27,
"rewrites": 103
},
"result":
{
"edges": 149,
"markings": 149,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 467
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (F (G ((F (FIREABLE(t1205)) AND F (FIREABLE(t2487))))))",
"processed_size": 57,
"rewrites": 103
},
"result":
{
"edges": 151,
"markings": 150,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 560
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (F (G ((FIREABLE(t1476) AND G (F (NOT FIREABLE(t316)))))))",
"processed_size": 60,
"rewrites": 103
},
"result":
{
"edges": 151,
"markings": 150,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 747
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 747
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "(NOT FIREABLE(t2284) AND FIREABLE(t1159))",
"processed_size": 41,
"rewrites": 103
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 13,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 13,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1121
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1121
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "FIREABLE(t738)",
"processed_size": 14,
"rewrites": 103
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 14,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 14,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2242
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2242
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (F (G (FIREABLE(t2352))))",
"processed_size": 27,
"rewrites": 103
},
"result":
{
"edges": 151,
"markings": 150,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 3126436,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(X((** OR X(G(**))))) : (A(((* AND (* R *)) U **)) AND A(X(X(X(G(*)))))) : A(G(F((* AND G(*))))) : A(F(G((F(**) AND F(**))))) : A(F(G((** AND G(F(*)))))) : (A(F(G(**))) AND A((** OR (G((** AND G(**))) AND F(**))))) : A(X(F((G(**) OR (X(*) AND **))))) : A((G(**) OR X(F(*)))) : A(((* AND F(G(*))) R *)) : A(X(G((* OR G(*))))) : (** AND A((** OR (F(**) U (** AND F(**)))))) : (* AND A(F(*))) : A(X((F(**) U X(((* AND X(*)) R *))))) : A(G(F(**))) : A(((F(**) AND X(G(**))) U **)) : A(F((** OR (X(**) OR *))))"
},
"net":
{
"arcs": 7875,
"conflict_clusters": 1347,
"places": 2034,
"places_significant": 1835,
"singleton_clusters": 0,
"transitions": 2567
},
"result":
{
"interim_value": "no no unknown no no no no yes unknown unknown no no no no no yes ",
"preliminary_value": "no no unknown no no no no yes unknown unknown no no no no no yes "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 4601/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2034
lola: finding significant places
lola: 2034 places, 2567 transitions, 1835 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: A (X (((FIREABLE(t1141) AND (FIREABLE(t813) OR FIREABLE(t1141))) OR X (G ((FIREABLE(t2492) AND F (FIREABLE(t2492)))))))) : A (((NOT((FIREABLE(t2325) OR (FIREABLE(t353) U FIREABLE(t1718)))) U FIREABLE(t1718)) AND NOT(F (X (X (X (FIREABLE(t2325)))))))) : A (NOT(G (F (G (X ((FIREABLE(t2323) OR F (FIREABLE(t2434))))))))) : A (F ((G (F ((X (FIREABLE(t1219)) U FIREABLE(t1205)))) AND G (F (X (FIREABLE(t2487))))))) : A (F (G (F (G (X ((FIREABLE(t1476) AND G (X (NOT(G (FIREABLE(t316)))))))))))) : A ((((FIREABLE(t2557) U FIREABLE(t1260)) U F (G (FIREABLE(t2352)))) AND (G ((FIREABLE(t1260) AND G (FIREABLE(t1170)))) U FIREABLE(t2557)))) : A (F (NOT(G ((X (X (FIREABLE(t736))) U NOT(X (FIREABLE(t503)))))))) : A ((G (NOT FIREABLE(t2479)) OR F (NOT(X (FIREABLE(t1412)))))) : A (NOT(((NOT FIREABLE(t1889) OR G (F (X (FIREABLE(t2522))))) U FIREABLE(t1889)))) : A (NOT(F (X (F ((FIREABLE(t1862) AND F ((FIREABLE(t1862) OR FIREABLE(t512))))))))) : A ((FIREABLE(t738) AND (FIREABLE(t941) OR (F (FIREABLE(t941)) U (FIREABLE(t941) AND F (FIREABLE(t1366))))))) : A (NOT(((FIREABLE(t2284) OR NOT FIREABLE(t1159)) OR G (FIREABLE(t1873))))) : A (X ((F (FIREABLE(t1120)) U X (NOT(((FIREABLE(t715) OR X (FIREABLE(t2334))) U NOT FIREABLE(t715))))))) : A (G ((FIREABLE(t909) U ((NOT FIREABLE(t909) U X (FIREABLE(t1091))) U F (G (F (FIREABLE(t2238)))))))) : A (((F (FIREABLE(t1466)) AND X (G (FIREABLE(t1951)))) U FIREABLE(t270))) : A ((F (NOT FIREABLE(t2103)) U (F (((FIREABLE(t2100) OR FIREABLE(t1)) OR X (FIREABLE(t1)))) OR NOT(G (FIREABLE(t1525))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:497
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
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:374
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
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:374
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
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:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:338
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:332
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:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
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:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:519
lola: rewrite Frontend/Parser/formula_rewrite.k: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 (((FIREABLE(t1141) AND (FIREABLE(t813) OR FIREABLE(t1141))) OR X (G (FIREABLE(t2492))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (((FIREABLE(t1141) AND (FIREABLE(t813) OR FIREABLE(t1141))) OR X (G (FIREABLE(t2492))))))
lola: processed formula length: 95
lola: 103 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: 350 markings, 350 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (((NOT FIREABLE(t2325) AND (NOT FIREABLE(t353) R NOT FIREABLE(t1718))) U FIREABLE(t1718))) AND A (X (X (X (G (NOT FIREABLE(t2325)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(t2325) AND (NOT FIREABLE(t353) R NOT FIREABLE(t1718))) U FIREABLE(t1718)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((NOT FIREABLE(t2325) AND (NOT FIREABLE(t353) R NOT FIREABLE(t1718))) U FIREABLE(t1718)))
lola: processed formula length: 92
lola: 103 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 140 markings, 140 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((G (FIREABLE(t503)) OR (X (NOT FIREABLE(t736)) AND FIREABLE(t503))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((G (FIREABLE(t503)) OR (X (NOT FIREABLE(t736)) AND FIREABLE(t503))))))
lola: processed formula length: 79
lola: 103 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 350 markings, 350 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G (NOT FIREABLE(t2479)) OR X (F (NOT FIREABLE(t1412)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G (NOT FIREABLE(t2479)) OR X (F (NOT FIREABLE(t1412)))))
lola: processed formula length: 60
lola: 103 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: 2 markings, 1 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((NOT FIREABLE(t1862) OR G ((NOT FIREABLE(t1862) AND NOT FIREABLE(t512)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((NOT FIREABLE(t1862) OR G ((NOT FIREABLE(t1862) AND NOT FIREABLE(t512)))))))
lola: processed formula length: 85
lola: 103 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: 79797 markings, 281246 edges, 15959 markings/sec, 0 secs
lola: 146446 markings, 575376 edges, 13330 markings/sec, 5 secs
lola: 212748 markings, 871197 edges, 13260 markings/sec, 10 secs
lola: 278957 markings, 1170757 edges, 13242 markings/sec, 15 secs
lola: 344594 markings, 1468628 edges, 13127 markings/sec, 20 secs
lola: 410137 markings, 1767659 edges, 13109 markings/sec, 25 secs
lola: 473477 markings, 2066455 edges, 12668 markings/sec, 30 secs
lola: 529326 markings, 2365730 edges, 11170 markings/sec, 35 secs
lola: 584155 markings, 2664295 edges, 10966 markings/sec, 40 secs
lola: 639132 markings, 2962203 edges, 10995 markings/sec, 45 secs
lola: 693598 markings, 3259658 edges, 10893 markings/sec, 50 secs
lola: 747426 markings, 3558018 edges, 10766 markings/sec, 55 secs
lola: 800760 markings, 3854181 edges, 10667 markings/sec, 60 secs
lola: 854410 markings, 4149859 edges, 10730 markings/sec, 65 secs
lola: 914454 markings, 4445009 edges, 12009 markings/sec, 70 secs
lola: 963789 markings, 4741097 edges, 9867 markings/sec, 75 secs
lola: 1016745 markings, 5035963 edges, 10591 markings/sec, 80 secs
lola: 1073055 markings, 5329250 edges, 11262 markings/sec, 85 secs
lola: 1122376 markings, 5623364 edges, 9864 markings/sec, 90 secs
lola: 1176417 markings, 5916339 edges, 10808 markings/sec, 95 secs
lola: 1228240 markings, 6207634 edges, 10365 markings/sec, 100 secs
lola: 1278787 markings, 6499751 edges, 10109 markings/sec, 105 secs
lola: 1336425 markings, 6795691 edges, 11528 markings/sec, 110 secs
lola: 1388310 markings, 7094999 edges, 10377 markings/sec, 115 secs
lola: 1434649 markings, 7395551 edges, 9268 markings/sec, 120 secs
lola: 1485669 markings, 7692803 edges, 10204 markings/sec, 125 secs
lola: 1533540 markings, 7993247 edges, 9574 markings/sec, 130 secs
lola: 1577452 markings, 8294343 edges, 8782 markings/sec, 135 secs
lola: 1621480 markings, 8593057 edges, 8806 markings/sec, 140 secs
lola: 1679956 markings, 8887372 edges, 11695 markings/sec, 145 secs
lola: 1738325 markings, 9179894 edges, 11674 markings/sec, 150 secs
lola: 1793128 markings, 9474476 edges, 10961 markings/sec, 155 secs
lola: 1840465 markings, 9767748 edges, 9467 markings/sec, 160 secs
lola: 1891010 markings, 10065412 edges, 10109 markings/sec, 165 secs
lola: 1936092 markings, 10360922 edges, 9016 markings/sec, 170 secs
lola: 1976245 markings, 10656595 edges, 8031 markings/sec, 175 secs
lola: 2026379 markings, 10952297 edges, 10027 markings/sec, 180 secs
lola: 2071308 markings, 11249507 edges, 8986 markings/sec, 185 secs
lola: 2111170 markings, 11546166 edges, 7972 markings/sec, 190 secs
lola: 2161764 markings, 11841359 edges, 10119 markings/sec, 195 secs
lola: 2206076 markings, 12136760 edges, 8862 markings/sec, 200 secs
lola: 2245647 markings, 12433336 edges, 7914 markings/sec, 205 secs
lola: 2297213 markings, 12730499 edges, 10313 markings/sec, 210 secs
lola: 2340312 markings, 13019527 edges, 8620 markings/sec, 215 secs
lola: 2378138 markings, 13302960 edges, 7565 markings/sec, 220 secs
lola: 2428436 markings, 13593512 edges, 10060 markings/sec, 225 secs
lola: 2473014 markings, 13891506 edges, 8916 markings/sec, 230 secs
lola: 2513007 markings, 14188554 edges, 7999 markings/sec, 235 secs
lola: 2557058 markings, 14484625 edges, 8810 markings/sec, 240 secs
lola: 2596333 markings, 14780251 edges, 7855 markings/sec, 245 secs
lola: 2632132 markings, 15073393 edges, 7160 markings/sec, 250 secs
lola: 2672542 markings, 15368464 edges, 8082 markings/sec, 255 secs
lola: 2712097 markings, 15663759 edges, 7911 markings/sec, 260 secs
lola: 2750853 markings, 15960781 edges, 7751 markings/sec, 265 secs
lola: 2789613 markings, 16254496 edges, 7752 markings/sec, 270 secs
lola: 2836513 markings, 16543256 edges, 9380 markings/sec, 275 secs
lola: 2880659 markings, 16838620 edges, 8829 markings/sec, 280 secs
lola: 2924347 markings, 17134537 edges, 8738 markings/sec, 285 secs
lola: 2978038 markings, 17424660 edges, 10738 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown unknown no yes unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 521208 KB
lola: time consumption: 302 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((F (FIREABLE(t1120)) U X (((NOT FIREABLE(t715) AND X (NOT FIREABLE(t2334))) R FIREABLE(t715))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((F (FIREABLE(t1120)) U X (((NOT FIREABLE(t715) AND X (NOT FIREABLE(t2334))) R FIREABLE(t715))))))
lola: processed formula length: 103
lola: 103 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: 350 markings, 350 edges
lola: ========================================
lola: subprocess 6 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((F (FIREABLE(t1466)) AND X (G (FIREABLE(t1951)))) U FIREABLE(t270)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((F (FIREABLE(t1466)) AND X (G (FIREABLE(t1951)))) U FIREABLE(t270)))
lola: processed formula length: 72
lola: 103 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: 350 markings, 350 edges
lola: ========================================
lola: subprocess 7 will run for 363 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((FIREABLE(t2100) OR FIREABLE(t1)) OR (X (FIREABLE(t1)) OR NOT FIREABLE(t1525)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (((FIREABLE(t2100) OR FIREABLE(t1)) OR (X (FIREABLE(t1)) OR NOT FIREABLE(t1525)))))
lola: processed formula length: 89
lola: 103 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: 1 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(t2238))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(t2238))))
lola: processed formula length: 27
lola: 103 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: 149 markings, 149 edges
lola: ========================================
lola: subprocess 9 will run for 466 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((NOT FIREABLE(t2323) AND G (NOT FIREABLE(t2434))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((NOT FIREABLE(t2323) AND G (NOT FIREABLE(t2434))))))
lola: processed formula length: 61
lola: 103 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 71524 markings, 283076 edges, 14305 markings/sec, 0 secs
lola: 146766 markings, 575528 edges, 15048 markings/sec, 5 secs
lola: 219427 markings, 868005 edges, 14532 markings/sec, 10 secs
lola: 295394 markings, 1158817 edges, 15193 markings/sec, 15 secs
lola: 369442 markings, 1451478 edges, 14810 markings/sec, 20 secs
lola: 443309 markings, 1744714 edges, 14773 markings/sec, 25 secs
lola: 512383 markings, 2012664 edges, 13815 markings/sec, 30 secs
lola: 576835 markings, 2308725 edges, 12890 markings/sec, 35 secs
lola: 650593 markings, 2603310 edges, 14752 markings/sec, 40 secs
lola: 694162 markings, 2904212 edges, 8714 markings/sec, 45 secs
lola: 750717 markings, 3201152 edges, 11311 markings/sec, 50 secs
lola: 813799 markings, 3494785 edges, 12616 markings/sec, 55 secs
lola: 870989 markings, 3790296 edges, 11438 markings/sec, 60 secs
lola: 926686 markings, 4083910 edges, 11139 markings/sec, 65 secs
lola: 982429 markings, 4377125 edges, 11149 markings/sec, 70 secs
lola: 1027811 markings, 4640550 edges, 9076 markings/sec, 75 secs
lola: 1081286 markings, 4933352 edges, 10695 markings/sec, 80 secs
lola: 1126591 markings, 5228048 edges, 9061 markings/sec, 85 secs
lola: 1169793 markings, 5522553 edges, 8640 markings/sec, 90 secs
lola: 1219570 markings, 5815645 edges, 9955 markings/sec, 95 secs
lola: 1278428 markings, 6108141 edges, 11772 markings/sec, 100 secs
lola: 1327486 markings, 6380546 edges, 9812 markings/sec, 105 secs
lola: 1381115 markings, 6671800 edges, 10726 markings/sec, 110 secs
lola: 1431883 markings, 6964185 edges, 10154 markings/sec, 115 secs
lola: 1484777 markings, 7257433 edges, 10579 markings/sec, 120 secs
lola: 1524945 markings, 7553012 edges, 8034 markings/sec, 125 secs
lola: 1570615 markings, 7845201 edges, 9134 markings/sec, 130 secs
lola: 1629905 markings, 8136534 edges, 11858 markings/sec, 135 secs
lola: 1682455 markings, 8428935 edges, 10510 markings/sec, 140 secs
lola: 1736669 markings, 8719828 edges, 10843 markings/sec, 145 secs
lola: 1786296 markings, 9009993 edges, 9925 markings/sec, 150 secs
lola: 1841385 markings, 9301658 edges, 11018 markings/sec, 155 secs
lola: 1877680 markings, 9574942 edges, 7259 markings/sec, 160 secs
lola: 1923171 markings, 9866164 edges, 9098 markings/sec, 165 secs
lola: 1975948 markings, 10157486 edges, 10555 markings/sec, 170 secs
lola: 2021314 markings, 10455647 edges, 9073 markings/sec, 175 secs
lola: 2069483 markings, 10752856 edges, 9634 markings/sec, 180 secs
lola: 2117937 markings, 11050721 edges, 9691 markings/sec, 185 secs
lola: 2157276 markings, 11350596 edges, 7868 markings/sec, 190 secs
lola: 2200086 markings, 11649908 edges, 8562 markings/sec, 195 secs
lola: 2241881 markings, 11949498 edges, 8359 markings/sec, 200 secs
lola: 2281291 markings, 12248630 edges, 7882 markings/sec, 205 secs
lola: 2319540 markings, 12547650 edges, 7650 markings/sec, 210 secs
lola: 2356047 markings, 12846973 edges, 7301 markings/sec, 215 secs
lola: 2400325 markings, 13143614 edges, 8856 markings/sec, 220 secs
lola: 2447684 markings, 13440260 edges, 9472 markings/sec, 225 secs
lola: 2500458 markings, 13734680 edges, 10555 markings/sec, 230 secs
lola: 2548017 markings, 14029943 edges, 9512 markings/sec, 235 secs
lola: 2595547 markings, 14324814 edges, 9506 markings/sec, 240 secs
lola: 2642185 markings, 14619332 edges, 9328 markings/sec, 245 secs
lola: 2689621 markings, 14913935 edges, 9487 markings/sec, 250 secs
lola: 2736700 markings, 15210297 edges, 9416 markings/sec, 255 secs
lola: 2783772 markings, 15505333 edges, 9414 markings/sec, 260 secs
lola: 2838445 markings, 15798505 edges, 10935 markings/sec, 265 secs
lola: 2886925 markings, 16094188 edges, 9696 markings/sec, 270 secs
lola: 2939539 markings, 16386723 edges, 10523 markings/sec, 275 secs
lola: 2987731 markings, 16659916 edges, 9638 markings/sec, 280 secs
lola: 3037817 markings, 16948089 edges, 10017 markings/sec, 285 secs
lola: 3071053 markings, 17247594 edges, 6647 markings/sec, 290 secs
lola: 3111623 markings, 17545057 edges, 8114 markings/sec, 295 secs
lola: 3169520 markings, 17839518 edges, 11579 markings/sec, 300 secs
lola: 3219894 markings, 18135827 edges, 10075 markings/sec, 305 secs
lola: 3261573 markings, 18432055 edges, 8336 markings/sec, 310 secs
lola: 3306248 markings, 18727101 edges, 8935 markings/sec, 315 secs
lola: 3348403 markings, 19024554 edges, 8431 markings/sec, 320 secs
lola: 3389641 markings, 19307527 edges, 8248 markings/sec, 325 secs
lola: 3432009 markings, 19604005 edges, 8474 markings/sec, 330 secs
lola: 3487212 markings, 19898342 edges, 11041 markings/sec, 335 secs
lola: 3541246 markings, 20192684 edges, 10807 markings/sec, 340 secs
lola: 3577906 markings, 20489709 edges, 7332 markings/sec, 345 secs
lola: 3622237 markings, 20785034 edges, 8866 markings/sec, 350 secs
lola: 3662903 markings, 21081911 edges, 8133 markings/sec, 355 secs
lola: 3708647 markings, 21376408 edges, 9149 markings/sec, 360 secs
lola: 3758070 markings, 21670114 edges, 9885 markings/sec, 365 secs
lola: 3805897 markings, 21964332 edges, 9565 markings/sec, 370 secs
lola: 3854568 markings, 22240136 edges, 9734 markings/sec, 375 secs
lola: 3892007 markings, 22535641 edges, 7488 markings/sec, 380 secs
lola: 3937316 markings, 22830176 edges, 9062 markings/sec, 385 secs
lola: 3978101 markings, 23126015 edges, 8157 markings/sec, 390 secs
lola: 4017435 markings, 23426928 edges, 7867 markings/sec, 395 secs
lola: 4056961 markings, 23728999 edges, 7905 markings/sec, 400 secs
lola: 4096556 markings, 24030629 edges, 7919 markings/sec, 405 secs
lola: 4135875 markings, 24331769 edges, 7864 markings/sec, 410 secs
lola: 4172970 markings, 24633475 edges, 7419 markings/sec, 415 secs
lola: 4210336 markings, 24934647 edges, 7473 markings/sec, 420 secs
lola: 4247774 markings, 25235494 edges, 7488 markings/sec, 425 secs
lola: 4295476 markings, 25531668 edges, 9540 markings/sec, 430 secs
lola: 4349955 markings, 25822821 edges, 10896 markings/sec, 435 secs
lola: 4405449 markings, 26114715 edges, 11099 markings/sec, 440 secs
lola: 4459218 markings, 26405832 edges, 10754 markings/sec, 445 secs
lola: 4517709 markings, 26700282 edges, 11698 markings/sec, 450 secs
lola: 4572373 markings, 26994588 edges, 10933 markings/sec, 455 secs
lola: 4631622 markings, 27288033 edges, 11850 markings/sec, 460 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown unknown no yes unknown unknown unknown unknown no no no yes
lola: memory consumption: 890280 KB
lola: time consumption: 768 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 467 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((F (FIREABLE(t1205)) AND F (FIREABLE(t2487))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((F (FIREABLE(t1205)) AND F (FIREABLE(t2487))))))
lola: processed formula length: 57
lola: 103 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 150 markings, 151 edges
lola: ========================================
lola: subprocess 11 will run for 560 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t1889) AND F (G (NOT FIREABLE(t2522)))) R NOT FIREABLE(t1889)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t1889) AND F (G (NOT FIREABLE(t2522)))) R NOT FIREABLE(t1889)))
lola: processed formula length: 77
lola: 103 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 69007 markings, 283946 edges, 13801 markings/sec, 0 secs
lola: 133207 markings, 580871 edges, 12840 markings/sec, 5 secs
lola: 190927 markings, 878535 edges, 11544 markings/sec, 10 secs
lola: 257226 markings, 1157295 edges, 13260 markings/sec, 15 secs
lola: 321365 markings, 1450521 edges, 12828 markings/sec, 20 secs
lola: 377760 markings, 1745755 edges, 11279 markings/sec, 25 secs
lola: 448466 markings, 2036255 edges, 14141 markings/sec, 30 secs
lola: 514942 markings, 2328263 edges, 13295 markings/sec, 35 secs
lola: 569238 markings, 2622168 edges, 10859 markings/sec, 40 secs
lola: 637002 markings, 2913552 edges, 13553 markings/sec, 45 secs
lola: 705981 markings, 3203795 edges, 13796 markings/sec, 50 secs
lola: 766786 markings, 3496129 edges, 12161 markings/sec, 55 secs
lola: 826318 markings, 3789434 edges, 11906 markings/sec, 60 secs
lola: 897132 markings, 4078231 edges, 14163 markings/sec, 65 secs
lola: 961177 markings, 4370659 edges, 12809 markings/sec, 70 secs
lola: 1017329 markings, 4664744 edges, 11230 markings/sec, 75 secs
lola: 1086228 markings, 4952510 edges, 13780 markings/sec, 80 secs
lola: 1155420 markings, 5243466 edges, 13838 markings/sec, 85 secs
lola: 1210894 markings, 5537503 edges, 11095 markings/sec, 90 secs
lola: 1273833 markings, 5827813 edges, 12588 markings/sec, 95 secs
lola: 1344107 markings, 6117303 edges, 14055 markings/sec, 100 secs
lola: 1407059 markings, 6409872 edges, 12590 markings/sec, 105 secs
lola: 1464188 markings, 6703666 edges, 11426 markings/sec, 110 secs
lola: 1534440 markings, 6989224 edges, 14050 markings/sec, 115 secs
lola: 1599013 markings, 7281197 edges, 12915 markings/sec, 120 secs
lola: 1654353 markings, 7575028 edges, 11068 markings/sec, 125 secs
lola: 1722262 markings, 7860991 edges, 13582 markings/sec, 130 secs
lola: 1791275 markings, 8151370 edges, 13803 markings/sec, 135 secs
lola: 1851387 markings, 8444204 edges, 12022 markings/sec, 140 secs
lola: 1911180 markings, 8734617 edges, 11959 markings/sec, 145 secs
lola: 1980931 markings, 9020997 edges, 13950 markings/sec, 150 secs
lola: 2044609 markings, 9312852 edges, 12736 markings/sec, 155 secs
lola: 2100719 markings, 9606961 edges, 11222 markings/sec, 160 secs
lola: 2169956 markings, 9900663 edges, 13847 markings/sec, 165 secs
lola: 2238728 markings, 10186733 edges, 13754 markings/sec, 170 secs
lola: 2305792 markings, 10474567 edges, 13413 markings/sec, 175 secs
lola: 2368518 markings, 10763697 edges, 12545 markings/sec, 180 secs
lola: 2423074 markings, 11059325 edges, 10911 markings/sec, 185 secs
lola: 2473731 markings, 11357940 edges, 10131 markings/sec, 190 secs
lola: 2528053 markings, 11655317 edges, 10864 markings/sec, 195 secs
lola: 2591874 markings, 11948092 edges, 12764 markings/sec, 200 secs
lola: 2659187 markings, 12242815 edges, 13463 markings/sec, 205 secs
lola: 2722123 markings, 12536622 edges, 12587 markings/sec, 210 secs
lola: 2788931 markings, 12832390 edges, 13362 markings/sec, 215 secs
lola: 2854756 markings, 13126501 edges, 13165 markings/sec, 220 secs
lola: 2920636 markings, 13421931 edges, 13176 markings/sec, 225 secs
lola: 2976224 markings, 13717266 edges, 11118 markings/sec, 230 secs
lola: 3015602 markings, 14015269 edges, 7876 markings/sec, 235 secs
lola: 3054230 markings, 14317784 edges, 7726 markings/sec, 240 secs
lola: 3091750 markings, 14620430 edges, 7504 markings/sec, 245 secs
lola: 3129214 markings, 14920413 edges, 7493 markings/sec, 250 secs
lola: 3172091 markings, 15220590 edges, 8575 markings/sec, 255 secs
lola: 3217248 markings, 15521295 edges, 9031 markings/sec, 260 secs
lola: 3270212 markings, 15815177 edges, 10593 markings/sec, 265 secs
lola: 3319982 markings, 16110663 edges, 9954 markings/sec, 270 secs
lola: 3372682 markings, 16407937 edges, 10540 markings/sec, 275 secs
lola: 3427611 markings, 16703306 edges, 10986 markings/sec, 280 secs
lola: 3492583 markings, 16997921 edges, 12994 markings/sec, 285 secs
lola: 3554327 markings, 17288632 edges, 12349 markings/sec, 290 secs
lola: 3602596 markings, 17578489 edges, 9654 markings/sec, 295 secs
lola: 3664126 markings, 17872743 edges, 12306 markings/sec, 300 secs
lola: 3718841 markings, 18158197 edges, 10943 markings/sec, 305 secs
lola: 3765491 markings, 18452721 edges, 9330 markings/sec, 310 secs
lola: 3811765 markings, 18749321 edges, 9255 markings/sec, 315 secs
lola: 3862701 markings, 19042772 edges, 10187 markings/sec, 320 secs
lola: 3909795 markings, 19334603 edges, 9419 markings/sec, 325 secs
lola: 3961200 markings, 19629150 edges, 10281 markings/sec, 330 secs
lola: 4015318 markings, 19922537 edges, 10824 markings/sec, 335 secs
lola: 4074220 markings, 20214081 edges, 11780 markings/sec, 340 secs
lola: 4128325 markings, 20506659 edges, 10821 markings/sec, 345 secs
lola: 4184911 markings, 20795307 edges, 11317 markings/sec, 350 secs
lola: 4228857 markings, 21088471 edges, 8789 markings/sec, 355 secs
lola: 4279579 markings, 21380545 edges, 10144 markings/sec, 360 secs
lola: 4323717 markings, 21674014 edges, 8828 markings/sec, 365 secs
lola: 4368157 markings, 21967633 edges, 8888 markings/sec, 370 secs
lola: 4427797 markings, 22257185 edges, 11928 markings/sec, 375 secs
lola: 4481897 markings, 22546849 edges, 10820 markings/sec, 380 secs
lola: 4540088 markings, 22833993 edges, 11638 markings/sec, 385 secs
lola: 4584568 markings, 23125028 edges, 8896 markings/sec, 390 secs
lola: 4630749 markings, 23416552 edges, 9236 markings/sec, 395 secs
lola: 4682750 markings, 23704139 edges, 10400 markings/sec, 400 secs
lola: 4723264 markings, 23994782 edges, 8103 markings/sec, 405 secs
lola: 4776121 markings, 24286993 edges, 10571 markings/sec, 410 secs
lola: 4824206 markings, 24580244 edges, 9617 markings/sec, 415 secs
lola: 4876504 markings, 24871984 edges, 10460 markings/sec, 420 secs
lola: 4926511 markings, 25164521 edges, 10001 markings/sec, 425 secs
lola: 4975457 markings, 25455747 edges, 9789 markings/sec, 430 secs
lola: 5025806 markings, 25746887 edges, 10070 markings/sec, 435 secs
lola: 5060180 markings, 26042787 edges, 6875 markings/sec, 440 secs
lola: 5092586 markings, 26338774 edges, 6481 markings/sec, 445 secs
lola: 5124094 markings, 26633119 edges, 6302 markings/sec, 450 secs
lola: 5161010 markings, 26928070 edges, 7383 markings/sec, 455 secs
lola: 5208171 markings, 27216716 edges, 9432 markings/sec, 460 secs
lola: 5250258 markings, 27508117 edges, 8417 markings/sec, 465 secs
lola: 5291512 markings, 27799911 edges, 8251 markings/sec, 470 secs
lola: 5338378 markings, 28089344 edges, 9373 markings/sec, 475 secs
lola: 5380317 markings, 28383148 edges, 8388 markings/sec, 480 secs
lola: 5438370 markings, 28672760 edges, 11611 markings/sec, 485 secs
lola: 5486722 markings, 28965037 edges, 9670 markings/sec, 490 secs
lola: 5545546 markings, 29254693 edges, 11765 markings/sec, 495 secs
lola: 5601355 markings, 29545371 edges, 11162 markings/sec, 500 secs
lola: 5659085 markings, 29834647 edges, 11546 markings/sec, 505 secs
lola: 5711075 markings, 30123128 edges, 10398 markings/sec, 510 secs
lola: 5757885 markings, 30414491 edges, 9362 markings/sec, 515 secs
lola: 5803622 markings, 30707218 edges, 9147 markings/sec, 520 secs
lola: 5852486 markings, 30999553 edges, 9773 markings/sec, 525 secs
lola: 5891941 markings, 31292157 edges, 7891 markings/sec, 530 secs
lola: 5954497 markings, 31579684 edges, 12511 markings/sec, 535 secs
lola: 6009563 markings, 31866786 edges, 11013 markings/sec, 540 secs
lola: 6066659 markings, 32152774 edges, 11419 markings/sec, 545 secs
lola: 6108770 markings, 32442889 edges, 8422 markings/sec, 550 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown no unknown unknown no yes unknown unknown unknown unknown no no no yes
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no no unknown no unknown unknown no yes unknown unknown unknown unknown no no no yes
lola: memory consumption: 1155104 KB
lola: time consumption: 1328 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 560 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((FIREABLE(t1476) AND G (F (NOT FIREABLE(t316)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((FIREABLE(t1476) AND G (F (NOT FIREABLE(t316)))))))
lola: processed formula length: 60
lola: 103 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: 150 markings, 151 edges
lola: ========================================
lola: subprocess 13 will run for 747 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((NOT FIREABLE(t2284) AND FIREABLE(t1159)) AND A (F (NOT FIREABLE(t1873))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 747 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t2284) AND FIREABLE(t1159))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(t2284) AND FIREABLE(t1159))
lola: processed formula length: 41
lola: 103 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 14 will run for 1121 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t738) AND A ((FIREABLE(t941) OR (F (FIREABLE(t941)) U (FIREABLE(t941) AND F (FIREABLE(t1366)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1121 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t738)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t738)
lola: processed formula length: 14
lola: 103 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 15 will run for 2242 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (G (FIREABLE(t2352)))) AND A ((FIREABLE(t2557) OR (G ((FIREABLE(t1260) AND G (FIREABLE(t1170)))) AND F (FIREABLE(t2557))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2242 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (FIREABLE(t2352))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (FIREABLE(t2352))))
lola: processed formula length: 27
lola: 103 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: 150 markings, 151 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (G ((NOT FIREABLE(t1862) OR G ((NOT FIREABLE(t1862) AND NOT FIREABLE(t512)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((NOT FIREABLE(t1862) OR G ((NOT FIREABLE(t1862) AND NOT FIREABLE(t512)))))))
lola: processed formula length: 85
lola: 103 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: 83020 markings, 295110 edges, 16604 markings/sec, 0 secs
lola: 150893 markings, 594778 edges, 13575 markings/sec, 5 secs
lola: 217784 markings, 893194 edges, 13378 markings/sec, 10 secs
lola: 282596 markings, 1190504 edges, 12962 markings/sec, 15 secs
lola: 349802 markings, 1486407 edges, 13441 markings/sec, 20 secs
lola: 414675 markings, 1782716 edges, 12975 markings/sec, 25 secs
lola: 475698 markings, 2080198 edges, 12205 markings/sec, 30 secs
lola: 532203 markings, 2380575 edges, 11301 markings/sec, 35 secs
lola: 587262 markings, 2680021 edges, 11012 markings/sec, 40 secs
lola: 642077 markings, 2978278 edges, 10963 markings/sec, 45 secs
lola: 696166 markings, 3275469 edges, 10818 markings/sec, 50 secs
lola: 750150 markings, 3572246 edges, 10797 markings/sec, 55 secs
lola: 803872 markings, 3868729 edges, 10744 markings/sec, 60 secs
lola: 856573 markings, 4163553 edges, 10540 markings/sec, 65 secs
lola: 917007 markings, 4459646 edges, 12087 markings/sec, 70 secs
lola: 966236 markings, 4757165 edges, 9846 markings/sec, 75 secs
lola: 1020878 markings, 5054263 edges, 10928 markings/sec, 80 secs
lola: 1076516 markings, 5348895 edges, 11128 markings/sec, 85 secs
lola: 1126096 markings, 5644276 edges, 9916 markings/sec, 90 secs
lola: 1180436 markings, 5938832 edges, 10868 markings/sec, 95 secs
lola: 1232385 markings, 6231858 edges, 10390 markings/sec, 100 secs
lola: 1282805 markings, 6525031 edges, 10084 markings/sec, 105 secs
lola: 1341556 markings, 6822282 edges, 11750 markings/sec, 110 secs
lola: 1392729 markings, 7123389 edges, 10235 markings/sec, 115 secs
lola: 1440184 markings, 7423907 edges, 9491 markings/sec, 120 secs
lola: 1490615 markings, 7722733 edges, 10086 markings/sec, 125 secs
lola: 1538075 markings, 8022532 edges, 9492 markings/sec, 130 secs
lola: 1581772 markings, 8323630 edges, 8739 markings/sec, 135 secs
lola: 1625533 markings, 8623148 edges, 8752 markings/sec, 140 secs
lola: 1686218 markings, 8917684 edges, 12137 markings/sec, 145 secs
lola: 1744341 markings, 9210352 edges, 11625 markings/sec, 150 secs
lola: 1798919 markings, 9505159 edges, 10916 markings/sec, 155 secs
lola: 1845117 markings, 9799882 edges, 9240 markings/sec, 160 secs
lola: 1896097 markings, 10095928 edges, 10196 markings/sec, 165 secs
lola: 1940550 markings, 10392545 edges, 8891 markings/sec, 170 secs
lola: 1980039 markings, 10688526 edges, 7898 markings/sec, 175 secs
lola: 2031486 markings, 10984699 edges, 10289 markings/sec, 180 secs
lola: 2075595 markings, 11280059 edges, 8822 markings/sec, 185 secs
lola: 2116095 markings, 11576738 edges, 8100 markings/sec, 190 secs
lola: 2166534 markings, 11873042 edges, 10088 markings/sec, 195 secs
lola: 2210792 markings, 12169427 edges, 8852 markings/sec, 200 secs
lola: 2251983 markings, 12465814 edges, 8238 markings/sec, 205 secs
lola: 2301667 markings, 12762694 edges, 9937 markings/sec, 210 secs
lola: 2345880 markings, 13058792 edges, 8843 markings/sec, 215 secs
lola: 2388165 markings, 13355311 edges, 8457 markings/sec, 220 secs
lola: 2436985 markings, 13652106 edges, 9764 markings/sec, 225 secs
lola: 2481230 markings, 13948347 edges, 8849 markings/sec, 230 secs
lola: 2522098 markings, 14244803 edges, 8174 markings/sec, 235 secs
lola: 2564669 markings, 14541048 edges, 8514 markings/sec, 240 secs
lola: 2603439 markings, 14837338 edges, 7754 markings/sec, 245 secs
lola: 2638550 markings, 15132543 edges, 7022 markings/sec, 250 secs
lola: 2681193 markings, 15428389 edges, 8529 markings/sec, 255 secs
lola: 2720598 markings, 15724228 edges, 7881 markings/sec, 260 secs
lola: 2758188 markings, 16019804 edges, 7518 markings/sec, 265 secs
lola: 2800412 markings, 16315576 edges, 8445 markings/sec, 270 secs
lola: 2846532 markings, 16611671 edges, 9224 markings/sec, 275 secs
lola: 2890352 markings, 16907428 edges, 8764 markings/sec, 280 secs
lola: 2937461 markings, 17201149 edges, 9422 markings/sec, 285 secs
lola: 2989068 markings, 17491528 edges, 10321 markings/sec, 290 secs
lola: 3036106 markings, 17783577 edges, 9408 markings/sec, 295 secs
lola: 3084877 markings, 18078009 edges, 9754 markings/sec, 300 secs
lola: 3129075 markings, 18373829 edges, 8840 markings/sec, 305 secs
lola: 3169789 markings, 18669397 edges, 8143 markings/sec, 310 secs
lola: 3212442 markings, 18964745 edges, 8531 markings/sec, 315 secs
lola: 3254325 markings, 19260534 edges, 8377 markings/sec, 320 secs
lola: 3293690 markings, 19555491 edges, 7873 markings/sec, 325 secs
lola: 3337879 markings, 19851490 edges, 8838 markings/sec, 330 secs
lola: 3379903 markings, 20147065 edges, 8405 markings/sec, 335 secs
lola: 3420149 markings, 20442763 edges, 8049 markings/sec, 340 secs
lola: 3458801 markings, 20737991 edges, 7730 markings/sec, 345 secs
lola: 3493219 markings, 21032711 edges, 6884 markings/sec, 350 secs
lola: 3531917 markings, 21328393 edges, 7740 markings/sec, 355 secs
lola: 3568778 markings, 21623248 edges, 7372 markings/sec, 360 secs
lola: 3611361 markings, 21918560 edges, 8517 markings/sec, 365 secs
lola: 3656073 markings, 22213460 edges, 8942 markings/sec, 370 secs
lola: 3698993 markings, 22508713 edges, 8584 markings/sec, 375 secs
lola: 3743523 markings, 22803686 edges, 8906 markings/sec, 380 secs
lola: 3804824 markings, 23097379 edges, 12260 markings/sec, 385 secs
lola: 3859651 markings, 23387716 edges, 10965 markings/sec, 390 secs
lola: 3912069 markings, 23679890 edges, 10484 markings/sec, 395 secs
lola: 3970056 markings, 23974312 edges, 11597 markings/sec, 400 secs
lola: 4019610 markings, 24269454 edges, 9911 markings/sec, 405 secs
lola: 4070819 markings, 24563577 edges, 10242 markings/sec, 410 secs
lola: 4116592 markings, 24858541 edges, 9155 markings/sec, 415 secs
lola: 4162803 markings, 25153889 edges, 9242 markings/sec, 420 secs
lola: 4210639 markings, 25449554 edges, 9567 markings/sec, 425 secs
lola: 4254352 markings, 25746362 edges, 8743 markings/sec, 430 secs
lola: 4298917 markings, 26041704 edges, 8913 markings/sec, 435 secs
lola: 4339279 markings, 26337607 edges, 8072 markings/sec, 440 secs
lola: 4376668 markings, 26634056 edges, 7478 markings/sec, 445 secs
lola: 4425187 markings, 26929764 edges, 9704 markings/sec, 450 secs
lola: 4472452 markings, 27226115 edges, 9453 markings/sec, 455 secs
lola: 4514404 markings, 27523058 edges, 8390 markings/sec, 460 secs
lola: 4557754 markings, 27819020 edges, 8670 markings/sec, 465 secs
lola: 4598170 markings, 28115261 edges, 8083 markings/sec, 470 secs
lola: 4636802 markings, 28412306 edges, 7726 markings/sec, 475 secs
lola: 4687130 markings, 28707355 edges, 10066 markings/sec, 480 secs
lola: 4731997 markings, 29002612 edges, 8973 markings/sec, 485 secs
lola: 4775758 markings, 29298146 edges, 8752 markings/sec, 490 secs
lola: 4816964 markings, 29593628 edges, 8241 markings/sec, 495 secs
lola: 4855691 markings, 29890203 edges, 7745 markings/sec, 500 secs
lola: 4900917 markings, 30185563 edges, 9045 markings/sec, 505 secs
lola: 4948421 markings, 30482306 edges, 9501 markings/sec, 510 secs
lola: 4991261 markings, 30779097 edges, 8568 markings/sec, 515 secs
lola: 5035457 markings, 31074994 edges, 8839 markings/sec, 520 secs
lola: 5075912 markings, 31371142 edges, 8091 markings/sec, 525 secs
lola: 5113182 markings, 31667652 edges, 7454 markings/sec, 530 secs
lola: 5163224 markings, 31963464 edges, 10008 markings/sec, 535 secs
lola: 5209692 markings, 32259523 edges, 9294 markings/sec, 540 secs
lola: 5252098 markings, 32556499 edges, 8481 markings/sec, 545 secs
lola: 5295000 markings, 32852138 edges, 8580 markings/sec, 550 secs
lola: 5334946 markings, 33148169 edges, 7989 markings/sec, 555 secs
lola: 5373007 markings, 33444690 edges, 7612 markings/sec, 560 secs
lola: 5416077 markings, 33739453 edges, 8614 markings/sec, 565 secs
lola: 5456170 markings, 34035649 edges, 8019 markings/sec, 570 secs
lola: 5492553 markings, 34331926 edges, 7277 markings/sec, 575 secs
lola: 5530890 markings, 34626898 edges, 7667 markings/sec, 580 secs
lola: 5566137 markings, 34922217 edges, 7049 markings/sec, 585 secs
lola: 5599076 markings, 35218198 edges, 6588 markings/sec, 590 secs
lola: 5641505 markings, 35513234 edges, 8486 markings/sec, 595 secs
lola: 5681882 markings, 35809076 edges, 8075 markings/sec, 600 secs
lola: 5719356 markings, 36105858 edges, 7495 markings/sec, 605 secs
lola: 5758113 markings, 36400824 edges, 7751 markings/sec, 610 secs
lola: 5794026 markings, 36696103 edges, 7183 markings/sec, 615 secs
lola: 5828397 markings, 36992267 edges, 6874 markings/sec, 620 secs
lola: 5867384 markings, 37287818 edges, 7797 markings/sec, 625 secs
lola: 5916211 markings, 37582721 edges, 9765 markings/sec, 630 secs
lola: 5960106 markings, 37879404 edges, 8779 markings/sec, 635 secs
lola: 6004627 markings, 38174591 edges, 8904 markings/sec, 640 secs
lola: 6044935 markings, 38470278 edges, 8062 markings/sec, 645 secs
lola: 6082720 markings, 38766052 edges, 7557 markings/sec, 650 secs
lola: 6131317 markings, 39057648 edges, 9719 markings/sec, 655 secs
lola: 6181302 markings, 39348264 edges, 9997 markings/sec, 660 secs
lola: 6231893 markings, 39637896 edges, 10118 markings/sec, 665 secs
lola: 6277455 markings, 39927891 edges, 9112 markings/sec, 670 secs
lola: 6320853 markings, 40220517 edges, 8680 markings/sec, 675 secs
lola: 6370163 markings, 40514560 edges, 9862 markings/sec, 680 secs
lola: 6415062 markings, 40809441 edges, 8980 markings/sec, 685 secs
lola: 6458997 markings, 41104590 edges, 8787 markings/sec, 690 secs
lola: 6499896 markings, 41400700 edges, 8180 markings/sec, 695 secs
lola: 6538323 markings, 41696570 edges, 7685 markings/sec, 700 secs
lola: 6580022 markings, 41992105 edges, 8340 markings/sec, 705 secs
lola: 6621113 markings, 42288342 edges, 8218 markings/sec, 710 secs
lola: 6659615 markings, 42584671 edges, 7700 markings/sec, 715 secs
lola: 6701041 markings, 42880243 edges, 8285 markings/sec, 720 secs
lola: 6742247 markings, 43176218 edges, 8241 markings/sec, 725 secs
lola: 6780877 markings, 43472368 edges, 7726 markings/sec, 730 secs
lola: 6822002 markings, 43767923 edges, 8225 markings/sec, 735 secs
lola: 6863412 markings, 44064094 edges, 8282 markings/sec, 740 secs
lola: 6902151 markings, 44360222 edges, 7748 markings/sec, 745 secs
lola: 6942994 markings, 44655742 edges, 8169 markings/sec, 750 secs
lola: 6984547 markings, 44951791 edges, 8311 markings/sec, 755 secs
lola: 7023328 markings, 45247897 edges, 7756 markings/sec, 760 secs
lola: 7060922 markings, 45543495 edges, 7519 markings/sec, 765 secs
lola: 7098080 markings, 45839093 edges, 7432 markings/sec, 770 secs
lola: 7133199 markings, 46133983 edges, 7024 markings/sec, 775 secs
lola: 7165058 markings, 46428991 edges, 6372 markings/sec, 780 secs
lola: 7204088 markings, 46723756 edges, 7806 markings/sec, 785 secs
lola: 7239801 markings, 47019342 edges, 7143 markings/sec, 790 secs
lola: 7273217 markings, 47314417 edges, 6683 markings/sec, 795 secs
lola: 7313313 markings, 47609214 edges, 8019 markings/sec, 800 secs
lola: 7354276 markings, 47905071 edges, 8193 markings/sec, 805 secs
lola: 7392663 markings, 48200562 edges, 7677 markings/sec, 810 secs
lola: 7435931 markings, 48494032 edges, 8654 markings/sec, 815 secs
lola: 7478505 markings, 48787277 edges, 8515 markings/sec, 820 secs
lola: 7521087 markings, 49080154 edges, 8516 markings/sec, 825 secs
lola: 7578936 markings, 49376203 edges, 11570 markings/sec, 830 secs
lola: 7638382 markings, 49666088 edges, 11889 markings/sec, 835 secs
lola: 7692490 markings, 49954821 edges, 10822 markings/sec, 840 secs
lola: 7739193 markings, 50245467 edges, 9341 markings/sec, 845 secs
lola: 7800489 markings, 50537939 edges, 12259 markings/sec, 850 secs
lola: 7854481 markings, 50831559 edges, 10798 markings/sec, 855 secs
lola: 7904476 markings, 51126095 edges, 9999 markings/sec, 860 secs
lola: 7954108 markings, 51419641 edges, 9926 markings/sec, 865 secs
lola: 8002619 markings, 51712729 edges, 9702 markings/sec, 870 secs
lola: 8048401 markings, 52006583 edges, 9156 markings/sec, 875 secs
lola: 8089290 markings, 52301227 edges, 8178 markings/sec, 880 secs
lola: 8138734 markings, 52595088 edges, 9889 markings/sec, 885 secs
lola: 8185963 markings, 52889847 edges, 9446 markings/sec, 890 secs
lola: 8231805 markings, 53185662 edges, 9168 markings/sec, 895 secs
lola: 8272454 markings, 53481948 edges, 8130 markings/sec, 900 secs
lola: 8317045 markings, 53776539 edges, 8918 markings/sec, 905 secs
lola: 8357723 markings, 54070865 edges, 8136 markings/sec, 910 secs
lola: 8397140 markings, 54366237 edges, 7883 markings/sec, 915 secs
lola: 8434612 markings, 54661823 edges, 7494 markings/sec, 920 secs
lola: 8475820 markings, 54956912 edges, 8242 markings/sec, 925 secs
lola: 8525976 markings, 55251578 edges, 10031 markings/sec, 930 secs
lola: 8571882 markings, 55547178 edges, 9181 markings/sec, 935 secs
lola: 8614579 markings, 55843441 edges, 8539 markings/sec, 940 secs
lola: 8657176 markings, 56138983 edges, 8519 markings/sec, 945 secs
lola: 8700040 markings, 56433975 edges, 8573 markings/sec, 950 secs
lola: 8739368 markings, 56729405 edges, 7866 markings/sec, 955 secs
lola: 8778509 markings, 57024987 edges, 7828 markings/sec, 960 secs
lola: 8813093 markings, 57320373 edges, 6917 markings/sec, 965 secs
lola: 8866269 markings, 57615115 edges, 10635 markings/sec, 970 secs
lola: 8912179 markings, 57910284 edges, 9182 markings/sec, 975 secs
lola: 8956763 markings, 58206245 edges, 8917 markings/sec, 980 secs
lola: 8997329 markings, 58501922 edges, 8113 markings/sec, 985 secs
lola: 9042324 markings, 58796852 edges, 8999 markings/sec, 990 secs
lola: 9081781 markings, 59091346 edges, 7891 markings/sec, 995 secs
lola: 9121549 markings, 59386877 edges, 7954 markings/sec, 1000 secs
lola: 9157320 markings, 59683106 edges, 7154 markings/sec, 1005 secs
lola: 9204895 markings, 59977743 edges, 9515 markings/sec, 1010 secs
lola: 9252306 markings, 60272888 edges, 9482 markings/sec, 1015 secs
lola: 9298168 markings, 60568455 edges, 9172 markings/sec, 1020 secs
lola: 9338849 markings, 60864837 edges, 8136 markings/sec, 1025 secs
lola: 9383378 markings, 61159553 edges, 8906 markings/sec, 1030 secs
lola: 9424230 markings, 61454625 edges, 8170 markings/sec, 1035 secs
lola: 9463717 markings, 61750215 edges, 7897 markings/sec, 1040 secs
lola: 9501207 markings, 62046145 edges, 7498 markings/sec, 1045 secs
lola: 9542264 markings, 62341425 edges, 8211 markings/sec, 1050 secs
lola: 9592545 markings, 62636097 edges, 10056 markings/sec, 1055 secs
lola: 9638417 markings, 62931268 edges, 9174 markings/sec, 1060 secs
lola: 9681128 markings, 63227521 edges, 8542 markings/sec, 1065 secs
lola: 9723581 markings, 63522592 edges, 8491 markings/sec, 1070 secs
lola: 9766501 markings, 63817381 edges, 8584 markings/sec, 1075 secs
lola: 9805748 markings, 64112406 edges, 7849 markings/sec, 1080 secs
lola: 9844775 markings, 64406401 edges, 7805 markings/sec, 1085 secs
lola: 9879391 markings, 64702040 edges, 6923 markings/sec, 1090 secs
lola: 9924749 markings, 64996382 edges, 9072 markings/sec, 1095 secs
lola: 9964887 markings, 65290816 edges, 8028 markings/sec, 1100 secs
lola: 10004774 markings, 65586323 edges, 7977 markings/sec, 1105 secs
lola: 10040798 markings, 65882399 edges, 7205 markings/sec, 1110 secs
lola: 10078395 markings, 66177352 edges, 7519 markings/sec, 1115 secs
lola: 10115916 markings, 66471449 edges, 7504 markings/sec, 1120 secs
lola: 10151092 markings, 66765088 edges, 7035 markings/sec, 1125 secs
lola: 10186187 markings, 67060108 edges, 7019 markings/sec, 1130 secs
lola: 10217980 markings, 67355687 edges, 6359 markings/sec, 1135 secs
lola: 10255333 markings, 67649803 edges, 7471 markings/sec, 1140 secs
lola: 10298437 markings, 67944223 edges, 8621 markings/sec, 1145 secs
lola: 10337818 markings, 68238900 edges, 7876 markings/sec, 1150 secs
lola: 10377021 markings, 68534272 edges, 7841 markings/sec, 1155 secs
lola: 10411760 markings, 68829782 edges, 6948 markings/sec, 1160 secs
lola: 10451439 markings, 69123897 edges, 7936 markings/sec, 1165 secs
lola: 10486765 markings, 69418083 edges, 7065 markings/sec, 1170 secs
lola: 10522133 markings, 69712541 edges, 7074 markings/sec, 1175 secs
lola: 10556172 markings, 70007184 edges, 6808 markings/sec, 1180 secs
lola: 10587330 markings, 70302078 edges, 6232 markings/sec, 1185 secs
lola: 10637710 markings, 70596181 edges, 10076 markings/sec, 1190 secs
lola: 10683759 markings, 70890827 edges, 9210 markings/sec, 1195 secs
lola: 10729161 markings, 71186244 edges, 9080 markings/sec, 1200 secs
lola: 10768484 markings, 71481661 edges, 7865 markings/sec, 1205 secs
lola: 10814066 markings, 71775733 edges, 9116 markings/sec, 1210 secs
lola: 10854169 markings, 72070456 edges, 8021 markings/sec, 1215 secs
lola: 10887112 markings, 72317800 edges, 6589 markings/sec, 1220 secs
lola: 10924126 markings, 72609591 edges, 7403 markings/sec, 1225 secs
lola: 10965548 markings, 72903278 edges, 8284 markings/sec, 1230 secs
lola: 11019219 markings, 73195139 edges, 10734 markings/sec, 1235 secs
lola: 11067489 markings, 73488156 edges, 9654 markings/sec, 1240 secs
lola: 11119099 markings, 73779583 edges, 10322 markings/sec, 1245 secs
lola: 11165745 markings, 74072113 edges, 9329 markings/sec, 1250 secs
lola: 11211141 markings, 74364699 edges, 9079 markings/sec, 1255 secs
lola: 11251543 markings, 74659217 edges, 8080 markings/sec, 1260 secs
lola: 11302565 markings, 74955095 edges, 10204 markings/sec, 1265 secs
lola: 11349104 markings, 75252065 edges, 9308 markings/sec, 1270 secs
lola: 11395395 markings, 75548722 edges, 9258 markings/sec, 1275 secs
lola: 11435105 markings, 75845468 edges, 7942 markings/sec, 1280 secs
lola: 11480854 markings, 76143182 edges, 9150 markings/sec, 1285 secs
lola: 11521713 markings, 76441691 edges, 8172 markings/sec, 1290 secs
lola: 11561895 markings, 76739809 edges, 8036 markings/sec, 1295 secs
lola: 11598078 markings, 77037472 edges, 7237 markings/sec, 1300 secs
lola: 11639393 markings, 77335459 edges, 8263 markings/sec, 1305 secs
lola: 11682412 markings, 77633974 edges, 8604 markings/sec, 1310 secs
lola: 11722517 markings, 77932294 edges, 8021 markings/sec, 1315 secs
lola: 11760811 markings, 78230076 edges, 7659 markings/sec, 1320 secs
lola: 11797214 markings, 78527812 edges, 7281 markings/sec, 1325 secs
lola: 11842913 markings, 78825986 edges, 9140 markings/sec, 1330 secs
lola: 11882706 markings, 79123972 edges, 7959 markings/sec, 1335 secs
lola: 11923023 markings, 79421906 edges, 8063 markings/sec, 1340 secs
lola: 11959030 markings, 79720324 edges, 7201 markings/sec, 1345 secs
lola: 12001045 markings, 80017865 edges, 8403 markings/sec, 1350 secs
lola: 12043318 markings, 80316498 edges, 8455 markings/sec, 1355 secs
lola: 12083906 markings, 80614598 edges, 8118 markings/sec, 1360 secs
lola: 12121677 markings, 80912798 edges, 7554 markings/sec, 1365 secs
lola: 12159362 markings, 81210204 edges, 7537 markings/sec, 1370 secs
lola: 12204120 markings, 81508438 edges, 8952 markings/sec, 1375 secs
lola: 12244401 markings, 81806230 edges, 8056 markings/sec, 1380 secs
lola: 12283922 markings, 82102315 edges, 7904 markings/sec, 1385 secs
lola: 12319478 markings, 82400411 edges, 7111 markings/sec, 1390 secs
lola: 12358405 markings, 82698072 edges, 7785 markings/sec, 1395 secs
lola: 12395423 markings, 82995761 edges, 7404 markings/sec, 1400 secs
lola: 12430269 markings, 83293101 edges, 6969 markings/sec, 1405 secs
lola: 12465317 markings, 83589753 edges, 7010 markings/sec, 1410 secs
lola: 12496815 markings, 83886555 edges, 6300 markings/sec, 1415 secs
lola: 12534323 markings, 84184321 edges, 7502 markings/sec, 1420 secs
lola: 12571889 markings, 84482043 edges, 7513 markings/sec, 1425 secs
lola: 12606779 markings, 84779635 edges, 6978 markings/sec, 1430 secs
lola: 12641888 markings, 85076207 edges, 7022 markings/sec, 1435 secs
lola: 12673501 markings, 85373689 edges, 6323 markings/sec, 1440 secs
lola: 12715497 markings, 85671300 edges, 8399 markings/sec, 1445 secs
lola: 12756922 markings, 85969554 edges, 8285 markings/sec, 1450 secs
lola: 12797207 markings, 86267147 edges, 8057 markings/sec, 1455 secs
lola: 12834936 markings, 86564983 edges, 7546 markings/sec, 1460 secs
lola: 12875584 markings, 86860587 edges, 8130 markings/sec, 1465 secs
lola: 12919168 markings, 87155154 edges, 8717 markings/sec, 1470 secs
lola: 12962861 markings, 87449029 edges, 8739 markings/sec, 1475 secs
lola: 13015103 markings, 87747420 edges, 10448 markings/sec, 1480 secs
lola: 13077622 markings, 88041251 edges, 12504 markings/sec, 1485 secs
lola: 13132649 markings, 88332732 edges, 11005 markings/sec, 1490 secs
lola: 13185402 markings, 88623298 edges, 10551 markings/sec, 1495 secs
lola: 13234016 markings, 88912445 edges, 9723 markings/sec, 1500 secs
lola: 13284454 markings, 89202726 edges, 10088 markings/sec, 1505 secs
lola: 13345638 markings, 89494681 edges, 12237 markings/sec, 1510 secs
lola: 13398758 markings, 89787214 edges, 10624 markings/sec, 1515 secs
lola: 13451169 markings, 90080366 edges, 10482 markings/sec, 1520 secs
lola: 13495856 markings, 90373617 edges, 8937 markings/sec, 1525 secs
lola: 13549203 markings, 90665427 edges, 10669 markings/sec, 1530 secs
lola: 13594869 markings, 90957844 edges, 9133 markings/sec, 1535 secs
lola: 13640815 markings, 91250614 edges, 9189 markings/sec, 1540 secs
lola: 13684639 markings, 91543490 edges, 8765 markings/sec, 1545 secs
lola: 13723831 markings, 91836695 edges, 7838 markings/sec, 1550 secs
lola: 13773787 markings, 92130138 edges, 9991 markings/sec, 1555 secs
lola: 13822124 markings, 92423711 edges, 9667 markings/sec, 1560 secs
lola: 13866820 markings, 92717819 edges, 8939 markings/sec, 1565 secs
lola: 13904803 markings, 92962857 edges, 7597 markings/sec, 1570 secs
lola: 13944640 markings, 93258408 edges, 7967 markings/sec, 1575 secs
lola: 13987129 markings, 93552649 edges, 8498 markings/sec, 1580 secs
lola: 14031556 markings, 93845343 edges, 8885 markings/sec, 1585 secs
lola: 14070844 markings, 94138867 edges, 7858 markings/sec, 1590 secs
lola: 14110302 markings, 94433415 edges, 7892 markings/sec, 1595 secs
lola: 14148658 markings, 94727503 edges, 7671 markings/sec, 1600 secs
lola: 14183394 markings, 95022402 edges, 6947 markings/sec, 1605 secs
lola: 14228136 markings, 95316129 edges, 8948 markings/sec, 1610 secs
lola: 14277531 markings, 95610155 edges, 9879 markings/sec, 1615 secs
lola: 14323511 markings, 95903648 edges, 9196 markings/sec, 1620 secs
lola: 14368870 markings, 96198353 edges, 9072 markings/sec, 1625 secs
lola: 14409175 markings, 96494431 edges, 8061 markings/sec, 1630 secs
lola: 14450589 markings, 96788966 edges, 8283 markings/sec, 1635 secs
lola: 14495838 markings, 97081950 edges, 9050 markings/sec, 1640 secs
lola: 14535164 markings, 97376004 edges, 7865 markings/sec, 1645 secs
lola: 14574633 markings, 97670744 edges, 7894 markings/sec, 1650 secs
lola: 14613334 markings, 97965131 edges, 7740 markings/sec, 1655 secs
lola: 14647913 markings, 98260780 edges, 6916 markings/sec, 1660 secs
lola: 14691754 markings, 98554505 edges, 8768 markings/sec, 1665 secs
lola: 14741749 markings, 98848116 edges, 9999 markings/sec, 1670 secs
lola: 14787536 markings, 99141365 edges, 9157 markings/sec, 1675 secs
lola: 14833174 markings, 99436043 edges, 9128 markings/sec, 1680 secs
lola: 14873820 markings, 99731572 edges, 8129 markings/sec, 1685 secs
lola: 14914888 markings, 100025776 edges, 8214 markings/sec, 1690 secs
lola: 14959963 markings, 100318940 edges, 9015 markings/sec, 1695 secs
lola: 14999387 markings, 100613244 edges, 7885 markings/sec, 1700 secs
lola: 15038789 markings, 100907243 edges, 7880 markings/sec, 1705 secs
lola: 15077824 markings, 101201119 edges, 7807 markings/sec, 1710 secs
lola: 15112213 markings, 101496088 edges, 6878 markings/sec, 1715 secs
lola: 15154400 markings, 101789652 edges, 8437 markings/sec, 1720 secs
lola: 15205706 markings, 102083006 edges, 10261 markings/sec, 1725 secs
lola: 15250582 markings, 102376516 edges, 8975 markings/sec, 1730 secs
lola: 15296854 markings, 102671774 edges, 9254 markings/sec, 1735 secs
lola: 15338038 markings, 102967103 edges, 8237 markings/sec, 1740 secs
lola: 15378999 markings, 103261426 edges, 8192 markings/sec, 1745 secs
lola: 15423426 markings, 103554107 edges, 8885 markings/sec, 1750 secs
lola: 15463021 markings, 103848492 edges, 7919 markings/sec, 1755 secs
lola: 15502464 markings, 104142715 edges, 7889 markings/sec, 1760 secs
lola: 15541737 markings, 104436332 edges, 7855 markings/sec, 1765 secs
lola: 15576932 markings, 104731544 edges, 7039 markings/sec, 1770 secs
lola: 15617363 markings, 105025530 edges, 8086 markings/sec, 1775 secs
lola: 15669757 markings, 105318772 edges, 10479 markings/sec, 1780 secs
lola: 15714445 markings, 105612184 edges, 8938 markings/sec, 1785 secs
lola: 15760467 markings, 105907023 edges, 9204 markings/sec, 1790 secs
lola: 15802076 markings, 106202316 edges, 8322 markings/sec, 1795 secs
lola: 15842610 markings, 106496600 edges, 8107 markings/sec, 1800 secs
lola: 15887565 markings, 106789550 edges, 8991 markings/sec, 1805 secs
lola: 15927470 markings, 107083740 edges, 7981 markings/sec, 1810 secs
lola: 15966741 markings, 107377542 edges, 7854 markings/sec, 1815 secs
lola: 16006040 markings, 107671539 edges, 7860 markings/sec, 1820 secs
lola: 16041656 markings, 107966962 edges, 7123 markings/sec, 1825 secs
lola: 16079128 markings, 108260935 edges, 7494 markings/sec, 1830 secs
lola: 16123585 markings, 108553341 edges, 8891 markings/sec, 1835 secs
lola: 16163132 markings, 108846924 edges, 7909 markings/sec, 1840 secs
lola: 16202369 markings, 109140451 edges, 7847 markings/sec, 1845 secs
lola: 16241576 markings, 109433499 edges, 7841 markings/sec, 1850 secs
lola: 16276887 markings, 109728229 edges, 7062 markings/sec, 1855 secs
lola: 16313182 markings, 110021577 edges, 7259 markings/sec, 1860 secs
lola: 16352287 markings, 110314035 edges, 7821 markings/sec, 1865 secs
lola: 16387748 markings, 110607315 edges, 7092 markings/sec, 1870 secs
lola: 16422123 markings, 110899067 edges, 6875 markings/sec, 1875 secs
lola: 16456315 markings, 111193222 edges, 6838 markings/sec, 1880 secs
lola: 16489812 markings, 111486751 edges, 6699 markings/sec, 1885 secs
lola: 16520913 markings, 111780372 edges, 6220 markings/sec, 1890 secs
lola: 16559699 markings, 112073138 edges, 7757 markings/sec, 1895 secs
lola: 16603433 markings, 112365798 edges, 8747 markings/sec, 1900 secs
lola: 16642676 markings, 112659190 edges, 7849 markings/sec, 1905 secs
lola: 16682071 markings, 112953653 edges, 7879 markings/sec, 1910 secs
lola: 16720068 markings, 113247593 edges, 7599 markings/sec, 1915 secs
lola: 16754731 markings, 113542296 edges, 6933 markings/sec, 1920 secs
lola: 16792174 markings, 113835901 edges, 7489 markings/sec, 1925 secs
lola: 16830707 markings, 114127845 edges, 7707 markings/sec, 1930 secs
lola: 16864865 markings, 114421688 edges, 6832 markings/sec, 1935 secs
lola: 16899780 markings, 114714866 edges, 6983 markings/sec, 1940 secs
lola: 16934731 markings, 115008506 edges, 6990 markings/sec, 1945 secs
lola: 16966659 markings, 115303203 edges, 6386 markings/sec, 1950 secs
lola: 16997346 markings, 115596035 edges, 6137 markings/sec, 1955 secs
lola: 17048110 markings, 115889015 edges, 10153 markings/sec, 1960 secs
lola: 17094850 markings, 116182438 edges, 9348 markings/sec, 1965 secs
lola: 17140511 markings, 116476200 edges, 9132 markings/sec, 1970 secs
lola: 17184863 markings, 116770056 edges, 8870 markings/sec, 1975 secs
lola: 17224284 markings, 117064934 edges, 7884 markings/sec, 1980 secs
lola: 17267609 markings, 117356976 edges, 8665 markings/sec, 1985 secs
lola: 17309872 markings, 117649552 edges, 8453 markings/sec, 1990 secs
lola: 17348956 markings, 117941953 edges, 7817 markings/sec, 1995 secs
lola: 17388316 markings, 118236558 edges, 7872 markings/sec, 2000 secs
lola: 17425749 markings, 118530464 edges, 7487 markings/sec, 2005 secs
lola: 17460811 markings, 118824397 edges, 7012 markings/sec, 2010 secs
lola: 17509222 markings, 119114300 edges, 9682 markings/sec, 2015 secs
lola: 17562148 markings, 119402456 edges, 10585 markings/sec, 2020 secs
lola: 17610823 markings, 119691814 edges, 9735 markings/sec, 2025 secs
lola: 17657457 markings, 119980829 edges, 9327 markings/sec, 2030 secs
lola: 17708956 markings, 120268276 edges, 10300 markings/sec, 2035 secs
lola: 17753652 markings, 120557319 edges, 8939 markings/sec, 2040 secs
lola: 17797692 markings, 120846454 edges, 8808 markings/sec, 2045 secs
lola: 17839373 markings, 121136330 edges, 8336 markings/sec, 2050 secs
lola: 17878105 markings, 121426092 edges, 7746 markings/sec, 2055 secs
lola: 17932043 markings, 121718506 edges, 10788 markings/sec, 2060 secs
lola: 17978201 markings, 122011625 edges, 9232 markings/sec, 2065 secs
lola: 18023633 markings, 122304436 edges, 9086 markings/sec, 2070 secs
lola: 18066651 markings, 122596501 edges, 8604 markings/sec, 2075 secs
lola: 18105712 markings, 122888839 edges, 7812 markings/sec, 2080 secs
lola: 18149563 markings, 123183260 edges, 8770 markings/sec, 2085 secs
lola: 18192227 markings, 123477252 edges, 8533 markings/sec, 2090 secs
lola: 18231514 markings, 123770554 edges, 7857 markings/sec, 2095 secs
lola: 18271369 markings, 124068017 edges, 7971 markings/sec, 2100 secs
lola: 18308134 markings, 124365190 edges, 7353 markings/sec, 2105 secs
lola: 18342808 markings, 124661059 edges, 6935 markings/sec, 2110 secs
lola: 18388530 markings, 124959202 edges, 9144 markings/sec, 2115 secs
lola: 18430505 markings, 125257110 edges, 8395 markings/sec, 2120 secs
lola: 18470312 markings, 125554260 edges, 7961 markings/sec, 2125 secs
lola: 18510050 markings, 125851492 edges, 7948 markings/sec, 2130 secs
lola: 18546407 markings, 126149116 edges, 7271 markings/sec, 2135 secs
lola: 18582054 markings, 126445570 edges, 7129 markings/sec, 2140 secs
lola: 18628120 markings, 126742746 edges, 9213 markings/sec, 2145 secs
lola: 18669167 markings, 127040563 edges, 8209 markings/sec, 2150 secs
lola: 18708779 markings, 127337477 edges, 7922 markings/sec, 2155 secs
lola: 18748339 markings, 127634123 edges, 7912 markings/sec, 2160 secs
lola: 18784403 markings, 127931710 edges, 7213 markings/sec, 2165 secs
lola: 18821406 markings, 128228091 edges, 7401 markings/sec, 2170 secs
lola: 18866841 markings, 128525211 edges, 9087 markings/sec, 2175 secs
lola: 18907135 markings, 128823259 edges, 8059 markings/sec, 2180 secs
lola: 18946807 markings, 129120535 edges, 7934 markings/sec, 2185 secs
lola: 18986445 markings, 129417048 edges, 7928 markings/sec, 2190 secs
lola: 19022040 markings, 129714810 edges, 7119 markings/sec, 2195 secs
lola: 19060534 markings, 130011525 edges, 7699 markings/sec, 2200 secs
lola: 19106162 markings, 130308506 edges, 9126 markings/sec, 2205 secs
lola: 19146148 markings, 130606464 edges, 7997 markings/sec, 2210 secs
lola: 19186024 markings, 130904253 edges, 7975 markings/sec, 2215 secs
lola: 19225158 markings, 131200543 edges, 7827 markings/sec, 2220 secs
lola: 19259812 markings, 131498492 edges, 6931 markings/sec, 2225 secs
lola: 19296862 markings, 131795003 edges, 7410 markings/sec, 2230 secs
lola: 19336286 markings, 132090419 edges, 7885 markings/sec, 2235 secs
lola: time limit reached - aborting
lola:
preliminary result: no no unknown no no no no yes unknown unknown no no no no no yes
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: no no unknown no no no no yes unknown unknown no no no no no yes lola:
preliminary result: no no unknown no no no no yes unknown unknown no no no no no yes
lola: memory consumption: 3126436 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no unknown no no no no yes unknown unknown no no no no no yes
rslt: finished
BK_STOP 1589158785074
--------------------
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-04b"
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-04b, 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-158897552600018"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-04b.tgz
mv ASLink-PT-04b 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 ;