About the Execution of LoLA for Dekker-PT-200
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5531.640 | 3594287.00 | 7589796.00 | 302.80 | [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-155234405800894.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 Dekker-PT-200, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-155234405800894
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 25M
-rw-r--r-- 1 mcc users 3.8K Feb 10 21:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 10 21:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 6 17:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 6 17:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 100 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 338 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 23:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.8K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 3 07:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 3 07:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jan 30 23:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Jan 30 23:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 25M 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 Dekker-PT-200-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1554420620672
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ Dekker-PT-200 @ 3570 seconds
vrfy: finished
info: timeLeft: -24
rslt: Output for GlobalProperties @ Dekker-PT-200
{
"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:30:20 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 1945668,
"runtime": 3572.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": 320400,
"conflict_clusters": 1,
"places": 1000,
"places_significant": 400,
"singleton_clusters": 0,
"transitions": 40400
},
"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": inf,
"composed": 19485,
"dead_branches": 0,
"generators": 19900,
"interrupted": false,
"real_computed": 415,
"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: 41400/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 32000
lola: finding significant places
lola: 1000 places, 40400 transitions, 400 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, 19682 fired transitions, 0 secs
lola: 0 generators; 497100 candidates remain ( 0%), 0 secs
lola: 1 tries, 39530 fired transitions, 5 secs
lola: 399 generators; 495101 candidates remain ( 0%), 5 secs
lola: 1 tries, 59249 fired transitions, 10 secs
lola: 612 generators; 494088 candidates remain ( 0%), 10 secs
lola: 1 tries, 78955 fired transitions, 15 secs
lola: 985 generators; 492115 candidates remain ( 0%), 15 secs
lola: 1 tries, 98771 fired transitions, 20 secs
lola: 1143 generators; 491957 candidates remain ( 0%), 20 secs
lola: 1 tries, 118437 fired transitions, 25 secs
lola: 1372 generators; 490128 candidates remain ( 0%), 25 secs
lola: 1 tries, 138225 fired transitions, 30 secs
lola: 1756 generators; 488144 candidates remain ( 0%), 30 secs
lola: 1 tries, 158100 fired transitions, 35 secs
lola: 2195 generators; 486105 candidates remain ( 0%), 35 secs
lola: 1 tries, 176995 fired transitions, 40 secs
lola: 2337 generators; 485163 candidates remain ( 0%), 40 secs
lola: 1 tries, 188400 fired transitions, 45 secs
lola: 2615 generators; 484085 candidates remain ( 0%), 45 secs
lola: 1 tries, 197969 fired transitions, 50 secs
lola: 2880 generators; 482220 candidates remain ( 0%), 50 secs
lola: 3070 generators; 481230 candidates remain ( 0%), 55 secs
lola: 1 tries, 208467 fired transitions, 55 secs
lola: 3247 generators; 480253 candidates remain ( 0%), 60 secs
lola: 1 tries, 226310 fired transitions, 60 secs
lola: 3439 generators; 479261 candidates remain ( 0%), 65 secs
lola: 1 tries, 239132 fired transitions, 65 secs
lola: 3790 generators; 477310 candidates remain ( 0%), 70 secs
lola: 1 tries, 250502 fired transitions, 70 secs
lola: 4147 generators; 475353 candidates remain ( 0%), 75 secs
lola: 1 tries, 266942 fired transitions, 75 secs
lola: 4151 generators; 475349 candidates remain ( 0%), 80 secs
lola: 1 tries, 286873 fired transitions, 80 secs
lola: 4512 generators; 473388 candidates remain ( 0%), 85 secs
lola: 1 tries, 300785 fired transitions, 85 secs
lola: 5022 generators; 470478 candidates remain ( 1%), 90 secs
lola: 1 tries, 317759 fired transitions, 90 secs
lola: 5397 generators; 469303 candidates remain ( 1%), 95 secs
lola: 1 tries, 327827 fired transitions, 95 secs
lola: 5537 generators; 467563 candidates remain ( 1%), 100 secs
lola: 1 tries, 337591 fired transitions, 100 secs
lola: 5941 generators; 465559 candidates remain ( 1%), 105 secs
lola: 1 tries, 349428 fired transitions, 105 secs
lola: 6242 generators; 463658 candidates remain ( 1%), 110 secs
lola: 1 tries, 369620 fired transitions, 110 secs
lola: 6372 generators; 462728 candidates remain ( 1%), 115 secs
lola: 1 tries, 389651 fired transitions, 115 secs
lola: 6784 generators; 460716 candidates remain ( 1%), 120 secs
lola: 1 tries, 409663 fired transitions, 120 secs
lola: 6954 generators; 459746 candidates remain ( 1%), 125 secs
lola: 1 tries, 429447 fired transitions, 125 secs
lola: 7173 generators; 458727 candidates remain ( 1%), 130 secs
lola: 1 tries, 449307 fired transitions, 130 secs
lola: 7447 generators; 456853 candidates remain ( 1%), 135 secs
lola: 1 tries, 469285 fired transitions, 135 secs
lola: 7654 generators; 455046 candidates remain ( 1%), 140 secs
lola: 1 tries, 486272 fired transitions, 140 secs
lola: 7958 generators; 453942 candidates remain ( 1%), 145 secs
lola: 1 tries, 495967 fired transitions, 145 secs
lola: 8314 generators; 451186 candidates remain ( 1%), 150 secs
lola: 1 tries, 505632 fired transitions, 150 secs
lola: 8657 generators; 449243 candidates remain ( 1%), 155 secs
lola: 1 tries, 519570 fired transitions, 155 secs
lola: 9022 generators; 446478 candidates remain ( 1%), 160 secs
lola: 1 tries, 530480 fired transitions, 160 secs
lola: 9460 generators; 443640 candidates remain ( 2%), 165 secs
lola: 1 tries, 540080 fired transitions, 165 secs
lola: 9673 generators; 442627 candidates remain ( 2%), 170 secs
lola: 1 tries, 549901 fired transitions, 170 secs
lola: 10206 generators; 438894 candidates remain ( 2%), 175 secs
lola: 1 tries, 559864 fired transitions, 175 secs
lola: 10584 generators; 436116 candidates remain ( 2%), 180 secs
lola: 1 tries, 575730 fired transitions, 180 secs
lola: 10988 generators; 434112 candidates remain ( 2%), 185 secs
lola: 1 tries, 585453 fired transitions, 185 secs
lola: 11319 generators; 431381 candidates remain ( 2%), 190 secs
lola: 1 tries, 595153 fired transitions, 190 secs
lola: 11652 generators; 428648 candidates remain ( 2%), 195 secs
lola: 1 tries, 604788 fired transitions, 195 secs
lola: 12199 generators; 425701 candidates remain ( 2%), 200 secs
lola: 1 tries, 614469 fired transitions, 200 secs
lola: 12520 generators; 422980 candidates remain ( 2%), 205 secs
lola: 1 tries, 624163 fired transitions, 205 secs
lola: 12954 generators; 419346 candidates remain ( 2%), 210 secs
lola: 1 tries, 633761 fired transitions, 210 secs
lola: 13362 generators; 415738 candidates remain ( 3%), 215 secs
lola: 1 tries, 646659 fired transitions, 215 secs
lola: 13753 generators; 412947 candidates remain ( 3%), 220 secs
lola: 1 tries, 659408 fired transitions, 220 secs
lola: 14168 generators; 409332 candidates remain ( 3%), 225 secs
lola: 1 tries, 678953 fired transitions, 225 secs
lola: 14399 generators; 407501 candidates remain ( 3%), 230 secs
lola: 1 tries, 698372 fired transitions, 230 secs
lola: 14864 generators; 403036 candidates remain ( 3%), 235 secs
lola: 1 tries, 708332 fired transitions, 235 secs
lola: 15431 generators; 398469 candidates remain ( 3%), 240 secs
lola: 1 tries, 718079 fired transitions, 240 secs
lola: 15959 generators; 301676 candidates remain ( 5%), 245 secs
lola: 1 tries, 729303 fired transitions, 245 secs
lola: 16395 generators; 297790 candidates remain ( 5%), 250 secs
lola: 1 tries, 744774 fired transitions, 250 secs
lola: 16800 generators; 293935 candidates remain ( 5%), 255 secs
lola: 1 tries, 762880 fired transitions, 255 secs
lola: 17483 generators; 287042 candidates remain ( 5%), 260 secs
lola: 1 tries, 772697 fired transitions, 260 secs
lola: 18186 generators; 279439 candidates remain ( 6%), 265 secs
lola: 1 tries, 782373 fired transitions, 265 secs
lola: 19005 generators; 266890 candidates remain ( 6%), 270 secs
lola: 1 tries, 792077 fired transitions, 270 secs
lola: computed 19900 generators (415 in search tree, 19485 by composition)
lola: representing 7.88658E+374 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 803199 fired transitions, 275 secs || 76 markings, 3412 edges, 15 markings/sec, 275 secs
lola: 1 tries, 822745 fired transitions, 280 secs || 633 markings, 33802 edges, 111 markings/sec, 280 secs
lola: 1 tries, 841684 fired transitions, 285 secs || 1169 markings, 63649 edges, 107 markings/sec, 285 secs
lola: 1 tries, 860486 fired transitions, 290 secs || 1721 markings, 95746 edges, 110 markings/sec, 290 secs
lola: 1 tries, 879049 fired transitions, 295 secs || 2279 markings, 127741 edges, 112 markings/sec, 295 secs
lola: 1 tries, 897860 fired transitions, 300 secs || 2863 markings, 159659 edges, 117 markings/sec, 300 secs
lola: 1 tries, 916568 fired transitions, 305 secs || 3413 markings, 192021 edges, 110 markings/sec, 305 secs
lola: 1 tries, 935586 fired transitions, 310 secs || 3963 markings, 224193 edges, 110 markings/sec, 310 secs
lola: 1 tries, 954566 fired transitions, 315 secs || 4523 markings, 257123 edges, 112 markings/sec, 315 secs
lola: 1 tries, 973405 fired transitions, 320 secs || 5087 markings, 290516 edges, 113 markings/sec, 320 secs
lola: 1 tries, 991863 fired transitions, 325 secs || 5639 markings, 323318 edges, 110 markings/sec, 325 secs
lola: 2 tries, 1010604 fired transitions, 330 secs || 6167 markings, 355012 edges, 106 markings/sec, 330 secs
lola: 2 tries, 1029417 fired transitions, 335 secs || 6703 markings, 387596 edges, 107 markings/sec, 335 secs
lola: 2 tries, 1048274 fired transitions, 340 secs || 7220 markings, 420461 edges, 103 markings/sec, 340 secs
lola: 2 tries, 1067191 fired transitions, 345 secs || 7715 markings, 452007 edges, 99 markings/sec, 345 secs
lola: 2 tries, 1085954 fired transitions, 350 secs || 8200 markings, 484366 edges, 97 markings/sec, 350 secs
lola: 2 tries, 1104645 fired transitions, 355 secs || 8672 markings, 516378 edges, 94 markings/sec, 355 secs
lola: 2 tries, 1123635 fired transitions, 360 secs || 9152 markings, 548763 edges, 96 markings/sec, 360 secs
lola: 2 tries, 1142337 fired transitions, 365 secs || 9620 markings, 580913 edges, 94 markings/sec, 365 secs
lola: 2 tries, 1161012 fired transitions, 370 secs || 10101 markings, 613228 edges, 96 markings/sec, 370 secs
lola: 2 tries, 1179915 fired transitions, 375 secs || 10570 markings, 645014 edges, 94 markings/sec, 375 secs
lola: 2 tries, 1198786 fired transitions, 380 secs || 11032 markings, 677074 edges, 92 markings/sec, 380 secs
lola: 2 tries, 1217454 fired transitions, 385 secs || 11504 markings, 709279 edges, 94 markings/sec, 385 secs
lola: 2 tries, 1235955 fired transitions, 390 secs || 11974 markings, 740997 edges, 94 markings/sec, 390 secs
lola: 2 tries, 1254272 fired transitions, 395 secs || 12448 markings, 772563 edges, 95 markings/sec, 395 secs
lola: 2 tries, 1272363 fired transitions, 400 secs || 12916 markings, 804434 edges, 94 markings/sec, 400 secs
lola: 2 tries, 1290369 fired transitions, 405 secs || 13414 markings, 836840 edges, 100 markings/sec, 405 secs
lola: 2 tries, 1308419 fired transitions, 410 secs || 13880 markings, 868845 edges, 93 markings/sec, 410 secs
lola: 2 tries, 1326636 fired transitions, 415 secs || 14346 markings, 900925 edges, 93 markings/sec, 415 secs
lola: 2 tries, 1345654 fired transitions, 420 secs || 14808 markings, 931750 edges, 92 markings/sec, 420 secs
lola: 2 tries, 1364452 fired transitions, 425 secs || 15282 markings, 963322 edges, 95 markings/sec, 425 secs
lola: 2 tries, 1383341 fired transitions, 430 secs || 15750 markings, 994648 edges, 94 markings/sec, 430 secs
lola: 2 tries, 1402407 fired transitions, 435 secs || 16222 markings, 1025760 edges, 94 markings/sec, 435 secs
lola: 2 tries, 1421523 fired transitions, 440 secs || 16702 markings, 1057353 edges, 96 markings/sec, 440 secs
lola: 2 tries, 1440379 fired transitions, 445 secs || 17182 markings, 1090025 edges, 96 markings/sec, 445 secs
lola: 2 tries, 1459340 fired transitions, 450 secs || 17646 markings, 1122231 edges, 93 markings/sec, 450 secs
lola: 2 tries, 1478240 fired transitions, 455 secs || 18105 markings, 1153660 edges, 92 markings/sec, 455 secs
lola: 2 tries, 1497147 fired transitions, 460 secs || 18564 markings, 1185456 edges, 92 markings/sec, 460 secs
lola: 2 tries, 1516101 fired transitions, 465 secs || 19024 markings, 1217061 edges, 92 markings/sec, 465 secs
lola: 2 tries, 1534882 fired transitions, 470 secs || 19476 markings, 1249003 edges, 90 markings/sec, 470 secs
lola: 2 tries, 1553503 fired transitions, 475 secs || 19940 markings, 1280343 edges, 93 markings/sec, 475 secs
lola: 2 tries, 1571874 fired transitions, 480 secs || 20414 markings, 1312863 edges, 95 markings/sec, 480 secs
lola: 2 tries, 1590069 fired transitions, 485 secs || 20878 markings, 1345293 edges, 93 markings/sec, 485 secs
lola: 2 tries, 1607925 fired transitions, 490 secs || 21334 markings, 1376687 edges, 91 markings/sec, 490 secs
lola: 2 tries, 1626973 fired transitions, 495 secs || 21794 markings, 1407629 edges, 92 markings/sec, 495 secs
lola: 2 tries, 1645629 fired transitions, 500 secs || 22260 markings, 1439636 edges, 93 markings/sec, 500 secs
lola: 2 tries, 1664336 fired transitions, 505 secs || 22716 markings, 1470985 edges, 91 markings/sec, 505 secs
lola: 2 tries, 1683281 fired transitions, 510 secs || 23172 markings, 1501469 edges, 91 markings/sec, 510 secs
lola: 2 tries, 1702299 fired transitions, 515 secs || 23630 markings, 1532749 edges, 92 markings/sec, 515 secs
lola: 2 tries, 1720937 fired transitions, 520 secs || 24104 markings, 1565359 edges, 95 markings/sec, 520 secs
lola: 2 tries, 1739790 fired transitions, 525 secs || 24564 markings, 1597558 edges, 92 markings/sec, 525 secs
lola: 2 tries, 1758755 fired transitions, 530 secs || 25031 markings, 1629575 edges, 93 markings/sec, 530 secs
lola: 2 tries, 1777714 fired transitions, 535 secs || 25506 markings, 1662230 edges, 95 markings/sec, 535 secs
lola: 2 tries, 1796617 fired transitions, 540 secs || 25974 markings, 1694202 edges, 94 markings/sec, 540 secs
lola: 2 tries, 1815280 fired transitions, 545 secs || 26438 markings, 1725880 edges, 93 markings/sec, 545 secs
lola: 2 tries, 1834314 fired transitions, 550 secs || 26892 markings, 1757118 edges, 91 markings/sec, 550 secs
lola: 2 tries, 1853324 fired transitions, 555 secs || 27356 markings, 1788977 edges, 93 markings/sec, 555 secs
lola: 2 tries, 1872287 fired transitions, 560 secs || 27815 markings, 1820737 edges, 92 markings/sec, 560 secs
lola: 2 tries, 1891317 fired transitions, 565 secs || 28272 markings, 1852301 edges, 91 markings/sec, 565 secs
lola: 2 tries, 1910457 fired transitions, 570 secs || 28736 markings, 1884375 edges, 93 markings/sec, 570 secs
lola: 2 tries, 1929905 fired transitions, 575 secs || 29212 markings, 1917723 edges, 95 markings/sec, 575 secs
lola: 2 tries, 1949334 fired transitions, 580 secs || 29684 markings, 1949481 edges, 94 markings/sec, 580 secs
lola: 2 tries, 1968703 fired transitions, 585 secs || 30152 markings, 1981558 edges, 94 markings/sec, 585 secs
lola: 2 tries, 1988066 fired transitions, 590 secs || 30622 markings, 2013192 edges, 94 markings/sec, 590 secs
lola: 3 tries, 2007398 fired transitions, 595 secs || 31078 markings, 2045344 edges, 91 markings/sec, 595 secs
lola: 3 tries, 2026732 fired transitions, 600 secs || 31552 markings, 2077898 edges, 95 markings/sec, 600 secs
lola: 3 tries, 2046224 fired transitions, 605 secs || 32030 markings, 2110715 edges, 96 markings/sec, 605 secs
lola: 3 tries, 2065322 fired transitions, 610 secs || 32496 markings, 2143485 edges, 93 markings/sec, 610 secs
lola: 3 tries, 2084354 fired transitions, 615 secs || 32980 markings, 2176515 edges, 97 markings/sec, 615 secs
lola: 3 tries, 2102787 fired transitions, 620 secs || 33450 markings, 2208874 edges, 94 markings/sec, 620 secs
lola: 3 tries, 2121306 fired transitions, 625 secs || 33912 markings, 2240843 edges, 92 markings/sec, 625 secs
lola: 3 tries, 2140296 fired transitions, 630 secs || 34376 markings, 2272102 edges, 93 markings/sec, 630 secs
lola: 3 tries, 2159385 fired transitions, 635 secs || 34856 markings, 2303955 edges, 96 markings/sec, 635 secs
lola: 3 tries, 2178096 fired transitions, 640 secs || 35324 markings, 2336227 edges, 94 markings/sec, 640 secs
lola: 3 tries, 2196719 fired transitions, 645 secs || 35774 markings, 2367710 edges, 90 markings/sec, 645 secs
lola: 3 tries, 2215296 fired transitions, 650 secs || 36252 markings, 2400555 edges, 96 markings/sec, 650 secs
lola: 3 tries, 2234175 fired transitions, 655 secs || 36712 markings, 2432148 edges, 92 markings/sec, 655 secs
lola: 3 tries, 2253035 fired transitions, 660 secs || 37184 markings, 2464038 edges, 94 markings/sec, 660 secs
lola: 3 tries, 2271648 fired transitions, 665 secs || 37644 markings, 2495509 edges, 92 markings/sec, 665 secs
lola: 3 tries, 2290104 fired transitions, 670 secs || 38106 markings, 2526044 edges, 92 markings/sec, 670 secs
lola: 3 tries, 2309020 fired transitions, 675 secs || 38546 markings, 2556108 edges, 88 markings/sec, 675 secs
lola: 3 tries, 2327715 fired transitions, 680 secs || 39008 markings, 2587076 edges, 92 markings/sec, 680 secs
lola: 3 tries, 2346225 fired transitions, 685 secs || 39460 markings, 2617816 edges, 90 markings/sec, 685 secs
lola: 3 tries, 2364677 fired transitions, 690 secs || 39928 markings, 2649695 edges, 94 markings/sec, 690 secs
lola: 3 tries, 2383405 fired transitions, 695 secs || 40376 markings, 2681104 edges, 90 markings/sec, 695 secs
lola: 3 tries, 2402313 fired transitions, 700 secs || 40820 markings, 2711913 edges, 89 markings/sec, 700 secs
lola: 3 tries, 2420852 fired transitions, 705 secs || 41290 markings, 2743592 edges, 94 markings/sec, 705 secs
lola: 3 tries, 2439544 fired transitions, 710 secs || 41754 markings, 2775109 edges, 93 markings/sec, 710 secs
lola: 3 tries, 2458422 fired transitions, 715 secs || 42222 markings, 2807473 edges, 94 markings/sec, 715 secs
lola: 3 tries, 2477246 fired transitions, 720 secs || 42692 markings, 2839721 edges, 94 markings/sec, 720 secs
lola: 3 tries, 2496249 fired transitions, 725 secs || 43174 markings, 2873434 edges, 96 markings/sec, 725 secs
lola: 3 tries, 2516571 fired transitions, 730 secs || 43685 markings, 2908646 edges, 102 markings/sec, 730 secs
lola: 3 tries, 2537133 fired transitions, 735 secs || 44204 markings, 2943328 edges, 104 markings/sec, 735 secs
lola: 3 tries, 2558063 fired transitions, 740 secs || 44727 markings, 2979649 edges, 105 markings/sec, 740 secs
lola: 3 tries, 2578881 fired transitions, 745 secs || 45240 markings, 3015145 edges, 103 markings/sec, 745 secs
lola: 3 tries, 2599807 fired transitions, 750 secs || 45754 markings, 3050630 edges, 103 markings/sec, 750 secs
lola: 3 tries, 2620584 fired transitions, 755 secs || 46272 markings, 3086231 edges, 104 markings/sec, 755 secs
lola: 3 tries, 2641594 fired transitions, 760 secs || 46778 markings, 3120640 edges, 101 markings/sec, 760 secs
lola: 3 tries, 2662596 fired transitions, 765 secs || 47294 markings, 3155156 edges, 103 markings/sec, 765 secs
lola: 3 tries, 2683471 fired transitions, 770 secs || 47772 markings, 3188505 edges, 96 markings/sec, 770 secs
lola: 3 tries, 2704369 fired transitions, 775 secs || 48254 markings, 3221943 edges, 96 markings/sec, 775 secs
lola: 3 tries, 2724967 fired transitions, 780 secs || 48748 markings, 3256086 edges, 99 markings/sec, 780 secs
lola: 3 tries, 2745690 fired transitions, 785 secs || 49252 markings, 3291040 edges, 101 markings/sec, 785 secs
lola: 3 tries, 2766392 fired transitions, 790 secs || 49752 markings, 3325040 edges, 100 markings/sec, 790 secs
lola: 3 tries, 2786898 fired transitions, 795 secs || 50262 markings, 3359681 edges, 102 markings/sec, 795 secs
lola: 3 tries, 2807462 fired transitions, 800 secs || 50798 markings, 3393418 edges, 107 markings/sec, 800 secs
lola: 3 tries, 2828467 fired transitions, 805 secs || 51300 markings, 3427454 edges, 100 markings/sec, 805 secs
lola: 3 tries, 2849537 fired transitions, 810 secs || 51828 markings, 3462193 edges, 106 markings/sec, 810 secs
lola: 3 tries, 2870448 fired transitions, 815 secs || 52332 markings, 3497109 edges, 101 markings/sec, 815 secs
lola: 3 tries, 2890705 fired transitions, 820 secs || 52844 markings, 3531319 edges, 102 markings/sec, 820 secs
lola: 3 tries, 2911393 fired transitions, 825 secs || 53359 markings, 3566366 edges, 103 markings/sec, 825 secs
lola: 3 tries, 2932093 fired transitions, 830 secs || 53878 markings, 3601902 edges, 104 markings/sec, 830 secs
lola: 3 tries, 2952944 fired transitions, 835 secs || 54388 markings, 3636665 edges, 102 markings/sec, 835 secs
lola: 3 tries, 2973807 fired transitions, 840 secs || 54910 markings, 3671738 edges, 104 markings/sec, 840 secs
lola: 3 tries, 2994654 fired transitions, 845 secs || 55412 markings, 3706726 edges, 100 markings/sec, 845 secs
lola: 4 tries, 3015579 fired transitions, 850 secs || 55912 markings, 3741257 edges, 100 markings/sec, 850 secs
lola: 4 tries, 3036380 fired transitions, 855 secs || 56412 markings, 3775788 edges, 100 markings/sec, 855 secs
lola: 4 tries, 3057169 fired transitions, 860 secs || 56928 markings, 3811161 edges, 103 markings/sec, 860 secs
lola: 4 tries, 3077199 fired transitions, 865 secs || 57464 markings, 3846723 edges, 107 markings/sec, 865 secs
lola: 4 tries, 3096981 fired transitions, 870 secs || 57978 markings, 3881456 edges, 103 markings/sec, 870 secs
lola: 4 tries, 3116947 fired transitions, 875 secs || 58478 markings, 3915005 edges, 100 markings/sec, 875 secs
lola: 4 tries, 3137185 fired transitions, 880 secs || 59000 markings, 3949207 edges, 104 markings/sec, 880 secs
lola: 4 tries, 3157336 fired transitions, 885 secs || 59510 markings, 3983035 edges, 102 markings/sec, 885 secs
lola: 4 tries, 3177482 fired transitions, 890 secs || 60022 markings, 4018094 edges, 102 markings/sec, 890 secs
lola: 4 tries, 3197484 fired transitions, 895 secs || 60534 markings, 4052534 edges, 102 markings/sec, 895 secs
lola: 4 tries, 3217290 fired transitions, 900 secs || 61054 markings, 4088597 edges, 104 markings/sec, 900 secs
lola: 4 tries, 3238022 fired transitions, 905 secs || 61566 markings, 4123813 edges, 102 markings/sec, 905 secs
lola: 4 tries, 3258792 fired transitions, 910 secs || 62094 markings, 4159968 edges, 106 markings/sec, 910 secs
lola: 4 tries, 3279818 fired transitions, 915 secs || 62608 markings, 4195645 edges, 103 markings/sec, 915 secs
lola: 4 tries, 3300901 fired transitions, 920 secs || 63132 markings, 4231777 edges, 105 markings/sec, 920 secs
lola: 4 tries, 3321610 fired transitions, 925 secs || 63640 markings, 4267117 edges, 102 markings/sec, 925 secs
lola: 4 tries, 3342442 fired transitions, 930 secs || 64152 markings, 4302783 edges, 102 markings/sec, 930 secs
lola: 4 tries, 3363181 fired transitions, 935 secs || 64666 markings, 4338519 edges, 103 markings/sec, 935 secs
lola: 4 tries, 3384147 fired transitions, 940 secs || 65178 markings, 4373681 edges, 102 markings/sec, 940 secs
lola: 4 tries, 3405084 fired transitions, 945 secs || 65698 markings, 4409271 edges, 104 markings/sec, 945 secs
lola: 4 tries, 3426081 fired transitions, 950 secs || 66226 markings, 4445029 edges, 106 markings/sec, 950 secs
lola: 4 tries, 3447089 fired transitions, 955 secs || 66750 markings, 4480975 edges, 105 markings/sec, 955 secs
lola: 4 tries, 3468033 fired transitions, 960 secs || 67248 markings, 4516576 edges, 100 markings/sec, 960 secs
lola: 4 tries, 3488962 fired transitions, 965 secs || 67772 markings, 4552414 edges, 105 markings/sec, 965 secs
lola: 4 tries, 3509884 fired transitions, 970 secs || 68294 markings, 4588639 edges, 104 markings/sec, 970 secs
lola: 4 tries, 3530940 fired transitions, 975 secs || 68836 markings, 4623679 edges, 108 markings/sec, 975 secs
lola: 4 tries, 3551998 fired transitions, 980 secs || 69352 markings, 4658505 edges, 103 markings/sec, 980 secs
lola: 4 tries, 3573032 fired transitions, 985 secs || 69874 markings, 4693894 edges, 104 markings/sec, 985 secs
lola: 4 tries, 3594044 fired transitions, 990 secs || 70394 markings, 4729066 edges, 104 markings/sec, 990 secs
lola: 4 tries, 3615051 fired transitions, 995 secs || 70905 markings, 4764223 edges, 102 markings/sec, 995 secs
lola: 4 tries, 3636144 fired transitions, 1000 secs || 71424 markings, 4799509 edges, 104 markings/sec, 1000 secs
lola: 4 tries, 3656997 fired transitions, 1005 secs || 71944 markings, 4835485 edges, 104 markings/sec, 1005 secs
lola: 4 tries, 3677769 fired transitions, 1010 secs || 72460 markings, 4871322 edges, 103 markings/sec, 1010 secs
lola: 4 tries, 3698653 fired transitions, 1015 secs || 72982 markings, 4906449 edges, 104 markings/sec, 1015 secs
lola: 4 tries, 3719528 fired transitions, 1020 secs || 73492 markings, 4941826 edges, 102 markings/sec, 1020 secs
lola: 4 tries, 3740321 fired transitions, 1025 secs || 74010 markings, 4977200 edges, 104 markings/sec, 1025 secs
lola: 4 tries, 3760899 fired transitions, 1030 secs || 74540 markings, 5013600 edges, 106 markings/sec, 1030 secs
lola: 4 tries, 3781695 fired transitions, 1035 secs || 75060 markings, 5049066 edges, 104 markings/sec, 1035 secs
lola: 4 tries, 3802493 fired transitions, 1040 secs || 75582 markings, 5085361 edges, 104 markings/sec, 1040 secs
lola: 4 tries, 3823270 fired transitions, 1045 secs || 76106 markings, 5121644 edges, 105 markings/sec, 1045 secs
lola: 4 tries, 3844006 fired transitions, 1050 secs || 76614 markings, 5156475 edges, 102 markings/sec, 1050 secs
lola: 4 tries, 3864742 fired transitions, 1055 secs || 77132 markings, 5191318 edges, 104 markings/sec, 1055 secs
lola: 4 tries, 3885324 fired transitions, 1060 secs || 77634 markings, 5226090 edges, 100 markings/sec, 1060 secs
lola: 4 tries, 3905911 fired transitions, 1065 secs || 78148 markings, 5261448 edges, 103 markings/sec, 1065 secs
lola: 4 tries, 3926410 fired transitions, 1070 secs || 78664 markings, 5296862 edges, 103 markings/sec, 1070 secs
lola: 4 tries, 3946887 fired transitions, 1075 secs || 79186 markings, 5333334 edges, 104 markings/sec, 1075 secs
lola: 4 tries, 3967846 fired transitions, 1080 secs || 79706 markings, 5368995 edges, 104 markings/sec, 1080 secs
lola: 4 tries, 3988910 fired transitions, 1085 secs || 80228 markings, 5403333 edges, 104 markings/sec, 1085 secs
lola: 5 tries, 4009929 fired transitions, 1090 secs || 80742 markings, 5438366 edges, 103 markings/sec, 1090 secs
lola: 5 tries, 4031012 fired transitions, 1095 secs || 81266 markings, 5472914 edges, 105 markings/sec, 1095 secs
lola: 5 tries, 4052051 fired transitions, 1100 secs || 81784 markings, 5507922 edges, 104 markings/sec, 1100 secs
lola: 5 tries, 4072957 fired transitions, 1105 secs || 82302 markings, 5543814 edges, 104 markings/sec, 1105 secs
lola: 5 tries, 4093858 fired transitions, 1110 secs || 82818 markings, 5579489 edges, 103 markings/sec, 1110 secs
lola: 5 tries, 4114730 fired transitions, 1115 secs || 83342 markings, 5614676 edges, 105 markings/sec, 1115 secs
lola: 5 tries, 4135465 fired transitions, 1120 secs || 83849 markings, 5650115 edges, 101 markings/sec, 1120 secs
lola: 5 tries, 4156293 fired transitions, 1125 secs || 84365 markings, 5686455 edges, 103 markings/sec, 1125 secs
lola: 5 tries, 4177109 fired transitions, 1130 secs || 84876 markings, 5721721 edges, 102 markings/sec, 1130 secs
lola: 5 tries, 4198023 fired transitions, 1135 secs || 85394 markings, 5757088 edges, 104 markings/sec, 1135 secs
lola: 5 tries, 4218760 fired transitions, 1140 secs || 85906 markings, 5792505 edges, 102 markings/sec, 1140 secs
lola: 5 tries, 4239006 fired transitions, 1145 secs || 86428 markings, 5827981 edges, 104 markings/sec, 1145 secs
lola: 5 tries, 4259194 fired transitions, 1150 secs || 86946 markings, 5863060 edges, 104 markings/sec, 1150 secs
lola: 5 tries, 4279610 fired transitions, 1155 secs || 87470 markings, 5898833 edges, 105 markings/sec, 1155 secs
lola: 5 tries, 4300658 fired transitions, 1160 secs || 87988 markings, 5934785 edges, 104 markings/sec, 1160 secs
lola: 5 tries, 4321716 fired transitions, 1165 secs || 88498 markings, 5970076 edges, 102 markings/sec, 1165 secs
lola: 5 tries, 4342724 fired transitions, 1170 secs || 89016 markings, 6004923 edges, 104 markings/sec, 1170 secs
lola: 5 tries, 4363654 fired transitions, 1175 secs || 89534 markings, 6040746 edges, 104 markings/sec, 1175 secs
lola: 5 tries, 4384581 fired transitions, 1180 secs || 90048 markings, 6076582 edges, 103 markings/sec, 1180 secs
lola: 5 tries, 4405508 fired transitions, 1185 secs || 90560 markings, 6111695 edges, 102 markings/sec, 1185 secs
lola: 5 tries, 4426438 fired transitions, 1190 secs || 91081 markings, 6147282 edges, 104 markings/sec, 1190 secs
lola: 5 tries, 4447364 fired transitions, 1195 secs || 91598 markings, 6182700 edges, 103 markings/sec, 1195 secs
lola: 5 tries, 4468293 fired transitions, 1200 secs || 92106 markings, 6218789 edges, 102 markings/sec, 1200 secs
lola: 5 tries, 4489228 fired transitions, 1205 secs || 92620 markings, 6254069 edges, 103 markings/sec, 1205 secs
lola: 5 tries, 4510116 fired transitions, 1210 secs || 93132 markings, 6289891 edges, 102 markings/sec, 1210 secs
lola: 5 tries, 4531017 fired transitions, 1215 secs || 93656 markings, 6326285 edges, 105 markings/sec, 1215 secs
lola: 5 tries, 4551889 fired transitions, 1220 secs || 94178 markings, 6362327 edges, 104 markings/sec, 1220 secs
lola: 5 tries, 4572816 fired transitions, 1225 secs || 94702 markings, 6398060 edges, 105 markings/sec, 1225 secs
lola: 5 tries, 4593737 fired transitions, 1230 secs || 95208 markings, 6433453 edges, 101 markings/sec, 1230 secs
lola: 5 tries, 4614460 fired transitions, 1235 secs || 95724 markings, 6469245 edges, 103 markings/sec, 1235 secs
lola: 5 tries, 4635502 fired transitions, 1240 secs || 96248 markings, 6504732 edges, 105 markings/sec, 1240 secs
lola: 5 tries, 4656568 fired transitions, 1245 secs || 96784 markings, 6539328 edges, 107 markings/sec, 1245 secs
lola: 5 tries, 4677660 fired transitions, 1250 secs || 97314 markings, 6573942 edges, 106 markings/sec, 1250 secs
lola: 5 tries, 4698753 fired transitions, 1255 secs || 97840 markings, 6608876 edges, 105 markings/sec, 1255 secs
lola: 5 tries, 4719815 fired transitions, 1260 secs || 98352 markings, 6643786 edges, 102 markings/sec, 1260 secs
lola: 5 tries, 4740904 fired transitions, 1265 secs || 98868 markings, 6678833 edges, 103 markings/sec, 1265 secs
lola: 5 tries, 4761912 fired transitions, 1270 secs || 99382 markings, 6713753 edges, 103 markings/sec, 1270 secs
lola: 5 tries, 4782902 fired transitions, 1275 secs || 99888 markings, 6749094 edges, 101 markings/sec, 1275 secs
lola: 5 tries, 4803997 fired transitions, 1280 secs || 100409 markings, 6783757 edges, 104 markings/sec, 1280 secs
lola: 5 tries, 4825086 fired transitions, 1285 secs || 100916 markings, 6818134 edges, 101 markings/sec, 1285 secs
lola: 5 tries, 4846077 fired transitions, 1290 secs || 101420 markings, 6852821 edges, 101 markings/sec, 1290 secs
lola: 5 tries, 4867067 fired transitions, 1295 secs || 101944 markings, 6887878 edges, 105 markings/sec, 1295 secs
lola: 5 tries, 4887981 fired transitions, 1300 secs || 102456 markings, 6923155 edges, 102 markings/sec, 1300 secs
lola: 5 tries, 4908917 fired transitions, 1305 secs || 102982 markings, 6959201 edges, 105 markings/sec, 1305 secs
lola: 5 tries, 4929848 fired transitions, 1310 secs || 103490 markings, 6994795 edges, 102 markings/sec, 1310 secs
lola: 5 tries, 4950775 fired transitions, 1315 secs || 104008 markings, 7030666 edges, 104 markings/sec, 1315 secs
lola: 5 tries, 4971738 fired transitions, 1320 secs || 104510 markings, 7066036 edges, 100 markings/sec, 1320 secs
lola: 5 tries, 4992773 fired transitions, 1325 secs || 105026 markings, 7100936 edges, 103 markings/sec, 1325 secs
lola: 6 tries, 5013778 fired transitions, 1330 secs || 105534 markings, 7136386 edges, 102 markings/sec, 1330 secs
lola: 6 tries, 5034818 fired transitions, 1335 secs || 106058 markings, 7171051 edges, 105 markings/sec, 1335 secs
lola: 6 tries, 5055871 fired transitions, 1340 secs || 106568 markings, 7205546 edges, 102 markings/sec, 1340 secs
lola: 6 tries, 5076835 fired transitions, 1345 secs || 107086 markings, 7241100 edges, 104 markings/sec, 1345 secs
lola: 6 tries, 5097770 fired transitions, 1350 secs || 107594 markings, 7276865 edges, 102 markings/sec, 1350 secs
lola: 6 tries, 5118705 fired transitions, 1355 secs || 108101 markings, 7312637 edges, 101 markings/sec, 1355 secs
lola: 6 tries, 5139625 fired transitions, 1360 secs || 108608 markings, 7347680 edges, 101 markings/sec, 1360 secs
lola: 6 tries, 5160594 fired transitions, 1365 secs || 109122 markings, 7383024 edges, 103 markings/sec, 1365 secs
lola: 6 tries, 5181599 fired transitions, 1370 secs || 109636 markings, 7418010 edges, 103 markings/sec, 1370 secs
lola: 6 tries, 5202531 fired transitions, 1375 secs || 110152 markings, 7453807 edges, 103 markings/sec, 1375 secs
lola: 6 tries, 5223467 fired transitions, 1380 secs || 110674 markings, 7490022 edges, 104 markings/sec, 1380 secs
lola: 6 tries, 5244401 fired transitions, 1385 secs || 111184 markings, 7526315 edges, 102 markings/sec, 1385 secs
lola: 6 tries, 5265356 fired transitions, 1390 secs || 111700 markings, 7561945 edges, 103 markings/sec, 1390 secs
lola: 6 tries, 5286414 fired transitions, 1395 secs || 112214 markings, 7597203 edges, 103 markings/sec, 1395 secs
lola: 6 tries, 5307633 fired transitions, 1400 secs || 112736 markings, 7632023 edges, 104 markings/sec, 1400 secs
lola: 6 tries, 5328712 fired transitions, 1405 secs || 113258 markings, 7667142 edges, 104 markings/sec, 1405 secs
lola: 6 tries, 5349827 fired transitions, 1410 secs || 113778 markings, 7702195 edges, 104 markings/sec, 1410 secs
lola: 6 tries, 5370741 fired transitions, 1415 secs || 114314 markings, 7737488 edges, 107 markings/sec, 1415 secs
lola: 6 tries, 5391937 fired transitions, 1420 secs || 114836 markings, 7772217 edges, 104 markings/sec, 1420 secs
lola: 6 tries, 5413139 fired transitions, 1425 secs || 115342 markings, 7807624 edges, 101 markings/sec, 1425 secs
lola: 6 tries, 5434339 fired transitions, 1430 secs || 115874 markings, 7842438 edges, 106 markings/sec, 1430 secs
lola: 6 tries, 5455416 fired transitions, 1435 secs || 116394 markings, 7877031 edges, 104 markings/sec, 1435 secs
lola: 6 tries, 5476501 fired transitions, 1440 secs || 116888 markings, 7911163 edges, 99 markings/sec, 1440 secs
lola: 6 tries, 5497536 fired transitions, 1445 secs || 117392 markings, 7945618 edges, 101 markings/sec, 1445 secs
lola: 6 tries, 5518383 fired transitions, 1450 secs || 117898 markings, 7980412 edges, 101 markings/sec, 1450 secs
lola: 6 tries, 5539365 fired transitions, 1455 secs || 118408 markings, 8015547 edges, 102 markings/sec, 1455 secs
lola: 6 tries, 5560289 fired transitions, 1460 secs || 118926 markings, 8051524 edges, 104 markings/sec, 1460 secs
lola: 6 tries, 5581202 fired transitions, 1465 secs || 119426 markings, 8086757 edges, 100 markings/sec, 1465 secs
lola: 6 tries, 5602099 fired transitions, 1470 secs || 119930 markings, 8122226 edges, 101 markings/sec, 1470 secs
lola: 6 tries, 5622646 fired transitions, 1475 secs || 120426 markings, 8157470 edges, 99 markings/sec, 1475 secs
lola: 6 tries, 5643564 fired transitions, 1480 secs || 120936 markings, 8193434 edges, 102 markings/sec, 1480 secs
lola: 6 tries, 5664502 fired transitions, 1485 secs || 121448 markings, 8228378 edges, 102 markings/sec, 1485 secs
lola: 6 tries, 5685433 fired transitions, 1490 secs || 121962 markings, 8263117 edges, 103 markings/sec, 1490 secs
lola: 6 tries, 5706180 fired transitions, 1495 secs || 122464 markings, 8298113 edges, 100 markings/sec, 1495 secs
lola: 6 tries, 5726803 fired transitions, 1500 secs || 122964 markings, 8333055 edges, 100 markings/sec, 1500 secs
lola: 6 tries, 5747511 fired transitions, 1505 secs || 123450 markings, 8367267 edges, 97 markings/sec, 1505 secs
lola: 6 tries, 5768355 fired transitions, 1510 secs || 123949 markings, 8401654 edges, 100 markings/sec, 1510 secs
lola: 6 tries, 5789168 fired transitions, 1515 secs || 124440 markings, 8436038 edges, 98 markings/sec, 1515 secs
lola: 6 tries, 5809360 fired transitions, 1520 secs || 124944 markings, 8470317 edges, 101 markings/sec, 1520 secs
lola: 6 tries, 5828772 fired transitions, 1525 secs || 125446 markings, 8505301 edges, 100 markings/sec, 1525 secs
lola: 6 tries, 5848185 fired transitions, 1530 secs || 125954 markings, 8540965 edges, 102 markings/sec, 1530 secs
lola: 6 tries, 5867454 fired transitions, 1535 secs || 126464 markings, 8576305 edges, 102 markings/sec, 1535 secs
lola: 6 tries, 5886785 fired transitions, 1540 secs || 126966 markings, 8611109 edges, 100 markings/sec, 1540 secs
lola: 6 tries, 5906247 fired transitions, 1545 secs || 127476 markings, 8646098 edges, 102 markings/sec, 1545 secs
lola: 6 tries, 5926206 fired transitions, 1550 secs || 127974 markings, 8680683 edges, 100 markings/sec, 1550 secs
lola: 6 tries, 5947518 fired transitions, 1555 secs || 128468 markings, 8715020 edges, 99 markings/sec, 1555 secs
lola: 6 tries, 5969322 fired transitions, 1560 secs || 128960 markings, 8749023 edges, 98 markings/sec, 1560 secs
lola: 6 tries, 5991074 fired transitions, 1565 secs || 129460 markings, 8783306 edges, 100 markings/sec, 1565 secs
lola: 7 tries, 6012141 fired transitions, 1570 secs || 129976 markings, 8818453 edges, 103 markings/sec, 1570 secs
lola: 7 tries, 6033174 fired transitions, 1575 secs || 130486 markings, 8852756 edges, 102 markings/sec, 1575 secs
lola: 7 tries, 6054171 fired transitions, 1580 secs || 130980 markings, 8887079 edges, 99 markings/sec, 1580 secs
lola: 7 tries, 6075197 fired transitions, 1585 secs || 131484 markings, 8921556 edges, 101 markings/sec, 1585 secs
lola: 7 tries, 6096228 fired transitions, 1590 secs || 132012 markings, 8956426 edges, 106 markings/sec, 1590 secs
lola: 7 tries, 6117245 fired transitions, 1595 secs || 132524 markings, 8990860 edges, 102 markings/sec, 1595 secs
lola: 7 tries, 6138289 fired transitions, 1600 secs || 133036 markings, 9025032 edges, 102 markings/sec, 1600 secs
lola: 7 tries, 6159053 fired transitions, 1605 secs || 133557 markings, 9061240 edges, 104 markings/sec, 1605 secs
lola: 7 tries, 6179782 fired transitions, 1610 secs || 134052 markings, 9096032 edges, 99 markings/sec, 1610 secs
lola: 7 tries, 6200528 fired transitions, 1615 secs || 134554 markings, 9130911 edges, 100 markings/sec, 1615 secs
lola: 7 tries, 6221307 fired transitions, 1620 secs || 135060 markings, 9166118 edges, 101 markings/sec, 1620 secs
lola: 7 tries, 6242325 fired transitions, 1625 secs || 135561 markings, 9200509 edges, 100 markings/sec, 1625 secs
lola: 7 tries, 6263367 fired transitions, 1630 secs || 136056 markings, 9234899 edges, 99 markings/sec, 1630 secs
lola: 7 tries, 6284312 fired transitions, 1635 secs || 136546 markings, 9268945 edges, 98 markings/sec, 1635 secs
lola: 7 tries, 6305325 fired transitions, 1640 secs || 137052 markings, 9303388 edges, 101 markings/sec, 1640 secs
lola: 7 tries, 6326376 fired transitions, 1645 secs || 137554 markings, 9338392 edges, 100 markings/sec, 1645 secs
lola: 7 tries, 6347348 fired transitions, 1650 secs || 138053 markings, 9372547 edges, 100 markings/sec, 1650 secs
lola: 7 tries, 6368358 fired transitions, 1655 secs || 138560 markings, 9407189 edges, 101 markings/sec, 1655 secs
lola: 7 tries, 6389363 fired transitions, 1660 secs || 139076 markings, 9441315 edges, 103 markings/sec, 1660 secs
lola: 7 tries, 6410407 fired transitions, 1665 secs || 139596 markings, 9475776 edges, 104 markings/sec, 1665 secs
lola: 7 tries, 6431433 fired transitions, 1670 secs || 140114 markings, 9510487 edges, 104 markings/sec, 1670 secs
lola: 7 tries, 6452459 fired transitions, 1675 secs || 140627 markings, 9545317 edges, 103 markings/sec, 1675 secs
lola: 7 tries, 6473501 fired transitions, 1680 secs || 141134 markings, 9579223 edges, 101 markings/sec, 1680 secs
lola: 7 tries, 6494461 fired transitions, 1685 secs || 141644 markings, 9613257 edges, 102 markings/sec, 1685 secs
lola: 7 tries, 6515443 fired transitions, 1690 secs || 142148 markings, 9647693 edges, 101 markings/sec, 1690 secs
lola: 7 tries, 6536471 fired transitions, 1695 secs || 142650 markings, 9682082 edges, 100 markings/sec, 1695 secs
lola: 7 tries, 6557496 fired transitions, 1700 secs || 143152 markings, 9716090 edges, 100 markings/sec, 1700 secs
lola: 7 tries, 6578517 fired transitions, 1705 secs || 143654 markings, 9750583 edges, 100 markings/sec, 1705 secs
lola: 7 tries, 6599545 fired transitions, 1710 secs || 144156 markings, 9784961 edges, 100 markings/sec, 1710 secs
lola: 7 tries, 6620530 fired transitions, 1715 secs || 144672 markings, 9819452 edges, 103 markings/sec, 1715 secs
lola: 7 tries, 6641528 fired transitions, 1720 secs || 145186 markings, 9853813 edges, 103 markings/sec, 1720 secs
lola: 7 tries, 6662509 fired transitions, 1725 secs || 145706 markings, 9887943 edges, 104 markings/sec, 1725 secs
lola: 7 tries, 6683565 fired transitions, 1730 secs || 146220 markings, 9923233 edges, 103 markings/sec, 1730 secs
lola: 7 tries, 6704584 fired transitions, 1735 secs || 146728 markings, 9957737 edges, 102 markings/sec, 1735 secs
lola: 7 tries, 6725485 fired transitions, 1740 secs || 147226 markings, 9992783 edges, 100 markings/sec, 1740 secs
lola: 7 tries, 6746485 fired transitions, 1745 secs || 147730 markings, 10027170 edges, 101 markings/sec, 1745 secs
lola: 7 tries, 6767488 fired transitions, 1750 secs || 148236 markings, 10060777 edges, 101 markings/sec, 1750 secs
lola: 7 tries, 6788463 fired transitions, 1755 secs || 148724 markings, 10094915 edges, 98 markings/sec, 1755 secs
lola: 7 tries, 6809411 fired transitions, 1760 secs || 149234 markings, 10129723 edges, 102 markings/sec, 1760 secs
lola: 7 tries, 6830384 fired transitions, 1765 secs || 149724 markings, 10163243 edges, 98 markings/sec, 1765 secs
lola: 7 tries, 6851365 fired transitions, 1770 secs || 150230 markings, 10197442 edges, 101 markings/sec, 1770 secs
lola: 7 tries, 6872314 fired transitions, 1775 secs || 150713 markings, 10230683 edges, 97 markings/sec, 1775 secs
lola: 7 tries, 6893215 fired transitions, 1780 secs || 151202 markings, 10265510 edges, 98 markings/sec, 1780 secs
lola: 7 tries, 6914245 fired transitions, 1785 secs || 151710 markings, 10300046 edges, 102 markings/sec, 1785 secs
lola: 7 tries, 6935256 fired transitions, 1790 secs || 152214 markings, 10334527 edges, 101 markings/sec, 1790 secs
lola: 7 tries, 6956282 fired transitions, 1795 secs || 152704 markings, 10368762 edges, 98 markings/sec, 1795 secs
lola: 7 tries, 6977298 fired transitions, 1800 secs || 153196 markings, 10403267 edges, 98 markings/sec, 1800 secs
lola: 7 tries, 6998332 fired transitions, 1805 secs || 153696 markings, 10437558 edges, 100 markings/sec, 1805 secs
lola: 8 tries, 7019283 fired transitions, 1810 secs || 154210 markings, 10472768 edges, 103 markings/sec, 1810 secs
lola: 8 tries, 7040108 fired transitions, 1815 secs || 154710 markings, 10508363 edges, 100 markings/sec, 1815 secs
lola: 8 tries, 7061028 fired transitions, 1820 secs || 155210 markings, 10543599 edges, 100 markings/sec, 1820 secs
lola: 8 tries, 7082006 fired transitions, 1825 secs || 155706 markings, 10578087 edges, 99 markings/sec, 1825 secs
lola: 8 tries, 7103000 fired transitions, 1830 secs || 156218 markings, 10612399 edges, 102 markings/sec, 1830 secs
lola: 8 tries, 7123943 fired transitions, 1835 secs || 156724 markings, 10646801 edges, 101 markings/sec, 1835 secs
lola: 8 tries, 7144957 fired transitions, 1840 secs || 157222 markings, 10681658 edges, 100 markings/sec, 1840 secs
lola: 8 tries, 7165984 fired transitions, 1845 secs || 157716 markings, 10716082 edges, 99 markings/sec, 1845 secs
lola: 8 tries, 7187019 fired transitions, 1850 secs || 158220 markings, 10750770 edges, 101 markings/sec, 1850 secs
lola: 8 tries, 7208041 fired transitions, 1855 secs || 158728 markings, 10786049 edges, 102 markings/sec, 1855 secs
lola: 8 tries, 7229053 fired transitions, 1860 secs || 159222 markings, 10820722 edges, 99 markings/sec, 1860 secs
lola: 8 tries, 7250063 fired transitions, 1865 secs || 159712 markings, 10855142 edges, 98 markings/sec, 1865 secs
lola: 8 tries, 7270950 fired transitions, 1870 secs || 160198 markings, 10889442 edges, 97 markings/sec, 1870 secs
lola: 8 tries, 7291915 fired transitions, 1875 secs || 160694 markings, 10924240 edges, 99 markings/sec, 1875 secs
lola: 8 tries, 7312966 fired transitions, 1880 secs || 161204 markings, 10958589 edges, 102 markings/sec, 1880 secs
lola: 8 tries, 7334029 fired transitions, 1885 secs || 161716 markings, 10993100 edges, 102 markings/sec, 1885 secs
lola: 8 tries, 7355029 fired transitions, 1890 secs || 162230 markings, 11027853 edges, 103 markings/sec, 1890 secs
lola: 8 tries, 7376032 fired transitions, 1895 secs || 162733 markings, 11062460 edges, 101 markings/sec, 1895 secs
lola: 8 tries, 7396996 fired transitions, 1900 secs || 163238 markings, 11097258 edges, 101 markings/sec, 1900 secs
lola: 8 tries, 7417780 fired transitions, 1905 secs || 163744 markings, 11133127 edges, 101 markings/sec, 1905 secs
lola: 8 tries, 7438543 fired transitions, 1910 secs || 164242 markings, 11168573 edges, 100 markings/sec, 1910 secs
lola: 8 tries, 7459363 fired transitions, 1915 secs || 164735 markings, 11203603 edges, 99 markings/sec, 1915 secs
lola: 8 tries, 7480377 fired transitions, 1920 secs || 165228 markings, 11238239 edges, 99 markings/sec, 1920 secs
lola: 8 tries, 7501004 fired transitions, 1925 secs || 165736 markings, 11273644 edges, 102 markings/sec, 1925 secs
lola: 8 tries, 7521776 fired transitions, 1930 secs || 166232 markings, 11308503 edges, 99 markings/sec, 1930 secs
lola: 8 tries, 7542548 fired transitions, 1935 secs || 166738 markings, 11343965 edges, 101 markings/sec, 1935 secs
lola: 8 tries, 7563545 fired transitions, 1940 secs || 167228 markings, 11378392 edges, 98 markings/sec, 1940 secs
lola: 8 tries, 7584445 fired transitions, 1945 secs || 167724 markings, 11413048 edges, 99 markings/sec, 1945 secs
lola: 8 tries, 7605228 fired transitions, 1950 secs || 168214 markings, 11448175 edges, 98 markings/sec, 1950 secs
lola: 8 tries, 7626116 fired transitions, 1955 secs || 168694 markings, 11482773 edges, 96 markings/sec, 1955 secs
lola: 8 tries, 7647131 fired transitions, 1960 secs || 169188 markings, 11517162 edges, 99 markings/sec, 1960 secs
lola: 8 tries, 7668180 fired transitions, 1965 secs || 169680 markings, 11551177 edges, 98 markings/sec, 1965 secs
lola: 8 tries, 7689180 fired transitions, 1970 secs || 170176 markings, 11585657 edges, 99 markings/sec, 1970 secs
lola: 8 tries, 7710179 fired transitions, 1975 secs || 170668 markings, 11620515 edges, 98 markings/sec, 1975 secs
lola: 8 tries, 7731198 fired transitions, 1980 secs || 171155 markings, 11655328 edges, 97 markings/sec, 1980 secs
lola: 8 tries, 7752122 fired transitions, 1985 secs || 171642 markings, 11690245 edges, 97 markings/sec, 1985 secs
lola: 8 tries, 7773129 fired transitions, 1990 secs || 172127 markings, 11724809 edges, 97 markings/sec, 1990 secs
lola: 8 tries, 7794141 fired transitions, 1995 secs || 172632 markings, 11759423 edges, 101 markings/sec, 1995 secs
lola: 8 tries, 7815137 fired transitions, 2000 secs || 173128 markings, 11794579 edges, 99 markings/sec, 2000 secs
lola: 8 tries, 7836194 fired transitions, 2005 secs || 173634 markings, 11829392 edges, 101 markings/sec, 2005 secs
lola: 8 tries, 7857213 fired transitions, 2010 secs || 174136 markings, 11864158 edges, 100 markings/sec, 2010 secs
lola: 8 tries, 7878236 fired transitions, 2015 secs || 174632 markings, 11898773 edges, 99 markings/sec, 2015 secs
lola: 8 tries, 7899249 fired transitions, 2020 secs || 175132 markings, 11933795 edges, 100 markings/sec, 2020 secs
lola: 8 tries, 7920084 fired transitions, 2025 secs || 175619 markings, 11968827 edges, 97 markings/sec, 2025 secs
lola: 8 tries, 7941122 fired transitions, 2030 secs || 176108 markings, 12003459 edges, 98 markings/sec, 2030 secs
lola: 8 tries, 7961923 fired transitions, 2035 secs || 176590 markings, 12038561 edges, 96 markings/sec, 2035 secs
lola: 8 tries, 7982727 fired transitions, 2040 secs || 177098 markings, 12074867 edges, 102 markings/sec, 2040 secs
lola: 9 tries, 8003493 fired transitions, 2045 secs || 177588 markings, 12110371 edges, 98 markings/sec, 2045 secs
lola: 9 tries, 8024257 fired transitions, 2050 secs || 178076 markings, 12145555 edges, 98 markings/sec, 2050 secs
lola: 9 tries, 8045062 fired transitions, 2055 secs || 178566 markings, 12181276 edges, 98 markings/sec, 2055 secs
lola: 9 tries, 8065900 fired transitions, 2060 secs || 179072 markings, 12217401 edges, 101 markings/sec, 2060 secs
lola: 9 tries, 8086684 fired transitions, 2065 secs || 179580 markings, 12253035 edges, 102 markings/sec, 2065 secs
lola: 9 tries, 8107465 fired transitions, 2070 secs || 180062 markings, 12288103 edges, 96 markings/sec, 2070 secs
lola: 9 tries, 8128177 fired transitions, 2075 secs || 180550 markings, 12323365 edges, 98 markings/sec, 2075 secs
lola: 9 tries, 8149004 fired transitions, 2080 secs || 181048 markings, 12358849 edges, 100 markings/sec, 2080 secs
lola: 9 tries, 8169807 fired transitions, 2085 secs || 181547 markings, 12394911 edges, 100 markings/sec, 2085 secs
lola: 9 tries, 8190616 fired transitions, 2090 secs || 182032 markings, 12429960 edges, 97 markings/sec, 2090 secs
lola: 9 tries, 8211413 fired transitions, 2095 secs || 182524 markings, 12465852 edges, 98 markings/sec, 2095 secs
lola: 9 tries, 8232189 fired transitions, 2100 secs || 183000 markings, 12501113 edges, 95 markings/sec, 2100 secs
lola: 9 tries, 8252971 fired transitions, 2105 secs || 183489 markings, 12536469 edges, 98 markings/sec, 2105 secs
lola: 9 tries, 8273750 fired transitions, 2110 secs || 183982 markings, 12572030 edges, 99 markings/sec, 2110 secs
lola: 9 tries, 8294552 fired transitions, 2115 secs || 184472 markings, 12607468 edges, 98 markings/sec, 2115 secs
lola: 9 tries, 8315329 fired transitions, 2120 secs || 184971 markings, 12643141 edges, 100 markings/sec, 2120 secs
lola: 9 tries, 8336261 fired transitions, 2125 secs || 185454 markings, 12677930 edges, 97 markings/sec, 2125 secs
lola: 9 tries, 8357237 fired transitions, 2130 secs || 185938 markings, 12712859 edges, 97 markings/sec, 2130 secs
lola: 9 tries, 8378243 fired transitions, 2135 secs || 186430 markings, 12747560 edges, 98 markings/sec, 2135 secs
lola: 9 tries, 8399272 fired transitions, 2140 secs || 186910 markings, 12782063 edges, 96 markings/sec, 2140 secs
lola: 9 tries, 8420309 fired transitions, 2145 secs || 187370 markings, 12816241 edges, 92 markings/sec, 2145 secs
lola: 9 tries, 8441307 fired transitions, 2150 secs || 187856 markings, 12850621 edges, 97 markings/sec, 2150 secs
lola: 9 tries, 8462283 fired transitions, 2155 secs || 188318 markings, 12884465 edges, 92 markings/sec, 2155 secs
lola: 9 tries, 8483284 fired transitions, 2160 secs || 188806 markings, 12918915 edges, 98 markings/sec, 2160 secs
lola: 9 tries, 8504323 fired transitions, 2165 secs || 189293 markings, 12953663 edges, 97 markings/sec, 2165 secs
lola: 9 tries, 8525344 fired transitions, 2170 secs || 189760 markings, 12987834 edges, 93 markings/sec, 2170 secs
lola: 9 tries, 8546333 fired transitions, 2175 secs || 190238 markings, 13022337 edges, 96 markings/sec, 2175 secs
lola: 9 tries, 8567297 fired transitions, 2180 secs || 190710 markings, 13056850 edges, 94 markings/sec, 2180 secs
lola: 9 tries, 8588261 fired transitions, 2185 secs || 191177 markings, 13091407 edges, 93 markings/sec, 2185 secs
lola: 9 tries, 8609295 fired transitions, 2190 secs || 191650 markings, 13125716 edges, 95 markings/sec, 2190 secs
lola: 9 tries, 8630278 fired transitions, 2195 secs || 192132 markings, 13160881 edges, 96 markings/sec, 2195 secs
lola: 9 tries, 8651316 fired transitions, 2200 secs || 192605 markings, 13195532 edges, 95 markings/sec, 2200 secs
lola: 9 tries, 8672260 fired transitions, 2205 secs || 193070 markings, 13230202 edges, 93 markings/sec, 2205 secs
lola: 9 tries, 8693212 fired transitions, 2210 secs || 193548 markings, 13265184 edges, 96 markings/sec, 2210 secs
lola: 9 tries, 8714178 fired transitions, 2215 secs || 194014 markings, 13299499 edges, 93 markings/sec, 2215 secs
lola: 9 tries, 8735179 fired transitions, 2220 secs || 194506 markings, 13334118 edges, 98 markings/sec, 2220 secs
lola: 9 tries, 8756115 fired transitions, 2225 secs || 194978 markings, 13369023 edges, 94 markings/sec, 2225 secs
lola: 9 tries, 8777053 fired transitions, 2230 secs || 195455 markings, 13404411 edges, 95 markings/sec, 2230 secs
lola: 9 tries, 8797829 fired transitions, 2235 secs || 195926 markings, 13439580 edges, 94 markings/sec, 2235 secs
lola: 9 tries, 8818601 fired transitions, 2240 secs || 196398 markings, 13474833 edges, 94 markings/sec, 2240 secs
lola: 9 tries, 8839401 fired transitions, 2245 secs || 196881 markings, 13510650 edges, 97 markings/sec, 2245 secs
lola: 9 tries, 8860142 fired transitions, 2250 secs || 197368 markings, 13546515 edges, 97 markings/sec, 2250 secs
lola: 9 tries, 8880930 fired transitions, 2255 secs || 197850 markings, 13582340 edges, 96 markings/sec, 2255 secs
lola: 9 tries, 8901735 fired transitions, 2260 secs || 198330 markings, 13617369 edges, 96 markings/sec, 2260 secs
lola: 9 tries, 8922499 fired transitions, 2265 secs || 198799 markings, 13652650 edges, 94 markings/sec, 2265 secs
lola: 9 tries, 8943264 fired transitions, 2270 secs || 199279 markings, 13688078 edges, 96 markings/sec, 2270 secs
lola: 9 tries, 8963986 fired transitions, 2275 secs || 199760 markings, 13722656 edges, 96 markings/sec, 2275 secs
lola: 9 tries, 8984743 fired transitions, 2280 secs || 200237 markings, 13758379 edges, 95 markings/sec, 2280 secs
lola: 10 tries, 9005583 fired transitions, 2285 secs || 200715 markings, 13793781 edges, 96 markings/sec, 2285 secs
lola: 10 tries, 9026563 fired transitions, 2290 secs || 201186 markings, 13828365 edges, 94 markings/sec, 2290 secs
lola: 10 tries, 9047580 fired transitions, 2295 secs || 201659 markings, 13862671 edges, 95 markings/sec, 2295 secs
lola: 10 tries, 9068564 fired transitions, 2300 secs || 202134 markings, 13897391 edges, 95 markings/sec, 2300 secs
lola: 10 tries, 9089591 fired transitions, 2305 secs || 202596 markings, 13931566 edges, 92 markings/sec, 2305 secs
lola: 10 tries, 9110558 fired transitions, 2310 secs || 203066 markings, 13965834 edges, 94 markings/sec, 2310 secs
lola: 10 tries, 9131549 fired transitions, 2315 secs || 203540 markings, 14000105 edges, 95 markings/sec, 2315 secs
lola: 10 tries, 9152456 fired transitions, 2320 secs || 204007 markings, 14034905 edges, 93 markings/sec, 2320 secs
lola: 10 tries, 9173430 fired transitions, 2325 secs || 204473 markings, 14069732 edges, 93 markings/sec, 2325 secs
lola: 10 tries, 9194337 fired transitions, 2330 secs || 204934 markings, 14103826 edges, 92 markings/sec, 2330 secs
lola: 10 tries, 9215360 fired transitions, 2335 secs || 205402 markings, 14138086 edges, 94 markings/sec, 2335 secs
lola: 10 tries, 9236383 fired transitions, 2340 secs || 205867 markings, 14173077 edges, 93 markings/sec, 2340 secs
lola: 10 tries, 9257396 fired transitions, 2345 secs || 206332 markings, 14207813 edges, 93 markings/sec, 2345 secs
lola: 10 tries, 9278387 fired transitions, 2350 secs || 206812 markings, 14243085 edges, 96 markings/sec, 2350 secs
lola: 10 tries, 9299430 fired transitions, 2355 secs || 207282 markings, 14278146 edges, 94 markings/sec, 2355 secs
lola: 10 tries, 9320425 fired transitions, 2360 secs || 207746 markings, 14313165 edges, 93 markings/sec, 2360 secs
lola: 10 tries, 9341461 fired transitions, 2365 secs || 208214 markings, 14347223 edges, 94 markings/sec, 2365 secs
lola: 10 tries, 9362477 fired transitions, 2370 secs || 208686 markings, 14381461 edges, 94 markings/sec, 2370 secs
lola: 10 tries, 9383520 fired transitions, 2375 secs || 209148 markings, 14415619 edges, 92 markings/sec, 2375 secs
lola: 10 tries, 9404562 fired transitions, 2380 secs || 209592 markings, 14450129 edges, 89 markings/sec, 2380 secs
lola: 10 tries, 9425565 fired transitions, 2385 secs || 210068 markings, 14484957 edges, 95 markings/sec, 2385 secs
lola: 10 tries, 9446627 fired transitions, 2390 secs || 210539 markings, 14519908 edges, 94 markings/sec, 2390 secs
lola: 10 tries, 9467683 fired transitions, 2395 secs || 211007 markings, 14554749 edges, 94 markings/sec, 2395 secs
lola: 10 tries, 9488737 fired transitions, 2400 secs || 211451 markings, 14589035 edges, 89 markings/sec, 2400 secs
lola: 10 tries, 9509595 fired transitions, 2405 secs || 211918 markings, 14623979 edges, 93 markings/sec, 2405 secs
lola: 10 tries, 9530405 fired transitions, 2410 secs || 212390 markings, 14659407 edges, 94 markings/sec, 2410 secs
lola: 10 tries, 9551173 fired transitions, 2415 secs || 212870 markings, 14694775 edges, 96 markings/sec, 2415 secs
lola: 10 tries, 9571953 fired transitions, 2420 secs || 213334 markings, 14730146 edges, 93 markings/sec, 2420 secs
lola: 10 tries, 9592727 fired transitions, 2425 secs || 213802 markings, 14765461 edges, 94 markings/sec, 2425 secs
lola: 10 tries, 9613533 fired transitions, 2430 secs || 214274 markings, 14801148 edges, 94 markings/sec, 2430 secs
lola: 10 tries, 9634301 fired transitions, 2435 secs || 214736 markings, 14836160 edges, 92 markings/sec, 2435 secs
lola: 10 tries, 9655081 fired transitions, 2440 secs || 215205 markings, 14871774 edges, 94 markings/sec, 2440 secs
lola: 10 tries, 9675862 fired transitions, 2445 secs || 215664 markings, 14907137 edges, 92 markings/sec, 2445 secs
lola: 10 tries, 9696840 fired transitions, 2450 secs || 216123 markings, 14941521 edges, 92 markings/sec, 2450 secs
lola: 10 tries, 9717655 fired transitions, 2455 secs || 216590 markings, 14976940 edges, 93 markings/sec, 2455 secs
lola: 10 tries, 9738424 fired transitions, 2460 secs || 217053 markings, 15011932 edges, 93 markings/sec, 2460 secs
lola: 10 tries, 9759225 fired transitions, 2465 secs || 217510 markings, 15047164 edges, 91 markings/sec, 2465 secs
lola: 10 tries, 9780008 fired transitions, 2470 secs || 217967 markings, 15082573 edges, 91 markings/sec, 2470 secs
lola: 10 tries, 9800784 fired transitions, 2475 secs || 218427 markings, 15117757 edges, 92 markings/sec, 2475 secs
lola: 10 tries, 9821563 fired transitions, 2480 secs || 218882 markings, 15152773 edges, 91 markings/sec, 2480 secs
lola: 10 tries, 9842349 fired transitions, 2485 secs || 219339 markings, 15188014 edges, 91 markings/sec, 2485 secs
lola: 10 tries, 9863128 fired transitions, 2490 secs || 219795 markings, 15223048 edges, 91 markings/sec, 2490 secs
lola: 10 tries, 9883913 fired transitions, 2495 secs || 220270 markings, 15258858 edges, 95 markings/sec, 2495 secs
lola: 10 tries, 9904703 fired transitions, 2500 secs || 220733 markings, 15295167 edges, 93 markings/sec, 2500 secs
lola: 10 tries, 9925485 fired transitions, 2505 secs || 221192 markings, 15330297 edges, 92 markings/sec, 2505 secs
lola: 10 tries, 9946267 fired transitions, 2510 secs || 221648 markings, 15365625 edges, 91 markings/sec, 2510 secs
lola: 10 tries, 9967190 fired transitions, 2515 secs || 222092 markings, 15400490 edges, 89 markings/sec, 2515 secs
lola: 10 tries, 9988160 fired transitions, 2520 secs || 222542 markings, 15434869 edges, 90 markings/sec, 2520 secs
lola: 11 tries, 10009077 fired transitions, 2525 secs || 223002 markings, 15469617 edges, 92 markings/sec, 2525 secs
lola: 11 tries, 10029856 fired transitions, 2530 secs || 223456 markings, 15504647 edges, 91 markings/sec, 2530 secs
lola: 11 tries, 10050645 fired transitions, 2535 secs || 223911 markings, 15540123 edges, 91 markings/sec, 2535 secs
lola: 11 tries, 10071467 fired transitions, 2540 secs || 224376 markings, 15575534 edges, 93 markings/sec, 2540 secs
lola: 11 tries, 10092533 fired transitions, 2545 secs || 224842 markings, 15610688 edges, 93 markings/sec, 2545 secs
lola: 11 tries, 10113574 fired transitions, 2550 secs || 225306 markings, 15644855 edges, 93 markings/sec, 2550 secs
lola: 11 tries, 10134574 fired transitions, 2555 secs || 225759 markings, 15679569 edges, 91 markings/sec, 2555 secs
lola: 11 tries, 10155551 fired transitions, 2560 secs || 226218 markings, 15714001 edges, 92 markings/sec, 2560 secs
lola: 11 tries, 10176562 fired transitions, 2565 secs || 226659 markings, 15748700 edges, 88 markings/sec, 2565 secs
lola: 11 tries, 10197581 fired transitions, 2570 secs || 227117 markings, 15783502 edges, 92 markings/sec, 2570 secs
lola: 11 tries, 10218598 fired transitions, 2575 secs || 227575 markings, 15817911 edges, 92 markings/sec, 2575 secs
lola: 11 tries, 10239617 fired transitions, 2580 secs || 228027 markings, 15852642 edges, 90 markings/sec, 2580 secs
lola: 11 tries, 10260669 fired transitions, 2585 secs || 228479 markings, 15887535 edges, 90 markings/sec, 2585 secs
lola: 11 tries, 10281677 fired transitions, 2590 secs || 228927 markings, 15922446 edges, 90 markings/sec, 2590 secs
lola: 11 tries, 10302732 fired transitions, 2595 secs || 229386 markings, 15957180 edges, 92 markings/sec, 2595 secs
lola: 11 tries, 10323721 fired transitions, 2600 secs || 229835 markings, 15991903 edges, 90 markings/sec, 2600 secs
lola: 11 tries, 10344719 fired transitions, 2605 secs || 230277 markings, 16026510 edges, 88 markings/sec, 2605 secs
lola: 11 tries, 10365762 fired transitions, 2610 secs || 230719 markings, 16060995 edges, 88 markings/sec, 2610 secs
lola: 11 tries, 10386793 fired transitions, 2615 secs || 231163 markings, 16095505 edges, 89 markings/sec, 2615 secs
lola: 11 tries, 10407768 fired transitions, 2620 secs || 231613 markings, 16130020 edges, 90 markings/sec, 2620 secs
lola: 11 tries, 10428762 fired transitions, 2625 secs || 232049 markings, 16164135 edges, 87 markings/sec, 2625 secs
lola: 11 tries, 10449744 fired transitions, 2630 secs || 232491 markings, 16198267 edges, 88 markings/sec, 2630 secs
lola: 11 tries, 10470637 fired transitions, 2635 secs || 232931 markings, 16232290 edges, 88 markings/sec, 2635 secs
lola: 11 tries, 10491611 fired transitions, 2640 secs || 233377 markings, 16266737 edges, 89 markings/sec, 2640 secs
lola: 11 tries, 10512641 fired transitions, 2645 secs || 233826 markings, 16300548 edges, 90 markings/sec, 2645 secs
lola: 11 tries, 10533586 fired transitions, 2650 secs || 234270 markings, 16334925 edges, 89 markings/sec, 2650 secs
lola: 11 tries, 10554528 fired transitions, 2655 secs || 234710 markings, 16369092 edges, 88 markings/sec, 2655 secs
lola: 11 tries, 10575456 fired transitions, 2660 secs || 235155 markings, 16403529 edges, 89 markings/sec, 2660 secs
lola: 11 tries, 10596410 fired transitions, 2665 secs || 235593 markings, 16437508 edges, 88 markings/sec, 2665 secs
lola: 11 tries, 10617423 fired transitions, 2670 secs || 236047 markings, 16472053 edges, 91 markings/sec, 2670 secs
lola: 11 tries, 10638358 fired transitions, 2675 secs || 236475 markings, 16506062 edges, 86 markings/sec, 2675 secs
lola: 11 tries, 10659190 fired transitions, 2680 secs || 236922 markings, 16541099 edges, 89 markings/sec, 2680 secs
lola: 11 tries, 10679903 fired transitions, 2685 secs || 237355 markings, 16575716 edges, 87 markings/sec, 2685 secs
lola: 11 tries, 10700644 fired transitions, 2690 secs || 237798 markings, 16611200 edges, 89 markings/sec, 2690 secs
lola: 11 tries, 10721343 fired transitions, 2695 secs || 238257 markings, 16647439 edges, 92 markings/sec, 2695 secs
lola: 11 tries, 10741817 fired transitions, 2700 secs || 238693 markings, 16681805 edges, 87 markings/sec, 2700 secs
lola: 11 tries, 10762567 fired transitions, 2705 secs || 239155 markings, 16717711 edges, 92 markings/sec, 2705 secs
lola: 11 tries, 10783312 fired transitions, 2710 secs || 239591 markings, 16752585 edges, 87 markings/sec, 2710 secs
lola: 11 tries, 10804051 fired transitions, 2715 secs || 240039 markings, 16787743 edges, 90 markings/sec, 2715 secs
lola: 11 tries, 10824943 fired transitions, 2720 secs || 240473 markings, 16822069 edges, 87 markings/sec, 2720 secs
lola: 11 tries, 10845778 fired transitions, 2725 secs || 240906 markings, 16856259 edges, 87 markings/sec, 2725 secs
lola: 11 tries, 10866590 fired transitions, 2730 secs || 241345 markings, 16890493 edges, 88 markings/sec, 2730 secs
lola: 11 tries, 10887513 fired transitions, 2735 secs || 241777 markings, 16924731 edges, 86 markings/sec, 2735 secs
lola: 11 tries, 10908424 fired transitions, 2740 secs || 242213 markings, 16958509 edges, 87 markings/sec, 2740 secs
lola: 11 tries, 10929341 fired transitions, 2745 secs || 242643 markings, 16992822 edges, 86 markings/sec, 2745 secs
lola: 11 tries, 10950336 fired transitions, 2750 secs || 243091 markings, 17027108 edges, 90 markings/sec, 2750 secs
lola: 11 tries, 10971296 fired transitions, 2755 secs || 243519 markings, 17061203 edges, 86 markings/sec, 2755 secs
lola: 11 tries, 10992225 fired transitions, 2760 secs || 243953 markings, 17095684 edges, 87 markings/sec, 2760 secs
lola: 12 tries, 11013161 fired transitions, 2765 secs || 244391 markings, 17130217 edges, 88 markings/sec, 2765 secs
lola: 12 tries, 11034172 fired transitions, 2770 secs || 244839 markings, 17164167 edges, 90 markings/sec, 2770 secs
lola: 12 tries, 11055156 fired transitions, 2775 secs || 245282 markings, 17198039 edges, 89 markings/sec, 2775 secs
lola: 12 tries, 11076035 fired transitions, 2780 secs || 245713 markings, 17232535 edges, 86 markings/sec, 2780 secs
lola: 12 tries, 11096762 fired transitions, 2785 secs || 246159 markings, 17267379 edges, 89 markings/sec, 2785 secs
lola: 12 tries, 11117497 fired transitions, 2790 secs || 246594 markings, 17302084 edges, 87 markings/sec, 2790 secs
lola: 12 tries, 11138445 fired transitions, 2795 secs || 247033 markings, 17336652 edges, 88 markings/sec, 2795 secs
lola: 12 tries, 11159374 fired transitions, 2800 secs || 247469 markings, 17370503 edges, 87 markings/sec, 2800 secs
lola: 12 tries, 11180243 fired transitions, 2805 secs || 247898 markings, 17404947 edges, 86 markings/sec, 2805 secs
lola: 12 tries, 11201150 fired transitions, 2810 secs || 248343 markings, 17439183 edges, 89 markings/sec, 2810 secs
lola: 12 tries, 11221907 fired transitions, 2815 secs || 248795 markings, 17474405 edges, 90 markings/sec, 2815 secs
lola: 12 tries, 11242816 fired transitions, 2820 secs || 249222 markings, 17508480 edges, 85 markings/sec, 2820 secs
lola: 12 tries, 11263763 fired transitions, 2825 secs || 249657 markings, 17542627 edges, 87 markings/sec, 2825 secs
lola: 12 tries, 11284741 fired transitions, 2830 secs || 250097 markings, 17576668 edges, 88 markings/sec, 2830 secs
lola: 12 tries, 11305718 fired transitions, 2835 secs || 250535 markings, 17610713 edges, 88 markings/sec, 2835 secs
lola: 12 tries, 11326698 fired transitions, 2840 secs || 250981 markings, 17645124 edges, 89 markings/sec, 2840 secs
lola: 12 tries, 11347599 fired transitions, 2845 secs || 251409 markings, 17679600 edges, 86 markings/sec, 2845 secs
lola: 12 tries, 11368542 fired transitions, 2850 secs || 251835 markings, 17713553 edges, 85 markings/sec, 2850 secs
lola: 12 tries, 11389459 fired transitions, 2855 secs || 252262 markings, 17747611 edges, 85 markings/sec, 2855 secs
lola: 12 tries, 11410356 fired transitions, 2860 secs || 252691 markings, 17781503 edges, 86 markings/sec, 2860 secs
lola: 12 tries, 11431073 fired transitions, 2865 secs || 253131 markings, 17816207 edges, 88 markings/sec, 2865 secs
lola: 12 tries, 11451839 fired transitions, 2870 secs || 253570 markings, 17851236 edges, 88 markings/sec, 2870 secs
lola: 12 tries, 11472713 fired transitions, 2875 secs || 253999 markings, 17885916 edges, 86 markings/sec, 2875 secs
lola: 12 tries, 11493665 fired transitions, 2880 secs || 254435 markings, 17919890 edges, 87 markings/sec, 2880 secs
lola: 12 tries, 11514501 fired transitions, 2885 secs || 254861 markings, 17954332 edges, 85 markings/sec, 2885 secs
lola: 12 tries, 11535430 fired transitions, 2890 secs || 255297 markings, 17988036 edges, 87 markings/sec, 2890 secs
lola: 12 tries, 11556363 fired transitions, 2895 secs || 255729 markings, 18021685 edges, 86 markings/sec, 2895 secs
lola: 12 tries, 11577304 fired transitions, 2900 secs || 256152 markings, 18055629 edges, 85 markings/sec, 2900 secs
lola: 12 tries, 11598273 fired transitions, 2905 secs || 256584 markings, 18089575 edges, 86 markings/sec, 2905 secs
lola: 12 tries, 11619193 fired transitions, 2910 secs || 257025 markings, 18123641 edges, 88 markings/sec, 2910 secs
lola: 12 tries, 11640149 fired transitions, 2915 secs || 257469 markings, 18157798 edges, 89 markings/sec, 2915 secs
lola: 12 tries, 11661099 fired transitions, 2920 secs || 257915 markings, 18192160 edges, 89 markings/sec, 2920 secs
lola: 12 tries, 11682018 fired transitions, 2925 secs || 258338 markings, 18226265 edges, 85 markings/sec, 2925 secs
lola: 12 tries, 11702915 fired transitions, 2930 secs || 258780 markings, 18260739 edges, 88 markings/sec, 2930 secs
lola: 12 tries, 11723805 fired transitions, 2935 secs || 259217 markings, 18294643 edges, 87 markings/sec, 2935 secs
lola: 12 tries, 11744770 fired transitions, 2940 secs || 259649 markings, 18328760 edges, 86 markings/sec, 2940 secs
lola: 12 tries, 11765715 fired transitions, 2945 secs || 260096 markings, 18363160 edges, 89 markings/sec, 2945 secs
lola: 12 tries, 11786687 fired transitions, 2950 secs || 260543 markings, 18397748 edges, 89 markings/sec, 2950 secs
lola: 12 tries, 11807633 fired transitions, 2955 secs || 260984 markings, 18432244 edges, 88 markings/sec, 2955 secs
lola: 12 tries, 11828657 fired transitions, 2960 secs || 261429 markings, 18466505 edges, 89 markings/sec, 2960 secs
lola: 12 tries, 11849622 fired transitions, 2965 secs || 261847 markings, 18500351 edges, 84 markings/sec, 2965 secs
lola: 12 tries, 11870578 fired transitions, 2970 secs || 262273 markings, 18534103 edges, 85 markings/sec, 2970 secs
lola: 12 tries, 11891468 fired transitions, 2975 secs || 262713 markings, 18568803 edges, 88 markings/sec, 2975 secs
lola: 12 tries, 11912342 fired transitions, 2980 secs || 263153 markings, 18603078 edges, 88 markings/sec, 2980 secs
lola: 12 tries, 11933112 fired transitions, 2985 secs || 263589 markings, 18638146 edges, 87 markings/sec, 2985 secs
lola: 12 tries, 11954095 fired transitions, 2990 secs || 264019 markings, 18672696 edges, 86 markings/sec, 2990 secs
lola: 12 tries, 11975035 fired transitions, 2995 secs || 264451 markings, 18707161 edges, 86 markings/sec, 2995 secs
lola: 12 tries, 11996054 fired transitions, 3000 secs || 264869 markings, 18740803 edges, 84 markings/sec, 3000 secs
lola: 13 tries, 12017092 fired transitions, 3005 secs || 265313 markings, 18774771 edges, 89 markings/sec, 3005 secs
lola: 13 tries, 12038124 fired transitions, 3010 secs || 265749 markings, 18808837 edges, 87 markings/sec, 3010 secs
lola: 13 tries, 12059182 fired transitions, 3015 secs || 266175 markings, 18842895 edges, 85 markings/sec, 3015 secs
lola: 13 tries, 12080231 fired transitions, 3020 secs || 266607 markings, 18876928 edges, 86 markings/sec, 3020 secs
lola: 13 tries, 12101150 fired transitions, 3025 secs || 267037 markings, 18910581 edges, 86 markings/sec, 3025 secs
lola: 13 tries, 12122173 fired transitions, 3030 secs || 267459 markings, 18944137 edges, 84 markings/sec, 3030 secs
lola: 13 tries, 12143012 fired transitions, 3035 secs || 267885 markings, 18978198 edges, 85 markings/sec, 3035 secs
lola: 13 tries, 12163687 fired transitions, 3040 secs || 268313 markings, 19011892 edges, 86 markings/sec, 3040 secs
lola: 13 tries, 12184392 fired transitions, 3045 secs || 268753 markings, 19046705 edges, 88 markings/sec, 3045 secs
lola: 13 tries, 12204837 fired transitions, 3050 secs || 269199 markings, 19082163 edges, 89 markings/sec, 3050 secs
lola: 13 tries, 12225113 fired transitions, 3055 secs || 269643 markings, 19117430 edges, 89 markings/sec, 3055 secs
lola: 13 tries, 12245397 fired transitions, 3060 secs || 270081 markings, 19151911 edges, 88 markings/sec, 3060 secs
lola: 13 tries, 12266561 fired transitions, 3065 secs || 270521 markings, 19187034 edges, 88 markings/sec, 3065 secs
lola: 13 tries, 12287999 fired transitions, 3070 secs || 270961 markings, 19222217 edges, 88 markings/sec, 3070 secs
lola: 13 tries, 12308971 fired transitions, 3075 secs || 271383 markings, 19256184 edges, 84 markings/sec, 3075 secs
lola: 13 tries, 12329849 fired transitions, 3080 secs || 271799 markings, 19289899 edges, 83 markings/sec, 3080 secs
lola: 13 tries, 12350692 fired transitions, 3085 secs || 272223 markings, 19323400 edges, 85 markings/sec, 3085 secs
lola: 13 tries, 12371590 fired transitions, 3090 secs || 272661 markings, 19358012 edges, 88 markings/sec, 3090 secs
lola: 13 tries, 12392472 fired transitions, 3095 secs || 273097 markings, 19392409 edges, 87 markings/sec, 3095 secs
lola: 13 tries, 12413500 fired transitions, 3100 secs || 273530 markings, 19426767 edges, 87 markings/sec, 3100 secs
lola: 13 tries, 12434481 fired transitions, 3105 secs || 273961 markings, 19461545 edges, 86 markings/sec, 3105 secs
lola: 13 tries, 12455442 fired transitions, 3110 secs || 274397 markings, 19496608 edges, 87 markings/sec, 3110 secs
lola: 13 tries, 12476381 fired transitions, 3115 secs || 274845 markings, 19532284 edges, 90 markings/sec, 3115 secs
lola: 13 tries, 12497321 fired transitions, 3120 secs || 275267 markings, 19566429 edges, 84 markings/sec, 3120 secs
lola: 13 tries, 12518254 fired transitions, 3125 secs || 275705 markings, 19601488 edges, 88 markings/sec, 3125 secs
lola: 13 tries, 12539273 fired transitions, 3130 secs || 276134 markings, 19635989 edges, 86 markings/sec, 3130 secs
lola: 13 tries, 12560142 fired transitions, 3135 secs || 276553 markings, 19669451 edges, 84 markings/sec, 3135 secs
lola: 13 tries, 12580932 fired transitions, 3140 secs || 276981 markings, 19703799 edges, 86 markings/sec, 3140 secs
lola: 13 tries, 12601742 fired transitions, 3145 secs || 277409 markings, 19737423 edges, 86 markings/sec, 3145 secs
lola: 13 tries, 12622732 fired transitions, 3150 secs || 277824 markings, 19770873 edges, 83 markings/sec, 3150 secs
lola: 13 tries, 12643745 fired transitions, 3155 secs || 278256 markings, 19805216 edges, 86 markings/sec, 3155 secs
lola: 13 tries, 12664727 fired transitions, 3160 secs || 278703 markings, 19839414 edges, 89 markings/sec, 3160 secs
lola: 13 tries, 12685727 fired transitions, 3165 secs || 279135 markings, 19873266 edges, 86 markings/sec, 3165 secs
lola: 13 tries, 12706641 fired transitions, 3170 secs || 279563 markings, 19907124 edges, 86 markings/sec, 3170 secs
lola: 13 tries, 12727469 fired transitions, 3175 secs || 279979 markings, 19940872 edges, 83 markings/sec, 3175 secs
lola: 13 tries, 12748440 fired transitions, 3180 secs || 280407 markings, 19974360 edges, 86 markings/sec, 3180 secs
lola: 13 tries, 12769402 fired transitions, 3185 secs || 280831 markings, 20008381 edges, 85 markings/sec, 3185 secs
lola: 13 tries, 12790390 fired transitions, 3190 secs || 281253 markings, 20042233 edges, 84 markings/sec, 3190 secs
lola: 13 tries, 12811440 fired transitions, 3195 secs || 281683 markings, 20076362 edges, 86 markings/sec, 3195 secs
lola: 13 tries, 12832473 fired transitions, 3200 secs || 282125 markings, 20110903 edges, 88 markings/sec, 3200 secs
lola: 13 tries, 12853558 fired transitions, 3205 secs || 282553 markings, 20144700 edges, 86 markings/sec, 3205 secs
lola: 13 tries, 12874600 fired transitions, 3210 secs || 282983 markings, 20179004 edges, 86 markings/sec, 3210 secs
lola: 13 tries, 12895653 fired transitions, 3215 secs || 283427 markings, 20212761 edges, 89 markings/sec, 3215 secs
lola: 13 tries, 12916707 fired transitions, 3220 secs || 283853 markings, 20246863 edges, 85 markings/sec, 3220 secs
lola: 13 tries, 12937760 fired transitions, 3225 secs || 284279 markings, 20280916 edges, 85 markings/sec, 3225 secs
lola: 13 tries, 12958764 fired transitions, 3230 secs || 284703 markings, 20314501 edges, 85 markings/sec, 3230 secs
lola: 13 tries, 12979774 fired transitions, 3235 secs || 285143 markings, 20349106 edges, 88 markings/sec, 3235 secs
lola: 14 tries, 13000712 fired transitions, 3240 secs || 285577 markings, 20383711 edges, 87 markings/sec, 3240 secs
lola: 14 tries, 13021665 fired transitions, 3245 secs || 286007 markings, 20418449 edges, 86 markings/sec, 3245 secs
lola: 14 tries, 13042610 fired transitions, 3250 secs || 286443 markings, 20453374 edges, 87 markings/sec, 3250 secs
lola: 14 tries, 13063549 fired transitions, 3255 secs || 286879 markings, 20488159 edges, 87 markings/sec, 3255 secs
lola: 14 tries, 13084551 fired transitions, 3260 secs || 287323 markings, 20522867 edges, 89 markings/sec, 3260 secs
lola: 14 tries, 13105572 fired transitions, 3265 secs || 287749 markings, 20556285 edges, 85 markings/sec, 3265 secs
lola: 14 tries, 13126611 fired transitions, 3270 secs || 288176 markings, 20589733 edges, 85 markings/sec, 3270 secs
lola: 14 tries, 13147660 fired transitions, 3275 secs || 288605 markings, 20623409 edges, 86 markings/sec, 3275 secs
lola: 14 tries, 13168730 fired transitions, 3280 secs || 289039 markings, 20657488 edges, 87 markings/sec, 3280 secs
lola: 14 tries, 13189782 fired transitions, 3285 secs || 289461 markings, 20691400 edges, 84 markings/sec, 3285 secs
lola: 14 tries, 13211141 fired transitions, 3290 secs || 289888 markings, 20724913 edges, 85 markings/sec, 3290 secs
lola: 14 tries, 13232575 fired transitions, 3295 secs || 290323 markings, 20759466 edges, 87 markings/sec, 3295 secs
lola: 14 tries, 13253628 fired transitions, 3300 secs || 290751 markings, 20793233 edges, 86 markings/sec, 3300 secs
lola: 14 tries, 13274695 fired transitions, 3305 secs || 291179 markings, 20826767 edges, 86 markings/sec, 3305 secs
lola: 14 tries, 13295738 fired transitions, 3310 secs || 291609 markings, 20860761 edges, 86 markings/sec, 3310 secs
lola: 14 tries, 13316773 fired transitions, 3315 secs || 292029 markings, 20894363 edges, 84 markings/sec, 3315 secs
lola: 14 tries, 13337836 fired transitions, 3320 secs || 292453 markings, 20928126 edges, 85 markings/sec, 3320 secs
lola: 14 tries, 13359068 fired transitions, 3325 secs || 292859 markings, 20961427 edges, 81 markings/sec, 3325 secs
lola: 14 tries, 13380347 fired transitions, 3330 secs || 293289 markings, 20995111 edges, 86 markings/sec, 3330 secs
lola: 14 tries, 13401462 fired transitions, 3335 secs || 293715 markings, 21028846 edges, 85 markings/sec, 3335 secs
lola: 14 tries, 13422476 fired transitions, 3340 secs || 294139 markings, 21063179 edges, 85 markings/sec, 3340 secs
lola: 14 tries, 13443498 fired transitions, 3345 secs || 294573 markings, 21097336 edges, 87 markings/sec, 3345 secs
lola: 14 tries, 13464520 fired transitions, 3350 secs || 294993 markings, 21131289 edges, 84 markings/sec, 3350 secs
lola: 14 tries, 13485565 fired transitions, 3355 secs || 295433 markings, 21165046 edges, 88 markings/sec, 3355 secs
lola: 14 tries, 13506611 fired transitions, 3360 secs || 295871 markings, 21199942 edges, 88 markings/sec, 3360 secs
lola: 14 tries, 13527634 fired transitions, 3365 secs || 296313 markings, 21235549 edges, 88 markings/sec, 3365 secs
lola: 14 tries, 13548620 fired transitions, 3370 secs || 296755 markings, 21269582 edges, 88 markings/sec, 3370 secs
lola: 14 tries, 13569597 fired transitions, 3375 secs || 297185 markings, 21303715 edges, 86 markings/sec, 3375 secs
lola: 14 tries, 13590536 fired transitions, 3380 secs || 297614 markings, 21338094 edges, 86 markings/sec, 3380 secs
lola: 14 tries, 13611570 fired transitions, 3385 secs || 298053 markings, 21372405 edges, 88 markings/sec, 3385 secs
lola: 14 tries, 13632553 fired transitions, 3390 secs || 298499 markings, 21406798 edges, 89 markings/sec, 3390 secs
lola: 14 tries, 13653542 fired transitions, 3395 secs || 298935 markings, 21440940 edges, 87 markings/sec, 3395 secs
lola: 14 tries, 13674544 fired transitions, 3400 secs || 299377 markings, 21475376 edges, 88 markings/sec, 3400 secs
lola: 14 tries, 13695567 fired transitions, 3405 secs || 299805 markings, 21510411 edges, 86 markings/sec, 3405 secs
lola: 14 tries, 13716557 fired transitions, 3410 secs || 300237 markings, 21544784 edges, 86 markings/sec, 3410 secs
lola: 14 tries, 13737467 fired transitions, 3415 secs || 300675 markings, 21579833 edges, 88 markings/sec, 3415 secs
lola: 14 tries, 13758365 fired transitions, 3420 secs || 301107 markings, 21614141 edges, 86 markings/sec, 3420 secs
lola: 14 tries, 13779267 fired transitions, 3425 secs || 301528 markings, 21647763 edges, 84 markings/sec, 3425 secs
lola: 14 tries, 13800177 fired transitions, 3430 secs || 301951 markings, 21682022 edges, 85 markings/sec, 3430 secs
lola: 14 tries, 13821080 fired transitions, 3435 secs || 302375 markings, 21716637 edges, 85 markings/sec, 3435 secs
lola: 14 tries, 13841975 fired transitions, 3440 secs || 302809 markings, 21751144 edges, 87 markings/sec, 3440 secs
lola: 14 tries, 13862875 fired transitions, 3445 secs || 303247 markings, 21786428 edges, 88 markings/sec, 3445 secs
lola: 14 tries, 13883768 fired transitions, 3450 secs || 303683 markings, 21821376 edges, 87 markings/sec, 3450 secs
lola: 14 tries, 13904690 fired transitions, 3455 secs || 304112 markings, 21856111 edges, 86 markings/sec, 3455 secs
lola: 14 tries, 13925537 fired transitions, 3460 secs || 304543 markings, 21890518 edges, 86 markings/sec, 3460 secs
lola: 14 tries, 13946407 fired transitions, 3465 secs || 304983 markings, 21925557 edges, 88 markings/sec, 3465 secs
lola: 14 tries, 13967282 fired transitions, 3470 secs || 305415 markings, 21960793 edges, 86 markings/sec, 3470 secs
lola: 14 tries, 13988260 fired transitions, 3475 secs || 305845 markings, 21995378 edges, 86 markings/sec, 3475 secs
lola: 15 tries, 14009324 fired transitions, 3480 secs || 306271 markings, 22029678 edges, 85 markings/sec, 3480 secs
lola: 15 tries, 14030387 fired transitions, 3485 secs || 306703 markings, 22063779 edges, 86 markings/sec, 3485 secs
lola: 15 tries, 14051375 fired transitions, 3490 secs || 307119 markings, 22097701 edges, 83 markings/sec, 3490 secs
lola: 15 tries, 14072359 fired transitions, 3495 secs || 307559 markings, 22132039 edges, 88 markings/sec, 3495 secs
lola: 15 tries, 14093321 fired transitions, 3500 secs || 307986 markings, 22165943 edges, 85 markings/sec, 3500 secs
lola: 15 tries, 14114296 fired transitions, 3505 secs || 308421 markings, 22200015 edges, 87 markings/sec, 3505 secs
lola: 15 tries, 14135027 fired transitions, 3510 secs || 308869 markings, 22234044 edges, 90 markings/sec, 3510 secs
lola: 15 tries, 14155260 fired transitions, 3515 secs || 309321 markings, 22269746 edges, 90 markings/sec, 3515 secs
lola: 15 tries, 14175486 fired transitions, 3520 secs || 309773 markings, 22305549 edges, 90 markings/sec, 3520 secs
lola: 15 tries, 14196360 fired transitions, 3525 secs || 310191 markings, 22339004 edges, 84 markings/sec, 3525 secs
lola: 15 tries, 14217381 fired transitions, 3530 secs || 310615 markings, 22372338 edges, 85 markings/sec, 3530 secs
lola: 15 tries, 14238516 fired transitions, 3535 secs || 311055 markings, 22406878 edges, 88 markings/sec, 3535 secs
lola: 15 tries, 14259817 fired transitions, 3540 secs || 311471 markings, 22440474 edges, 83 markings/sec, 3540 secs
lola: 15 tries, 14281169 fired transitions, 3545 secs || 311893 markings, 22474002 edges, 84 markings/sec, 3545 secs
lola: time limit reached - aborting
lola: memory consumption: 1944892 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: 1945668 KB
lola: time consumption: 3572 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished
BK_STOP 1554424214959
--------------------
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="Dekker-PT-200"
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 Dekker-PT-200, 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-155234405800894"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Dekker-PT-200.tgz
mv Dekker-PT-200 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 ;