About the Execution of ITS-LoLa for ASLink-PT-01b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15750.160 | 3600000.00 | 3610605.00 | 11023.10 | 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-158987787100021.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-01b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-158987787100021
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 468K
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 09:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K 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 3.3K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K 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 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 09:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 08:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 08:56 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 293K 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-01b-UpperBounds-00
FORMULA_NAME ASLink-PT-01b-UpperBounds-01
FORMULA_NAME ASLink-PT-01b-UpperBounds-02
FORMULA_NAME ASLink-PT-01b-UpperBounds-03
FORMULA_NAME ASLink-PT-01b-UpperBounds-04
FORMULA_NAME ASLink-PT-01b-UpperBounds-05
FORMULA_NAME ASLink-PT-01b-UpperBounds-06
FORMULA_NAME ASLink-PT-01b-UpperBounds-07
FORMULA_NAME ASLink-PT-01b-UpperBounds-08
FORMULA_NAME ASLink-PT-01b-UpperBounds-09
FORMULA_NAME ASLink-PT-01b-UpperBounds-10
FORMULA_NAME ASLink-PT-01b-UpperBounds-11
FORMULA_NAME ASLink-PT-01b-UpperBounds-12
FORMULA_NAME ASLink-PT-01b-UpperBounds-13
FORMULA_NAME ASLink-PT-01b-UpperBounds-14
FORMULA_NAME ASLink-PT-01b-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1591138795660
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-02 22:59:58] [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-02 22:59:58] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-02 22:59:59] [INFO ] Load time of PNML (sax parser for PT used): 257 ms
[2020-06-02 22:59:59] [INFO ] Transformed 846 places.
[2020-06-02 22:59:59] [INFO ] Transformed 1148 transitions.
[2020-06-02 22:59:59] [INFO ] Found NUPN structural information;
[2020-06-02 22:59:59] [INFO ] Parsed PT model containing 846 places and 1148 transitions in 359 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 80 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
[2020-06-02 22:59:59] [INFO ] Flatten gal took : 307 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 1148 rows 846 cols
[2020-06-02 23:00:00] [INFO ] Computed 82 place invariants in 159 ms
Support contains 16 out of 846 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 846/846 places, 1148/1148 transitions.
Performed 180 Post agglomeration using F-continuation condition.Transition count delta: 180
Iterating post reduction 0 with 180 rules applied. Total rules applied 180 place count 846 transition count 968
Reduce places removed 180 places and 0 transitions.
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 1 with 190 rules applied. Total rules applied 370 place count 666 transition count 958
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 373 place count 663 transition count 958
Performed 188 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 188 Pre rules applied. Total rules applied 373 place count 663 transition count 770
Deduced a syphon composed of 188 places in 2 ms
Ensure Unique test removed 13 places
Reduce places removed 201 places and 0 transitions.
Iterating global reduction 3 with 389 rules applied. Total rules applied 762 place count 462 transition count 770
Discarding 2 places :
Implicit places reduction removed 2 places
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Iterating post reduction 3 with 12 rules applied. Total rules applied 774 place count 460 transition count 760
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 4 with 10 rules applied. Total rules applied 784 place count 450 transition count 760
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 4 Pre rules applied. Total rules applied 784 place count 450 transition count 756
Deduced a syphon composed of 4 places in 9 ms
Ensure Unique test removed 2 places
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 5 with 10 rules applied. Total rules applied 794 place count 444 transition count 756
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 5 with 1 rules applied. Total rules applied 795 place count 443 transition count 756
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 3 Pre rules applied. Total rules applied 795 place count 443 transition count 753
Deduced a syphon composed of 3 places in 5 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 6 with 6 rules applied. Total rules applied 801 place count 440 transition count 753
Symmetric choice reduction at 6 with 25 rule applications. Total rules 826 place count 440 transition count 753
Deduced a syphon composed of 25 places in 5 ms
Reduce places removed 25 places and 25 transitions.
Iterating global reduction 6 with 50 rules applied. Total rules applied 876 place count 415 transition count 728
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 877 place count 415 transition count 727
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 10 Pre rules applied. Total rules applied 877 place count 415 transition count 717
Deduced a syphon composed of 10 places in 4 ms
Ensure Unique test removed 1 places
Reduce places removed 11 places and 0 transitions.
Iterating global reduction 7 with 21 rules applied. Total rules applied 898 place count 404 transition count 717
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 1 Pre rules applied. Total rules applied 898 place count 404 transition count 716
Deduced a syphon composed of 1 places in 3 ms
Ensure Unique test removed 1 places
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 7 with 3 rules applied. Total rules applied 901 place count 402 transition count 716
Symmetric choice reduction at 7 with 2 rule applications. Total rules 903 place count 402 transition count 716
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 15 transitions.
Iterating global reduction 7 with 4 rules applied. Total rules applied 907 place count 400 transition count 701
Symmetric choice reduction at 7 with 1 rule applications. Total rules 908 place count 400 transition count 701
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 910 place count 399 transition count 693
Symmetric choice reduction at 7 with 1 rule applications. Total rules 911 place count 399 transition count 693
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 913 place count 398 transition count 685
Symmetric choice reduction at 7 with 1 rule applications. Total rules 914 place count 398 transition count 685
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 916 place count 397 transition count 677
Symmetric choice reduction at 7 with 1 rule applications. Total rules 917 place count 397 transition count 677
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 919 place count 396 transition count 669
Symmetric choice reduction at 7 with 1 rule applications. Total rules 920 place count 396 transition count 669
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 922 place count 395 transition count 661
Symmetric choice reduction at 7 with 1 rule applications. Total rules 923 place count 395 transition count 661
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 925 place count 394 transition count 653
Symmetric choice reduction at 7 with 1 rule applications. Total rules 926 place count 394 transition count 653
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 928 place count 393 transition count 645
Performed 40 Post agglomeration using F-continuation condition.Transition count delta: 40
Deduced a syphon composed of 40 places in 1 ms
Reduce places removed 40 places and 0 transitions.
Iterating global reduction 7 with 80 rules applied. Total rules applied 1008 place count 353 transition count 605
Symmetric choice reduction at 7 with 1 rule applications. Total rules 1009 place count 353 transition count 605
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 1011 place count 352 transition count 604
Ensure Unique test removed 1 places
Iterating post reduction 7 with 1 rules applied. Total rules applied 1012 place count 351 transition count 604
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1013 place count 351 transition count 604
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 8 with 2 rules applied. Total rules applied 1015 place count 350 transition count 603
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 8 with 2 rules applied. Total rules applied 1017 place count 350 transition count 601
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 9 with 1 rules applied. Total rules applied 1018 place count 349 transition count 601
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 10 with 2 rules applied. Total rules applied 1020 place count 348 transition count 610
Free-agglomeration rule applied 2 times.
Iterating global reduction 10 with 2 rules applied. Total rules applied 1022 place count 348 transition count 608
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 10 with 2 rules applied. Total rules applied 1024 place count 346 transition count 608
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 11 with 2 rules applied. Total rules applied 1026 place count 346 transition count 606
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 11 with 2 rules applied. Total rules applied 1028 place count 344 transition count 606
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 12 with 1 rules applied. Total rules applied 1029 place count 344 transition count 606
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 12 with 1 rules applied. Total rules applied 1030 place count 343 transition count 605
Reduce places removed 2 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 12 with 3 rules applied. Total rules applied 1033 place count 341 transition count 604
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 13 with 1 rules applied. Total rules applied 1034 place count 340 transition count 604
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 14 with 2 Pre rules applied. Total rules applied 1034 place count 340 transition count 602
Deduced a syphon composed of 2 places in 2 ms
Ensure Unique test removed 1 places
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 14 with 5 rules applied. Total rules applied 1039 place count 337 transition count 602
Discarding 2 places :
Implicit places reduction removed 2 places
Iterating post reduction 14 with 2 rules applied. Total rules applied 1041 place count 335 transition count 602
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 15 with 1 Pre rules applied. Total rules applied 1041 place count 335 transition count 601
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 15 with 2 rules applied. Total rules applied 1043 place count 334 transition count 601
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 15 with 6 rules applied. Total rules applied 1049 place count 331 transition count 598
Symmetric choice reduction at 15 with 1 rule applications. Total rules 1050 place count 331 transition count 598
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 15 with 2 rules applied. Total rules applied 1052 place count 330 transition count 597
Free-agglomeration rule applied 1 times.
Iterating global reduction 15 with 1 rules applied. Total rules applied 1053 place count 330 transition count 596
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 15 with 1 rules applied. Total rules applied 1054 place count 329 transition count 596
Applied a total of 1054 rules in 705 ms. Remains 329 /846 variables (removed 517) and now considering 596/1148 (removed 552) transitions.
Finished structural reductions, in 1 iterations. Remains : 329/846 places, 596/1148 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 596 rows 329 cols
[2020-06-02 23:00:00] [INFO ] Computed 56 place invariants in 28 ms
Support contains 16 out of 329 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 329/329 places, 596/596 transitions.
Applied a total of 0 rules in 17 ms. Remains 329 /329 variables (removed 0) and now considering 596/596 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 329/329 places, 596/596 transitions.
Starting structural reductions, iteration 0 : 329/329 places, 596/596 transitions.
Applied a total of 0 rules in 16 ms. Remains 329 /329 variables (removed 0) and now considering 596/596 (removed 0) transitions.
// Phase 1: matrix 596 rows 329 cols
[2020-06-02 23:00:01] [INFO ] Computed 56 place invariants in 25 ms
[2020-06-02 23:00:01] [INFO ] Implicit Places using invariants in 881 ms returned [1, 18, 19, 33, 50, 69, 150, 161, 162, 163, 191, 193, 197, 215, 216, 217, 218, 232, 238, 244, 250, 256, 262, 268, 275, 281, 287, 293]
Discarding 28 places :
Implicit Place search using SMT only with invariants took 884 ms to find 28 implicit places.
[2020-06-02 23:00:01] [INFO ] Redundant transitions in 45 ms returned []
// Phase 1: matrix 596 rows 301 cols
[2020-06-02 23:00:01] [INFO ] Computed 28 place invariants in 12 ms
[2020-06-02 23:00:03] [INFO ] Dead Transitions using invariants and state equation in 1535 ms returned []
Starting structural reductions, iteration 1 : 301/329 places, 596/596 transitions.
Performed 41 Post agglomeration using F-continuation condition.Transition count delta: 41
Iterating post reduction 0 with 41 rules applied. Total rules applied 41 place count 301 transition count 555
Reduce places removed 41 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 42 rules applied. Total rules applied 83 place count 260 transition count 554
Performed 11 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 11 Pre rules applied. Total rules applied 83 place count 260 transition count 543
Deduced a syphon composed of 11 places in 3 ms
Ensure Unique test removed 1 places
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 2 with 23 rules applied. Total rules applied 106 place count 248 transition count 543
Discarding 4 places :
Implicit places reduction removed 4 places
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Iterating post reduction 2 with 12 rules applied. Total rules applied 118 place count 244 transition count 535
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 3 with 8 rules applied. Total rules applied 126 place count 236 transition count 535
Symmetric choice reduction at 4 with 12 rule applications. Total rules 138 place count 236 transition count 535
Deduced a syphon composed of 12 places in 1 ms
Reduce places removed 12 places and 12 transitions.
Iterating global reduction 4 with 24 rules applied. Total rules applied 162 place count 224 transition count 523
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 165 place count 224 transition count 520
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1 Pre rules applied. Total rules applied 165 place count 224 transition count 519
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 167 place count 223 transition count 519
Symmetric choice reduction at 5 with 1 rule applications. Total rules 168 place count 223 transition count 519
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 2 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 170 place count 222 transition count 517
Performed 17 Post agglomeration using F-continuation condition.Transition count delta: 17
Deduced a syphon composed of 17 places in 1 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 5 with 34 rules applied. Total rules applied 204 place count 205 transition count 500
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 206 place count 204 transition count 500
Free-agglomeration rule (complex) applied 9 times.
Iterating global reduction 5 with 9 rules applied. Total rules applied 215 place count 204 transition count 491
Ensure Unique test removed 1 places
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 5 with 10 rules applied. Total rules applied 225 place count 194 transition count 491
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 6 with 2 rules applied. Total rules applied 227 place count 194 transition count 491
Applied a total of 227 rules in 111 ms. Remains 194 /301 variables (removed 107) and now considering 491/596 (removed 105) transitions.
// Phase 1: matrix 491 rows 194 cols
[2020-06-02 23:00:03] [INFO ] Computed 22 place invariants in 10 ms
[2020-06-02 23:00:04] [INFO ] Implicit Places using invariants in 467 ms returned [104, 106, 110, 113]
Discarding 4 places :
Implicit Place search using SMT only with invariants took 471 ms to find 4 implicit places.
Starting structural reductions, iteration 2 : 190/329 places, 491/596 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 189 transition count 490
Free-agglomeration rule applied 2 times.
Iterating global reduction 0 with 2 rules applied. Total rules applied 4 place count 189 transition count 488
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 6 place count 187 transition count 488
Partial Post-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 1 with 2 rules applied. Total rules applied 8 place count 187 transition count 488
Applied a total of 8 rules in 68 ms. Remains 187 /190 variables (removed 3) and now considering 488/491 (removed 3) transitions.
// Phase 1: matrix 488 rows 187 cols
[2020-06-02 23:00:04] [INFO ] Computed 18 place invariants in 11 ms
[2020-06-02 23:00:04] [INFO ] Implicit Places using invariants in 334 ms returned []
// Phase 1: matrix 488 rows 187 cols
[2020-06-02 23:00:04] [INFO ] Computed 18 place invariants in 5 ms
[2020-06-02 23:00:04] [INFO ] State equation strengthened by 1 read => feed constraints.
[2020-06-02 23:00:06] [INFO ] Implicit Places using invariants and state equation in 1579 ms returned []
Implicit Place search using SMT with State Equation took 1919 ms to find 0 implicit places.
Finished structural reductions, in 3 iterations. Remains : 187/329 places, 488/596 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 488 rows 187 cols
[2020-06-02 23:00:06] [INFO ] Computed 18 place invariants in 8 ms
Support contains 16 out of 187 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 187/187 places, 488/488 transitions.
Applied a total of 0 rules in 13 ms. Remains 187 /187 variables (removed 0) and now considering 488/488 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 187/187 places, 488/488 transitions.
Starting structural reductions, iteration 0 : 187/187 places, 488/488 transitions.
Applied a total of 0 rules in 12 ms. Remains 187 /187 variables (removed 0) and now considering 488/488 (removed 0) transitions.
// Phase 1: matrix 488 rows 187 cols
[2020-06-02 23:00:06] [INFO ] Computed 18 place invariants in 8 ms
[2020-06-02 23:00:06] [INFO ] Implicit Places using invariants in 417 ms returned []
// Phase 1: matrix 488 rows 187 cols
[2020-06-02 23:00:06] [INFO ] Computed 18 place invariants in 8 ms
[2020-06-02 23:00:07] [INFO ] State equation strengthened by 1 read => feed constraints.
[2020-06-02 23:00:08] [INFO ] Implicit Places using invariants and state equation in 1884 ms returned []
Implicit Place search using SMT with State Equation took 2302 ms to find 0 implicit places.
[2020-06-02 23:00:08] [INFO ] Redundant transitions in 11 ms returned []
// Phase 1: matrix 488 rows 187 cols
[2020-06-02 23:00:08] [INFO ] Computed 18 place invariants in 5 ms
[2020-06-02 23:00:09] [INFO ] Dead Transitions using invariants and state equation in 825 ms returned []
Finished structural reductions, in 1 iterations. Remains : 187/187 places, 488/488 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Applied a total of 0 rules in 11 ms. Remains 187 /187 variables (removed 0) and now considering 488/488 (removed 0) transitions.
// Phase 1: matrix 488 rows 187 cols
[2020-06-02 23:00:09] [INFO ] Computed 18 place invariants in 7 ms
[2020-06-02 23:00:09] [INFO ] Export to MCC properties in file /home/mcc/execution/UpperBounds.sr.xml took 3 ms.
[2020-06-02 23:00:09] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 14 ms.
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ ASLink-PT-01b @ 3570 seconds
FORMULA ASLink-PT-01b-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-01b-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-01b-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-01b-UpperBounds-05 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-01b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-01b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-01b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-01b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-01b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-01b-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-01b
{
"exit":
{
"memory": 8682672,
"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(p95)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"preliminary_value": "1 unknown unknown 1 1 1 unknown unknown unknown unknown 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: 675/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 5984
lola: finding significant places
lola: 187 places, 488 transitions, 169 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(p175) : MAX(p95) : MAX(p106) : MAX(p102) : MAX(p54) : MAX(p82) : MAX(p24) : MAX(p99) : MAX(p124) : MAX(p97) : MAX(p180) : MAX(p179) : MAX(p167) : MAX(p55) : MAX(p168) : MAX(p22)
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(p175)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p175)
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 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p95)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p95)
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: 4294967295
lola: 470180 markings, 552076 edges, 94036 markings/sec, 0 secs
lola: 937443 markings, 1100932 edges, 93453 markings/sec, 5 secs
lola: 1403497 markings, 1648299 edges, 93211 markings/sec, 10 secs
lola: 1867576 markings, 2193376 edges, 92816 markings/sec, 15 secs
lola: 2332074 markings, 2739006 edges, 92900 markings/sec, 20 secs
lola: 2797263 markings, 3285406 edges, 93038 markings/sec, 25 secs
lola: 3261967 markings, 3831159 edges, 92941 markings/sec, 30 secs
lola: 3726916 markings, 4377284 edges, 92990 markings/sec, 35 secs
lola: 4190991 markings, 4922343 edges, 92815 markings/sec, 40 secs
lola: 4655083 markings, 5467466 edges, 92818 markings/sec, 45 secs
lola: 5118649 markings, 6011933 edges, 92713 markings/sec, 50 secs
lola: 5581305 markings, 6555364 edges, 92531 markings/sec, 55 secs
lola: 6043639 markings, 7098408 edges, 92467 markings/sec, 60 secs
lola: 6507687 markings, 7643462 edges, 92810 markings/sec, 65 secs
lola: 6971589 markings, 8188359 edges, 92780 markings/sec, 70 secs
lola: 7434856 markings, 8732436 edges, 92653 markings/sec, 75 secs
lola: 7897661 markings, 9276079 edges, 92561 markings/sec, 80 secs
lola: 8359542 markings, 9818541 edges, 92376 markings/sec, 85 secs
lola: 8820564 markings, 10360041 edges, 92204 markings/sec, 90 secs
lola: 9280440 markings, 10900188 edges, 91975 markings/sec, 95 secs
lola: 9743328 markings, 11443847 edges, 92578 markings/sec, 100 secs
lola: 10205212 markings, 11986369 edges, 92377 markings/sec, 105 secs
lola: 10666734 markings, 12528464 edges, 92304 markings/sec, 110 secs
lola: 11127448 markings, 13069579 edges, 92143 markings/sec, 115 secs
lola: 11587920 markings, 13610407 edges, 92094 markings/sec, 120 secs
lola: 12048298 markings, 14151176 edges, 92076 markings/sec, 125 secs
lola: 12509795 markings, 14693216 edges, 92299 markings/sec, 130 secs
lola: 12972793 markings, 15237046 edges, 92600 markings/sec, 135 secs
lola: 13433626 markings, 15778317 edges, 92167 markings/sec, 140 secs
lola: 13894658 markings, 16319811 edges, 92206 markings/sec, 145 secs
lola: 14356609 markings, 16862423 edges, 92390 markings/sec, 150 secs
lola: 14818756 markings, 17405241 edges, 92429 markings/sec, 155 secs
lola: 15281115 markings, 17948317 edges, 92472 markings/sec, 160 secs
lola: 15741370 markings, 18488854 edges, 92051 markings/sec, 165 secs
lola: 16201727 markings, 19029578 edges, 92071 markings/sec, 170 secs
lola: 16661167 markings, 19569198 edges, 91888 markings/sec, 175 secs
lola: 17120289 markings, 20108477 edges, 91824 markings/sec, 180 secs
lola: 17579926 markings, 20648321 edges, 91927 markings/sec, 185 secs
lola: 18035834 markings, 21183835 edges, 91182 markings/sec, 190 secs
lola: 18493254 markings, 21721136 edges, 91484 markings/sec, 195 secs
lola: 18954733 markings, 22263103 edges, 92296 markings/sec, 200 secs
lola: 19415362 markings, 22804151 edges, 92126 markings/sec, 205 secs
lola: 19875955 markings, 23345154 edges, 92119 markings/sec, 210 secs
lola: 20334690 markings, 23883962 edges, 91747 markings/sec, 215 secs
lola: 20794563 markings, 24424106 edges, 91975 markings/sec, 220 secs
lola: 21253112 markings, 24962674 edges, 91710 markings/sec, 225 secs
lola: 21712940 markings, 25502816 edges, 91966 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1137104 KB
lola: time consumption: 240 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 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p106)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p106)
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: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 400201 markings, 493277 edges, 80040 markings/sec, 30 secs
lola: 797333 markings, 982934 edges, 79426 markings/sec, 35 secs
lola: 1193606 markings, 1471527 edges, 79255 markings/sec, 40 secs
lola: 1588397 markings, 1958267 edges, 78958 markings/sec, 45 secs
lola: 1983357 markings, 2445177 edges, 78992 markings/sec, 50 secs
lola: 2378101 markings, 2931869 edges, 78949 markings/sec, 55 secs
lola: 2772645 markings, 3418358 edges, 78909 markings/sec, 60 secs
lola: 3166592 markings, 3904110 edges, 78789 markings/sec, 65 secs
lola: 3560585 markings, 4389802 edges, 78799 markings/sec, 70 secs
lola: 3953234 markings, 4873905 edges, 78530 markings/sec, 75 secs
lola: 4346805 markings, 5359247 edges, 78714 markings/sec, 80 secs
lola: 4740596 markings, 5844663 edges, 78758 markings/sec, 85 secs
lola: 5134592 markings, 6330455 edges, 78799 markings/sec, 90 secs
lola: 5527497 markings, 6814817 edges, 78581 markings/sec, 95 secs
lola: 5921029 markings, 7300094 edges, 78706 markings/sec, 100 secs
lola: 6313650 markings, 7784168 edges, 78524 markings/sec, 105 secs
lola: 6705680 markings, 8267455 edges, 78406 markings/sec, 110 secs
lola: 7097952 markings, 8751068 edges, 78454 markings/sec, 115 secs
lola: 7490768 markings, 9235403 edges, 78563 markings/sec, 120 secs
lola: 7883254 markings, 9719291 edges, 78497 markings/sec, 125 secs
lola: 8274370 markings, 10201580 edges, 78223 markings/sec, 130 secs
lola: 8664775 markings, 10682918 edges, 78081 markings/sec, 135 secs
lola: 9056697 markings, 11166073 edges, 78384 markings/sec, 140 secs
lola: 9450443 markings, 11651617 edges, 78749 markings/sec, 145 secs
lola: 9843551 markings, 12136201 edges, 78622 markings/sec, 150 secs
lola: 10236642 markings, 12620849 edges, 78618 markings/sec, 155 secs
lola: 10628921 markings, 13104468 edges, 78456 markings/sec, 160 secs
lola: 11021020 markings, 13587975 edges, 78420 markings/sec, 165 secs
lola: 11413825 markings, 14072235 edges, 78561 markings/sec, 170 secs
lola: 11806472 markings, 14556323 edges, 78529 markings/sec, 175 secs
lola: 12198104 markings, 15039244 edges, 78326 markings/sec, 180 secs
lola: 12590503 markings, 15523032 edges, 78480 markings/sec, 185 secs
lola: 12981702 markings, 16005349 edges, 78240 markings/sec, 190 secs
lola: 13372675 markings, 16487305 edges, 78195 markings/sec, 195 secs
lola: 13765832 markings, 16972072 edges, 78631 markings/sec, 200 secs
lola: 14158541 markings, 17456250 edges, 78542 markings/sec, 205 secs
lola: 14550484 markings, 17939446 edges, 78389 markings/sec, 210 secs
lola: 14942694 markings, 18423048 edges, 78442 markings/sec, 215 secs
lola: 15333818 markings, 18905244 edges, 78225 markings/sec, 220 secs
lola: 15725594 markings, 19388315 edges, 78355 markings/sec, 225 secs
lola: 16117691 markings, 19871809 edges, 78419 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1137476 KB
lola: time consumption: 477 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 3 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p102)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p102)
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 4 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p54)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p54)
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: 14 markings, 13 edges
lola: ========================================
lola: subprocess 5 will run for 281 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p82)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p82)
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: 77 markings, 76 edges
lola: ========================================
lola: subprocess 6 will run for 309 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p24)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 288523 markings, 455194 edges, 57705 markings/sec, 30 secs
lola: 576354 markings, 907827 edges, 57566 markings/sec, 35 secs
lola: 863109 markings, 1361033 edges, 57351 markings/sec, 40 secs
lola: 1149394 markings, 1813031 edges, 57257 markings/sec, 45 secs
lola: 1435613 markings, 2264610 edges, 57244 markings/sec, 50 secs
lola: 1721456 markings, 2715034 edges, 57169 markings/sec, 55 secs
lola: 2006615 markings, 3165100 edges, 57032 markings/sec, 60 secs
lola: 2291686 markings, 3615482 edges, 57014 markings/sec, 65 secs
lola: 2576924 markings, 4064663 edges, 57048 markings/sec, 70 secs
lola: 2861274 markings, 4513525 edges, 56870 markings/sec, 75 secs
lola: 3146088 markings, 4963035 edges, 56963 markings/sec, 80 secs
lola: 3430490 markings, 5411666 edges, 56880 markings/sec, 85 secs
lola: 3714507 markings, 5860196 edges, 56803 markings/sec, 90 secs
lola: 3998576 markings, 6306932 edges, 56814 markings/sec, 95 secs
lola: 4281791 markings, 6755218 edges, 56643 markings/sec, 100 secs
lola: 4566222 markings, 7203908 edges, 56886 markings/sec, 105 secs
lola: 4850603 markings, 7651764 edges, 56876 markings/sec, 110 secs
lola: 5134511 markings, 8100121 edges, 56782 markings/sec, 115 secs
lola: 5418432 markings, 8547698 edges, 56784 markings/sec, 120 secs
lola: 5701965 markings, 8995014 edges, 56707 markings/sec, 125 secs
lola: 5986079 markings, 9444444 edges, 56823 markings/sec, 130 secs
lola: 6270608 markings, 9891776 edges, 56906 markings/sec, 135 secs
lola: 6553247 markings, 10338235 edges, 56528 markings/sec, 140 secs
lola: 6836529 markings, 10785023 edges, 56656 markings/sec, 145 secs
lola: 7119944 markings, 11232166 edges, 56683 markings/sec, 150 secs
lola: 7403621 markings, 11680707 edges, 56735 markings/sec, 155 secs
lola: 7687653 markings, 12127673 edges, 56806 markings/sec, 160 secs
lola: 7970747 markings, 12574859 edges, 56619 markings/sec, 165 secs
lola: 8254116 markings, 13021296 edges, 56674 markings/sec, 170 secs
lola: 8537017 markings, 13468263 edges, 56580 markings/sec, 175 secs
lola: 8820375 markings, 13915766 edges, 56672 markings/sec, 180 secs
lola: 9103856 markings, 14362396 edges, 56696 markings/sec, 185 secs
lola: 9386878 markings, 14809572 edges, 56604 markings/sec, 190 secs
lola: 9670350 markings, 15255435 edges, 56694 markings/sec, 195 secs
lola: 9953095 markings, 15702447 edges, 56549 markings/sec, 200 secs
lola: 10236145 markings, 16148846 edges, 56610 markings/sec, 205 secs
lola: 10519245 markings, 16595257 edges, 56620 markings/sec, 210 secs
lola: 10801525 markings, 17041350 edges, 56456 markings/sec, 215 secs
lola: 11084444 markings, 17487209 edges, 56584 markings/sec, 220 secs
lola: 11365950 markings, 17932271 edges, 56301 markings/sec, 225 secs
lola: 11649391 markings, 18378092 edges, 56688 markings/sec, 230 secs
lola: 11933042 markings, 18825938 edges, 56730 markings/sec, 235 secs
lola: 12216453 markings, 19272928 edges, 56682 markings/sec, 240 secs
lola: 12500067 markings, 19720394 edges, 56723 markings/sec, 245 secs
lola: 12783023 markings, 20167473 edges, 56591 markings/sec, 250 secs
lola: 13066212 markings, 20613730 edges, 56638 markings/sec, 255 secs
lola: 13349250 markings, 21060725 edges, 56608 markings/sec, 260 secs
lola: 13632015 markings, 21505754 edges, 56553 markings/sec, 265 secs
lola: 13914718 markings, 21952627 edges, 56541 markings/sec, 270 secs
lola: 14197186 markings, 22397872 edges, 56494 markings/sec, 275 secs
lola: 14479836 markings, 22844204 edges, 56530 markings/sec, 280 secs
lola: 14763169 markings, 23291623 edges, 56667 markings/sec, 285 secs
lola: 15046396 markings, 23737962 edges, 56645 markings/sec, 290 secs
lola: 15329103 markings, 24184664 edges, 56541 markings/sec, 295 secs
lola: 15611903 markings, 24629647 edges, 56560 markings/sec, 300 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 836512 KB
lola: time consumption: 786 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 7 will run for 309 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p99)
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: 4294967295
lola: 483101 markings, 744181 edges, 96620 markings/sec, 0 secs
lola: 966778 markings, 1489823 edges, 96735 markings/sec, 5 secs
lola: 1467630 markings, 2261906 edges, 100170 markings/sec, 10 secs
lola: 1966193 markings, 3030366 edges, 99713 markings/sec, 15 secs
lola: 2462913 markings, 3796127 edges, 99344 markings/sec, 20 secs
lola: 2961289 markings, 4564319 edges, 99675 markings/sec, 25 secs
lola: 3457652 markings, 5329518 edges, 99273 markings/sec, 30 secs
lola: 3953095 markings, 6093297 edges, 99089 markings/sec, 35 secs
lola: 4446218 markings, 6853435 edges, 98625 markings/sec, 40 secs
lola: 4937205 markings, 7610245 edges, 98197 markings/sec, 45 secs
lola: 5431439 markings, 8372142 edges, 98847 markings/sec, 50 secs
lola: 5923438 markings, 9130578 edges, 98400 markings/sec, 55 secs
lola: 6416066 markings, 9890018 edges, 98526 markings/sec, 60 secs
lola: 6908238 markings, 10648743 edges, 98434 markings/sec, 65 secs
lola: 7398721 markings, 11404706 edges, 98097 markings/sec, 70 secs
lola: 7892418 markings, 12165760 edges, 98739 markings/sec, 75 secs
lola: 8382190 markings, 12920770 edges, 97954 markings/sec, 80 secs
lola: 8870874 markings, 13674078 edges, 97737 markings/sec, 85 secs
lola: 9359651 markings, 14427563 edges, 97755 markings/sec, 90 secs
lola: 9847707 markings, 15179882 edges, 97611 markings/sec, 95 secs
lola: 10318771 markings, 15906056 edges, 94213 markings/sec, 100 secs
lola: 10810849 markings, 16664625 edges, 98416 markings/sec, 105 secs
lola: 11301326 markings, 17420700 edges, 98095 markings/sec, 110 secs
lola: 11790517 markings, 18174804 edges, 97838 markings/sec, 115 secs
lola: 12278477 markings, 18926972 edges, 97592 markings/sec, 120 secs
lola: 12767498 markings, 19680820 edges, 97804 markings/sec, 125 secs
lola: 13253697 markings, 20430290 edges, 97240 markings/sec, 130 secs
lola: 13740124 markings, 21180113 edges, 97285 markings/sec, 135 secs
lola: 14226922 markings, 21930519 edges, 97360 markings/sec, 140 secs
lola: 14712867 markings, 22679588 edges, 97189 markings/sec, 145 secs
lola: 15200441 markings, 23431170 edges, 97515 markings/sec, 150 secs
lola: 15689084 markings, 24184435 edges, 97729 markings/sec, 155 secs
lola: 16175965 markings, 24934995 edges, 97376 markings/sec, 160 secs
lola: 16662208 markings, 25684640 edges, 97249 markings/sec, 165 secs
lola: 17146853 markings, 26431665 edges, 96929 markings/sec, 170 secs
lola: 17631585 markings, 27178894 edges, 96946 markings/sec, 175 secs
lola: 18118694 markings, 27929738 edges, 97422 markings/sec, 180 secs
lola: 18604472 markings, 28678563 edges, 97156 markings/sec, 185 secs
lola: 19089680 markings, 29426497 edges, 97042 markings/sec, 190 secs
lola: 19574862 markings, 30174537 edges, 97036 markings/sec, 195 secs
lola: 20060215 markings, 30922686 edges, 97071 markings/sec, 200 secs
lola: 20550074 markings, 31677799 edges, 97972 markings/sec, 205 secs
lola: 21039302 markings, 32431973 edges, 97846 markings/sec, 210 secs
lola: 21526736 markings, 33183341 edges, 97487 markings/sec, 215 secs
lola: 22013447 markings, 33933594 edges, 97342 markings/sec, 220 secs
lola: 22499049 markings, 34682147 edges, 97120 markings/sec, 225 secs
lola: 22986462 markings, 35433492 edges, 97483 markings/sec, 230 secs
lola: 23472005 markings, 36181951 edges, 97109 markings/sec, 235 secs
lola: 23956385 markings, 36928593 edges, 96876 markings/sec, 240 secs
lola: 24440308 markings, 37674674 edges, 96785 markings/sec, 245 secs
lola: 24923146 markings, 38418930 edges, 96568 markings/sec, 250 secs
lola: 25411263 markings, 39171365 edges, 97623 markings/sec, 255 secs
lola: 25896689 markings, 39919649 edges, 97085 markings/sec, 260 secs
lola: 26376010 markings, 40658583 edges, 95864 markings/sec, 265 secs
lola: 26854984 markings, 41396874 edges, 95795 markings/sec, 270 secs
lola: 27335636 markings, 42137842 edges, 96130 markings/sec, 275 secs
lola: 27812569 markings, 42873020 edges, 95387 markings/sec, 280 secs
lola: 28289437 markings, 43608128 edges, 95374 markings/sec, 285 secs
lola: 28754879 markings, 44325588 edges, 93088 markings/sec, 290 secs
lola: 29219641 markings, 45042029 edges, 92952 markings/sec, 295 secs
lola: 29692949 markings, 45771650 edges, 94662 markings/sec, 300 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1369040 KB
lola: time consumption: 1095 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 8 will run for 309 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p124)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p124)
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: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 29 markings, 28 edges, 6 markings/sec, 25 secs
lola: 305720 markings, 425584 edges, 61138 markings/sec, 30 secs
lola: 612089 markings, 852635 edges, 61274 markings/sec, 35 secs
lola: 917578 markings, 1278432 edges, 61098 markings/sec, 40 secs
lola: 1221528 markings, 1702259 edges, 60790 markings/sec, 45 secs
lola: 1523487 markings, 2122923 edges, 60392 markings/sec, 50 secs
lola: 1825437 markings, 2543739 edges, 60390 markings/sec, 55 secs
lola: 2128987 markings, 2967174 edges, 60710 markings/sec, 60 secs
lola: 2420084 markings, 3372450 edges, 58219 markings/sec, 65 secs
lola: 2722832 markings, 3794504 edges, 60550 markings/sec, 70 secs
lola: 3026007 markings, 4217518 edges, 60635 markings/sec, 75 secs
lola: 3330174 markings, 4641420 edges, 60833 markings/sec, 80 secs
lola: 3633064 markings, 5063347 edges, 60578 markings/sec, 85 secs
lola: 3938088 markings, 5488523 edges, 61005 markings/sec, 90 secs
lola: 4243496 markings, 5914443 edges, 61082 markings/sec, 95 secs
lola: 4548007 markings, 6339049 edges, 60902 markings/sec, 100 secs
lola: 4851650 markings, 6761676 edges, 60729 markings/sec, 105 secs
lola: 5155453 markings, 7185413 edges, 60761 markings/sec, 110 secs
lola: 5457420 markings, 7606623 edges, 60393 markings/sec, 115 secs
lola: 5758334 markings, 8025655 edges, 60183 markings/sec, 120 secs
lola: 6062634 markings, 8449795 edges, 60860 markings/sec, 125 secs
lola: 6367058 markings, 8874385 edges, 60885 markings/sec, 130 secs
lola: 6671513 markings, 9298905 edges, 60891 markings/sec, 135 secs
lola: 6976616 markings, 9723641 edges, 61021 markings/sec, 140 secs
lola: 7279255 markings, 10145489 edges, 60528 markings/sec, 145 secs
lola: 7570867 markings, 10552323 edges, 58322 markings/sec, 150 secs
lola: 7872549 markings, 10972427 edges, 60336 markings/sec, 155 secs
lola: 8170064 markings, 11387603 edges, 59503 markings/sec, 160 secs
lola: 8465835 markings, 11799878 edges, 59154 markings/sec, 165 secs
lola: 8764273 markings, 12215704 edges, 59688 markings/sec, 170 secs
lola: 9064955 markings, 12634421 edges, 60136 markings/sec, 175 secs
lola: 9368935 markings, 13058265 edges, 60796 markings/sec, 180 secs
lola: 9669903 markings, 13478147 edges, 60194 markings/sec, 185 secs
lola: 9970012 markings, 13896092 edges, 60022 markings/sec, 190 secs
lola: 10272161 markings, 14317620 edges, 60430 markings/sec, 195 secs
lola: 10571031 markings, 14733922 edges, 59774 markings/sec, 200 secs
lola: 10869942 markings, 15150579 edges, 59782 markings/sec, 205 secs
lola: 11169935 markings, 15568991 edges, 59999 markings/sec, 210 secs
lola: 11472616 markings, 15990437 edges, 60536 markings/sec, 215 secs
lola: 11771424 markings, 16407359 edges, 59762 markings/sec, 220 secs
lola: 12069472 markings, 16822664 edges, 59610 markings/sec, 225 secs
lola: 12371718 markings, 17243814 edges, 60449 markings/sec, 230 secs
lola: 12674428 markings, 17665693 edges, 60542 markings/sec, 235 secs
lola: 12975397 markings, 18085500 edges, 60194 markings/sec, 240 secs
lola: 13274300 markings, 18501814 edges, 59781 markings/sec, 245 secs
lola: 13574143 markings, 18919530 edges, 59969 markings/sec, 250 secs
lola: 13875092 markings, 19339337 edges, 60190 markings/sec, 255 secs
lola: 14178373 markings, 19762281 edges, 60656 markings/sec, 260 secs
lola: 14475880 markings, 20176921 edges, 59501 markings/sec, 265 secs
lola: 14778003 markings, 20597549 edges, 60425 markings/sec, 270 secs
lola: 15078867 markings, 21017177 edges, 60173 markings/sec, 275 secs
lola: 15381349 markings, 21438693 edges, 60496 markings/sec, 280 secs
lola: 15683474 markings, 21859723 edges, 60425 markings/sec, 285 secs
lola: 15985389 markings, 22280983 edges, 60383 markings/sec, 290 secs
lola: 16287215 markings, 22701266 edges, 60365 markings/sec, 295 secs
lola: 16588059 markings, 23121078 edges, 60169 markings/sec, 300 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 955156 KB
lola: time consumption: 1404 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 9 will run for 309 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p97)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p97)
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: 4294967295
lola: 418593 markings, 651699 edges, 83719 markings/sec, 0 secs
lola: 835791 markings, 1301853 edges, 83440 markings/sec, 5 secs
lola: 1252190 markings, 1950797 edges, 83280 markings/sec, 10 secs
lola: 1667407 markings, 2597888 edges, 83043 markings/sec, 15 secs
lola: 2085072 markings, 3248867 edges, 83533 markings/sec, 20 secs
lola: 2501817 markings, 3898313 edges, 83349 markings/sec, 25 secs
lola: 2910771 markings, 4535675 edges, 81791 markings/sec, 30 secs
lola: 3327357 markings, 5184842 edges, 83317 markings/sec, 35 secs
lola: 3743178 markings, 5832911 edges, 83164 markings/sec, 40 secs
lola: 4160317 markings, 6482995 edges, 83428 markings/sec, 45 secs
lola: 4576115 markings, 7130966 edges, 83160 markings/sec, 50 secs
lola: 4991731 markings, 7778686 edges, 83123 markings/sec, 55 secs
lola: 5406544 markings, 8425172 edges, 82963 markings/sec, 60 secs
lola: 5821894 markings, 9072532 edges, 83070 markings/sec, 65 secs
lola: 6236857 markings, 9719201 edges, 82993 markings/sec, 70 secs
lola: 6650808 markings, 10364300 edges, 82790 markings/sec, 75 secs
lola: 7065194 markings, 11010134 edges, 82877 markings/sec, 80 secs
lola: 7480494 markings, 11657328 edges, 83060 markings/sec, 85 secs
lola: 7898630 markings, 12308960 edges, 83627 markings/sec, 90 secs
lola: 8313245 markings, 12955122 edges, 82923 markings/sec, 95 secs
lola: 8727458 markings, 13600726 edges, 82843 markings/sec, 100 secs
lola: 9141182 markings, 14245471 edges, 82745 markings/sec, 105 secs
lola: 9554560 markings, 14889652 edges, 82676 markings/sec, 110 secs
lola: 9968303 markings, 15534467 edges, 82749 markings/sec, 115 secs
lola: 10380540 markings, 16176940 edges, 82447 markings/sec, 120 secs
lola: 10793503 markings, 16820474 edges, 82593 markings/sec, 125 secs
lola: 11206113 markings, 17463591 edges, 82522 markings/sec, 130 secs
lola: 11619887 markings, 18108441 edges, 82755 markings/sec, 135 secs
lola: 12033152 markings, 18752438 edges, 82653 markings/sec, 140 secs
lola: 12447864 markings, 19398829 edges, 82942 markings/sec, 145 secs
lola: 12862569 markings, 20045046 edges, 82941 markings/sec, 150 secs
lola: 13277465 markings, 20691654 edges, 82979 markings/sec, 155 secs
lola: 13692958 markings, 21339205 edges, 83099 markings/sec, 160 secs
lola: 14107596 markings, 21985365 edges, 82928 markings/sec, 165 secs
lola: 14522252 markings, 22631671 edges, 82931 markings/sec, 170 secs
lola: 14934478 markings, 23274028 edges, 82445 markings/sec, 175 secs
lola: 15347575 markings, 23917865 edges, 82619 markings/sec, 180 secs
lola: 15760531 markings, 24561393 edges, 82591 markings/sec, 185 secs
lola: 16172982 markings, 25204208 edges, 82490 markings/sec, 190 secs
lola: 16585281 markings, 25846747 edges, 82460 markings/sec, 195 secs
lola: 16996695 markings, 26487883 edges, 82283 markings/sec, 200 secs
lola: 17409157 markings, 27130719 edges, 82492 markings/sec, 205 secs
lola: 17820980 markings, 27772557 edges, 82365 markings/sec, 210 secs
lola: 18232888 markings, 28414484 edges, 82382 markings/sec, 215 secs
lola: 18644011 markings, 29055159 edges, 82225 markings/sec, 220 secs
lola: 19055613 markings, 29696649 edges, 82320 markings/sec, 225 secs
lola: 19467679 markings, 30338809 edges, 82413 markings/sec, 230 secs
lola: 19878564 markings, 30979194 edges, 82177 markings/sec, 235 secs
lola: 20289752 markings, 31619994 edges, 82238 markings/sec, 240 secs
lola: 20699303 markings, 32258295 edges, 81910 markings/sec, 245 secs
lola: 21111085 markings, 32900010 edges, 82356 markings/sec, 250 secs
lola: 21521623 markings, 33539823 edges, 82108 markings/sec, 255 secs
lola: 21932320 markings, 34179824 edges, 82139 markings/sec, 260 secs
lola: 22342338 markings, 34818837 edges, 82004 markings/sec, 265 secs
lola: 22752006 markings, 35457313 edges, 81934 markings/sec, 270 secs
lola: 23164415 markings, 36100007 edges, 82482 markings/sec, 275 secs
lola: 23575487 markings, 36740694 edges, 82214 markings/sec, 280 secs
lola: 23986603 markings, 37381381 edges, 82223 markings/sec, 285 secs
lola: 24397513 markings, 38021782 edges, 82182 markings/sec, 290 secs
lola: 24808508 markings, 38662241 edges, 82199 markings/sec, 295 secs
lola: 25218785 markings, 39301660 edges, 82055 markings/sec, 300 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1167672 KB
lola: time consumption: 1713 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 10 will run for 309 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p180)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p180)
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: 44 markings, 43 edges
lola: ========================================
lola: subprocess 11 will run for 371 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p179)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p179)
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: 79 markings, 78 edges
lola: ========================================
lola: subprocess 12 will run for 464 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p167)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p167)
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: 9 markings, 8 edges
lola: ========================================
lola: subprocess 13 will run for 619 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p55)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p55)
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 14 will run for 928 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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 44 markings, 43 edges
lola: ========================================
lola: subprocess 15 will run for 1857 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p22)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p22)
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: ========================================
lola: ...considering subproblem: MAX(p95)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p95)
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: 4294967295
lola: 450135 markings, 528548 edges, 90027 markings/sec, 0 secs
lola: 919738 markings, 1080128 edges, 93921 markings/sec, 5 secs
lola: 1387715 markings, 1629801 edges, 93595 markings/sec, 10 secs
lola: 1855535 markings, 2179233 edges, 93564 markings/sec, 15 secs
lola: 2321896 markings, 2727023 edges, 93272 markings/sec, 20 secs
lola: 2789065 markings, 3275710 edges, 93434 markings/sec, 25 secs
lola: 3255433 markings, 3823514 edges, 93274 markings/sec, 30 secs
lola: 3721660 markings, 4371121 edges, 93245 markings/sec, 35 secs
lola: 4187371 markings, 4918137 edges, 93142 markings/sec, 40 secs
lola: 4652384 markings, 5464320 edges, 93003 markings/sec, 45 secs
lola: 5117677 markings, 6010833 edges, 93059 markings/sec, 50 secs
lola: 5582026 markings, 6556214 edges, 92870 markings/sec, 55 secs
lola: 6045064 markings, 7100063 edges, 92608 markings/sec, 60 secs
lola: 6509180 markings, 7645217 edges, 92823 markings/sec, 65 secs
lola: 6973122 markings, 8190158 edges, 92788 markings/sec, 70 secs
lola: 7436586 markings, 8734493 edges, 92693 markings/sec, 75 secs
lola: 7900146 markings, 9278942 edges, 92712 markings/sec, 80 secs
lola: 8363357 markings, 9823026 edges, 92642 markings/sec, 85 secs
lola: 8826090 markings, 10366498 edges, 92547 markings/sec, 90 secs
lola: 9288035 markings, 10909103 edges, 92389 markings/sec, 95 secs
lola: 9751629 markings, 11453628 edges, 92719 markings/sec, 100 secs
lola: 10214659 markings, 11997459 edges, 92606 markings/sec, 105 secs
lola: 10676887 markings, 12540357 edges, 92446 markings/sec, 110 secs
lola: 11139415 markings, 13083638 edges, 92506 markings/sec, 115 secs
lola: 11601221 markings, 13626047 edges, 92361 markings/sec, 120 secs
lola: 12062755 markings, 14168155 edges, 92307 markings/sec, 125 secs
lola: 12525691 markings, 14711894 edges, 92587 markings/sec, 130 secs
lola: 12988538 markings, 15255514 edges, 92569 markings/sec, 135 secs
lola: 13450468 markings, 15798078 edges, 92386 markings/sec, 140 secs
lola: 13912440 markings, 16340709 edges, 92394 markings/sec, 145 secs
lola: 14374899 markings, 16883882 edges, 92492 markings/sec, 150 secs
lola: 14836506 markings, 17426071 edges, 92321 markings/sec, 155 secs
lola: 15297426 markings, 17967452 edges, 92184 markings/sec, 160 secs
lola: 15759375 markings, 18510003 edges, 92390 markings/sec, 165 secs
lola: 16221322 markings, 19052586 edges, 92389 markings/sec, 170 secs
lola: 16682676 markings, 19594474 edges, 92271 markings/sec, 175 secs
lola: 17143670 markings, 20135969 edges, 92199 markings/sec, 180 secs
lola: 17604580 markings, 20677321 edges, 92182 markings/sec, 185 secs
lola: 18064096 markings, 21217051 edges, 91903 markings/sec, 190 secs
lola: 18525010 markings, 21758404 edges, 92183 markings/sec, 195 secs
lola: 18987215 markings, 22301301 edges, 92441 markings/sec, 200 secs
lola: 19448647 markings, 22843229 edges, 92286 markings/sec, 205 secs
lola: 19909529 markings, 23384560 edges, 92176 markings/sec, 210 secs
lola: 20370284 markings, 23925735 edges, 92151 markings/sec, 215 secs
lola: 20830971 markings, 24466842 edges, 92137 markings/sec, 220 secs
lola: 21291094 markings, 25007343 edges, 92025 markings/sec, 225 secs
lola: 21751860 markings, 25548508 edges, 92153 markings/sec, 230 secs
lola: 22212624 markings, 26089701 edges, 92153 markings/sec, 235 secs
lola: 22672081 markings, 26629376 edges, 91891 markings/sec, 240 secs
lola: 23131930 markings, 27169442 edges, 91970 markings/sec, 245 secs
lola: 23591973 markings, 27709825 edges, 92009 markings/sec, 250 secs
lola: 24051422 markings, 28249485 edges, 91890 markings/sec, 255 secs
lola: 24510534 markings, 28788698 edges, 91822 markings/sec, 260 secs
lola: 24971749 markings, 29330427 edges, 92243 markings/sec, 265 secs
lola: 25433100 markings, 29872274 edges, 92270 markings/sec, 270 secs
lola: 25893818 markings, 30413413 edges, 92144 markings/sec, 275 secs
lola: 26354503 markings, 30954523 edges, 92137 markings/sec, 280 secs
lola: 26814478 markings, 31494804 edges, 91995 markings/sec, 285 secs
lola: 27274718 markings, 32035351 edges, 92048 markings/sec, 290 secs
lola: 27734550 markings, 32575453 edges, 91966 markings/sec, 295 secs
lola: 28195110 markings, 33116387 edges, 92112 markings/sec, 300 secs
lola: 28655055 markings, 33656681 edges, 91989 markings/sec, 305 secs
lola: 29113565 markings, 34195163 edges, 91702 markings/sec, 310 secs
lola: 29573177 markings, 34735022 edges, 91922 markings/sec, 315 secs
lola: 30031759 markings, 35273657 edges, 91716 markings/sec, 320 secs
lola: 30489085 markings, 35810827 edges, 91465 markings/sec, 325 secs
lola: 30947919 markings, 36349701 edges, 91767 markings/sec, 330 secs
lola: 31408307 markings, 36890474 edges, 92078 markings/sec, 335 secs
lola: 31870197 markings, 37433027 edges, 92378 markings/sec, 340 secs
lola: 32330628 markings, 37973790 edges, 92086 markings/sec, 345 secs
lola: 32790392 markings, 38513829 edges, 91953 markings/sec, 350 secs
lola: 33249457 markings, 39053020 edges, 91813 markings/sec, 355 secs
lola: 33707186 markings, 39590639 edges, 91546 markings/sec, 360 secs
lola: 34166704 markings, 40130390 edges, 91904 markings/sec, 365 secs
lola: 34625642 markings, 40669387 edges, 91788 markings/sec, 370 secs
lola: 35084035 markings, 41207812 edges, 91679 markings/sec, 375 secs
lola: 35542435 markings, 41746197 edges, 91680 markings/sec, 380 secs
lola: 35999630 markings, 42283225 edges, 91439 markings/sec, 385 secs
lola: 36457278 markings, 42820780 edges, 91530 markings/sec, 390 secs
lola: 36915317 markings, 43358742 edges, 91608 markings/sec, 395 secs
lola: 37376195 markings, 43900062 edges, 92176 markings/sec, 400 secs
lola: 37835993 markings, 44440092 edges, 91960 markings/sec, 405 secs
lola: 38294756 markings, 44978962 edges, 91753 markings/sec, 410 secs
lola: 38753749 markings, 45518108 edges, 91799 markings/sec, 415 secs
lola: 39212375 markings, 46056727 edges, 91725 markings/sec, 420 secs
lola: 39670470 markings, 46594794 edges, 91619 markings/sec, 425 secs
lola: 40128649 markings, 47132999 edges, 91636 markings/sec, 430 secs
lola: 40587346 markings, 47671693 edges, 91739 markings/sec, 435 secs
lola: 41046127 markings, 48210584 edges, 91756 markings/sec, 440 secs
lola: 41504306 markings, 48748715 edges, 91636 markings/sec, 445 secs
lola: 41962403 markings, 49286773 edges, 91619 markings/sec, 450 secs
lola: 42419005 markings, 49823121 edges, 91320 markings/sec, 455 secs
lola: 42874001 markings, 50357549 edges, 90999 markings/sec, 460 secs
lola: 43332589 markings, 50896118 edges, 91718 markings/sec, 465 secs
lola: 43791760 markings, 51435445 edges, 91834 markings/sec, 470 secs
lola: 44250851 markings, 51974690 edges, 91818 markings/sec, 475 secs
lola: 44708736 markings, 52512492 edges, 91577 markings/sec, 480 secs
lola: 45165931 markings, 53049517 edges, 91439 markings/sec, 485 secs
lola: 45623503 markings, 53586951 edges, 91514 markings/sec, 490 secs
lola: 46080355 markings, 54123544 edges, 91370 markings/sec, 495 secs
lola: 46539254 markings, 54662562 edges, 91780 markings/sec, 500 secs
lola: 46996646 markings, 55199744 edges, 91478 markings/sec, 505 secs
lola: 47453429 markings, 55736299 edges, 91357 markings/sec, 510 secs
lola: 47911418 markings, 56274242 edges, 91598 markings/sec, 515 secs
lola: 48368556 markings, 56811117 edges, 91428 markings/sec, 520 secs
lola: 48825610 markings, 57347993 edges, 91411 markings/sec, 525 secs
lola: 49283651 markings, 57885968 edges, 91608 markings/sec, 530 secs
lola: 49745542 markings, 58428524 edges, 92378 markings/sec, 535 secs
lola: 50206076 markings, 58969410 edges, 92107 markings/sec, 540 secs
lola: 50665700 markings, 59509291 edges, 91925 markings/sec, 545 secs
lola: 51126145 markings, 60050066 edges, 92089 markings/sec, 550 secs
lola: 51584657 markings, 60588617 edges, 91702 markings/sec, 555 secs
lola: 52043606 markings, 61127712 edges, 91790 markings/sec, 560 secs
lola: 52502814 markings, 61667055 edges, 91842 markings/sec, 565 secs
lola: 52962494 markings, 62206960 edges, 91936 markings/sec, 570 secs
lola: 53421646 markings, 62746279 edges, 91830 markings/sec, 575 secs
lola: 53879734 markings, 63284298 edges, 91618 markings/sec, 580 secs
lola: 54338882 markings, 63823597 edges, 91830 markings/sec, 585 secs
lola: 54796940 markings, 64361597 edges, 91612 markings/sec, 590 secs
lola: 55254605 markings, 64899154 edges, 91533 markings/sec, 595 secs
lola: 55714393 markings, 65439172 edges, 91958 markings/sec, 600 secs
lola: 56173563 markings, 65978491 edges, 91834 markings/sec, 605 secs
lola: 56632804 markings, 66517898 edges, 91848 markings/sec, 610 secs
lola: 57092519 markings, 67057872 edges, 91943 markings/sec, 615 secs
lola: 57551777 markings, 67597278 edges, 91852 markings/sec, 620 secs
lola: 58010313 markings, 68135879 edges, 91707 markings/sec, 625 secs
lola: 58468785 markings, 68674343 edges, 91694 markings/sec, 630 secs
lola: 58928983 markings, 69214900 edges, 92040 markings/sec, 635 secs
lola: 59386955 markings, 69752801 edges, 91594 markings/sec, 640 secs
lola: 59843701 markings, 70289251 edges, 91349 markings/sec, 645 secs
lola: 60301815 markings, 70827362 edges, 91623 markings/sec, 650 secs
lola: 60759958 markings, 71365502 edges, 91629 markings/sec, 655 secs
lola: 61217613 markings, 71903022 edges, 91531 markings/sec, 660 secs
lola: 61676867 markings, 72442445 edges, 91851 markings/sec, 665 secs
lola: 62138086 markings, 72984154 edges, 92244 markings/sec, 670 secs
lola: 62597647 markings, 73523918 edges, 91912 markings/sec, 675 secs
lola: 63057230 markings, 74063700 edges, 91917 markings/sec, 680 secs
lola: 63516599 markings, 74603255 edges, 91874 markings/sec, 685 secs
lola: 63974262 markings, 75140804 edges, 91533 markings/sec, 690 secs
lola: 64430270 markings, 75676433 edges, 91202 markings/sec, 695 secs
lola: 64887851 markings, 76213895 edges, 91516 markings/sec, 700 secs
lola: 65345126 markings, 76750980 edges, 91455 markings/sec, 705 secs
lola: 65802499 markings, 77288164 edges, 91475 markings/sec, 710 secs
lola: 66258910 markings, 77824239 edges, 91282 markings/sec, 715 secs
lola: 66715510 markings, 78360554 edges, 91320 markings/sec, 720 secs
lola: 67170421 markings, 78894882 edges, 90982 markings/sec, 725 secs
lola: 67625650 markings, 79429582 edges, 91046 markings/sec, 730 secs
lola: 68085967 markings, 79970244 edges, 92063 markings/sec, 735 secs
lola: 68544869 markings, 80509210 edges, 91780 markings/sec, 740 secs
lola: 69003520 markings, 81047968 edges, 91730 markings/sec, 745 secs
lola: 69460105 markings, 81584228 edges, 91317 markings/sec, 750 secs
lola: 69917612 markings, 82121618 edges, 91501 markings/sec, 755 secs
lola: 70374835 markings, 82658608 edges, 91445 markings/sec, 760 secs
lola: 70831785 markings, 83195349 edges, 91390 markings/sec, 765 secs
lola: 71290131 markings, 83733659 edges, 91669 markings/sec, 770 secs
lola: 71745996 markings, 84269128 edges, 91173 markings/sec, 775 secs
lola: 72202575 markings, 84805386 edges, 91316 markings/sec, 780 secs
lola: 72658308 markings, 85340720 edges, 91147 markings/sec, 785 secs
lola: 73113288 markings, 85875092 edges, 90996 markings/sec, 790 secs
lola: 73567626 markings, 86408727 edges, 90868 markings/sec, 795 secs
lola: 74026146 markings, 86947274 edges, 91704 markings/sec, 800 secs
lola: 74486777 markings, 87488314 edges, 92126 markings/sec, 805 secs
lola: 74946828 markings, 88028643 edges, 92010 markings/sec, 810 secs
lola: 75406408 markings, 88568463 edges, 91916 markings/sec, 815 secs
lola: 75866068 markings, 89108380 edges, 91932 markings/sec, 820 secs
lola: 76324624 markings, 89646926 edges, 91711 markings/sec, 825 secs
lola: 76782349 markings, 90184544 edges, 91545 markings/sec, 830 secs
lola: 77240744 markings, 90723000 edges, 91679 markings/sec, 835 secs
lola: 77697750 markings, 91259746 edges, 91401 markings/sec, 840 secs
lola: 78154527 markings, 91796255 edges, 91355 markings/sec, 845 secs
lola: 78610879 markings, 92332265 edges, 91270 markings/sec, 850 secs
lola: 79068070 markings, 92869263 edges, 91438 markings/sec, 855 secs
lola: 79522446 markings, 93402990 edges, 90875 markings/sec, 860 secs
lola: 79977281 markings, 93937212 edges, 90967 markings/sec, 865 secs
lola: 80435552 markings, 94475431 edges, 91654 markings/sec, 870 secs
lola: 80893137 markings, 95012903 edges, 91517 markings/sec, 875 secs
lola: 81349707 markings, 95549149 edges, 91314 markings/sec, 880 secs
lola: 81806412 markings, 96085568 edges, 91341 markings/sec, 885 secs
lola: 82263087 markings, 96621995 edges, 91335 markings/sec, 890 secs
lola: 82716981 markings, 97155093 edges, 90779 markings/sec, 895 secs
lola: 83171828 markings, 97689330 edges, 90969 markings/sec, 900 secs
lola: 83628524 markings, 98225721 edges, 91339 markings/sec, 905 secs
lola: 84085262 markings, 98762233 edges, 91348 markings/sec, 910 secs
lola: 84542574 markings, 99299325 edges, 91462 markings/sec, 915 secs
lola: 84999939 markings, 99836546 edges, 91473 markings/sec, 920 secs
lola: 85457522 markings, 100374014 edges, 91517 markings/sec, 925 secs
lola: 85914379 markings, 100910575 edges, 91371 markings/sec, 930 secs
lola: 86374639 markings, 101451213 edges, 92052 markings/sec, 935 secs
lola: 86834899 markings, 101991789 edges, 92052 markings/sec, 940 secs
lola: 87294796 markings, 102531978 edges, 91979 markings/sec, 945 secs
lola: 87753544 markings, 103070785 edges, 91750 markings/sec, 950 secs
lola: 88210034 markings, 103606987 edges, 91298 markings/sec, 955 secs
lola: 88666387 markings, 104142990 edges, 91271 markings/sec, 960 secs
lola: 89121811 markings, 104677884 edges, 91085 markings/sec, 965 secs
lola: 89578842 markings, 105214702 edges, 91406 markings/sec, 970 secs
lola: 90034736 markings, 105750145 edges, 91179 markings/sec, 975 secs
lola: 90491227 markings, 106286319 edges, 91298 markings/sec, 980 secs
lola: 90946783 markings, 106821417 edges, 91111 markings/sec, 985 secs
lola: 91403292 markings, 107357600 edges, 91302 markings/sec, 990 secs
lola: 91858756 markings, 107892561 edges, 91093 markings/sec, 995 secs
lola: 92313603 markings, 108426822 edges, 90969 markings/sec, 1000 secs
lola: 92770331 markings, 108963287 edges, 91346 markings/sec, 1005 secs
lola: 93226141 markings, 109498625 edges, 91162 markings/sec, 1010 secs
lola: 93681880 markings, 110033910 edges, 91148 markings/sec, 1015 secs
lola: 94137423 markings, 110568980 edges, 91109 markings/sec, 1020 secs
lola: 94593316 markings, 111104423 edges, 91179 markings/sec, 1025 secs
lola: 95049544 markings, 111640283 edges, 91246 markings/sec, 1030 secs
lola: 95504583 markings, 112174764 edges, 91008 markings/sec, 1035 secs
lola: 95960461 markings, 112710215 edges, 91176 markings/sec, 1040 secs
lola: 96415020 markings, 113244133 edges, 90912 markings/sec, 1045 secs
lola: 96869739 markings, 113778228 edges, 90944 markings/sec, 1050 secs
lola: 97324971 markings, 114312889 edges, 91046 markings/sec, 1055 secs
lola: 97778978 markings, 114846187 edges, 90801 markings/sec, 1060 secs
lola: 98232691 markings, 115379081 edges, 90743 markings/sec, 1065 secs
lola: 98689738 markings, 115915899 edges, 91409 markings/sec, 1070 secs
lola: 99147900 markings, 116454054 edges, 91632 markings/sec, 1075 secs
lola: 99605855 markings, 116991960 edges, 91591 markings/sec, 1080 secs
lola: 100063332 markings, 117529262 edges, 91495 markings/sec, 1085 secs
lola: 100520117 markings, 118065782 edges, 91357 markings/sec, 1090 secs
lola: 100976818 markings, 118602175 edges, 91340 markings/sec, 1095 secs
lola: 101432596 markings, 119137554 edges, 91156 markings/sec, 1100 secs
lola: 101890121 markings, 119674934 edges, 91505 markings/sec, 1105 secs
lola: 102346862 markings, 120211384 edges, 91348 markings/sec, 1110 secs
lola: 102802448 markings, 120746476 edges, 91117 markings/sec, 1115 secs
lola: 103258189 markings, 121281773 edges, 91148 markings/sec, 1120 secs
lola: 103713583 markings, 121816656 edges, 91079 markings/sec, 1125 secs
lola: 104167392 markings, 122349714 edges, 90762 markings/sec, 1130 secs
lola: 104622244 markings, 122883952 edges, 90970 markings/sec, 1135 secs
lola: 105079328 markings, 123420770 edges, 91417 markings/sec, 1140 secs
lola: 105536067 markings, 123957284 edges, 91348 markings/sec, 1145 secs
lola: 105992122 markings, 124492912 edges, 91211 markings/sec, 1150 secs
lola: 106448490 markings, 125028935 edges, 91274 markings/sec, 1155 secs
lola: 106903611 markings, 125563541 edges, 91024 markings/sec, 1160 secs
lola: 107358937 markings, 126098306 edges, 91065 markings/sec, 1165 secs
lola: 107815470 markings, 126634508 edges, 91307 markings/sec, 1170 secs
lola: 108271119 markings, 127169749 edges, 91130 markings/sec, 1175 secs
lola: 108726673 markings, 127704767 edges, 91111 markings/sec, 1180 secs
lola: 109181548 markings, 128239033 edges, 90975 markings/sec, 1185 secs
lola: 109636990 markings, 128774037 edges, 91088 markings/sec, 1190 secs
lola: 110091414 markings, 129307734 edges, 90885 markings/sec, 1195 secs
lola: 110546222 markings, 129841928 edges, 90962 markings/sec, 1200 secs
lola: 111003167 markings, 130378648 edges, 91389 markings/sec, 1205 secs
lola: 111460138 markings, 130915363 edges, 91394 markings/sec, 1210 secs
lola: 111916269 markings, 131451099 edges, 91226 markings/sec, 1215 secs
lola: 112372093 markings, 131986522 edges, 91165 markings/sec, 1220 secs
lola: 112828040 markings, 132522066 edges, 91189 markings/sec, 1225 secs
lola: 113281663 markings, 133054857 edges, 90725 markings/sec, 1230 secs
lola: 113735037 markings, 133587366 edges, 90675 markings/sec, 1235 secs
lola: 114188565 markings, 134120044 edges, 90706 markings/sec, 1240 secs
lola: 114643965 markings, 134654942 edges, 91080 markings/sec, 1245 secs
lola: 115098695 markings, 135189039 edges, 90946 markings/sec, 1250 secs
lola: 115553296 markings, 135722973 edges, 90920 markings/sec, 1255 secs
lola: 116007431 markings, 136256412 edges, 90827 markings/sec, 1260 secs
lola: 116461263 markings, 136789427 edges, 90766 markings/sec, 1265 secs
lola: 116916172 markings, 137323740 edges, 90982 markings/sec, 1270 secs
lola: 117374282 markings, 137861835 edges, 91622 markings/sec, 1275 secs
lola: 117831485 markings, 138398837 edges, 91441 markings/sec, 1280 secs
lola: 118288051 markings, 138935086 edges, 91313 markings/sec, 1285 secs
lola: 118743830 markings, 139470447 edges, 91156 markings/sec, 1290 secs
lola: 119200456 markings, 140006756 edges, 91325 markings/sec, 1295 secs
lola: 119654221 markings, 140539736 edges, 90753 markings/sec, 1300 secs
lola: 120108666 markings, 141073491 edges, 90889 markings/sec, 1305 secs
lola: 120563338 markings, 141607532 edges, 90934 markings/sec, 1310 secs
lola: 121017143 markings, 142140555 edges, 90761 markings/sec, 1315 secs
lola: 121471851 markings, 142674623 edges, 90942 markings/sec, 1320 secs
lola: 121926586 markings, 143208735 edges, 90947 markings/sec, 1325 secs
lola: 122380693 markings, 143742128 edges, 90821 markings/sec, 1330 secs
lola: 122835081 markings, 144275849 edges, 90878 markings/sec, 1335 secs
lola: 123292071 markings, 144812573 edges, 91398 markings/sec, 1340 secs
lola: 123748842 markings, 145349062 edges, 91354 markings/sec, 1345 secs
lola: 124205606 markings, 145885587 edges, 91353 markings/sec, 1350 secs
lola: 124661929 markings, 146421566 edges, 91265 markings/sec, 1355 secs
lola: 125117693 markings, 146956842 edges, 91153 markings/sec, 1360 secs
lola: 125573528 markings, 147492264 edges, 91167 markings/sec, 1365 secs
lola: 126028765 markings, 148026937 edges, 91047 markings/sec, 1370 secs
lola: 126485011 markings, 148562829 edges, 91249 markings/sec, 1375 secs
lola: 126940286 markings, 149097593 edges, 91055 markings/sec, 1380 secs
lola: 127394173 markings, 149630707 edges, 90777 markings/sec, 1385 secs
lola: 127848924 markings, 150164837 edges, 90950 markings/sec, 1390 secs
lola: 128302737 markings, 150697836 edges, 90763 markings/sec, 1395 secs
lola: 128756309 markings, 151230595 edges, 90714 markings/sec, 1400 secs
lola: 129210479 markings, 151764043 edges, 90834 markings/sec, 1405 secs
lola: 129666568 markings, 152299754 edges, 91218 markings/sec, 1410 secs
lola: 130125061 markings, 152838254 edges, 91699 markings/sec, 1415 secs
lola: 130580736 markings, 153373487 edges, 91135 markings/sec, 1420 secs
lola: 131037026 markings, 153909425 edges, 91258 markings/sec, 1425 secs
lola: 131493881 markings, 154445993 edges, 91371 markings/sec, 1430 secs
lola: 131948830 markings, 154980360 edges, 90990 markings/sec, 1435 secs
lola: 132405252 markings, 155516460 edges, 91284 markings/sec, 1440 secs
lola: 132859914 markings, 156050475 edges, 90932 markings/sec, 1445 secs
lola: 133313756 markings, 156583590 edges, 90768 markings/sec, 1450 secs
lola: 133767786 markings, 157116810 edges, 90806 markings/sec, 1455 secs
lola: 134221920 markings, 157650268 edges, 90827 markings/sec, 1460 secs
lola: 134675673 markings, 158183185 edges, 90751 markings/sec, 1465 secs
lola: 135129813 markings, 158716623 edges, 90828 markings/sec, 1470 secs
lola: 135586114 markings, 159252573 edges, 91260 markings/sec, 1475 secs
lola: 136042026 markings, 159788025 edges, 91182 markings/sec, 1480 secs
lola: 136497319 markings, 160322831 edges, 91059 markings/sec, 1485 secs
lola: 136952520 markings, 160857468 edges, 91040 markings/sec, 1490 secs
lola: 137406863 markings, 161391130 edges, 90869 markings/sec, 1495 secs
lola: 137860288 markings, 161923720 edges, 90685 markings/sec, 1500 secs
lola: 138312651 markings, 162454994 edges, 90473 markings/sec, 1505 secs
lola: 138767668 markings, 162989418 edges, 91003 markings/sec, 1510 secs
lola: 139222046 markings, 163523137 edges, 90876 markings/sec, 1515 secs
lola: 139675244 markings, 164055447 edges, 90640 markings/sec, 1520 secs
lola: 140129103 markings, 164588500 edges, 90772 markings/sec, 1525 secs
lola: 140583118 markings, 165121823 edges, 90803 markings/sec, 1530 secs
lola: 141035967 markings, 165653672 edges, 90570 markings/sec, 1535 secs
lola: 141489385 markings, 166186249 edges, 90684 markings/sec, 1540 secs
lola: 141944914 markings, 166721280 edges, 91106 markings/sec, 1545 secs
lola: 142399466 markings, 167255190 edges, 90910 markings/sec, 1550 secs
lola: 142853112 markings, 167788000 edges, 90729 markings/sec, 1555 secs
lola: 143307772 markings, 168322030 edges, 90932 markings/sec, 1560 secs
lola: 143760714 markings, 168854068 edges, 90588 markings/sec, 1565 secs
lola: 144214244 markings, 169386732 edges, 90706 markings/sec, 1570 secs
lola: 144668532 markings, 169920314 edges, 90858 markings/sec, 1575 secs
lola: 145122641 markings, 170453672 edges, 90822 markings/sec, 1580 secs
lola: 145575899 markings, 170986051 edges, 90652 markings/sec, 1585 secs
lola: 146028440 markings, 171517594 edges, 90508 markings/sec, 1590 secs
lola: 146482822 markings, 172051258 edges, 90876 markings/sec, 1595 secs
lola: 146936527 markings, 172584189 edges, 90741 markings/sec, 1600 secs
lola: 147389261 markings, 173115921 edges, 90547 markings/sec, 1605 secs
lola: 147845837 markings, 173652192 edges, 91315 markings/sec, 1610 secs
lola: 148302281 markings, 174188327 edges, 91289 markings/sec, 1615 secs
lola: 148758834 markings, 174724585 edges, 91311 markings/sec, 1620 secs
lola: 149215426 markings, 175260893 edges, 91318 markings/sec, 1625 secs
lola: 149670511 markings, 175795386 edges, 91017 markings/sec, 1630 secs
lola: 150125941 markings, 176330293 edges, 91086 markings/sec, 1635 secs
lola: 150580928 markings, 176864725 edges, 90997 markings/sec, 1640 secs
lola: 151037769 markings, 177401306 edges, 91368 markings/sec, 1645 secs
lola: 151493403 markings, 177936461 edges, 91127 markings/sec, 1650 secs
lola: 151949490 markings, 178472138 edges, 91217 markings/sec, 1655 secs
lola: 152404166 markings, 179006174 edges, 90935 markings/sec, 1660 secs
lola: 152859613 markings, 179541168 edges, 91089 markings/sec, 1665 secs
lola: 153312605 markings, 180073201 edges, 90598 markings/sec, 1670 secs
lola: 153765437 markings, 180605070 edges, 90566 markings/sec, 1675 secs
lola: 154221816 markings, 181141103 edges, 91276 markings/sec, 1680 secs
lola: 154677199 markings, 181675997 edges, 91077 markings/sec, 1685 secs
lola: 155130936 markings, 182208945 edges, 90747 markings/sec, 1690 secs
lola: 155585733 markings, 182743127 edges, 90959 markings/sec, 1695 secs
lola: 156041675 markings, 183278638 edges, 91188 markings/sec, 1700 secs
lola: 156497772 markings, 183814338 edges, 91219 markings/sec, 1705 secs
lola: 156952520 markings, 184348458 edges, 90950 markings/sec, 1710 secs
lola: 157407238 markings, 184882543 edges, 90944 markings/sec, 1715 secs
lola: 157862023 markings, 185416714 edges, 90957 markings/sec, 1720 secs
lola: 158315281 markings, 185949075 edges, 90652 markings/sec, 1725 secs
lola: 158769879 markings, 186483025 edges, 90920 markings/sec, 1730 secs
lola: 159223608 markings, 187015969 edges, 90746 markings/sec, 1735 secs
lola: 159675869 markings, 187547213 edges, 90452 markings/sec, 1740 secs
lola: 160131552 markings, 188082387 edges, 91137 markings/sec, 1745 secs
lola: 160587386 markings, 188617798 edges, 91167 markings/sec, 1750 secs
lola: 161042282 markings, 189152090 edges, 90979 markings/sec, 1755 secs
lola: 161497333 markings, 189686562 edges, 91010 markings/sec, 1760 secs
lola: 161952640 markings, 190221386 edges, 91061 markings/sec, 1765 secs
lola: 162406999 markings, 190755003 edges, 90872 markings/sec, 1770 secs
lola: 162860969 markings, 191288277 edges, 90794 markings/sec, 1775 secs
lola: 163315652 markings, 191822305 edges, 90937 markings/sec, 1780 secs
lola: 163769842 markings, 192355734 edges, 90838 markings/sec, 1785 secs
lola: 164224338 markings, 192889577 edges, 90899 markings/sec, 1790 secs
lola: 164678468 markings, 193423009 edges, 90826 markings/sec, 1795 secs
lola: 165133103 markings, 193956975 edges, 90927 markings/sec, 1800 secs
lola: 165587409 markings, 194490559 edges, 90861 markings/sec, 1805 secs
lola: 166042637 markings, 195025262 edges, 91046 markings/sec, 1810 secs
lola: 166499437 markings, 195561833 edges, 91360 markings/sec, 1815 secs
lola: 166954658 markings, 196096477 edges, 91044 markings/sec, 1820 secs
lola: 167407863 markings, 196628797 edges, 90641 markings/sec, 1825 secs
lola: 167862406 markings, 197162698 edges, 90909 markings/sec, 1830 secs
lola: 168318649 markings, 197698589 edges, 91249 markings/sec, 1835 secs
lola: 168774054 markings, 198233431 edges, 91081 markings/sec, 1840 secs
lola: 169225761 markings, 198763997 edges, 90341 markings/sec, 1845 secs
lola: 169678062 markings, 199295253 edges, 90460 markings/sec, 1850 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 1 1 1 unknown unknown unknown unknown 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLAlola:
preliminary result: 1 unknown unknown 1 1 1 unknown unknown unknown unknown 1 1 1 1 1 1
lola:
preliminary result: 1 unknown unknown 1 1 1 unknown unknown unknown unknown 1 1 1 1 1 1
lola: memory consumption: 8682672 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 unknown unknown 1 1 1 unknown unknown unknown unknown 1 1 1 1 1 1
lola: memory consumption: 8682672 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-01b"
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-01b, 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-158987787100021"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-01b.tgz
mv ASLink-PT-01b 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 ;