About the Execution of LoLA for CloudOpsManagement-PT-00080by00040
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 1439002.00 | 0.00 | 0.00 | [undef] | Cannot compute |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2019-input.r209-smll-155381375300048.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-3957
Executing tool lola
Input is CloudOpsManagement-PT-00080by00040, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r209-smll-155381375300048
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 180K
-rw-r--r-- 1 mcc users 4.1K Mar 26 06:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 26 06:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 06:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 26 06:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 121 Apr 5 12:35 GlobalProperties.txt
-rw-r--r-- 1 mcc users 359 Apr 5 12:35 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 06:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.4K Mar 26 06:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 26 06:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3K Mar 26 06:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 25 21:32 NewModel
-rw-r--r-- 1 mcc users 4.1K Mar 26 06:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 26 06:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Mar 26 06:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 26 06:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 26 06:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 26 06:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 25 21:32 equiv_col
-rw-r--r-- 1 mcc users 13 Mar 25 21:32 instance
-rw-r--r-- 1 mcc users 6 Mar 25 21:32 iscolored
-rw-r--r-- 1 mcc users 16K Mar 25 21:32 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 CloudOpsManagement-PT-00080by00040-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1554504448918
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ CloudOpsManagement-PT-00080by00040 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 2131
rslt: Output for GlobalProperties @ CloudOpsManagement-PT-00080by00040
lola: LoLA will run for 3569 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: 56/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 864
lola: finding significant places
lola: 27 places, 29 transitions, 16 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: computing symmetries (--symmetry)
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: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 3 generators (3 in search tree, 0 by composition)
lola: representing 6 symmetries
lola: 0 dead branches visited in search tree
lola: 9 tries, 8630940 fired transitions, 0 secs || 850521 markings, 1880015 edges, 170104 markings/sec, 0 secs
lola: 18 tries, 17943788 fired transitions, 5 secs || 1899129 markings, 4283434 edges, 209722 markings/sec, 5 secs
lola: 28 tries, 27141312 fired transitions, 10 secs || 2856874 markings, 6574422 edges, 191549 markings/sec, 10 secs
lola: 37 tries, 36513574 fired transitions, 15 secs || 3756705 markings, 8726480 edges, 179966 markings/sec, 15 secs
lola: 46 tries, 45815166 fired transitions, 20 secs || 4650259 markings, 10863941 edges, 178711 markings/sec, 20 secs
lola: 56 tries, 55045546 fired transitions, 25 secs || 5512181 markings, 12925391 edges, 172384 markings/sec, 25 secs
lola: 64 tries, 63976750 fired transitions, 30 secs || 6340348 markings, 14906180 edges, 165633 markings/sec, 30 secs
lola: 74 tries, 73253617 fired transitions, 35 secs || 7263196 markings, 17114249 edges, 184570 markings/sec, 35 secs
lola: 83 tries, 82674431 fired transitions, 40 secs || 8153521 markings, 19243749 edges, 178065 markings/sec, 40 secs
lola: 93 tries, 92152175 fired transitions, 45 secs || 9051421 markings, 21391891 edges, 179580 markings/sec, 45 secs
lola: 102 tries, 101445208 fired transitions, 50 secs || 9954718 markings, 23552051 edges, 180659 markings/sec, 50 secs
lola: 111 tries, 110880825 fired transitions, 55 secs || 10828480 markings, 25641787 edges, 174752 markings/sec, 55 secs
lola: 121 tries, 120109238 fired transitions, 60 secs || 11717997 markings, 27769246 edges, 177903 markings/sec, 60 secs
lola: 130 tries, 129344385 fired transitions, 65 secs || 12583155 markings, 29838558 edges, 173032 markings/sec, 65 secs
lola: 139 tries, 138380666 fired transitions, 70 secs || 13433859 markings, 31873823 edges, 170141 markings/sec, 70 secs
lola: 148 tries, 147814944 fired transitions, 75 secs || 14272197 markings, 33878720 edges, 167668 markings/sec, 75 secs
lola: 158 tries, 157237238 fired transitions, 80 secs || 15130448 markings, 35931902 edges, 171650 markings/sec, 80 secs
lola: 167 tries, 166431190 fired transitions, 85 secs || 16002287 markings, 38016942 edges, 174368 markings/sec, 85 secs
lola: 176 tries, 175997824 fired transitions, 90 secs || 16846987 markings, 40037534 edges, 168940 markings/sec, 90 secs
lola: 186 tries, 185447969 fired transitions, 95 secs || 17670873 markings, 42008087 edges, 164777 markings/sec, 95 secs
lola: 195 tries, 194794762 fired transitions, 100 secs || 18533519 markings, 44071571 edges, 172529 markings/sec, 100 secs
lola: 205 tries, 204213222 fired transitions, 105 secs || 19374481 markings, 46082825 edges, 168192 markings/sec, 105 secs
lola: 214 tries, 213547221 fired transitions, 110 secs || 20197113 markings, 48050217 edges, 164526 markings/sec, 110 secs
lola: 224 tries, 223030702 fired transitions, 115 secs || 21098470 markings, 50206022 edges, 180271 markings/sec, 115 secs
lola: 233 tries, 232510876 fired transitions, 120 secs || 21994156 markings, 52348393 edges, 179137 markings/sec, 120 secs
lola: 243 tries, 242000446 fired transitions, 125 secs || 22890896 markings, 54493263 edges, 179348 markings/sec, 125 secs
lola: 252 tries, 251401474 fired transitions, 130 secs || 23787856 markings, 56639158 edges, 179392 markings/sec, 130 secs
lola: 261 tries, 260932766 fired transitions, 135 secs || 24692117 markings, 58802515 edges, 180852 markings/sec, 135 secs
lola: 271 tries, 270017521 fired transitions, 140 secs || 25603599 markings, 60982635 edges, 182296 markings/sec, 140 secs
lola: 280 tries, 279379166 fired transitions, 145 secs || 26461979 markings, 63022024 edges, 171676 markings/sec, 145 secs
lola: 289 tries, 288885011 fired transitions, 150 secs || 27430602 markings, 65229548 edges, 193725 markings/sec, 150 secs
lola: 299 tries, 298370780 fired transitions, 155 secs || 28426336 markings, 67499395 edges, 199147 markings/sec, 155 secs
lola: 308 tries, 307844682 fired transitions, 160 secs || 29336464 markings, 69609318 edges, 182026 markings/sec, 160 secs
lola: 318 tries, 317368103 fired transitions, 165 secs || 30174269 markings, 71587605 edges, 167561 markings/sec, 165 secs
lola: 327 tries, 326740888 fired transitions, 170 secs || 31030974 markings, 73609582 edges, 171341 markings/sec, 170 secs
lola: 337 tries, 336281801 fired transitions, 175 secs || 31855208 markings, 75555640 edges, 164847 markings/sec, 175 secs
lola: 346 tries, 345726545 fired transitions, 180 secs || 32684679 markings, 77514411 edges, 165894 markings/sec, 180 secs
lola: 356 tries, 355209942 fired transitions, 185 secs || 33546210 markings, 79548244 edges, 172306 markings/sec, 185 secs
lola: 365 tries, 364720739 fired transitions, 190 secs || 34361994 markings, 81474542 edges, 163157 markings/sec, 190 secs
lola: 375 tries, 374230518 fired transitions, 195 secs || 35202157 markings, 83457269 edges, 168033 markings/sec, 195 secs
lola: 384 tries, 383729517 fired transitions, 200 secs || 36044193 markings, 85445115 edges, 168407 markings/sec, 200 secs
lola: 394 tries, 393206865 fired transitions, 205 secs || 36875399 markings, 87407914 edges, 166241 markings/sec, 205 secs
lola: 403 tries, 402771239 fired transitions, 210 secs || 37726120 markings, 89415187 edges, 170144 markings/sec, 210 secs
lola: 413 tries, 412303735 fired transitions, 215 secs || 38520100 markings, 91290061 edges, 158796 markings/sec, 215 secs
lola: 422 tries, 421871166 fired transitions, 220 secs || 39356192 markings, 93263994 edges, 167218 markings/sec, 220 secs
lola: 432 tries, 431384850 fired transitions, 225 secs || 40158619 markings, 95157513 edges, 160485 markings/sec, 225 secs
lola: 441 tries, 440906300 fired transitions, 230 secs || 40962233 markings, 97054027 edges, 160723 markings/sec, 230 secs
lola: 451 tries, 450274757 fired transitions, 235 secs || 41765421 markings, 98951016 edges, 160638 markings/sec, 235 secs
lola: 460 tries, 459805775 fired transitions, 240 secs || 42546300 markings, 100794128 edges, 156176 markings/sec, 240 secs
lola: 470 tries, 469359017 fired transitions, 245 secs || 43354100 markings, 102701784 edges, 161560 markings/sec, 245 secs
lola: 479 tries, 478641542 fired transitions, 250 secs || 44161511 markings, 104608328 edges, 161482 markings/sec, 250 secs
lola: 489 tries, 488076356 fired transitions, 255 secs || 44925586 markings, 106412364 edges, 152815 markings/sec, 255 secs
lola: 498 tries, 497545904 fired transitions, 260 secs || 45719487 markings, 108286699 edges, 158780 markings/sec, 260 secs
lola: 507 tries, 506381348 fired transitions, 265 secs || 46449827 markings, 110010541 edges, 146068 markings/sec, 265 secs
lola: 516 tries, 515857481 fired transitions, 270 secs || 47241387 markings, 111878524 edges, 158312 markings/sec, 270 secs
lola: 526 tries, 525301059 fired transitions, 275 secs || 48025804 markings, 113730309 edges, 156883 markings/sec, 275 secs
lola: 535 tries, 534346069 fired transitions, 280 secs || 48776746 markings, 115502462 edges, 150188 markings/sec, 280 secs
lola: 544 tries, 543726704 fired transitions, 285 secs || 49542908 markings, 117311995 edges, 153232 markings/sec, 285 secs
lola: 554 tries, 553327672 fired transitions, 290 secs || 50338088 markings, 119190246 edges, 159036 markings/sec, 290 secs
lola: 563 tries, 562726194 fired transitions, 295 secs || 51148161 markings, 121102984 edges, 162015 markings/sec, 295 secs
lola: 573 tries, 572013384 fired transitions, 300 secs || 51985582 markings, 123079824 edges, 167484 markings/sec, 300 secs
lola: 582 tries, 581455519 fired transitions, 305 secs || 52773449 markings, 124939069 edges, 157573 markings/sec, 305 secs
lola: 591 tries, 590900185 fired transitions, 310 secs || 53568117 markings, 126815183 edges, 158934 markings/sec, 310 secs
lola: 601 tries, 600438982 fired transitions, 315 secs || 54347531 markings, 128655131 edges, 155883 markings/sec, 315 secs
lola: 610 tries, 609822765 fired transitions, 320 secs || 55138859 markings, 130523480 edges, 158266 markings/sec, 320 secs
lola: 620 tries, 619269742 fired transitions, 325 secs || 55905088 markings, 132333007 edges, 153246 markings/sec, 325 secs
lola: 629 tries, 628620238 fired transitions, 330 secs || 56689032 markings, 134184179 edges, 156789 markings/sec, 330 secs
lola: 638 tries, 637890546 fired transitions, 335 secs || 57490195 markings, 136074919 edges, 160233 markings/sec, 335 secs
lola: 648 tries, 647500938 fired transitions, 340 secs || 58260727 markings, 137893987 edges, 154106 markings/sec, 340 secs
lola: 657 tries, 656909930 fired transitions, 345 secs || 59037015 markings, 139727363 edges, 155258 markings/sec, 345 secs
lola: 667 tries, 666268608 fired transitions, 350 secs || 59806141 markings, 141542943 edges, 153825 markings/sec, 350 secs
lola: 676 tries, 675642316 fired transitions, 355 secs || 60577866 markings, 143364629 edges, 154345 markings/sec, 355 secs
lola: 686 tries, 685012065 fired transitions, 360 secs || 61364258 markings, 145221271 edges, 157278 markings/sec, 360 secs
lola: 695 tries, 694326355 fired transitions, 365 secs || 62208818 markings, 147215138 edges, 168912 markings/sec, 365 secs
lola: 704 tries, 703814259 fired transitions, 370 secs || 63041415 markings, 149180604 edges, 166519 markings/sec, 370 secs
lola: 713 tries, 712988892 fired transitions, 375 secs || 63872544 markings, 151142142 edges, 166226 markings/sec, 375 secs
lola: 723 tries, 722214738 fired transitions, 380 secs || 64709211 markings, 153117602 edges, 167333 markings/sec, 380 secs
lola: 732 tries, 731609178 fired transitions, 385 secs || 65529034 markings, 155053620 edges, 163965 markings/sec, 385 secs
lola: 742 tries, 741165564 fired transitions, 390 secs || 66356233 markings, 157007271 edges, 165440 markings/sec, 390 secs
lola: 751 tries, 750855264 fired transitions, 395 secs || 67177059 markings, 158945373 edges, 164165 markings/sec, 395 secs
lola: 761 tries, 760303454 fired transitions, 400 secs || 67988417 markings, 160860514 edges, 162272 markings/sec, 400 secs
lola: 770 tries, 769730466 fired transitions, 405 secs || 68815431 markings, 162812967 edges, 165403 markings/sec, 405 secs
lola: 780 tries, 779079975 fired transitions, 410 secs || 69642531 markings, 164765317 edges, 165420 markings/sec, 410 secs
lola: 789 tries, 788674686 fired transitions, 415 secs || 70454041 markings, 166680641 edges, 162302 markings/sec, 415 secs
lola: 799 tries, 798017979 fired transitions, 420 secs || 71269184 markings, 168605994 edges, 163029 markings/sec, 420 secs
lola: 807 tries, 806943835 fired transitions, 425 secs || 72055908 markings, 170461690 edges, 157345 markings/sec, 425 secs
lola: 816 tries, 815993486 fired transitions, 430 secs || 72917464 markings, 172462615 edges, 172311 markings/sec, 430 secs
lola: 826 tries, 825228534 fired transitions, 435 secs || 73904195 markings, 174725428 edges, 197346 markings/sec, 435 secs
lola: 835 tries, 834777769 fired transitions, 440 secs || 74884203 markings, 176973909 edges, 196002 markings/sec, 440 secs
lola: 845 tries, 844042927 fired transitions, 445 secs || 75910663 markings, 179328494 edges, 205292 markings/sec, 445 secs
lola: 854 tries, 853459428 fired transitions, 450 secs || 76793981 markings, 181404835 edges, 176664 markings/sec, 450 secs
lola: 863 tries, 862802314 fired transitions, 455 secs || 77654645 markings, 183427914 edges, 172133 markings/sec, 455 secs
lola: 873 tries, 872394306 fired transitions, 460 secs || 78547247 markings, 185524062 edges, 178520 markings/sec, 460 secs
lola: 882 tries, 881590589 fired transitions, 465 secs || 79449777 markings, 187644158 edges, 180506 markings/sec, 465 secs
lola: 892 tries, 891064345 fired transitions, 470 secs || 80299625 markings, 189640375 edges, 169970 markings/sec, 470 secs
lola: 900 tries, 899966441 fired transitions, 475 secs || 81142040 markings, 191619124 edges, 168483 markings/sec, 475 secs
lola: 910 tries, 909104158 fired transitions, 480 secs || 82003305 markings, 193644022 edges, 172253 markings/sec, 480 secs
lola: 919 tries, 918603899 fired transitions, 485 secs || 82848035 markings, 195627279 edges, 168946 markings/sec, 485 secs
lola: 929 tries, 928219388 fired transitions, 490 secs || 83706186 markings, 197643750 edges, 171630 markings/sec, 490 secs
lola: 938 tries, 937754489 fired transitions, 495 secs || 84597068 markings, 199736738 edges, 178176 markings/sec, 495 secs
lola: 948 tries, 947409100 fired transitions, 500 secs || 85472999 markings, 201794956 edges, 175186 markings/sec, 500 secs
lola: 957 tries, 956898174 fired transitions, 505 secs || 86288670 markings, 203709828 edges, 163134 markings/sec, 505 secs
lola: 967 tries, 966540872 fired transitions, 510 secs || 87126250 markings, 205678155 edges, 167516 markings/sec, 510 secs
lola: 977 tries, 976054383 fired transitions, 515 secs || 87974032 markings, 207670836 edges, 169556 markings/sec, 515 secs
lola: 986 tries, 985442420 fired transitions, 520 secs || 88770214 markings, 209541646 edges, 159236 markings/sec, 520 secs
lola: 995 tries, 994640646 fired transitions, 525 secs || 89597684 markings, 211486196 edges, 165494 markings/sec, 525 secs
lola: 1004 tries, 1003960865 fired transitions, 530 secs || 90459285 markings, 213510977 edges, 172320 markings/sec, 530 secs
lola: 1014 tries, 1013370848 fired transitions, 535 secs || 91279996 markings, 215439064 edges, 164142 markings/sec, 535 secs
lola: 1023 tries, 1022873945 fired transitions, 540 secs || 92102346 markings, 217370481 edges, 164470 markings/sec, 540 secs
lola: 1033 tries, 1032298048 fired transitions, 545 secs || 92918540 markings, 219289274 edges, 163239 markings/sec, 545 secs
lola: 1042 tries, 1041650719 fired transitions, 550 secs || 93730506 markings, 221195703 edges, 162393 markings/sec, 550 secs
lola: 1052 tries, 1051195310 fired transitions, 555 secs || 94562178 markings, 223149959 edges, 166334 markings/sec, 555 secs
lola: 1061 tries, 1060665746 fired transitions, 560 secs || 95412127 markings, 225147478 edges, 169990 markings/sec, 560 secs
lola: 1071 tries, 1070201888 fired transitions, 565 secs || 96260924 markings, 227142184 edges, 169759 markings/sec, 565 secs
lola: 1080 tries, 1079712208 fired transitions, 570 secs || 97068419 markings, 229039781 edges, 161499 markings/sec, 570 secs
lola: 1089 tries, 1088948201 fired transitions, 575 secs || 97881294 markings, 230949728 edges, 162575 markings/sec, 575 secs
lola: 1099 tries, 1098268189 fired transitions, 580 secs || 98718691 markings, 232917058 edges, 167479 markings/sec, 580 secs
lola: 1108 tries, 1107569062 fired transitions, 585 secs || 99535609 markings, 234835963 edges, 163384 markings/sec, 585 secs
lola: 1117 tries, 1116919854 fired transitions, 590 secs || 100358312 markings, 236770045 edges, 164541 markings/sec, 590 secs
lola: 1127 tries, 1126483480 fired transitions, 595 secs || 101182424 markings, 238705740 edges, 164822 markings/sec, 595 secs
lola: 1135 tries, 1134367042 fired transitions, 600 secs || 101848969 markings, 240270478 edges, 133309 markings/sec, 600 secs
lola: 1144 tries, 1143817492 fired transitions, 605 secs || 102655466 markings, 242165674 edges, 161299 markings/sec, 605 secs
lola: 1154 tries, 1153152466 fired transitions, 610 secs || 103474762 markings, 244092435 edges, 163859 markings/sec, 610 secs
lola: 1163 tries, 1162321957 fired transitions, 615 secs || 104297008 markings, 246023990 edges, 164449 markings/sec, 615 secs
lola: 1172 tries, 1171761778 fired transitions, 620 secs || 105149124 markings, 248026568 edges, 170423 markings/sec, 620 secs
lola: 1181 tries, 1180713512 fired transitions, 625 secs || 105967807 markings, 249948767 edges, 163737 markings/sec, 625 secs
lola: 1191 tries, 1190255633 fired transitions, 630 secs || 106776356 markings, 251849129 edges, 161710 markings/sec, 630 secs
lola: 1200 tries, 1199663594 fired transitions, 635 secs || 107602469 markings, 253791569 edges, 165223 markings/sec, 635 secs
lola: 1210 tries, 1209115062 fired transitions, 640 secs || 108407786 markings, 255682350 edges, 161063 markings/sec, 640 secs
lola: 1219 tries, 1218538456 fired transitions, 645 secs || 109221442 markings, 257594618 edges, 162731 markings/sec, 645 secs
lola: 1228 tries, 1227988938 fired transitions, 650 secs || 110048376 markings, 259537249 edges, 165387 markings/sec, 650 secs
lola: 1238 tries, 1237431302 fired transitions, 655 secs || 110858422 markings, 261440490 edges, 162009 markings/sec, 655 secs
lola: 1247 tries, 1246821611 fired transitions, 660 secs || 111668308 markings, 263343818 edges, 161977 markings/sec, 660 secs
lola: 1257 tries, 1256148214 fired transitions, 665 secs || 112473685 markings, 265235996 edges, 161075 markings/sec, 665 secs
lola: 1266 tries, 1265852293 fired transitions, 670 secs || 113292050 markings, 267159144 edges, 163673 markings/sec, 670 secs
lola: 1276 tries, 1275475530 fired transitions, 675 secs || 114107737 markings, 269076483 edges, 163137 markings/sec, 675 secs
lola: 1285 tries, 1284960739 fired transitions, 680 secs || 114895584 markings, 270926683 edges, 157569 markings/sec, 680 secs
lola: 1295 tries, 1294509801 fired transitions, 685 secs || 115698803 markings, 272815677 edges, 160644 markings/sec, 685 secs
lola: 1304 tries, 1303900502 fired transitions, 690 secs || 116515628 markings, 274733645 edges, 163365 markings/sec, 690 secs
lola: 1314 tries, 1313289059 fired transitions, 695 secs || 117333646 markings, 276654816 edges, 163604 markings/sec, 695 secs
lola: 1323 tries, 1322690428 fired transitions, 700 secs || 118122399 markings, 278508534 edges, 157751 markings/sec, 700 secs
lola: 1333 tries, 1332186551 fired transitions, 705 secs || 118924312 markings, 280392824 edges, 160383 markings/sec, 705 secs
lola: 1342 tries, 1341684933 fired transitions, 710 secs || 119782469 markings, 282408652 edges, 171631 markings/sec, 710 secs
lola: 1352 tries, 1351036411 fired transitions, 715 secs || 120671440 markings, 284498195 edges, 177794 markings/sec, 715 secs
lola: 1361 tries, 1360325854 fired transitions, 720 secs || 121524357 markings, 286502663 edges, 170583 markings/sec, 720 secs
lola: 1370 tries, 1369766807 fired transitions, 725 secs || 122382956 markings, 288519393 edges, 171720 markings/sec, 725 secs
lola: 1380 tries, 1379214775 fired transitions, 730 secs || 123212543 markings, 290469088 edges, 165917 markings/sec, 730 secs
lola: 1389 tries, 1388694861 fired transitions, 735 secs || 124055678 markings, 292450111 edges, 168627 markings/sec, 735 secs
lola: 1399 tries, 1398139678 fired transitions, 740 secs || 124864905 markings, 294351659 edges, 161845 markings/sec, 740 secs
lola: 1408 tries, 1407480959 fired transitions, 745 secs || 125710977 markings, 296339710 edges, 169214 markings/sec, 745 secs
lola: 1417 tries, 1416966281 fired transitions, 750 secs || 126575553 markings, 298371380 edges, 172915 markings/sec, 750 secs
lola: 1427 tries, 1426311996 fired transitions, 755 secs || 127422622 markings, 300361672 edges, 169414 markings/sec, 755 secs
lola: 1436 tries, 1435751950 fired transitions, 760 secs || 128259762 markings, 302328598 edges, 167428 markings/sec, 760 secs
lola: 1445 tries, 1444821454 fired transitions, 765 secs || 129075132 markings, 304243948 edges, 163074 markings/sec, 765 secs
lola: 1455 tries, 1454080004 fired transitions, 770 secs || 129906060 markings, 306196040 edges, 166186 markings/sec, 770 secs
lola: 1464 tries, 1463607653 fired transitions, 775 secs || 130774886 markings, 308237525 edges, 173765 markings/sec, 775 secs
lola: 1473 tries, 1472957682 fired transitions, 780 secs || 131630535 markings, 310248551 edges, 171130 markings/sec, 780 secs
lola: 1483 tries, 1482409291 fired transitions, 785 secs || 132447169 markings, 312167835 edges, 163327 markings/sec, 785 secs
lola: 1492 tries, 1491830630 fired transitions, 790 secs || 133267766 markings, 314096181 edges, 164119 markings/sec, 790 secs
lola: 1502 tries, 1501259231 fired transitions, 795 secs || 134095088 markings, 316041798 edges, 165464 markings/sec, 795 secs
lola: 1511 tries, 1510694297 fired transitions, 800 secs || 134927795 markings, 317997386 edges, 166541 markings/sec, 800 secs
lola: 1521 tries, 1520111548 fired transitions, 805 secs || 135863526 markings, 320162465 edges, 187146 markings/sec, 805 secs
lola: 1530 tries, 1529357787 fired transitions, 810 secs || 136840178 markings, 322408620 edges, 195330 markings/sec, 810 secs
lola: 1539 tries, 1538850220 fired transitions, 815 secs || 137820966 markings, 324666553 edges, 196158 markings/sec, 815 secs
lola: 1549 tries, 1548245410 fired transitions, 820 secs || 138799944 markings, 326917760 edges, 195796 markings/sec, 820 secs
lola: 1557 tries, 1556991378 fired transitions, 825 secs || 139694470 markings, 328986864 edges, 178905 markings/sec, 825 secs
lola: 1566 tries, 1565787908 fired transitions, 830 secs || 140487336 markings, 330846284 edges, 158573 markings/sec, 830 secs
lola: 1575 tries, 1574717279 fired transitions, 835 secs || 141272815 markings, 332688557 edges, 157096 markings/sec, 835 secs
lola: 1584 tries, 1583622064 fired transitions, 840 secs || 142066190 markings, 334547959 edges, 158675 markings/sec, 840 secs
lola: 1593 tries, 1592566669 fired transitions, 845 secs || 142871021 markings, 336435522 edges, 160966 markings/sec, 845 secs
lola: 1602 tries, 1601552992 fired transitions, 850 secs || 143688297 markings, 338351166 edges, 163455 markings/sec, 850 secs
lola: 1611 tries, 1610557533 fired transitions, 855 secs || 144467142 markings, 340177183 edges, 155769 markings/sec, 855 secs
lola: 1620 tries, 1619563171 fired transitions, 860 secs || 145259816 markings, 342036799 edges, 158535 markings/sec, 860 secs
lola: 1629 tries, 1628679068 fired transitions, 865 secs || 146055218 markings, 343900165 edges, 159080 markings/sec, 865 secs
lola: 1638 tries, 1637513994 fired transitions, 870 secs || 146850629 markings, 345765685 edges, 159082 markings/sec, 870 secs
lola: 1647 tries, 1646576088 fired transitions, 875 secs || 147634468 markings, 347604013 edges, 156768 markings/sec, 875 secs
lola: 1656 tries, 1655441635 fired transitions, 880 secs || 148404198 markings, 349408701 edges, 153946 markings/sec, 880 secs
lola: 1665 tries, 1664337699 fired transitions, 885 secs || 149151519 markings, 351160613 edges, 149464 markings/sec, 885 secs
lola: 1674 tries, 1673363909 fired transitions, 890 secs || 149917877 markings, 352957910 edges, 153272 markings/sec, 890 secs
lola: 1682 tries, 1681887026 fired transitions, 895 secs || 150705953 markings, 354806149 edges, 157615 markings/sec, 895 secs
lola: 1691 tries, 1690819087 fired transitions, 900 secs || 151448565 markings, 356546779 edges, 148522 markings/sec, 900 secs
lola: 1700 tries, 1699924162 fired transitions, 905 secs || 152194633 markings, 358296444 edges, 149214 markings/sec, 905 secs
lola: 1710 tries, 1709182224 fired transitions, 910 secs || 152952503 markings, 360073454 edges, 151574 markings/sec, 910 secs
lola: 1719 tries, 1718290271 fired transitions, 915 secs || 153708316 markings, 361846317 edges, 151163 markings/sec, 915 secs
lola: 1727 tries, 1726947710 fired transitions, 920 secs || 154498186 markings, 363696794 edges, 157974 markings/sec, 920 secs
lola: 1737 tries, 1736205770 fired transitions, 925 secs || 155225223 markings, 365403501 edges, 145407 markings/sec, 925 secs
lola: 1744 tries, 1743918069 fired transitions, 930 secs || 155989989 markings, 367195415 edges, 152953 markings/sec, 930 secs
lola: 1753 tries, 1752818634 fired transitions, 935 secs || 156740222 markings, 368954672 edges, 150047 markings/sec, 935 secs
lola: 1762 tries, 1761832201 fired transitions, 940 secs || 157515989 markings, 370772844 edges, 155153 markings/sec, 940 secs
lola: 1771 tries, 1770778210 fired transitions, 945 secs || 158271914 markings, 372545826 edges, 151185 markings/sec, 945 secs
lola: 1780 tries, 1779700233 fired transitions, 950 secs || 159024946 markings, 374312745 edges, 150606 markings/sec, 950 secs
lola: 1789 tries, 1788532696 fired transitions, 955 secs || 159798755 markings, 376125218 edges, 154762 markings/sec, 955 secs
lola: 1798 tries, 1797560395 fired transitions, 960 secs || 160557669 markings, 377906185 edges, 151783 markings/sec, 960 secs
lola: 1807 tries, 1806438962 fired transitions, 965 secs || 161315778 markings, 379684505 edges, 151622 markings/sec, 965 secs
lola: 1816 tries, 1815654608 fired transitions, 970 secs || 162030905 markings, 381362937 edges, 143025 markings/sec, 970 secs
lola: 1825 tries, 1824667759 fired transitions, 975 secs || 162755253 markings, 383061272 edges, 144870 markings/sec, 975 secs
lola: 1834 tries, 1833406646 fired transitions, 980 secs || 163497843 markings, 384802582 edges, 148518 markings/sec, 980 secs
lola: 1843 tries, 1842486947 fired transitions, 985 secs || 164247046 markings, 386560512 edges, 149841 markings/sec, 985 secs
lola: 1852 tries, 1851673341 fired transitions, 990 secs || 164952517 markings, 388216367 edges, 141094 markings/sec, 990 secs
lola: 1861 tries, 1860686090 fired transitions, 995 secs || 165676982 markings, 389915648 edges, 144893 markings/sec, 995 secs
lola: 1870 tries, 1869795727 fired transitions, 1000 secs || 166395661 markings, 391601189 edges, 143736 markings/sec, 1000 secs
lola: 1879 tries, 1878743015 fired transitions, 1005 secs || 167128120 markings, 393319152 edges, 146492 markings/sec, 1005 secs
lola: 1888 tries, 1887951350 fired transitions, 1010 secs || 167840487 markings, 394991774 edges, 142473 markings/sec, 1010 secs
lola: 1898 tries, 1897072288 fired transitions, 1015 secs || 168543648 markings, 396639578 edges, 140632 markings/sec, 1015 secs
lola: 1907 tries, 1906354699 fired transitions, 1020 secs || 169237415 markings, 398268270 edges, 138753 markings/sec, 1020 secs
lola: 1916 tries, 1915420761 fired transitions, 1025 secs || 169935835 markings, 399905584 edges, 139684 markings/sec, 1025 secs
lola: 1925 tries, 1924352779 fired transitions, 1030 secs || 170671007 markings, 401631699 edges, 147034 markings/sec, 1030 secs
lola: 1934 tries, 1933238953 fired transitions, 1035 secs || 171399874 markings, 403341274 edges, 145773 markings/sec, 1035 secs
lola: 1943 tries, 1942282618 fired transitions, 1040 secs || 172139652 markings, 405075917 edges, 147956 markings/sec, 1040 secs
lola: 1952 tries, 1951283525 fired transitions, 1045 secs || 172894091 markings, 406845540 edges, 150888 markings/sec, 1045 secs
lola: 1961 tries, 1960209998 fired transitions, 1050 secs || 173648935 markings, 408616306 edges, 150969 markings/sec, 1050 secs
lola: 1970 tries, 1969242336 fired transitions, 1055 secs || 174372306 markings, 410312460 edges, 144674 markings/sec, 1055 secs
lola: 1979 tries, 1978392396 fired transitions, 1060 secs || 175101382 markings, 412023146 edges, 145815 markings/sec, 1060 secs
lola: 1988 tries, 1987368006 fired transitions, 1065 secs || 175831875 markings, 413738525 edges, 146099 markings/sec, 1065 secs
lola: 1997 tries, 1996115048 fired transitions, 1070 secs || 176576614 markings, 415484505 edges, 148948 markings/sec, 1070 secs
lola: 2006 tries, 2005078380 fired transitions, 1075 secs || 177281155 markings, 417136481 edges, 140908 markings/sec, 1075 secs
lola: 2015 tries, 2014208326 fired transitions, 1080 secs || 178021937 markings, 418874788 edges, 148156 markings/sec, 1080 secs
lola: 2024 tries, 2023109619 fired transitions, 1085 secs || 178760965 markings, 420608965 edges, 147806 markings/sec, 1085 secs
lola: 2033 tries, 2032101472 fired transitions, 1090 secs || 179485612 markings, 422309023 edges, 144929 markings/sec, 1090 secs
lola: 2042 tries, 2041114152 fired transitions, 1095 secs || 180217305 markings, 424024811 edges, 146339 markings/sec, 1095 secs
lola: 2050 tries, 2049869160 fired transitions, 1100 secs || 180939543 markings, 425718246 edges, 144448 markings/sec, 1100 secs
lola: 2059 tries, 2058506084 fired transitions, 1105 secs || 181677664 markings, 427449770 edges, 147624 markings/sec, 1105 secs
lola: 2068 tries, 2067491176 fired transitions, 1110 secs || 182400906 markings, 429148541 edges, 144648 markings/sec, 1110 secs
lola: 2077 tries, 2076443419 fired transitions, 1115 secs || 183106688 markings, 430804222 edges, 141156 markings/sec, 1115 secs
lola: 2086 tries, 2085428296 fired transitions, 1120 secs || 183842514 markings, 432529937 edges, 147165 markings/sec, 1120 secs
lola: 2094 tries, 2093941989 fired transitions, 1125 secs || 184561382 markings, 434217098 edges, 143774 markings/sec, 1125 secs
lola: 2103 tries, 2102860257 fired transitions, 1130 secs || 185279626 markings, 435901767 edges, 143649 markings/sec, 1130 secs
lola: 2112 tries, 2111883666 fired transitions, 1135 secs || 185995375 markings, 437579871 edges, 143150 markings/sec, 1135 secs
lola: 2121 tries, 2120697478 fired transitions, 1140 secs || 186717540 markings, 439274870 edges, 144433 markings/sec, 1140 secs
lola: 2130 tries, 2129606281 fired transitions, 1145 secs || 187428536 markings, 440941560 edges, 142199 markings/sec, 1145 secs
lola: 2139 tries, 2138659353 fired transitions, 1150 secs || 188164838 markings, 442669089 edges, 147260 markings/sec, 1150 secs
lola: 2148 tries, 2147704302 fired transitions, 1155 secs || 188855974 markings, 444291246 edges, 138227 markings/sec, 1155 secs
lola: 2157 tries, 2156852718 fired transitions, 1160 secs || 189565609 markings, 445955780 edges, 141927 markings/sec, 1160 secs
lola: 2166 tries, 2165945885 fired transitions, 1165 secs || 190275351 markings, 447621795 edges, 141948 markings/sec, 1165 secs
lola: 2175 tries, 2174904426 fired transitions, 1170 secs || 191019598 markings, 449367659 edges, 148849 markings/sec, 1170 secs
lola: 2184 tries, 2183848210 fired transitions, 1175 secs || 191800426 markings, 451200563 edges, 156166 markings/sec, 1175 secs
lola: 2193 tries, 2192672508 fired transitions, 1180 secs || 192591599 markings, 453054472 edges, 158235 markings/sec, 1180 secs
lola: 2202 tries, 2201563790 fired transitions, 1185 secs || 193376609 markings, 454896877 edges, 157002 markings/sec, 1185 secs
lola: 2211 tries, 2210624366 fired transitions, 1190 secs || 194149402 markings, 456710196 edges, 154559 markings/sec, 1190 secs
lola: 2220 tries, 2219691388 fired transitions, 1195 secs || 194923542 markings, 458526465 edges, 154828 markings/sec, 1195 secs
lola: 2229 tries, 2228526069 fired transitions, 1200 secs || 195705129 markings, 460358544 edges, 156317 markings/sec, 1200 secs
lola: 2238 tries, 2237343308 fired transitions, 1205 secs || 196474939 markings, 462164386 edges, 153962 markings/sec, 1205 secs
lola: 2247 tries, 2246316000 fired transitions, 1210 secs || 197227634 markings, 463929994 edges, 150539 markings/sec, 1210 secs
lola: 2256 tries, 2255121514 fired transitions, 1215 secs || 197990533 markings, 465719891 edges, 152580 markings/sec, 1215 secs
lola: 2264 tries, 2263935396 fired transitions, 1220 secs || 198740757 markings, 467479264 edges, 150045 markings/sec, 1220 secs
lola: 2273 tries, 2272610655 fired transitions, 1225 secs || 199496946 markings, 469252612 edges, 151238 markings/sec, 1225 secs
lola: 2282 tries, 2281126202 fired transitions, 1230 secs || 200263055 markings, 471049460 edges, 153222 markings/sec, 1230 secs
lola: 2290 tries, 2289695572 fired transitions, 1235 secs || 200985086 markings, 472743394 edges, 144406 markings/sec, 1235 secs
lola: 2299 tries, 2298774191 fired transitions, 1240 secs || 201734359 markings, 474500962 edges, 149855 markings/sec, 1240 secs
lola: 2309 tries, 2308058873 fired transitions, 1245 secs || 202482038 markings, 476255534 edges, 149536 markings/sec, 1245 secs
lola: 2317 tries, 2316896004 fired transitions, 1250 secs || 203251169 markings, 478058781 edges, 153826 markings/sec, 1250 secs
lola: 2326 tries, 2325926039 fired transitions, 1255 secs || 203986621 markings, 479785907 edges, 147090 markings/sec, 1255 secs
lola: 2335 tries, 2334771216 fired transitions, 1260 secs || 204756840 markings, 481591816 edges, 154044 markings/sec, 1260 secs
lola: 2344 tries, 2343531050 fired transitions, 1265 secs || 205512173 markings, 483363714 edges, 151067 markings/sec, 1265 secs
lola: 2353 tries, 2352380891 fired transitions, 1270 secs || 206261853 markings, 485122718 edges, 149936 markings/sec, 1270 secs
lola: 2362 tries, 2361435096 fired transitions, 1275 secs || 207019880 markings, 486900600 edges, 151605 markings/sec, 1275 secs
lola: 2371 tries, 2370344998 fired transitions, 1280 secs || 207762691 markings, 488643927 edges, 148562 markings/sec, 1280 secs
lola: 2380 tries, 2379338677 fired transitions, 1285 secs || 208504326 markings, 490383459 edges, 148327 markings/sec, 1285 secs
lola: 2389 tries, 2388378275 fired transitions, 1290 secs || 209251095 markings, 492135892 edges, 149354 markings/sec, 1290 secs
lola: 2398 tries, 2397256787 fired transitions, 1295 secs || 209986675 markings, 493861036 edges, 147116 markings/sec, 1295 secs
lola: 2407 tries, 2406395573 fired transitions, 1300 secs || 210728069 markings, 495600478 edges, 148279 markings/sec, 1300 secs
lola: 2416 tries, 2415572318 fired transitions, 1305 secs || 211538203 markings, 497491564 edges, 162027 markings/sec, 1305 secs
lola: 2425 tries, 2424402806 fired transitions, 1310 secs || 212441067 markings, 499573447 edges, 180573 markings/sec, 1310 secs
lola: 2434 tries, 2433291358 fired transitions, 1315 secs || 213330419 markings, 501626624 edges, 177870 markings/sec, 1315 secs
lola: 2443 tries, 2442149324 fired transitions, 1320 secs || 214222937 markings, 503685206 edges, 178504 markings/sec, 1320 secs
lola: 2452 tries, 2451040404 fired transitions, 1325 secs || 215129293 markings, 505777791 edges, 181271 markings/sec, 1325 secs
lola: 2460 tries, 2459865522 fired transitions, 1330 secs || 216048098 markings, 507896508 edges, 183761 markings/sec, 1330 secs
lola: 2469 tries, 2468857545 fired transitions, 1335 secs || 216850853 markings, 509770804 edges, 160551 markings/sec, 1335 secs
lola: 2478 tries, 2477968918 fired transitions, 1340 secs || 217608858 markings, 511545245 edges, 151601 markings/sec, 1340 secs
lola: 2487 tries, 2486861637 fired transitions, 1345 secs || 218402834 markings, 513404921 edges, 158795 markings/sec, 1345 secs
lola: 2496 tries, 2495888202 fired transitions, 1350 secs || 219184791 markings, 515235999 edges, 156391 markings/sec, 1350 secs
lola: 2506 tries, 2505114693 fired transitions, 1355 secs || 219808607 markings, 516695847 edges, 124763 markings/sec, 1355 secs
lola: 2515 tries, 2514692327 fired transitions, 1360 secs || 220620556 markings, 518596955 edges, 162390 markings/sec, 1360 secs
lola: 2525 tries, 2524112964 fired transitions, 1365 secs || 221400961 markings, 520424029 edges, 156081 markings/sec, 1365 secs
lola: 2534 tries, 2533359756 fired transitions, 1370 secs || 222159913 markings, 522199548 edges, 151790 markings/sec, 1370 secs
lola: 2543 tries, 2542823209 fired transitions, 1375 secs || 222920819 markings, 523980642 edges, 152181 markings/sec, 1375 secs
lola: 2553 tries, 2552155487 fired transitions, 1380 secs || 223689649 markings, 525780376 edges, 153766 markings/sec, 1380 secs
lola: 2562 tries, 2561693464 fired transitions, 1385 secs || 224461094 markings, 527588156 edges, 154289 markings/sec, 1385 secs
lola: 2571 tries, 2570769824 fired transitions, 1390 secs || 225242865 markings, 529419650 edges, 156354 markings/sec, 1390 secs
lola: 2581 tries, 2580211930 fired transitions, 1395 secs || 226020963 markings, 531238588 edges, 155620 markings/sec, 1395 secs
lola: 2590 tries, 2589790695 fired transitions, 1400 secs || 226791121 markings, 533041295 edges, 154032 markings/sec, 1400 secs
lola: 2600 tries, 2599014657 fired transitions, 1405 secs || 227189521 markings, 533973223 edges, 79680 markings/sec, 1405 secs
lola: 2609 tries, 2608310259 fired transitions, 1410 secs || 227383618 markings, 534426327 edges, 38819 markings/sec, 1410 secs
lola: 2641 tries, 2640336346 fired transitions, 1415 secs || 230208427 markings, 541048888 edges, 41282 markings/sec, 1415 secs
lola: 2624 tries, 2623932208 fired transitions, 1420 secs || 227653819 markings, 535058596 edges, 15974 markings/sec, 1420 secs
Killed
rslt: finished
BK_STOP 1554505887920
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 137 (ignored)
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="CloudOpsManagement-PT-00080by00040"
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-3957"
echo " Executing tool lola"
echo " Input is CloudOpsManagement-PT-00080by00040, 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 r209-smll-155381375300048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudOpsManagement-PT-00080by00040.tgz
mv CloudOpsManagement-PT-00080by00040 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 ;