About the Execution of ITS-LoLa for ASLink-PT-03a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15757.670 | 3600000.00 | 3623736.00 | 9818.60 | 1 1 1 1 1 ? 1 1 1 1 1 1 1 1 1 1 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r166-smll-158987787100045.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is ASLink-PT-03a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-158987787100045
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 516K
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 09:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 2.9K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 357K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ASLink-PT-03a-UpperBounds-00
FORMULA_NAME ASLink-PT-03a-UpperBounds-01
FORMULA_NAME ASLink-PT-03a-UpperBounds-02
FORMULA_NAME ASLink-PT-03a-UpperBounds-03
FORMULA_NAME ASLink-PT-03a-UpperBounds-04
FORMULA_NAME ASLink-PT-03a-UpperBounds-05
FORMULA_NAME ASLink-PT-03a-UpperBounds-06
FORMULA_NAME ASLink-PT-03a-UpperBounds-07
FORMULA_NAME ASLink-PT-03a-UpperBounds-08
FORMULA_NAME ASLink-PT-03a-UpperBounds-09
FORMULA_NAME ASLink-PT-03a-UpperBounds-10
FORMULA_NAME ASLink-PT-03a-UpperBounds-11
FORMULA_NAME ASLink-PT-03a-UpperBounds-12
FORMULA_NAME ASLink-PT-03a-UpperBounds-13
FORMULA_NAME ASLink-PT-03a-UpperBounds-14
FORMULA_NAME ASLink-PT-03a-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1591164348404
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 06:05:50] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-03 06:05:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 06:05:50] [INFO ] Load time of PNML (sax parser for PT used): 193 ms
[2020-06-03 06:05:50] [INFO ] Transformed 821 places.
[2020-06-03 06:05:50] [INFO ] Transformed 1281 transitions.
[2020-06-03 06:05:50] [INFO ] Found NUPN structural information;
[2020-06-03 06:05:50] [INFO ] Parsed PT model containing 821 places and 1281 transitions in 260 ms.
Ensure Unique test removed 13 transitions
Reduce redundant transitions removed 13 transitions.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 44 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
[2020-06-03 06:05:51] [INFO ] Flatten gal took : 239 ms
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 1268 rows 821 cols
[2020-06-03 06:05:51] [INFO ] Computed 156 place invariants in 105 ms
Support contains 16 out of 821 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 821/821 places, 1268/1268 transitions.
Ensure Unique test removed 12 places
Discarding 6 places :
Implicit places reduction removed 6 places
Performed 70 Post agglomeration using F-continuation condition.Transition count delta: 70
Iterating post reduction 0 with 88 rules applied. Total rules applied 88 place count 803 transition count 1198
Reduce places removed 70 places and 0 transitions.
Iterating post reduction 1 with 70 rules applied. Total rules applied 158 place count 733 transition count 1198
Performed 66 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 66 Pre rules applied. Total rules applied 158 place count 733 transition count 1132
Deduced a syphon composed of 66 places in 5 ms
Ensure Unique test removed 26 places
Reduce places removed 92 places and 0 transitions.
Iterating global reduction 2 with 158 rules applied. Total rules applied 316 place count 641 transition count 1132
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 2 with 1 rules applied. Total rules applied 317 place count 641 transition count 1131
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 318 place count 640 transition count 1131
Symmetric choice reduction at 4 with 5 rule applications. Total rules 323 place count 640 transition count 1131
Deduced a syphon composed of 5 places in 4 ms
Reduce places removed 5 places and 23 transitions.
Iterating global reduction 4 with 10 rules applied. Total rules applied 333 place count 635 transition count 1108
Ensure Unique test removed 1 places
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 4 with 6 rules applied. Total rules applied 339 place count 633 transition count 1104
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 5 with 2 rules applied. Total rules applied 341 place count 631 transition count 1104
Symmetric choice reduction at 6 with 1 rule applications. Total rules 342 place count 631 transition count 1104
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 344 place count 630 transition count 1096
Symmetric choice reduction at 6 with 1 rule applications. Total rules 345 place count 630 transition count 1096
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 347 place count 629 transition count 1088
Symmetric choice reduction at 6 with 1 rule applications. Total rules 348 place count 629 transition count 1088
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 350 place count 628 transition count 1080
Symmetric choice reduction at 6 with 1 rule applications. Total rules 351 place count 628 transition count 1080
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 353 place count 627 transition count 1072
Symmetric choice reduction at 6 with 1 rule applications. Total rules 354 place count 627 transition count 1072
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 356 place count 626 transition count 1064
Symmetric choice reduction at 6 with 1 rule applications. Total rules 357 place count 626 transition count 1064
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 359 place count 625 transition count 1056
Symmetric choice reduction at 6 with 1 rule applications. Total rules 360 place count 625 transition count 1056
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 362 place count 624 transition count 1048
Performed 19 Post agglomeration using F-continuation condition.Transition count delta: 19
Deduced a syphon composed of 19 places in 3 ms
Reduce places removed 19 places and 0 transitions.
Iterating global reduction 6 with 38 rules applied. Total rules applied 400 place count 605 transition count 1029
Free-agglomeration rule applied 1 times.
Iterating global reduction 6 with 1 rules applied. Total rules applied 401 place count 605 transition count 1028
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 402 place count 604 transition count 1028
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 7 with 2 rules applied. Total rules applied 404 place count 604 transition count 1026
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 7 with 2 rules applied. Total rules applied 406 place count 602 transition count 1026
Partial Free-agglomeration rule applied 4 times.
Drop transitions removed 4 transitions
Iterating global reduction 8 with 4 rules applied. Total rules applied 410 place count 602 transition count 1026
Partial Post-agglomeration rule applied 3 times.
Drop transitions removed 3 transitions
Iterating global reduction 8 with 3 rules applied. Total rules applied 413 place count 602 transition count 1026
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 8 with 1 rules applied. Total rules applied 414 place count 601 transition count 1025
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 8 with 6 rules applied. Total rules applied 420 place count 595 transition count 1025
Performed 8 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 9 with 8 Pre rules applied. Total rules applied 420 place count 595 transition count 1017
Deduced a syphon composed of 8 places in 1 ms
Ensure Unique test removed 1 places
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 9 with 17 rules applied. Total rules applied 437 place count 586 transition count 1017
Discarding 3 places :
Implicit places reduction removed 3 places
Iterating post reduction 9 with 3 rules applied. Total rules applied 440 place count 583 transition count 1017
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 10 with 1 Pre rules applied. Total rules applied 440 place count 583 transition count 1016
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 10 with 2 rules applied. Total rules applied 442 place count 582 transition count 1016
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Deduced a syphon composed of 6 places in 2 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 10 with 12 rules applied. Total rules applied 454 place count 576 transition count 1010
Symmetric choice reduction at 10 with 2 rule applications. Total rules 456 place count 576 transition count 1010
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 10 with 4 rules applied. Total rules applied 460 place count 574 transition count 1008
Free-agglomeration rule applied 1 times.
Iterating global reduction 10 with 1 rules applied. Total rules applied 461 place count 574 transition count 1007
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 10 with 1 rules applied. Total rules applied 462 place count 573 transition count 1007
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 11 with 2 rules applied. Total rules applied 464 place count 573 transition count 1007
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 11 with 1 rules applied. Total rules applied 465 place count 573 transition count 1007
Symmetric choice reduction at 11 with 1 rule applications. Total rules 466 place count 573 transition count 1007
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 11 with 2 rules applied. Total rules applied 468 place count 572 transition count 1006
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 11 with 1 rules applied. Total rules applied 469 place count 572 transition count 1005
Applied a total of 469 rules in 911 ms. Remains 572 /821 variables (removed 249) and now considering 1005/1268 (removed 263) transitions.
Finished structural reductions, in 1 iterations. Remains : 572/821 places, 1005/1268 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 1005 rows 572 cols
[2020-06-03 06:05:52] [INFO ] Computed 100 place invariants in 83 ms
Support contains 16 out of 572 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 572/572 places, 1005/1005 transitions.
Applied a total of 0 rules in 40 ms. Remains 572 /572 variables (removed 0) and now considering 1005/1005 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 572/572 places, 1005/1005 transitions.
Starting structural reductions, iteration 0 : 572/572 places, 1005/1005 transitions.
Applied a total of 0 rules in 21 ms. Remains 572 /572 variables (removed 0) and now considering 1005/1005 (removed 0) transitions.
// Phase 1: matrix 1005 rows 572 cols
[2020-06-03 06:05:52] [INFO ] Computed 100 place invariants in 78 ms
[2020-06-03 06:05:54] [INFO ] Implicit Places using invariants in 2077 ms returned [0, 18, 19, 30, 48, 66, 143, 147, 156, 157, 158, 176, 194, 253, 265, 269, 270, 281, 282, 302, 320, 339, 388, 393, 394, 397, 408, 409, 410, 437, 442, 460, 461, 462, 463, 476, 482, 488, 494, 500, 506, 512, 518, 524, 530, 536]
Discarding 46 places :
Implicit Place search using SMT only with invariants took 2081 ms to find 46 implicit places.
[2020-06-03 06:05:54] [INFO ] Redundant transitions in 92 ms returned []
// Phase 1: matrix 1005 rows 526 cols
[2020-06-03 06:05:54] [INFO ] Computed 54 place invariants in 45 ms
[2020-06-03 06:05:57] [INFO ] Dead Transitions using invariants and state equation in 2708 ms returned []
Starting structural reductions, iteration 1 : 526/572 places, 1005/1005 transitions.
Performed 68 Post agglomeration using F-continuation condition.Transition count delta: 68
Iterating post reduction 0 with 68 rules applied. Total rules applied 68 place count 526 transition count 937
Reduce places removed 68 places and 0 transitions.
Iterating post reduction 1 with 68 rules applied. Total rules applied 136 place count 458 transition count 937
Performed 20 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 20 Pre rules applied. Total rules applied 136 place count 458 transition count 917
Deduced a syphon composed of 20 places in 3 ms
Ensure Unique test removed 1 places
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 2 with 41 rules applied. Total rules applied 177 place count 437 transition count 917
Discarding 4 places :
Implicit places reduction removed 4 places
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Iterating post reduction 2 with 11 rules applied. Total rules applied 188 place count 433 transition count 910
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 3 with 7 rules applied. Total rules applied 195 place count 426 transition count 910
Symmetric choice reduction at 4 with 16 rule applications. Total rules 211 place count 426 transition count 910
Deduced a syphon composed of 16 places in 1 ms
Reduce places removed 16 places and 16 transitions.
Iterating global reduction 4 with 32 rules applied. Total rules applied 243 place count 410 transition count 894
Ensure Unique test removed 1 places
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 246 place count 409 transition count 892
Symmetric choice reduction at 5 with 6 rule applications. Total rules 252 place count 409 transition count 892
Deduced a syphon composed of 6 places in 1 ms
Reduce places removed 6 places and 6 transitions.
Iterating global reduction 5 with 12 rules applied. Total rules applied 264 place count 403 transition count 886
Symmetric choice reduction at 5 with 1 rule applications. Total rules 265 place count 403 transition count 886
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 267 place count 402 transition count 885
Symmetric choice reduction at 5 with 1 rule applications. Total rules 268 place count 402 transition count 885
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 270 place count 401 transition count 884
Performed 27 Post agglomeration using F-continuation condition.Transition count delta: 27
Deduced a syphon composed of 27 places in 1 ms
Reduce places removed 27 places and 0 transitions.
Iterating global reduction 5 with 54 rules applied. Total rules applied 324 place count 374 transition count 857
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 5 with 2 rules applied. Total rules applied 326 place count 374 transition count 855
Symmetric choice reduction at 6 with 2 rule applications. Total rules 328 place count 374 transition count 855
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 3 transitions.
Iterating global reduction 6 with 4 rules applied. Total rules applied 332 place count 372 transition count 852
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 333 place count 372 transition count 851
Free-agglomeration rule applied 1 times.
Iterating global reduction 7 with 1 rules applied. Total rules applied 334 place count 372 transition count 850
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 335 place count 371 transition count 850
Free-agglomeration rule (complex) applied 7 times.
Iterating global reduction 8 with 7 rules applied. Total rules applied 342 place count 371 transition count 843
Ensure Unique test removed 1 places
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 8 with 8 rules applied. Total rules applied 350 place count 363 transition count 843
Partial Free-agglomeration rule applied 8 times.
Drop transitions removed 8 transitions
Iterating global reduction 9 with 8 rules applied. Total rules applied 358 place count 363 transition count 843
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 9 with 1 rules applied. Total rules applied 359 place count 363 transition count 842
Applied a total of 359 rules in 151 ms. Remains 363 /526 variables (removed 163) and now considering 842/1005 (removed 163) transitions.
// Phase 1: matrix 842 rows 363 cols
[2020-06-03 06:05:57] [INFO ] Computed 47 place invariants in 27 ms
[2020-06-03 06:05:58] [INFO ] Implicit Places using invariants in 762 ms returned [72, 91, 97, 100, 103, 110, 111, 163, 180, 191, 193, 198, 200, 274, 280, 286]
Discarding 16 places :
Implicit Place search using SMT only with invariants took 765 ms to find 16 implicit places.
Starting structural reductions, iteration 2 : 347/572 places, 842/1005 transitions.
Symmetric choice reduction at 0 with 5 rule applications. Total rules 5 place count 347 transition count 842
Deduced a syphon composed of 5 places in 1 ms
Reduce places removed 5 places and 5 transitions.
Iterating global reduction 0 with 10 rules applied. Total rules applied 15 place count 342 transition count 837
Symmetric choice reduction at 0 with 1 rule applications. Total rules 16 place count 342 transition count 837
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 18 place count 341 transition count 836
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 1 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 0 with 10 rules applied. Total rules applied 28 place count 336 transition count 831
Free-agglomeration rule applied 8 times.
Iterating global reduction 0 with 8 rules applied. Total rules applied 36 place count 336 transition count 823
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 0 with 8 rules applied. Total rules applied 44 place count 328 transition count 823
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 1 with 2 rules applied. Total rules applied 46 place count 328 transition count 821
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 48 place count 326 transition count 821
Partial Post-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 2 with 2 rules applied. Total rules applied 50 place count 326 transition count 821
Applied a total of 50 rules in 77 ms. Remains 326 /347 variables (removed 21) and now considering 821/842 (removed 21) transitions.
// Phase 1: matrix 821 rows 326 cols
[2020-06-03 06:05:58] [INFO ] Computed 31 place invariants in 9 ms
[2020-06-03 06:05:59] [INFO ] Implicit Places using invariants in 650 ms returned []
// Phase 1: matrix 821 rows 326 cols
[2020-06-03 06:05:59] [INFO ] Computed 31 place invariants in 10 ms
[2020-06-03 06:06:02] [INFO ] Implicit Places using invariants and state equation in 3496 ms returned []
Implicit Place search using SMT with State Equation took 4148 ms to find 0 implicit places.
Finished structural reductions, in 3 iterations. Remains : 326/572 places, 821/1005 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 821 rows 326 cols
[2020-06-03 06:06:02] [INFO ] Computed 31 place invariants in 9 ms
Support contains 16 out of 326 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 326/326 places, 821/821 transitions.
Applied a total of 0 rules in 14 ms. Remains 326 /326 variables (removed 0) and now considering 821/821 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 326/326 places, 821/821 transitions.
Starting structural reductions, iteration 0 : 326/326 places, 821/821 transitions.
Applied a total of 0 rules in 14 ms. Remains 326 /326 variables (removed 0) and now considering 821/821 (removed 0) transitions.
// Phase 1: matrix 821 rows 326 cols
[2020-06-03 06:06:02] [INFO ] Computed 31 place invariants in 13 ms
[2020-06-03 06:06:03] [INFO ] Implicit Places using invariants in 875 ms returned []
// Phase 1: matrix 821 rows 326 cols
[2020-06-03 06:06:03] [INFO ] Computed 31 place invariants in 8 ms
[2020-06-03 06:06:06] [INFO ] Implicit Places using invariants and state equation in 3268 ms returned []
Implicit Place search using SMT with State Equation took 4148 ms to find 0 implicit places.
[2020-06-03 06:06:07] [INFO ] Redundant transitions in 157 ms returned []
// Phase 1: matrix 821 rows 326 cols
[2020-06-03 06:06:07] [INFO ] Computed 31 place invariants in 9 ms
[2020-06-03 06:06:08] [INFO ] Dead Transitions using invariants and state equation in 1875 ms returned []
Finished structural reductions, in 1 iterations. Remains : 326/326 places, 821/821 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
Applied a total of 0 rules in 13 ms. Remains 326 /326 variables (removed 0) and now considering 821/821 (removed 0) transitions.
// Phase 1: matrix 821 rows 326 cols
[2020-06-03 06:06:08] [INFO ] Computed 31 place invariants in 9 ms
[2020-06-03 06:06:08] [INFO ] Export to MCC properties in file /home/mcc/execution/UpperBounds.sr.xml took 2 ms.
[2020-06-03 06:06:08] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 17 ms.
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ ASLink-PT-03a @ 3570 seconds
FORMULA ASLink-PT-03a-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-03a-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-03a-UpperBounds-02 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-03a-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-03a-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-03a-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-03a-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-03a-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-03a-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-03a-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-03a-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-03a-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-03a-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-03a-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-03a-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ ASLink-PT-03a
{
"exit":
{
"memory": 8384872,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p168)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"preliminary_value": "1 1 1 1 1 unknown 1 1 1 1 1 1 1 1 1 1 "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 1147/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 10432
lola: finding significant places
lola: 326 places, 821 transitions, 295 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 UpperBounds.xml
lola: MAX(p92) : MAX(p79) : MAX(p52) : MAX(p176) : MAX(p311) : MAX(p168) : MAX(p247) : MAX(p91) : MAX(p174) : MAX(p318) : MAX(p9) : MAX(p323) : MAX(p84) : MAX(p287) : MAX(p277) : MAX(p273)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p92)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p92)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p79)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p79)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 13 markings, 12 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p52)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 18 markings, 17 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p176)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p176)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 19 markings, 18 edges
lola: ========================================
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p311)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p311)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p168)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p168)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 4294967295
lola: 252035 markings, 456521 edges, 50407 markings/sec, 0 secs
lola: 521579 markings, 924274 edges, 53909 markings/sec, 5 secs
lola: 800425 markings, 1400763 edges, 55769 markings/sec, 10 secs
lola: 1079950 markings, 1908360 edges, 55905 markings/sec, 15 secs
lola: 1348008 markings, 2462828 edges, 53612 markings/sec, 20 secs
lola: 1616275 markings, 3012213 edges, 53653 markings/sec, 25 secs
lola: 1887097 markings, 3507527 edges, 54164 markings/sec, 30 secs
lola: 2148298 markings, 3987501 edges, 52240 markings/sec, 35 secs
lola: 2405576 markings, 4504451 edges, 51456 markings/sec, 40 secs
lola: 2663157 markings, 5034939 edges, 51516 markings/sec, 45 secs
lola: 2897461 markings, 5513012 edges, 46861 markings/sec, 50 secs
lola: 3167410 markings, 6042490 edges, 53990 markings/sec, 55 secs
lola: 3420283 markings, 6524876 edges, 50575 markings/sec, 60 secs
lola: 3684993 markings, 7068531 edges, 52942 markings/sec, 65 secs
lola: 3956403 markings, 7610441 edges, 54282 markings/sec, 70 secs
lola: 4229719 markings, 8077661 edges, 54663 markings/sec, 75 secs
lola: 4487987 markings, 8590200 edges, 51654 markings/sec, 80 secs
lola: 4742028 markings, 9120744 edges, 50808 markings/sec, 85 secs
lola: 4996246 markings, 9650410 edges, 50844 markings/sec, 90 secs
lola: 5249600 markings, 10167880 edges, 50671 markings/sec, 95 secs
lola: 5518044 markings, 10690670 edges, 53689 markings/sec, 100 secs
lola: 5790447 markings, 11204824 edges, 54481 markings/sec, 105 secs
lola: 6053402 markings, 11759880 edges, 52591 markings/sec, 110 secs
lola: 6322958 markings, 12312834 edges, 53911 markings/sec, 115 secs
lola: 6596391 markings, 12783691 edges, 54687 markings/sec, 120 secs
lola: 6832264 markings, 13272868 edges, 47175 markings/sec, 125 secs
lola: 7083660 markings, 13804722 edges, 50279 markings/sec, 130 secs
lola: 7334970 markings, 14347926 edges, 50262 markings/sec, 135 secs
lola: 7598239 markings, 14861470 edges, 52654 markings/sec, 140 secs
lola: 7861594 markings, 15401422 edges, 52671 markings/sec, 145 secs
lola: 8135220 markings, 15923816 edges, 54725 markings/sec, 150 secs
lola: 8404070 markings, 16470880 edges, 53770 markings/sec, 155 secs
lola: 8671919 markings, 17014670 edges, 53570 markings/sec, 160 secs
lola: 8936499 markings, 17510144 edges, 52916 markings/sec, 165 secs
lola: 9191509 markings, 18037403 edges, 51002 markings/sec, 170 secs
lola: 9444745 markings, 18548770 edges, 50647 markings/sec, 175 secs
lola: 9697229 markings, 19068137 edges, 50497 markings/sec, 180 secs
lola: 9964837 markings, 19593747 edges, 53522 markings/sec, 185 secs
lola: 10233761 markings, 20112981 edges, 53785 markings/sec, 190 secs
lola: 10498521 markings, 20657164 edges, 52952 markings/sec, 195 secs
lola: 10768239 markings, 21197945 edges, 53944 markings/sec, 200 secs
lola: 11030813 markings, 21734552 edges, 52515 markings/sec, 205 secs
lola: 11285994 markings, 22246714 edges, 51036 markings/sec, 210 secs
lola: 11539988 markings, 22761857 edges, 50799 markings/sec, 215 secs
lola: 11793384 markings, 23291850 edges, 50679 markings/sec, 220 secs
lola: 12051084 markings, 23793141 edges, 51540 markings/sec, 225 secs
lola: 12322266 markings, 24316302 edges, 54236 markings/sec, 230 secs
lola: 12589522 markings, 24856033 edges, 53451 markings/sec, 235 secs
lola: 12856572 markings, 25394918 edges, 53410 markings/sec, 240 secs
lola: 13131294 markings, 25918601 edges, 54944 markings/sec, 245 secs
lola: 13394314 markings, 26451018 edges, 52604 markings/sec, 250 secs
lola: 13649782 markings, 26967351 edges, 51094 markings/sec, 255 secs
lola: 13901827 markings, 27493681 edges, 50409 markings/sec, 260 secs
lola: 14154700 markings, 27998665 edges, 50575 markings/sec, 265 secs
lola: 14420948 markings, 28486566 edges, 53250 markings/sec, 270 secs
lola: 14685652 markings, 29033675 edges, 52941 markings/sec, 275 secs
lola: 14953818 markings, 29572513 edges, 53633 markings/sec, 280 secs
lola: 15226456 markings, 30087801 edges, 54528 markings/sec, 285 secs
lola: 15492380 markings, 30636665 edges, 53185 markings/sec, 290 secs
lola: 15751972 markings, 31158128 edges, 51918 markings/sec, 295 secs
lola: 16005268 markings, 31686949 edges, 50659 markings/sec, 300 secs
lola: 16260192 markings, 32183407 edges, 50985 markings/sec, 305 secs
lola: 16511109 markings, 32697288 edges, 50183 markings/sec, 310 secs
lola: 16780611 markings, 33203959 edges, 53900 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 867692 KB
lola: time consumption: 333 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p247)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p247)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 110578 markings, 136985 edges
lola: ========================================
lola: subprocess 7 will run for 359 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p91)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p91)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 8 will run for 404 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p174)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p174)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 7 markings, 6 edges
lola: ========================================
lola: subprocess 9 will run for 462 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p318)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p318)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 42 markings, 41 edges
lola: ========================================
lola: subprocess 10 will run for 539 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p9)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 77 markings, 76 edges
lola: ========================================
lola: subprocess 11 will run for 647 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p323)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p323)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 12 will run for 809 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p84)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p84)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 13 markings, 12 edges
lola: ========================================
lola: subprocess 13 will run for 1078 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p287)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p287)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 14 will run for 1618 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p277)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p277)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 10 markings, 9 edges
lola: ========================================
lola: subprocess 15 will run for 3234 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p273)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p273)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 6 markings, 5 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p168)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p168)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 4294967295
lola: 263966 markings, 485269 edges, 52793 markings/sec, 0 secs
lola: 535585 markings, 945343 edges, 54324 markings/sec, 5 secs
lola: 816740 markings, 1428732 edges, 56231 markings/sec, 10 secs
lola: 1085055 markings, 1920682 edges, 53663 markings/sec, 15 secs
lola: 1354499 markings, 2474978 edges, 53889 markings/sec, 20 secs
lola: 1622943 markings, 3024682 edges, 53689 markings/sec, 25 secs
lola: 1893548 markings, 3517629 edges, 54121 markings/sec, 30 secs
lola: 2153365 markings, 3999892 edges, 51963 markings/sec, 35 secs
lola: 2411517 markings, 4512465 edges, 51630 markings/sec, 40 secs
lola: 2667076 markings, 5044741 edges, 51112 markings/sec, 45 secs
lola: 2924613 markings, 5551912 edges, 51507 markings/sec, 50 secs
lola: 3193465 markings, 6103920 edges, 53770 markings/sec, 55 secs
lola: 3467597 markings, 6618286 edges, 54826 markings/sec, 60 secs
lola: 3734678 markings, 7161513 edges, 53416 markings/sec, 65 secs
lola: 4004268 markings, 7715225 edges, 53918 markings/sec, 70 secs
lola: 4278106 markings, 8163061 edges, 54768 markings/sec, 75 secs
lola: 4534256 markings, 8684496 edges, 51230 markings/sec, 80 secs
lola: 4788517 markings, 9202558 edges, 50852 markings/sec, 85 secs
lola: 5042340 markings, 9737978 edges, 50765 markings/sec, 90 secs
lola: 5299284 markings, 10240494 edges, 51389 markings/sec, 95 secs
lola: 5567322 markings, 10789803 edges, 53608 markings/sec, 100 secs
lola: 5839583 markings, 11313469 edges, 54452 markings/sec, 105 secs
lola: 6106560 markings, 11864970 edges, 53395 markings/sec, 110 secs
lola: 6374973 markings, 12407960 edges, 53683 markings/sec, 115 secs
lola: 6645223 markings, 12877554 edges, 54050 markings/sec, 120 secs
lola: 6899430 markings, 13413740 edges, 50841 markings/sec, 125 secs
lola: 7153049 markings, 13942457 edges, 50724 markings/sec, 130 secs
lola: 7401580 markings, 14471414 edges, 49706 markings/sec, 135 secs
lola: 7668319 markings, 15002960 edges, 53348 markings/sec, 140 secs
lola: 7937877 markings, 15521929 edges, 53912 markings/sec, 145 secs
lola: 8205997 markings, 16072973 edges, 53624 markings/sec, 150 secs
lola: 8476423 markings, 16617962 edges, 54085 markings/sec, 155 secs
lola: 8749048 markings, 17129009 edges, 54525 markings/sec, 160 secs
lola: 9005100 markings, 17658081 edges, 51210 markings/sec, 165 secs
lola: 9259637 markings, 18176481 edges, 50907 markings/sec, 170 secs
lola: 9517515 markings, 18694497 edges, 51576 markings/sec, 175 secs
lola: 9771604 markings, 19212927 edges, 50818 markings/sec, 180 secs
lola: 10039255 markings, 19742514 edges, 53530 markings/sec, 185 secs
lola: 10309653 markings, 20267222 edges, 54080 markings/sec, 190 secs
lola: 10564285 markings, 20786828 edges, 50926 markings/sec, 195 secs
lola: 10833840 markings, 21339782 edges, 53911 markings/sec, 200 secs
lola: 11095068 markings, 21866142 edges, 52246 markings/sec, 205 secs
lola: 11350900 markings, 22380559 edges, 51166 markings/sec, 210 secs
lola: 11601905 markings, 22905553 edges, 50201 markings/sec, 215 secs
lola: 11854982 markings, 23410948 edges, 50615 markings/sec, 220 secs
lola: 12117499 markings, 23927579 edges, 52503 markings/sec, 225 secs
lola: 12385826 markings, 24448283 edges, 53665 markings/sec, 230 secs
lola: 12653908 markings, 24988196 edges, 53616 markings/sec, 235 secs
lola: 12926842 markings, 25511809 edges, 54587 markings/sec, 240 secs
lola: 13193914 markings, 26052030 edges, 53414 markings/sec, 245 secs
lola: 13453953 markings, 26575080 edges, 52008 markings/sec, 250 secs
lola: 13707734 markings, 27091172 edges, 50756 markings/sec, 255 secs
lola: 13964769 markings, 27597234 edges, 51407 markings/sec, 260 secs
lola: 14215534 markings, 28110863 edges, 50153 markings/sec, 265 secs
lola: 14484407 markings, 28619338 edges, 53775 markings/sec, 270 secs
lola: 14747665 markings, 29162417 edges, 52652 markings/sec, 275 secs
lola: 15015918 markings, 29699880 edges, 53651 markings/sec, 280 secs
lola: 15289028 markings, 30218459 edges, 54622 markings/sec, 285 secs
lola: 15554380 markings, 30759613 edges, 53070 markings/sec, 290 secs
lola: 15809791 markings, 31278534 edges, 51082 markings/sec, 295 secs
lola: 16062099 markings, 31793572 edges, 50462 markings/sec, 300 secs
lola: 16314659 markings, 32319853 edges, 50512 markings/sec, 305 secs
lola: 16565443 markings, 32833118 edges, 50157 markings/sec, 310 secs
lola: 16836681 markings, 33329046 edges, 54248 markings/sec, 315 secs
lola: 17101261 markings, 33869937 edges, 52916 markings/sec, 320 secs
lola: 17363600 markings, 34411497 edges, 52468 markings/sec, 325 secs
lola: 17637227 markings, 34941352 edges, 54725 markings/sec, 330 secs
lola: 17900829 markings, 35461813 edges, 52720 markings/sec, 335 secs
lola: 18154978 markings, 35990314 edges, 50830 markings/sec, 340 secs
lola: 18408323 markings, 36505142 edges, 50669 markings/sec, 345 secs
lola: 18662033 markings, 37014574 edges, 50742 markings/sec, 350 secs
lola: 18926294 markings, 37499200 edges, 52852 markings/sec, 355 secs
lola: 19191477 markings, 38043939 edges, 53037 markings/sec, 360 secs
lola: 19458113 markings, 38585079 edges, 53327 markings/sec, 365 secs
lola: 19729074 markings, 39101625 edges, 54192 markings/sec, 370 secs
lola: 19994077 markings, 39646436 edges, 53001 markings/sec, 375 secs
lola: 20253281 markings, 40168390 edges, 51841 markings/sec, 380 secs
lola: 20505696 markings, 40680425 edges, 50483 markings/sec, 385 secs
lola: 20761349 markings, 41183002 edges, 51131 markings/sec, 390 secs
lola: 21011160 markings, 41694026 edges, 49962 markings/sec, 395 secs
lola: 21277131 markings, 42207380 edges, 53194 markings/sec, 400 secs
lola: 21540667 markings, 42741242 edges, 52707 markings/sec, 405 secs
lola: 21810701 markings, 43273102 edges, 54007 markings/sec, 410 secs
lola: 22079069 markings, 43806493 edges, 53674 markings/sec, 415 secs
lola: 22344163 markings, 44345609 edges, 53019 markings/sec, 420 secs
lola: 22600019 markings, 44866480 edges, 51171 markings/sec, 425 secs
lola: 22865349 markings, 45349474 edges, 53066 markings/sec, 430 secs
lola: 23120092 markings, 45824273 edges, 50949 markings/sec, 435 secs
lola: 23369042 markings, 46342255 edges, 49790 markings/sec, 440 secs
lola: 23627425 markings, 46840616 edges, 51677 markings/sec, 445 secs
lola: 23891513 markings, 47384784 edges, 52818 markings/sec, 450 secs
lola: 24163363 markings, 47896934 edges, 54370 markings/sec, 455 secs
lola: 24427447 markings, 48431110 edges, 52817 markings/sec, 460 secs
lola: 24692672 markings, 48975618 edges, 53045 markings/sec, 465 secs
lola: 24964797 markings, 49429813 edges, 54425 markings/sec, 470 secs
lola: 25218347 markings, 49937244 edges, 50710 markings/sec, 475 secs
lola: 25470346 markings, 50452351 edges, 50400 markings/sec, 480 secs
lola: 25725278 markings, 50966116 edges, 50986 markings/sec, 485 secs
lola: 25975914 markings, 51479990 edges, 50127 markings/sec, 490 secs
lola: 26242749 markings, 52002689 edges, 53367 markings/sec, 495 secs
lola: 26512198 markings, 52517444 edges, 53890 markings/sec, 500 secs
lola: 26773614 markings, 53063331 edges, 52283 markings/sec, 505 secs
lola: 27042745 markings, 53602186 edges, 53826 markings/sec, 510 secs
lola: 27315157 markings, 54052615 edges, 54482 markings/sec, 515 secs
lola: 27568132 markings, 54584266 edges, 50595 markings/sec, 520 secs
lola: 27819372 markings, 55102394 edges, 50248 markings/sec, 525 secs
lola: 28067006 markings, 55647865 edges, 49527 markings/sec, 530 secs
lola: 28325479 markings, 56147005 edges, 51695 markings/sec, 535 secs
lola: 28588486 markings, 56688629 edges, 52601 markings/sec, 540 secs
lola: 28858898 markings, 57202368 edges, 54082 markings/sec, 545 secs
lola: 29123615 markings, 57743869 edges, 52943 markings/sec, 550 secs
lola: 29389122 markings, 58281410 edges, 53101 markings/sec, 555 secs
lola: 29652400 markings, 58776846 edges, 52656 markings/sec, 560 secs
lola: 29904875 markings, 59294631 edges, 50495 markings/sec, 565 secs
lola: 30158449 markings, 59803642 edges, 50715 markings/sec, 570 secs
lola: 30408738 markings, 60307189 edges, 50058 markings/sec, 575 secs
lola: 30668157 markings, 60835235 edges, 51884 markings/sec, 580 secs
lola: 30931400 markings, 61367550 edges, 52649 markings/sec, 585 secs
lola: 31201083 markings, 61888811 edges, 53937 markings/sec, 590 secs
lola: 31465171 markings, 62428172 edges, 52818 markings/sec, 595 secs
lola: 31732101 markings, 62949933 edges, 53386 markings/sec, 600 secs
lola: 31987167 markings, 63463378 edges, 51013 markings/sec, 605 secs
lola: 32240437 markings, 63976952 edges, 50654 markings/sec, 610 secs
lola: 32489657 markings, 64489719 edges, 49844 markings/sec, 615 secs
lola: 32741856 markings, 65006531 edges, 50440 markings/sec, 620 secs
lola: 33008794 markings, 65519887 edges, 53388 markings/sec, 625 secs
lola: 33271854 markings, 66058739 edges, 52612 markings/sec, 630 secs
lola: 33535740 markings, 66594737 edges, 52777 markings/sec, 635 secs
lola: 33811060 markings, 67114344 edges, 55064 markings/sec, 640 secs
lola: 34071007 markings, 67648324 edges, 51989 markings/sec, 645 secs
lola: 34323503 markings, 68158466 edges, 50499 markings/sec, 650 secs
lola: 34576352 markings, 68662766 edges, 50570 markings/sec, 655 secs
lola: 34828022 markings, 69185158 edges, 50334 markings/sec, 660 secs
lola: 35079783 markings, 69687989 edges, 50352 markings/sec, 665 secs
lola: 35348841 markings, 70195546 edges, 53812 markings/sec, 670 secs
lola: 35613584 markings, 70733020 edges, 52949 markings/sec, 675 secs
lola: 35874989 markings, 71270002 edges, 52281 markings/sec, 680 secs
lola: 36148507 markings, 71785029 edges, 54704 markings/sec, 685 secs
lola: 36411641 markings, 72311425 edges, 52627 markings/sec, 690 secs
lola: 36664362 markings, 72830874 edges, 50544 markings/sec, 695 secs
lola: 36916954 markings, 73343679 edges, 50518 markings/sec, 700 secs
lola: 37169751 markings, 73858050 edges, 50559 markings/sec, 705 secs
lola: 37430692 markings, 74345039 edges, 52188 markings/sec, 710 secs
lola: 37695480 markings, 74880964 edges, 52958 markings/sec, 715 secs
lola: 37960779 markings, 75421362 edges, 53060 markings/sec, 720 secs
lola: 38230606 markings, 75930468 edges, 53965 markings/sec, 725 secs
lola: 38494431 markings, 76490569 edges, 52765 markings/sec, 730 secs
lola: 38753040 markings, 77009651 edges, 51722 markings/sec, 735 secs
lola: 39005695 markings, 77521949 edges, 50531 markings/sec, 740 secs
lola: 39260835 markings, 78024953 edges, 51028 markings/sec, 745 secs
lola: 39510614 markings, 78535672 edges, 49956 markings/sec, 750 secs
lola: 39776571 markings, 79040925 edges, 53191 markings/sec, 755 secs
lola: 40037784 markings, 79585281 edges, 52243 markings/sec, 760 secs
lola: 40303838 markings, 80122859 edges, 53211 markings/sec, 765 secs
lola: 40575241 markings, 80641318 edges, 54281 markings/sec, 770 secs
lola: 40840314 markings, 81175512 edges, 53015 markings/sec, 775 secs
lola: 41095264 markings, 81691793 edges, 50990 markings/sec, 780 secs
lola: 41346793 markings, 82205525 edges, 50306 markings/sec, 785 secs
lola: 41598747 markings, 82730943 edges, 50391 markings/sec, 790 secs
lola: 41847680 markings, 83242681 edges, 49787 markings/sec, 795 secs
lola: 42119940 markings, 83731291 edges, 54452 markings/sec, 800 secs
lola: 42383008 markings, 84261894 edges, 52614 markings/sec, 805 secs
lola: 42646198 markings, 84796291 edges, 52638 markings/sec, 810 secs
lola: 42916977 markings, 85322162 edges, 54156 markings/sec, 815 secs
lola: 43178780 markings, 85851917 edges, 52361 markings/sec, 820 secs
lola: 43431439 markings, 86361143 edges, 50532 markings/sec, 825 secs
lola: 43683192 markings, 86871001 edges, 50351 markings/sec, 830 secs
lola: 43933709 markings, 87393838 edges, 50103 markings/sec, 835 secs
lola: 44187534 markings, 87889977 edges, 50765 markings/sec, 840 secs
lola: 44444969 markings, 88434363 edges, 51487 markings/sec, 845 secs
lola: 44713826 markings, 88965125 edges, 53771 markings/sec, 850 secs
lola: 44977575 markings, 89483342 edges, 52750 markings/sec, 855 secs
lola: 45244729 markings, 90024520 edges, 53431 markings/sec, 860 secs
lola: 45508148 markings, 90548686 edges, 52684 markings/sec, 865 secs
lola: 45774383 markings, 91007276 edges, 53247 markings/sec, 870 secs
lola: 46026094 markings, 91522882 edges, 50342 markings/sec, 875 secs
lola: 46280751 markings, 92017578 edges, 50931 markings/sec, 880 secs
lola: 46530570 markings, 92530184 edges, 49964 markings/sec, 885 secs
lola: 46794775 markings, 93055854 edges, 52841 markings/sec, 890 secs
lola: 47061827 markings, 93575118 edges, 53410 markings/sec, 895 secs
lola: 47327723 markings, 94108834 edges, 53179 markings/sec, 900 secs
lola: 47594171 markings, 94649025 edges, 53290 markings/sec, 905 secs
lola: 47861940 markings, 95157127 edges, 53554 markings/sec, 910 secs
lola: 48123682 markings, 95618469 edges, 52348 markings/sec, 915 secs
lola: 48377444 markings, 96127332 edges, 50752 markings/sec, 920 secs
lola: 48628853 markings, 96643682 edges, 50282 markings/sec, 925 secs
lola: 48876813 markings, 97153896 edges, 49592 markings/sec, 930 secs
lola: 49136586 markings, 97680422 edges, 51955 markings/sec, 935 secs
lola: 49400042 markings, 98206856 edges, 52691 markings/sec, 940 secs
lola: 49667251 markings, 98733870 edges, 53442 markings/sec, 945 secs
lola: 49931806 markings, 99280211 edges, 52911 markings/sec, 950 secs
lola: 50198481 markings, 99787820 edges, 53335 markings/sec, 955 secs
lola: 50458610 markings, 100277092 edges, 52026 markings/sec, 960 secs
lola: 50707337 markings, 100813426 edges, 49745 markings/sec, 965 secs
lola: 50956712 markings, 101325724 edges, 49875 markings/sec, 970 secs
lola: 51205857 markings, 101860562 edges, 49829 markings/sec, 975 secs
lola: 51471634 markings, 102379343 edges, 53155 markings/sec, 980 secs
lola: 51740896 markings, 102887759 edges, 53852 markings/sec, 985 secs
lola: 52001747 markings, 103431403 edges, 52170 markings/sec, 990 secs
lola: 52269797 markings, 103963973 edges, 53610 markings/sec, 995 secs
lola: 52535243 markings, 104468784 edges, 53089 markings/sec, 1000 secs
lola: 52786459 markings, 104983593 edges, 50243 markings/sec, 1005 secs
lola: 53036968 markings, 105490902 edges, 50102 markings/sec, 1010 secs
lola: 53287804 markings, 106009585 edges, 50167 markings/sec, 1015 secs
lola: 53544389 markings, 106506187 edges, 51317 markings/sec, 1020 secs
lola: 53805985 markings, 107044430 edges, 52319 markings/sec, 1025 secs
lola: 54073486 markings, 107561563 edges, 53500 markings/sec, 1030 secs
lola: 54338601 markings, 108095605 edges, 53023 markings/sec, 1035 secs
lola: 54604453 markings, 108635687 edges, 53170 markings/sec, 1040 secs
lola: 54861096 markings, 109159121 edges, 51329 markings/sec, 1045 secs
lola: 55115062 markings, 109673723 edges, 50793 markings/sec, 1050 secs
lola: 55369908 markings, 110179335 edges, 50969 markings/sec, 1055 secs
lola: 55620101 markings, 110688691 edges, 50039 markings/sec, 1060 secs
lola: 55885376 markings, 111205493 edges, 53055 markings/sec, 1065 secs
lola: 56148006 markings, 111729484 edges, 52526 markings/sec, 1070 secs
lola: 56414483 markings, 112272495 edges, 53295 markings/sec, 1075 secs
lola: 56685521 markings, 112787532 edges, 54208 markings/sec, 1080 secs
lola: 56949640 markings, 113323900 edges, 52824 markings/sec, 1085 secs
lola: 57208107 markings, 113834567 edges, 51693 markings/sec, 1090 secs
lola: 57460329 markings, 114357085 edges, 50444 markings/sec, 1095 secs
lola: 57711346 markings, 114861045 edges, 50203 markings/sec, 1100 secs
lola: 57960028 markings, 115370065 edges, 49736 markings/sec, 1105 secs
lola: 58230071 markings, 115868643 edges, 54009 markings/sec, 1110 secs
lola: 58492231 markings, 116402543 edges, 52432 markings/sec, 1115 secs
lola: 58757052 markings, 116946092 edges, 52964 markings/sec, 1120 secs
lola: 59028061 markings, 117457409 edges, 54202 markings/sec, 1125 secs
lola: 59291578 markings, 117994069 edges, 52703 markings/sec, 1130 secs
lola: 59545379 markings, 118509184 edges, 50760 markings/sec, 1135 secs
lola: 59796596 markings, 119017937 edges, 50243 markings/sec, 1140 secs
lola: 60047659 markings, 119540662 edges, 50213 markings/sec, 1145 secs
lola: 60296393 markings, 120051825 edges, 49747 markings/sec, 1150 secs
lola: 60566417 markings, 120547281 edges, 54005 markings/sec, 1155 secs
lola: 60829979 markings, 121090387 edges, 52712 markings/sec, 1160 secs
lola: 61091591 markings, 121629963 edges, 52322 markings/sec, 1165 secs
lola: 61361140 markings, 122150492 edges, 53910 markings/sec, 1170 secs
lola: 61622289 markings, 122665239 edges, 52230 markings/sec, 1175 secs
lola: 61872383 markings, 123182935 edges, 50019 markings/sec, 1180 secs
lola: 62122962 markings, 123689514 edges, 50116 markings/sec, 1185 secs
lola: 62374585 markings, 124197828 edges, 50325 markings/sec, 1190 secs
lola: 62634735 markings, 124679990 edges, 52030 markings/sec, 1195 secs
lola: 62896733 markings, 125222022 edges, 52400 markings/sec, 1200 secs
lola: 63161158 markings, 125751917 edges, 52885 markings/sec, 1205 secs
lola: 63429202 markings, 126262355 edges, 53609 markings/sec, 1210 secs
lola: 63694954 markings, 126806175 edges, 53150 markings/sec, 1215 secs
lola: 63953349 markings, 127319558 edges, 51679 markings/sec, 1220 secs
lola: 64206674 markings, 127831942 edges, 50665 markings/sec, 1225 secs
lola: 64459280 markings, 128341110 edges, 50521 markings/sec, 1230 secs
lola: 64709209 markings, 128841842 edges, 49986 markings/sec, 1235 secs
lola: 64971221 markings, 129352303 edges, 52402 markings/sec, 1240 secs
lola: 65231955 markings, 129888823 edges, 52147 markings/sec, 1245 secs
lola: 65499072 markings, 130423663 edges, 53423 markings/sec, 1250 secs
lola: 65768612 markings, 130944942 edges, 53908 markings/sec, 1255 secs
lola: 66033596 markings, 131483394 edges, 52997 markings/sec, 1260 secs
lola: 66293411 markings, 131997335 edges, 51963 markings/sec, 1265 secs
lola: 66554589 markings, 132488771 edges, 52236 markings/sec, 1270 secs
lola: 66815230 markings, 132963390 edges, 52128 markings/sec, 1275 secs
lola: 67063241 markings, 133481423 edges, 49602 markings/sec, 1280 secs
lola: 67294645 markings, 133953316 edges, 46281 markings/sec, 1285 secs
lola: 67551739 markings, 134459821 edges, 51419 markings/sec, 1290 secs
lola: 67817545 markings, 134965020 edges, 53161 markings/sec, 1295 secs
lola: 68075359 markings, 135487027 edges, 51563 markings/sec, 1300 secs
lola: 68333395 markings, 136013848 edges, 51607 markings/sec, 1305 secs
lola: 68595999 markings, 136508379 edges, 52521 markings/sec, 1310 secs
lola: 68853145 markings, 136964817 edges, 51429 markings/sec, 1315 secs
lola: 69100096 markings, 137470865 edges, 49390 markings/sec, 1320 secs
lola: 69353244 markings, 137968032 edges, 50630 markings/sec, 1325 secs
lola: 69598075 markings, 138471310 edges, 48966 markings/sec, 1330 secs
lola: 69857084 markings, 138994389 edges, 51802 markings/sec, 1335 secs
lola: 70117673 markings, 139506564 edges, 52118 markings/sec, 1340 secs
lola: 70382059 markings, 140023750 edges, 52877 markings/sec, 1345 secs
lola: 70645631 markings, 140564208 edges, 52714 markings/sec, 1350 secs
lola: 70906982 markings, 141075762 edges, 52270 markings/sec, 1355 secs
lola: 71168963 markings, 141532201 edges, 52396 markings/sec, 1360 secs
lola: 71422298 markings, 142045307 edges, 50667 markings/sec, 1365 secs
lola: 71669468 markings, 142560102 edges, 49434 markings/sec, 1370 secs
lola: 71909910 markings, 143087040 edges, 48088 markings/sec, 1375 secs
lola: 72173103 markings, 143609615 edges, 52639 markings/sec, 1380 secs
lola: 72439749 markings, 144116526 edges, 53329 markings/sec, 1385 secs
lola: 72702144 markings, 144660789 edges, 52479 markings/sec, 1390 secs
lola: 72967044 markings, 145197732 edges, 52980 markings/sec, 1395 secs
lola: 73239175 markings, 145699137 edges, 54426 markings/sec, 1400 secs
lola: 73492133 markings, 146231943 edges, 50592 markings/sec, 1405 secs
lola: 73742586 markings, 146744591 edges, 50091 markings/sec, 1410 secs
lola: 73997253 markings, 147257946 edges, 50933 markings/sec, 1415 secs
lola: 74245967 markings, 147768853 edges, 49743 markings/sec, 1420 secs
lola: 74512078 markings, 148288443 edges, 53222 markings/sec, 1425 secs
lola: 74776608 markings, 148798620 edges, 52906 markings/sec, 1430 secs
lola: 75037481 markings, 149336232 edges, 52175 markings/sec, 1435 secs
lola: 75305657 markings, 149869091 edges, 53635 markings/sec, 1440 secs
lola: 75569060 markings, 150374268 edges, 52681 markings/sec, 1445 secs
lola: 75820894 markings, 150896188 edges, 50367 markings/sec, 1450 secs
lola: 76072485 markings, 151405135 edges, 50318 markings/sec, 1455 secs
lola: 76326458 markings, 151917604 edges, 50795 markings/sec, 1460 secs
lola: 76583675 markings, 152425077 edges, 51443 markings/sec, 1465 secs
lola: 76846618 markings, 152964130 edges, 52589 markings/sec, 1470 secs
lola: 77110569 markings, 153505447 edges, 52790 markings/sec, 1475 secs
lola: 77376804 markings, 154041781 edges, 53247 markings/sec, 1480 secs
lola: 77645473 markings, 154559687 edges, 53734 markings/sec, 1485 secs
lola: 77902919 markings, 155070624 edges, 51489 markings/sec, 1490 secs
lola: 78155427 markings, 155581377 edges, 50502 markings/sec, 1495 secs
lola: 78406992 markings, 156090276 edges, 50313 markings/sec, 1500 secs
lola: 78656081 markings, 156590081 edges, 49818 markings/sec, 1505 secs
lola: 78920036 markings, 157089487 edges, 52791 markings/sec, 1510 secs
lola: 79178551 markings, 157622613 edges, 51703 markings/sec, 1515 secs
lola: 79442920 markings, 158154793 edges, 52874 markings/sec, 1520 secs
lola: 79712241 markings, 158668172 edges, 53864 markings/sec, 1525 secs
lola: 79974057 markings, 159203497 edges, 52363 markings/sec, 1530 secs
lola: 80231428 markings, 159722152 edges, 51474 markings/sec, 1535 secs
lola: 80481535 markings, 160232020 edges, 50021 markings/sec, 1540 secs
lola: 80736711 markings, 160732794 edges, 51035 markings/sec, 1545 secs
lola: 80984753 markings, 161239666 edges, 49608 markings/sec, 1550 secs
lola: 81251305 markings, 161741791 edges, 53310 markings/sec, 1555 secs
lola: 81510425 markings, 162283936 edges, 51824 markings/sec, 1560 secs
lola: 81776596 markings, 162813811 edges, 53234 markings/sec, 1565 secs
lola: 82046242 markings, 163332127 edges, 53929 markings/sec, 1570 secs
lola: 82308179 markings, 163875137 edges, 52387 markings/sec, 1575 secs
lola: 82562299 markings, 164389708 edges, 50824 markings/sec, 1580 secs
lola: 82812362 markings, 164897384 edges, 50013 markings/sec, 1585 secs
lola: 83062304 markings, 165419590 edges, 49988 markings/sec, 1590 secs
lola: 83310426 markings, 165930265 edges, 49624 markings/sec, 1595 secs
lola: 83577317 markings, 166418452 edges, 53378 markings/sec, 1600 secs
lola: 83835437 markings, 166937338 edges, 51624 markings/sec, 1605 secs
lola: 84096341 markings, 167466255 edges, 52181 markings/sec, 1610 secs
lola: 84363847 markings, 167983391 edges, 53501 markings/sec, 1615 secs
lola: 84623452 markings, 168501780 edges, 51921 markings/sec, 1620 secs
lola: 84872486 markings, 169001831 edges, 49807 markings/sec, 1625 secs
lola: 85116680 markings, 169494219 edges, 48839 markings/sec, 1630 secs
lola: 85359913 markings, 169998095 edges, 48647 markings/sec, 1635 secs
lola: 85602159 markings, 170493541 edges, 48449 markings/sec, 1640 secs
lola: 85864742 markings, 170980461 edges, 52517 markings/sec, 1645 secs
lola: 86125263 markings, 171507429 edges, 52104 markings/sec, 1650 secs
lola: 86380825 markings, 172031700 edges, 51112 markings/sec, 1655 secs
lola: 86644396 markings, 172537658 edges, 52714 markings/sec, 1660 secs
lola: 86900456 markings, 173055947 edges, 51212 markings/sec, 1665 secs
lola: 87145672 markings, 173546761 edges, 49043 markings/sec, 1670 secs
lola: 87391100 markings, 174041837 edges, 49086 markings/sec, 1675 secs
lola: 87639149 markings, 174558173 edges, 49610 markings/sec, 1680 secs
lola: 87888522 markings, 175049415 edges, 49875 markings/sec, 1685 secs
lola: 88135994 markings, 175577884 edges, 49494 markings/sec, 1690 secs
lola: 88395661 markings, 176100435 edges, 51933 markings/sec, 1695 secs
lola: 88658713 markings, 176609382 edges, 52610 markings/sec, 1700 secs
lola: 88922735 markings, 177141940 edges, 52804 markings/sec, 1705 secs
lola: 89178562 markings, 177652869 edges, 51165 markings/sec, 1710 secs
lola: 89443773 markings, 178083253 edges, 53042 markings/sec, 1715 secs
lola: 89690748 markings, 178589837 edges, 49395 markings/sec, 1720 secs
lola: 89931744 markings, 179100124 edges, 48199 markings/sec, 1725 secs
lola: 90179358 markings, 179598055 edges, 49523 markings/sec, 1730 secs
lola: 90433946 markings, 180093001 edges, 50918 markings/sec, 1735 secs
lola: 90691340 markings, 180613475 edges, 51479 markings/sec, 1740 secs
lola: 90960541 markings, 181131375 edges, 53840 markings/sec, 1745 secs
lola: 91224147 markings, 181663510 edges, 52721 markings/sec, 1750 secs
lola: 91488148 markings, 182199923 edges, 52800 markings/sec, 1755 secs
lola: 91757391 markings, 182641769 edges, 53849 markings/sec, 1760 secs
lola: 92009911 markings, 183151392 edges, 50504 markings/sec, 1765 secs
lola: 92261776 markings, 183670454 edges, 50373 markings/sec, 1770 secs
lola: 92509828 markings, 184201185 edges, 49610 markings/sec, 1775 secs
lola: 92765086 markings, 184694171 edges, 51052 markings/sec, 1780 secs
lola: 93025811 markings, 185228743 edges, 52145 markings/sec, 1785 secs
lola: 93292649 markings, 185737013 edges, 53368 markings/sec, 1790 secs
lola: 93552034 markings, 186277381 edges, 51877 markings/sec, 1795 secs
lola: 93814248 markings, 186812214 edges, 52443 markings/sec, 1800 secs
lola: 94077533 markings, 187269424 edges, 52657 markings/sec, 1805 secs
lola: 94318379 markings, 187779401 edges, 48169 markings/sec, 1810 secs
lola: 94564411 markings, 188305068 edges, 49206 markings/sec, 1815 secs
lola: 94811078 markings, 188803696 edges, 49333 markings/sec, 1820 secs
lola: 95068824 markings, 189327628 edges, 51549 markings/sec, 1825 secs
lola: 95329976 markings, 189862256 edges, 52230 markings/sec, 1830 secs
lola: 95598780 markings, 190381349 edges, 53761 markings/sec, 1835 secs
lola: 95864347 markings, 190909900 edges, 53113 markings/sec, 1840 secs
lola: 96129439 markings, 191443906 edges, 53018 markings/sec, 1845 secs
lola: 96387624 markings, 191935857 edges, 51637 markings/sec, 1850 secs
lola: 96636318 markings, 192449436 edges, 49739 markings/sec, 1855 secs
lola: 96885590 markings, 192950343 edges, 49854 markings/sec, 1860 secs
lola: 97133731 markings, 193458092 edges, 49628 markings/sec, 1865 secs
lola: 97396230 markings, 193980300 edges, 52500 markings/sec, 1870 secs
lola: 97663965 markings, 194496358 edges, 53547 markings/sec, 1875 secs
lola: 97927421 markings, 195035818 edges, 52691 markings/sec, 1880 secs
lola: 98194111 markings, 195573443 edges, 53338 markings/sec, 1885 secs
lola: 98455193 markings, 196105881 edges, 52216 markings/sec, 1890 secs
lola: 98708066 markings, 196619349 edges, 50575 markings/sec, 1895 secs
lola: 98959847 markings, 197126065 edges, 50356 markings/sec, 1900 secs
lola: 99213017 markings, 197642118 edges, 50634 markings/sec, 1905 secs
lola: 99459663 markings, 198145714 edges, 49329 markings/sec, 1910 secs
lola: 99726348 markings, 198643700 edges, 53337 markings/sec, 1915 secs
lola: 99989111 markings, 199171701 edges, 52553 markings/sec, 1920 secs
lola: 100248719 markings, 199704735 edges, 51922 markings/sec, 1925 secs
lola: 100518942 markings, 200219216 edges, 54045 markings/sec, 1930 secs
lola: 100775141 markings, 200730731 edges, 51240 markings/sec, 1935 secs
lola: 101027681 markings, 201238763 edges, 50508 markings/sec, 1940 secs
lola: 101280697 markings, 201747782 edges, 50603 markings/sec, 1945 secs
lola: 101532614 markings, 202273428 edges, 50383 markings/sec, 1950 secs
lola: 101786527 markings, 202772411 edges, 50783 markings/sec, 1955 secs
lola: 102056079 markings, 203292214 edges, 53910 markings/sec, 1960 secs
lola: 102321879 markings, 203824782 edges, 53160 markings/sec, 1965 secs
lola: 102586534 markings, 204359398 edges, 52931 markings/sec, 1970 secs
lola: 102851671 markings, 204876537 edges, 53027 markings/sec, 1975 secs
lola: 103108995 markings, 205390189 edges, 51465 markings/sec, 1980 secs
lola: 103359294 markings, 205909271 edges, 50060 markings/sec, 1985 secs
lola: 103608179 markings, 206412147 edges, 49777 markings/sec, 1990 secs
lola: 103854044 markings, 206907385 edges, 49173 markings/sec, 1995 secs
lola: 104111191 markings, 207388021 edges, 51429 markings/sec, 2000 secs
lola: 104370385 markings, 207927410 edges, 51839 markings/sec, 2005 secs
lola: 104631297 markings, 208454801 edges, 52182 markings/sec, 2010 secs
lola: 104896299 markings, 208955663 edges, 53000 markings/sec, 2015 secs
lola: 105155913 markings, 209502018 edges, 51923 markings/sec, 2020 secs
lola: 105410681 markings, 210006404 edges, 50954 markings/sec, 2025 secs
lola: 105661129 markings, 210512522 edges, 50090 markings/sec, 2030 secs
lola: 105914810 markings, 211020341 edges, 50736 markings/sec, 2035 secs
lola: 106163619 markings, 211521193 edges, 49762 markings/sec, 2040 secs
lola: 106417976 markings, 212008272 edges, 50871 markings/sec, 2045 secs
lola: 106676275 markings, 212531155 edges, 51660 markings/sec, 2050 secs
lola: 106934273 markings, 213057708 edges, 51600 markings/sec, 2055 secs
lola: 107203948 markings, 213577330 edges, 53935 markings/sec, 2060 secs
lola: 107466412 markings, 214109758 edges, 52493 markings/sec, 2065 secs
lola: 107722227 markings, 214616788 edges, 51163 markings/sec, 2070 secs
lola: 107962355 markings, 215125395 edges, 48026 markings/sec, 2075 secs
lola: 108212396 markings, 215608783 edges, 50008 markings/sec, 2080 secs
lola: 108456163 markings, 216105392 edges, 48753 markings/sec, 2085 secs
lola: 108716059 markings, 216607564 edges, 51979 markings/sec, 2090 secs
lola: 108972388 markings, 217134553 edges, 51266 markings/sec, 2095 secs
lola: 109231782 markings, 217651118 edges, 51879 markings/sec, 2100 secs
lola: 109495277 markings, 218159113 edges, 52699 markings/sec, 2105 secs
lola: 109757218 markings, 218691748 edges, 52388 markings/sec, 2110 secs
lola: 110011049 markings, 219193282 edges, 50766 markings/sec, 2115 secs
lola: 110264837 markings, 219677033 edges, 50758 markings/sec, 2120 secs
lola: 110524858 markings, 220138423 edges, 52004 markings/sec, 2125 secs
lola: 110763580 markings, 220641301 edges, 47744 markings/sec, 2130 secs
lola: 111003077 markings, 221139711 edges, 47899 markings/sec, 2135 secs
lola: 111262998 markings, 221646814 edges, 51984 markings/sec, 2140 secs
lola: 111530679 markings, 222147706 edges, 53536 markings/sec, 2145 secs
lola: 111787972 markings, 222673483 edges, 51459 markings/sec, 2150 secs
lola: 112051052 markings, 223207644 edges, 52616 markings/sec, 2155 secs
lola: 112313749 markings, 223708412 edges, 52539 markings/sec, 2160 secs
lola: 112572596 markings, 224166938 edges, 51769 markings/sec, 2165 secs
lola: 112819053 markings, 224666897 edges, 49291 markings/sec, 2170 secs
lola: 113065296 markings, 225149361 edges, 49249 markings/sec, 2175 secs
lola: 113308059 markings, 225646882 edges, 48553 markings/sec, 2180 secs
lola: 113562081 markings, 226159646 edges, 50804 markings/sec, 2185 secs
lola: 113820110 markings, 226684678 edges, 51606 markings/sec, 2190 secs
lola: 114080894 markings, 227186397 edges, 52157 markings/sec, 2195 secs
lola: 114347854 markings, 227725391 edges, 53392 markings/sec, 2200 secs
lola: 114615273 markings, 228262776 edges, 53484 markings/sec, 2205 secs
lola: 114881077 markings, 228712040 edges, 53161 markings/sec, 2210 secs
lola: 115134521 markings, 229230482 edges, 50689 markings/sec, 2215 secs
lola: 115385602 markings, 229755727 edges, 50216 markings/sec, 2220 secs
lola: 115617301 markings, 230255567 edges, 46340 markings/sec, 2225 secs
lola: 115877878 markings, 230779106 edges, 52115 markings/sec, 2230 secs
lola: 116140731 markings, 231293792 edges, 52571 markings/sec, 2235 secs
lola: 116402597 markings, 231824133 edges, 52373 markings/sec, 2240 secs
lola: 116655383 markings, 232330849 edges, 50557 markings/sec, 2245 secs
lola: 116921058 markings, 232848689 edges, 53135 markings/sec, 2250 secs
lola: 117173745 markings, 233339210 edges, 50537 markings/sec, 2255 secs
lola: 117423189 markings, 233863033 edges, 49889 markings/sec, 2260 secs
lola: 117671419 markings, 234372350 edges, 49646 markings/sec, 2265 secs
lola: 117920238 markings, 234881134 edges, 49764 markings/sec, 2270 secs
lola: 118184287 markings, 235393967 edges, 52810 markings/sec, 2275 secs
lola: 118451147 markings, 235903656 edges, 53372 markings/sec, 2280 secs
lola: 118711938 markings, 236438324 edges, 52158 markings/sec, 2285 secs
lola: 118978808 markings, 236974648 edges, 53374 markings/sec, 2290 secs
lola: 119244240 markings, 237489502 edges, 53086 markings/sec, 2295 secs
lola: 119495624 markings, 237998595 edges, 50277 markings/sec, 2300 secs
lola: 119747825 markings, 238501633 edges, 50440 markings/sec, 2305 secs
lola: 119998249 markings, 239019353 edges, 50085 markings/sec, 2310 secs
lola: 120248557 markings, 239523264 edges, 50062 markings/sec, 2315 secs
lola: 120511867 markings, 240048983 edges, 52662 markings/sec, 2320 secs
lola: 120772759 markings, 240583852 edges, 52178 markings/sec, 2325 secs
lola: 121034725 markings, 241114762 edges, 52393 markings/sec, 2330 secs
lola: 121304823 markings, 241641094 edges, 54020 markings/sec, 2335 secs
lola: 121565105 markings, 242154236 edges, 52056 markings/sec, 2340 secs
lola: 121815964 markings, 242673908 edges, 50172 markings/sec, 2345 secs
lola: 122066389 markings, 243180246 edges, 50085 markings/sec, 2350 secs
lola: 122318113 markings, 243690318 edges, 50345 markings/sec, 2355 secs
lola: 122573916 markings, 244191063 edges, 51161 markings/sec, 2360 secs
lola: 122840149 markings, 244701821 edges, 53247 markings/sec, 2365 secs
lola: 123103939 markings, 245233653 edges, 52758 markings/sec, 2370 secs
lola: 123367626 markings, 245761120 edges, 52737 markings/sec, 2375 secs
lola: 123635590 markings, 246281400 edges, 53593 markings/sec, 2380 secs
lola: 123894140 markings, 246802985 edges, 51710 markings/sec, 2385 secs
lola: 124146628 markings, 247311423 edges, 50498 markings/sec, 2390 secs
lola: 124394857 markings, 247832674 edges, 49646 markings/sec, 2395 secs
lola: 124643661 markings, 248332240 edges, 49761 markings/sec, 2400 secs
lola: 124906704 markings, 248809346 edges, 52609 markings/sec, 2405 secs
lola: 125166616 markings, 249350183 edges, 51982 markings/sec, 2410 secs
lola: 125428939 markings, 249880314 edges, 52465 markings/sec, 2415 secs
lola: 125695770 markings, 250383709 edges, 53366 markings/sec, 2420 secs
lola: 125956087 markings, 250933400 edges, 52063 markings/sec, 2425 secs
lola: 126210783 markings, 251448312 edges, 50939 markings/sec, 2430 secs
lola: 126459111 markings, 251955153 edges, 49666 markings/sec, 2435 secs
lola: 126712343 markings, 252451558 edges, 50646 markings/sec, 2440 secs
lola: 126959996 markings, 252957211 edges, 49531 markings/sec, 2445 secs
lola: 127223222 markings, 253456369 edges, 52645 markings/sec, 2450 secs
lola: 127480783 markings, 253994598 edges, 51512 markings/sec, 2455 secs
lola: 127744056 markings, 254522231 edges, 52655 markings/sec, 2460 secs
lola: 128012984 markings, 255038702 edges, 53786 markings/sec, 2465 secs
lola: 128278528 markings, 255575307 edges, 53109 markings/sec, 2470 secs
lola: 128533155 markings, 256093821 edges, 50925 markings/sec, 2475 secs
lola: 128784316 markings, 256607282 edges, 50232 markings/sec, 2480 secs
lola: 129035664 markings, 257132206 edges, 50270 markings/sec, 2485 secs
lola: 129285818 markings, 257639603 edges, 50031 markings/sec, 2490 secs
lola: 129556500 markings, 258128536 edges, 54136 markings/sec, 2495 secs
lola: 129820525 markings, 258658244 edges, 52805 markings/sec, 2500 secs
lola: 130083507 markings, 259190567 edges, 52596 markings/sec, 2505 secs
lola: 130352268 markings, 259717193 edges, 53752 markings/sec, 2510 secs
lola: 130613683 markings, 260239449 edges, 52283 markings/sec, 2515 secs
lola: 130865872 markings, 260746829 edges, 50438 markings/sec, 2520 secs
lola: 131116750 markings, 261254794 edges, 50176 markings/sec, 2525 secs
lola: 131366281 markings, 261775115 edges, 49906 markings/sec, 2530 secs
lola: 131619021 markings, 262269363 edges, 50548 markings/sec, 2535 secs
lola: 131873373 markings, 262812091 edges, 50870 markings/sec, 2540 secs
lola: 132137726 markings, 263342488 edges, 52871 markings/sec, 2545 secs
lola: 132402044 markings, 263857651 edges, 52864 markings/sec, 2550 secs
lola: 132668318 markings, 264393103 edges, 53255 markings/sec, 2555 secs
lola: 132930507 markings, 264917188 edges, 52438 markings/sec, 2560 secs
lola: 133197615 markings, 265364667 edges, 53422 markings/sec, 2565 secs
lola: 133448979 markings, 265873268 edges, 50273 markings/sec, 2570 secs
lola: 133702568 markings, 266377027 edges, 50718 markings/sec, 2575 secs
lola: 133951255 markings, 266883109 edges, 49737 markings/sec, 2580 secs
lola: 134210582 markings, 267408229 edges, 51865 markings/sec, 2585 secs
lola: 134472371 markings, 267937523 edges, 52358 markings/sec, 2590 secs
lola: 134739393 markings, 268455980 edges, 53404 markings/sec, 2595 secs
lola: 135003306 markings, 268984885 edges, 52783 markings/sec, 2600 secs
lola: 135266553 markings, 269514618 edges, 52649 markings/sec, 2605 secs
lola: 135530642 markings, 269950534 edges, 52818 markings/sec, 2610 secs
lola: 135779519 markings, 270469951 edges, 49775 markings/sec, 2615 secs
lola: 136027180 markings, 270980779 edges, 49532 markings/sec, 2620 secs
lola: 136273995 markings, 271487434 edges, 49363 markings/sec, 2625 secs
lola: 136532127 markings, 271993568 edges, 51626 markings/sec, 2630 secs
lola: 136791845 markings, 272519249 edges, 51944 markings/sec, 2635 secs
lola: 137058119 markings, 273039252 edges, 53255 markings/sec, 2640 secs
lola: 137321827 markings, 273579855 edges, 52742 markings/sec, 2645 secs
lola: 137585426 markings, 274120842 edges, 52720 markings/sec, 2650 secs
lola: 137849745 markings, 274578700 edges, 52864 markings/sec, 2655 secs
lola: 138101168 markings, 275094151 edges, 50285 markings/sec, 2660 secs
lola: 138351182 markings, 275612978 edges, 50003 markings/sec, 2665 secs
lola: 138593322 markings, 276146414 edges, 48428 markings/sec, 2670 secs
lola: 138858810 markings, 276671091 edges, 53098 markings/sec, 2675 secs
lola: 139125881 markings, 277176351 edges, 53414 markings/sec, 2680 secs
lola: 139386914 markings, 277716835 edges, 52207 markings/sec, 2685 secs
lola: 139650589 markings, 278250886 edges, 52735 markings/sec, 2690 secs
lola: 139917645 markings, 278748934 edges, 53411 markings/sec, 2695 secs
lola: 140167269 markings, 279267477 edges, 49925 markings/sec, 2700 secs
lola: 140416521 markings, 279771431 edges, 49850 markings/sec, 2705 secs
lola: 140666878 markings, 280286804 edges, 50071 markings/sec, 2710 secs
lola: 140914080 markings, 280795913 edges, 49440 markings/sec, 2715 secs
lola: 141176786 markings, 281304511 edges, 52541 markings/sec, 2720 secs
lola: 141442164 markings, 281813218 edges, 53076 markings/sec, 2725 secs
lola: 141701370 markings, 282345791 edges, 51841 markings/sec, 2730 secs
lola: 141969077 markings, 282883202 edges, 53541 markings/sec, 2735 secs
lola: 142226847 markings, 283408711 edges, 51554 markings/sec, 2740 secs
lola: 142476394 markings, 283918793 edges, 49909 markings/sec, 2745 secs
lola: 142725909 markings, 284423690 edges, 49903 markings/sec, 2750 secs
lola: 142975541 markings, 284942163 edges, 49926 markings/sec, 2755 secs
lola: 143231462 markings, 285436010 edges, 51184 markings/sec, 2760 secs
lola: 143498960 markings, 285947972 edges, 53500 markings/sec, 2765 secs
lola: 143761589 markings, 286484483 edges, 52526 markings/sec, 2770 secs
lola: 144024507 markings, 287012537 edges, 52584 markings/sec, 2775 secs
lola: 144294224 markings, 287529482 edges, 53943 markings/sec, 2780 secs
lola: 144551871 markings, 288048466 edges, 51529 markings/sec, 2785 secs
lola: 144803748 markings, 288566809 edges, 50375 markings/sec, 2790 secs
lola: 145053288 markings, 289076100 edges, 49908 markings/sec, 2795 secs
lola: 145303229 markings, 289576504 edges, 49988 markings/sec, 2800 secs
lola: 145564472 markings, 290059746 edges, 52249 markings/sec, 2805 secs
lola: 145824852 markings, 290594189 edges, 52076 markings/sec, 2810 secs
lola: 146088371 markings, 291126302 edges, 52704 markings/sec, 2815 secs
lola: 146356898 markings, 291632083 edges, 53705 markings/sec, 2820 secs
lola: 146622328 markings, 292180211 edges, 53086 markings/sec, 2825 secs
lola: 146881163 markings, 292693837 edges, 51767 markings/sec, 2830 secs
lola: 147135029 markings, 293206592 edges, 50773 markings/sec, 2835 secs
lola: 147388218 markings, 293720041 edges, 50638 markings/sec, 2840 secs
lola: 147639151 markings, 294222526 edges, 50187 markings/sec, 2845 secs
lola: 147902473 markings, 294724863 edges, 52664 markings/sec, 2850 secs
lola: 148161420 markings, 295279719 edges, 51789 markings/sec, 2855 secs
lola: 148428387 markings, 295809661 edges, 53393 markings/sec, 2860 secs
lola: 148697527 markings, 296330485 edges, 53828 markings/sec, 2865 secs
lola: 148962362 markings, 296869514 edges, 52967 markings/sec, 2870 secs
lola: 149216621 markings, 297387883 edges, 50852 markings/sec, 2875 secs
lola: 149467460 markings, 297900274 edges, 50168 markings/sec, 2880 secs
lola: 149718281 markings, 298423029 edges, 50164 markings/sec, 2885 secs
lola: 149967943 markings, 298927719 edges, 49932 markings/sec, 2890 secs
lola: 150238401 markings, 299420614 edges, 54092 markings/sec, 2895 secs
lola: 150504332 markings, 299951824 edges, 53186 markings/sec, 2900 secs
lola: 150769260 markings, 300487963 edges, 52986 markings/sec, 2905 secs
lola: 151041634 markings, 301017265 edges, 54475 markings/sec, 2910 secs
lola: 151305591 markings, 301544840 edges, 52791 markings/sec, 2915 secs
lola: 151559290 markings, 302055732 edges, 50740 markings/sec, 2920 secs
lola: 151812064 markings, 302568368 edges, 50555 markings/sec, 2925 secs
lola: 152063908 markings, 303094408 edges, 50369 markings/sec, 2930 secs
lola: 152321128 markings, 303585984 edges, 51444 markings/sec, 2935 secs
lola: 152588687 markings, 304117211 edges, 53512 markings/sec, 2940 secs
lola: 152854683 markings, 304653232 edges, 53199 markings/sec, 2945 secs
lola: 153121581 markings, 305176421 edges, 53380 markings/sec, 2950 secs
lola: 153391735 markings, 305715851 edges, 54031 markings/sec, 2955 secs
lola: 153651701 markings, 306239741 edges, 51993 markings/sec, 2960 secs
lola: 153903647 markings, 306749865 edges, 50389 markings/sec, 2965 secs
lola: 154176168 markings, 307186693 edges, 54504 markings/sec, 2970 secs
lola: 154421003 markings, 307720217 edges, 48967 markings/sec, 2975 secs
lola: 154668294 markings, 308218950 edges, 49458 markings/sec, 2980 secs
lola: 154935485 markings, 308746733 edges, 53438 markings/sec, 2985 secs
lola: 155202393 markings, 309273658 edges, 53382 markings/sec, 2990 secs
lola: 155468901 markings, 309799295 edges, 53302 markings/sec, 2995 secs
lola: 155735328 markings, 310335219 edges, 53285 markings/sec, 3000 secs
lola: 155998983 markings, 310857657 edges, 52731 markings/sec, 3005 secs
lola: 156262285 markings, 311297965 edges, 52660 markings/sec, 3010 secs
lola: 156515149 markings, 311807375 edges, 50573 markings/sec, 3015 secs
lola: 156766531 markings, 312320297 edges, 50276 markings/sec, 3020 secs
lola: 157016162 markings, 312821486 edges, 49926 markings/sec, 3025 secs
lola: 157274059 markings, 313346838 edges, 51579 markings/sec, 3030 secs
lola: 157535502 markings, 313880614 edges, 52289 markings/sec, 3035 secs
lola: 157803209 markings, 314391614 edges, 53541 markings/sec, 3040 secs
lola: 158066674 markings, 314926445 edges, 52693 markings/sec, 3045 secs
lola: 158329266 markings, 315457998 edges, 52518 markings/sec, 3050 secs
lola: 158594080 markings, 315892491 edges, 52963 markings/sec, 3055 secs
lola: 158843298 markings, 316415887 edges, 49844 markings/sec, 3060 secs
lola: 159091096 markings, 316936677 edges, 49560 markings/sec, 3065 secs
lola: 159335748 markings, 317451224 edges, 48930 markings/sec, 3070 secs
lola: 159594689 markings, 317976649 edges, 51788 markings/sec, 3075 secs
lola: 159856760 markings, 318490728 edges, 52414 markings/sec, 3080 secs
lola: 160121138 markings, 319019767 edges, 52876 markings/sec, 3085 secs
lola: 160385603 markings, 319551988 edges, 52893 markings/sec, 3090 secs
lola: 160649702 markings, 320063219 edges, 52820 markings/sec, 3095 secs
lola: 160904475 markings, 320565115 edges, 50955 markings/sec, 3100 secs
lola: 161152887 markings, 321085944 edges, 49682 markings/sec, 3105 secs
lola: 161399618 markings, 321593348 edges, 49346 markings/sec, 3110 secs
lola: 161649321 markings, 322103892 edges, 49941 markings/sec, 3115 secs
lola: 161912867 markings, 322612491 edges, 52709 markings/sec, 3120 secs
lola: 162179161 markings, 323122652 edges, 53259 markings/sec, 3125 secs
lola: 162439643 markings, 323656497 edges, 52096 markings/sec, 3130 secs
lola: 162705574 markings, 324188301 edges, 53186 markings/sec, 3135 secs
lola: 162969531 markings, 324700617 edges, 52791 markings/sec, 3140 secs
lola: 163220393 markings, 325207550 edges, 50172 markings/sec, 3145 secs
lola: 163471205 markings, 325709001 edges, 50162 markings/sec, 3150 secs
lola: 163720749 markings, 326225020 edges, 49909 markings/sec, 3155 secs
lola: 163969311 markings, 326726990 edges, 49712 markings/sec, 3160 secs
lola: 164232185 markings, 327249338 edges, 52575 markings/sec, 3165 secs
lola: 164492278 markings, 327783622 edges, 52019 markings/sec, 3170 secs
lola: 164753480 markings, 328313406 edges, 52240 markings/sec, 3175 secs
lola: 165024651 markings, 328838807 edges, 54234 markings/sec, 3180 secs
lola: 165286490 markings, 329357298 edges, 52368 markings/sec, 3185 secs
lola: 165538310 markings, 329879218 edges, 50364 markings/sec, 3190 secs
lola: 165789595 markings, 330387548 edges, 50257 markings/sec, 3195 secs
lola: 166041823 markings, 330898362 edges, 50446 markings/sec, 3200 secs
lola: 166284635 markings, 331374062 edges, 48562 markings/sec, 3205 secs
lola: 166541281 markings, 331867600 edges, 51329 markings/sec, 3210 secs
lola: 166804051 markings, 332395976 edges, 52554 markings/sec, 3215 secs
lola: 167066366 markings, 332926582 edges, 52463 markings/sec, 3220 secs
lola: 167336302 markings, 333447687 edges, 53987 markings/sec, 3225 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 unknown 1 1 1 1 1 1 1 1 1 1
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: 1 1 1 1 1 unknown 1 1 1 1 1 1 1 1 1 1
lola:
preliminary result: 1 1 1 1 1 unknown 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 8384872 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 unknown 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 8384872 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-03a"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is ASLink-PT-03a, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r166-smll-158987787100045"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-03a.tgz
mv ASLink-PT-03a execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;