About the Execution of 2018-Gold for Vasy2003-PT-none
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7291.710 | 3570625.00 | 3732984.00 | 262.20 | FTFF?TFFFFFFFFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r176-oct2-155297760900153.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is Vasy2003-PT-none, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r176-oct2-155297760900153
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 384K
-rw-r--r-- 1 mcc users 4.8K Feb 12 21:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 12 21:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 9 05:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 9 05:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 103 Feb 24 15:06 GlobalProperties.txt
-rw-r--r-- 1 mcc users 341 Feb 24 15:06 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 5 01:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 01:55 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.2K Feb 4 22:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 4 22:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 4 22:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 1 23:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Feb 1 23:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 0 Jan 29 09:35 model-fix.log
-rw-r--r-- 1 mcc users 207K Mar 10 17:31 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 Vasy2003-PT-none-LTLFireability-00
FORMULA_NAME Vasy2003-PT-none-LTLFireability-01
FORMULA_NAME Vasy2003-PT-none-LTLFireability-02
FORMULA_NAME Vasy2003-PT-none-LTLFireability-03
FORMULA_NAME Vasy2003-PT-none-LTLFireability-04
FORMULA_NAME Vasy2003-PT-none-LTLFireability-05
FORMULA_NAME Vasy2003-PT-none-LTLFireability-06
FORMULA_NAME Vasy2003-PT-none-LTLFireability-07
FORMULA_NAME Vasy2003-PT-none-LTLFireability-08
FORMULA_NAME Vasy2003-PT-none-LTLFireability-09
FORMULA_NAME Vasy2003-PT-none-LTLFireability-10
FORMULA_NAME Vasy2003-PT-none-LTLFireability-11
FORMULA_NAME Vasy2003-PT-none-LTLFireability-12
FORMULA_NAME Vasy2003-PT-none-LTLFireability-13
FORMULA_NAME Vasy2003-PT-none-LTLFireability-14
FORMULA_NAME Vasy2003-PT-none-LTLFireability-15
=== Now, execution of the tool begins
BK_START 1554536062456
info: Time: 3600 - MCC
===========================================================================================
prep: translating Vasy2003-PT-none Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating Vasy2003-PT-none formula LTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking LTLFireability @ Vasy2003-PT-none @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1261/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 485
lola: finding significant places
lola: 485 places, 776 transitions, 419 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 962 transition conflict sets
lola: TASK
lola: reading formula from Vasy2003-PT-none-LTLFireability.task
lola: A (G (X (X ((FIREABLE(t287) U FIREABLE(t382)))))) : A (F (F (FIREABLE(t694)))) : A (G (F (F (F (G (FIREABLE(t498))))))) : A (X (F (FIREABLE(t619)))) : A (((F (FIREABLE(t610)) U F (FIREABLE(t26))) U G (G (FIREABLE(t22))))) : A (F (F (F (X (FIREABLE(t22)))))) : A (G (F (FIREABLE(t288)))) : A (X (F (F (X (FIREABLE(t457)))))) : A (X (F (G (X (X (FIREABLE(t174))))))) : A (F (FIREABLE(t329))) : A ((G ((FIREABLE(t561) U FIREABLE(t446))) U F (FIREABLE(t343)))) : A ((X (FIREABLE(t552)) U G (F (F (FIREABLE(t733)))))) : A (X (FIREABLE(t686))) : A (FIREABLE(t398)) : A (G (FIREABLE(t148))) : A (G (X (X ((FIREABLE(t771) U FIREABLE(t199))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
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:347
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:353
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: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t398)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t398)
lola: processed formula length: 14
lola: 36 rewrites
lola: closed formula file Vasy2003-PT-none-LTLFireability.task
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: ========================================
FORMULA Vasy2003-PT-none-LTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (FIREABLE(t619))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (FIREABLE(t619))))
lola: processed formula length: 26
lola: 36 rewrites
lola: closed formula file Vasy2003-PT-none-LTLFireability.task
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: 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: 26 markings, 26 edges
lola: ========================================
FORMULA Vasy2003-PT-none-LTLFireability-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (FIREABLE(t22))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (FIREABLE(t22))))
lola: processed formula length: 25
lola: 36 rewrites
lola: closed formula file Vasy2003-PT-none-LTLFireability.task
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: 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: ========================================
FORMULA Vasy2003-PT-none-LTLFireability-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F (FIREABLE(t457)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F (FIREABLE(t457)))))
lola: processed formula length: 30
lola: 36 rewrites
lola: closed formula file Vasy2003-PT-none-LTLFireability.task
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: 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: 26 markings, 26 edges
lola: ========================================
FORMULA Vasy2003-PT-none-LTLFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (FIREABLE(t686)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (FIREABLE(t686)))
lola: processed formula length: 22
lola: 36 rewrites
lola: closed formula file Vasy2003-PT-none-LTLFireability.task
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: 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: 26 markings, 26 edges
lola: ========================================
FORMULA Vasy2003-PT-none-LTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G ((F (FIREABLE(t382)) AND (FIREABLE(t287) OR FIREABLE(t382)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G ((F (FIREABLE(t382)) AND (FIREABLE(t287) OR FIREABLE(t382)))))))
lola: processed formula length: 75
lola: 36 rewrites
lola: closed formula file Vasy2003-PT-none-LTLFireability.task
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: 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: 26 markings, 26 edges
lola: ========================================
FORMULA Vasy2003-PT-none-LTLFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G ((F (FIREABLE(t199)) AND (FIREABLE(t771) OR FIREABLE(t199)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G ((F (FIREABLE(t199)) AND (FIREABLE(t771) OR FIREABLE(t199)))))))
lola: processed formula length: 75
lola: 36 rewrites
lola: closed formula file Vasy2003-PT-none-LTLFireability.task
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: 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: 26 markings, 26 edges
lola: ========================================
FORMULA Vasy2003-PT-none-LTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(t148)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (FIREABLE(t148)))
lola: processed formula length: 22
lola: 38 rewrites
lola: closed formula file Vasy2003-PT-none-LTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: NOT FIREABLE(t148)
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Vasy2003-PT-none-LTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t694)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t694)
lola: processed formula length: 18
lola: 38 rewrites
lola: closed formula file Vasy2003-PT-none-LTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
FORMULA Vasy2003-PT-none-LTLFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 510 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t329)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(t329)
lola: processed formula length: 18
lola: 38 rewrites
lola: closed formula file Vasy2003-PT-none-LTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 8 markings, 8 edges
lola: ========================================
FORMULA Vasy2003-PT-none-LTLFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 595 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (FIREABLE(t498))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (FIREABLE(t498))))
lola: processed formula length: 26
lola: 36 rewrites
lola: closed formula file Vasy2003-PT-none-LTLFireability.task
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 (--stubborn)
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: 9 markings, 10 edges
lola: ========================================
FORMULA Vasy2003-PT-none-LTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 714 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (FIREABLE(t174))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (FIREABLE(t174))))
lola: processed formula length: 26
lola: 36 rewrites
lola: closed formula file Vasy2003-PT-none-LTLFireability.task
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 (--stubborn)
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: 9 markings, 10 edges
lola: ========================================
FORMULA Vasy2003-PT-none-LTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 892 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(t288))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(t288))))
lola: processed formula length: 26
lola: 36 rewrites
lola: closed formula file Vasy2003-PT-none-LTLFireability.task
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 (--stubborn)
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: 8 markings, 8 edges
lola: ========================================
FORMULA Vasy2003-PT-none-LTLFireability-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1190 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(t733))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(t733))))
lola: processed formula length: 26
lola: 36 rewrites
lola: closed formula file Vasy2003-PT-none-LTLFireability.task
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 (--stubborn)
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: 9 markings, 9 edges
lola: ========================================
FORMULA Vasy2003-PT-none-LTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1785 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (FIREABLE(t26)) U G (FIREABLE(t22))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (FIREABLE(t26)) U G (FIREABLE(t22))))
lola: processed formula length: 43
lola: 36 rewrites
lola: closed formula file Vasy2003-PT-none-LTLFireability.task
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 (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 126403 markings, 248345 edges, 25281 markings/sec, 0 secs
lola: 250581 markings, 497057 edges, 24836 markings/sec, 5 secs
lola: 379936 markings, 756921 edges, 25871 markings/sec, 10 secs
lola: 493854 markings, 984469 edges, 22784 markings/sec, 15 secs
lola: 609068 markings, 1209757 edges, 23043 markings/sec, 20 secs
lola: 723584 markings, 1438780 edges, 22903 markings/sec, 25 secs
lola: 830489 markings, 1659473 edges, 21381 markings/sec, 30 secs
lola: 929316 markings, 1863057 edges, 19765 markings/sec, 35 secs
lola: 981645 markings, 1963500 edges, 10466 markings/sec, 40 secs
lola: 1034110 markings, 2068624 edges, 10493 markings/sec, 45 secs
lola: 1086679 markings, 2175452 edges, 10514 markings/sec, 50 secs
lola: 1135561 markings, 2274830 edges, 9776 markings/sec, 55 secs
lola: 1186329 markings, 2375735 edges, 10154 markings/sec, 60 secs
lola: 1241140 markings, 2486904 edges, 10962 markings/sec, 65 secs
lola: 1298978 markings, 2600493 edges, 11568 markings/sec, 70 secs
lola: 1350112 markings, 2705039 edges, 10227 markings/sec, 75 secs
lola: 1410955 markings, 2823845 edges, 12169 markings/sec, 80 secs
lola: 1469151 markings, 2939874 edges, 11639 markings/sec, 85 secs
lola: 1527557 markings, 3055894 edges, 11681 markings/sec, 90 secs
lola: 1586906 markings, 3173291 edges, 11870 markings/sec, 95 secs
lola: 1650233 markings, 3295838 edges, 12665 markings/sec, 100 secs
lola: 1712055 markings, 3418925 edges, 12364 markings/sec, 105 secs
lola: 1774935 markings, 3544171 edges, 12576 markings/sec, 110 secs
lola: 1840963 markings, 3675316 edges, 13206 markings/sec, 115 secs
lola: 1902469 markings, 3802192 edges, 12301 markings/sec, 120 secs
lola: 1968383 markings, 3933609 edges, 13183 markings/sec, 125 secs
lola: 2096231 markings, 4185582 edges, 25570 markings/sec, 130 secs
lola: 2227883 markings, 4450851 edges, 26330 markings/sec, 135 secs
lola: 2356114 markings, 4710487 edges, 25646 markings/sec, 140 secs
lola: 2482411 markings, 4965391 edges, 25259 markings/sec, 145 secs
lola: 2540583 markings, 5078311 edges, 11634 markings/sec, 150 secs
lola: 2600512 markings, 5197050 edges, 11986 markings/sec, 155 secs
lola: 2659969 markings, 5317075 edges, 11891 markings/sec, 160 secs
lola: 2719876 markings, 5439234 edges, 11981 markings/sec, 165 secs
lola: 2780758 markings, 5561390 edges, 12176 markings/sec, 170 secs
lola: 2841024 markings, 5679605 edges, 12053 markings/sec, 175 secs
lola: 2900266 markings, 5800396 edges, 11848 markings/sec, 180 secs
lola: 2955078 markings, 5912878 edges, 10962 markings/sec, 185 secs
lola: 3018569 markings, 6037013 edges, 12698 markings/sec, 190 secs
lola: 3079773 markings, 6158994 edges, 12241 markings/sec, 195 secs
lola: 3139701 markings, 6280951 edges, 11986 markings/sec, 200 secs
lola: 3201260 markings, 6405225 edges, 12312 markings/sec, 205 secs
lola: 3290774 markings, 6581177 edges, 17903 markings/sec, 210 secs
lola: 3445513 markings, 6888082 edges, 30948 markings/sec, 215 secs
lola: 3596915 markings, 7196040 edges, 30280 markings/sec, 220 secs
lola: 3759686 markings, 7522520 edges, 32554 markings/sec, 225 secs
lola: 3899102 markings, 7814299 edges, 27883 markings/sec, 230 secs
lola: 3958702 markings, 7930098 edges, 11920 markings/sec, 235 secs
lola: 4021120 markings, 8054229 edges, 12484 markings/sec, 240 secs
lola: 4083121 markings, 8176211 edges, 12400 markings/sec, 245 secs
lola: 4138204 markings, 8289003 edges, 11017 markings/sec, 250 secs
lola: 4201209 markings, 8414429 edges, 12601 markings/sec, 255 secs
lola: 4258087 markings, 8529320 edges, 11376 markings/sec, 260 secs
lola: 4315611 markings, 8647242 edges, 11505 markings/sec, 265 secs
lola: 4378189 markings, 8772508 edges, 12516 markings/sec, 270 secs
lola: 4443727 markings, 8899009 edges, 13108 markings/sec, 275 secs
lola: 4503054 markings, 9017901 edges, 11865 markings/sec, 280 secs
lola: 4571321 markings, 9154629 edges, 13653 markings/sec, 285 secs
lola: 4635470 markings, 9282889 edges, 12830 markings/sec, 290 secs
lola: 4694505 markings, 9405687 edges, 11807 markings/sec, 295 secs
lola: 4757580 markings, 9535666 edges, 12615 markings/sec, 300 secs
lola: 4818390 markings, 9663342 edges, 12162 markings/sec, 305 secs
lola: 4881537 markings, 9796397 edges, 12629 markings/sec, 310 secs
lola: 4946111 markings, 9923755 edges, 12915 markings/sec, 315 secs
lola: 5012672 markings, 10052839 edges, 13312 markings/sec, 320 secs
lola: 5079717 markings, 10189321 edges, 13409 markings/sec, 325 secs
lola: 5148375 markings, 10326932 edges, 13732 markings/sec, 330 secs
lola: 5218182 markings, 10468326 edges, 13961 markings/sec, 335 secs
lola: 5292844 markings, 10618757 edges, 14932 markings/sec, 340 secs
lola: 5424576 markings, 10877854 edges, 26346 markings/sec, 345 secs
lola: 5559457 markings, 11147625 edges, 26976 markings/sec, 350 secs
lola: 5639813 markings, 11304761 edges, 16071 markings/sec, 355 secs
lola: 5701915 markings, 11427388 edges, 12420 markings/sec, 360 secs
lola: 5761146 markings, 11547248 edges, 11846 markings/sec, 365 secs
lola: 5823205 markings, 11672820 edges, 12412 markings/sec, 370 secs
lola: 5883995 markings, 11796268 edges, 12158 markings/sec, 375 secs
lola: 5942590 markings, 11913861 edges, 11719 markings/sec, 380 secs
lola: 6006197 markings, 12043761 edges, 12721 markings/sec, 385 secs
lola: 6067853 markings, 12166425 edges, 12331 markings/sec, 390 secs
lola: 6129158 markings, 12288824 edges, 12261 markings/sec, 395 secs
lola: 6193454 markings, 12414750 edges, 12859 markings/sec, 400 secs
lola: 6255851 markings, 12540399 edges, 12479 markings/sec, 405 secs
lola: 6322772 markings, 12673616 edges, 13384 markings/sec, 410 secs
lola: 6386161 markings, 12803246 edges, 12678 markings/sec, 415 secs
lola: 6450620 markings, 12930725 edges, 12892 markings/sec, 420 secs
lola: 6513762 markings, 13057693 edges, 12628 markings/sec, 425 secs
lola: 6574155 markings, 13183663 edges, 12079 markings/sec, 430 secs
lola: 6725336 markings, 13481477 edges, 30236 markings/sec, 435 secs
lola: 6880829 markings, 13795788 edges, 31099 markings/sec, 440 secs
lola: 6964058 markings, 13957242 edges, 16646 markings/sec, 445 secs
lola: 7047466 markings, 14125741 edges, 16682 markings/sec, 450 secs
lola: 7133076 markings, 14295513 edges, 17122 markings/sec, 455 secs
lola: 7215864 markings, 14462449 edges, 16558 markings/sec, 460 secs
lola: 7304381 markings, 14639751 edges, 17703 markings/sec, 465 secs
lola: 7398163 markings, 14830212 edges, 18756 markings/sec, 470 secs
lola: 7480883 markings, 15002547 edges, 16544 markings/sec, 475 secs
lola: 7577223 markings, 15198556 edges, 19268 markings/sec, 480 secs
lola: 7709772 markings, 15460978 edges, 26510 markings/sec, 485 secs
lola: 7836089 markings, 15715310 edges, 25263 markings/sec, 490 secs
lola: 7963574 markings, 15973946 edges, 25497 markings/sec, 495 secs
lola: 8096827 markings, 16236543 edges, 26651 markings/sec, 500 secs
lola: 8228792 markings, 16498990 edges, 26393 markings/sec, 505 secs
lola: 8357839 markings, 16765200 edges, 25809 markings/sec, 510 secs
lola: 8488819 markings, 17041926 edges, 26196 markings/sec, 515 secs
lola: 8633741 markings, 17327616 edges, 28984 markings/sec, 520 secs
lola: 8775935 markings, 17613106 edges, 28439 markings/sec, 525 secs
lola: 8919441 markings, 17904522 edges, 28701 markings/sec, 530 secs
lola: 9084709 markings, 18228765 edges, 33054 markings/sec, 535 secs
lola: 9250066 markings, 18558360 edges, 33071 markings/sec, 540 secs
lola: 9418368 markings, 18894047 edges, 33660 markings/sec, 545 secs
lola: 9582535 markings, 19225077 edges, 32833 markings/sec, 550 secs
lola: 9750896 markings, 19565160 edges, 33672 markings/sec, 555 secs
lola: 9919334 markings, 19899198 edges, 33688 markings/sec, 560 secs
lola: 10090791 markings, 20242156 edges, 34291 markings/sec, 565 secs
lola: 10257503 markings, 20577789 edges, 33342 markings/sec, 570 secs
lola: 10424476 markings, 20912993 edges, 33395 markings/sec, 575 secs
lola: 10593040 markings, 21253042 edges, 33713 markings/sec, 580 secs
lola: 10759510 markings, 21596772 edges, 33294 markings/sec, 585 secs
lola: 10927844 markings, 21933249 edges, 33667 markings/sec, 590 secs
lola: 11113162 markings, 22303168 edges, 37064 markings/sec, 595 secs
lola: 11326307 markings, 22727865 edges, 42629 markings/sec, 600 secs
lola: 11533003 markings, 23157645 edges, 41339 markings/sec, 605 secs
lola: 11749961 markings, 23591177 edges, 43392 markings/sec, 610 secs
lola: 11975483 markings, 24038783 edges, 45104 markings/sec, 615 secs
lola: 12203343 markings, 24498033 edges, 45572 markings/sec, 620 secs
lola: 12385271 markings, 24865920 edges, 36386 markings/sec, 625 secs
lola: 12522833 markings, 25144381 edges, 27512 markings/sec, 630 secs
lola: 12658390 markings, 25419229 edges, 27111 markings/sec, 635 secs
lola: 12802089 markings, 25702661 edges, 28740 markings/sec, 640 secs
lola: 12941642 markings, 25979268 edges, 27911 markings/sec, 645 secs
lola: 13075309 markings, 26248346 edges, 26733 markings/sec, 650 secs
lola: 13212127 markings, 26520186 edges, 27364 markings/sec, 655 secs
lola: 13377362 markings, 26845878 edges, 33047 markings/sec, 660 secs
lola: 13554035 markings, 27198639 edges, 35335 markings/sec, 665 secs
lola: 13731391 markings, 27558326 edges, 35471 markings/sec, 670 secs
lola: 13908352 markings, 27915379 edges, 35392 markings/sec, 675 secs
lola: 14082927 markings, 28263891 edges, 34915 markings/sec, 680 secs
lola: 14256629 markings, 28610504 edges, 34740 markings/sec, 685 secs
lola: 14435018 markings, 28964776 edges, 35678 markings/sec, 690 secs
lola: 14615741 markings, 29323978 edges, 36145 markings/sec, 695 secs
lola: 14785549 markings, 29668943 edges, 33962 markings/sec, 700 secs
lola: 14964888 markings, 30036634 edges, 35868 markings/sec, 705 secs
lola: 15139298 markings, 30381331 edges, 34882 markings/sec, 710 secs
lola: 15314238 markings, 30736311 edges, 34988 markings/sec, 715 secs
lola: 15526950 markings, 31161633 edges, 42542 markings/sec, 720 secs
lola: 15755329 markings, 31618969 edges, 45676 markings/sec, 725 secs
lola: 15871024 markings, 31845412 edges, 23139 markings/sec, 730 secs
lola: 15985615 markings, 32075148 edges, 22918 markings/sec, 735 secs
lola: 16100978 markings, 32308421 edges, 23073 markings/sec, 740 secs
lola: 16220134 markings, 32548264 edges, 23831 markings/sec, 745 secs
lola: 16335866 markings, 32783422 edges, 23146 markings/sec, 750 secs
lola: 16465815 markings, 33042274 edges, 25990 markings/sec, 755 secs
lola: 16610014 markings, 33334980 edges, 28840 markings/sec, 760 secs
lola: 16751489 markings, 33612686 edges, 28295 markings/sec, 765 secs
lola: 16909325 markings, 33926578 edges, 31567 markings/sec, 770 secs
lola: 17070306 markings, 34244657 edges, 32196 markings/sec, 775 secs
lola: 17226421 markings, 34559520 edges, 31223 markings/sec, 780 secs
lola: 17379926 markings, 34874968 edges, 30701 markings/sec, 785 secs
lola: 17536637 markings, 35192344 edges, 31342 markings/sec, 790 secs
lola: 17692292 markings, 35501516 edges, 31131 markings/sec, 795 secs
lola: 17846318 markings, 35815279 edges, 30805 markings/sec, 800 secs
lola: 17933658 markings, 35987634 edges, 17468 markings/sec, 805 secs
lola: 18010989 markings, 36141545 edges, 15466 markings/sec, 810 secs
lola: 18082781 markings, 36285885 edges, 14358 markings/sec, 815 secs
lola: 18157748 markings, 36436057 edges, 14993 markings/sec, 820 secs
lola: 18235078 markings, 36590920 edges, 15466 markings/sec, 825 secs
lola: 18370533 markings, 36856624 edges, 27091 markings/sec, 830 secs
lola: 18517861 markings, 37150843 edges, 29466 markings/sec, 835 secs
lola: 18664065 markings, 37446366 edges, 29241 markings/sec, 840 secs
lola: 18808343 markings, 37741835 edges, 28856 markings/sec, 845 secs
lola: 18920465 markings, 37963650 edges, 22424 markings/sec, 850 secs
lola: 18993190 markings, 38107413 edges, 14545 markings/sec, 855 secs
lola: 19063134 markings, 38248089 edges, 13989 markings/sec, 860 secs
lola: 19130970 markings, 38389435 edges, 13567 markings/sec, 865 secs
lola: 19200719 markings, 38525253 edges, 13950 markings/sec, 870 secs
lola: 19272919 markings, 38667759 edges, 14440 markings/sec, 875 secs
lola: 19346271 markings, 38812704 edges, 14670 markings/sec, 880 secs
lola: 19422421 markings, 38964036 edges, 15230 markings/sec, 885 secs
lola: 19501286 markings, 39117386 edges, 15773 markings/sec, 890 secs
lola: 19573724 markings, 39264384 edges, 14488 markings/sec, 895 secs
lola: 19649256 markings, 39415653 edges, 15106 markings/sec, 900 secs
lola: 19724243 markings, 39567231 edges, 14997 markings/sec, 905 secs
lola: 19795772 markings, 39714685 edges, 14306 markings/sec, 910 secs
lola: 19871292 markings, 39869351 edges, 15104 markings/sec, 915 secs
lola: 19946578 markings, 40023013 edges, 15057 markings/sec, 920 secs
lola: 20076305 markings, 40282714 edges, 25945 markings/sec, 925 secs
lola: 20274269 markings, 40679527 edges, 39593 markings/sec, 930 secs
lola: 20403643 markings, 40941413 edges, 25875 markings/sec, 935 secs
lola: 20476723 markings, 41085599 edges, 14616 markings/sec, 940 secs
lola: 20548644 markings, 41230915 edges, 14384 markings/sec, 945 secs
lola: 20617936 markings, 41368019 edges, 13858 markings/sec, 950 secs
lola: 20689081 markings, 41510373 edges, 14229 markings/sec, 955 secs
lola: 20761722 markings, 41654697 edges, 14528 markings/sec, 960 secs
lola: 20837494 markings, 41803952 edges, 15154 markings/sec, 965 secs
lola: 20909893 markings, 41947032 edges, 14480 markings/sec, 970 secs
lola: 20985628 markings, 42099317 edges, 15147 markings/sec, 975 secs
lola: 21059364 markings, 42248058 edges, 14747 markings/sec, 980 secs
lola: 21133221 markings, 42394783 edges, 14771 markings/sec, 985 secs
lola: 21206716 markings, 42545176 edges, 14699 markings/sec, 990 secs
lola: 21277768 markings, 42690748 edges, 14210 markings/sec, 995 secs
lola: 21352646 markings, 42842671 edges, 14976 markings/sec, 1000 secs
lola: 21470312 markings, 43075412 edges, 23533 markings/sec, 1005 secs
lola: 21620356 markings, 43380417 edges, 30009 markings/sec, 1010 secs
lola: 21774462 markings, 43682755 edges, 30821 markings/sec, 1015 secs
lola: 21862895 markings, 43858156 edges, 17687 markings/sec, 1020 secs
lola: 21939153 markings, 44007729 edges, 15252 markings/sec, 1025 secs
lola: 22015784 markings, 44158751 edges, 15326 markings/sec, 1030 secs
lola: 22089037 markings, 44307965 edges, 14651 markings/sec, 1035 secs
lola: 22162171 markings, 44455199 edges, 14627 markings/sec, 1040 secs
lola: 22233991 markings, 44599871 edges, 14364 markings/sec, 1045 secs
lola: 22305698 markings, 44747336 edges, 14341 markings/sec, 1050 secs
lola: 22379787 markings, 44899289 edges, 14818 markings/sec, 1055 secs
lola: 22453481 markings, 45050519 edges, 14739 markings/sec, 1060 secs
lola: 22531391 markings, 45205831 edges, 15582 markings/sec, 1065 secs
lola: 22612526 markings, 45364790 edges, 16227 markings/sec, 1070 secs
lola: 22690625 markings, 45522798 edges, 15620 markings/sec, 1075 secs
lola: 22768936 markings, 45681145 edges, 15662 markings/sec, 1080 secs
lola: 22846402 markings, 45841654 edges, 15493 markings/sec, 1085 secs
lola: 23039555 markings, 46224518 edges, 38631 markings/sec, 1090 secs
lola: 23242725 markings, 46630303 edges, 40634 markings/sec, 1095 secs
lola: 23320554 markings, 46781289 edges, 15566 markings/sec, 1100 secs
lola: 23394527 markings, 46929316 edges, 14795 markings/sec, 1105 secs
lola: 23470298 markings, 47081006 edges, 15154 markings/sec, 1110 secs
lola: 23546767 markings, 47233714 edges, 15294 markings/sec, 1115 secs
lola: 23622899 markings, 47386138 edges, 15226 markings/sec, 1120 secs
lola: 23697385 markings, 47538569 edges, 14897 markings/sec, 1125 secs
lola: 23770570 markings, 47688598 edges, 14637 markings/sec, 1130 secs
lola: 23847080 markings, 47843627 edges, 15302 markings/sec, 1135 secs
lola: 23943468 markings, 48033037 edges, 19278 markings/sec, 1140 secs
lola: 24057670 markings, 48261506 edges, 22840 markings/sec, 1145 secs
lola: 24170989 markings, 48490972 edges, 22664 markings/sec, 1150 secs
lola: 24284558 markings, 48716423 edges, 22714 markings/sec, 1155 secs
lola: 24362606 markings, 48869875 edges, 15610 markings/sec, 1160 secs
lola: 24436615 markings, 49014680 edges, 14802 markings/sec, 1165 secs
lola: 24511165 markings, 49161690 edges, 14910 markings/sec, 1170 secs
lola: 24582464 markings, 49306653 edges, 14260 markings/sec, 1175 secs
lola: 24653753 markings, 49450582 edges, 14258 markings/sec, 1180 secs
lola: 24724795 markings, 49593139 edges, 14208 markings/sec, 1185 secs
lola: 24794781 markings, 49737355 edges, 13997 markings/sec, 1190 secs
lola: 24866448 markings, 49884518 edges, 14333 markings/sec, 1195 secs
lola: 24939004 markings, 50032393 edges, 14511 markings/sec, 1200 secs
lola: 25050008 markings, 50254480 edges, 22201 markings/sec, 1205 secs
lola: 25209033 markings, 50572990 edges, 31805 markings/sec, 1210 secs
lola: 25362567 markings, 50885495 edges, 30707 markings/sec, 1215 secs
lola: 25526193 markings, 51209113 edges, 32725 markings/sec, 1220 secs
lola: 25687551 markings, 51531646 edges, 32272 markings/sec, 1225 secs
lola: 25856773 markings, 51865656 edges, 33844 markings/sec, 1230 secs
lola: 26033617 markings, 52218817 edges, 35369 markings/sec, 1235 secs
lola: 26206897 markings, 52570218 edges, 34656 markings/sec, 1240 secs
lola: 26385503 markings, 52930592 edges, 35721 markings/sec, 1245 secs
lola: 26556669 markings, 53271902 edges, 34233 markings/sec, 1250 secs
lola: 26728876 markings, 53616418 edges, 34441 markings/sec, 1255 secs
lola: 26840945 markings, 53838357 edges, 22414 markings/sec, 1260 secs
lola: 26918620 markings, 53992750 edges, 15535 markings/sec, 1265 secs
lola: 27001804 markings, 54155261 edges, 16637 markings/sec, 1270 secs
lola: 27075352 markings, 54304334 edges, 14710 markings/sec, 1275 secs
lola: 27151480 markings, 54458338 edges, 15226 markings/sec, 1280 secs
lola: 27224760 markings, 54605683 edges, 14656 markings/sec, 1285 secs
lola: 27296635 markings, 54753689 edges, 14375 markings/sec, 1290 secs
lola: 27376977 markings, 54917955 edges, 16068 markings/sec, 1295 secs
lola: 27451357 markings, 55071822 edges, 14876 markings/sec, 1300 secs
lola: 27529102 markings, 55224888 edges, 15549 markings/sec, 1305 secs
lola: 27609962 markings, 55384003 edges, 16172 markings/sec, 1310 secs
lola: 27682923 markings, 55531790 edges, 14592 markings/sec, 1315 secs
lola: 27760743 markings, 55689131 edges, 15564 markings/sec, 1320 secs
lola: 27837399 markings, 55847934 edges, 15331 markings/sec, 1325 secs
lola: 27919478 markings, 56007874 edges, 16416 markings/sec, 1330 secs
lola: 28003473 markings, 56175768 edges, 16799 markings/sec, 1335 secs
lola: 28087086 markings, 56342176 edges, 16723 markings/sec, 1340 secs
lola: 28170078 markings, 56509534 edges, 16598 markings/sec, 1345 secs
lola: 28283537 markings, 56733330 edges, 22692 markings/sec, 1350 secs
lola: 28440841 markings, 57047193 edges, 31461 markings/sec, 1355 secs
lola: 28614528 markings, 57393755 edges, 34737 markings/sec, 1360 secs
lola: 28776959 markings, 57726232 edges, 32486 markings/sec, 1365 secs
lola: 28906639 markings, 57984141 edges, 25936 markings/sec, 1370 secs
lola: 28986710 markings, 58143362 edges, 16014 markings/sec, 1375 secs
lola: 29061447 markings, 58294312 edges, 14947 markings/sec, 1380 secs
lola: 29140148 markings, 58454927 edges, 15740 markings/sec, 1385 secs
lola: 29218810 markings, 58608709 edges, 15732 markings/sec, 1390 secs
lola: 29300541 markings, 58771296 edges, 16346 markings/sec, 1395 secs
lola: 29383970 markings, 58936744 edges, 16686 markings/sec, 1400 secs
lola: 29475585 markings, 59115196 edges, 18323 markings/sec, 1405 secs
lola: 29558214 markings, 59281976 edges, 16526 markings/sec, 1410 secs
lola: 29642838 markings, 59452851 edges, 16925 markings/sec, 1415 secs
lola: 29724402 markings, 59617718 edges, 16313 markings/sec, 1420 secs
lola: 29808212 markings, 59788355 edges, 16762 markings/sec, 1425 secs
lola: 29897815 markings, 59971121 edges, 17921 markings/sec, 1430 secs
lola: 29986210 markings, 60154298 edges, 17679 markings/sec, 1435 secs
lola: 30199485 markings, 60578354 edges, 42655 markings/sec, 1440 secs
lola: 30369525 markings, 60923205 edges, 34008 markings/sec, 1445 secs
lola: 30448557 markings, 61077966 edges, 15806 markings/sec, 1450 secs
lola: 30528753 markings, 61239695 edges, 16039 markings/sec, 1455 secs
lola: 30605683 markings, 61392804 edges, 15386 markings/sec, 1460 secs
lola: 30689948 markings, 61561302 edges, 16853 markings/sec, 1465 secs
lola: 30774228 markings, 61727105 edges, 16856 markings/sec, 1470 secs
lola: 30856746 markings, 61890487 edges, 16504 markings/sec, 1475 secs
lola: 30937835 markings, 62053424 edges, 16218 markings/sec, 1480 secs
lola: 31029410 markings, 62235004 edges, 18315 markings/sec, 1485 secs
lola: 31114839 markings, 62406516 edges, 17086 markings/sec, 1490 secs
lola: 31197346 markings, 62575579 edges, 16501 markings/sec, 1495 secs
lola: 31279051 markings, 62743612 edges, 16341 markings/sec, 1500 secs
lola: 31369472 markings, 62923972 edges, 18084 markings/sec, 1505 secs
lola: 31531121 markings, 63244131 edges, 32330 markings/sec, 1510 secs
lola: 31693049 markings, 63571141 edges, 32386 markings/sec, 1515 secs
lola: 31820170 markings, 63822050 edges, 25424 markings/sec, 1520 secs
lola: 31899235 markings, 63978534 edges, 15813 markings/sec, 1525 secs
lola: 31986154 markings, 64148585 edges, 17384 markings/sec, 1530 secs
lola: 32061681 markings, 64300968 edges, 15105 markings/sec, 1535 secs
lola: 32140389 markings, 64460251 edges, 15742 markings/sec, 1540 secs
lola: 32216846 markings, 64614268 edges, 15291 markings/sec, 1545 secs
lola: 32293004 markings, 64770362 edges, 15232 markings/sec, 1550 secs
lola: 32376402 markings, 64940882 edges, 16680 markings/sec, 1555 secs
lola: 32451548 markings, 65098599 edges, 15029 markings/sec, 1560 secs
lola: 32535233 markings, 65261550 edges, 16737 markings/sec, 1565 secs
lola: 32620553 markings, 65429670 edges, 17064 markings/sec, 1570 secs
lola: 32700151 markings, 65591757 edges, 15920 markings/sec, 1575 secs
lola: 32785060 markings, 65763238 edges, 16982 markings/sec, 1580 secs
lola: 32906918 markings, 66007322 edges, 24372 markings/sec, 1585 secs
lola: 33120705 markings, 66435299 edges, 42757 markings/sec, 1590 secs
lola: 33346707 markings, 66882254 edges, 45200 markings/sec, 1595 secs
lola: 33569531 markings, 67331202 edges, 44565 markings/sec, 1600 secs
lola: 33793868 markings, 67785013 edges, 44867 markings/sec, 1605 secs
lola: 33921411 markings, 68037535 edges, 25509 markings/sec, 1610 secs
lola: 34009582 markings, 68212123 edges, 17634 markings/sec, 1615 secs
lola: 34091874 markings, 68384742 edges, 16458 markings/sec, 1620 secs
lola: 34174910 markings, 68546695 edges, 16607 markings/sec, 1625 secs
lola: 34260671 markings, 68717008 edges, 17152 markings/sec, 1630 secs
lola: 34351401 markings, 68896723 edges, 18146 markings/sec, 1635 secs
lola: 34444410 markings, 69078414 edges, 18602 markings/sec, 1640 secs
lola: 34536945 markings, 69262861 edges, 18507 markings/sec, 1645 secs
lola: 34627218 markings, 69445356 edges, 18055 markings/sec, 1650 secs
lola: 34715865 markings, 69625001 edges, 17729 markings/sec, 1655 secs
lola: 34806727 markings, 69809985 edges, 18172 markings/sec, 1660 secs
lola: 34899834 markings, 70000006 edges, 18621 markings/sec, 1665 secs
lola: 35009721 markings, 70223523 edges, 21977 markings/sec, 1670 secs
lola: 35186682 markings, 70577104 edges, 35392 markings/sec, 1675 secs
lola: 35350603 markings, 70909917 edges, 32784 markings/sec, 1680 secs
lola: 35437400 markings, 71080081 edges, 17359 markings/sec, 1685 secs
lola: 35522840 markings, 71252356 edges, 17088 markings/sec, 1690 secs
lola: 35603726 markings, 71413053 edges, 16177 markings/sec, 1695 secs
lola: 35692441 markings, 71591688 edges, 17743 markings/sec, 1700 secs
lola: 35785962 markings, 71772937 edges, 18704 markings/sec, 1705 secs
lola: 35875267 markings, 71951462 edges, 17861 markings/sec, 1710 secs
lola: 35967940 markings, 72136765 edges, 18535 markings/sec, 1715 secs
lola: 36056326 markings, 72317240 edges, 17677 markings/sec, 1720 secs
lola: 36149815 markings, 72502868 edges, 18698 markings/sec, 1725 secs
lola: 36237320 markings, 72683041 edges, 17501 markings/sec, 1730 secs
lola: 36329890 markings, 72870078 edges, 18514 markings/sec, 1735 secs
lola: 36514768 markings, 73235110 edges, 36976 markings/sec, 1740 secs
lola: 36735151 markings, 73677438 edges, 44077 markings/sec, 1745 secs
lola: 36845919 markings, 73897793 edges, 22154 markings/sec, 1750 secs
lola: 36933067 markings, 74067904 edges, 17430 markings/sec, 1755 secs
lola: 37019951 markings, 74240989 edges, 17377 markings/sec, 1760 secs
lola: 37106959 markings, 74415113 edges, 17402 markings/sec, 1765 secs
lola: 37190128 markings, 74584485 edges, 16634 markings/sec, 1770 secs
lola: 37272871 markings, 74754397 edges, 16549 markings/sec, 1775 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes no no unknown yes no no no no unknown no no no no no
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no yes no no unknown yes no no no no unknown no no no no no
lola: memory consumption: 7007348 KB
lola: time consumption: 1785 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1784 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (FIREABLE(t343)) OR (G ((F (FIREABLE(t446)) AND (FIREABLE(t561) OR FIREABLE(t446)))) AND F (FIREABLE(t343)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (FIREABLE(t343)) OR (G ((F (FIREABLE(t446)) AND (FIREABLE(t561) OR FIREABLE(t446)))) AND F (FIREABLE(t343)))))
lola: processed formula length: 116
lola: 36 rewrites
lola: closed formula file Vasy2003-PT-none-LTLFireability.task
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
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: 8 markings, 8 edges
lola: ========================================
FORMULA Vasy2003-PT-none-LTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A ((F (FIREABLE(t26)) U G (FIREABLE(t22))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (FIREABLE(t26)) U G (FIREABLE(t22))))
lola: processed formula length: 43
lola: 36 rewrites
lola: closed formula file Vasy2003-PT-none-LTLFireability.task
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 (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 147164 markings, 288172 edges, 29433 markings/sec, 0 secs
lola: 299905 markings, 594566 edges, 30548 markings/sec, 5 secs
lola: 440370 markings, 876812 edges, 28093 markings/sec, 10 secs
lola: 578170 markings, 1149038 edges, 27560 markings/sec, 15 secs
lola: 713281 markings, 1418464 edges, 27022 markings/sec, 20 secs
lola: 840553 markings, 1679858 edges, 25454 markings/sec, 25 secs
lola: 943985 markings, 1890887 edges, 20686 markings/sec, 30 secs
lola: 1006945 markings, 2014482 edges, 12592 markings/sec, 35 secs
lola: 1070730 markings, 2142917 edges, 12757 markings/sec, 40 secs
lola: 1130654 markings, 2264303 edges, 11985 markings/sec, 45 secs
lola: 1190091 markings, 2383292 edges, 11887 markings/sec, 50 secs
lola: 1255747 markings, 2515719 edges, 13131 markings/sec, 55 secs
lola: 1319690 markings, 2642563 edges, 12789 markings/sec, 60 secs
lola: 1381402 markings, 2765926 edges, 12342 markings/sec, 65 secs
lola: 1447618 markings, 2896120 edges, 13243 markings/sec, 70 secs
lola: 1512222 markings, 3024019 edges, 12921 markings/sec, 75 secs
lola: 1576647 markings, 3154220 edges, 12885 markings/sec, 80 secs
lola: 1646262 markings, 3288454 edges, 13923 markings/sec, 85 secs
lola: 1714614 markings, 3423806 edges, 13670 markings/sec, 90 secs
lola: 1784846 markings, 3563782 edges, 14046 markings/sec, 95 secs
lola: 1853739 markings, 3701375 edges, 13779 markings/sec, 100 secs
lola: 1921155 markings, 3839728 edges, 13483 markings/sec, 105 secs
lola: 2015250 markings, 4024654 edges, 18819 markings/sec, 110 secs
lola: 2155667 markings, 4306254 edges, 28083 markings/sec, 115 secs
lola: 2294756 markings, 4585323 edges, 27818 markings/sec, 120 secs
lola: 2436989 markings, 4873858 edges, 28447 markings/sec, 125 secs
lola: 2524343 markings, 5045892 edges, 17471 markings/sec, 130 secs
lola: 2589469 markings, 5174660 edges, 13025 markings/sec, 135 secs
lola: 2653078 markings, 5304235 edges, 12722 markings/sec, 140 secs
lola: 2718675 markings, 5436621 edges, 13119 markings/sec, 145 secs
lola: 2783837 markings, 5567669 edges, 13032 markings/sec, 150 secs
lola: 2849546 markings, 5696575 edges, 13142 markings/sec, 155 secs
lola: 2914131 markings, 5828567 edges, 12917 markings/sec, 160 secs
lola: 2975190 markings, 5952016 edges, 12212 markings/sec, 165 secs
lola: 3045935 markings, 6090412 edges, 14149 markings/sec, 170 secs
lola: 3110962 markings, 6221614 edges, 13005 markings/sec, 175 secs
lola: 3176754 markings, 6356962 edges, 13158 markings/sec, 180 secs
lola: 3245205 markings, 6493396 edges, 13690 markings/sec, 185 secs
lola: 3410354 markings, 6820187 edges, 33030 markings/sec, 190 secs
lola: 3575005 markings, 7149505 edges, 32930 markings/sec, 195 secs
lola: 3748723 markings, 7500208 edges, 34744 markings/sec, 200 secs
lola: 3900480 markings, 7816926 edges, 30351 markings/sec, 205 secs
lola: 3966304 markings, 7945653 edges, 13165 markings/sec, 210 secs
lola: 4034944 markings, 8081472 edges, 13728 markings/sec, 215 secs
lola: 4100273 markings, 8210120 edges, 13066 markings/sec, 220 secs
lola: 4162740 markings, 8340577 edges, 12493 markings/sec, 225 secs
lola: 4229827 markings, 8471538 edges, 13417 markings/sec, 230 secs
lola: 4291912 markings, 8598593 edges, 12417 markings/sec, 235 secs
lola: 4357948 markings, 8734776 edges, 13207 markings/sec, 240 secs
lola: 4429972 markings, 8872963 edges, 14405 markings/sec, 245 secs
lola: 4495085 markings, 9001486 edges, 13023 markings/sec, 250 secs
lola: 4566480 markings, 9145648 edges, 14279 markings/sec, 255 secs
lola: 4632744 markings, 9277283 edges, 13253 markings/sec, 260 secs
lola: 4695530 markings, 9407694 edges, 12557 markings/sec, 265 secs
lola: 4761855 markings, 9545039 edges, 13265 markings/sec, 270 secs
lola: 4825657 markings, 9679698 edges, 12760 markings/sec, 275 secs
lola: 4894006 markings, 9821378 edges, 13670 markings/sec, 280 secs
lola: 4963302 markings, 9956307 edges, 13859 markings/sec, 285 secs
lola: 5034308 markings, 10095362 edges, 14201 markings/sec, 290 secs
lola: 5104491 markings, 10239410 edges, 14037 markings/sec, 295 secs
lola: 5179175 markings, 10388126 edges, 14937 markings/sec, 300 secs
lola: 5252530 markings, 10539028 edges, 14671 markings/sec, 305 secs
lola: 5364600 markings, 10758783 edges, 22414 markings/sec, 310 secs
lola: 5500738 markings, 11032100 edges, 27228 markings/sec, 315 secs
lola: 5617522 markings, 11262190 edges, 23357 markings/sec, 320 secs
lola: 5683227 markings, 11390223 edges, 13141 markings/sec, 325 secs
lola: 5745817 markings, 11516403 edges, 12518 markings/sec, 330 secs
lola: 5810895 markings, 11648611 edges, 13016 markings/sec, 335 secs
lola: 5877661 markings, 11782907 edges, 13353 markings/sec, 340 secs
lola: 5939394 markings, 11906711 edges, 12347 markings/sec, 345 secs
lola: 6005603 markings, 12042487 edges, 13242 markings/sec, 350 secs
lola: 6071117 markings, 12173087 edges, 13103 markings/sec, 355 secs
lola: 6136174 markings, 12302588 edges, 13011 markings/sec, 360 secs
lola: 6204884 markings, 12436808 edges, 13742 markings/sec, 365 secs
lola: 6272729 markings, 12574282 edges, 13569 markings/sec, 370 secs
lola: 6341327 markings, 12711179 edges, 13720 markings/sec, 375 secs
lola: 6408566 markings, 12847670 edges, 13448 markings/sec, 380 secs
lola: 6476919 markings, 12982522 edges, 13671 markings/sec, 385 secs
lola: 6544183 markings, 13119343 edges, 13453 markings/sec, 390 secs
lola: 6647667 markings, 13327277 edges, 20697 markings/sec, 395 secs
lola: 6811887 markings, 13658332 edges, 32844 markings/sec, 400 secs
lola: 6931839 markings, 13893798 edges, 23990 markings/sec, 405 secs
lola: 7017158 markings, 14065543 edges, 17064 markings/sec, 410 secs
lola: 7109576 markings, 14246256 edges, 18484 markings/sec, 415 secs
lola: 7196349 markings, 14423409 edges, 17355 markings/sec, 420 secs
lola: 7287622 markings, 14606547 edges, 18255 markings/sec, 425 secs
lola: 7385496 markings, 14804989 edges, 19575 markings/sec, 430 secs
lola: 7473228 markings, 14986801 edges, 17546 markings/sec, 435 secs
lola: 7572879 markings, 15190431 edges, 19930 markings/sec, 440 secs
lola: 7713660 markings, 15468625 edges, 28156 markings/sec, 445 secs
lola: 7849110 markings, 15741974 edges, 27090 markings/sec, 450 secs
lola: 7983278 markings, 16016823 edges, 26834 markings/sec, 455 secs
lola: 8124469 markings, 16291615 edges, 28238 markings/sec, 460 secs
lola: 8266529 markings, 16575967 edges, 28412 markings/sec, 465 secs
lola: 8401007 markings, 16855307 edges, 26896 markings/sec, 470 secs
lola: 8540607 markings, 17144513 edges, 27920 markings/sec, 475 secs
lola: 8684452 markings, 17427726 edges, 28769 markings/sec, 480 secs
lola: 8833630 markings, 17730304 edges, 29836 markings/sec, 485 secs
lola: 9000176 markings, 18061096 edges, 33309 markings/sec, 490 secs
lola: 9176848 markings, 18414278 edges, 35334 markings/sec, 495 secs
lola: 9355169 markings, 18765808 edges, 35664 markings/sec, 500 secs
lola: 9529826 markings, 19120628 edges, 34931 markings/sec, 505 secs
lola: 9706957 markings, 19475938 edges, 35426 markings/sec, 510 secs
lola: 9885934 markings, 19831465 edges, 35795 markings/sec, 515 secs
lola: 10067812 markings, 20197868 edges, 36376 markings/sec, 520 secs
lola: 10244080 markings, 20552402 edges, 35254 markings/sec, 525 secs
lola: 10421815 markings, 20907335 edges, 35547 markings/sec, 530 secs
lola: 10601587 markings, 21270294 edges, 35954 markings/sec, 535 secs
lola: 10778174 markings, 21635251 edges, 35317 markings/sec, 540 secs
lola: 10957495 markings, 21993895 edges, 35864 markings/sec, 545 secs
lola: 11167802 markings, 22412214 edges, 42061 markings/sec, 550 secs
lola: 11390858 markings, 22863150 edges, 44611 markings/sec, 555 secs
lola: 11614369 markings, 23322936 edges, 44702 markings/sec, 560 secs
lola: 11852792 markings, 23792186 edges, 47685 markings/sec, 565 secs
lola: 12092421 markings, 24275756 edges, 47926 markings/sec, 570 secs
lola: 12326723 markings, 24751501 edges, 46860 markings/sec, 575 secs
lola: 12473504 markings, 25042179 edges, 29356 markings/sec, 580 secs
lola: 12617643 markings, 25333869 edges, 28828 markings/sec, 585 secs
lola: 12764295 markings, 25628917 edges, 29330 markings/sec, 590 secs
lola: 12915577 markings, 25928698 edges, 30256 markings/sec, 595 secs
lola: 13057544 markings, 26211923 edges, 28393 markings/sec, 600 secs
lola: 13199136 markings, 26494297 edges, 28318 markings/sec, 605 secs
lola: 13373848 markings, 26838961 edges, 34942 markings/sec, 610 secs
lola: 13562695 markings, 27216737 edges, 37769 markings/sec, 615 secs
lola: 13746777 markings, 27590979 edges, 36816 markings/sec, 620 secs
lola: 13937406 markings, 27972144 edges, 38126 markings/sec, 625 secs
lola: 14121145 markings, 28345766 edges, 36748 markings/sec, 630 secs
lola: 14307231 markings, 28713201 edges, 37217 markings/sec, 635 secs
lola: 14500684 markings, 29092286 edges, 38691 markings/sec, 640 secs
lola: 14691121 markings, 29476968 edges, 38087 markings/sec, 645 secs
lola: 14876487 markings, 29854373 edges, 37073 markings/sec, 650 secs
lola: 15062333 markings, 30230656 edges, 37169 markings/sec, 655 secs
lola: 15245042 markings, 30596312 edges, 36542 markings/sec, 660 secs
lola: 15448701 markings, 31005287 edges, 40732 markings/sec, 665 secs
lola: 15689398 markings, 31487134 edges, 48139 markings/sec, 670 secs
lola: 15842746 markings, 31790032 edges, 30670 markings/sec, 675 secs
lola: 15959429 markings, 32023581 edges, 23337 markings/sec, 680 secs
lola: 16082771 markings, 32272412 edges, 24668 markings/sec, 685 secs
lola: 16206205 markings, 32519421 edges, 24687 markings/sec, 690 secs
lola: 16330487 markings, 32772796 edges, 24856 markings/sec, 695 secs
lola: 16466734 markings, 33044143 edges, 27249 markings/sec, 700 secs
lola: 16619878 markings, 33355317 edges, 30629 markings/sec, 705 secs
lola: 16773728 markings, 33657504 edges, 30770 markings/sec, 710 secs
lola: 16938148 markings, 33982717 edges, 32884 markings/sec, 715 secs
lola: 17105768 markings, 34316999 edges, 33524 markings/sec, 720 secs
lola: 17267949 markings, 34644281 edges, 32436 markings/sec, 725 secs
lola: 17435943 markings, 34987847 edges, 33599 markings/sec, 730 secs
lola: 17600464 markings, 35317287 edges, 32904 markings/sec, 735 secs
lola: 17761328 markings, 35641571 edges, 32173 markings/sec, 740 secs
lola: 17896930 markings, 35916623 edges, 27120 markings/sec, 745 secs
lola: 17979307 markings, 36078516 edges, 16475 markings/sec, 750 secs
lola: 18057640 markings, 36237323 edges, 15667 markings/sec, 755 secs
lola: 18134916 markings, 36390216 edges, 15455 markings/sec, 760 secs
lola: 18218491 markings, 36558644 edges, 16715 markings/sec, 765 secs
lola: 18347728 markings, 36811997 edges, 25847 markings/sec, 770 secs
lola: 18501028 markings, 37117570 edges, 30660 markings/sec, 775 secs
lola: 18655389 markings, 37427713 edges, 30872 markings/sec, 780 secs
lola: 18807093 markings, 37739370 edges, 30341 markings/sec, 785 secs
lola: 18924452 markings, 37970843 edges, 23472 markings/sec, 790 secs
lola: 19002435 markings, 38126230 edges, 15597 markings/sec, 795 secs
lola: 19074264 markings, 38270871 edges, 14366 markings/sec, 800 secs
lola: 19147307 markings, 38421650 edges, 14609 markings/sec, 805 secs
lola: 19219832 markings, 38563832 edges, 14505 markings/sec, 810 secs
lola: 19294568 markings, 38712262 edges, 14947 markings/sec, 815 secs
lola: 19373716 markings, 38867889 edges, 15830 markings/sec, 820 secs
lola: 19453855 markings, 39024381 edges, 16028 markings/sec, 825 secs
lola: 19534383 markings, 39185004 edges, 16106 markings/sec, 830 secs
lola: 19613638 markings, 39343859 edges, 15851 markings/sec, 835 secs
lola: 19692166 markings, 39502994 edges, 15706 markings/sec, 840 secs
lola: 19766589 markings, 39654225 edges, 14885 markings/sec, 845 secs
lola: 19846999 markings, 39817276 edges, 16082 markings/sec, 850 secs
lola: 19927855 markings, 39983192 edges, 16171 markings/sec, 855 secs
lola: 20028737 markings, 40189014 edges, 20176 markings/sec, 860 secs
lola: 20237693 markings, 40606053 edges, 41791 markings/sec, 865 secs
lola: 20393748 markings, 40922379 edges, 31211 markings/sec, 870 secs
lola: 20470806 markings, 41073711 edges, 15412 markings/sec, 875 secs
lola: 20545826 markings, 41225135 edges, 15004 markings/sec, 880 secs
lola: 20617944 markings, 41368027 edges, 14424 markings/sec, 885 secs
lola: 20695760 markings, 41523697 edges, 15563 markings/sec, 890 secs
lola: 20775003 markings, 41679787 edges, 15849 markings/sec, 895 secs
lola: 20855631 markings, 41839305 edges, 16126 markings/sec, 900 secs
lola: 20932922 markings, 41994093 edges, 15458 markings/sec, 905 secs
lola: 21015565 markings, 42158114 edges, 16529 markings/sec, 910 secs
lola: 21092291 markings, 42315494 edges, 15345 markings/sec, 915 secs
lola: 21173704 markings, 42477605 edges, 16283 markings/sec, 920 secs
lola: 21248299 markings, 42632163 edges, 14919 markings/sec, 925 secs
lola: 21330282 markings, 42796377 edges, 16397 markings/sec, 930 secs
lola: 21433411 markings, 43000361 edges, 20626 markings/sec, 935 secs
lola: 21584520 markings, 43305491 edges, 30222 markings/sec, 940 secs
lola: 21737346 markings, 43609010 edges, 30565 markings/sec, 945 secs
lola: 21846566 markings, 43825359 edges, 21844 markings/sec, 950 secs
lola: 21921886 markings, 43975090 edges, 15064 markings/sec, 955 secs
lola: 21999168 markings, 44125637 edges, 15456 markings/sec, 960 secs
lola: 22071550 markings, 44272109 edges, 14476 markings/sec, 965 secs
lola: 22145469 markings, 44420344 edges, 14784 markings/sec, 970 secs
lola: 22218766 markings, 44568559 edges, 14659 markings/sec, 975 secs
lola: 22288745 markings, 44712907 edges, 13996 markings/sec, 980 secs
lola: 22363729 markings, 44865310 edges, 14997 markings/sec, 985 secs
lola: 22437875 markings, 45016857 edges, 14829 markings/sec, 990 secs
lola: 22511060 markings, 45167403 edges, 14637 markings/sec, 995 secs
lola: 22592645 markings, 45326014 edges, 16317 markings/sec, 1000 secs
lola: 22670928 markings, 45483136 edges, 15657 markings/sec, 1005 secs
lola: 22744606 markings, 45633294 edges, 14736 markings/sec, 1010 secs
lola: 22825243 markings, 45795402 edges, 16127 markings/sec, 1015 secs
lola: 22977602 markings, 46099133 edges, 30472 markings/sec, 1020 secs
lola: 23184097 markings, 46512717 edges, 41299 markings/sec, 1025 secs
lola: 23298576 markings, 46738321 edges, 22896 markings/sec, 1030 secs
lola: 23371337 markings, 46883220 edges, 14552 markings/sec, 1035 secs
lola: 23445654 markings, 47032621 edges, 14863 markings/sec, 1040 secs
lola: 23525231 markings, 47188799 edges, 15915 markings/sec, 1045 secs
lola: 23597312 markings, 47336376 edges, 14416 markings/sec, 1050 secs
lola: 23675636 markings, 47493131 edges, 15665 markings/sec, 1055 secs
lola: 23745808 markings, 47639311 edges, 14034 markings/sec, 1060 secs
lola: 23824186 markings, 47796508 edges, 15676 markings/sec, 1065 secs
lola: 23905771 markings, 47958524 edges, 16317 markings/sec, 1070 secs
lola: 24019885 markings, 48184298 edges, 22823 markings/sec, 1075 secs
lola: 24127180 markings, 48406655 edges, 21459 markings/sec, 1080 secs
lola: 24238736 markings, 48623740 edges, 22311 markings/sec, 1085 secs
lola: 24332524 markings, 48810240 edges, 18758 markings/sec, 1090 secs
lola: 24404939 markings, 48953800 edges, 14483 markings/sec, 1095 secs
lola: 24478935 markings, 49098293 edges, 14799 markings/sec, 1100 secs
lola: 24551471 markings, 49243074 edges, 14507 markings/sec, 1105 secs
lola: 24622731 markings, 49385743 edges, 14252 markings/sec, 1110 secs
lola: 24693452 markings, 49529677 edges, 14144 markings/sec, 1115 secs
lola: 24760338 markings, 49666544 edges, 13377 markings/sec, 1120 secs
lola: 24832985 markings, 49813569 edges, 14529 markings/sec, 1125 secs
lola: 24906539 markings, 49964167 edges, 14711 markings/sec, 1130 secs
lola: 24972729 markings, 50104970 edges, 13238 markings/sec, 1135 secs
lola: 25125369 markings, 50402211 edges, 30528 markings/sec, 1140 secs
lola: 25277133 markings, 50710083 edges, 30353 markings/sec, 1145 secs
lola: 25431420 markings, 51019435 edges, 30857 markings/sec, 1150 secs
lola: 25590955 markings, 51337696 edges, 31907 markings/sec, 1155 secs
lola: 25753105 markings, 51661841 edges, 32430 markings/sec, 1160 secs
lola: 25920206 markings, 51992430 edges, 33420 markings/sec, 1165 secs
lola: 26095930 markings, 52345593 edges, 35145 markings/sec, 1170 secs
lola: 26269017 markings, 52697601 edges, 34617 markings/sec, 1175 secs
lola: 26446016 markings, 53050974 edges, 35400 markings/sec, 1180 secs
lola: 26613065 markings, 53390182 edges, 33410 markings/sec, 1185 secs
lola: 26791642 markings, 53743172 edges, 35715 markings/sec, 1190 secs
lola: 26865733 markings, 53889163 edges, 14818 markings/sec, 1195 secs
lola: 26946723 markings, 54046414 edges, 16198 markings/sec, 1200 secs
lola: 27025829 markings, 54203990 edges, 15821 markings/sec, 1205 secs
lola: 27100823 markings, 54354761 edges, 14999 markings/sec, 1210 secs
lola: 27178691 markings, 54512689 edges, 15574 markings/sec, 1215 secs
lola: 27249910 markings, 54656873 edges, 14244 markings/sec, 1220 secs
lola: 27329923 markings, 54819649 edges, 16003 markings/sec, 1225 secs
lola: 27409193 markings, 54982113 edges, 15854 markings/sec, 1230 secs
lola: 27479851 markings, 55130569 edges, 14132 markings/sec, 1235 secs
lola: 27559662 markings, 55285744 edges, 15962 markings/sec, 1240 secs
lola: 27638269 markings, 55441253 edges, 15721 markings/sec, 1245 secs
lola: 27713554 markings, 55594150 edges, 15057 markings/sec, 1250 secs
lola: 27791875 markings, 55752466 edges, 15664 markings/sec, 1255 secs
lola: 27868890 markings, 55909653 edges, 15403 markings/sec, 1260 secs
lola: 27951629 markings, 56071879 edges, 16548 markings/sec, 1265 secs
lola: 28035037 markings, 56240185 edges, 16682 markings/sec, 1270 secs
lola: 28113501 markings, 56396079 edges, 15693 markings/sec, 1275 secs
lola: 28201040 markings, 56572412 edges, 17508 markings/sec, 1280 secs
lola: 28338481 markings, 56841842 edges, 27488 markings/sec, 1285 secs
lola: 28500487 markings, 57164867 edges, 32401 markings/sec, 1290 secs
lola: 28667360 markings, 57500934 edges, 33375 markings/sec, 1295 secs
lola: 28827272 markings, 57827291 edges, 31982 markings/sec, 1300 secs
lola: 28926973 markings, 58023979 edges, 19940 markings/sec, 1305 secs
lola: 29008108 markings, 58185258 edges, 16227 markings/sec, 1310 secs
lola: 29078758 markings, 58331458 edges, 14130 markings/sec, 1315 secs
lola: 29160550 markings, 58494589 edges, 16358 markings/sec, 1320 secs
lola: 29239548 markings, 58649148 edges, 15800 markings/sec, 1325 secs
lola: 29319973 markings, 58809638 edges, 16085 markings/sec, 1330 secs
lola: 29404348 markings, 58976597 edges, 16875 markings/sec, 1335 secs
lola: 29496325 markings, 59156609 edges, 18395 markings/sec, 1340 secs
lola: 29577152 markings, 59320805 edges, 16165 markings/sec, 1345 secs
lola: 29661369 markings, 59491200 edges, 16843 markings/sec, 1350 secs
lola: 29742217 markings, 59653261 edges, 16170 markings/sec, 1355 secs
lola: 29829825 markings, 59831632 edges, 17522 markings/sec, 1360 secs
lola: 29916804 markings, 60010633 edges, 17396 markings/sec, 1365 secs
lola: 30031891 markings, 60242532 edges, 23017 markings/sec, 1370 secs
lola: 30242380 markings, 60664547 edges, 42098 markings/sec, 1375 secs
lola: 30386153 markings, 60955120 edges, 28755 markings/sec, 1380 secs
lola: 30465250 markings, 61110988 edges, 15819 markings/sec, 1385 secs
lola: 30542909 markings, 61269129 edges, 15532 markings/sec, 1390 secs
lola: 30620895 markings, 61423357 edges, 15597 markings/sec, 1395 secs
lola: 30704291 markings, 61590962 edges, 16679 markings/sec, 1400 secs
lola: 30791222 markings, 61759430 edges, 17386 markings/sec, 1405 secs
lola: 30869129 markings, 61916373 edges, 15581 markings/sec, 1410 secs
lola: 30951072 markings, 62079060 edges, 16389 markings/sec, 1415 secs
lola: 31038760 markings, 62255086 edges, 17538 markings/sec, 1420 secs
lola: 31125289 markings, 62427737 edges, 17306 markings/sec, 1425 secs
lola: 31205253 markings, 62591513 edges, 15993 markings/sec, 1430 secs
lola: 31286862 markings, 62759789 edges, 16322 markings/sec, 1435 secs
lola: 31381660 markings, 62947103 edges, 18960 markings/sec, 1440 secs
lola: 31539363 markings, 63261704 edges, 31541 markings/sec, 1445 secs
lola: 31698919 markings, 63582921 edges, 31911 markings/sec, 1450 secs
lola: 31822048 markings, 63825436 edges, 24626 markings/sec, 1455 secs
lola: 31900822 markings, 63981771 edges, 15755 markings/sec, 1460 secs
lola: 31988002 markings, 64152266 edges, 17436 markings/sec, 1465 secs
lola: 32063338 markings, 64304265 edges, 15067 markings/sec, 1470 secs
lola: 32141694 markings, 64463025 edges, 15671 markings/sec, 1475 secs
lola: 32217988 markings, 64616698 edges, 15259 markings/sec, 1480 secs
lola: 32294291 markings, 64773008 edges, 15261 markings/sec, 1485 secs
lola: 32377779 markings, 64943380 edges, 16698 markings/sec, 1490 secs
lola: 32452456 markings, 65100554 edges, 14935 markings/sec, 1495 secs
lola: 32536216 markings, 65263447 edges, 16752 markings/sec, 1500 secs
lola: 32620962 markings, 65430569 edges, 16949 markings/sec, 1505 secs
lola: 32700328 markings, 65592089 edges, 15873 markings/sec, 1510 secs
lola: 32784854 markings, 65762836 edges, 16905 markings/sec, 1515 secs
lola: 32905852 markings, 66005021 edges, 24200 markings/sec, 1520 secs
lola: 33118791 markings, 66431396 edges, 42588 markings/sec, 1525 secs
lola: 33344475 markings, 66877629 edges, 45137 markings/sec, 1530 secs
lola: 33566449 markings, 67325158 edges, 44395 markings/sec, 1535 secs
lola: 33790053 markings, 67777619 edges, 44721 markings/sec, 1540 secs
lola: 33920138 markings, 68034970 edges, 26017 markings/sec, 1545 secs
lola: 34008298 markings, 68209629 edges, 17632 markings/sec, 1550 secs
lola: 34091109 markings, 68383052 edges, 16562 markings/sec, 1555 secs
lola: 34174470 markings, 68545705 edges, 16672 markings/sec, 1560 secs
lola: 34259605 markings, 68714614 edges, 17027 markings/sec, 1565 secs
lola: 34349469 markings, 68892584 edges, 17973 markings/sec, 1570 secs
lola: 34438853 markings, 69067446 edges, 17877 markings/sec, 1575 secs
lola: 34523803 markings, 69236563 edges, 16990 markings/sec, 1580 secs
lola: 34612023 markings, 69413155 edges, 17644 markings/sec, 1585 secs
lola: 34699325 markings, 69590503 edges, 17460 markings/sec, 1590 secs
lola: 34785391 markings, 69767542 edges, 17213 markings/sec, 1595 secs
lola: 34878288 markings, 69956060 edges, 18579 markings/sec, 1600 secs
lola: 34964389 markings, 70136569 edges, 17220 markings/sec, 1605 secs
lola: 35138304 markings, 70478419 edges, 34783 markings/sec, 1610 secs
lola: 35310556 markings, 70828163 edges, 34450 markings/sec, 1615 secs
lola: 35409034 markings, 71023530 edges, 19696 markings/sec, 1620 secs
lola: 35495880 markings, 71196994 edges, 17369 markings/sec, 1625 secs
lola: 35577077 markings, 71358553 edges, 16239 markings/sec, 1630 secs
lola: 35661402 markings, 71528507 edges, 16865 markings/sec, 1635 secs
lola: 35751466 markings, 71705777 edges, 18013 markings/sec, 1640 secs
lola: 35841906 markings, 71884737 edges, 18088 markings/sec, 1645 secs
lola: 35932787 markings, 72067538 edges, 18176 markings/sec, 1650 secs
lola: 36025029 markings, 72251008 edges, 18448 markings/sec, 1655 secs
lola: 36115639 markings, 72432864 edges, 18122 markings/sec, 1660 secs
lola: 36203657 markings, 72613259 edges, 17604 markings/sec, 1665 secs
lola: 36297490 markings, 72804220 edges, 18767 markings/sec, 1670 secs
lola: 36427887 markings, 73063276 edges, 26079 markings/sec, 1675 secs
lola: 36647069 markings, 73504199 edges, 43836 markings/sec, 1680 secs
lola: 36812409 markings, 73830734 edges, 33068 markings/sec, 1685 secs
lola: 36899051 markings, 74002560 edges, 17328 markings/sec, 1690 secs
lola: 36988502 markings, 74177190 edges, 17890 markings/sec, 1695 secs
lola: 37072705 markings, 74348318 edges, 16841 markings/sec, 1700 secs
lola: 37157868 markings, 74519787 edges, 17033 markings/sec, 1705 secs
lola: 37239090 markings, 74684896 edges, 16244 markings/sec, 1710 secs
lola: 37326854 markings, 74862881 edges, 17553 markings/sec, 1715 secs
lola: 37411505 markings, 75037110 edges, 16930 markings/sec, 1720 secs
lola: 37498428 markings, 75213754 edges, 17385 markings/sec, 1725 secs
lola: 37590494 markings, 75393686 edges, 18413 markings/sec, 1730 secs
lola: 37679412 markings, 75574998 edges, 17784 markings/sec, 1735 secs
lola: 37768779 markings, 75754884 edges, 17873 markings/sec, 1740 secs
lola: 37882892 markings, 75984674 edges, 22823 markings/sec, 1745 secs
lola: 38058788 markings, 76334619 edges, 35179 markings/sec, 1750 secs
lola: 38226369 markings, 76669552 edges, 33516 markings/sec, 1755 secs
lola: 38313912 markings, 76841829 edges, 17509 markings/sec, 1760 secs
lola: 38396483 markings, 77005800 edges, 16514 markings/sec, 1765 secs
lola: 38483844 markings, 77180318 edges, 17472 markings/sec, 1770 secs
lola: 38564739 markings, 77345332 edges, 16179 markings/sec, 1775 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes no no unknown yes no no no no no no no no no no
lola:
preliminary result: no yes no no unknown yes no no no no no no no no no no lola:
caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no no unknown yes no no no no no no no no no no
lola: memory consumption: 7246284 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no no unknown yes no no no no no no no no no no
lola: memory consumption: 7246284 KB
lola: time consumption: 3570 seconds
BK_STOP 1554539633081
--------------------
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="Vasy2003-PT-none"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="win2018"
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-3954"
echo " Executing tool win2018"
echo " Input is Vasy2003-PT-none, 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 r176-oct2-155297760900153"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Vasy2003-PT-none.tgz
mv Vasy2003-PT-none execution
cd execution
if [ "LTLFireability" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "LTLFireability" = "UpperBounds" ] ; 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
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 ;