About the Execution of LoLA for DatabaseWithMutex-PT-40
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4765.590 | 3594211.00 | 7278763.00 | 192.50 | [undef] | Cannot compute |
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.r049-oct2-155234405700840.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 lola
Input is DatabaseWithMutex-PT-40, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-155234405700840
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 37M
-rw-r--r-- 1 mcc users 691K Feb 10 20:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.9M Feb 10 20:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 814K Feb 6 16:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 2.8M Feb 6 16:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 110 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 348 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 439K Feb 4 23:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1.1M Feb 4 23:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 238K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 763K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 726K Feb 3 06:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 2.0M Feb 3 06:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 619K Jan 30 23:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.1M Jan 30 23:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 119K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 249K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 23M 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 DatabaseWithMutex-PT-40-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1554421309797
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ DatabaseWithMutex-PT-40 @ 3570 seconds
vrfy: finished
info: timeLeft: -24
rslt: Output for GlobalProperties @ DatabaseWithMutex-PT-40
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu Apr 4 23:41:49 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 774040,
"runtime": 3573.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"JSON": "GlobalProperties.json",
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 156800,
"conflict_clusters": 6560,
"places": 12920,
"places_significant": 11200,
"singleton_clusters": 0,
"transitions": 12800
},
"task":
{
"findpath":
{
"depthlimit": 1000000,
"retrylimit": null,
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 2
},
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"symmetry":
{
"card": 665717749437497243537916371677516558290557019279388484799929000833609028604006313655779622649856.000000,
"composed": 4748,
"dead_branches": 0,
"generators": 4848,
"interrupted": false,
"real_computed": 100,
"timelimit": 300
},
"threads": 2,
"type": "dfs"
},
"type": "reachability",
"workflow": "findpath||search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 25720/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 413440
lola: finding significant places
lola: 12920 places, 12800 transitions, 11200 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: 1 tries, 30960 fired transitions, 0 secs
lola: 4320 generators;81645094 candidates remain ( 0%), 0 secs
lola: computed 4848 generators (100 in search tree, 4748 by composition)
lola: representing 6.65718E+95 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 62157 fired transitions, 5 secs || 1 markings, 1 edges, 0 markings/sec, 5 secs
lola: 1 tries, 91388 fired transitions, 10 secs || 1 markings, 1 edges, 0 markings/sec, 10 secs
lola: 1 tries, 121254 fired transitions, 15 secs || 1 markings, 1 edges, 0 markings/sec, 15 secs
lola: 1 tries, 151065 fired transitions, 20 secs || 1 markings, 1 edges, 0 markings/sec, 20 secs
lola: 1 tries, 182564 fired transitions, 25 secs || 1 markings, 1 edges, 0 markings/sec, 25 secs
lola: 1 tries, 212608 fired transitions, 30 secs || 1 markings, 1 edges, 0 markings/sec, 30 secs
lola: 1 tries, 242978 fired transitions, 35 secs || 1 markings, 1 edges, 0 markings/sec, 35 secs
lola: 1 tries, 274564 fired transitions, 40 secs || 1 markings, 1 edges, 0 markings/sec, 40 secs
lola: 1 tries, 308496 fired transitions, 45 secs || 1 markings, 1 edges, 0 markings/sec, 45 secs
lola: 1 tries, 340898 fired transitions, 50 secs || 1 markings, 1 edges, 0 markings/sec, 50 secs
lola: 1 tries, 372279 fired transitions, 55 secs || 1 markings, 1 edges, 0 markings/sec, 55 secs
lola: 1 tries, 403660 fired transitions, 60 secs || 1 markings, 1 edges, 0 markings/sec, 60 secs
lola: 1 tries, 435681 fired transitions, 65 secs || 1 markings, 1 edges, 0 markings/sec, 65 secs
lola: 1 tries, 470015 fired transitions, 70 secs || 1 markings, 1 edges, 0 markings/sec, 70 secs
lola: 1 tries, 503977 fired transitions, 75 secs || 1 markings, 1 edges, 0 markings/sec, 75 secs
lola: 1 tries, 537942 fired transitions, 80 secs || 1 markings, 1 edges, 0 markings/sec, 80 secs
lola: 1 tries, 572566 fired transitions, 85 secs || 1 markings, 1 edges, 0 markings/sec, 85 secs
lola: 1 tries, 607165 fired transitions, 90 secs || 1 markings, 1 edges, 0 markings/sec, 90 secs
lola: 1 tries, 641447 fired transitions, 95 secs || 1 markings, 1 edges, 0 markings/sec, 95 secs
lola: 1 tries, 675808 fired transitions, 100 secs || 1 markings, 1 edges, 0 markings/sec, 100 secs
lola: 1 tries, 708469 fired transitions, 105 secs || 1 markings, 1 edges, 0 markings/sec, 105 secs
lola: 1 tries, 739802 fired transitions, 110 secs || 1 markings, 1 edges, 0 markings/sec, 110 secs
lola: 1 tries, 771123 fired transitions, 115 secs || 1 markings, 1 edges, 0 markings/sec, 115 secs
lola: 1 tries, 802413 fired transitions, 120 secs || 1 markings, 1 edges, 0 markings/sec, 120 secs
lola: 1 tries, 833773 fired transitions, 125 secs || 1 markings, 1 edges, 0 markings/sec, 125 secs
lola: 1 tries, 865203 fired transitions, 130 secs || 1 markings, 1 edges, 0 markings/sec, 130 secs
lola: 1 tries, 896596 fired transitions, 135 secs || 1 markings, 1 edges, 0 markings/sec, 135 secs
lola: 1 tries, 927992 fired transitions, 140 secs || 1 markings, 1 edges, 0 markings/sec, 140 secs
lola: 1 tries, 959388 fired transitions, 145 secs || 1 markings, 1 edges, 0 markings/sec, 145 secs
lola: 1 tries, 992321 fired transitions, 150 secs || 1 markings, 1 edges, 0 markings/sec, 150 secs
lola: 2 tries, 1026806 fired transitions, 155 secs || 1 markings, 1 edges, 0 markings/sec, 155 secs
lola: 2 tries, 1061299 fired transitions, 160 secs || 1 markings, 1 edges, 0 markings/sec, 160 secs
lola: 2 tries, 1095826 fired transitions, 165 secs || 1 markings, 1 edges, 0 markings/sec, 165 secs
lola: 2 tries, 1130341 fired transitions, 170 secs || 1 markings, 1 edges, 0 markings/sec, 170 secs
lola: 2 tries, 1164828 fired transitions, 175 secs || 1 markings, 1 edges, 0 markings/sec, 175 secs
lola: 2 tries, 1199361 fired transitions, 180 secs || 1 markings, 1 edges, 0 markings/sec, 180 secs
lola: 2 tries, 1232327 fired transitions, 185 secs || 1 markings, 1 edges, 0 markings/sec, 185 secs
lola: 2 tries, 1263865 fired transitions, 190 secs || 1 markings, 1 edges, 0 markings/sec, 190 secs
lola: 2 tries, 1295435 fired transitions, 195 secs || 1 markings, 1 edges, 0 markings/sec, 195 secs
lola: 2 tries, 1326972 fired transitions, 200 secs || 1 markings, 1 edges, 0 markings/sec, 200 secs
lola: 2 tries, 1358519 fired transitions, 205 secs || 1 markings, 1 edges, 0 markings/sec, 205 secs
lola: 2 tries, 1390060 fired transitions, 210 secs || 1 markings, 1 edges, 0 markings/sec, 210 secs
lola: 2 tries, 1421885 fired transitions, 215 secs || 1 markings, 1 edges, 0 markings/sec, 215 secs
lola: 2 tries, 1453843 fired transitions, 220 secs || 1 markings, 1 edges, 0 markings/sec, 220 secs
lola: 2 tries, 1485840 fired transitions, 225 secs || 1 markings, 1 edges, 0 markings/sec, 225 secs
lola: 2 tries, 1517713 fired transitions, 230 secs || 1 markings, 1 edges, 0 markings/sec, 230 secs
lola: 2 tries, 1549470 fired transitions, 235 secs || 1 markings, 1 edges, 0 markings/sec, 235 secs
lola: 2 tries, 1584185 fired transitions, 240 secs || 1 markings, 1 edges, 0 markings/sec, 240 secs
lola: 2 tries, 1618869 fired transitions, 245 secs || 1 markings, 1 edges, 0 markings/sec, 245 secs
lola: 2 tries, 1653520 fired transitions, 250 secs || 1 markings, 1 edges, 0 markings/sec, 250 secs
lola: 2 tries, 1688161 fired transitions, 255 secs || 1 markings, 1 edges, 0 markings/sec, 255 secs
lola: 2 tries, 1722845 fired transitions, 260 secs || 1 markings, 1 edges, 0 markings/sec, 260 secs
lola: 2 tries, 1757538 fired transitions, 265 secs || 1 markings, 1 edges, 0 markings/sec, 265 secs
lola: 2 tries, 1792554 fired transitions, 270 secs || 1 markings, 1 edges, 0 markings/sec, 270 secs
lola: 2 tries, 1827207 fired transitions, 275 secs || 1 markings, 1 edges, 0 markings/sec, 275 secs
lola: 2 tries, 1861891 fired transitions, 280 secs || 1 markings, 1 edges, 0 markings/sec, 280 secs
lola: 2 tries, 1896472 fired transitions, 285 secs || 1 markings, 1 edges, 0 markings/sec, 285 secs
lola: 2 tries, 1931159 fired transitions, 290 secs || 1 markings, 1 edges, 0 markings/sec, 290 secs
lola: 2 tries, 1965849 fired transitions, 295 secs || 1 markings, 1 edges, 0 markings/sec, 295 secs
lola: 3 tries, 2000584 fired transitions, 300 secs || 1 markings, 1 edges, 0 markings/sec, 300 secs
lola: 3 tries, 2035225 fired transitions, 305 secs || 1 markings, 1 edges, 0 markings/sec, 305 secs
lola: 3 tries, 2069940 fired transitions, 310 secs || 1 markings, 1 edges, 0 markings/sec, 310 secs
lola: 3 tries, 2104657 fired transitions, 315 secs || 1 markings, 1 edges, 0 markings/sec, 315 secs
lola: 3 tries, 2139365 fired transitions, 320 secs || 1 markings, 1 edges, 0 markings/sec, 320 secs
lola: 3 tries, 2174049 fired transitions, 325 secs || 1 markings, 1 edges, 0 markings/sec, 325 secs
lola: 3 tries, 2208766 fired transitions, 330 secs || 1 markings, 1 edges, 0 markings/sec, 330 secs
lola: 3 tries, 2243486 fired transitions, 335 secs || 1 markings, 1 edges, 0 markings/sec, 335 secs
lola: 3 tries, 2278194 fired transitions, 340 secs || 1 markings, 1 edges, 0 markings/sec, 340 secs
lola: 3 tries, 2312905 fired transitions, 345 secs || 1 markings, 1 edges, 0 markings/sec, 345 secs
lola: 3 tries, 2347613 fired transitions, 350 secs || 1 markings, 1 edges, 0 markings/sec, 350 secs
lola: 3 tries, 2382268 fired transitions, 355 secs || 1 markings, 1 edges, 0 markings/sec, 355 secs
lola: 3 tries, 2415933 fired transitions, 360 secs || 1 markings, 1 edges, 0 markings/sec, 360 secs
lola: 3 tries, 2448736 fired transitions, 365 secs || 1 markings, 1 edges, 0 markings/sec, 365 secs
lola: 3 tries, 2482958 fired transitions, 370 secs || 1 markings, 1 edges, 0 markings/sec, 370 secs
lola: 3 tries, 2517065 fired transitions, 375 secs || 1 markings, 1 edges, 0 markings/sec, 375 secs
lola: 3 tries, 2551338 fired transitions, 380 secs || 1 markings, 1 edges, 0 markings/sec, 380 secs
lola: 3 tries, 2585536 fired transitions, 385 secs || 1 markings, 1 edges, 0 markings/sec, 385 secs
lola: 3 tries, 2619830 fired transitions, 390 secs || 1 markings, 1 edges, 0 markings/sec, 390 secs
lola: 3 tries, 2653255 fired transitions, 395 secs || 1 markings, 1 edges, 0 markings/sec, 395 secs
lola: 3 tries, 2684736 fired transitions, 400 secs || 1 markings, 1 edges, 0 markings/sec, 400 secs
lola: 3 tries, 2716295 fired transitions, 405 secs || 1 markings, 1 edges, 0 markings/sec, 405 secs
lola: 3 tries, 2747915 fired transitions, 410 secs || 1 markings, 1 edges, 0 markings/sec, 410 secs
lola: 3 tries, 2779492 fired transitions, 415 secs || 1 markings, 1 edges, 0 markings/sec, 415 secs
lola: 3 tries, 2811121 fired transitions, 420 secs || 1 markings, 1 edges, 0 markings/sec, 420 secs
lola: 3 tries, 2844002 fired transitions, 425 secs || 1 markings, 1 edges, 0 markings/sec, 425 secs
lola: 3 tries, 2876754 fired transitions, 430 secs || 1 markings, 1 edges, 0 markings/sec, 430 secs
lola: 3 tries, 2908280 fired transitions, 435 secs || 1 markings, 1 edges, 0 markings/sec, 435 secs
lola: 3 tries, 2939863 fired transitions, 440 secs || 1 markings, 1 edges, 0 markings/sec, 440 secs
lola: 3 tries, 2971513 fired transitions, 445 secs || 1 markings, 1 edges, 0 markings/sec, 445 secs
lola: 4 tries, 3004013 fired transitions, 450 secs || 1 markings, 1 edges, 0 markings/sec, 450 secs
lola: 4 tries, 3037064 fired transitions, 455 secs || 1 markings, 1 edges, 0 markings/sec, 455 secs
lola: 4 tries, 3070812 fired transitions, 460 secs || 1 markings, 1 edges, 0 markings/sec, 460 secs
lola: 4 tries, 3104345 fired transitions, 465 secs || 1 markings, 1 edges, 0 markings/sec, 465 secs
lola: 4 tries, 3137674 fired transitions, 470 secs || 1 markings, 1 edges, 0 markings/sec, 470 secs
lola: 4 tries, 3170984 fired transitions, 475 secs || 1 markings, 1 edges, 0 markings/sec, 475 secs
lola: 4 tries, 3204294 fired transitions, 480 secs || 1 markings, 1 edges, 0 markings/sec, 480 secs
lola: 4 tries, 3237607 fired transitions, 485 secs || 1 markings, 1 edges, 0 markings/sec, 485 secs
lola: 4 tries, 3270908 fired transitions, 490 secs || 1 markings, 1 edges, 0 markings/sec, 490 secs
lola: 4 tries, 3304252 fired transitions, 495 secs || 1 markings, 1 edges, 0 markings/sec, 495 secs
lola: 4 tries, 3337562 fired transitions, 500 secs || 1 markings, 1 edges, 0 markings/sec, 500 secs
lola: 4 tries, 3370872 fired transitions, 505 secs || 1 markings, 1 edges, 0 markings/sec, 505 secs
lola: 4 tries, 3404170 fired transitions, 510 secs || 1 markings, 1 edges, 0 markings/sec, 510 secs
lola: 4 tries, 3437526 fired transitions, 515 secs || 1 markings, 1 edges, 0 markings/sec, 515 secs
lola: 4 tries, 3470833 fired transitions, 520 secs || 1 markings, 1 edges, 0 markings/sec, 520 secs
lola: 4 tries, 3504134 fired transitions, 525 secs || 1 markings, 1 edges, 0 markings/sec, 525 secs
lola: 4 tries, 3537462 fired transitions, 530 secs || 1 markings, 1 edges, 0 markings/sec, 530 secs
lola: 4 tries, 3569310 fired transitions, 535 secs || 1 markings, 1 edges, 0 markings/sec, 535 secs
lola: 4 tries, 3601034 fired transitions, 540 secs || 1 markings, 1 edges, 0 markings/sec, 540 secs
lola: 4 tries, 3632593 fired transitions, 545 secs || 1 markings, 1 edges, 0 markings/sec, 545 secs
lola: 4 tries, 3664475 fired transitions, 550 secs || 1 markings, 1 edges, 0 markings/sec, 550 secs
lola: 4 tries, 3696406 fired transitions, 555 secs || 1 markings, 1 edges, 0 markings/sec, 555 secs
lola: 4 tries, 3728300 fired transitions, 560 secs || 1 markings, 1 edges, 0 markings/sec, 560 secs
lola: 4 tries, 3760161 fired transitions, 565 secs || 1 markings, 1 edges, 0 markings/sec, 565 secs
lola: 4 tries, 3792086 fired transitions, 570 secs || 1 markings, 1 edges, 0 markings/sec, 570 secs
lola: 4 tries, 3823962 fired transitions, 575 secs || 1 markings, 1 edges, 0 markings/sec, 575 secs
lola: 4 tries, 3855796 fired transitions, 580 secs || 1 markings, 1 edges, 0 markings/sec, 580 secs
lola: 4 tries, 3887681 fired transitions, 585 secs || 1 markings, 1 edges, 0 markings/sec, 585 secs
lola: 4 tries, 3919600 fired transitions, 590 secs || 1 markings, 1 edges, 0 markings/sec, 590 secs
lola: 4 tries, 3951479 fired transitions, 595 secs || 1 markings, 1 edges, 0 markings/sec, 595 secs
lola: 4 tries, 3983615 fired transitions, 600 secs || 1 markings, 1 edges, 0 markings/sec, 600 secs
lola: 5 tries, 4015464 fired transitions, 605 secs || 1 markings, 1 edges, 0 markings/sec, 605 secs
lola: 5 tries, 4047352 fired transitions, 610 secs || 1 markings, 1 edges, 0 markings/sec, 610 secs
lola: 5 tries, 4079183 fired transitions, 615 secs || 1 markings, 1 edges, 0 markings/sec, 615 secs
lola: 5 tries, 4111070 fired transitions, 620 secs || 1 markings, 1 edges, 0 markings/sec, 620 secs
lola: 5 tries, 4142987 fired transitions, 625 secs || 1 markings, 1 edges, 0 markings/sec, 625 secs
lola: 5 tries, 4174839 fired transitions, 630 secs || 1 markings, 1 edges, 0 markings/sec, 630 secs
lola: 5 tries, 4206727 fired transitions, 635 secs || 1 markings, 1 edges, 0 markings/sec, 635 secs
lola: 5 tries, 4238649 fired transitions, 640 secs || 1 markings, 1 edges, 0 markings/sec, 640 secs
lola: 5 tries, 4270513 fired transitions, 645 secs || 1 markings, 1 edges, 0 markings/sec, 645 secs
lola: 5 tries, 4302395 fired transitions, 650 secs || 1 markings, 1 edges, 0 markings/sec, 650 secs
lola: 5 tries, 4334270 fired transitions, 655 secs || 1 markings, 1 edges, 0 markings/sec, 655 secs
lola: 5 tries, 4366175 fired transitions, 660 secs || 1 markings, 1 edges, 0 markings/sec, 660 secs
lola: 5 tries, 4398054 fired transitions, 665 secs || 1 markings, 1 edges, 0 markings/sec, 665 secs
lola: 5 tries, 4429927 fired transitions, 670 secs || 1 markings, 1 edges, 0 markings/sec, 670 secs
lola: 5 tries, 4461837 fired transitions, 675 secs || 1 markings, 1 edges, 0 markings/sec, 675 secs
lola: 5 tries, 4493704 fired transitions, 680 secs || 1 markings, 1 edges, 0 markings/sec, 680 secs
lola: 5 tries, 4525613 fired transitions, 685 secs || 1 markings, 1 edges, 0 markings/sec, 685 secs
lola: 5 tries, 4557589 fired transitions, 690 secs || 1 markings, 1 edges, 0 markings/sec, 690 secs
lola: 5 tries, 4589580 fired transitions, 695 secs || 1 markings, 1 edges, 0 markings/sec, 695 secs
lola: 5 tries, 4621571 fired transitions, 700 secs || 1 markings, 1 edges, 0 markings/sec, 700 secs
lola: 5 tries, 4653610 fired transitions, 705 secs || 1 markings, 1 edges, 0 markings/sec, 705 secs
lola: 5 tries, 4685725 fired transitions, 710 secs || 1 markings, 1 edges, 0 markings/sec, 710 secs
lola: 5 tries, 4718018 fired transitions, 715 secs || 1 markings, 1 edges, 0 markings/sec, 715 secs
lola: 5 tries, 4750105 fired transitions, 720 secs || 1 markings, 1 edges, 0 markings/sec, 720 secs
lola: 5 tries, 4782229 fired transitions, 725 secs || 1 markings, 1 edges, 0 markings/sec, 725 secs
lola: 5 tries, 4814401 fired transitions, 730 secs || 1 markings, 1 edges, 0 markings/sec, 730 secs
lola: 5 tries, 4846582 fired transitions, 735 secs || 1 markings, 1 edges, 0 markings/sec, 735 secs
lola: 5 tries, 4878750 fired transitions, 740 secs || 1 markings, 1 edges, 0 markings/sec, 740 secs
lola: 5 tries, 4910954 fired transitions, 745 secs || 1 markings, 1 edges, 0 markings/sec, 745 secs
lola: 5 tries, 4942908 fired transitions, 750 secs || 1 markings, 1 edges, 0 markings/sec, 750 secs
lola: 5 tries, 4976086 fired transitions, 755 secs || 1 markings, 1 edges, 0 markings/sec, 755 secs
lola: 6 tries, 5008262 fired transitions, 760 secs || 1 markings, 1 edges, 0 markings/sec, 760 secs
lola: 6 tries, 5040114 fired transitions, 765 secs || 1 markings, 1 edges, 0 markings/sec, 765 secs
lola: 6 tries, 5071942 fired transitions, 770 secs || 1 markings, 1 edges, 0 markings/sec, 770 secs
lola: 6 tries, 5103755 fired transitions, 775 secs || 1 markings, 1 edges, 0 markings/sec, 775 secs
lola: 6 tries, 5135501 fired transitions, 780 secs || 1 markings, 1 edges, 0 markings/sec, 780 secs
lola: 6 tries, 5167220 fired transitions, 785 secs || 1 markings, 1 edges, 0 markings/sec, 785 secs
lola: 6 tries, 5198964 fired transitions, 790 secs || 1 markings, 1 edges, 0 markings/sec, 790 secs
lola: 6 tries, 5230680 fired transitions, 795 secs || 1 markings, 1 edges, 0 markings/sec, 795 secs
lola: 6 tries, 5262466 fired transitions, 800 secs || 1 markings, 1 edges, 0 markings/sec, 800 secs
lola: 6 tries, 5294218 fired transitions, 805 secs || 1 markings, 1 edges, 0 markings/sec, 805 secs
lola: 6 tries, 5326031 fired transitions, 810 secs || 1 markings, 1 edges, 0 markings/sec, 810 secs
lola: 6 tries, 5357783 fired transitions, 815 secs || 1 markings, 1 edges, 0 markings/sec, 815 secs
lola: 6 tries, 5389602 fired transitions, 820 secs || 1 markings, 1 edges, 0 markings/sec, 820 secs
lola: 6 tries, 5421575 fired transitions, 825 secs || 1 markings, 1 edges, 0 markings/sec, 825 secs
lola: 6 tries, 5453711 fired transitions, 830 secs || 1 markings, 1 edges, 0 markings/sec, 830 secs
lola: 6 tries, 5485705 fired transitions, 835 secs || 1 markings, 1 edges, 0 markings/sec, 835 secs
lola: 6 tries, 5518333 fired transitions, 840 secs || 1 markings, 1 edges, 0 markings/sec, 840 secs
lola: 6 tries, 5551670 fired transitions, 845 secs || 1 markings, 1 edges, 0 markings/sec, 845 secs
lola: 6 tries, 5585026 fired transitions, 850 secs || 1 markings, 1 edges, 0 markings/sec, 850 secs
lola: 6 tries, 5618336 fired transitions, 855 secs || 1 markings, 1 edges, 0 markings/sec, 855 secs
lola: 6 tries, 5651598 fired transitions, 860 secs || 1 markings, 1 edges, 0 markings/sec, 860 secs
lola: 6 tries, 5684552 fired transitions, 865 secs || 1 markings, 1 edges, 0 markings/sec, 865 secs
lola: 6 tries, 5716497 fired transitions, 870 secs || 1 markings, 1 edges, 0 markings/sec, 870 secs
lola: 6 tries, 5748485 fired transitions, 875 secs || 1 markings, 1 edges, 0 markings/sec, 875 secs
lola: 6 tries, 5780470 fired transitions, 880 secs || 1 markings, 1 edges, 0 markings/sec, 880 secs
lola: 6 tries, 5812455 fired transitions, 885 secs || 1 markings, 1 edges, 0 markings/sec, 885 secs
lola: 6 tries, 5844440 fired transitions, 890 secs || 1 markings, 1 edges, 0 markings/sec, 890 secs
lola: 6 tries, 5876425 fired transitions, 895 secs || 1 markings, 1 edges, 0 markings/sec, 895 secs
lola: 6 tries, 5908325 fired transitions, 900 secs || 1 markings, 1 edges, 0 markings/sec, 900 secs
lola: 6 tries, 5940301 fired transitions, 905 secs || 1 markings, 1 edges, 0 markings/sec, 905 secs
lola: 6 tries, 5972283 fired transitions, 910 secs || 1 markings, 1 edges, 0 markings/sec, 910 secs
lola: 7 tries, 6004295 fired transitions, 915 secs || 1 markings, 1 edges, 0 markings/sec, 915 secs
lola: 7 tries, 6036271 fired transitions, 920 secs || 1 markings, 1 edges, 0 markings/sec, 920 secs
lola: 7 tries, 6068283 fired transitions, 925 secs || 1 markings, 1 edges, 0 markings/sec, 925 secs
lola: 7 tries, 6100295 fired transitions, 930 secs || 1 markings, 1 edges, 0 markings/sec, 930 secs
lola: 7 tries, 6132307 fired transitions, 935 secs || 1 markings, 1 edges, 0 markings/sec, 935 secs
lola: 7 tries, 6164322 fired transitions, 940 secs || 1 markings, 1 edges, 0 markings/sec, 940 secs
lola: 7 tries, 6196340 fired transitions, 945 secs || 1 markings, 1 edges, 0 markings/sec, 945 secs
lola: 7 tries, 6228395 fired transitions, 950 secs || 1 markings, 1 edges, 0 markings/sec, 950 secs
lola: 7 tries, 6260410 fired transitions, 955 secs || 1 markings, 1 edges, 0 markings/sec, 955 secs
lola: 7 tries, 6292935 fired transitions, 960 secs || 1 markings, 1 edges, 0 markings/sec, 960 secs
lola: 7 tries, 6326345 fired transitions, 965 secs || 1 markings, 1 edges, 0 markings/sec, 965 secs
lola: 7 tries, 6359148 fired transitions, 970 secs || 1 markings, 1 edges, 0 markings/sec, 970 secs
lola: 7 tries, 6391063 fired transitions, 975 secs || 1 markings, 1 edges, 0 markings/sec, 975 secs
lola: 7 tries, 6423112 fired transitions, 980 secs || 1 markings, 1 edges, 0 markings/sec, 980 secs
lola: 7 tries, 6455115 fired transitions, 985 secs || 1 markings, 1 edges, 0 markings/sec, 985 secs
lola: 7 tries, 6487106 fired transitions, 990 secs || 1 markings, 1 edges, 0 markings/sec, 990 secs
lola: 7 tries, 6519065 fired transitions, 995 secs || 1 markings, 1 edges, 0 markings/sec, 995 secs
lola: 7 tries, 6550979 fired transitions, 1000 secs || 1 markings, 1 edges, 0 markings/sec, 1000 secs
lola: 7 tries, 6582855 fired transitions, 1005 secs || 1 markings, 1 edges, 0 markings/sec, 1005 secs
lola: 7 tries, 6614801 fired transitions, 1010 secs || 1 markings, 1 edges, 0 markings/sec, 1010 secs
lola: 7 tries, 6646698 fired transitions, 1015 secs || 1 markings, 1 edges, 0 markings/sec, 1015 secs
lola: 7 tries, 6678541 fired transitions, 1020 secs || 1 markings, 1 edges, 0 markings/sec, 1020 secs
lola: 7 tries, 6710414 fired transitions, 1025 secs || 1 markings, 1 edges, 0 markings/sec, 1025 secs
lola: 7 tries, 6742251 fired transitions, 1030 secs || 1 markings, 1 edges, 0 markings/sec, 1030 secs
lola: 7 tries, 6774224 fired transitions, 1035 secs || 1 markings, 1 edges, 0 markings/sec, 1035 secs
lola: 7 tries, 6806179 fired transitions, 1040 secs || 1 markings, 1 edges, 0 markings/sec, 1040 secs
lola: 7 tries, 6838091 fired transitions, 1045 secs || 1 markings, 1 edges, 0 markings/sec, 1045 secs
lola: 7 tries, 6870022 fired transitions, 1050 secs || 1 markings, 1 edges, 0 markings/sec, 1050 secs
lola: 7 tries, 6901904 fired transitions, 1055 secs || 1 markings, 1 edges, 0 markings/sec, 1055 secs
lola: 7 tries, 6933785 fired transitions, 1060 secs || 1 markings, 1 edges, 0 markings/sec, 1060 secs
lola: 7 tries, 6965729 fired transitions, 1065 secs || 1 markings, 1 edges, 0 markings/sec, 1065 secs
lola: 7 tries, 6997614 fired transitions, 1070 secs || 1 markings, 1 edges, 0 markings/sec, 1070 secs
lola: 8 tries, 7029438 fired transitions, 1075 secs || 1 markings, 1 edges, 0 markings/sec, 1075 secs
lola: 8 tries, 7061136 fired transitions, 1080 secs || 1 markings, 1 edges, 0 markings/sec, 1080 secs
lola: 8 tries, 7092952 fired transitions, 1085 secs || 1 markings, 1 edges, 0 markings/sec, 1085 secs
lola: 8 tries, 7124747 fired transitions, 1090 secs || 1 markings, 1 edges, 0 markings/sec, 1090 secs
lola: 8 tries, 7157716 fired transitions, 1095 secs || 1 markings, 1 edges, 0 markings/sec, 1095 secs
lola: 8 tries, 7192345 fired transitions, 1100 secs || 1 markings, 1 edges, 0 markings/sec, 1100 secs
lola: 8 tries, 7227008 fired transitions, 1105 secs || 1 markings, 1 edges, 0 markings/sec, 1105 secs
lola: 8 tries, 7261571 fired transitions, 1110 secs || 1 markings, 1 edges, 0 markings/sec, 1110 secs
lola: 8 tries, 7296146 fired transitions, 1115 secs || 1 markings, 1 edges, 0 markings/sec, 1115 secs
lola: 8 tries, 7330797 fired transitions, 1120 secs || 1 markings, 1 edges, 0 markings/sec, 1120 secs
lola: 8 tries, 7365396 fired transitions, 1125 secs || 1 markings, 1 edges, 0 markings/sec, 1125 secs
lola: 8 tries, 7400004 fired transitions, 1130 secs || 1 markings, 1 edges, 0 markings/sec, 1130 secs
lola: 8 tries, 7434682 fired transitions, 1135 secs || 1 markings, 1 edges, 0 markings/sec, 1135 secs
lola: 8 tries, 7469354 fired transitions, 1140 secs || 1 markings, 1 edges, 0 markings/sec, 1140 secs
lola: 8 tries, 7503989 fired transitions, 1145 secs || 1 markings, 1 edges, 0 markings/sec, 1145 secs
lola: 8 tries, 7538664 fired transitions, 1150 secs || 1 markings, 1 edges, 0 markings/sec, 1150 secs
lola: 8 tries, 7573308 fired transitions, 1155 secs || 1 markings, 1 edges, 0 markings/sec, 1155 secs
lola: 8 tries, 7607989 fired transitions, 1160 secs || 1 markings, 1 edges, 0 markings/sec, 1160 secs
lola: 8 tries, 7642673 fired transitions, 1165 secs || 1 markings, 1 edges, 0 markings/sec, 1165 secs
lola: 8 tries, 7677354 fired transitions, 1170 secs || 1 markings, 1 edges, 0 markings/sec, 1170 secs
lola: 8 tries, 7711932 fired transitions, 1175 secs || 1 markings, 1 edges, 0 markings/sec, 1175 secs
lola: 8 tries, 7746576 fired transitions, 1180 secs || 1 markings, 1 edges, 0 markings/sec, 1180 secs
lola: 8 tries, 7781260 fired transitions, 1185 secs || 1 markings, 1 edges, 0 markings/sec, 1185 secs
lola: 8 tries, 7815941 fired transitions, 1190 secs || 1 markings, 1 edges, 0 markings/sec, 1190 secs
lola: 8 tries, 7850573 fired transitions, 1195 secs || 1 markings, 1 edges, 0 markings/sec, 1195 secs
lola: 8 tries, 7885251 fired transitions, 1200 secs || 1 markings, 1 edges, 0 markings/sec, 1200 secs
lola: 8 tries, 7919935 fired transitions, 1205 secs || 1 markings, 1 edges, 0 markings/sec, 1205 secs
lola: 8 tries, 7954564 fired transitions, 1210 secs || 1 markings, 1 edges, 0 markings/sec, 1210 secs
lola: 8 tries, 7989248 fired transitions, 1215 secs || 1 markings, 1 edges, 0 markings/sec, 1215 secs
lola: 9 tries, 8023957 fired transitions, 1220 secs || 1 markings, 1 edges, 0 markings/sec, 1220 secs
lola: 9 tries, 8058541 fired transitions, 1225 secs || 1 markings, 1 edges, 0 markings/sec, 1225 secs
lola: 9 tries, 8093228 fired transitions, 1230 secs || 1 markings, 1 edges, 0 markings/sec, 1230 secs
lola: 9 tries, 8127915 fired transitions, 1235 secs || 1 markings, 1 edges, 0 markings/sec, 1235 secs
lola: 9 tries, 8162571 fired transitions, 1240 secs || 1 markings, 1 edges, 0 markings/sec, 1240 secs
lola: 9 tries, 8197228 fired transitions, 1245 secs || 1 markings, 1 edges, 0 markings/sec, 1245 secs
lola: 9 tries, 8231915 fired transitions, 1250 secs || 1 markings, 1 edges, 0 markings/sec, 1250 secs
lola: 9 tries, 8266553 fired transitions, 1255 secs || 1 markings, 1 edges, 0 markings/sec, 1255 secs
lola: 9 tries, 8301207 fired transitions, 1260 secs || 1 markings, 1 edges, 0 markings/sec, 1260 secs
lola: 9 tries, 8335815 fired transitions, 1265 secs || 1 markings, 1 edges, 0 markings/sec, 1265 secs
lola: 9 tries, 8370499 fired transitions, 1270 secs || 1 markings, 1 edges, 0 markings/sec, 1270 secs
lola: 9 tries, 8405192 fired transitions, 1275 secs || 1 markings, 1 edges, 0 markings/sec, 1275 secs
lola: 9 tries, 8439845 fired transitions, 1280 secs || 1 markings, 1 edges, 0 markings/sec, 1280 secs
lola: 9 tries, 8474535 fired transitions, 1285 secs || 1 markings, 1 edges, 0 markings/sec, 1285 secs
lola: 9 tries, 8509198 fired transitions, 1290 secs || 1 markings, 1 edges, 0 markings/sec, 1290 secs
lola: 9 tries, 8543839 fired transitions, 1295 secs || 1 markings, 1 edges, 0 markings/sec, 1295 secs
lola: 9 tries, 8578508 fired transitions, 1300 secs || 1 markings, 1 edges, 0 markings/sec, 1300 secs
lola: 9 tries, 8613131 fired transitions, 1305 secs || 1 markings, 1 edges, 0 markings/sec, 1305 secs
lola: 9 tries, 8647824 fired transitions, 1310 secs || 1 markings, 1 edges, 0 markings/sec, 1310 secs
lola: 9 tries, 8682517 fired transitions, 1315 secs || 1 markings, 1 edges, 0 markings/sec, 1315 secs
lola: 9 tries, 8717134 fired transitions, 1320 secs || 1 markings, 1 edges, 0 markings/sec, 1320 secs
lola: 9 tries, 8751818 fired transitions, 1325 secs || 1 markings, 1 edges, 0 markings/sec, 1325 secs
lola: 9 tries, 8786508 fired transitions, 1330 secs || 1 markings, 1 edges, 0 markings/sec, 1330 secs
lola: 9 tries, 8821092 fired transitions, 1335 secs || 1 markings, 1 edges, 0 markings/sec, 1335 secs
lola: 9 tries, 8855679 fired transitions, 1340 secs || 1 markings, 1 edges, 0 markings/sec, 1340 secs
lola: 9 tries, 8890259 fired transitions, 1345 secs || 1 markings, 1 edges, 0 markings/sec, 1345 secs
lola: 9 tries, 8924878 fired transitions, 1350 secs || 1 markings, 1 edges, 0 markings/sec, 1350 secs
lola: 9 tries, 8959531 fired transitions, 1355 secs || 1 markings, 1 edges, 0 markings/sec, 1355 secs
lola: 9 tries, 8994221 fired transitions, 1360 secs || 1 markings, 1 edges, 0 markings/sec, 1360 secs
lola: 10 tries, 9028813 fired transitions, 1365 secs || 1 markings, 1 edges, 0 markings/sec, 1365 secs
lola: 10 tries, 9063485 fired transitions, 1370 secs || 1 markings, 1 edges, 0 markings/sec, 1370 secs
lola: 10 tries, 9098066 fired transitions, 1375 secs || 1 markings, 1 edges, 0 markings/sec, 1375 secs
lola: 10 tries, 9132723 fired transitions, 1380 secs || 1 markings, 1 edges, 0 markings/sec, 1380 secs
lola: 10 tries, 9167373 fired transitions, 1385 secs || 1 markings, 1 edges, 0 markings/sec, 1385 secs
lola: 10 tries, 9202057 fired transitions, 1390 secs || 1 markings, 1 edges, 0 markings/sec, 1390 secs
lola: 10 tries, 9236738 fired transitions, 1395 secs || 1 markings, 1 edges, 0 markings/sec, 1395 secs
lola: 10 tries, 9269115 fired transitions, 1400 secs || 1 markings, 1 edges, 0 markings/sec, 1400 secs
lola: 10 tries, 9300164 fired transitions, 1405 secs || 1 markings, 1 edges, 0 markings/sec, 1405 secs
lola: 10 tries, 9333782 fired transitions, 1410 secs || 1 markings, 1 edges, 0 markings/sec, 1410 secs
lola: 10 tries, 9368499 fired transitions, 1415 secs || 1 markings, 1 edges, 0 markings/sec, 1415 secs
lola: 10 tries, 9403213 fired transitions, 1420 secs || 1 markings, 1 edges, 0 markings/sec, 1420 secs
lola: 10 tries, 9437924 fired transitions, 1425 secs || 1 markings, 1 edges, 0 markings/sec, 1425 secs
lola: 10 tries, 9472638 fired transitions, 1430 secs || 1 markings, 1 edges, 0 markings/sec, 1430 secs
lola: 10 tries, 9507352 fired transitions, 1435 secs || 1 markings, 1 edges, 0 markings/sec, 1435 secs
lola: 10 tries, 9542048 fired transitions, 1440 secs || 1 markings, 1 edges, 0 markings/sec, 1440 secs
lola: 10 tries, 9576756 fired transitions, 1445 secs || 1 markings, 1 edges, 0 markings/sec, 1445 secs
lola: 10 tries, 9611467 fired transitions, 1450 secs || 1 markings, 1 edges, 0 markings/sec, 1450 secs
lola: 10 tries, 9646181 fired transitions, 1455 secs || 1 markings, 1 edges, 0 markings/sec, 1455 secs
lola: 10 tries, 9678658 fired transitions, 1460 secs || 1 markings, 1 edges, 0 markings/sec, 1460 secs
lola: 10 tries, 9710054 fired transitions, 1465 secs || 1 markings, 1 edges, 0 markings/sec, 1465 secs
lola: 10 tries, 9741459 fired transitions, 1470 secs || 1 markings, 1 edges, 0 markings/sec, 1470 secs
lola: 10 tries, 9772892 fired transitions, 1475 secs || 1 markings, 1 edges, 0 markings/sec, 1475 secs
lola: 10 tries, 9804300 fired transitions, 1480 secs || 1 markings, 1 edges, 0 markings/sec, 1480 secs
lola: 10 tries, 9835710 fired transitions, 1485 secs || 1 markings, 1 edges, 0 markings/sec, 1485 secs
lola: 10 tries, 9867150 fired transitions, 1490 secs || 1 markings, 1 edges, 0 markings/sec, 1490 secs
lola: 10 tries, 9898555 fired transitions, 1495 secs || 1 markings, 1 edges, 0 markings/sec, 1495 secs
lola: 10 tries, 9929994 fired transitions, 1500 secs || 1 markings, 1 edges, 0 markings/sec, 1500 secs
lola: 10 tries, 9961402 fired transitions, 1505 secs || 1 markings, 1 edges, 0 markings/sec, 1505 secs
lola: 10 tries, 9992810 fired transitions, 1510 secs || 1 markings, 1 edges, 0 markings/sec, 1510 secs
lola: 11 tries, 10024282 fired transitions, 1515 secs || 1 markings, 1 edges, 0 markings/sec, 1515 secs
lola: 11 tries, 10055690 fired transitions, 1520 secs || 1 markings, 1 edges, 0 markings/sec, 1520 secs
lola: 11 tries, 10087132 fired transitions, 1525 secs || 1 markings, 1 edges, 0 markings/sec, 1525 secs
lola: 11 tries, 10118540 fired transitions, 1530 secs || 1 markings, 1 edges, 0 markings/sec, 1530 secs
lola: 11 tries, 10149950 fired transitions, 1535 secs || 1 markings, 1 edges, 0 markings/sec, 1535 secs
lola: 11 tries, 10181387 fired transitions, 1540 secs || 1 markings, 1 edges, 0 markings/sec, 1540 secs
lola: 11 tries, 10212792 fired transitions, 1545 secs || 1 markings, 1 edges, 0 markings/sec, 1545 secs
lola: 11 tries, 10244234 fired transitions, 1550 secs || 1 markings, 1 edges, 0 markings/sec, 1550 secs
lola: 11 tries, 10275639 fired transitions, 1555 secs || 1 markings, 1 edges, 0 markings/sec, 1555 secs
lola: 11 tries, 10307044 fired transitions, 1560 secs || 1 markings, 1 edges, 0 markings/sec, 1560 secs
lola: 11 tries, 10338483 fired transitions, 1565 secs || 1 markings, 1 edges, 0 markings/sec, 1565 secs
lola: 11 tries, 10369882 fired transitions, 1570 secs || 1 markings, 1 edges, 0 markings/sec, 1570 secs
lola: 11 tries, 10401284 fired transitions, 1575 secs || 1 markings, 1 edges, 0 markings/sec, 1575 secs
lola: 11 tries, 10432723 fired transitions, 1580 secs || 1 markings, 1 edges, 0 markings/sec, 1580 secs
lola: 11 tries, 10464125 fired transitions, 1585 secs || 1 markings, 1 edges, 0 markings/sec, 1585 secs
lola: 11 tries, 10495533 fired transitions, 1590 secs || 1 markings, 1 edges, 0 markings/sec, 1590 secs
lola: 11 tries, 10526981 fired transitions, 1595 secs || 1 markings, 1 edges, 0 markings/sec, 1595 secs
lola: 11 tries, 10558389 fired transitions, 1600 secs || 1 markings, 1 edges, 0 markings/sec, 1600 secs
lola: 11 tries, 10589752 fired transitions, 1605 secs || 1 markings, 1 edges, 0 markings/sec, 1605 secs
lola: 11 tries, 10621191 fired transitions, 1610 secs || 1 markings, 1 edges, 0 markings/sec, 1610 secs
lola: 11 tries, 10652596 fired transitions, 1615 secs || 1 markings, 1 edges, 0 markings/sec, 1615 secs
lola: 11 tries, 10684004 fired transitions, 1620 secs || 1 markings, 1 edges, 0 markings/sec, 1620 secs
lola: 11 tries, 10715440 fired transitions, 1625 secs || 1 markings, 1 edges, 0 markings/sec, 1625 secs
lola: 11 tries, 10746836 fired transitions, 1630 secs || 1 markings, 1 edges, 0 markings/sec, 1630 secs
lola: 11 tries, 10778256 fired transitions, 1635 secs || 1 markings, 1 edges, 0 markings/sec, 1635 secs
lola: 11 tries, 10809701 fired transitions, 1640 secs || 1 markings, 1 edges, 0 markings/sec, 1640 secs
lola: 11 tries, 10841106 fired transitions, 1645 secs || 1 markings, 1 edges, 0 markings/sec, 1645 secs
lola: 11 tries, 10872551 fired transitions, 1650 secs || 1 markings, 1 edges, 0 markings/sec, 1650 secs
lola: 11 tries, 10903953 fired transitions, 1655 secs || 1 markings, 1 edges, 0 markings/sec, 1655 secs
lola: 11 tries, 10935346 fired transitions, 1660 secs || 1 markings, 1 edges, 0 markings/sec, 1660 secs
lola: 11 tries, 10966721 fired transitions, 1665 secs || 1 markings, 1 edges, 0 markings/sec, 1665 secs
lola: 11 tries, 10998157 fired transitions, 1670 secs || 1 markings, 1 edges, 0 markings/sec, 1670 secs
lola: 12 tries, 11029527 fired transitions, 1675 secs || 1 markings, 1 edges, 0 markings/sec, 1675 secs
lola: 12 tries, 11060935 fired transitions, 1680 secs || 1 markings, 1 edges, 0 markings/sec, 1680 secs
lola: 12 tries, 11092337 fired transitions, 1685 secs || 1 markings, 1 edges, 0 markings/sec, 1685 secs
lola: 12 tries, 11123773 fired transitions, 1690 secs || 1 markings, 1 edges, 0 markings/sec, 1690 secs
lola: 12 tries, 11155148 fired transitions, 1695 secs || 1 markings, 1 edges, 0 markings/sec, 1695 secs
lola: 12 tries, 11186556 fired transitions, 1700 secs || 1 markings, 1 edges, 0 markings/sec, 1700 secs
lola: 12 tries, 11218001 fired transitions, 1705 secs || 1 markings, 1 edges, 0 markings/sec, 1705 secs
lola: 12 tries, 11249382 fired transitions, 1710 secs || 1 markings, 1 edges, 0 markings/sec, 1710 secs
lola: 12 tries, 11280784 fired transitions, 1715 secs || 1 markings, 1 edges, 0 markings/sec, 1715 secs
lola: 12 tries, 11312129 fired transitions, 1720 secs || 1 markings, 1 edges, 0 markings/sec, 1720 secs
lola: 12 tries, 11343534 fired transitions, 1725 secs || 1 markings, 1 edges, 0 markings/sec, 1725 secs
lola: 12 tries, 11374979 fired transitions, 1730 secs || 1 markings, 1 edges, 0 markings/sec, 1730 secs
lola: 12 tries, 11406375 fired transitions, 1735 secs || 1 markings, 1 edges, 0 markings/sec, 1735 secs
lola: 12 tries, 11437783 fired transitions, 1740 secs || 1 markings, 1 edges, 0 markings/sec, 1740 secs
lola: 12 tries, 11469225 fired transitions, 1745 secs || 1 markings, 1 edges, 0 markings/sec, 1745 secs
lola: 12 tries, 11500579 fired transitions, 1750 secs || 1 markings, 1 edges, 0 markings/sec, 1750 secs
lola: 12 tries, 11531987 fired transitions, 1755 secs || 1 markings, 1 edges, 0 markings/sec, 1755 secs
lola: 12 tries, 11563432 fired transitions, 1760 secs || 1 markings, 1 edges, 0 markings/sec, 1760 secs
lola: 12 tries, 11594837 fired transitions, 1765 secs || 1 markings, 1 edges, 0 markings/sec, 1765 secs
lola: 12 tries, 11626245 fired transitions, 1770 secs || 1 markings, 1 edges, 0 markings/sec, 1770 secs
lola: 12 tries, 11657687 fired transitions, 1775 secs || 1 markings, 1 edges, 0 markings/sec, 1775 secs
lola: 12 tries, 11689113 fired transitions, 1780 secs || 1 markings, 1 edges, 0 markings/sec, 1780 secs
lola: 12 tries, 11720567 fired transitions, 1785 secs || 1 markings, 1 edges, 0 markings/sec, 1785 secs
lola: 12 tries, 11751984 fired transitions, 1790 secs || 1 markings, 1 edges, 0 markings/sec, 1790 secs
lola: 12 tries, 11783435 fired transitions, 1795 secs || 1 markings, 1 edges, 0 markings/sec, 1795 secs
lola: 12 tries, 11814831 fired transitions, 1800 secs || 1 markings, 1 edges, 0 markings/sec, 1800 secs
lola: 12 tries, 11846254 fired transitions, 1805 secs || 1 markings, 1 edges, 0 markings/sec, 1805 secs
lola: 12 tries, 11877708 fired transitions, 1810 secs || 1 markings, 1 edges, 0 markings/sec, 1810 secs
lola: 12 tries, 11909119 fired transitions, 1815 secs || 1 markings, 1 edges, 0 markings/sec, 1815 secs
lola: 12 tries, 11940558 fired transitions, 1820 secs || 1 markings, 1 edges, 0 markings/sec, 1820 secs
lola: 12 tries, 11971972 fired transitions, 1825 secs || 1 markings, 1 edges, 0 markings/sec, 1825 secs
lola: 13 tries, 12003443 fired transitions, 1830 secs || 1 markings, 1 edges, 0 markings/sec, 1830 secs
lola: 13 tries, 12034836 fired transitions, 1835 secs || 1 markings, 1 edges, 0 markings/sec, 1835 secs
lola: 13 tries, 12066238 fired transitions, 1840 secs || 1 markings, 1 edges, 0 markings/sec, 1840 secs
lola: 13 tries, 12097683 fired transitions, 1845 secs || 1 markings, 1 edges, 0 markings/sec, 1845 secs
lola: 13 tries, 12129088 fired transitions, 1850 secs || 1 markings, 1 edges, 0 markings/sec, 1850 secs
lola: 13 tries, 12160496 fired transitions, 1855 secs || 1 markings, 1 edges, 0 markings/sec, 1855 secs
lola: 13 tries, 12191941 fired transitions, 1860 secs || 1 markings, 1 edges, 0 markings/sec, 1860 secs
lola: 13 tries, 12223346 fired transitions, 1865 secs || 1 markings, 1 edges, 0 markings/sec, 1865 secs
lola: 13 tries, 12254794 fired transitions, 1870 secs || 1 markings, 1 edges, 0 markings/sec, 1870 secs
lola: 13 tries, 12286202 fired transitions, 1875 secs || 1 markings, 1 edges, 0 markings/sec, 1875 secs
lola: 13 tries, 12317607 fired transitions, 1880 secs || 1 markings, 1 edges, 0 markings/sec, 1880 secs
lola: 13 tries, 12349052 fired transitions, 1885 secs || 1 markings, 1 edges, 0 markings/sec, 1885 secs
lola: 13 tries, 12380463 fired transitions, 1890 secs || 1 markings, 1 edges, 0 markings/sec, 1890 secs
lola: 13 tries, 12411868 fired transitions, 1895 secs || 1 markings, 1 edges, 0 markings/sec, 1895 secs
lola: 13 tries, 12443313 fired transitions, 1900 secs || 1 markings, 1 edges, 0 markings/sec, 1900 secs
lola: 13 tries, 12474733 fired transitions, 1905 secs || 1 markings, 1 edges, 0 markings/sec, 1905 secs
lola: 13 tries, 12506012 fired transitions, 1910 secs || 1 markings, 1 edges, 0 markings/sec, 1910 secs
lola: 13 tries, 12537405 fired transitions, 1915 secs || 1 markings, 1 edges, 0 markings/sec, 1915 secs
lola: 13 tries, 12568656 fired transitions, 1920 secs || 1 markings, 1 edges, 0 markings/sec, 1920 secs
lola: 13 tries, 12600246 fired transitions, 1925 secs || 1 markings, 1 edges, 0 markings/sec, 1925 secs
lola: 13 tries, 12631802 fired transitions, 1930 secs || 1 markings, 1 edges, 0 markings/sec, 1930 secs
lola: 13 tries, 12664774 fired transitions, 1935 secs || 1 markings, 1 edges, 0 markings/sec, 1935 secs
lola: 13 tries, 12698797 fired transitions, 1940 secs || 1 markings, 1 edges, 0 markings/sec, 1940 secs
lola: 13 tries, 12732777 fired transitions, 1945 secs || 1 markings, 1 edges, 0 markings/sec, 1945 secs
lola: 13 tries, 12766724 fired transitions, 1950 secs || 1 markings, 1 edges, 0 markings/sec, 1950 secs
lola: 13 tries, 12800744 fired transitions, 1955 secs || 1 markings, 1 edges, 0 markings/sec, 1955 secs
lola: 13 tries, 12834736 fired transitions, 1960 secs || 1 markings, 1 edges, 0 markings/sec, 1960 secs
lola: 13 tries, 12868825 fired transitions, 1965 secs || 1 markings, 1 edges, 0 markings/sec, 1965 secs
lola: 13 tries, 12902857 fired transitions, 1970 secs || 1 markings, 1 edges, 0 markings/sec, 1970 secs
lola: 13 tries, 12936964 fired transitions, 1975 secs || 1 markings, 1 edges, 0 markings/sec, 1975 secs
lola: 13 tries, 12971062 fired transitions, 1980 secs || 1 markings, 1 edges, 0 markings/sec, 1980 secs
lola: 14 tries, 13005257 fired transitions, 1985 secs || 1 markings, 1 edges, 0 markings/sec, 1985 secs
lola: 14 tries, 13039385 fired transitions, 1990 secs || 1 markings, 1 edges, 0 markings/sec, 1990 secs
lola: 14 tries, 13073468 fired transitions, 1995 secs || 1 markings, 1 edges, 0 markings/sec, 1995 secs
lola: 14 tries, 13107491 fired transitions, 2000 secs || 1 markings, 1 edges, 0 markings/sec, 2000 secs
lola: 14 tries, 13141630 fired transitions, 2005 secs || 1 markings, 1 edges, 0 markings/sec, 2005 secs
lola: 14 tries, 13175790 fired transitions, 2010 secs || 1 markings, 1 edges, 0 markings/sec, 2010 secs
lola: 14 tries, 13209520 fired transitions, 2015 secs || 1 markings, 1 edges, 0 markings/sec, 2015 secs
lola: 14 tries, 13243648 fired transitions, 2020 secs || 1 markings, 1 edges, 0 markings/sec, 2020 secs
lola: 14 tries, 13277840 fired transitions, 2025 secs || 1 markings, 1 edges, 0 markings/sec, 2025 secs
lola: 14 tries, 13311992 fired transitions, 2030 secs || 1 markings, 1 edges, 0 markings/sec, 2030 secs
lola: 14 tries, 13346178 fired transitions, 2035 secs || 1 markings, 1 edges, 0 markings/sec, 2035 secs
lola: 14 tries, 13380252 fired transitions, 2040 secs || 1 markings, 1 edges, 0 markings/sec, 2040 secs
lola: 14 tries, 13414326 fired transitions, 2045 secs || 1 markings, 1 edges, 0 markings/sec, 2045 secs
lola: 14 tries, 13448406 fired transitions, 2050 secs || 1 markings, 1 edges, 0 markings/sec, 2050 secs
lola: 14 tries, 13482474 fired transitions, 2055 secs || 1 markings, 1 edges, 0 markings/sec, 2055 secs
lola: 14 tries, 13516502 fired transitions, 2060 secs || 1 markings, 1 edges, 0 markings/sec, 2060 secs
lola: 14 tries, 13550558 fired transitions, 2065 secs || 1 markings, 1 edges, 0 markings/sec, 2065 secs
lola: 14 tries, 13584632 fired transitions, 2070 secs || 1 markings, 1 edges, 0 markings/sec, 2070 secs
lola: 14 tries, 13618709 fired transitions, 2075 secs || 1 markings, 1 edges, 0 markings/sec, 2075 secs
lola: 14 tries, 13652783 fired transitions, 2080 secs || 1 markings, 1 edges, 0 markings/sec, 2080 secs
lola: 14 tries, 13686848 fired transitions, 2085 secs || 1 markings, 1 edges, 0 markings/sec, 2085 secs
lola: 14 tries, 13720919 fired transitions, 2090 secs || 1 markings, 1 edges, 0 markings/sec, 2090 secs
lola: 14 tries, 13754996 fired transitions, 2095 secs || 1 markings, 1 edges, 0 markings/sec, 2095 secs
lola: 14 tries, 13789061 fired transitions, 2100 secs || 1 markings, 1 edges, 0 markings/sec, 2100 secs
lola: 14 tries, 13823123 fired transitions, 2105 secs || 1 markings, 1 edges, 0 markings/sec, 2105 secs
lola: 14 tries, 13857200 fired transitions, 2110 secs || 1 markings, 1 edges, 0 markings/sec, 2110 secs
lola: 14 tries, 13891198 fired transitions, 2115 secs || 1 markings, 1 edges, 0 markings/sec, 2115 secs
lola: 14 tries, 13925269 fired transitions, 2120 secs || 1 markings, 1 edges, 0 markings/sec, 2120 secs
lola: 14 tries, 13959343 fired transitions, 2125 secs || 1 markings, 1 edges, 0 markings/sec, 2125 secs
lola: 14 tries, 13993408 fired transitions, 2130 secs || 1 markings, 1 edges, 0 markings/sec, 2130 secs
lola: 15 tries, 14027435 fired transitions, 2135 secs || 1 markings, 1 edges, 0 markings/sec, 2135 secs
lola: 15 tries, 14061512 fired transitions, 2140 secs || 1 markings, 1 edges, 0 markings/sec, 2140 secs
lola: 15 tries, 14095619 fired transitions, 2145 secs || 1 markings, 1 edges, 0 markings/sec, 2145 secs
lola: 15 tries, 14129605 fired transitions, 2150 secs || 1 markings, 1 edges, 0 markings/sec, 2150 secs
lola: 15 tries, 14163676 fired transitions, 2155 secs || 1 markings, 1 edges, 0 markings/sec, 2155 secs
lola: 15 tries, 14197771 fired transitions, 2160 secs || 1 markings, 1 edges, 0 markings/sec, 2160 secs
lola: 15 tries, 14231839 fired transitions, 2165 secs || 1 markings, 1 edges, 0 markings/sec, 2165 secs
lola: 15 tries, 14265945 fired transitions, 2170 secs || 1 markings, 1 edges, 0 markings/sec, 2170 secs
lola: 15 tries, 14300078 fired transitions, 2175 secs || 1 markings, 1 edges, 0 markings/sec, 2175 secs
lola: 15 tries, 14334191 fired transitions, 2180 secs || 1 markings, 1 edges, 0 markings/sec, 2180 secs
lola: 15 tries, 14368253 fired transitions, 2185 secs || 1 markings, 1 edges, 0 markings/sec, 2185 secs
lola: 15 tries, 14402306 fired transitions, 2190 secs || 1 markings, 1 edges, 0 markings/sec, 2190 secs
lola: 15 tries, 14436328 fired transitions, 2195 secs || 1 markings, 1 edges, 0 markings/sec, 2195 secs
lola: 15 tries, 14470354 fired transitions, 2200 secs || 1 markings, 1 edges, 0 markings/sec, 2200 secs
lola: 15 tries, 14504395 fired transitions, 2205 secs || 1 markings, 1 edges, 0 markings/sec, 2205 secs
lola: 15 tries, 14538381 fired transitions, 2210 secs || 1 markings, 1 edges, 0 markings/sec, 2210 secs
lola: 15 tries, 14572413 fired transitions, 2215 secs || 1 markings, 1 edges, 0 markings/sec, 2215 secs
lola: 15 tries, 14606375 fired transitions, 2220 secs || 1 markings, 1 edges, 0 markings/sec, 2220 secs
lola: 15 tries, 14640413 fired transitions, 2225 secs || 1 markings, 1 edges, 0 markings/sec, 2225 secs
lola: 15 tries, 14674487 fired transitions, 2230 secs || 1 markings, 1 edges, 0 markings/sec, 2230 secs
lola: 15 tries, 14708497 fired transitions, 2235 secs || 1 markings, 1 edges, 0 markings/sec, 2235 secs
lola: 15 tries, 14742701 fired transitions, 2240 secs || 1 markings, 1 edges, 0 markings/sec, 2240 secs
lola: 15 tries, 14776790 fired transitions, 2245 secs || 1 markings, 1 edges, 0 markings/sec, 2245 secs
lola: 15 tries, 14810982 fired transitions, 2250 secs || 1 markings, 1 edges, 0 markings/sec, 2250 secs
lola: 15 tries, 14845089 fired transitions, 2255 secs || 1 markings, 1 edges, 0 markings/sec, 2255 secs
lola: 15 tries, 14879266 fired transitions, 2260 secs || 1 markings, 1 edges, 0 markings/sec, 2260 secs
lola: 15 tries, 14913400 fired transitions, 2265 secs || 1 markings, 1 edges, 0 markings/sec, 2265 secs
lola: 15 tries, 14947534 fired transitions, 2270 secs || 1 markings, 1 edges, 0 markings/sec, 2270 secs
lola: 15 tries, 14981744 fired transitions, 2275 secs || 1 markings, 1 edges, 0 markings/sec, 2275 secs
lola: 16 tries, 15015914 fired transitions, 2280 secs || 1 markings, 1 edges, 0 markings/sec, 2280 secs
lola: 16 tries, 15049945 fired transitions, 2285 secs || 1 markings, 1 edges, 0 markings/sec, 2285 secs
lola: 16 tries, 15084016 fired transitions, 2290 secs || 1 markings, 1 edges, 0 markings/sec, 2290 secs
lola: 16 tries, 15118078 fired transitions, 2295 secs || 1 markings, 1 edges, 0 markings/sec, 2295 secs
lola: 16 tries, 15152164 fired transitions, 2300 secs || 1 markings, 1 edges, 0 markings/sec, 2300 secs
lola: 16 tries, 15186220 fired transitions, 2305 secs || 1 markings, 1 edges, 0 markings/sec, 2305 secs
lola: 16 tries, 15220342 fired transitions, 2310 secs || 1 markings, 1 edges, 0 markings/sec, 2310 secs
lola: 16 tries, 15254540 fired transitions, 2315 secs || 1 markings, 1 edges, 0 markings/sec, 2315 secs
lola: 16 tries, 15289031 fired transitions, 2320 secs || 1 markings, 1 edges, 0 markings/sec, 2320 secs
lola: 16 tries, 15323488 fired transitions, 2325 secs || 1 markings, 1 edges, 0 markings/sec, 2325 secs
lola: 16 tries, 15357776 fired transitions, 2330 secs || 1 markings, 1 edges, 0 markings/sec, 2330 secs
lola: 16 tries, 15391911 fired transitions, 2335 secs || 1 markings, 1 edges, 0 markings/sec, 2335 secs
lola: 16 tries, 15425912 fired transitions, 2340 secs || 1 markings, 1 edges, 0 markings/sec, 2340 secs
lola: 16 tries, 15459941 fired transitions, 2345 secs || 1 markings, 1 edges, 0 markings/sec, 2345 secs
lola: 16 tries, 15493942 fired transitions, 2350 secs || 1 markings, 1 edges, 0 markings/sec, 2350 secs
lola: 16 tries, 15527986 fired transitions, 2355 secs || 1 markings, 1 edges, 0 markings/sec, 2355 secs
lola: 16 tries, 15562075 fired transitions, 2360 secs || 1 markings, 1 edges, 0 markings/sec, 2360 secs
lola: 16 tries, 15596246 fired transitions, 2365 secs || 1 markings, 1 edges, 0 markings/sec, 2365 secs
lola: 16 tries, 15629417 fired transitions, 2370 secs || 1 markings, 1 edges, 0 markings/sec, 2370 secs
lola: 16 tries, 15660747 fired transitions, 2375 secs || 1 markings, 1 edges, 0 markings/sec, 2375 secs
lola: 16 tries, 15692025 fired transitions, 2380 secs || 1 markings, 1 edges, 0 markings/sec, 2380 secs
lola: 16 tries, 15723920 fired transitions, 2385 secs || 1 markings, 1 edges, 0 markings/sec, 2385 secs
lola: 16 tries, 15757447 fired transitions, 2390 secs || 1 markings, 1 edges, 0 markings/sec, 2390 secs
lola: 16 tries, 15789619 fired transitions, 2395 secs || 1 markings, 1 edges, 0 markings/sec, 2395 secs
lola: 16 tries, 15823702 fired transitions, 2400 secs || 1 markings, 1 edges, 0 markings/sec, 2400 secs
lola: 16 tries, 15857607 fired transitions, 2405 secs || 1 markings, 1 edges, 0 markings/sec, 2405 secs
lola: 16 tries, 15891600 fired transitions, 2410 secs || 1 markings, 1 edges, 0 markings/sec, 2410 secs
lola: 16 tries, 15925511 fired transitions, 2415 secs || 1 markings, 1 edges, 0 markings/sec, 2415 secs
lola: 16 tries, 15959367 fired transitions, 2420 secs || 1 markings, 1 edges, 0 markings/sec, 2420 secs
lola: 16 tries, 15993275 fired transitions, 2425 secs || 1 markings, 1 edges, 0 markings/sec, 2425 secs
lola: 17 tries, 16027287 fired transitions, 2430 secs || 1 markings, 1 edges, 0 markings/sec, 2430 secs
lola: 17 tries, 16061213 fired transitions, 2435 secs || 1 markings, 1 edges, 0 markings/sec, 2435 secs
lola: 17 tries, 16095154 fired transitions, 2440 secs || 1 markings, 1 edges, 0 markings/sec, 2440 secs
lola: 17 tries, 16129068 fired transitions, 2445 secs || 1 markings, 1 edges, 0 markings/sec, 2445 secs
lola: 17 tries, 16163012 fired transitions, 2450 secs || 1 markings, 1 edges, 0 markings/sec, 2450 secs
lola: 17 tries, 16196947 fired transitions, 2455 secs || 1 markings, 1 edges, 0 markings/sec, 2455 secs
lola: 17 tries, 16230867 fired transitions, 2460 secs || 1 markings, 1 edges, 0 markings/sec, 2460 secs
lola: 17 tries, 16264769 fired transitions, 2465 secs || 1 markings, 1 edges, 0 markings/sec, 2465 secs
lola: 17 tries, 16298689 fired transitions, 2470 secs || 1 markings, 1 edges, 0 markings/sec, 2470 secs
lola: 17 tries, 16332585 fired transitions, 2475 secs || 1 markings, 1 edges, 0 markings/sec, 2475 secs
lola: 17 tries, 16366493 fired transitions, 2480 secs || 1 markings, 1 edges, 0 markings/sec, 2480 secs
lola: 17 tries, 16400434 fired transitions, 2485 secs || 1 markings, 1 edges, 0 markings/sec, 2485 secs
lola: 17 tries, 16434737 fired transitions, 2490 secs || 1 markings, 1 edges, 0 markings/sec, 2490 secs
lola: 17 tries, 16468579 fired transitions, 2495 secs || 1 markings, 1 edges, 0 markings/sec, 2495 secs
lola: 17 tries, 16502505 fired transitions, 2500 secs || 1 markings, 1 edges, 0 markings/sec, 2500 secs
lola: 17 tries, 16535797 fired transitions, 2505 secs || 1 markings, 1 edges, 0 markings/sec, 2505 secs
lola: 17 tries, 16568319 fired transitions, 2510 secs || 1 markings, 1 edges, 0 markings/sec, 2510 secs
lola: 17 tries, 16599773 fired transitions, 2515 secs || 1 markings, 1 edges, 0 markings/sec, 2515 secs
lola: 17 tries, 16631205 fired transitions, 2520 secs || 1 markings, 1 edges, 0 markings/sec, 2520 secs
lola: 17 tries, 16662671 fired transitions, 2525 secs || 1 markings, 1 edges, 0 markings/sec, 2525 secs
lola: 17 tries, 16694146 fired transitions, 2530 secs || 1 markings, 1 edges, 0 markings/sec, 2530 secs
lola: 17 tries, 16725557 fired transitions, 2535 secs || 1 markings, 1 edges, 0 markings/sec, 2535 secs
lola: 17 tries, 16757041 fired transitions, 2540 secs || 1 markings, 1 edges, 0 markings/sec, 2540 secs
lola: 17 tries, 16788413 fired transitions, 2545 secs || 1 markings, 1 edges, 0 markings/sec, 2545 secs
lola: 17 tries, 16819851 fired transitions, 2550 secs || 1 markings, 1 edges, 0 markings/sec, 2550 secs
lola: 17 tries, 16851326 fired transitions, 2555 secs || 1 markings, 1 edges, 0 markings/sec, 2555 secs
lola: 17 tries, 16882716 fired transitions, 2560 secs || 1 markings, 1 edges, 0 markings/sec, 2560 secs
lola: 17 tries, 16914176 fired transitions, 2565 secs || 1 markings, 1 edges, 0 markings/sec, 2565 secs
lola: 17 tries, 16945590 fired transitions, 2570 secs || 1 markings, 1 edges, 0 markings/sec, 2570 secs
lola: 17 tries, 16977038 fired transitions, 2575 secs || 1 markings, 1 edges, 0 markings/sec, 2575 secs
lola: 18 tries, 17008479 fired transitions, 2580 secs || 1 markings, 1 edges, 0 markings/sec, 2580 secs
lola: 18 tries, 17039912 fired transitions, 2585 secs || 1 markings, 1 edges, 0 markings/sec, 2585 secs
lola: 18 tries, 17071293 fired transitions, 2590 secs || 1 markings, 1 edges, 0 markings/sec, 2590 secs
lola: 18 tries, 17102858 fired transitions, 2595 secs || 1 markings, 1 edges, 0 markings/sec, 2595 secs
lola: 18 tries, 17134493 fired transitions, 2600 secs || 1 markings, 1 edges, 0 markings/sec, 2600 secs
lola: 18 tries, 17166052 fired transitions, 2605 secs || 1 markings, 1 edges, 0 markings/sec, 2605 secs
lola: 18 tries, 17199637 fired transitions, 2610 secs || 1 markings, 1 edges, 0 markings/sec, 2610 secs
lola: 18 tries, 17233599 fired transitions, 2615 secs || 1 markings, 1 edges, 0 markings/sec, 2615 secs
lola: 18 tries, 17267586 fired transitions, 2620 secs || 1 markings, 1 edges, 0 markings/sec, 2620 secs
lola: 18 tries, 17301376 fired transitions, 2625 secs || 1 markings, 1 edges, 0 markings/sec, 2625 secs
lola: 18 tries, 17332881 fired transitions, 2630 secs || 1 markings, 1 edges, 0 markings/sec, 2630 secs
lola: 18 tries, 17364345 fired transitions, 2635 secs || 1 markings, 1 edges, 0 markings/sec, 2635 secs
lola: 18 tries, 17395865 fired transitions, 2640 secs || 1 markings, 1 edges, 0 markings/sec, 2640 secs
lola: 18 tries, 17427377 fired transitions, 2645 secs || 1 markings, 1 edges, 0 markings/sec, 2645 secs
lola: 18 tries, 17458861 fired transitions, 2650 secs || 1 markings, 1 edges, 0 markings/sec, 2650 secs
lola: 18 tries, 17490339 fired transitions, 2655 secs || 1 markings, 1 edges, 0 markings/sec, 2655 secs
lola: 18 tries, 17521777 fired transitions, 2660 secs || 1 markings, 1 edges, 0 markings/sec, 2660 secs
lola: 18 tries, 17553243 fired transitions, 2665 secs || 1 markings, 1 edges, 0 markings/sec, 2665 secs
lola: 18 tries, 17584709 fired transitions, 2670 secs || 1 markings, 1 edges, 0 markings/sec, 2670 secs
lola: 18 tries, 17616144 fired transitions, 2675 secs || 1 markings, 1 edges, 0 markings/sec, 2675 secs
lola: 18 tries, 17647622 fired transitions, 2680 secs || 1 markings, 1 edges, 0 markings/sec, 2680 secs
lola: 18 tries, 17679065 fired transitions, 2685 secs || 1 markings, 1 edges, 0 markings/sec, 2685 secs
lola: 18 tries, 17713516 fired transitions, 2690 secs || 1 markings, 1 edges, 0 markings/sec, 2690 secs
lola: 18 tries, 17747948 fired transitions, 2695 secs || 1 markings, 1 edges, 0 markings/sec, 2695 secs
lola: 18 tries, 17782321 fired transitions, 2700 secs || 1 markings, 1 edges, 0 markings/sec, 2700 secs
lola: 18 tries, 17816648 fired transitions, 2705 secs || 1 markings, 1 edges, 0 markings/sec, 2705 secs
lola: 18 tries, 17851024 fired transitions, 2710 secs || 1 markings, 1 edges, 0 markings/sec, 2710 secs
lola: 18 tries, 17885403 fired transitions, 2715 secs || 1 markings, 1 edges, 0 markings/sec, 2715 secs
lola: 18 tries, 17919785 fired transitions, 2720 secs || 1 markings, 1 edges, 0 markings/sec, 2720 secs
lola: 18 tries, 17954158 fired transitions, 2725 secs || 1 markings, 1 edges, 0 markings/sec, 2725 secs
lola: 18 tries, 17988482 fired transitions, 2730 secs || 1 markings, 1 edges, 0 markings/sec, 2730 secs
lola: 19 tries, 18023060 fired transitions, 2735 secs || 1 markings, 1 edges, 0 markings/sec, 2735 secs
lola: 19 tries, 18057738 fired transitions, 2740 secs || 1 markings, 1 edges, 0 markings/sec, 2740 secs
lola: 19 tries, 18091845 fired transitions, 2745 secs || 1 markings, 1 edges, 0 markings/sec, 2745 secs
lola: 19 tries, 18125895 fired transitions, 2750 secs || 1 markings, 1 edges, 0 markings/sec, 2750 secs
lola: 19 tries, 18160078 fired transitions, 2755 secs || 1 markings, 1 edges, 0 markings/sec, 2755 secs
lola: 19 tries, 18194227 fired transitions, 2760 secs || 1 markings, 1 edges, 0 markings/sec, 2760 secs
lola: 19 tries, 18228238 fired transitions, 2765 secs || 1 markings, 1 edges, 0 markings/sec, 2765 secs
lola: 19 tries, 18262091 fired transitions, 2770 secs || 1 markings, 1 edges, 0 markings/sec, 2770 secs
lola: 19 tries, 18296386 fired transitions, 2775 secs || 1 markings, 1 edges, 0 markings/sec, 2775 secs
lola: 19 tries, 18330713 fired transitions, 2780 secs || 1 markings, 1 edges, 0 markings/sec, 2780 secs
lola: 19 tries, 18365092 fired transitions, 2785 secs || 1 markings, 1 edges, 0 markings/sec, 2785 secs
lola: 19 tries, 18399471 fired transitions, 2790 secs || 1 markings, 1 edges, 0 markings/sec, 2790 secs
lola: 19 tries, 18433880 fired transitions, 2795 secs || 1 markings, 1 edges, 0 markings/sec, 2795 secs
lola: 19 tries, 18468253 fired transitions, 2800 secs || 1 markings, 1 edges, 0 markings/sec, 2800 secs
lola: 19 tries, 18502167 fired transitions, 2805 secs || 1 markings, 1 edges, 0 markings/sec, 2805 secs
lola: 19 tries, 18535965 fired transitions, 2810 secs || 1 markings, 1 edges, 0 markings/sec, 2810 secs
lola: 19 tries, 18569853 fired transitions, 2815 secs || 1 markings, 1 edges, 0 markings/sec, 2815 secs
lola: 19 tries, 18603673 fired transitions, 2820 secs || 1 markings, 1 edges, 0 markings/sec, 2820 secs
lola: 19 tries, 18637059 fired transitions, 2825 secs || 1 markings, 1 edges, 0 markings/sec, 2825 secs
lola: 19 tries, 18670979 fired transitions, 2830 secs || 1 markings, 1 edges, 0 markings/sec, 2830 secs
lola: 19 tries, 18704817 fired transitions, 2835 secs || 1 markings, 1 edges, 0 markings/sec, 2835 secs
lola: 19 tries, 18738734 fired transitions, 2840 secs || 1 markings, 1 edges, 0 markings/sec, 2840 secs
lola: 19 tries, 18772778 fired transitions, 2845 secs || 1 markings, 1 edges, 0 markings/sec, 2845 secs
lola: 19 tries, 18806728 fired transitions, 2850 secs || 1 markings, 1 edges, 0 markings/sec, 2850 secs
lola: 19 tries, 18840718 fired transitions, 2855 secs || 1 markings, 1 edges, 0 markings/sec, 2855 secs
lola: 19 tries, 18874683 fired transitions, 2860 secs || 1 markings, 1 edges, 0 markings/sec, 2860 secs
lola: 19 tries, 18908645 fired transitions, 2865 secs || 1 markings, 1 edges, 0 markings/sec, 2865 secs
lola: 19 tries, 18942580 fired transitions, 2870 secs || 1 markings, 1 edges, 0 markings/sec, 2870 secs
lola: 19 tries, 18976561 fired transitions, 2875 secs || 1 markings, 1 edges, 0 markings/sec, 2875 secs
lola: 20 tries, 19010338 fired transitions, 2880 secs || 1 markings, 1 edges, 0 markings/sec, 2880 secs
lola: 20 tries, 19044176 fired transitions, 2885 secs || 1 markings, 1 edges, 0 markings/sec, 2885 secs
lola: 20 tries, 19078087 fired transitions, 2890 secs || 1 markings, 1 edges, 0 markings/sec, 2890 secs
lola: 20 tries, 19112237 fired transitions, 2895 secs || 1 markings, 1 edges, 0 markings/sec, 2895 secs
lola: 20 tries, 19146809 fired transitions, 2900 secs || 1 markings, 1 edges, 0 markings/sec, 2900 secs
lola: 20 tries, 19181550 fired transitions, 2905 secs || 1 markings, 1 edges, 0 markings/sec, 2905 secs
lola: 20 tries, 19216288 fired transitions, 2910 secs || 1 markings, 1 edges, 0 markings/sec, 2910 secs
lola: 20 tries, 19251026 fired transitions, 2915 secs || 1 markings, 1 edges, 0 markings/sec, 2915 secs
lola: 20 tries, 19285767 fired transitions, 2920 secs || 1 markings, 1 edges, 0 markings/sec, 2920 secs
lola: 20 tries, 19320508 fired transitions, 2925 secs || 1 markings, 1 edges, 0 markings/sec, 2925 secs
lola: 20 tries, 19355277 fired transitions, 2930 secs || 1 markings, 1 edges, 0 markings/sec, 2930 secs
lola: 20 tries, 19390012 fired transitions, 2935 secs || 1 markings, 1 edges, 0 markings/sec, 2935 secs
lola: 20 tries, 19424735 fired transitions, 2940 secs || 1 markings, 1 edges, 0 markings/sec, 2940 secs
lola: 20 tries, 19459446 fired transitions, 2945 secs || 1 markings, 1 edges, 0 markings/sec, 2945 secs
lola: 20 tries, 19494235 fired transitions, 2950 secs || 1 markings, 1 edges, 0 markings/sec, 2950 secs
lola: 20 tries, 19529070 fired transitions, 2955 secs || 1 markings, 1 edges, 0 markings/sec, 2955 secs
lola: 20 tries, 19563870 fired transitions, 2960 secs || 1 markings, 1 edges, 0 markings/sec, 2960 secs
lola: 20 tries, 19598718 fired transitions, 2965 secs || 1 markings, 1 edges, 0 markings/sec, 2965 secs
lola: 20 tries, 19633553 fired transitions, 2970 secs || 1 markings, 1 edges, 0 markings/sec, 2970 secs
lola: 20 tries, 19668391 fired transitions, 2975 secs || 1 markings, 1 edges, 0 markings/sec, 2975 secs
lola: 20 tries, 19703138 fired transitions, 2980 secs || 1 markings, 1 edges, 0 markings/sec, 2980 secs
lola: 20 tries, 19737855 fired transitions, 2985 secs || 1 markings, 1 edges, 0 markings/sec, 2985 secs
lola: 20 tries, 19772584 fired transitions, 2990 secs || 1 markings, 1 edges, 0 markings/sec, 2990 secs
lola: 20 tries, 19807352 fired transitions, 2995 secs || 1 markings, 1 edges, 0 markings/sec, 2995 secs
lola: 20 tries, 19842184 fired transitions, 3000 secs || 1 markings, 1 edges, 0 markings/sec, 3000 secs
lola: 20 tries, 19876964 fired transitions, 3005 secs || 1 markings, 1 edges, 0 markings/sec, 3005 secs
lola: 20 tries, 19911805 fired transitions, 3010 secs || 1 markings, 1 edges, 0 markings/sec, 3010 secs
lola: 20 tries, 19946640 fired transitions, 3015 secs || 1 markings, 1 edges, 0 markings/sec, 3015 secs
lola: 20 tries, 19981444 fired transitions, 3020 secs || 1 markings, 1 edges, 0 markings/sec, 3020 secs
lola: 21 tries, 20016265 fired transitions, 3025 secs || 1 markings, 1 edges, 0 markings/sec, 3025 secs
lola: 21 tries, 20050496 fired transitions, 3030 secs || 1 markings, 1 edges, 0 markings/sec, 3030 secs
lola: 21 tries, 20084754 fired transitions, 3035 secs || 1 markings, 1 edges, 0 markings/sec, 3035 secs
lola: 21 tries, 20119118 fired transitions, 3040 secs || 1 markings, 1 edges, 0 markings/sec, 3040 secs
lola: 21 tries, 20153451 fired transitions, 3045 secs || 1 markings, 1 edges, 0 markings/sec, 3045 secs
lola: 21 tries, 20187779 fired transitions, 3050 secs || 1 markings, 1 edges, 0 markings/sec, 3050 secs
lola: 21 tries, 20222064 fired transitions, 3055 secs || 1 markings, 1 edges, 0 markings/sec, 3055 secs
lola: 21 tries, 20256485 fired transitions, 3060 secs || 1 markings, 1 edges, 0 markings/sec, 3060 secs
lola: 21 tries, 20290816 fired transitions, 3065 secs || 1 markings, 1 edges, 0 markings/sec, 3065 secs
lola: 21 tries, 20325234 fired transitions, 3070 secs || 1 markings, 1 edges, 0 markings/sec, 3070 secs
lola: 21 tries, 20359586 fired transitions, 3075 secs || 1 markings, 1 edges, 0 markings/sec, 3075 secs
lola: 21 tries, 20394013 fired transitions, 3080 secs || 1 markings, 1 edges, 0 markings/sec, 3080 secs
lola: 21 tries, 20428431 fired transitions, 3085 secs || 1 markings, 1 edges, 0 markings/sec, 3085 secs
lola: 21 tries, 20462846 fired transitions, 3090 secs || 1 markings, 1 edges, 0 markings/sec, 3090 secs
lola: 21 tries, 20497264 fired transitions, 3095 secs || 1 markings, 1 edges, 0 markings/sec, 3095 secs
lola: 21 tries, 20531655 fired transitions, 3100 secs || 1 markings, 1 edges, 0 markings/sec, 3100 secs
lola: 21 tries, 20566075 fired transitions, 3105 secs || 1 markings, 1 edges, 0 markings/sec, 3105 secs
lola: 21 tries, 20600485 fired transitions, 3110 secs || 1 markings, 1 edges, 0 markings/sec, 3110 secs
lola: 21 tries, 20634891 fired transitions, 3115 secs || 1 markings, 1 edges, 0 markings/sec, 3115 secs
lola: 21 tries, 20669304 fired transitions, 3120 secs || 1 markings, 1 edges, 0 markings/sec, 3120 secs
lola: 21 tries, 20703755 fired transitions, 3125 secs || 1 markings, 1 edges, 0 markings/sec, 3125 secs
lola: 21 tries, 20738155 fired transitions, 3130 secs || 1 markings, 1 edges, 0 markings/sec, 3130 secs
lola: 21 tries, 20772558 fired transitions, 3135 secs || 1 markings, 1 edges, 0 markings/sec, 3135 secs
lola: 21 tries, 20806873 fired transitions, 3140 secs || 1 markings, 1 edges, 0 markings/sec, 3140 secs
lola: 21 tries, 20841210 fired transitions, 3145 secs || 1 markings, 1 edges, 0 markings/sec, 3145 secs
lola: 21 tries, 20873711 fired transitions, 3150 secs || 1 markings, 1 edges, 0 markings/sec, 3150 secs
lola: 21 tries, 20905572 fired transitions, 3155 secs || 1 markings, 1 edges, 0 markings/sec, 3155 secs
lola: 21 tries, 20937430 fired transitions, 3160 secs || 1 markings, 1 edges, 0 markings/sec, 3160 secs
lola: 21 tries, 20969246 fired transitions, 3165 secs || 1 markings, 1 edges, 0 markings/sec, 3165 secs
lola: 22 tries, 21001075 fired transitions, 3170 secs || 1 markings, 1 edges, 0 markings/sec, 3170 secs
lola: 22 tries, 21032820 fired transitions, 3175 secs || 1 markings, 1 edges, 0 markings/sec, 3175 secs
lola: 22 tries, 21064624 fired transitions, 3180 secs || 1 markings, 1 edges, 0 markings/sec, 3180 secs
lola: 22 tries, 21096419 fired transitions, 3185 secs || 1 markings, 1 edges, 0 markings/sec, 3185 secs
lola: 22 tries, 21128229 fired transitions, 3190 secs || 1 markings, 1 edges, 0 markings/sec, 3190 secs
lola: 22 tries, 21159993 fired transitions, 3195 secs || 1 markings, 1 edges, 0 markings/sec, 3195 secs
lola: 22 tries, 21191809 fired transitions, 3200 secs || 1 markings, 1 edges, 0 markings/sec, 3200 secs
lola: 22 tries, 21223619 fired transitions, 3205 secs || 1 markings, 1 edges, 0 markings/sec, 3205 secs
lola: 22 tries, 21255374 fired transitions, 3210 secs || 1 markings, 1 edges, 0 markings/sec, 3210 secs
lola: 22 tries, 21287187 fired transitions, 3215 secs || 1 markings, 1 edges, 0 markings/sec, 3215 secs
lola: 22 tries, 21318997 fired transitions, 3220 secs || 1 markings, 1 edges, 0 markings/sec, 3220 secs
lola: 22 tries, 21350831 fired transitions, 3225 secs || 1 markings, 1 edges, 0 markings/sec, 3225 secs
lola: 22 tries, 21382544 fired transitions, 3230 secs || 1 markings, 1 edges, 0 markings/sec, 3230 secs
lola: 22 tries, 21416123 fired transitions, 3235 secs || 1 markings, 1 edges, 0 markings/sec, 3235 secs
lola: 22 tries, 21451148 fired transitions, 3240 secs || 1 markings, 1 edges, 0 markings/sec, 3240 secs
lola: 22 tries, 21486158 fired transitions, 3245 secs || 1 markings, 1 edges, 0 markings/sec, 3245 secs
lola: 22 tries, 21521140 fired transitions, 3250 secs || 1 markings, 1 edges, 0 markings/sec, 3250 secs
lola: 22 tries, 21556159 fired transitions, 3255 secs || 1 markings, 1 edges, 0 markings/sec, 3255 secs
lola: 22 tries, 21591021 fired transitions, 3260 secs || 1 markings, 1 edges, 0 markings/sec, 3260 secs
lola: 22 tries, 21625608 fired transitions, 3265 secs || 1 markings, 1 edges, 0 markings/sec, 3265 secs
lola: 22 tries, 21660633 fired transitions, 3270 secs || 1 markings, 1 edges, 0 markings/sec, 3270 secs
lola: 22 tries, 21695643 fired transitions, 3275 secs || 1 markings, 1 edges, 0 markings/sec, 3275 secs
lola: 22 tries, 21730544 fired transitions, 3280 secs || 1 markings, 1 edges, 0 markings/sec, 3280 secs
lola: 22 tries, 21765095 fired transitions, 3285 secs || 1 markings, 1 edges, 0 markings/sec, 3285 secs
lola: 22 tries, 21799586 fired transitions, 3290 secs || 1 markings, 1 edges, 0 markings/sec, 3290 secs
lola: 22 tries, 21834324 fired transitions, 3295 secs || 1 markings, 1 edges, 0 markings/sec, 3295 secs
lola: 22 tries, 21869303 fired transitions, 3300 secs || 1 markings, 1 edges, 0 markings/sec, 3300 secs
lola: 22 tries, 21904244 fired transitions, 3305 secs || 1 markings, 1 edges, 0 markings/sec, 3305 secs
lola: 22 tries, 21939184 fired transitions, 3310 secs || 1 markings, 1 edges, 0 markings/sec, 3310 secs
lola: 22 tries, 21974097 fired transitions, 3315 secs || 1 markings, 1 edges, 0 markings/sec, 3315 secs
lola: 23 tries, 22009140 fired transitions, 3320 secs || 1 markings, 1 edges, 0 markings/sec, 3320 secs
lola: 23 tries, 22044250 fired transitions, 3325 secs || 1 markings, 1 edges, 0 markings/sec, 3325 secs
lola: 23 tries, 22079332 fired transitions, 3330 secs || 1 markings, 1 edges, 0 markings/sec, 3330 secs
lola: 23 tries, 22114360 fired transitions, 3335 secs || 1 markings, 1 edges, 0 markings/sec, 3335 secs
lola: 23 tries, 22149412 fired transitions, 3340 secs || 1 markings, 1 edges, 0 markings/sec, 3340 secs
lola: 23 tries, 22184458 fired transitions, 3345 secs || 1 markings, 1 edges, 0 markings/sec, 3345 secs
lola: 23 tries, 22219525 fired transitions, 3350 secs || 1 markings, 1 edges, 0 markings/sec, 3350 secs
lola: 23 tries, 22254653 fired transitions, 3355 secs || 1 markings, 1 edges, 0 markings/sec, 3355 secs
lola: 23 tries, 22289717 fired transitions, 3360 secs || 1 markings, 1 edges, 0 markings/sec, 3360 secs
lola: 23 tries, 22324784 fired transitions, 3365 secs || 1 markings, 1 edges, 0 markings/sec, 3365 secs
lola: 23 tries, 22359540 fired transitions, 3370 secs || 1 markings, 1 edges, 0 markings/sec, 3370 secs
lola: 23 tries, 22394490 fired transitions, 3375 secs || 1 markings, 1 edges, 0 markings/sec, 3375 secs
lola: 23 tries, 22426964 fired transitions, 3380 secs || 1 markings, 1 edges, 0 markings/sec, 3380 secs
lola: 23 tries, 22459406 fired transitions, 3385 secs || 1 markings, 1 edges, 0 markings/sec, 3385 secs
lola: 23 tries, 22491848 fired transitions, 3390 secs || 1 markings, 1 edges, 0 markings/sec, 3390 secs
lola: 23 tries, 22524259 fired transitions, 3395 secs || 1 markings, 1 edges, 0 markings/sec, 3395 secs
lola: 23 tries, 22556467 fired transitions, 3400 secs || 1 markings, 1 edges, 0 markings/sec, 3400 secs
lola: 23 tries, 22588935 fired transitions, 3405 secs || 1 markings, 1 edges, 0 markings/sec, 3405 secs
lola: 23 tries, 22621352 fired transitions, 3410 secs || 1 markings, 1 edges, 0 markings/sec, 3410 secs
lola: 23 tries, 22655154 fired transitions, 3415 secs || 1 markings, 1 edges, 0 markings/sec, 3415 secs
lola: 23 tries, 22687604 fired transitions, 3420 secs || 1 markings, 1 edges, 0 markings/sec, 3420 secs
lola: 23 tries, 22720322 fired transitions, 3425 secs || 1 markings, 1 edges, 0 markings/sec, 3425 secs
lola: 23 tries, 22755377 fired transitions, 3430 secs || 1 markings, 1 edges, 0 markings/sec, 3430 secs
lola: 23 tries, 22790481 fired transitions, 3435 secs || 1 markings, 1 edges, 0 markings/sec, 3435 secs
lola: 23 tries, 22825539 fired transitions, 3440 secs || 1 markings, 1 edges, 0 markings/sec, 3440 secs
lola: 23 tries, 22860570 fired transitions, 3445 secs || 1 markings, 1 edges, 0 markings/sec, 3445 secs
lola: 23 tries, 22895640 fired transitions, 3450 secs || 1 markings, 1 edges, 0 markings/sec, 3450 secs
lola: 23 tries, 22930713 fired transitions, 3455 secs || 1 markings, 1 edges, 0 markings/sec, 3455 secs
lola: 23 tries, 22965765 fired transitions, 3460 secs || 1 markings, 1 edges, 0 markings/sec, 3460 secs
lola: 24 tries, 23000876 fired transitions, 3465 secs || 1 markings, 1 edges, 0 markings/sec, 3465 secs
lola: 24 tries, 23035821 fired transitions, 3470 secs || 1 markings, 1 edges, 0 markings/sec, 3470 secs
lola: 24 tries, 23070743 fired transitions, 3475 secs || 1 markings, 1 edges, 0 markings/sec, 3475 secs
lola: 24 tries, 23105711 fired transitions, 3480 secs || 1 markings, 1 edges, 0 markings/sec, 3480 secs
lola: 24 tries, 23140651 fired transitions, 3485 secs || 1 markings, 1 edges, 0 markings/sec, 3485 secs
lola: 24 tries, 23175637 fired transitions, 3490 secs || 1 markings, 1 edges, 0 markings/sec, 3490 secs
lola: 24 tries, 23210520 fired transitions, 3495 secs || 1 markings, 1 edges, 0 markings/sec, 3495 secs
lola: 24 tries, 23245464 fired transitions, 3500 secs || 1 markings, 1 edges, 0 markings/sec, 3500 secs
lola: 24 tries, 23280440 fired transitions, 3505 secs || 1 markings, 1 edges, 0 markings/sec, 3505 secs
lola: 24 tries, 23315377 fired transitions, 3510 secs || 1 markings, 1 edges, 0 markings/sec, 3510 secs
lola: 24 tries, 23350366 fired transitions, 3515 secs || 1 markings, 1 edges, 0 markings/sec, 3515 secs
lola: 24 tries, 23385358 fired transitions, 3520 secs || 1 markings, 1 edges, 0 markings/sec, 3520 secs
lola: 24 tries, 23420289 fired transitions, 3525 secs || 1 markings, 1 edges, 0 markings/sec, 3525 secs
lola: 24 tries, 23455281 fired transitions, 3530 secs || 1 markings, 1 edges, 0 markings/sec, 3530 secs
lola: 24 tries, 23490245 fired transitions, 3535 secs || 1 markings, 1 edges, 0 markings/sec, 3535 secs
lola: 24 tries, 23525222 fired transitions, 3540 secs || 1 markings, 1 edges, 0 markings/sec, 3540 secs
lola: 24 tries, 23560174 fired transitions, 3545 secs || 1 markings, 1 edges, 0 markings/sec, 3545 secs
lola: 24 tries, 23595166 fired transitions, 3550 secs || 1 markings, 1 edges, 0 markings/sec, 3550 secs
lola: time limit reached - aborting
lola: memory consumption: 773652 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 774040 KB
lola: time consumption: 3573 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished
BK_STOP 1554424904008
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory
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="DatabaseWithMutex-PT-40"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="lola"
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 lola"
echo " Input is DatabaseWithMutex-PT-40, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r049-oct2-155234405700840"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DatabaseWithMutex-PT-40.tgz
mv DatabaseWithMutex-PT-40 execution
cd execution
if [ "GlobalProperties" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "GlobalProperties" = "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 [ "GlobalProperties" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "GlobalProperties" != "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 "GlobalProperties.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property GlobalProperties.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "GlobalProperties.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 ;